Mirror symmetry and Fukaya categories of singular hypersurfaces

Basic Information

• Paper ID: 2012.09764
• Title: Mirror symmetry and Fukaya categories of singular hypersurfaces
• Author: Maxim Jeffs
• Classification: math.SG (Symplectic Geometry), math.AG (Algebraic Geometry)
• Publication Date: January 3, 2025 (arXiv version)
• Paper Link: https://arxiv.org/abs/2012.09764

Abstract

This paper investigates the definition of Fukaya categories of singular hypersurfaces proposed by Auroux, which is constructed through localization of Fukaya categories of nearby fibers at the Seidel natural transformation. The author proves that this definition possesses several ideal properties: first, an A-side analogue of Orlov's derived Knörrer periodicity theorem is established, showing that the Auroux category is derived equivalent to the Fukaya-Seidel category of higher-dimensional Landau-Ginzburg models; second, the definition implies homological mirror symmetry for certain degenerations of abelian varieties in the large complex structure limit.

Research Background and Motivation

Core Problem

Homological mirror symmetry (HMS) fundamentally conjectures the existence of a relationship between the Fukaya category of a Kähler manifold Y and the coherent sheaf category of its 'mirror' Kähler manifold Ȳ. However, in many natural mirror symmetry instances (such as when Y is non-compact), the intrinsic mirror Ȳ is typically a singular variety, and there lacks a principled definition of Fukaya categories in the singular setting.

Significance

1. Mirror symmetry of higher-dimensional pants: Important instances include higher-dimensional pants Πₙ = {x₁ + ⋯ + xₙ₊₁ + 1 = 0} ⊆ (ℂ*)^(n+1), whose naturally constructed mirror is given by the singular hypersurface {z₁⋯zₙ₊₁ = 0} ⊆ ℂ^(n+1).
2. Bidirectionality requirement: One of the principal requirements of mirror symmetry is that the mirror of the mirror should be the original Kähler manifold, i.e., HMS should apply in both directions.
3. Foundation for gluing techniques: Understanding mirror symmetry in such cases is crucial for approaches relying on gluing techniques to prove HMS.

Limitations of Existing Approaches

While tremendous progress has been made in understanding mirror symmetry of smooth Kähler manifolds, research on mirror symmetry of the A-model for singular varieties remains scarce, except in the orbifold case.

Core Contributions

1. Verification of Auroux's definition: Proves that the definition of Fukaya categories of singular hypersurfaces proposed by Auroux is indeed the correct definition.
2. Derived Knörrer periodicity theorem: Establishes an A-side analogue of Orlov's derived Knörrer periodicity theorem (Theorem 1).
3. Homological mirror symmetry equivalences: Establishes several homological mirror symmetry equivalences in the large complex structure limit (Theorems 2 and 3).
4. Extension of theoretical framework: Extends the definition to the case of singular complete intersections and proposes corresponding conjectures.

Detailed Methodology

Auroux's Definition

For a singular symplectic fibration f : X → ℂ with a single singular fiber, Seidel defines a natural transformation s : μ → id, where μ is the clockwise monodromy functor acting on the wrapped Fukaya category W(f⁻¹(t)) of a generic fiber.

Definition 1 (Auroux): The wrapped Fukaya category of the singular fiber f⁻¹(0) is defined as the localization of the wrapped Fukaya category of nearby fibers f⁻¹(t) at the natural transformation s : μ → id:

DW(f⁻¹(0)) = DW(f⁻¹(t))s⁻¹

Main Theorems

Theorem 1 (Derived Knörrer Periodicity): Let X be a smooth affine variety with a Stein structure induced by an embedding X → ℂᴺ, and f : X → ℂ be the restriction of a polynomial function on ℂᴺ. If f has a single critical fiber f⁻¹(0), then for sufficiently small t ≠ 0 there exists a quasi-equivalence of A∞-categories:

DᵖW(f⁻¹(t))s⁻¹ → DᵖW(X × ℂ, zf)

Technical Innovations

1. Cap and Cup functors: Introduces geometrically defined cap functor ∩ and cup functor ∪, establishing connections with the Seidel natural transformation.
2. Upgrade of AAK equivalence: Proves an upgraded version of the Abouzaid-Auroux-Katzarkov equivalence (Theorem 4).
3. Stop removal technique: Through careful analysis of the Liouville geometry of generic fibers as t varies, reformulates the process from (X × ℂ, z(f - t)) to (X × ℂ, zf) as stop removal.

Experimental Setup

Concrete Examples Analysis

Example 1: Standard Lefschetz fibration Consider X = ℂ² and f = xy, with direct computation of the Fukaya category of the nodal conic W({xy = 0}). By Lemma 3, one only needs to quotient W({xy = t}) by the image of ∩.

Example 2: Elliptic curve case Consider the Tate family of elliptic curves, where f⁻¹(0) is an elliptic curve with a single node. Using known mirror equivalences, homological mirror symmetry between the wrapped Fukaya category of the nodal elliptic curve and the derived category of coherent sheaves of a once-punctured elliptic curve is established.

Evaluation Criteria

• Rigor of categorical equivalences
• Consistency with known results
• Alignment with geometric intuition

Experimental Results

Main Results Verification

1. Case of higher-dimensional pants: For the Landau-Ginzburg model (ℂⁿ⁺¹, Wₙ = z₁⋯zₙ₊₁), it is proved that: DᵖW(Wₙ⁻¹(0)) ≃ DᵖW(ℂⁿ⁺², z₁⋯zₙ₊₂) ≃ Dᵇ Coh(Πₙ)
2. Generalization of elliptic curves: Establishes mirror derived equivalence between elliptic curves with n punctures and m nodes and elliptic curves with m punctures and n nodes.

Theoretical Verification

By comparison with B-side results of Orlov, the correctness of A-side Knörrer periodicity is verified, demonstrating the effectiveness of the method.

Related Work

Main Research Directions

1. Fukaya category theory: Work by Seidel, Abouzaid, and others
2. Mirror symmetry: Kontsevich's homological mirror symmetry conjecture
3. Landau-Ginzburg models: Orlov's Knörrer periodicity theorem
4. Singularity theory: Applications in symplectic geometry

Innovations of This Paper

Compared to related work, this paper provides for the first time a rigorous definition of Fukaya categories of singular hypersurfaces and proves its consistency with the smooth case.

Conclusions and Discussion

Main Conclusions

1. Auroux's definition indeed provides the correct definition of Fukaya categories of singular hypersurfaces
2. Derived Knörrer periodicity holds on the A-side
3. Homological mirror symmetry in the large complex structure limit is verified

Limitations

1. Geometric assumptions may be stronger than necessary, though sufficient for mirror symmetry applications
2. Idempotent completion is required for results to hold
3. Generalization to singular complete intersections remains conjectural

Future Directions

1. Extend results to the case of singular complete intersections
2. Develop intrinsic constructions avoiding dependence on smoothings
3. Connections with log structures and blow-up manifold theory

In-Depth Evaluation

Strengths

1. Theoretical rigor: Provides a rigorous mathematical definition of Fukaya categories in the singular setting
2. Geometric intuition: The definition has clear geometric interpretation and motivation
3. Broad applicability: Opens new directions for research in mirror symmetry
4. Technical innovation: Develops new techniques for handling singularities

Weaknesses

1. Technical complexity: Proofs involve substantial technical details that may affect readability
2. Restrictive assumptions: Certain geometric assumptions may limit the generality of results
3. Computational complexity: Practical computations remain challenging

Impact

This work provides an important theoretical foundation for research in singular symplectic geometry and is expected to have significant impact on mirror symmetry and Fukaya category theory.

Applicable Scenarios

• Symplectic geometry of singular hypersurfaces
• Mirror symmetry in the large complex structure limit
• Classification of Landau-Ginzburg models

References

The paper cites core literature in the field, including:

• Foundational work by Seidel on Fukaya categories
• Orlov's Knörrer periodicity theorem
• Research by Abouzaid-Auroux on mirror symmetry
• Work by Gross-Siebert on toric degenerations

Overall Assessment: This is a high-quality paper with important theoretical contributions to symplectic geometry and mirror symmetry, providing a solid mathematical foundation for understanding Fukaya categories in the singular setting.