Batyrev construction

Batyrev construction
Name	Batyrev construction
Field	Algebraic geometry
Introduced	1994
Founder	Victor Batyrev
Main objects	Calabi–Yau hypersurfaces, toric varieties, reflexive polytopes
Notable related	Mirror symmetry, Hodge numbers, combinatorial duality

Batyrev construction introduces a combinatorial method to produce pairs of mirror Calabi–Yau hypersurfaces using dual reflexive polytopes associated to toric varieties. It connects the work of Victor Batyrev with geometric frameworks developed around Maxim Kontsevich conjectures, the Calabi conjecture applications in complex geometry, and mirror symmetry phenomena observed in string theory contexts such as Edward Witten's topological sigma models. The construction explains mirror pairs via duality of Newton polytopes and has informed developments involving Philip Candelas, Paul Green, and other contributors to explicit mirror examples.

Introduction

Batyrev's approach sits at the intersection of classical Dolgachev techniques, the combinatorial study of lattice polytopes by Gelfand–Kapranov–Zelevinsky frameworks, and moduli questions addressed in the work of Yau and Strominger–Yau–Zaslow. By encoding anticanonical divisors of toric varieties as lattice polytopes, the method produces pairs of Calabi–Yau hypersurfaces whose Hodge numbers are interchanged, offering concrete realizations of mirror symmetry predictions formulated by mirror symmetry conjectures voiced in the 1980s and 1990s by figures such as Candelas and Horja.

Toric varieties and reflexive polytopes

The construction relies on the language of toric varieties developed by David Cox and the combinatorial theory of lattice polytopes studied by Ewald and Oda. A reflexive polytope in a lattice M arises when the dual polytope in the dual lattice N is also lattice polytope; this duality echoes classical duality considered by Minkowski and later refined in the works of Stanley on Ehrhart theory. Toric Fano varieties associated to reflexive polytopes provide ambient spaces for anticanonical hypersurfaces, linking Batyrev's scheme to classification results by Mori and Mukai for Fano varieties. The combinatorics of faces, vertices, and interior lattice points in a reflexive polytope correspond to torus-invariant divisors and sections of the anticanonical bundle in toric geometry as treated by Fulton.

Construction of mirror Calabi–Yau hypersurfaces

Given a reflexive polytope Δ in M and its dual Δ* in N, Batyrev constructs a pair of projective toric varieties X_Δ and X_{Δ*} whose anticanonical linear systems yield Calabi–Yau hypersurfaces Y ⊂ X_Δ and Y* ⊂ X_{Δ*}. This method synthesizes earlier examples found by Candelas and collaborators using Greene–Plesser orbifold techniques and connects with the Gross–Siebert program formulated by Mark Gross and Bernd Siebert. The hypersurface equation is specified by Laurent polynomials with Newton polytope Δ; taking coefficients in generic positions produces families whose complex moduli and Kähler moduli naturally swap under Δ ↔ Δ*, mirroring predictions by Aspinwall and Morrison.

Hodge numbers and mirror symmetry implications

Batyrev proved that for mirror pairs constructed from reflexive polytopes the Hodge numbers satisfy h^{1,1}(Y)=h^{d-2,1}(Y*) and h^{d-2,1}(Y)=h^{1,1}(Y*) for Calabi–Yau hypersurfaces of complex dimension d-1, confirming numerical mirror symmetry instances anticipated by Candelas et al. This result integrates with Hodge-theoretic frameworks developed by Griffiths and the variation of Hodge structure studies by Deligne. The combinatorial formulae for Hodge numbers use counts of interior lattice points of faces of Δ and Δ*, echoing enumerative techniques in the works of Borisov and Kreuzer. These interchanges support predictions from Kontsevich's homological mirror symmetry conjecture and align with calculations in topological string theory by Gopakumar and Vafa.

Generalizations and extensions

Batyrev's original hypersurface construction has been extended by several authors. The reflexive polytope framework was generalized to complete intersections in toric varieties by Borisov and to singular Calabi–Yau varieties resolved by techniques of Reid and Kawamata. The connection to homological mirror symmetry has motivated work by Kontsevich, Seidel, and Fukaya on the symplectic side, while developments in the Gross–Siebert program provide tropical and degeneration-based generalizations by Gross and Siebert. Variants incorporate concepts from derived categories as advanced by Bondal and Orlov and incorporate orbifold mirror constructions studied by Chen–Ruan.

Examples and applications

Concrete examples include the quintic threefold family related to the reflexive polytope dual to the 5-simplex, historically examined by Candelas, de la Ossa, and Green. Classification efforts enumerating reflexive polytopes in low dimensions were driven by computational work of Kreuzer and Skarke, yielding extensive databases used in string phenomenology by Douglas and Denef. Applications span calculations of Gromov–Witten invariants influenced by Kontsevich enumerative formulas, tests of mirror maps studied by Lian–Liu–Yau, and constructions of toric degenerations relevant to Gross–Hacking–Keel cluster-like models.

Mathematical consequences and open problems

Batyrev's construction stimulated advances in polytope classification, birational geometry questions addressed by Kollár, and Hodge-theoretic mirror symmetry conjectures pursued by Voisin and Pantev. Open problems include a full proof of homological mirror symmetry for broad classes of Batyrev-type pairs beyond low-dimensional cases considered by Seidel and Abouzaid, combinatorial characterizations of non-reflexive generalizations studied by Mavlyutov, and effective descriptions of moduli compactifications related to work by Alexeev and Olsson. Computational complexity and completeness of reflexive polytope classification in higher dimensions remain active research frontiers pursued by collaborations including Kreuzer and subsequent teams.

Category:Algebraic geometry