Codimension-Two Defects and SYM on Orbifolds

This paper establishes an equivalence between $U(N)$ SYM theories on orbifolds and gauge theories on smooth manifolds with Gukov-Witten and twist defects, utilizing this framework to compute partition functions on spaces with conical singularities by interpreting the defects as inducing multivalued fields analogous to branched covers.

The Gist

Imagine you are trying to understand the rules of a game played on a surface that has a sharp, jagged point in the middle—a "knot" in the fabric of space. In the world of theoretical physics, these jagged points are called orbifold singularities. They are tricky to study because the usual laws of physics (specifically, how particles and forces behave) get messy and undefined right at the knot.

The authors of this paper, Roman Mauch and Lorenzo Ruggeri, have found a clever way to smooth out these knots without losing the essential physics. They propose a new method to describe these "knotted" spaces by replacing the knot with a set of invisible, magical rules called defects.

Here is the breakdown of their idea using simple analogies:

1. The Problem: The Jagged Knot

Imagine a piece of fabric (space) that is twisted so tightly at one point that it forms a sharp spike. If you try to walk a particle around this spike, the particle gets confused. It doesn't know which way is "up" or "down" because the geometry is broken. Physicists call this an orbifold. Calculating how particles behave here is like trying to do math on a broken calculator; the numbers just don't add up.

2. The Solution: The "Defect" Trick

Instead of trying to fix the broken calculator, the authors say: "Let's pretend the fabric is perfectly smooth, but we insert a special defect in the middle."

They use two types of defects, which act like invisible fences or signposts:

• Gukov-Witten Defects: Think of these as a "traffic circle" for forces. They force the forces (gauge fields) to behave in a specific, singular way as they pass through the center. It's like telling a car, "You must spin exactly 360 degrees as you pass this point."
• Twist Defects: These are even stranger. Imagine a spiral staircase. If you walk around the center pole once, you don't end up where you started; you end up on the next step up. A twist defect forces particles to do something similar: if a particle circles the defect, it doesn't return to its original state immediately. It has to circle the defect multiple times (say, $p$ times) to return to where it began.

3. The "Refined" Theory: Smoothing the Spiral

The authors combine these two defects to create what they call a "Refined Orbifold Theory."

Here is the magic trick:

• Normally, if you have a knot in space, the math is hard.
• But if you take a smooth piece of space and insert these specific defects, the math becomes easy again.
• The "twist" forces the particles to act as if they are on a branched cover. Imagine a multi-layered cake. If you are on the top layer and walk around the center, you might fall through to the second layer, then the third, until you circle back to the top.
• The authors show that the "knotted" space and this "multi-layered smooth space with defects" are actually two sides of the same coin. They produce the exact same results when you calculate the "partition function" (which is essentially a scorecard of all possible ways the particles can move).

4. The "Gluing" Process: Building Bigger Shapes

Once they figured out how to handle these defects on a small patch of space (like a single cone), they showed how to glue these patches together to build larger, closed shapes, like spheres or projective spaces that have these jagged points at the poles.

• The Analogy: Imagine you are building a globe out of paper. Usually, you can't make a perfect sphere out of flat paper without crumpling it. But here, the authors show you how to cut the paper into specific shapes (patches), add the "defect rules" to the edges, and tape them together perfectly.
• They tested this by building shapes like Spindles (a sphere pinched at both ends) and Weighted Projective Spaces (complex geometric shapes).
• The result? Their new method perfectly reproduces the known answers for these shapes, proving that their "defect" method is a valid and powerful way to do the math.

5. Why This Matters

The paper doesn't claim to cure diseases or build new engines. Instead, it solves a specific puzzle in the "math of the universe."

• It provides a clear dictionary for translating between "knotted" spaces (which are hard to study) and "smooth" spaces with defects (which are easy to study).
• It confirms that the physics on a branched cover (the multi-layered cake) is identical to the physics on an orbifold (the knotted space).
• It allows physicists to calculate the "score" (partition function) of these complex shapes, which is a crucial step in understanding things like black holes and the structure of the universe in theories like String Theory.

In summary: The authors found a way to replace a broken, jagged geometric shape with a smooth shape that has special "twist rules" attached to it. By doing this, they can use standard, smooth math to solve problems that were previously stuck in a knot. They proved this works by showing that the math comes out exactly the same as if they had used the complicated, knotted version.

Technical Summary

Technical Summary: Codimension-Two Defects and SYM on Orbifolds

Problem Statement
Recent investigations into accelerating black hole solutions in supergravity have highlighted the importance of near-horizon geometries containing orbifold singularities, specifically spaces topologically equivalent to spheres but with conical singularities (spindles). While AdS/CFT correspondence suggests that gravity-side quantities (such as black hole entropy) should be reproduced by observables in a dual Conformal Field Theory (CFT), a rigorous definition of Super Yang-Mills (SYM) theories in the vicinity of orbifold singularities remains lacking. The primary objective of this work is to investigate the dynamics of SYM theories near such singularities and to establish an equivalence between these theories and specific SYM theories defined on branched covers.

Methodology
The authors propose a "refined orbifold theory" as an equivalent description of SYM on spaces with orbifold singularities. This framework is constructed on smooth manifolds by inserting two types of codimension-two defects:

1. Gukov-Witten (GW) Defects: These are $1/2$-BPS (or $1/4$-BPS in 4d) operators supported on submanifolds $D$. They are classified by elements in the Cartan subalgebra of the gauge group, breaking the gauge symmetry to a Levi subgroup $L$ on the support of the defect.
2. Twist Defects: These are inserted to enforce a global symmetry (specifically a $\mathbb{Z}_p$ symmetry) that cyclically permutes the factors of the Levi subgroup.

The construction proceeds as follows:

• Setup: Start with a $U(pN)$ gauge theory on $\mathbb{C}^r$ (where $r=1$ for 2d, $r=2$ for 4d).
• Higgsing: Introduce a large vacuum expectation value (vev) for the scalar field in the vector multiplet. This breaks the gauge group $U(pN)$ down to the Levi subgroup $L = U(N)^p$ (or $U(N)^{p_1 p_2}$ in 4d). The massive off-diagonal modes are integrated out.
• Defect Insertion: GW defects are placed at the origin (or intersection of axes) to impose singular profiles for the gauge connection. Twist defects are then inserted to implement a cyclic identification of the fields in the $U(N)$ factors.
• Equivalence Argument: The combined effect renders the fields multivalued with respect to rotations around the defect support. The authors argue that this setup is equivalent to a theory on a branched cover $\tilde{\mathbb{C}}_p$ (or $\tilde{\mathbb{C}}^2_p$), where the multivaluedness has a geometric interpretation. Specifically, the twist defects on the smooth manifold correspond to the branching structure of the cover.

Key Contributions and Results

• Partition Functions on Local Patches:
  The authors compute the partition functions for the refined orbifold theory on local patches ($\mathbb{C}/\mathbb{Z}_p$ and $\mathbb{C}/\mathbb{Z}_{p_1} \times \mathbb{Z}_{p_2}$) using supersymmetric localization.

  • 2D: The one-loop determinant is derived by counting local holomorphic functions with fractional charges induced by the twist defect. The result matches the partition function of a $U(N)$ theory on the branched cover $\tilde{\mathbb{C}}_p$.
  • 4D: The calculation includes both the one-loop determinant and non-perturbative instanton contributions. The authors demonstrate that the instanton partition function for the refined orbifold theory, involving the "sewing" of Young diagrams from different $U(N)$ factors, reproduces the result for the theory on the branched cover $\tilde{\mathbb{C}}^2_p$.
  • Odd Dimensions: By extending the theory with a free $S^1$ fiber, partition functions for 3D and 5D theories are computed, showing agreement with results on branched covers of odd-dimensional spheres.

• Gluing to Closed Spaces:
  Using the local partition functions as building blocks, the authors construct partition functions for compact spaces with conical singularities, specifically:

  • Spindles ($CP^1_{(p_1, p_2)}$): By gluing two patches with appropriate flux quantization conditions (allowing for fractional charges when $\gcd(p_1, p_2) > 1$), they reproduce known results for the spindle index.
  • Weighted Projective Spaces ($CP^2_{(p_1, p_2, p_3)}$) and Spheres ($S^4_p, S^5_p$): The authors apply a gluing procedure that accounts for the orbifold fundamental group and flux sectors. They successfully reproduce existing results for branched covers of spheres and weighted projective spaces found in the literature.

• Regularization and Flux:
  The paper addresses the regularization of infinite products arising in the one-loop determinants when gluing patches with different signs of equivariant parameters. It also details how flux quantization on orbifolds differs from smooth manifolds, allowing for fractional fluxes that are naturally captured by the refined orbifold construction.

Significance
The paper claims that the refined orbifold theory provides a concrete, calculable framework for defining gauge theories on spaces with orbifold singularities. The central significance lies in the demonstrated equivalence between:

1. SYM on orbifolds with Gukov-Witten and twist defects.
2. SYM on branched covers.

This equivalence explains previous observations where partition functions on spaces with deficit angles (orbifolds) could be obtained from those with surplus angles (branched covers) via dimensional reduction. By providing a "building block" approach, the authors enable the computation of partition functions for equivariant SYM theories on various compact orbifolds (spindles, weighted projective spaces) without needing to define the theory directly on the singular space. The work bridges the gap between the mathematical description of parabolic bundles on orbifolds and the physical description of defects in gauge theories, offering a tool to reproduce gravity-side quantities (like black hole entropy) from the field theory side.

Limitations and Future Directions
The authors note that the current construction does not yet extend consistently to fundamental matter fields in a way that matches branched cover results, as the GW defect affects matter even after Higgsing. Additionally, while the paper establishes the equivalence at the level of partition functions, the precise mechanism for preserving supersymmetry on the resulting singular spaces (e.g., the necessity of background R-symmetry fields) is treated as a necessary condition rather than a derived result. The work suggests that further exploration is needed to understand the combined effect of twist and GW defects before Higgsing and to compare the refined orbifold approach with existing spindle index calculations that utilize equivariant indices on orbifolds.