Chern-Simons functional on a 3-manifold

Intuition Beginner

Floer homology begins by treating the space of gauge fields on a three-dimensional space like a mountainous landscape. The Chern-Simons functional is the height function on that landscape. Its lowest and highest places are not the main point; its critical resting places are.

A resting place of this height function is a flat connection, a gauge field whose curvature vanishes. Paths flowing downhill between resting places are not ordinary paths in the three-dimensional space. They become four-dimensional instantons on a cylinder, so the Chern-Simons function is the doorway from three-dimensional topology to four-dimensional gauge theory.

There is one twist. The height is circle-valued: changing gauge can add a whole number. The slope is still well-defined, so the gradient-flow picture remains usable.

Visual Beginner

The landscape represents all gauge fields after identifying gauges. The marked resting points are flat connections. Flow lines between them are the trajectories counted later in instanton Floer homology.

Worked example Beginner

Imagine a circular height gauge where values differing by a whole number are considered the same reading. A field has Chern-Simons value 0.30. A large gauge change moves the formula to 2.30. On the circular gauge, those are the same reading because they differ by two whole turns.

Now place three marked resting points on the circular landscape. A downhill path from one point to another measures how the gauge field changes. In Floer theory, such a path becomes a four-dimensional field on a cylinder, and the energy of the cylinder field equals the drop in the Chern-Simons reading, up to the whole-number ambiguity.

What this tells us: Chern-Simons is not just a number attached to one field. It is the action function whose critical points and flow lines generate the Floer chain complex.

Check your understanding Beginner

Formal definition Intermediate+

Let $Y$ be a closed oriented three-manifold and, for the main formula, take the product principal $\mathrm{SU}(2)$-bundle over $Y$. A connection can be represented by an $\mathfrak{su}(2)$-valued one-form $A\in {\Omega }^1(Y;\mathfrak{su}(2))$. With the trace normalization standard in gauge theory, the Chern-Simons functional is $$ \operatorname{CS}(A)=\frac{1}{8\pi^2}\int_Y \operatorname{tr}\left(A\wedge dA+\frac{2}{3}A\wedge A\wedge A\right). $$ For a non-product bundle one defines the same object by choosing a reference connection and using the transgression construction from 03.06.07; the differential and the gauge transformation law are the same.

The curvature of $A$ is $$ F_A=dA+A\wedge A. $$ For a variation $A_t=A+ta$, where $a\in {\Omega }^1(Y;\mathfrak{su}(2))$, the first variation is $$ \left.\frac{d}{dt}\right|_{t=0}\operatorname{CS}(A_t) =\frac{1}{4\pi^2}\int_Y\operatorname{tr}(a\wedge F_A). $$ Thus critical points are exactly flat connections: $$ F_A=0. $$

Under a gauge transformation $g:Y\to \mathrm{SU}(2)$, written $$ A^g=g^{-1}Ag+g^{-1}dg, $$ the Chern-Simons value changes by the integer degree of $g$: $$ \operatorname{CS}(A^g)=\operatorname{CS}(A)+\deg(g), \qquad \deg(g)=-\frac{1}{24\pi^2}\int_Y\operatorname{tr}\left((g^{-1}dg)^3\right)\in\mathbb{Z}. $$ Consequently $\mathrm{CS}$ is naturally a function on the quotient of connections by gauge transformations with values in $\mathbb{R}/\mathbb{Z}$.

Counterexamples to common slips

• The Chern-Simons functional is not gauge-invariant as a real number. It is gauge-invariant modulo integers.
• Critical points are flat connections, not necessarily isolated. Floer theory adds perturbations and restricts to suitable settings so the critical set becomes manageable.
• The formula above uses a product-bundle gauge. The intrinsic definition is the transgression of the second Chern-Weil form.

Key theorem with proof Intermediate+

Theorem (critical points of Chern-Simons are flat connections). Let $Y$ be a closed oriented three-manifold and let $A$ be a connection on the product $\mathrm{SU}(2)$-bundle over $Y$. Then $A$ is a critical point of $\mathrm{CS}$ if and only if $F_A=0$.

Proof. Let $a\in {\Omega }^1(Y;\mathfrak{su}(2))$ and set $A_t=A+ta$. Differentiating the defining formula gives $$ \left.\frac{d}{dt}\right|{t=0}\operatorname{CS}(A_t) =\frac{1}{8\pi^2}\int_Y \operatorname{tr}\left(a\wedge dA+A\wedge da+2a\wedge A\wedge A\right). $$ Since $Y$ is closed, integration by parts and cyclic invariance of the trace convert the middle term into $$ \int_Y\operatorname{tr}(A\wedge da)=\int_Y\operatorname{tr}(a\wedge dA). $$ The two cubic variation terms combine to $2\mathrm{tr}(a\wedge A\wedge A)$. Therefore $$ \left.\frac{d}{dt}\right|{t=0}\operatorname{CS}(A_t) =\frac{1}{4\pi^2}\int_Y\operatorname{tr}\bigl(a\wedge(dA+A\wedge A)\bigr) =\frac{1}{4\pi^2}\int_Y\operatorname{tr}(a\wedge F_A). $$ If $F_A=0$, the derivative vanishes for every $a$, so $A$ is critical. Conversely, if the derivative vanishes for every $a$, choose $a=\ast F_A$ after identifying two-forms and one-forms by the Hodge star on $Y$. Then the derivative is a nonzero constant multiple of ${\int }_Y|F_A{|}^{2}d\mathrm{vol}$, so it can vanish only when $F_A=0$. $\square$

Bridge. The Chern-Simons functional builds toward 03.07.23 because its flat critical points become the generators of instanton Floer homology, and it appears again in 03.07.19 through the Hessian whose spectral flow defines the grading. The foundational reason is that variation of Chern-Simons identifies slope with curvature; this is exactly what turns gradient flow into the ASD equation on a cylinder. Putting these together, Chern-Simons generalises finite-dimensional Morse theory to gauge theory, and the bridge is dual to the Yang-Mills action in 03.07.05.

Exercises Intermediate+

Advanced results Master

The Chern-Simons functional is the transgression of the second Chern-Weil form. If $\mathcal{A}$ is a connection on $[0,1]\times Y$ restricting to $A_0$ and $A_1$ at the ends, then $$ \frac{1}{8\pi^2}\int_{[0,1]\times Y}\operatorname{tr}(F_{\mathcal A}\wedge F_{\mathcal A}) =\operatorname{CS}(A_1)-\operatorname{CS}(A_0) $$ modulo the integer ambiguity created by choices of gauge. This is the finite-dimensional transgression identity of 03.06.07 applied to the family of connections.

The negative gradient equation of $\mathrm{CS}$ is the ASD equation on the cylinder. Choose a metric on $Y$ and the $L^2$ metric on the affine space of connections: $$ \langle a,b\rangle_{L^2}=-\int_Y\operatorname{tr}(a\wedge _Yb). $$ Since $$ d\operatorname{CS}_A(a)=\frac{1}{4\pi^2}\int_Y\operatorname{tr}(a\wedge F_A), $$ the gradient is a constant multiple of $_YF_A$.Thusdownwardgradientflowhastheform$\dot A=-*_YF_A$,whichisthetemporal-gaugeformoftheASDequationon$\mathbb{R}\times Y$.

The Hessian at a flat connection $\alpha$ is essentially the operator ${\ast }_Y{d}_{\alpha }$ on ${\Omega }^1(Y;\mathrm{ad}P)$ after gauge fixing. Its spectral flow along a path of flat or perturbed-flat connections is the relative grading in instanton Floer theory. The mod-eight grading in 03.07.19 is the Atiyah-Patodi-Singer index of the corresponding cylinder operator.

Flat $\mathrm{SU}(2)$ connections are equivalent to representations $$ \rho:\pi_1(Y)\to\mathrm{SU}(2) $$ up to conjugacy. The correspondence sends a flat connection to its holonomy representation. Conversely, a representation builds a flat bundle with its locally constant parallel transport. Thus the critical set of Chern-Simons is a representation variety, usually singular before perturbation.

Synthesis. The foundational reason Chern-Simons controls instanton Floer theory is that its differential is curvature. This is exactly the condition that identifies flat connections with critical points and identifies cylinder instantons with gradient trajectories. The central insight generalises Morse theory from finite-dimensional manifolds to the gauge quotient, while the integer gauge ambiguity is dual to the degree map $[Y,\mathrm{SU}(2)]\to \mathbb{Z}$. Putting these together, the functional supplies the bridge from three-manifold representation theory to four-dimensional ASD analysis.

Full proof set Master

Proposition 1 (gauge-shift formula). For a gauge transformation $g:Y\to \mathrm{SU}(2)$, $$ \operatorname{CS}(A^g)-\operatorname{CS}(A) =-\frac{1}{24\pi^2}\int_Y\operatorname{tr}\left((g^{-1}dg)^3\right). $$

Proof. Put $\theta =g^{-1}dg$. The transformed connection is $A^g=g^{-1}Ag+\theta$. Substituting this into the Chern-Simons three-form and using invariance of the trace under conjugation gives $$ \operatorname{cs}(A^g)=\operatorname{cs}(A)+d,\operatorname{tr}(\theta\wedge A)-\frac13\operatorname{tr}(\theta\wedge\theta\wedge\theta) $$ with the normalization in the unit metadata. The middle term integrates to zero because $Y$ is closed. Multiplication by $1/(8{\pi }^2)$ gives the displayed formula. The final integral is the degree of $g:Y\to \mathrm{SU}(2)\cong S^3$ with the chosen orientation convention, so it is an integer. $\square$

Proposition 2 (energy identity on a cylinder). Let $\mathcal{A}$ be an ASD connection on $[s_0,s_1]\times Y$ in temporal gauge, corresponding to a path $A(s)$. Then, up to the fixed normalization convention, $$ \operatorname{YM}(\mathcal A)=\operatorname{CS}(A(s_0))-\operatorname{CS}(A(s_1)). $$

Proof. For an ASD connection on a four-manifold, $\ast F_{\mathcal{A}}=-F_{\mathcal{A}}$. Therefore $$ \frac12\int |F_{\mathcal A}|^2,d\operatorname{vol} =-\frac12\int\operatorname{tr}(F_{\mathcal A}\wedge F_{\mathcal A}) $$ with the sign set by the trace convention. The Chern-Weil transgression formula on $[s_0,s_1]\times Y$ identifies the integral of $\mathrm{tr}(F_{\mathcal{A}}\wedge F_{\mathcal{A}})$ with the difference of Chern-Simons values on the boundary slices. Choosing the orientation so downward flow decreases $\mathrm{CS}$ yields the displayed identity. $\square$

Proposition 3 (flat connections and holonomy). Gauge-equivalence classes of flat $\mathrm{SU}(2)$ connections on $Y$ correspond to conjugacy classes of homomorphisms ${\pi }_1(Y)\to \mathrm{SU}(2)$.

Proof. A flat connection has path-independent parallel transport up to homotopy: curvature zero implies parallel transport around a contractible loop is the identity, and homotopic loops give the same transport. Fixing a base point produces a homomorphism from ${\pi }_1(Y)$ to $\mathrm{SU}(2)$. Changing the base-frame conjugates the homomorphism, and applying a gauge transformation changes the frame pointwise, again producing conjugation at the base point. Conversely, a homomorphism $\rho$ defines the flat bundle $\tilde{Y}{\times }_{\rho }\mathrm{SU}(2)$ over $Y$ with the descended product flat connection. These constructions are inverse up to gauge and conjugacy. $\square$

Connections Master

• Chern-Simons transgression 03.06.07. The three-dimensional functional is the gauge-theoretic action version of the transgression form; this unit specializes that characteristic-class construction to connections on a three-manifold.

• ASD equation 03.07.06. The negative gradient equation of Chern-Simons is the ASD equation on $\mathbb{R}\times Y$, making the first-order four-dimensional equation into Morse flow for a three-dimensional functional.

• Spectral flow and Floer grading 03.07.19. The Hessian of Chern-Simons at a flat connection is the self-adjoint operator whose spectral flow defines the relative grading.

• Instanton Floer homology 03.07.23. The Floer chain complex uses perturbed flat Chern-Simons critical points as generators and counts finite-energy ASD trajectories between them.

Historical & philosophical context Master

Chern and Simons introduced the secondary characteristic forms in 1974 while studying conformal and Riemannian invariants ^{[Chern-Simons 1974]}. In gauge theory, the same three-form became an action functional on connections over a three-manifold, with its gauge ambiguity controlled by integer winding.

Floer used the Chern-Simons functional as the Morse function for instanton homology in 1988 ^{[Floer 1988]}. Donaldson's Cambridge tract gave the systematic gauge-theoretic development: flat connections as critical points, ASD cylinder connections as trajectories, and the resulting homology as a three-manifold invariant ^{[Donaldson 2002]}.

Bibliography Master

@article{ChernSimons1974,
  author = {Chern, Shiing-Shen and Simons, James},
  title = {Characteristic forms and geometric invariants},
  journal = {Annals of Mathematics},
  volume = {99},
  pages = {48--69},
  year = {1974}
}

@article{Floer1988Instanton,
  author = {Floer, Andreas},
  title = {An instanton-invariant for 3-manifolds},
  journal = {Communications in Mathematical Physics},
  volume = {118},
  pages = {215--240},
  year = {1988}
}

@book{Donaldson2002Floer,
  author = {Donaldson, Simon K.},
  title = {Floer Homology Groups in Yang-Mills Theory},
  series = {Cambridge Tracts in Mathematics},
  volume = {147},
  publisher = {Cambridge University Press},
  year = {2002}
}

@incollection{Atiyah1988NewInvariants,
  author = {Atiyah, Michael F.},
  title = {New invariants of 3- and 4-dimensional manifolds},
  booktitle = {The Mathematical Heritage of Hermann Weyl},
  series = {Proceedings of Symposia in Pure Mathematics},
  volume = {48},
  pages = {285--299},
  publisher = {American Mathematical Society},
  year = {1988}
}