-
Hypertoric Fukaya categories and categories O
Authors:
Laurent Côté,
Benjamin Gammage,
Justin Hilburn
Abstract:
To a conical symplectic resolution with Hamiltonian torus action, Braden--Proudfoot--Licata--Webster associate a category O, defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the literature, that category O also admits a "Betti-type" realization as the Fukaya--Seidel category of a Lefschetz fibration.
In this paper, we confirm that the…
▽ More
To a conical symplectic resolution with Hamiltonian torus action, Braden--Proudfoot--Licata--Webster associate a category O, defined using deformation quantization (DQ) modules. It has long been expected, though not stated precisely in the literature, that category O also admits a "Betti-type" realization as the Fukaya--Seidel category of a Lefschetz fibration.
In this paper, we confirm that the category 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 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 O.
△ Less
Submitted 1 July, 2024; v1 submitted 3 June, 2024;
originally announced June 2024.
-
Hypertoric 2-categories O and symplectic duality
Authors:
Benjamin Gammage,
Justin Hilburn
Abstract:
We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category $\mathcal{O}$. We then establish equivalences of 2-categories categorifying the Koszul duality between Gale dual hypertoric categories $\mathcal{O}$. These construc…
▽ More
We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category $\mathcal{O}$. We then establish equivalences of 2-categories categorifying the Koszul duality between Gale dual hypertoric categories $\mathcal{O}$. These constructions give a prototype for understanding symplectic duality via the fully extended 3d mirror symmetry conjecture.
△ Less
Submitted 31 March, 2025; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Twisted traces on abelian quantum Higgs and Coulomb branches
Authors:
Davide Gaiotto,
Justin Hilburn,
Jaime Redondo-Yuste,
Ben Webster,
Zheng Zhou
Abstract:
We study twisted traces on the quantum Higgs branches $A_{\operatorname{Higgs}}$ of $3d, \mathcal{N}=4$ gauge theories, that is, the quantum Hamiltonian reductions of Weyl algebras. In theories which are good, we define a twisted trace that arises naturally from the correlation functions of the gauge theory. We show that this trace induces an inner product and a short star product on…
▽ More
We study twisted traces on the quantum Higgs branches $A_{\operatorname{Higgs}}$ of $3d, \mathcal{N}=4$ gauge theories, that is, the quantum Hamiltonian reductions of Weyl algebras. In theories which are good, we define a twisted trace that arises naturally from the correlation functions of the gauge theory. We show that this trace induces an inner product and a short star product on $A_{\operatorname{Higgs}}$.
We analyze this trace in the case of an abelian gauge group and show that it has a natural expansion in terms of the twisted traces of Verma modules, confirming a conjecture of the first author and Okazaki. This expansion has a natural interpretation in terms of 3-d mirror symmetry, and we predict that it can be interpreted as an Atiyah-Bott fixed-point formula under the quantum Hikita isomorphism.
△ Less
Submitted 22 March, 2024; v1 submitted 29 August, 2023;
originally announced August 2023.
-
Betti Tate's thesis and the trace of perverse schobers
Authors:
Benjamin Gammage,
Justin Hilburn
Abstract:
We propose a conjecture on the categorical trace of the 2-category of perverse schobers (expected to model the Fukaya-Fueter 2-category of a holomorphic symplectic space). By proving a Betti geometric version of Tate's thesis, and combining it with our previous 3d mirror symmetry equivalence and the Ben-Zvi--Nadler--Preygel result on spectral traces, we are able to establish our conjecture in the…
▽ More
We propose a conjecture on the categorical trace of the 2-category of perverse schobers (expected to model the Fukaya-Fueter 2-category of a holomorphic symplectic space). By proving a Betti geometric version of Tate's thesis, and combining it with our previous 3d mirror symmetry equivalence and the Ben-Zvi--Nadler--Preygel result on spectral traces, we are able to establish our conjecture in the simplest interesting case.
△ Less
Submitted 31 March, 2025; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Perverse schobers and 3d mirror symmetry
Authors:
Benjamin Gammage,
Justin Hilburn,
Aaron Mazel-Gee
Abstract:
The proposed physical duality known as 3d mirror symmetry relates the geometries of dual pairs of holomorphic symplectic stacks. It has served in recent years as a guiding principle for developments in representation theory. However, due to the lack of definitions, thus far only small pieces of the subject have been mathematically accessible.
In this paper, we formulate abelian 3d mirror symmetr…
▽ More
The proposed physical duality known as 3d mirror symmetry relates the geometries of dual pairs of holomorphic symplectic stacks. It has served in recent years as a guiding principle for developments in representation theory. However, due to the lack of definitions, thus far only small pieces of the subject have been mathematically accessible.
In this paper, we formulate abelian 3d mirror symmetry as an equivalence between a pair of 2-categories constructed from the algebraic and symplectic geometry, respectively, of Gale dual toric cotangent stacks. In the simplest case, our theorem provides a spectral description of the 2-category of spherical functors - i.e., perverse schobers on the affine line with singularities at the origin. We expect that our results can be extended from toric cotangent stacks to hypertoric varieties, which would provide a categorification of previous results on Koszul duality for hypertoric categories $\mathcal{O}$. Our methods also suggest approaches to 2-categorical 3d mirror symmetry for more general classes of spaces of interest in geometric representation theory.
Along the way, we establish two results that may be of independent interest: (1) a version of the theory of Smith ideals in the setting of stable $\infty$-categories; and (2) an ambidexterity result for co/limits of presentable enriched $\infty$-categories over $\infty$-groupoids.
△ Less
Submitted 29 May, 2023; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Tate's thesis in the de Rham Setting
Authors:
Justin Hilburn,
Sam Raskin
Abstract:
We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham local systems with a flat section. Our result establishes a conjecture coming out of the 3d mirror symmetry program, which obtains new compatibilities for the geo…
▽ More
We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham local systems with a flat section. Our result establishes a conjecture coming out of the 3d mirror symmetry program, which obtains new compatibilities for the geometric Langlands program from rich dualities of QFTs that are themselves obtained from string theory conjectures.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
BFN Springer Theory
Authors:
Justin Hilburn,
Joel Kamnitzer,
Alex Weekes
Abstract:
Given a representation N of a reductive group G, Braverman-Finkelberg-Nakajima have defined a remarkable Poisson variety called the Coulomb branch. Their construction of this space was motivated by considerations from 3d gauge theories and symplectic duality. The coordinate ring of this Coulomb branch is defined as a convolution algebra, using a vector bundle over the affine Grassmannian of G.
T…
▽ More
Given a representation N of a reductive group G, Braverman-Finkelberg-Nakajima have defined a remarkable Poisson variety called the Coulomb branch. Their construction of this space was motivated by considerations from 3d gauge theories and symplectic duality. The coordinate ring of this Coulomb branch is defined as a convolution algebra, using a vector bundle over the affine Grassmannian of G.
This vector bundle over the affine Grassmannian maps to the space of loops in the representation N. We study the fibres of this maps, which live in the affine Grassmannian. We use these BFN Springer fibres to construct modules for (quantized) Coulomb branch algebras. These modules naturally correspond to boundary conditions for the corresponding gauge theory.
We use our construction to partially prove a conjecture of Baumann-Kamnitzer-Knutson and give evidence for conjectures of Hikita, Nakajima, and Kamnitzer-McBreen-Proudfoot. We also prove a relation between BFN Springer fibres and quasimap spaces.
△ Less
Submitted 18 April, 2023; v1 submitted 30 April, 2020;
originally announced April 2020.
-
Mirror symmetry and line operators
Authors:
Tudor Dimofte,
Niklas Garner,
Michael Geracie,
Justin Hilburn
Abstract:
We study half-BPS line operators in 3d N=4 gauge theories, focusing in particular on the algebras of local operators at their junctions. It is known that there are two basic types of such line operators, distinguished by the SUSY subalgebras that they preserve; the two types can roughly be called "Wilson lines" and "vortex lines", and are exchanged under 3d mirror symmetry. We describe a large cla…
▽ More
We study half-BPS line operators in 3d N=4 gauge theories, focusing in particular on the algebras of local operators at their junctions. It is known that there are two basic types of such line operators, distinguished by the SUSY subalgebras that they preserve; the two types can roughly be called "Wilson lines" and "vortex lines", and are exchanged under 3d mirror symmetry. We describe a large class of vortex lines that can be characterized by basic algebraic data, and propose a mathematical scheme to compute the algebras of local operators at their junctions --- including monopole operators --- in terms of this data. The computation generalizes mathematical and physical definitions/analyses of the bulk Coulomb-branch chiral ring. We fully classify the junctions of half-BPS Wilson lines and of half-BPS vortex lines in abelian gauge theories with sufficient matter. We also test our computational scheme in a non-abelian quiver gauge theory, using a 3d-mirror-map of line operators from work of Assel and Gomis.
△ Less
Submitted 10 February, 2020; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Vortices and Vermas
Authors:
Mathew Bullimore,
Tudor Dimofte,
Davide Gaiotto,
Justin Hilburn,
Hee-Cheol Kim
Abstract:
In three-dimensional gauge theories, monopole operators create and destroy vortices. We explore this idea in the context of 3d N=4 gauge theories in the presence of an Omega-background. In this case, monopole operators generate a non-commutative algebra that quantizes the Coulomb-branch chiral ring. The monopole operators act naturally on a Hilbert space, which is realized concretely as the equiva…
▽ More
In three-dimensional gauge theories, monopole operators create and destroy vortices. We explore this idea in the context of 3d N=4 gauge theories in the presence of an Omega-background. In this case, monopole operators generate a non-commutative algebra that quantizes the Coulomb-branch chiral ring. The monopole operators act naturally on a Hilbert space, which is realized concretely as the equivariant cohomology of a moduli space of vortices. The action furnishes the space with the structure of a Verma module for the Coulomb-branch algebra. This leads to a new mathematical definition of the Coulomb-branch algebra itself, related to that of Braverman-Finkelberg-Nakajima. By introducing additional boundary conditions, we find a construction of vortex partition functions of 2d N=(2,2) theories as overlaps of coherent states (Whittaker vectors) for Coulomb-branch algebras, generalizing work of Braverman-Feigin-Finkelberg-Rybnikov on a finite version of the AGT correspondence. In the case of 3d linear quiver gauge theories, we use brane constructions to exhibit vortex moduli spaces as handsaw quiver varieties, and realize monopole operators as interfaces between handsaw-quiver quantum mechanics, generalizing work of Nakajima.
△ Less
Submitted 30 January, 2018; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Boundaries, Mirror Symmetry, and Symplectic Duality in 3d $\mathcal{N}=4$ Gauge Theory
Authors:
Mathew Bullimore,
Tudor Dimofte,
Davide Gaiotto,
Justin Hilburn
Abstract:
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case…
▽ More
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case of abelian theories, we use the formalism of hyperplane arrangements to make our constructions very explicit, and construct a half-BPS interface that implements the action of 3d mirror symmetry on gauge theories and boundary conditions. Finally, by studying two-dimensional compactifications of 3d $\mathcal{N}=4$ gauge theories and their boundary conditions, we propose a physical origin for symplectic duality - an equivalence of categories of modules associated to families of Higgs and Coulomb branches that has recently appeared in the mathematics literature, and generalizes classic results on Koszul duality in geometric representation theory. We make several predictions about the structure of symplectic duality, and identify Koszul duality as a special case of wall crossing.
△ Less
Submitted 25 October, 2016; v1 submitted 28 March, 2016;
originally announced March 2016.
-
Quadratic-linear duality and rational homotopy theory of chordal arrangements
Authors:
Christin Bibby,
Justin Hilburn
Abstract:
To any graph and smooth algebraic curve $C$ one may associate a "hypercurve" arrangement and one can study the rational homotopy theory of the complement $X$. In the rational case ($C=\mathbb{C}$), there is considerable literature on the rational homotopy theory of $X$, and the trigonometric case ($C = \mathbb{C}^\times$) is similar in flavor. The case of when $C$ is a smooth projective curve of p…
▽ More
To any graph and smooth algebraic curve $C$ one may associate a "hypercurve" arrangement and one can study the rational homotopy theory of the complement $X$. In the rational case ($C=\mathbb{C}$), there is considerable literature on the rational homotopy theory of $X$, and the trigonometric case ($C = \mathbb{C}^\times$) is similar in flavor. The case of when $C$ is a smooth projective curve of positive genus is more complicated due to the lack of formality of the complement. When the graph is chordal, we use quadratic-linear duality to compute the Malcev Lie algebra and the minimal model of $X$, and we prove that $X$ is rationally $K(π,1)$.
△ Less
Submitted 21 July, 2015; v1 submitted 23 September, 2014;
originally announced September 2014.
