Metadata
Abstract
To a conical symplectic resolution with Hamiltonian torus action, Braden–Proudfoot–Licata–Webster associate a category $\mathcal{O},$ defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the literature, that category $\mathcal{O}$ also admits a “Betti-type” realization as the Fukaya–Seidel category of a Lefschetz fibration.
In this paper, we confirm that the category $\mathcal{O}$ associated to a toric hyperkähler manifold is equivalent to the partially wrapped Fukaya category of a Liouville manifold stopped by the fiber of a $J$-holomorphic moment map. The proof involves relating earlier DQ-module computations to a new computation of microlocal perverse sheaves. Leveraging known results on (de Rham) hypertoric category $\mathcal{O},$ we deduce several Floer-theoretic consequences, including formality of simple objects and Koszul duality for the (fully) wrapped Fukaya category; conversely, by applying results about microlocal sheaves, we produce a relative Calabi–Yau structure on category $\mathcal{O}.$
References
[AS16] The symplectic arc algebra is formal, Duke Math. J., Volume 165 (2016) no. 6, pp. 985-1060 | DOI | Zbl
[BB81] Localisation de $\mathfrak{g}$-modules, Comptes Rendus. Mathématique, Volume 292 (1981) no. 1, pp. 15-18 | MR | Zbl
[BCL18] Derived localisation of algebras and modules, Adv. Math., Volume 328 (2018), pp. 555-622 | DOI | Zbl
[BD00] The geometry and topology of toric hyperkähler manifolds, Commun. Anal. Geom., Volume 8 (2000) no. 4, pp. 727-760 | DOI | MR | Zbl
[BD21] Relative Calabi–Yau structures. II: Shifted Lagrangians in the moduli of objects, Sel. Math., New Ser., Volume 27 (2021) no. 4, 63, 45 pages | DOI | MR | Zbl
[BDGH16] Boundaries, mirror symmetry, and symplectic duality in 3d $\mathcal{N}=4$ gauge theory, J. High Energy Phys., Volume 2016 (2016) no. 10, 108, 195 pages | DOI | Zbl
[BEG03] Cherednik algebras and differential operators on quasi-invariants, Duke Math. J., Volume 118 (2003) no. 2, pp. 279-337 | DOI | MR | Zbl
[Bei87] How to glue perverse sheaves, ${K}$-theory, arithmetic and geometry (Moscow, 1984–1986) (Lecture Notes in Mathematics), Volume 1289, Springer, 1987, pp. 42-51 | DOI | MR | Zbl
[BGG76] Category of $\mathfrak{g}$-modules, Funct. Anal. Appl., Volume 10 (1976), pp. 87-92 translation from Funkts. Anal. Prilozh. 10, no. 2, 1-8 (1976) | DOI | MR | Zbl
[BGK08] Highest weight theory for finite ${W}$-algebras, Int. Math. Res. Not., Volume 2008 (2008) no. 9, rnn051, 53 pages | DOI | Zbl
[BGS96] Koszul duality patterns in representation theory, J. Am. Math. Soc., Volume 9 (1996) no. 2, pp. 473-527 | DOI | Zbl
[BK12] On deformation quantizations of hypertoric varieties, Pac. J. Math., Volume 260 (2012) no. 1, pp. 89-127 | DOI | Zbl
[BLPW10] Gale duality and Koszul duality, Adv. Math., Volume 225 (2010) no. 4, pp. 2002-2049 | DOI | MR | Zbl
[BLPW12] Hypertoric category $\mathcal{O}$, Adv. Math., Volume 231 (2012) no. 3-4, pp. 1487-1545 | DOI | MR | Zbl
[BLPW16] Quantizations of conical symplectic resolutions II: Category $\mathcal{O}$ and symplectic duality, Quantizations of conical symplectic resolutions (Astérisque), Société Mathématique de France, 2016 no. 384, pp. 75-179 (with an appendix by I. Losev) | MR
[Boo22] The derived deformation theory of a point, Math. Z., Volume 300 (2022) no. 3, pp. 3023-3082 | DOI | Zbl
[BPW16] Quantizations of conical symplectic resolutions. I: Local and global structure, Quantizations of conical symplectic resolutions (Astérisque), Société Mathématique de France, 2016 no. 384, pp. 1-73 | DOI | MR
[BR23] The cyclic Deligne conjecture and Calabi–Yau structures (2023) | arXiv | Zbl
[Bra19] Topics in Koszul Duality, 2019 (available at https://people.maths.ox.ac.uk/brantner/Koszul_lectures.html)
[BZN18] Betti geometric Langlands, Algebraic geometry: Salt Lake City 2015. 2015 summer research institute in algebraic geometry, University of Utah, Salt Lake City, UT, USA, July 13–31, 2015. Proceedings. Part 2 (Proceedings of Symposia in Pure Mathematics), Volume 97, American Mathematical Society; Clay Mathematics Institute, 2018, pp. 3-41 | Zbl
[Cam14] Derived Koszul duality and topological Hochschild homology (2014) | arXiv | Zbl
[CG16] Homotopy theory of mixed Hodge complexes, Tôhoku Math. J. (2), Volume 68 (2016) no. 3, pp. 349-375 | DOI | MR | Zbl
[Che23] Categorical cyclic homology and filtered $\mathcal{D}$-modules on stacks: Koszul duality (2023) | arXiv | Zbl
[CIK18] Multigraded linear series and recollement, Math. Z., Volume 289 (2018) no. 1-2, pp. 535-565 | DOI | MR | Zbl
[CKNS24] The microlocal Riemann–Hilbert correspondence for complex contact manifolds (2024) | arXiv | Zbl
[CKNS25] Perverse microsheaves (2025) | arXiv | Zbl
[CPS88] Finite-dimensional algebras and highest weight categories, J. Reine Angew. Math., Volume 391 (1988), pp. 85-99 | MR | Zbl
[DGGH20] Mirror symmetry and line operators, J. High Energy Phys., Volume 2020 (2020) no. 2, 75, 150 pages | DOI | Zbl
[DGI06] Duality in algebra and topology, Adv. Math., Volume 200 (2006) no. 2, pp. 357-402 | DOI | Zbl
[DGMS75] Real homotopy theory of Kähler manifolds, Invent. Math., Volume 29 (1975), pp. 245-274 | Zbl | DOI
[Dhi22] An informal introduction to categorical representation theory and the local geometric Langlands program (2022) | arXiv | Zbl
[DO03] Dunkl operators for complex reflection groups, Proc. Lond. Math. Soc. (3), Volume 86 (2003) no. 1, pp. 70-108 | DOI | MR | Zbl
[DR92] The module theoretical approach to quasi-hereditary algebras, Representations of algebras and related topics (Kyoto, 1990) (London Mathematical Society Lecture Note Series), Volume 168, Cambridge University Press, 1992, pp. 200-224 | MR | Zbl | DOI
[DR23] Holomorphic Floer Theory and the Fueter Equation (2023) | arXiv | Zbl
[Dri04] $\mathrm{DG}$ quotients of $\mathrm{DG}$ categories, J. Algebra, Volume 272 (2004) no. 2, pp. 643-691 | DOI | Zbl
[Efi10] Formal completion of a category along a subcategory (2010) | arXiv | Zbl
[EL17] Koszul duality patterns in Floer theory, Geom. Topol., Volume 21 (2017) no. 6, pp. 3313-3389 | DOI | Zbl
[EL23] Duality between Lagrangian and Legendrian invariants, Geom. Topol., Volume 27 (2023) no. 6, pp. 2049-2179 | DOI | Zbl
[Gai15] Sheaves of categories and the notion of 1-affineness, Stacks and categories in geometry, topology, and algebra (Contemporary Mathematics), Volume 643, American Mathematical Society, 2015, pp. 127-225 | DOI | Zbl
[Gan13] Symplectic cohomology and duality for the wrapped Fukaya category (2013) | arXiv | Zbl
[Gan22] Classification of nondegenerate ${G}$-categories (with an appendix written jointly with Germán Stefanich) (2022) | arXiv | Zbl
[GGM85] ${\mathcal{D}}$-modules et faisceaux pervers dont le support singulier est un croisement normal, Ann. Inst. Fourier, Volume 35 (1985) no. 1, pp. 1-48 | DOI | MR | Zbl
[GGOR03a] On the category $\mathcal{O}$ for rational Cherednik algebras, Invent. Math., Volume 154 (2003) no. 3, pp. 617-651 | DOI | MR | Zbl
[GGOR03b] On the category $\mathcal{O}$ for rational Cherednik algebras, Invent. Math., Volume 154 (2003) no. 3, pp. 617-651 | DOI | Zbl
[GH26] Hypertoric 2-categories $\mathcal{O}$ and symplectic duality, Commun. Math. Phys., Volume 407 (2026) no. 3, 55, 46 pages | DOI | Zbl
[Gin06] Calabi–Yau algebras (2006) | arXiv | Zbl
[GMGH23] Perverse schobers and 3d mirror symmetry (2023) | arXiv | Zbl
[GMW15] Algebra of the Infrared: String Field Theoretic Structures in Massive $\mathcal{N}=(2,2)$ Field Theory In Two Dimensions (2015) | arXiv | Zbl
[GMW25] Homological mirror symmetry for hypertoric varieties II, Geom. Topol., Volume 29 (2025) no. 8, pp. 3921-3993 (with an appendix written jointly with Laurent Côté and Justin Hilburn) | arXiv | Zbl
[Got92] On toric hyper-Kähler manifolds given by the hyper-Kähler quotient method, Int. J. Mod. Phys. A, Volume 7S1A (1992), pp. 317-338 | DOI | Zbl
[GPS20] Covariantly functorial wrapped Floer theory on Liouville sectors, Publ. Math., Inst. Hautes Étud. Sci., Volume 131 (2020), pp. 73-200 | DOI | MR | Zbl | Numdam
[GPS24a] Microlocal Morse theory of wrapped Fukaya categories, Ann. Math. (2), Volume 199 (2024) no. 3, pp. 943-1042 | DOI | MR | Zbl
[GPS24b] Sectorial descent for wrapped Fukaya categories, J. Am. Math. Soc., Volume 37 (2024) no. 2, pp. 499-635 | DOI | MR | Zbl
[GR14] DG indschemes, Perspectives in representation theory (Contemporary Mathematics), Volume 610, American Mathematical Society, 2014, pp. 139-251 | Zbl | DOI
[GR17] A study in derived algebraic geometry: Volume I: Correspondences and duality, Mathematical Surveys and Monographs, 221, American Mathematical Society, 2017 | Zbl
[Hay15] Fukaya-Seidel category and gauge theory, J. Symplectic Geom., Volume 13 (2015) no. 1, pp. 151-207 | DOI | Zbl
[Hil16] Hypergeometric systems and projective modules in hypertoric category $\mathcal{O}$, Ph. D. Thesis, University of Oregon, USA (2016)
[HKLR87] Hyper-Kähler metrics and supersymmetry, Commun. Math. Phys., Volume 108 (1987) no. 4, pp. 535-589 | MR | Zbl | DOI
[HKLY17] Recollements and stratifying ideals, J. Algebra, Volume 484 (2017), pp. 47-65 | DOI | Zbl
[HKW23] BFN Springer theory, Commun. Math. Phys., Volume 402 (2023) no. 1, pp. 765-832 | DOI | Zbl
[HLW23] Hochschild (co)homologies of DG ${K}$-algebras and their Koszul duals, Front. Math. China, Volume 18 (2023) no. 5, pp. 1113-1155 | DOI | MR | Zbl
[HS02] Toric hyperkähler varieties, Doc. Math., Volume 7 (2002), pp. 495-534 | DOI | Zbl
[Hum08] Representations of Semisimple Lie Algebras in the BGG Category $\mathcal{O}$, Graduate Studies in Mathematics, 94, American Mathematical Society, 2008 | Zbl | DOI
[Jin19] Representing the big tilting sheaves as holomorphic Morse branes, Adv. Math., Volume 345 (2019), pp. 845-860 | DOI | MR | Zbl
[Kha23] On the ${A}_{\infty }$-Category of a Holomorphic Moment Map (2023) | arXiv | Zbl
[Kon99] Equivariant cohomology rings of toric hyperkähler manifolds, Quaternionic structures in mathematics and physics (Rome, 1999), Dipartimento di Matematica “Guido Castelnuovo”, Università di Roma “La Sapienza”, 1999, pp. 231-240 | MR | Zbl
[KR08] Microlocalization of rational Cherednik algebras, Duke Math. J., Volume 144 (2008) no. 3, pp. 525-573 | DOI | Zbl
[Kra17] Highest weight categories and recollements, Ann. Inst. Fourier, Volume 67 (2017) no. 6, pp. 2679-2701 | DOI | Zbl
[KS94] Sheaves on manifolds, Grundlehren der Mathematischen Wissenschaften, 292, Springer, 1994, x+512 pages (with a chapter in French by Christian Houzel) | MR
[KS24] Holomorphic Floer theory I: Exponential integrals in finite and infinite dimensions (2024) | arXiv | Zbl
[Li19a] Exact Calabi–Yau categories and odd-dimensional Lagrangian spheres (2019) | arXiv | Zbl
[Li19b] Koszul duality via suspending Lefschetz fibrations, J. Topol., Volume 12 (2019) no. 4, pp. 1174-1245 | DOI | Zbl
[LLM] Hypertoric convolution algebras as Fukaya categories I (in preparation)
[Los12] On the Structure of the Category $\mathcal{O}$ for W-Algebras, Geometric methods in representation theory. II. (Séminaires et Congrès), Volume 24, Part 2, Société Mathématique de France, 2012, pp. 351-368 | Zbl
[Lur18] Spectral algebraic geometry, 2018 available at the author’s website (version dated 2/03/2018), https://www.math.ias.edu/~lurie/papers/SAG-rootfile.pdf
[Mal91] Équations différentielles à coefficients polynomiaux, Progress in Mathematics, 96, Birkhäuser, 1991, vi+232 pages | MR | Zbl
[MS22] Fukaya–Seidel categories of Hilbert schemes and parabolic category $\mathcal{O}$, J. Eur. Math. Soc., Volume 24 (2022) no. 9, pp. 3215-3332 | DOI | Zbl
[MV86] Elementary construction of perverse sheaves, Invent. Math., Volume 84 (1986) no. 2, pp. 403-435 | DOI | MR | Zbl
[MVdB98] Invariants under tori of rings of differential operators and related topics, Memoirs of the American Mathematical Society, 650, American Mathematical Society, 1998 | DOI | Zbl
[NS20] Sheaf quantization in Weinstein symplectic manifolds (2020) | arXiv | Zbl
[NS23] Invariance of microsheaves on stable Higgs bundles (2023) | arXiv | Zbl
[Pri70] Koszul resolutions, Trans. Am. Math. Soc., Volume 152 (1970), pp. 39-60 | DOI | MR | Zbl
[PSY14] Completion by derived double centralizer, Algebr. Represent. Theory, Volume 17 (2014) no. 2, pp. 481-494 | DOI | Zbl
[Rit10] Deformations of symplectic cohomology and exact Lagrangians in ALE spaces, Geom. Funct. Anal., Volume 20 (2010) no. 3, pp. 779-816 | DOI | Zbl
[Sei08] A biased view of symplectic cohomology (Current developments in mathematics, 2006), International Press, 2008, pp. 211-254 | Zbl
[Sei14] Disjoinable Lagrangian spheres and dilations, Invent. Math., Volume 197 (2014) no. 2, pp. 299-359 | DOI | Zbl
[She21] Microlocal category for Weinstein manifolds via the h-principle, Publ. Res. Inst. Math. Sci., Volume 57 (2021) no. 3-4, pp. 1041-1048 | DOI | MR | Zbl
[She25] Microsheaves from Hitchin fibers via Floer theory (2025) | arXiv | Zbl
[SS12] Symplectic cohomology and q-intersection numbers, Geom. Funct. Anal., Volume 22 (2012) no. 2, pp. 443-477 | DOI | Zbl
[ST01] Braid group actions on derived categories of coherent sheaves, Duke Math. J., Volume 108 (2001) no. 1, pp. 37-108 | DOI | Zbl
[ST25] Calabi–Yau structures on topological Fukaya categories, Compos. Math., Volume 161 (2025) no. 5, pp. 1128-1214 | DOI | Zbl
[SV19] Locality in the Fukaya category of a hyperkähler manifold, Compos. Math., Volume 155 (2019) no. 10, pp. 1924-1958 | DOI | Zbl
[Tel14] Gauge theory and mirror symmetry, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II: Invited lectures, KM Kyung Moon Sa (2014), pp. 1309-1332 | MR | Zbl
[Tel21] The role of Coulomb branches in 2D gauge theory, J. Eur. Math. Soc., Volume 23 (2021) no. 11, pp. 3497-3520 | DOI | Zbl
[Tra08] The Batalin–Vilkovisky algebra on Hochschild cohomology induced by infinity inner products, Ann. Inst. Fourier, Volume 58 (2008) no. 7, pp. 2351-2379 | DOI | Zbl | Numdam
[Ver85] Extension of a perverse sheaf over a closed subspace, Differential systems and singularities (Luminy, 1983) (Astérisque), Société Mathématique de France, 1985 no. 130, pp. 210-217 | MR | Zbl | Numdam
[Web17] On generalized category $\mathcal{O}$ for a quiver variety, Math. Ann., Volume 368 (2017) no. 1-2, pp. 483-536 | DOI | MR | Zbl
[Živ22] Exact Lagrangians from contracting $\mathbb{C}^*$-actions (2022) | arXiv