LLMpediaThe first transparent, open encyclopedia generated by LLMs

Strominger–Yau–Zaslow conjecture

Note: This article was automatically generated by a large language model (LLM) from purely parametric knowledge (no retrieval). It may contain inaccuracies or hallucinations. This encyclopedia is part of a research project currently under review.
Article Genealogy
Parent: string cosmology Hop 5 terminal

This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.

Strominger–Yau–Zaslow conjecture
NameStrominger–Yau–Zaslow conjecture
FieldDifferential geometry; Calabi–Yau geometry; Mirror symmetry
Proposed1996
ProposerStrominger, Yau, Zaslow

Strominger–Yau–Zaslow conjecture

The Strominger–Yau–Zaslow conjecture proposes a geometric mechanism for Mirror symmetry by relating Calabi–Yau manifolds via dual special Lagrangian torus fibrations. Originating in a 1996 paper by Strominger, Yau, and Zaslow, the conjecture connects ideas from Witten-style string theory, electromagnetism-inspired dualities, and developments in mathematicians' work such as Donaldson, Gromov, and Thomas.

Introduction

The conjecture situates Mirror symmetry of Calabi–Yau manifolds within a differential-geometric framework influenced by superstring dualities credited to researchers like Vafa, Candelas, and Greene. It posits that a mirror pair arises from fiberwise dualizing a special Lagrangian fibration by toruses, invoking constructions related to work by Demailly, Kontsevich, and Okounkov on categorical and enumerative aspects. The conjecture spurred cross-fertilization among communities including those around IAS, MSRI, and research groups led by figures such as Hulek and McDuff.

Statement of the Conjecture

Roughly, the conjecture claims that a compact connected Calabi–Yau manifold X admitting a Ricci-flat Kähler metric derived from the Calabi conjecture of Yau admits a fibration by special Lagrangian tori over a real base B, and that the mirror Y is obtained by dualizing these tori fiberwise, paralleling dualities studied by Sommerfeld in harmonic analysis and by Gell-Mann-style symmetry considerations in physics. The precise statement references existence results of special Lagrangian submanifolds studied by Harvey, deformation theory from Thomas and Joyce, and monodromy/affine structures examined by Gross and Siebert.

Mathematical Background

Foundational inputs include the Calabi conjecture solved by Yau, the theory of special Lagrangian calibrations developed by Harvey and Lawson, and the symplectic techniques of Gromov and Eliashberg. The conjecture uses affine geometry on the base B explored in collaborations involving Gross and Seidel, complex analytic degeneration theories linked to Serre-style ideas, and homological perspectives reminiscent of Kontsevich's homological mirror symmetry program. Analytic tools trace to works by Yau, Tian, and geometric measure theoretic methods found in Federer.

Examples and Known Cases

Proven or highly evidenced instances include the case of two-dimensional K3 surfaces where fibrations by elliptic curves were studied by Petersen-style algebraic geometers and by Mukai, while semi-flat models for toric Calabi–Yaus relate to constructions of Batyrev and mirror pairs arising in work by Candelas and de la Ossa. Gross and Siebert produced programmatic approaches handling large complex structure limits inspired by degenerations studied by Kronheimer and Donaldson, and examples from Strominger-Yau-Zaslow intuition appear in explicit toric degenerations examined by Givental and Givental. Low-dimensional explicit dualities also use techniques from Seidel and Lurie-adjacent categorical frameworks.

Methods and Approaches to Proof

Approaches split into analytic, algebraic, and categorical methods. Analytic programs pursue existence and regularity of Ricci-flat metrics and special Lagrangian fibrations building on work by Yau, Tian, and Berndtsson. Algebraic degeneration strategies follow the Gross–Siebert program inspired by Mumford-style toroidal degenerations and log-geometry techniques of Kato, while categorical approaches leverage Kontsevich's homological mirror symmetry, derived categories as in Beilinson and Bernstein, and Fukaya category constructions due to Fukaya and Seidel. Tropical geometry methods introduced by Mikhalkin and applications of non-Archimedean geometry by Berkovich provide alternative discretized frameworks.

Applications in Mirror Symmetry and Physics

The conjecture offers geometric insight into mirror maps appearing in computations by Candelas and de la Ossa, informs enumerative predictions validated by work of Kontsevich and Hori, and interfaces with string dualities studied by Witten, Vafa, and Polchinski. It influences analysis of D-branes framed by Maldacena-inspired holographic ideas and stability conditions developed by Bridgeland. In mathematical physics contexts connected to Seiberg–Witten and Donaldson–Thomas, the conjecture underpins comparisons between symplectic and complex enumerative invariants explored by McDuff and Manin.

Open Problems and Current Research

Active questions include existence and regularity of global special Lagrangian torus fibrations pursued by teams around Gross, Siebert, and Joyce, precise treatment of singular fibers inspired by Thurston-style monodromy phenomena, and rigorous connections between tropical or non-Archimedean models advanced by Mikhalkin and analytic gluing methods of Tian. Current research in institutions like IAS and MSRI explores new interactions with Homological mirror symmetry conjectures of Kontsevich and categorical stability frameworks of Bridgeland.

Category:Conjectures in geometry