---
title: Mirror Landau–Ginzburg Model
url: https://www.emergentmind.com/topics/mirror-landau-ginzburg-model
type: topic
---

# Mirror Landau–Ginzburg Model

A mirror Landau–Ginzburg (LG) model is a dual pair of holomorphic data—typically a non-compact Kähler (or Fano/log Calabi–Yau) manifold equipped with a superpotential—arising from mirror symmetry constructions. These models exhibit deep equivalences between the geometry, deformation theory, homological invariants, and enumerative structures of dual spaces, with the BHK (Berglund–Hübsch–Krawitz) construction and the associated category-level correspondences serving as foundational frameworks. Recent geometric advancements recast the mirror correspondence in terms of real Monge–Ampère domains, Hessian metrics, and (pre-)Frobenius manifold structures, with state-space and categorical dualities realized via torus fibrations over spaces of probability densities, classical singularity theory, and optimal transport [2409.00835].

## 1. Construction of the Mirror Landau–Ginzburg Pair

On the A-side, an invertible, non-degenerate quasi-homogeneous polynomial
\[
W(x_0, \ldots, x_n) = \sum_{i=0}^n c_i\, x_0^{m_{i0}} x_1^{m_{i1}} \cdots x_n^{m_{in}}
\]
in \(\mathbb{C}^{n+1}\), with integer weights \((w_0, \ldots, w_n; d)\) satisfying
\[
W(s^{w_0} x_0, \ldots, s^{w_n} x_n) = s^d W(x_0, \ldots, x_n), \qquad \gcd(w_0, \ldots, w_n, d) = 1,
\]
defines the hypersurface
\[
X_W = \{ W(x) = 0 \} \subset \mathbb{P}_{(w_0,\ldots,w_n)}.
\]
The LG A-model is the pair \((X_W, W)\), where \(W\) acts as a superpotential.

The B-side mirror LG model is constructed via the BHK transpose: form the polynomial
\[
W^\vee(y_0, \ldots, y_n) = \sum_{j=0}^n c_j^\vee\, y_0^{m_{0j}} y_1^{m_{1j}} \cdots y_n^{m_{nj}}
\]
and corresponding dual group \(G^\vee\). The mirror variety is then
\[
X_{W^\vee} = \{ W^\vee(y) = 0 \} / \mathbb{C}^\times \subset \mathbb{P}_{(w_0^\vee, \ldots, w_n^\vee)},
\]
paired with the superpotential \(W^\vee\).

Mirror duality is encoded in the orbifold cohomology and Milnor (Jacobian) rings, with the state-space isomorphism
\[
\mathrm{Jac}(W) \cong \bigoplus_g \mathrm{Jac}(W^{\vee,g}), 
\]
where the sum runs over sectors dictated by the group action [2409.00835].

## 2. The Monge–Ampère Domain and Hessian Structures

The construction is deeply rooted in the geometry of a real Monge–Ampère domain, denoted \(\mathscr Y\), consisting of probability densities \(\rho \in L^1(\mathcal{M})\) parameterizing torus fibrations. For smooth strictly convex domains, Brenier–Caffarelli theory guarantees the existence and uniqueness of convex potentials \(\phi\) solving
\[
\det \left( \frac{\partial^2 \phi}{\partial x_i \partial x_j} \right) = c > 0.
\]
These endow \(\mathscr Y\) with a Hessian metric
\[
g = \sum_{i,j} \frac{\partial^2 \phi}{\partial x_i \partial x_j}\, dx^i dx^j
\]
and a totally symmetric cubic tensor
\[
A_{ijk} = \frac{\partial^3 \phi}{\partial x_i \partial x_j \partial x_k}.
\]
In the mirror LG framework, both the original and mirror varieties are fibered in Lagrangian tori over \(\mathscr Y\), which carries a pre-Frobenius manifold structure [2409.00835].

## 3. Berglund–Hübsch–Krawitz Duality and State-Space Mirror Symmetry

The BHK construction starts from an invertible polynomial \(W\) and its diagonal symmetry group \(G\), selecting a subgroup containing the exponential grading element. The dual pair \((W^\vee, G^\vee)\) arises by transposing the exponent matrix and constructing the dual group:
\[
W^\vee(y) = \sum_{j=0}^n \prod_{i=0}^n y_i^{m_{ij}}, \quad G^\vee = \left\{ g^\vee \mid g \in G \right\}_{\rm transpose}.
\]
Chiodo–Ruan proved that the Chen–Ruan orbifold cohomology and state spaces of the LG orbifold models \((X_W/G)\) and \((X_{W^\vee}/G^\vee)\) are isomorphic, with corresponding Frobenius manifold structures on the respective state spaces [2409.00835].

## 4. Pre-Frobenius Manifold and Frobenius Loci

On \(\mathscr Y\), the connection \(\nabla^0\) (flat from affine charts), together with the Hessian metric \(g\) and cubic tensor \(A\), satisfies the potential pre-Frobenius axioms:
1. Flat, torsion-free connection,
2. \(\nabla^0\)-parallel Hessian metric,
3. Symmetric exact cubic tensor,
4. Commutative multiplication defined via \(A_{ij}{}^k = \sum_\ell A_{ij\ell} g^{\ell k}\),
5. Frobenius compatibility: \(g(X \circ Y, Z) = g(X, Y \circ Z)\).

On loci where the curvature vanishes (“flat locus”), the product is associative and \(\mathscr Y\) supports Frobenius manifold structures, aligning with the expectations from the WDVV (associativity) equations [2409.00835].

## 5. Torus Fibrations and Homological Mirror Symmetry

The quantum-mechanical (Koopman–von Neumann) enhancement realizes \(\mathfrak H = L^2(\mathcal{M})\) as a principal torus bundle over \(\mathscr Y\). Fibers over each \(\rho \in \mathscr Y\) in \(X_W\), \(X_{W^\vee}\), and their intersections correspond to Lagrangian tori, resulting in dual torus fibrations
\[
X_W \longrightarrow \mathscr Y \longleftarrow X_{W^\vee}.
\]
Via the SYZ principle and the Orlov–Seidel approach, such correspondences yield derived equivalences:
\[
\mathrm{Fuk}(X_W) \simeq \mathrm{MF}(W^\vee), \quad
\mathrm{MF}(W) \simeq \mathrm{Coh}(X_{W^\vee}),
\]
where \(\mathrm{Fuk}\) is the wrapped or compact Fukaya category and \(\mathrm{MF}\) the category of matrix factorizations [2409.00835].

## 6. Explicit Example: The Symmetric Cone \(\mathscr P_n(\mathbb{K})\)

For the symmetric cone \(\mathscr P_n(\mathbb{K}) = \{A \in \mathrm{Mat}_{n \times n}(\mathbb{K}) \mid A = A^*, A > 0\}\), the Monge–Ampère potential
\[
\Phi(A) = \ln \det(A)
\]
renders \(\mathscr P_n(\mathbb{K})\) a non-compact symmetric space and pre-Frobenius domain, with a geodesic flat submanifold \(F = \exp(\mathfrak a)\) (the Cartan subgroup), isomorphic to an algebraic torus. On \(F\), the pre-Frobenius multiplication is strictly associative, so \(F\) inherits a genuine Frobenius manifold structure, concretely illustrating these general constructions [2409.00835].

## 7. Synthesis and Theoretical Implications

The mirror Landau–Ginzburg paradigm as developed in [2409.00835] unifies optimal transport theory, Monge–Ampère/Hessian geometry, and the BHK construction. The Monge–Ampère domain \(\mathscr Y\) organizes mirror pairs as dual torus fibrations, with Frobenius (and pre-Frobenius) structures encoding the deformation, enumerative, and categorical invariants underlying homological mirror symmetry. All key features—state-space duality, categorical equivalence, and the geometry of torus fibrations—are expressed and connected within this analytic and algebraic framework.

Source: https://www.emergentmind.com/topics/mirror-landau-ginzburg-model