Overview
This study examines Abelian $S$-duality within Maxwell theory, specifically focusing on its behavior on $A$-type asymptotically locally Euclidean (ALE) spaces. The work identifies that the Maxwell path integral on these spaces does not inherently produce a scalar partition function. Instead, it decomposes into theta-function blocks, each categorized by flat $U(1)$ holonomy sectors present on the asymptotic lens-space boundary. These blocks are interpreted as components of a Hilbert-space boundary state, which is prepared by the ALE path integral.
An observed characteristic is that the apparent absence of ordinary modularity is superseded by a vector-valued modular covariance, which arises under the action of the modular group. The construction is further refined by incorporating electric and magnetic 1-form symmetry backgrounds. In this refined scenario, the ALE theta blocks transition from being ordinary functions to sections of a line bundle, which is situated over the Cartan torus associated with the $A_{N-1}$ root lattice. This structural change is understood to reflect the mixed electric-magnetic 1-form anomaly.
The research also explores the implications of gauging discrete $\mathbb Z_k$ subgroups of the 1-form symmetries. It suggests that even after such gauging, the vector-valued boundary-state structure persists as the natural covariant framework.
Research Context
The investigation is set within the broader context of $S$-duality in quantum field theories, a symmetry that relates theories at strong coupling to theories at weak coupling. The focus on ALE spaces introduces a specific geometric background that differs from closed four-manifolds, where the Maxwell path integral typically behaves as a scalar partition function. The concept of path integrals and boundary states is central to understanding the quantum mechanical properties on these spaces.
The mention of higher-form symmetries, specifically 1-form symmetries, indicates an engagement with generalizations of standard global symmetries, providing additional structure to the theory. The $A_{N-1}$ root lattice and Cartan torus are mathematical structures often encountered in Lie algebras and gauge theories, suggesting a connection to sophisticated algebraic and geometric frameworks.
Approach
The research employs a theoretical approach, starting with the analysis of Abelian $S$-duality of Maxwell theory on $A$-type ALE spaces. The primary analytical tool is the Maxwell path integral. The initial step involves characterizing the output of this path integral on ALE spaces, noting its decomposition into theta-function blocks associated with flat $U(1)$ holonomy sectors.
These blocks are subsequently interpreted as components of a Hilbert-space boundary state. This interpretation leads to the concept of vector-valued modular covariance replacing ordinary modularity. A specific test of this framework involved the Eguchi-Hanson space. This space was glued to its orientation reversal, forming a closed four-manifold diffeomorphic to $S^2 \times S^2$. The researchers observed that this pairing of the two ALE boundary states reproduced the standard Maxwell partition function on $S^2 \times S^2$.
Further refinement of the construction involved introducing electric and magnetic 1-form symmetry backgrounds. The properties of the ALE theta blocks were re-evaluated under these conditions, noting their transformation into sections of a line bundle over the Cartan torus. Finally, the study considered the gauging of discrete $\mathbb Z_k$ subgroups of the 1-form symmetries to assess the stability of the vector-valued boundary-state structure.
Findings
- The Maxwell path integral on an $A$-type ALE space does not yield a scalar partition function; instead, it decomposes into theta-function blocks.
- These theta-function blocks are labeled by flat $U(1)$ holonomy sectors on the asymptotic lens-space boundary.
- These blocks are interpretable as components of the Hilbert-space boundary state prepared by the ALE path integral.
- The apparent failure of ordinary modularity is replaced by vector-valued modular covariance under the action of the modular group.
- Gluing an Eguchi-Hanson space to its orientation reversal, resulting in a manifold diffeomorphic to $S^2 \times S^2$, led to the natural pairing of the two ALE boundary states reproducing the standard Maxwell partition function.
- In the presence of electric and magnetic 1-form symmetry backgrounds, the ALE theta blocks are not ordinary functions, but rather sections of a line bundle over the Cartan torus associated with the $A_{N-1}$ root lattice.
- This transformation of theta blocks reflects the mixed electric-magnetic 1-form anomaly.
- Gauging discrete $\mathbb Z_k$ subgroups of the 1-form symmetries maintained the vector-valued boundary-state structure as the natural covariant framework.
- ALE spaces function as chiral building blocks for four-dimensional Maxwell theory, where individual ALE blocks carry sector-resolved boundary data, and gluing pairs these sectors to form an ordinary closed-manifold partition function, analogous to left- and right-moving conformal blocks in two-dimensional CFT.
Why This Matters
This research suggests a deeper understanding of Maxwell theory on specific curved spacetime backgrounds, namely ALE spaces, by identifying how its path integral effectively produces boundary states rather than a single scalar value. This implies that such spaces act as fundamental "chiral building blocks" that, when combined, can form complete physical systems, analogous to how conformal blocks interact in 2D Conformal Field Theories. The finding regarding vector-valued modular covariance provides a refined understanding of symmetry properties in these complex geometries.