Analytic continuation of better-behaved GKZ systems and Fourier-Mukai transforms

Basic Information

• Paper ID: 2305.12241
• Title: Analytic continuation of better-behaved GKZ systems and Fourier-Mukai transforms
• Author: Zengrui Han (Rutgers University)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 11
• Paper Link: https://arxiv.org/abs/2305.12241

Abstract

This paper investigates the relationship between solutions of better-behaved GKZ hypergeometric systems near different large radius limit points and their geometric counterparts (K-groups of associated toric Deligne-Mumford stacks). The author proves that K-theoretic Fourier-Mukai transforms related to toric wall-crossing coincide with analytic continuation transformations of Gamma series solutions to better-behaved GKZ systems, thereby resolving a conjecture of Borisov and Horja.

Research Background and Motivation

Problem Background

1. Issues with classical GKZ hypergeometric systems: Classical Gel'fand-Kapranov-Zelevinsky (GKZ) hypergeometric systems exhibit rank jumping phenomena, where the dimension of the solution space may not match expectations, creating difficulties in functoriality considerations.
2. Introduction of better-behaved versions: Borisov and Horja introduced better-behaved GKZ systems (bbGKZ), whose solution spaces always have the expected dimension, making them more suitable for functoriality studies.
3. Connection to mirror symmetry: These systems are closely related to moduli theory of hypersurfaces in toric varieties, playing a key role in toric mirror symmetry, particularly in describing the Gauss-Manin system of the Landau-Ginzburg mirror potential for toric Deligne-Mumford stacks.

Research Motivation

1. Kontsevich homological mirror symmetry: Predicts that the fundamental group of the complex structure moduli space acts naturally on the bounded derived category on the other side, suggesting the existence of a trivial family of triangulated categories over the complex moduli space.
2. Borisov-Horja conjecture: In the toric case, at the Grothendieck group level, this family yields a local system of solutions to the bbGKZ system. It remains to prove that the analytic continuation transformation coincides with the corresponding Fourier-Mukai transform.

Core Contributions

1. Main Theorem: Proves that under the isomorphism provided by Gamma series, the analytic continuation of bbGKZ system solutions from a neighborhood of one triangulation Σ₊ to a neighborhood of an adjacent triangulation Σ₋ coincides with the K-theoretic Fourier-Mukai transform of the associated flop PΣ₋ ⇝ PΣ₊.
2. Technical Breakthroughs:
   • Computed analytic continuation of Gamma series solutions to bbGKZ(C,0)
   • Computed Fourier-Mukai transforms related to toric wall-crossing
   • Applied duality results to handle dual systems bbGKZ(C°,0)
3. Resolution of Conjecture: Completely resolves the Borisov-Horja conjecture regarding the relationship between analytic continuation and Fourier-Mukai transforms.

Methodology Details

Problem Formulation

Proves the commutativity of the following diagram:

K₀(PΣ₊)∨ --FM∨--> K₀(PΣ₋)∨
    |                    |
-○Γ₊|                    |-○Γ₋  
    ↓                    ↓
Sol(bbGKZ(C,U₊)) --MB--> Sol(bbGKZ(C,U₋))

where the horizontal arrows are mirror symmetry maps, and FM and MB denote Fourier-Mukai transform and analytic continuation transform, respectively.

Core Technical Methods

1. Better-behaved GKZ Systems

Partial differential equation systems defined on function sets {Φc(x₁,...,xₙ)} in complex variables:

• ∂ᵢΦc = Φc₊vᵢ
• Σⁿᵢ₌₁⟨μ,vᵢ⟩xᵢ∂ᵢΦc + ⟨μ,c⟩Φc = 0

2. Gamma Series Solutions

Gamma series solutions corresponding to triangulation Σ:

Γc = ⊕γ∈Box(Σ) Σl∈Lc,γ ∏ⁿⱼ₌₁ xⱼ^(lⱼ+Dⱼ/2πi) / Γ(1+lⱼ+Dⱼ/2πi)

3. Analytic Continuation Computation

• Non-essential part: Directly proves that the non-essential part remains invariant under analytic continuation
• Essential part: Uses Mellin-Barnes integral techniques to compute analytic continuation

Technical Innovations

1. Mellin-Barnes Integral Method: By introducing integral representation I(s), transforms the analytic continuation of the original Gamma series into a residue calculation problem.
2. Twisted Cone Correspondence: Establishes precise correspondence between twisted cones of adjacent triangulations, with the key being to prove that this correspondence differs from linear relationships by rational multiples of h.
3. Convergence Analysis: Proves absolute uniform convergence of various subseries in appropriate regions, ensuring the validity of analytic continuation.

Experimental Setup

Theoretical Verification Framework

This is a pure theoretical mathematics paper with no numerical experiments, but rather verification of theoretical results through rigorous mathematical proof.

Verification Methods

1. Direct computation: Separately computes analytic continuation and Fourier-Mukai transforms
2. Comparative analysis: Proves that both computational results coincide in all cases
3. Duality application: Extends to compactly supported cases using known duality results

Main Results

Core Theorem

Theorem 1.2 (= Theorems 4.5 and 5.2): The following diagrams commute:

K₀(PΣ₊)∨ --FM∨--> K₀(PΣ₋)∨        Kc₀(PΣ₊)∨ --(FMc)∨--> Kc₀(PΣ₋)∨
    |                    |              |                      |
-○Γ₊|                    |-○Γ₋      -○Γ°₊|                    |-○Γ°₋
    ↓                    ↓              ↓                      ↓
Sol(bbGKZ(C,U₊)) --MB--> Sol(bbGKZ(C,U₋)) Sol(bbGKZ(C°,U₊)) --MBc--> Sol(bbGKZ(C°,U₋))

Key Results

1. Proposition 3.9: The analytic continuation of the essential part Γ⁺'ᵉˢˢ'γ is given by:

-Σk∈I₋ Σ₀≤r<-hₖ Cγ(k,r)Γ⁻'ᵉˢˢ'γ(k,r)|Dⱼ→Dⱼ-hⱼ/hₖDₖ

2. Corollary 4.4: The computation of the Fourier-Mukai transform FM(Γ⁻'ᵉˢˢ) completely agrees with the analytic continuation.

Technical Achievements

• Complete computation of analytic continuation formulas for Gamma series solutions
• Establishment of precise correspondence between twisted cones
• Proof of well-definedness of Fourier-Mukai transforms on compactly supported K-theory

Related Work

Historical Development

1. Horja (1999): First observed this phenomenon in doctoral dissertation
2. Borisov-Horja (2006): Studied using original GKZ systems, but encountered difficulties due to rank jumping
3. Better-behaved version (2013): Resolved rank jumping issues, making mirror symmetry maps always isomorphisms

Related Theories

1. GKZ hypergeometric systems: Classical work of Gel'fand, Kapranov, and Zelevinsky
2. Toric geometry: Theory of toric Deligne-Mumford stacks by Borisov-Chen-Smith
3. Mirror symmetry: Kontsevich's homological mirror symmetry conjecture

Conclusions and Discussion

Main Conclusions

1. Complete resolution of conjecture: Proves the Borisov-Horja conjecture on the coincidence of analytic continuation and Fourier-Mukai transforms
2. Technical refinement: Provides complete analytic continuation theory for better-behaved GKZ systems
3. Geometric significance: Reveals deep connections between analytic properties of hypergeometric functions and derived category transformations in algebraic geometry

Limitations

1. Scope of applicability: Results are limited to the toric case; constructions in general cases remain unknown
2. Categorical level: While correspondence is established at the Grothendieck group level, general constructions at the triangulated category level remain open

Future Directions

1. Generalization: Extension to more general geometric settings
2. Categorical theory: Construction of trivial families at the derived category level
3. Computational methods: Development of more efficient computational techniques

In-Depth Evaluation

Strengths

1. Theoretical completeness: Completely resolves an important open problem with rigorous and complete proofs
2. Technical innovation: Skillfully applies Mellin-Barnes integral techniques to handle analytic continuation
3. Geometric insight: Reveals deep connections between hypergeometric functions and algebraic geometry
4. Method generality: Techniques developed have reference value for related problems

Technical Highlights

1. Precise computation: Exact computation of analytic continuation of Gamma series solutions
2. Correspondence relations: Establishment of precise correspondence between twisted cones
3. Convergence control: Rigorous convergence analysis ensures theoretical rigor

Impact

1. Theoretical contribution: Provides important theoretical foundation for mirror symmetry theory
2. Method value: Developed techniques have important reference value for related research
3. Completeness: Resolves a fundamental problem in the field with significant academic value

Applicable Scenarios

1. Mirror symmetry research: Provides theoretical tools for toric mirror symmetry
2. Hypergeometric function theory: Enriches analytic theory of hypergeometric functions
3. Algebraic geometry applications: Applications in derived category and K-theory research

References

The paper cites important literature in the field, including:

• Pioneering work of Borisov-Horja on better-behaved GKZ systems
• Classical theory of hypergeometric systems by Gel'fand-Kapranov-Zelevinsky
• Foundational theory of toric stacks by Borisov-Chen-Smith
• Foundational work of Kontsevich on homological mirror symmetry