Modular Berry Transport and Holonomy

Modular Berry transport compares modular eigenspaces along a family of states or regions while removing transformations that commute with the modular generator. The commuting sector is a gauge freedom: it changes bases inside degenerate modular subspaces without changing $K$. A gauge-invariant result is therefore a holonomy conjugacy class or a projected trace, not a basis-dependent phase.

Required background. Modular spectra and spectral measures supply the spectral projectors and continuous-spectrum caveats.

Helpful background. State perturbations and susceptibility supply controlled differentiable families.

Diagonalizing a modular family

Begin in a finite faithful regulator with a smooth family

$$K(\lambda)=U(\lambda)D(\lambda)U(\lambda)^\dagger.$$

Differentiation gives

$$\partial_iK =[V_i,K]+U(\partial_iD)U^\dagger, \qquad V_i=(\partial_iU)U^\dagger,$$

where $V_i$ is anti-Hermitian. The second term commutes with $K$ and changes its eigenvalues. The commutator term rotates eigenspaces.

The equation does not determine $V_i$ uniquely. If $Z_i$ commutes with $K$, then $V_i+Z_i$ produces the same off-diagonal change:

$$[Z_i,K]=0.$$

This is the modular zero-mode gauge freedom. For a nondegenerate finite spectrum, zero modes are diagonal in the modular eigenbasis; for degeneracies they are block diagonal and non-Abelian.

The structural map places Modular Berry Transport and Holonomy along the perturbative sequence from normalized state or shape variations to information metrics and modular transport.

At fixed comparison algebra, normalization removes the linear term in relative entropy. The second response supports several inequivalent constructions: state and shape tangents, stress-tensor kernels, monotone metrics, and zero-mode-projected transport. The diagram is schematic and not to scale.

Zero-mode projection and connection

Let $P_0^\lambda$ project operators onto the commutant of $K(\lambda)$. In a finite spectrum,

$$P_0^\lambda(X)=\sum_a P_a(\lambda)X P_a(\lambda),$$

where $P_a$ are spectral projectors onto distinct eigenvalues. A modular-time-average representation is

$$P_0^\lambda(X) =\lim_{T\to\infty}\frac{1}{2T} \int_{-T}^{T}ds\; e^{-isK(\lambda)}X e^{isK(\lambda)},$$

when the mean ergodic limit exists in the chosen topology.

In a diagonalizing frame, define the connection one-form

$$\mathcal A_i =P_0\!\left(U^\dagger\partial_iU\right).$$

A change of frame $U\mapsto Ug$ with $[g,D]=0$ gives

$$\mathcal A_i\mapsto g^{-1}\mathcal A_i g+g^{-1}\partial_i g.$$

Thus $\mathcal A_i$ is a genuine gauge connection on the bundle of modular eigenspaces. An equivalent horizontal prescription chooses the off-diagonal solution of $\partial_iK=[V_i,K]+P_0(\partial_iK)$ and imposes $P_0(V_i)=0$.

Holonomy and curvature

For a closed path $C$ in parameter space,

$$W[C]=\mathcal P \exp\!\left(-\oint_C\mathcal A_i\,d\lambda^i\right).$$

Under a gauge transformation at the base point, $W[C]\mapsto g^{-1}W[C]g$. Its eigenvalues, conjugacy class, and traces in specified degenerate blocks are gauge invariant. Individual matrix elements and diagonal phases are not.

The curvature is

$$\mathcal F_{ij} =\partial_i\mathcal A_j-\partial_j\mathcal A_i +[\mathcal A_i,\mathcal A_j].$$

For an infinitesimal loop, $W[C]=\mathbf1-\mathcal F_{ij}\,\delta\Sigma^{ij}+\cdots$. Degeneracy crossings can make the bundle rank change and invalidate this smooth expansion.

Families of regions

If $\lambda$ labels spatial regions, the algebras $\mathcal A_\lambda$ differ. A pullback to a common reference representation is required before differentiating $K(\lambda)$. Changing that pullback shifts the connection by an identification-dependent term, much like changing coordinates. A claimed invariant must be unchanged under allowed re-identifications.

For highly symmetric CFT vacuum regions, modular generators lie in a finite-dimensional conformal algebra, and the zero modes can be characterized explicitly. This is the controlled setting in which Czech, Lamprou, McCandlish, and Sully 2018, pp. 2–4 relate modular Berry transport to geometric data. Such a relation does not prove that an arbitrary modular holonomy is a spacetime curvature or a bulk observable.

Continuous spectra and QFT limitations

Local QFT modular operators commonly have continuous spectrum. Then “diagonalizing $K$” may mean a direct integral rather than an eigenbasis, and the zero-frequency subspace can be distributional. A time average may fail in operator norm even when it converges weakly on selected observables.

A controlled continuum construction should specify:

• the algebra identification along the path;
• the spectral projector, window, or ergodic topology defining $P_0$;
• a gap separating any finite-rank block being transported;
• the domain of $\partial_iK$ and the off-diagonal inverse of $\operatorname{ad}_K$;
• regulator and path-discretization convergence;
• the gauge-invariant quantity actually reported.

Without these controls, a finite-cutoff Berry matrix is evidence for the regulated model only.

Evidence boundary

As assessed through 10 August 2026, controlled constructions establish modular Berry transport in symmetric finite-dimensional, regulated, and conformal examples. They do not establish a regulator-independent finite-rank connection for a generic type-III local algebra with continuous modular spectrum. A geometric or gravitational interpretation therefore remains an additional model-specific claim, not part of the general algebraic definition.

Common pitfalls

Reporting a diagonal phase as an invariant. Zero-mode gauge transformations shift it. Report a holonomy eigenvalue, conjugacy class, or projected trace.

Ignoring degeneracy changes. A crossing changes the transported bundle. Split the path into constant-rank patches or use a larger spectral projector.

Importing a geometric interpretation from a symmetric example. The connection is algebraically defined; spacetime or holographic meaning needs additional model-specific evidence.

Before interpreting this response coefficient, use the validity map to check normalization, tangent domains, contact and regulator terms, metric choice, and analyticity independently.

Normalization, domain, contact-term, metric, and analyticity checks are independent. A failed gate narrows or withdraws the physical claim; it is not a change of notation. The decision map is schematic and not to scale.

References

• Czech, Bartłomiej, Lampros Lamprou, Samuel McCandlish, and James Sully. “Modular Berry Connection for Entangled Subregions in AdS/CFT.” Physical Review Letters 120 (2018): 091601. DOI; arXiv.

Further reading

• Berry, Michael V. “Quantal Phase Factors Accompanying Adiabatic Changes.” Proceedings of the Royal Society A 392 (1984): 45–57. DOI.