Table of Contents
Fetching ...

Homological mirror symmetry for hypertoric varieties II (with an Appendix written jointly with Laurent Côté and Justin Hilburn)

Benjamin Gammage, Michael McBreen, Ben Webster

TL;DR

The paper establishes a homological mirror symmetry between Fukaya categories of multiplicative hypertoric varieties and coherent sheaves on their mirrors, realized as noncommutative crepant resolutions. It develops a detailed A-model skeleton-based computation leveraging microlocal perverse sheaves, and a B-model noncommutative-algebraic description built from tilting bundles, with precise quiver presentations. The HMS statement is elevated to a perverse-schober equivalence, encoding monodromy across real-wall stratifications and yielding a rich, wall-crossing-aware picture of the mirror correspondence. Collectively, the work provides a blueprint for HMS and SYZ-type dualities for pairs of K-theoretic Coulomb branches and their monodromies in a hyperkähler setting.

Abstract

In this paper, we prove a homological mirror symmetry equivalence for pairs of multiplicative hypertoric varieties, and we calculate monodromy autoequivalences of these categories by promoting our result to an equivalence of perverse schobers. We prove our equivalence by matching holomorphic Lagrangian skeleta, on the A-model side, with non-commutative resolutions on the B-model side. The hyperkähler geometry of these spaces provides each category with a natural t-structure, which helps clarify SYZ duality in a hyperkähler context. Our results are a prototype for mirror symmetry statements relating pairs of K-theoretic Coulomb branches.

Homological mirror symmetry for hypertoric varieties II (with an Appendix written jointly with Laurent Côté and Justin Hilburn)

TL;DR

The paper establishes a homological mirror symmetry between Fukaya categories of multiplicative hypertoric varieties and coherent sheaves on their mirrors, realized as noncommutative crepant resolutions. It develops a detailed A-model skeleton-based computation leveraging microlocal perverse sheaves, and a B-model noncommutative-algebraic description built from tilting bundles, with precise quiver presentations. The HMS statement is elevated to a perverse-schober equivalence, encoding monodromy across real-wall stratifications and yielding a rich, wall-crossing-aware picture of the mirror correspondence. Collectively, the work provides a blueprint for HMS and SYZ-type dualities for pairs of K-theoretic Coulomb branches and their monodromies in a hyperkähler setting.

Abstract

In this paper, we prove a homological mirror symmetry equivalence for pairs of multiplicative hypertoric varieties, and we calculate monodromy autoequivalences of these categories by promoting our result to an equivalence of perverse schobers. We prove our equivalence by matching holomorphic Lagrangian skeleta, on the A-model side, with non-commutative resolutions on the B-model side. The hyperkähler geometry of these spaces provides each category with a natural t-structure, which helps clarify SYZ duality in a hyperkähler context. Our results are a prototype for mirror symmetry statements relating pairs of K-theoretic Coulomb branches.

Paper Structure

This paper contains 39 sections, 82 theorems, 139 equations.

Key Result

Theorem 1.3

There is a cosheaf of dg categories $\mu\mathsf{Sh}_\mathbb{L}^c$ on the skeleton $\mathbb{L}$ of a stably polarized weakly Weinstein manifold $X$ whose costalks may be computed locally in terms of microlocal sheaves on $\mathbb{L}$.

Theorems & Definitions (201)

  • Conjecture 1.1
  • Remark 1.2
  • Theorem 1.3: Sh-hprinciple
  • Theorem 1.4: GPS3
  • Theorem 1.4: GPS3
  • Proposition 1.5: Proposition \ref{['prop:mht-skel']}, Proposition \ref{['prop:toricskel']} & Lemma \ref{['lem:weaklyweinstein']}
  • Conjecture 1.6
  • Theorem A
  • Remark 1.7
  • Remark 1.8
  • ...and 191 more