Pseudo-Gauge Stabilizers and Fibration Structure of the Cooper--Frye Map at Freeze-Out

This paper establishes that the Cooper--Frye map in relativistic spin hydrodynamics possesses a stratified fibration structure under pseudo-gauge transformations, which classifies observables, constrains their independence, and provides a structural framework to interpret tensions in heavy-ion polarization data while recovering known theoretical obstructions.

The Gist

The Big Picture: The "Freeze-Out" Snapshot

Imagine a massive, swirling ball of super-hot soup (the Quark-Gluon Plasma) created when heavy atoms collide. As this soup expands and cools, it suddenly "freezes" into solid particles (like protons, neutrons, and other hadrons) that fly out to be detected.

Physicists use a mathematical recipe called the Cooper-Frye map to take a snapshot of this soup right at the moment it freezes and predict what particles will come out. The paper asks a fundamental question: Is this recipe unique?

The Problem: The "Translation" Ambiguity

In the physics of this soup, there is a concept called Pseudo-Gauge Freedom. Think of this like translating a sentence from English to French. You can translate it in a few different valid ways (using different dialects or phrasing), and the meaning of the whole story stays the same. However, the specific words used in the middle of the sentence might look different depending on which translation you choose.

In this paper, the "words" are the local densities of energy and spin (how the soup is spinning). The "meaning" is the total energy and total spin of the whole system.

• The Issue: When physicists calculate what particles come out of the freeze-out, the result sometimes changes depending on which "translation" (pseudo-gauge) they use. This is a problem because nature shouldn't care about our choice of mathematical translation.

The Solution: The "Universal Stabilizer"

The author, Jiahua Tian, proposes a new way to look at this. Instead of trying to force the math to be the same everywhere, he treats the different translations as different paths leading to the same destination.

He introduces a concept called the Universal Stabilizer.

• The Analogy: Imagine a group of people trying to describe a mountain. Some say it's "tall," others say "steep," and others say "rocky." These are different descriptions (pseudo-gauges).
• The Stabilizer is the set of descriptions that, when you swap them, nothing changes in the final result.
• The paper proves that there is a specific "core group" of translations that are invisible to the final measurement. If you stay within this group, your predictions for the particles coming out will be identical.

The Structure: A "Fibered" Map

The paper organizes all possible physical states into a geometric structure called a Fibration.

• The Base (The Thermodynamic Map): This is the "skeleton" of the soup. It includes the temperature, pressure, and overall rotation. This part is solid and unchanging.
• The Fiber (The Hidden Layers): Hanging off every point on the base is a "fiber" representing all the different valid translations (pseudo-gauges) that could describe that specific state.
• The Insight:
  • Some observables (things we measure) are Base Observables. They only look at the skeleton. No matter which translation you use, you get the same answer. (Example: Total energy).
  • Other observables are Fiber Observables. They look at the hidden layers. If you change the translation, the answer changes. (Example: The specific spin direction of a Lambda particle).

The Real-World Puzzle: The "Tension"

The paper applies this math to a real mystery in heavy-ion collisions:

1. Lambda Particles: Their spin polarization seems to match the "swirl" (vorticity) of the soup perfectly.
2. Phi Mesons: Their spin alignment is much stronger than the Lambda particles' spin would predict based on the swirl alone.

The Paper's Explanation:
The author suggests that the "swirl" (vorticity) is just the Base. It explains the Lambda particles well. But the Phi mesons are sensitive to the Fiber—hidden, local fluctuations in the fields that the Lambda particles don't "see."

Think of it like this:

• The Lambda is a large, heavy boat. It only feels the big waves (the overall swirl).
• The Phi Meson is a tiny, sensitive drone. It feels the big waves plus the tiny, choppy ripples on the surface (local field correlations).

The paper argues that the "tension" between the two measurements isn't a mistake; it's evidence that we need to expand our map to include these tiny ripples (local field correlations) that the Lambda boat ignores but the Phi drone feels.

The "Weyl Anomaly" Check

The paper also checks a specific type of current (a flow of particles) caused by quantum effects (the Weyl anomaly).

• Result: This current is a Base Observable.
• Meaning: It is robust. It doesn't matter which "translation" you use; the prediction for this current remains the same. It is "stabilized" by the math.

Summary of Claims

1. Mathematical Structure: The relationship between the soup's state and the particles it produces is a "fibered" structure. Some things depend on hidden mathematical choices; others do not.
2. The Stabilizer: There is a specific set of mathematical choices that leave all physical predictions unchanged.
3. The Puzzle Solved: The mismatch between Lambda and Phi meson data suggests that the "swirl" isn't the whole story. We need to add a new layer of data (local field correlations) to the model to explain the Phi mesons, without breaking the Lambda predictions.
4. Consistency: If you measure two different things (like Lambda spin and Phi alignment) at the same time, they must fit together on a specific geometric curve. If they don't, it means our model of the "soup" is missing a piece of the puzzle.

The paper does not claim to have solved the mystery with new data, nor does it suggest medical applications. It provides a new geometric framework to understand why current data looks the way it does and tells physicists exactly what kind of new data they need to look for to fix the model.

Technical Summary

Technical Summary: Pseudo-Gauge Stabilizers and Fibration Structure of the Cooper–Frye Map at Freeze-Out

1. Problem Statement
In relativistic spin hydrodynamics (RSH), the conversion of hydrodynamic data at the freeze-out hypersurface ($\Sigma_{FO}$) into hadronic observables via the Cooper–Frye prescription is obstructed by the freedom of pseudo-gauge transformations (PGT). The decomposition of the conserved angular momentum current into orbital and spin parts is not unique; different pseudo-gauges, related by a generator $\Phi_{\lambda,\mu\nu}$, yield distinct local stress-energy ($T^{\mu\nu}$) and spin ($S^{\lambda,\mu\nu}$) tensors while preserving total conserved charges. Previous work (e.g., Buzzegoli) established that local-equilibrium observables, such as $\Lambda$ hyperon polarization and axial vortical conductivity, depend on this choice. However, a systematic geometric framework to classify which observables are sensitive to this ambiguity and to quantify the residual freedom has been lacking.

2. Methodology and Framework
The paper constructs a geometric framework based on the local-equilibrium density operator $\hat{\rho}_{LE}$ and the Bogoliubov–Kubo–Mori (BKM) inner product.

• Universal Stabilizer Definition: The authors define a "universal stabilizer" subgroup $H_{univ}$ of the full pseudo-gauge group $G_{PGT}$. A transformation $\Phi$ belongs to $H_{univ}$ if and only if it leaves the local-equilibrium generator $\hat{K}_{LE}$ invariant up to a c-number multiple of the identity ($\Delta_\Phi \hat{K}_{LE} = c_\Phi \mathbb{1}$).

  • Using the BKM non-degeneracy lemma, the authors prove that this condition is necessary and sufficient for all physical observables (expectation values of Hermitian operators) to remain invariant under the transformation.
  • The generator shift is given by $\Delta_\Phi \hat{K}_{LE} = \int_{\Sigma_{FO}} d\Sigma_\mu [\beta_\nu \partial_\lambda \hat{X}^{\lambda\mu\nu} + \frac{1}{2}\Omega_{ab} \hat{\Phi}^{\mu,ab}]$, where $\beta_\mu$ is the inverse temperature four-vector and $\Omega_{ab}$ is the spin potential.

• Fibration Structure: The space of freeze-out data $R_{FO}$ is quotiented by $H_{univ}$ to form the physical state space $Q_{FO} = R_{FO}/H_{univ}$.

  • There exists a natural projection $\pi: Q_{FO} \to M_{phys}$, where $M_{phys}$ is the space of thermodynamic Lagrange multipliers $(\beta, \xi, \Omega)$.
  • The fiber over a point $b \in M_{phys}$ is the coset space $G_{PGT}/H_{univ}[b]$. This fiber represents the physically inequivalent pseudo-gauge representatives at a fixed thermodynamic state.
  • The Cooper–Frye map factors through $Q_{FO}$ but generally does not descend to $M_{phys}$, implying that observables depend on the specific point in the fiber, not just the thermodynamic multipliers.

• Classification of Observables:

  • Base Observables: Maps that descend to $M_{phys}$ (constant on fibers). Examples include total conserved charges ($\hat{P}^\mu, \hat{J}^{\mu\nu}, \hat{Q}$).
  • Fiber Observables: Maps that vary along the fiber. Examples include local $\Lambda$ polarization $S_\mu(p)$ and vector-meson spin alignment $\rho_{00}$.

3. Key Results

• Global Equilibrium Saturation: At global thermodynamic equilibrium, where $\beta_\mu$ is a Killing vector and the spin potential equals the thermal vorticity ($\Omega_{ab} = \varpi_{ab}$), the universal stabilizer saturates the entire pseudo-gauge group ($H_{univ} = G_{PGT}$). Consequently, the fiber degenerates to a point, and all observables become pseudo-gauge invariant. This recovers the standard result that total Poincaré charges are PGT-invariant.

• The Belinfante–Canonical Test: The paper analyzes the specific PGT connecting the canonical and Belinfante pseudo-gauges. It demonstrates that this transformation belongs to $H_{univ}$ if and only if $\Omega_{ab} = \varpi_{ab}$ on $\Sigma_{FO}$. When $\Omega_{ab} \neq \varpi_{ab}$ (generic local equilibrium), the transformation is not in the stabilizer, leading to a non-zero shift in spin observables proportional to $(\Omega_{ab} - \varpi_{ab})$. This provides a geometric derivation of the "Buzzegoli obstruction."

• Counting Bounds: The authors define a "family-restricted fiber dimension" $d_F^F$, which counts the number of independent directions in a finite family of pseudo-gauge choices that are not absorbed by the stabilizer. This dimension provides an upper bound on the number of independent PGT-sensitive observables measurable within that family.

• Cross-Observable Consistency Relations: Since all fiber observables measured in the same kinematic bin are evaluated on the same physical state $[R] \in Q_{FO}$, their simultaneous values must lie on the image of the joint map $e_{FO_1} \times e_{FO_2}: Q_{FO} \to M_{O_1} \times M_{O_2}$. This imposes a structural constraint: experimental data points for different fiber observables cannot be arbitrary in the product space but must lie on a specific subvariety determined by the underlying RSH simulation and pseudo-gauge family.

• Application to $\Lambda$ Polarization and $\phi$-Meson Alignment: The paper applies this framework to the tension between $\Lambda$ polarization and $\phi$-meson spin alignment.

  • In a minimal vorticity-dominated model, the relation between these observables traces a specific 1D curve (parabola) in the product space.
  • Experimental data shows a significant deviation from this curve.
  • The fibration framework interprets this not as a failure of the model, but as evidence that the "freeze-out data space" is too narrow. The authors propose that an extended response sector (incorporating local field correlations, such as the SLW mechanism) enlarges the fiber dimension.
  • Crucially, the framework predicts that such an extended sector can be "approximately invisible" to $\Lambda$ polarization (a rank-1 vector observable) while remaining visible to $\phi$-meson alignment (a rank-2 tensor observable), thereby resolving the tension without contradicting the successful description of $\Lambda$ polarization.

• Weyl-Anomaly Currents: The paper classifies Weyl-anomaly-induced currents as "base observables." Since these currents depend on external sources and thermodynamic multipliers but not on the spin potential in the global equilibrium limit, they are insensitive to the pseudo-gauge fiber, distinguishing them from spin-polarization observables.

4. Significance and Claims
The paper claims to provide a "structural interpretation" of pseudo-gauge dependence rather than merely observing it. By formulating the problem as a stabilizer quotient and a fibration, the authors:

1. Geometrize the Buzzegoli effect: They show that the dependence of observables on pseudo-gauge choice is a direct consequence of the non-trivial fiber structure of the local-equilibrium state space when $\Omega \neq \varpi$.
2. Establish Consistency Tests: They derive cross-observable consistency relations that serve as internal checks for RSH models, requiring simultaneous measurements of fiber observables to lie on a specific geometric locus.
3. Reframe the $\Lambda$-$\phi$ Tension: They argue that the discrepancy between $\Lambda$ polarization and $\phi$ alignment is a discovery target for additional freeze-out response data (specifically local field correlations) that enlarge the fiber dimension, rather than a failure of the hydrodynamic framework itself.
4. Clarify Invariance: They distinguish between base observables (robust, depending only on thermodynamics) and fiber observables (sensitive to the pseudo-gauge representative), offering a criterion for which quantities are intrinsically ambiguous.

The work is presented as a framework-level analysis that organizes how observables are constrained within the local-equilibrium and fixed-multiplier setup, providing a rigorous mathematical basis for future phenomenological studies and experimental consistency checks.