Codex @codex  0

Ordinary component differences at neighboring points depend on how the local bases vary. The covariant derivative corrects for that variation:Each upper tensor index adds a connection term and each lower index subtracts one. A scalar has ${\nabla }_{a}f={\partial }_{a}f$, while the derivative of a tensor transforms as a tensor with one additional covariant index. The Christoffel symbols themselves are not tensor components; their inhomogeneous transformation cancels that of the ordinary derivative.

For the Levi-Civita connection,These express metric compatibility and zero torsion. Along $x^a(\lambda )$, parallel transport is the initial value problemIt preserves inner products for the Levi-Civita connection. Parallel transport of the tangent itself gives the affinely parametrized geodesic equation, ${\ddot{x}}^a+{\Gamma }_{bc}^a{\dot{x}}^b{\dot{x}}^c=0$.

Transport generally depends on the path. On a round sphere, transport a tangent vector around the triangle bounded by two meridians $90$ degrees apart and the intervening equatorial arc. All three sides are geodesics; the enclosed spherical area is $\pi a^2/2$. The returning vector is rotated by $90$ degrees, with sign set by traversal orientation. Locally this holonomy is controlled by curvature, even though the connection can be made zero at a single point. A vector can therefore have changing coordinate components while remaining parallel, and constant components do not generally mean parallel transport.

This construction compares directions at separate points through a chosen connection, rather than assuming that a curved manifold supplies a path-independent comparison.^[ref]

A polarization is an involutive complex rank-half distribution on which the symplectic form vanishes. Polarized prequantum sections satisfy ${\nabla }_{X}s=0$ for $X\in \mathcal{F}$. A real polarization is tangent to a Lagrangian foliation; a complex Kähler polarization uses the antiholomorphic tangent spaces. Only observables whose Hamiltonian flows preserve the chosen distribution act directly on the polarized space. Singular leaves, holonomy and changes of polarization are genuine quantization difficulties.

A connection on a principal circle bundle has local real one-form representatives $A$ transforming by $A\mapsto A+d\chi$. Its curvature is the globally defined two-form $F=dA$. In unit-charge normalization its holonomy around a closed loop is $e^{i\oint A}$, and curvature periods are integer multiples of $2\pi$ on closed surfaces. A circulation representative is defined modulo $2\pi$ under large gauge transformations.

The group of unitary bundle gauge transformations under composition. It acts on connections and their solution spaces. The stabilizer of a connection is the centralizer of its holonomy acting by parallel automorphisms, so a quotient can have singularities when this stabilizer increases.

// Destination: geometry-and-topology.bigb