Gross–Taylor String Theory Reformulation

• Gross–Taylor string interpretation is a reformulation of 2D Yang–Mills theory as a sum over branched worldsheet coverings capturing instanton effects and gauge/string dualities.
• It employs a Polyakov-like worldsheet action with localization techniques to rigorously incorporate branch points, tube singularities, and open-string edge modes.
• The formulation reveals precise Hilbert space factorization via E-branes and decomposition into invertible QFT universes, offering key insights into higher-form symmetries.

The Gross–Taylor string interpretation provides a rigorous reformulation of two-dimensional large-N Yang–Mills theory (2D YM) as a string theory, offering exact control over the emergent worldsheet description and uncovering deep connections between gauge theory, integrable systems, and string dualities. Gross and Taylor originally demonstrated that the partition function of 2D YM on a closed Riemann surface can be recast as a sum over (possibly singular) branched coverings by string worldsheets; subsequent developments have precisely elucidated the structure of the underlying string field theory, the factorization of closed strings into open-string sectors, and the emergence of “entanglement branes” (E-branes) at entangling surfaces. Beyond the full theory, decomposition into invertible QFT “universes” provides further insights into the structure of the Gross–Taylor expansion, higher-form symmetries, and stacky worldsheet phenomena.

1. Large-N 2D Yang–Mills and the Gross–Taylor Expansion

Two-dimensional YM theory with gauge group $U(N)$ or $SU(N)$ on a closed Riemann surface $M$ of Euler characteristic $\chi$ and area $A$ admits an exact solution for the partition function,

$$Z_{\mathrm{YM}}(M) = \sum_{R\in\mathrm{Irrep}(U(N))} (\dim R)^\chi \exp\!\left[-\frac{\lambda A}{2N}C_2(R)\right], \qquad \lambda = g_{\mathrm{YM}}^2 N.$$

Gross and Taylor showed that in the $1/N$ expansion, this sum reorganizes into a sum over topological types of branched coverings $\nu: \Sigma \to M$ by closed string worldsheets $\Sigma$ with:

• Covering degree $n(\nu)$ (the instanton number/sheet number)
• Number $SU(N)$0 of simple branch points
• Genus $SU(N)$1
• Symmetry factor $SU(N)$2

Schematic string-theoretic expression: $SU(N)$3 This gives an explicit dictionary between YM observables and the counting of string worldsheets with particular characteristics (Donnelly et al., 2016, Aharony et al., 2023, Pantev et al., 2023).

2. String Field Theory: Polyakov-Like Worldsheet Action and Localization

A worldsheet action that precisely realizes the Gross–Taylor string expansion was developed via a Polyakov-like construction. The embedding fields are promoted to supermultiplets

$SU(N)$4

and the worldsheet is equipped with a bi-graded super-metric $SU(N)$5. The localizing term

$SU(N)$6

reduces (after gauge-fixing and BRST localization) to a sum over extremal-area maps (sigma-model instantons) from the worldsheet to the target, automatically incorporating branch-point and tube (fold) singularities, with their combinatorial weights matching the $SU(N)$7 expansion coefficients. The moduli integration is regulated by an extrinsic curvature insertion ($SU(N)$8), whose role is to contract fermion and auxiliary zero-modes and realize the Chern–Gauss–Bonnet theorem for the Hurwitz moduli space (Aharony et al., 2023).

Examples on the sphere and torus confirm exact agreement between worldsheet instanton enumeration, moduli space Euler characteristics, and the YM combinatorics. Regularization subtleties (such as vanishing normal-bundle projectors in two-dimensional targets) are addressed via constrained instanton techniques and excision of singular diagonals.

3. Hilbert Space Factorization, Open Strings, and E-branes

The closed-string Hilbert space $SU(N)$9 (on a spatial circle) corresponds to class functions of $M$0, with a basis labeled by permutations $M$1. The open-string Hilbert space $M$2 (on an interval) consists of all functions on $M$3, with basis states $M$4 corresponding to open strings with Chan–Paton indices at endpoints.

The essential factorization map is: $M$5 with explicit decomposition: $M$6 This implements a precise “cutting” of closed-string states across an entangling surface (“E-brane”), with only open-string states whose endpoints (Chan–Paton labels) match on either side of the cut recombining into a closed string (Donnelly et al., 2016).

The canonical quantization structure inherits the $M$7 symmetry, with left and right generators acting on the indices of $M$8, and the Hamiltonian expressed in terms of the quadratic Casimir $M$9. At leading order in $\chi$0, the open-string picture is that of non-interacting strings, while $\chi$1-suppressed terms implement Chan–Paton index exchange.

4. Entanglement, Modular Hamiltonian, and Edge Modes

Preparation of the Hartle–Hawking vacuum by a hemisphere path integral and subsequent cutting along an interval $\chi$2 yields a reduced density matrix $\chi$3 whose modular Hamiltonian is

$\chi$4

This produces a thermal ensemble of open strings ending on E-branes, with $\chi$5 and Hamiltonian $\chi$6. The entanglement entropy is governed by the counting of open-string edge modes: $\chi$7 in which the leading $\chi$8 behavior matches the Chamon–Paton label counting at the entangling surface. In the string diagrammatic expansion, entanglement computes the set of one-loop open-string diagrams with endpoints on the two E-branes at the boundaries of $\chi$9 (Donnelly et al., 2016).

In the non-chiral model, a projection enforces $A$0, corresponding to physical edge modes and inclusion of orientation-reversing “tube” corrections.

5. Decomposition, Higher-Form Symmetry, and Stacky Worldsheets

Decomposition results, following Nguyen–Tanizaki–Ünsal, reveal that 2D $A$1 YM splits into sectors (universes) labeled by irreducible $A$2 representations (“Young diagrams”). Each universe restricts the Gross–Taylor string sum to maps of fixed degree $A$3, implemented by a worldsheet 1-form symmetry whose Noether current counts instanton number: $A$4 Gauging this symmetry enforces the superselection projection onto a single-instanton sector; ungauging restores the full Gross–Taylor sum (Pantev et al., 2023).

On $A$5, additional “extra” terms in the decomposed expansion, weighted by odd powers of $A$6 and not corresponding to honest branched covers, admit a geometric interpretation in terms of “stacky” worldsheets—disjoint unions of $A$7 copies of $A$8, each with $A$9 orbifold points determined by permutation cycle structure. The Euler characteristic of the stacky union precisely matches the combinatorial power of $$Z_{\mathrm{YM}}(M) = \sum_{R\in\mathrm{Irrep}(U(N))} (\dim R)^\chi \exp\!\left[-\frac{\lambda A}{2N}C_2(R)\right], \qquad \lambda = g_{\mathrm{YM}}^2 N.$$0 in the expansion.

6. Coupling to Matter, Boundaries, and Outlook

The Polyakov-like worldsheet formulation accommodates coupling to matter (dynamical fields in fundamental representations) and Wilson loops by introducing worldsheet boundaries mapped to specified submanifolds. At finite coupling (nonzero area), the action acquires explicit area terms, generating a string tension and reproducing the correct exponential suppression for higher instanton degrees: $$Z_{\mathrm{YM}}(M) = \sum_{R\in\mathrm{Irrep}(U(N))} (\dim R)^\chi \exp\!\left[-\frac{\lambda A}{2N}C_2(R)\right], \qquad \lambda = g_{\mathrm{YM}}^2 N.$$1 Thus worldsheets with boundary correspond to YM configurations with open Wilson lines, directly generalizing the critical string embedding (Aharony et al., 2023).

The decomposition of 2D YM with worldsheet gravity persists: in the gravitational sector, universes (fixed-instanton-degrees) remain orthogonal in matter observables, but gravitational observables see the sum over all universes, each manifesting as an invertible field theory plus gravity (Pantev et al., 2023).

7. Significance and Conceptual Impact

The Gross–Taylor string interpretation achieves an exact gauge/string duality for a nontrivial two-dimensional gauge theory, elucidating the origin of string duals for large-$$Z_{\mathrm{YM}}(M) = \sum_{R\in\mathrm{Irrep}(U(N))} (\dim R)^\chi \exp\!\left[-\frac{\lambda A}{2N}C_2(R)\right], \qquad \lambda = g_{\mathrm{YM}}^2 N.$$2 theories, clarifying the role of open-string edge modes in entanglement entropy, and offering a tractable laboratory for the study of higher-form symmetries, orbifold/stacks in quantum gravity, and worldsheet localization. The E-brane construction assigns a concrete string-theoretic avatar to the entangling surface, bridging algebraic and diagrammatic perspectives on gauge-theoretic entanglement (Donnelly et al., 2016).

A plausible implication is that insights from the Gross–Taylor model will inform future constructions of worldsheet actions for non-Abelian gauge/string dualities, the incorporation of matter sectors, and the detailed mechanics of edge modes and higher symmetries in low-dimensional holography.