Observables in $\mathrm{U}(1)^n$ Chern-Simons theory

This paper computes the expectation values of Wilson loop observables in $\mathrm{U}(1)^n$ Chern-Simons theory on closed oriented 3-manifolds, demonstrating their topological invariance, analyzing the impact of topological sectors, exhibiting CS duality, and determining the theory's zero modes and equations of motion.

The Gist

Imagine you are a cosmic architect trying to understand the shape of the universe. In physics, there's a theory called Chern-Simons theory that helps us calculate the "vibe" or the expectation value of certain features in a 3D universe (like a knotted string floating in space).

This paper by Michail Tagaris and Frank Thuillier is like a sophisticated instruction manual for calculating the vibe of these knots, but with a twist: they are dealing with a universe that has $n$ different types of strings (called $U(1)^n$) instead of just one.

Here is the breakdown of their work using simple analogies:

1. The Setting: A Universe of Knotted Strings

Imagine a 3D space (like a balloon) filled with invisible, magical strings.

• The Strings (Wilson Loops): These are the "observables." Think of them as rubber bands floating in the air. In this theory, we don't just have one rubber band; we have $n$ different colors of rubber bands, and they can be tangled together in complex ways.
• The Goal: The physicists want to know: "If we shake the universe, what is the average 'energy' or 'probability' of seeing these specific knots?" This is the Expectation Value.

2. The Problem: The Universe is Weirdly Shaped

The universe isn't always a perfect sphere. Sometimes it has holes, twists, or "torsion" (imagine a donut where the hole is twisted).

• The Challenge: When you try to measure a rubber band on a twisted universe, the math gets messy. The band might not close perfectly, or it might get stuck on a hole.
• The Solution (Dehn Surgery): To make the math easier, the authors use a trick called Dehn Surgery. Imagine you have a complex, twisted shape. Instead of measuring it directly, you cut it open, untie the knots, and re-glue it back together in a simpler way (like turning a complex knot into a simple sphere with a few extra loops attached). This allows them to do the calculations in a clean, flat space ($S^3$) and then translate the results back to the twisted universe.

3. The Three Types of Knots

The authors realized that any knot in this universe can be broken down into three distinct parts, like a team of workers with very different behaviors:

1. The Free Workers (Free Homology): These are the parts of the knot that get stuck in the "free holes" of the universe. They are trapped by the large-scale structure of the space. Crucially, if these exist, they cause the entire calculation to result in zero. They are the "deal-breakers" of the system.
2. The Torsion Workers (Torsion): These are the parts that get stuck in the "torsion holes" (the twisted, finite holes) of the universe. Unlike the free workers, they can still wiggle and contribute meaningful, non-zero values to the calculation.
3. The Trivial Workers (Perturbative): These are the loops that are not coupled to any holes of the manifold. They can float freely and, in theory, be deformed to a single point without getting stuck anywhere. The word "trivial" here does not mean they are unimportant; rather, it means they are topologically simple because they don't interact with the universe's holes. They are the ones that can actually "float around" without obstruction.

The paper shows how to calculate the contribution of each team separately and then combine them.

4. The Magic Mirror: CS Duality

This is the coolest part of the paper. The authors discovered a Mirror Effect (called CS Duality).

• The Concept: Imagine you have a recipe for a cake (the universe) using a specific set of ingredients (the "Linking Matrix" $L$) and a specific oven temperature (the "Coupling Matrix" $K$).
• The Twist: The paper proves that if you swap the ingredients and the oven temperature (swap $L$ and $K$), you get a different cake, but the "flavor" (the expectation value) is mathematically related to the first one.
• Why it matters: It means the universe has a hidden symmetry. You can look at the problem from two completely different angles, and the physics remains consistent. It's like saying, "If I measure the knot from the inside, I get result A. If I measure it from the outside, I get result B, but A and B are locked together by a secret code."

5. Handling the "Broken" Cases

Sometimes, the math matrices (the lists of numbers describing the knots) are "degenerate," meaning they have zeros where they shouldn't (like a recipe missing a key ingredient).

• The authors had to figure out what happens when the universe has "dead zones" where the strings can't interact.
• They found that if the strings try to interact in these dead zones, the result is usually zero (nothing happens). But if they interact correctly, the result is a specific, beautiful number. They created a set of rules (like a flowchart) to handle these broken cases so the calculation never crashes.

6. The Big Picture: It's All Topology

The most important takeaway is that the final answer doesn't depend on the shape of the universe, only on its topology (how it's connected).

• If you stretch, squeeze, or twist the universe without tearing it, the answer stays the same.
• This confirms that these observables are Topological Invariants. They are like the "DNA" of the universe's shape. No matter how you dress the universe up, its genetic code remains constant.

Summary Analogy

Imagine you are trying to calculate the average sound of a choir singing in a weirdly shaped cathedral (the manifold).

• The Paper's Job: They figured out how to calculate that sound even if the choir has $n$ different sections (colors) and the cathedral has weird acoustics (torsion).
• The Method: They temporarily moved the choir to a perfect, empty room (Dehn surgery) to do the math, then moved them back.
• The Discovery: They found that if you swap the choir's arrangement with the cathedral's architecture, the resulting sound is mathematically linked.
• The Result: They proved that the "sound" depends only on the number of people and how they are connected, not on the specific shape of the room. However, if any singers get stuck in the main structural pillars (Free Homology), the sound vanishes completely.

In short, this paper provides a complete, robust toolkit for calculating the "vibe" of complex, multi-colored knots in any 3D universe, proving that the universe's hidden geometry follows strict, beautiful mathematical rules.

Technical Summary

Here is a detailed technical summary of the paper "Observables in U(1)$^n$ Chern-Simons theory" by Michail Tagaris and Frank Thuillier.

1. Problem Statement

The paper addresses the computation of the expectation values of observables (specifically Wilson loops) within the framework of U(1)$^n$ Chern-Simons (CS) theory defined on closed, oriented 3-manifolds. While the authors previously established the partition function and duality properties for this theory, the behavior of observables in the presence of multiple gauge group copies ($n > 1$) and the interplay between different topological sectors (free, torsion, and trivial) remained to be fully analyzed.

Key challenges include:

• Handling the non-triviality of U(1) bundles over general 3-manifolds, requiring the use of Deligne-Beilinson (DB) cohomology.
• Decomposing observables into topological sectors (torsion, free homology, and trivial components) and determining how each contributes to the path integral.
• Extending the concept of CS duality (a relationship between partition functions with swapped coupling and linking matrices) to the level of observables.
• Addressing cases where the coupling matrix $K$ or the surgery linking matrix $L$ are degenerate (non-invertible).

2. Methodology

The authors employ a rigorous mathematical framework combining algebraic topology and quantum field theory techniques:

• Deligne-Beilinson Cohomology: The theory is formulated using DB cohomology classes to handle the global definition of gauge fields on manifolds where the bundle is not trivial. The action is defined as $S[A] = \int_M A \star A$, where $\star$ is the DB product.
• Dehn Surgery Representation: To facilitate computation, the 3-manifold $M$ and the observable loops are represented via Dehn surgery on a link $L$ in $S^3$. The observable is a link $\gamma$ in $S^3$ linked to the surgery link $L$.
• Decomposition of Fields and Observables:
  • The gauge field $A$ and the observable distribution $\eta$ are decomposed into torsion ($\tau$), free ($f$), and trivial/perturbative ($\omega, j_\Sigma$) components.
  • The observable loop $\gamma$ is decomposed into $\gamma = \gamma_0 + \gamma_t + \gamma_f$, corresponding to trivial, torsion, and free homology parts.
• Path Integral Evaluation:
  • The expectation value is computed by integrating over the DB cohomology classes.
  • The integral separates into a sum over torsion classes (non-perturbative) and an integral over the perturbative sector.
  • The authors utilize reciprocity formulas (generalized Poisson summation) to evaluate the sums over torsion classes, particularly when matrices are degenerate.
• Geometric Interpretation of Linking: For degenerate cases, the authors use a geometric approach involving the linking numbers of the observable with the surgery components in $S^3$ (pre-surgery) to assign values to rational linking forms.

3. Key Contributions

A. General Formula for Expectation Values

The authors derive a comprehensive formula for the expectation value $\langle W_M(A, \eta) \rangle_{CSK}$. The result is expressed as a sum over torsion classes $\kappa_A$ in the homology group $H_2(M)$, weighted by phases involving the coupling matrix $K$, the surgery linking matrix $L$, and the linking numbers of the observable.

The formula accounts for:

1. Non-perturbative terms: A sum over torsion classes involving a quadratic form $(K \otimes L^{-1})$.
2. Perturbative terms: Linking and self-linking numbers of the trivial and torsion parts of the loop.
3. Degeneracy Handling: The derivation explicitly handles cases where $K$ or $L$ are singular. It introduces projection operators to separate the non-degenerate subspaces ($K_0, L_0$) from the degenerate ones, resulting in Kronecker delta constraints (e.g., $\delta_{\ell_{free}^{free}}$) that enforce consistency conditions on the free homology components.

B. Topological Invariance and Kirby Moves

The paper proves that the derived expectation value is a topological invariant of the 3-manifold. This is demonstrated by showing invariance under Kirby moves:

• Kirby Move I: Adding/removing an unlinked unknot with framing $\pm 1$. The authors show this adds a trivial factor to the sum, leaving the value unchanged.
• Kirby Move II: Adding one surgery component to another. The authors demonstrate that the transformation of the linking matrix $L$ and the observable vector $\ell$ preserves the value of the expectation sum due to the automorphism properties of the underlying group structure.

C. CS Duality for Observables

The paper establishes a duality relation for observables, extending previous results on partition functions.

• The Duality: It relates the expectation value of an observable $\gamma$ in a theory defined by $(L, K)$ to the expectation value of a dual observable $\gamma'$ in a theory defined by $(K, L)$.
• The Relation:
  $$e^{\pi i \ell_{middle}^\top (K_0^{-1} \otimes L_0^{-1}) \ell_{middle}} |\det K_0|^{\frac{m-r}{2}} \langle W \rangle_{CSK} = e^{-\frac{i\pi}{4}(\sigma(K)\sigma(L))} |\det L_0|^{\frac{n-s}{2}} \langle W' \rangle_{CSL}$$
  where $\sigma$ denotes the signature of the matrices. This confirms that the duality holds even in the presence of complex topological sectors and degenerate matrices.

D. Handling Degenerate Matrices

A significant technical contribution is the rigorous treatment of degenerate matrices $K$ and $L$. The authors show that:

• Degenerate directions in $K$ impose constraints on the free homology part of the observable (requiring it to vanish or be trivial).
• The reciprocity formula must be adapted by projecting the linking vector $\ell$ onto the non-degenerate subspaces ($\ell_{right}, \ell_{left}, \ell_{middle}$).
• The modulus of the final result depends on a generalized greatest common divisor (GCD) of the matrices acting on the linking vector.

4. Results

• Explicit Calculation: The authors provide a step-by-step calculation for a specific example involving a manifold constructed from the connected sum of a lens space $L(5,2)$ and $S^2 \times S^1$, with non-invertible matrices $K$ and $L$. The result is a complex number ($-25e^{\pi i / 3}$), demonstrating the interplay of torsion sums and phase factors.
• Duality Verification: A second example using a lens space $L(13, 2)$ explicitly verifies the duality formula, showing that the expectation values calculated in the "direct" and "dual" frames match up to the predicted phase and determinant factors.
• Zero Modes and EOM: The appendix (mentioned in the abstract) computes the zero modes and equations of motion, completing the formal treatment of the theory's dynamics.

5. Significance

• Completeness of U(1)$^n$ CS Theory: This work completes the foundational study of U(1)$^n$ Chern-Simons theory on closed 3-manifolds, moving beyond partition functions to include physical observables (Wilson loops).
• Robustness of Duality: It confirms that CS duality is a deep structural property of the theory that persists even when observables are introduced and when the theory involves degenerate coupling constants.
• Mathematical Rigor: The use of Deligne-Beilinson cohomology and the careful handling of torsion/free decompositions provide a mathematically rigorous framework for computing topological invariants in abelian gauge theories.
• Future Directions: The authors note that while the Dehn surgery method is specific to 3D, the underlying cohomological computation is dimension-independent, suggesting a pathway to generalize these results to higher-dimensional manifolds (specifically $(4k+3)$-dimensions) in future work.

In summary, the paper provides a definitive formula for Wilson loop expectation values in multi-component abelian Chern-Simons theory, proving their topological invariance and establishing a robust duality framework that connects different parameter regimes of the theory.