Symplectic duality is the name of a hypothetical duality operation on conical symplectic singularities. At the moment, no rigorous definition exists, though there are a number of conjectured examples and a great number of connections that should tie together dual singularities.
The reader should be warned that this page and this circle of ideas are works in progress. At the moment, two papers by Braden, Licata, Proudfoot and Webster that will lay out lots of the ideas and details behind the claims made below are still in preparation; links will be added when they are ready to be publicly shared.
For a conical symplectic singularity, there is an associated Harrison homology? which is the base of a universal Poisson deformation? of ; this group actually coincides with the quotient by a Coxeter group (called the Weyl group of ) of the -Picard group of a -factorial? terminalization? of (a symplectic resolution is an example of such a terminalization, but not all symplectic singularities have resolutions). Let denote the Picard group of this variety.
The variety also has a finite-dimensional group of Hamiltonian automorphisms commuting with the conical structure. Let be a Levi complement? of this group, a maximal torus of and its Weyl group. For all these pieces of data, let the corresponding object for the (hypothetical) dual be denoted by
Among the basic properties we expect of is
There are canonical isomorphisms of Coxeter groups and and canonical equivariant isomorphisms and , inducing isomorphisms .
Every conical symplectic singularity has a canonical deformation quantization: a family of filtered non-commutative algebras over , each of whose associated graded is isomorphic to the coordinate ring? . One of the most interesting manifestations of the (hypothetical) duality is the effect it seems to have on the representation theory of these algebras.
Using the isomorphisms above, the choice of a quantization parameter for thus corresponds to a -conjugacy class of an element of , which we can think of as a Hamiltonian vector field on . There is an element which corresponds to the Hamiltonian of this vector field under associated graded, and thus whose inner action on is a lift of that of the vector field on functions on .
Category for is the category of finitely generated -modules where acts locally finitely with generalized eigenvalues whose real parts bounded above.
Note that the definition of category involved the choice of parameters and , and that under duality, the spaces where these parameters live switch places.
There is a choice of “b-fields” such that for generic, with the elements of and associated to these elements as described above, the categories and generate equivalent triangulated subcategories of the triangulated categories of -modules and -modules.
This mathoverflow question was an attempt to get a rigorous definition of what these b-fields are.
The variety possesses a symplectic resolution of singularities if and only if acts on with a unique fixed point.
Thus, if both and possess symplectic resolutions, they also both carry Hamiltonian torus actions with isolated fixed points. In this case, the simple modules in category (for both and generic) are in bijection with -fixed points on .
The categories and are both Koszul and Koszul dual to each other.
Underlying this Koszul duality should be a bijection between fixed points. This bijection should also appear on the level of equivariant cohomology.
The map of equivariant homology produces an arrangement of subspaces in .
The vector spaces and are canonically dual, with the spaces and mutual annihilators.
In the paper
it’s shown that Koszul algebras have a similar duality property when equivariant cohomology rings are replaced with the centers of certain deformations.
The categories (for generic) carry actions of topologically defined groups. Let be the subset of the Lie algebra of the compact real form of consisting of vector fields with isolated fixed points, and let be the complement of the walls of all the Mori chambers of the -Picard group. Then we have an action of by functors we call twisting functors and on by functors we call shuffling functors.
The Koszul duality between and interchanges twisting and shuffling functors.
All conjectured properties are proven for the following examples:
For a hypertoric variety?, the quantization is the torus invariant differential operators on a vector space (called the hypertoric enveloping algebra) which is constructed from a linear algebraic object called a polarized arrangement. The symplectic dual is the hypertoric variety associated to the Gale dual arrangement. Braden, Licata, Proudfoot and Webster constructed Koszul dual categories conjectured to arise this way in
and then proved that these categories arise in geometry, compatibly with all conjectures discussed in
For the cotangent bundle , where is a reductive algebraic group and a Borel, the associated quantization is the universal enveloping algebra of . However, our definition of category is not actually the same as the BGG category . We require semi-simple action of the center, and allow non-semi-simple action of the Cartan; in usual category it is vice versa. However, one can use a functor constructed by Soergel to construct an equivalence between these categories.
The symplectic dual to , is the Langlands dual of .
Modulo the issues discussed above, the Koszul duality portion of duality is shown in
and the duality between twisting and shuffling in
More generally, given partitions and , there is a symplectic variety called an S3-variety which is the preimage in the cotangent bundle of the space of flags of type of the Slodowy slice to the nilpotent orbit with Jordan type . The algebra quantizing this variety is a primitive quotient of the W-algebra for the orbit of Jordan type . In
it’s shown that the category ‘s attached to generic integral quantization parameters are in fact singular blocks of parabolic category ’s (in the BGG sense) attached to the same Lie algebra.
The dual is again an S3 variety where and have switched roles. The Koszul duality is that proven by BGS (referenced above), after using the equivalence to singular blocks of parabolic category mentioned before. One particularly interesting special case of this is when , in which case we obtain the duality between cotangent bundle of the space of flags of type and the Slodowy slice to in the full nilcone.
Perhaps the richest examples of symplectic singularities come from quiver varieties; these are varieties associated to a pair of weights in the weight lattice of a Kac-Moody algebra. The category ‘s of these varieties are derived equivalent to algebras studied in
with the shuffling functors coinciding with the R-matrix action from the second paper above, and the twisting functors coinciding with the Chuang-Rouquier braid group action on the category (these statements will be proved in a forthcoming paper of Ben Webster).
Heuristic considerations suggest that the dual variety to a quiver variety in finite type should be a slice between Schubert cells in the affine Grassmannian of the Langlands dual group. Ongoing work of Joel Kamnitzer, Ben Webster and Oded Yacobi is aimed at understanding the behavior of the quantization referred to above for an affine Grassmannian slice.
This topicis particularly speculative: the relationship of these constructions to physics.
The physical theories which concern us are certain gauge theories in 3 dimensions which carry supersymmetry (see N=4 D=3 super Yang-Mills theory); the most important examples of these are associated to a compact simple Lie group and a complex representation of and are obtained by dimensional reduction from 6 dimensional super Yang-Mills, considered for example in
The fields of this theory include scalar fermions valued in the adjoint representation and hypermultiplets corresponding to the representation (called “the matter content”).
Seiberg and Intrilligator propose a notion of a “mirror duality” between such gauge theories. The most important feature of such a duality is that it interchanges two spaces attached to them, the Higgs branch and Coulomb branch of the moduli space of vacua. These are a pair of hyperkähler cones defined in the moduli space of vacua by the vanishing of some of the fields (the adjoint scalars for Higgs, the hypermultiplets for Coulomb). After arriving at a preliminary version of the conjectures discussed above, it was pointed out (initially by Sergei Gukov) that there is a very large overlap between the list of examples above and the known list of Higgs/Coulomb pairs in physics. For example, Intriligator and Seiberg have shown that an ALE space forms a Higgs/Coulomb pair with the moduli space of an instanton of the corresponding simply-laced Lie group on .
it is shown that
Gale dual hypertoric varieties are a Higgs/Coulomb pair.
if an S3-variety is presented as a type A quiver variety, its dual is the dual S3-variety, also presented as a type quiver variety.
all affine type quiver varieties are in a Higgs/Coulomb pair with another affine quiver variety, with the weight data transforming as in the rank/level duality.
These examples strongly suggest that
Unfortunately, this conjecture is not as useful as one might imagine, as the construction of the Coulomb branch is rather subtle, and we have found no description of it at the level of precision which would satisfy a mathematician. The issue is that while the “classical” and “quantum” Higgs branches are the same, the Coulomb branch acquires “quantum corrections.” The classical Coulomb branch is easy to describe; it is where is the abstract Cartan subalgebra of . However, to arrive at the correct conjecture for one must change the hyperkähler metric on this space, and thus also its topology, to account for the quantized nature of the situation. At the moment, we do not understand how to make these changes of metric and topology precise, but we are optimistic about the future.
A survey is in
A workshop dealing with related topics is