Mocking the \(u\)-plane integral
type: Item
instance of: scholarly article
title: Mocking the \(u\)-plane integral
zbMATH Open document ID: 1472.81184
author: Georgios Korpas
author: Jan Manschot
author: G. W. Moore
author: Iurii Nidaiev
published in: Research in the Mathematical Sciences
publication date: 2021-07-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1910.13410
review text: The authors consider the topologically twisted counterpart of \(\mathcal{N} = 2\) supersymmetric Yang-Mills theory with gauge group SU(2) in the presence of arbitrary 't~Hooft flux [\textit{E. Witten}, Commun. Math. Phys. 117, No. 3, 353--386 (1988; Zbl 0656.53078)]. The gauge group is broken to U(1) on the Coulomb branch. The Coulomb branch, also known as the \(u\)-plane, can be considered as a three-punctured sphere, where the punctures correspond to the weak coupling limit, and the two strong coupling singularities. The authors consider compact four-manifolds \(M\) with \((b_1, b^+_2 ) = (0, 1)\) and without boundary. Here \(b_j\) denotes the Betti numbers of \(M\), and \(b^+_2\) is the number of positive definite eigenvalues of the intersection form of two-cycles of \(M\). Complex four-manifolds with \(b^+_2= 1\) are well-studied and classified by the Enriques-Kodaira classification reviewed in section 3.2 of this paper. The authors evaluate and analyze the \(u\)-plane contribution to the correlation functions known as the \(u\)-plane integral and show that they can be evaluated by integration by parts leading to expressions in terms of mock modular forms for point observables, and Appell-Lerch sums for surface observables. In the absence of hypermultiplets, we are always free to consider the case where the principal SO(3) gauge bundle has a nontrivial 't~Hooft flux \(w_2\in H^2(M;\mathbb{Z}_2)\). The authors choose an integral lift \(\overline{w_2}\) (which is supposed to exist) such that \(\mu:=\frac{1}{2}\overline{w_2}\in H^2(M;\mathbb{R})\). The path integral over the Coulomb branch of Donaldson-Witten theory, denoted by \(\Phi^J_\mu\) is an integral over the infinite dimensional field space, which reduces to a finite dimensional integral over the zero modes [\textit{G. Moore} and \textit{E. Witten}, Adv. Theor. Math. Phys. 1, No. 2, 298--387 (1997; Zbl 0899.57021)]. \(J\in H^2(M,\mathbb{R})\) is the period point which depends on the metric due to the self-d…
Mathematics Subject Classification ID: 81T20
Mathematics Subject Classification ID: 81T13
Mathematics Subject Classification ID: 81T60
Mathematics Subject Classification ID: 81R40
Mathematics Subject Classification ID: 14D21
Mathematics Subject Classification ID: 81V05
Mathematics Subject Classification ID: 11F46
zbMATH DE Number: 7375557
zbMATH Keywords: integration over the u-plane
zbMATH Keywords: Seiberg-Witten equations
zbMATH Keywords: Donaldson invariants
zbMATH Keywords: supersymmetric Yang-Mills theory
zbMATH Keywords: 4-manifolds
zbMATH Keywords: Coulomb branch
zbMATH Keywords: surface observables
reviewed by: Farhang Loran
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3174328233
arXiv ID: 1910.13410
cites work: Supersymmetric Yang–Mills theory on a four-manifold
cites work: Monopoles and four-manifolds
cites work: Integration over the \(u\)-plane in Donaldson theory
cites work: Issues in topological gauge theory
cites work: The Donaldson-Witten function for gauge groups of rank larger than one
cites work: Localization of gauge theory on a four-sphere and supersymmetric Wilson loops
cites work: Central charges of \(\mathcal N = 2\) superconformal field theories in four dimensions
cites work: Topological quantum field theory
cites work: Electric-magnetic duality, monopole condensation, and confinement in \(N=2\) supersymmetric Yang-Mills theory
cites work: Jacobi forms and the structure of Donaldson invariants for 4-manifolds with \(b_+=1\)
cites work: Donaldson invariants for non-simply connected manifolds
cites work: SO(3)-Donaldson invariants of \(\mathbb CP^{2}\) and mock theta functions
cites work: Donaldson invariants of \(\mathbb CP^1 \times \mathbb CP^1\) and mock theta functions
cites work: SU(2)-Donaldson invariants of the complex projective plane
cites work: Q3590677
cites work: Q3566608
cites work: Donaldson-Witten theory and indefinite theta functions
cites work: Renormalization and BRST symmetry in Donaldson-Witten theory
cites work: Regularized Inner Products and Errors of Modularity
cites work: Embedded surfaces and the structure of Donaldson's polynomial invariants
cites work: Extremal correlators and random matrix theory
cites work: Q3424708
cites work: Exact results for \( \mathcal{N} =2\) supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants
cites work: Monopoles, duality and chiral symmetry breaking in \(N=2\) supersymmetric QCD
cites work: Topological quantum field theory and four manifolds.
cites work: Polynomial invariants for smooth four-manifolds
cites work: Q3998602
cites work: Q5816023
cites work: Q4666470
cites work: The Betti numbers of the moduli space of stable sheaves of rank2 on P2.
cites work: Sheaves on \(\mathbb{P}^2\) and generalized Appell functions
cites work: Q4434669
cites work: Q5687871
cites work: NON-COMPLEX SYMPLECTIC 4-MANIFOLDS WITH $\lowercase{b}_{2}^+ =1$
cites work: Simply connected symplectic 4-manifolds with \(b_2^+ = 1\) and \(c_1^2 = 2\)
cites work: New symplectic 4-manifolds with \(b_+=1\)
cites work: The topological sigma model
cites work: On \(S\)-duality in abelian gauge theory
cites work: Algebras, BPS states, and strings
cites work: Moonshine for \(M_{24}\) and Donaldson invariants of \(\mathbb{C} \text{P}^2\)
cites work: Umbral moonshine and the Niemeier lattices
cites work: Notes on the K3 Surface and the Mathieu GroupM24
cites work: Wall-crossing formulas, Bott residue formula and the Donaldson invariants of rational surfaces
cites work: Higher-level Appell functions, modular transformations, and characters
cites work: BPS invariants of \(\mathcal N=4\) gauge theory on Hirzebruch surfaces
cites work: A strong coupling test of \(S\)-duality
cites work: From sheaves on \(\mathbb{P}^2\) to a generalization of the Rademacher expansion
cites work: Modular forms and Donaldson invariants for 4-manifolds with 𝑏₊=1
cites work: Q5670687

Mocking the \(u\)-plane integral (cites work)
cites work: Q4284459

Mocking the \(u\)-plane integral (cites work)
cites work: The 1-2-3 of modular forms. Lectures at a summer school in Nordfjordeid, Norway, June 2004

Mocking the \(u\)-plane integral (cites work)
cites work: Q4137255

Mocking the \(u\)-plane integral (DOI)
DOI: 10.1007/S40687-021-00280-5