-
arXiv:2405.20301 [pdf, ps, other]
Quantization commutes with reduction again: the quantum GIT conjecture I
Abstract: For a compact monotone symplectic manifold $X$ with Hamiltonian action of a compact Lie group $G$ and smooth symplectic reduction, we relate its gauged $2$-dimensional $A$-model to the $A$-model of $X/\!/G$. This (long conjectured) result is parallel to the ($B$-model!) \emph{quantization commutes with reduction} theorem of Guillemin and Sternberg in quantum mechanics. Here, we spell out some of t… ▽ More
Submitted 30 May, 2024; originally announced May 2024.
Comments: 15 pages. Announcement with detailed outline of proofs
MSC Class: 53D20; 53D37; 53D40
-
The Odd Fermion
Abstract: In this short note we use the geometric approach to (topological) field theory to address the question: Does an odd number of quantum mechanical fermions make sense?
Submitted 8 January, 2024; originally announced January 2024.
Comments: 6 pages, 2 figures
-
Topological symmetry in quantum field theory
Abstract: We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other sy… ▽ More
Submitted 26 April, 2023; v1 submitted 15 September, 2022; originally announced September 2022.
Comments: 65 pages, 37 figures. v2 adds references and corrects topological misstatements in section 4.4.2. v3 is a major revision with improved exposition throughout, a new section 2.5 on the passage from local to global defects, substantially expanded sections 4.4 and A.2
-
arXiv:2209.01088 [pdf, ps, other]
Coulomb branches for quaternionic representations
Abstract: I describe the \emph{Chiral rings} $R_{3,4}$ for $3$D, $N=4$ supersymmetric $G$-gauge theory and matter fields in quaternionic representations $E$: first, by a topological tweak of the construction of arxiv:1601.03586, and second, more explicitly, by Weyl group descent from the maximal torus. A topological obstruction is $w_4(E)$ modulo squares, for $R_3$; a secondary obstruction, from $η\cdot E$,… ▽ More
Submitted 13 September, 2023; v1 submitted 2 September, 2022; originally announced September 2022.
Comments: V.3 adds an explicit description in terms of the maximal torus and Weyl group.. V.2 corrected the topology result (secondary obstruction) and some calculations in the appendix, and added Edits and clarifications
MSC Class: 55N91; 22E46; 81T13
-
Gapped boundary theories in three dimensions
Abstract: We prove a theorem in 3-dimensional topological field theory: a Reshetikhin-Turaev theory admits a nonzero boundary theory iff it is a Turaev-Viro theory. The proof immediately implies a characterization of fusion categories in terms of dualizability. The main theorem applies to physics, where it implies an obstruction to a gapped 3-dimensional quantum system admitting a gapped boundary theory. Ap… ▽ More
Submitted 9 August, 2021; v1 submitted 17 June, 2020; originally announced June 2020.
Comments: 51 pages, 32 figures; v2 major revision, including new Appendix B; v2 minor changes for publication in Commun. Math. Phys
-
Topological dualities in the Ising model
Abstract: We relate two classical dualities in low-dimensional quantum field theory: Kramers-Wannier duality of the Ising and related lattice models in $2$ dimensions, with electromagnetic duality for finite gauge theories in $3$ dimensions. The relation is mediated by the notion of boundary field theory: Ising models are boundary theories for pure gauge theory in one dimension higher. Thus the Ising order/… ▽ More
Submitted 16 February, 2021; v1 submitted 31 May, 2018; originally announced June 2018.
Comments: 62 pages, 22 figures; v2 adds important reference [S]; v2 has reworked introduction, additional reference [KS], and minor changes; v4 for publication in Geometry and Topology has all new figures and a few minor changes and additional references
Journal ref: Geom. Topol. 26 (2022) 1907-1984
-
arXiv:1801.10124 [pdf, ps, other]
The role of Coulomb branches in 2D gauge theory
Abstract: I give a simple construction of certain Coulomb branches $C_{3,4}(G;E)$ of gauge theory in 3 and 4 dimensions defined by Nakajima et al. for a compact Lie group $G$ and a polarisable quaternionic representation $E$. The manifolds $C(G; 0)$ are abelian group schemes (over the bases of regular adjoint $G_c$-orbits, respectively conjugacy classes), and $C(G;E)$ is glued together from two copies of… ▽ More
Submitted 24 June, 2019; v1 submitted 30 January, 2018; originally announced January 2018.
Comments: 18 pages. Revision adds explanations for the relation to mirror symmetry with more worked examples, and fixes some inaccuracies. v3 adds an explicit abelianization formula
MSC Class: 55N91; 81R05; 81R12
-
arXiv:1611.07057 [pdf, ps, other]
Matrix Factorisation of Morse-Bott functions
Abstract: For a function $W\in \mathbb{C}[X]$ on a smooth algebraic variety $X$ with Morse-Bott critical locus $Y\subset X$, Kapustin, Rozansky and Saulina suggest that the associated matrix factorisation category $\mathrm{MF}(X;W)$ should be equivalent to the differential graded category of $2$-periodic coherent complexes on $Y$ (with a topological twist from the normal bundle of $Y$). I confirm their conj… ▽ More
Submitted 27 July, 2018; v1 submitted 21 November, 2016; originally announced November 2016.
Comments: 10 pages. Added an appendix on curved formal deformations. Proofs clarified, references added, other minor corrections
MSC Class: 14J10; 53D55; 16E45
Journal ref: Duke Math. J. 169, no. 3 (2020), 533-549
-
arXiv:1409.6051 [pdf, ps, other]
Dirac Families for Loop Groups as Matrix Factorizations
Abstract: We identify the category of integrable lowest-weight representations of the loop group LG of a compact Lie group G with the linear category of twisted, conjugation-equivariant curved Fredholm complexes on the group G: namely, the twisted, equivariant matrix factorizations of a super-potential built from the loop rotation action on LG. This lifts the isomorphism of K-groups of [FHT1,2, 3] to an equ… ▽ More
Submitted 21 September, 2014; originally announced September 2014.
Comments: 6 pages, research announcement. The complete details and background will appear in a future paper
MSC Class: 19L50; 22E67; 81R10
-
Gauge theory and mirror symmetry
Abstract: Outlined in this paper is a description of \emph{equivariance} in the world of 2-dimensional extended topological quantum field theories, under a topological action of compactLie groups. In physics language, I am gauging the theories --- coupling them to a principal bundle on the surface world-sheet. I describe the data needed to gauge the theory, as well as the computation of the gauged theory, t… ▽ More
Submitted 24 April, 2014; originally announced April 2014.
MSC Class: 57R56; 55N91
-
arXiv:1306.0876 [pdf, ps, other]
Geometric Langlands Correspondence Near Opers
Abstract: We extend the categorical geometric Langlands correspondence from the locus of opers in the stack of de Rham local systems on a smooth projective algebraic curve to the formal neighborhood of opers (for any semi-simple complex algebraic group).
Submitted 4 June, 2013; originally announced June 2013.
Comments: 21 pages. To appear in the Proceedings of the Chennai Colloquium celebrating the work of C. S. Seshadri, on the occasion of his 80th birthday
-
arXiv:1212.1692 [pdf, ps, other]
Relative quantum field theory
Abstract: We highlight the general notion of a relative quantum field theory, which occurs in several contexts. One is in gauge theory based on a compact Lie algebra, rather than a compact Lie group. This is relevant to the maximal superconformal theory in six dimensions.
Submitted 14 January, 2014; v1 submitted 7 December, 2012; originally announced December 2012.
Comments: 19 pages, 4 figures; v2 small changes for publication; v3 small final changes for publication
-
arXiv:0906.5198 [pdf, ps, other]
Open-closed field theories, string topology, and Hochschild homology
Abstract: In this expository paper we discuss a project regarding the string topology of a manifold, that was inspired by recent work of Moore-Segal, Costello, and Hopkins and Lurie, on "open-closed topological conformal field theories". Given a closed, oriented manifold M, we describe the "string topology category" S_M, which is enriched over chain complexes over a fixed field k. The objects of S_M are c… ▽ More
Submitted 29 June, 2009; originally announced June 2009.
Comments: 25 pages, 11 figures. To appear in, "Alpine perspectives on algebraic topology", edited by C. Ausoni, K. Hess, and J. Scherer, Contemp. Math., AMS
MSC Class: 57R56; 55U30; 16E30
-
arXiv:0905.0731 [pdf, ps, other]
Topological Quantum Field Theories from Compact Lie Groups
Abstract: It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge g… ▽ More
Submitted 19 June, 2009; v1 submitted 6 May, 2009; originally announced May 2009.
Comments: 39 pages, submission to proceedings of "A Celebration of the Mathematical Legacy of Raoul Bott"; v2 has minor changes
Report number: AIM 2009-21 MSC Class: 81T45; 57R56
-
arXiv:0904.4834 [pdf, ps, other]
Gromov-Witten Gauge Theory I
Abstract: We introduce a geometric completion of the stack of maps from stable marked curves to the quotient stack [point/GL(1)], and use it to construct some gauge-theoretic analogues of the Gromov-Witten invariants. We also indicate the generalization of these invariants to the quotient stacks [X/GL(1)], where X is a smooth proper complex algebraic variety.
Submitted 12 January, 2016; v1 submitted 30 April, 2009; originally announced April 2009.
Comments: v3: Shorter, cleaner proof of main theorem. Accepted version
MSC Class: 14D21 (Primary); 14D20; 14F05
Journal ref: Advances in Mathematics (2016), pp. 201-239
-
arXiv:0803.2769 [pdf, ps, other]
An update on semisimple quantum cohomology and F-manifolds
Abstract: In the first section of this note we show that the Theorem 1.8.1 of Bayer--Manin ([BaMa]) can be strengthened in the following way: {\it if the even quantum cohomology of a projective algebraic manifold $V$ is generically semi--simple, then $V$ has no odd cohomology and is of Hodge--Tate type.} In particular, this addressess a question in [Ci]. In the second section, we prove that {\it an anal… ▽ More
Submitted 19 March, 2008; originally announced March 2008.
Comments: 12 pages
MSC Class: 18D50
-
arXiv:0712.0163 [pdf, ps, other]
Branching of Hitchin's Prym cover for SL(2)
Abstract: It is shown that the map from the Jacobian of the spectral curve to the moduli of stable bundles of rank 2 is generically simply branched along an irreducible divisor. This observation falsifies the key step in the "abelianization of the SU(2) WZW connection" presented in a recent paper [Yoshida, Annals 2006]
Submitted 2 December, 2007; originally announced December 2007.
MSC Class: 14H60; 14D20
-
arXiv:0712.0160 [pdf, ps, other]
The structure of 2D semi-simple field theories
Abstract: I classify all cohomological 2D field theories based on a semi-simple complex Frobenius algebra A. They are controlled by a linear combination of kappa-classes and by an extension datum to the Deligne-Mumford boundary. Their effect on the Gromov-Witten potential is described by Givental's Fock space formulae. This leads to the reconstruction of Gromov-Witten invariants from the quantum cup-product… ▽ More
Submitted 17 February, 2012; v1 submitted 2 December, 2007; originally announced December 2007.
Comments: Small errors corrected in v3. Agrees with published version
MSC Class: 57R56; 14H81
-
arXiv:0711.1909 [pdf, ps, other]
Consistent Orientation of Moduli Spaces
Abstract: We give an a priori construction of the two-dimensional reduction of three-dimensional quantum Chern-Simons theory. This reduction is a two-dimensional topological quantum field theory and so determines to a Frobenius ring, which here is the twisted equivariant K-theory of a compact Lie group. We construct the theory via correspondence diagrams of moduli spaces, which we "linearize" using comple… ▽ More
Submitted 19 December, 2007; v1 submitted 12 November, 2007; originally announced November 2007.
Comments: 21 pages, dedicated to Nigel Hitchin on the occasion of his 60th birthday. Version 2 for publication has additional text in section 3 and makes minor corrections
-
arXiv:0711.1906 [pdf, ps, other]
Loop groups and twisted K-theory I
Abstract: This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris s… ▽ More
Submitted 12 November, 2007; originally announced November 2007.
MSC Class: 19L47; 22E67 (Primary); 19K99 (Secondary)
-
arXiv:math/0512486 [pdf, ps, other]
The Newstead-Ramanan conjecture for Chern classes
Abstract: Newstead and Ramanan conjectured the vanishing of the top (2g-1) Chern classes of the moduli space of stable, odd degree vector bundles of rank 2 on a Riemann surface of genus g. This was proved by Gieseker [G], while an analogue in rank 3 was recently settled by Kiem and Li [KL]. We generalise this to the vanishing of the top (g-1)r rational Chern classes of the moduli space M of stable princip… ▽ More
Submitted 21 December, 2005; originally announced December 2005.
Comments: 7 pages, LaTeX
MSC Class: 14H60 (Primary); 19L47; 19L10 (Secondary)
-
arXiv:math/0511232 [pdf, ps, other]
Loop Groups and Twisted K-Theory II
Abstract: This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is… ▽ More
Submitted 7 December, 2012; v1 submitted 9 November, 2005; originally announced November 2005.
Comments: 61 pages; minor corrections in version 2; final corrections for publication in version 3
MSC Class: 19L47; 22E67 (Primary) 19K99 (Secondary)
-
arXiv:math/0411355 [pdf, ps, other]
The strong Macdonald conjecture and Hodge theory on the Loop Grassmannian
Abstract: We prove the strong Macdonald conjecture of Hanlon and Feigin for reductive groups G. In a geometric reformulation, we show that the Dolbeault cohomology $H^q(X;Ω^p)$ of the loop Grassmannian X is freely generated by de Rham's forms on the disk coupled to algebra generators of $H*(BG)$. Equating Euler characteristics of the two gives an identity, independently known to Macdonald [M], which gener… ▽ More
Submitted 16 November, 2004; originally announced November 2004.
Comments: Massive expansion of our old math.RT/0107072
MSC Class: 14C30; 17B67; 33D52
-
arXiv:math/0401428 [pdf, ps, other]
Self-extensions of Verma modules and differential forms on opers
Abstract: We compute the algebras of self-extensions of the vacuum module and the Verma modules over an affine Kac-Moody algebra g^ in suitable categories of Harish-Chandra modules. We show that at the critical level these algebras are isomorphic to the algebras of differential forms on various spaces of opers associated to the Langlands dual Lie algebra of g, whereas away from the critical level they bec… ▽ More
Submitted 19 October, 2005; v1 submitted 29 January, 2004; originally announced January 2004.
Comments: 27 pages, expanded and improved version, to appear in Compositio Mathematica
-
Some Hodge theory from Lie algebras
Abstract: We discuss Hodge-theoretic aspects, related to the loop Grassmannian, of the strong Macdonald conjecture (whose proof is joint work with Fishel and Grojnowski).
Submitted 8 December, 2003; originally announced December 2003.
Comments: Presented at the 1998 Irvine conference on Motives, Polylogarithms and Hodge theory. Posted as it is not widely available
MSC Class: 17B56; 17B67 (primary); 22E67 (secondary)
-
arXiv:math/0312155 [pdf, ps, other]
Twisted K-theory and loop group representations
Abstract: This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the rôle of energy an… ▽ More
Submitted 10 November, 2005; v1 submitted 8 December, 2003; originally announced December 2003.
Comments: The final SELF-CONTAINED version is v.2. The current version had some material removed to the prequels [FHT1,2]. Minor notational changes
MSC Class: 19L47; 22E67 (primary); 19K99 (secondary)
-
arXiv:math/0312154 [pdf, ps, other]
The Index Formula on the Moduli of G-bundles
Abstract: We prove the formulae conjectured by the first author for the index of K-theory classes over the moduli stack of algebraic G-bundles on a smooth projective curve. The formulae generalise Verlinde's for line bundles and have Witten's integrals over the moduli space of stable bundles as their large level limits. As an application, we prove the Newstead-Ramanan conjecture on the vanishing of high C… ▽ More
Submitted 5 September, 2007; v1 submitted 8 December, 2003; originally announced December 2003.
Comments: Some arguments rewritten in v.4, clarifications added and small errors corrected
MSC Class: 14H60 (Primary) 19L47; 19L10 (Secondary)
-
arXiv:math/0306347 [pdf, ps, other]
K-theory of the moduli of bundles over a Riemann surface and deformations of the Verlinde algebra
Abstract: I conjecture that index formulas for $K$-theory classes on the moduli of holomorphic $G$-bundles over a compact Riemann surface $Σ$ are controlled, in a precise way, by Frobenius algebra deformations of the Verlinde algebra of $G$. The Frobenius algebras in question are twisted $K$-theories of $G$, equivariant under the conjugation action, and the controlling device is the equivariant Gysin map… ▽ More
Submitted 24 June, 2003; originally announced June 2003.
Comments: To appear in the Segalfest proceedings
-
arXiv:math/0206257 [pdf, ps, other]
Twisted equivariant K-theory with complex coefficients
Abstract: Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this co… ▽ More
Submitted 23 July, 2006; v1 submitted 24 June, 2002; originally announced June 2002.
Comments: Final version, to appear in Topology. Exposition improved, rational homotopy calculation completely rewritten
MSC Class: 55N15; 22E67
-
The Strong Macdonald Conjecture
Abstract: This paper presents our proof of the "strong Macdonald constant term conjecture" of P. Hanlon and B. Feigin.
Submitted 10 July, 2001; originally announced July 2001.
MSC Class: 17B67; 17B55; 33C52
-
arXiv:math/0012241 [pdf, ps, other]
Parabolic bundles, products of conjugacy classes, and quantum cohomology
Abstract: In this version referee's comments have been incorporated. Besides minor corrections, new material has been added on irrational markings. To appear in Ann. Inst. Fourier. We prove a condition for the existence of flat bundles on the punctured two-sphere with prescribed holonomies around the punctures, involving Gromov-Witten invariants of generalized flag varieties. This generalizes the case o… ▽ More
Submitted 8 January, 2003; v1 submitted 22 December, 2000; originally announced December 2000.
Comments: 24 pages
MSC Class: 53D30; 14N35
-
arXiv:math/9808029 [pdf, ps, other]
The quantization conjecture revisited
Abstract: A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of the cohomologies over X. This generalizes the theorem of [Invent. Math. 67 (1982), 515-538] on global sections, and strengthens its subsequent extensions to… ▽ More
Submitted 30 June, 2000; v1 submitted 5 August, 1998; originally announced August 1998.
Comments: 43 pages, published version
Report number: Annals migration 4-2001
Journal ref: Ann. of Math. (2) 152 (2000), no. 1, 1-43
-
Borel-Weil-Bott theory for Loop Groups
Abstract: This note outlines the Borel-Weil-Bott theory for (arbitrary-genus) flag varieties of loop groups, following ideas of G. Segal. Recent revivalist interest in the "WZW fusion rules" suggests that my original (CMP 1995) treatment of the matter is not all that well understood, so a brief account thereof has been recycled along with the more recent results. Proofs are only outlined, with full detail… ▽ More
Submitted 17 July, 1997; originally announced July 1997.
Comments: 4 pages, Mac-created PostScript. May display incorrectly but should print OK