Difference between revisions of "Chern-Simons functional"
Ulf Rehmann (talk | contribs) m (moved Chern–Simons functional to Chern-Simons functional: ascii title) |
m (AUTOMATIC EDIT (latexlist): Replaced 21 formulas out of 21 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.) |
||
Line 1: | Line 1: | ||
− | + | <!--This article has been texified automatically. Since there was no Nroff source code for this article, | |
+ | the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist | ||
+ | was used. | ||
+ | If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category. | ||
− | + | Out of 21 formulas, 21 were replaced by TEX code.--> | |
− | + | {{TEX|semi-auto}}{{TEX|done}} | |
+ | A [[Lagrangian|Lagrangian]] in the theory of gauge fields on an oriented [[Manifold|manifold]] $M$ of dimension $3$. More precisely, it is a ${\bf R} / 2 \pi \bf Z$-valued function $\operatorname{CS}$ on the space of connections ( "gauge fields" ) on a principal $G$-bundle (cf. also [[Principal G-object|Principal $G$-object]]) with base space $M$ for a compact connected [[Lie group|Lie group]] $G$. For $G$ simply connected, e.g. $G = \operatorname {SU} ( N )$, the bundle can be taken to be the product bundle and the Chern–Simons functional is given by the formula | ||
− | + | \begin{equation*} \operatorname {CS} ( A ) = \frac { 1 } { 4 \pi } \int _ { M } \operatorname { Tr } ( A \bigwedge d A + \frac { 2 } { 3 } A \bigwedge A \bigwedge A ) \operatorname { mod } 2 \pi , \end{equation*} | |
− | + | where the connection is given by the matrix-valued $1$-form $A$ and $\operatorname { Tr}$ is the usual trace of matrices (cf. also [[Trace of a square matrix|Trace of a square matrix]]). | |
+ | |||
+ | $\operatorname{CS}$ is invariant under gauge transformations, i.e. automorphisms of the $G$-bundle, and hence it defines a Lagrangian on the space of orbits for the action of the group of these. The critical points of $\operatorname{CS}$ are given by the flat connections, i.e. those for which the [[Curvature|curvature]] | ||
+ | |||
+ | \begin{equation*} F _ { A } = d A + A \bigwedge A \end{equation*} | ||
vanishes (cf. also [[Connection|Connection]]). | vanishes (cf. also [[Connection|Connection]]). | ||
Line 14: | Line 22: | ||
− | 1) Using the Chern–Simons functional as a [[Morse function|Morse function]], A. Flöer [[#References|[a6]]] defined invariants for homology | + | 1) Using the Chern–Simons functional as a [[Morse function|Morse function]], A. Flöer [[#References|[a6]]] defined invariants for homology $3$-spheres related to the Casson invariant (see [[#References|[a7]]]). |
− | 2) E. Witten [[#References|[a8]]] used the Chern–Simons functional to set up a topological quantum field theory (cf. also [[Quantum field theory|Quantum field theory]]), which gives rise to invariants for knots and links in | + | 2) E. Witten [[#References|[a8]]] used the Chern–Simons functional to set up a topological quantum field theory (cf. also [[Quantum field theory|Quantum field theory]]), which gives rise to invariants for knots and links in $3$-manifolds including the Jones polynomial for knots in the $3$-sphere. See also [[#References|[a1]]] and [[#References|[a2]]]. |
The Chern–Simons functional is a special case of the Chern–Simons invariant and characteristic classes. General references are [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]. | The Chern–Simons functional is a special case of the Chern–Simons invariant and characteristic classes. General references are [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]. | ||
====References==== | ====References==== | ||
− | <table>< | + | <table><tr><td valign="top">[a1]</td> <td valign="top"> S. Axelrod, I.M. Singer, "Chern–Simons perturbation theory" , ''Proc. XXth Internat. Conf. on Differential Geometric Methods in Theoretical Physics (New York, 1991)'' , World Sci. (1992)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> S. Axelrod, I.M. Singer, "Chern–Simons pertubation theory II" ''J. Diff. Geom.'' , '''39''' (1994) pp. 173–213</td></tr><tr><td valign="top">[a3]</td> <td valign="top"> J. Cheeger, J. Simons, "Differential characters and geometric invariants" , ''Geometry and Topology (Maryland, 1983/4'' , ''Lecture Notes Math.'' , '''1167''' , Springer (1985)</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> S.-S. Chern, J. Simons, "Characteristic forms and geometric invariants" ''Ann. of Math.'' , '''99''' (1974) pp. 48–69</td></tr><tr><td valign="top">[a5]</td> <td valign="top"> J.L. Dupont, F.W. Kamber, "On a generalization of Cheeger–Chern–Simons classes" ''Illinois J. Math.'' , '''33''' (1990) pp. 221–255</td></tr><tr><td valign="top">[a6]</td> <td valign="top"> A. Floer, "An instanton-invariant for 3-manifolds" ''Comm. Math. Phys.'' , '''118''' (1988) pp. 215–240</td></tr><tr><td valign="top">[a7]</td> <td valign="top"> C.H. Taubes, "Casson's invariant and gauge theory" ''J. Diff. Geom.'' , '''31''' (1990) pp. 547–599</td></tr><tr><td valign="top">[a8]</td> <td valign="top"> E. Witten, "Quantum field theory and the Jones polynomial" ''Comm. Math. Phys.'' , '''121''' (1989) pp. 351–399</td></tr></table> |
Latest revision as of 16:58, 1 July 2020
A Lagrangian in the theory of gauge fields on an oriented manifold $M$ of dimension $3$. More precisely, it is a ${\bf R} / 2 \pi \bf Z$-valued function $\operatorname{CS}$ on the space of connections ( "gauge fields" ) on a principal $G$-bundle (cf. also Principal $G$-object) with base space $M$ for a compact connected Lie group $G$. For $G$ simply connected, e.g. $G = \operatorname {SU} ( N )$, the bundle can be taken to be the product bundle and the Chern–Simons functional is given by the formula
\begin{equation*} \operatorname {CS} ( A ) = \frac { 1 } { 4 \pi } \int _ { M } \operatorname { Tr } ( A \bigwedge d A + \frac { 2 } { 3 } A \bigwedge A \bigwedge A ) \operatorname { mod } 2 \pi , \end{equation*}
where the connection is given by the matrix-valued $1$-form $A$ and $\operatorname { Tr}$ is the usual trace of matrices (cf. also Trace of a square matrix).
$\operatorname{CS}$ is invariant under gauge transformations, i.e. automorphisms of the $G$-bundle, and hence it defines a Lagrangian on the space of orbits for the action of the group of these. The critical points of $\operatorname{CS}$ are given by the flat connections, i.e. those for which the curvature
\begin{equation*} F _ { A } = d A + A \bigwedge A \end{equation*}
vanishes (cf. also Connection).
Applications of the Chern–Simons functional.
1) Using the Chern–Simons functional as a Morse function, A. Flöer [a6] defined invariants for homology $3$-spheres related to the Casson invariant (see [a7]).
2) E. Witten [a8] used the Chern–Simons functional to set up a topological quantum field theory (cf. also Quantum field theory), which gives rise to invariants for knots and links in $3$-manifolds including the Jones polynomial for knots in the $3$-sphere. See also [a1] and [a2].
The Chern–Simons functional is a special case of the Chern–Simons invariant and characteristic classes. General references are [a3], [a4], [a5].
References
[a1] | S. Axelrod, I.M. Singer, "Chern–Simons perturbation theory" , Proc. XXth Internat. Conf. on Differential Geometric Methods in Theoretical Physics (New York, 1991) , World Sci. (1992) |
[a2] | S. Axelrod, I.M. Singer, "Chern–Simons pertubation theory II" J. Diff. Geom. , 39 (1994) pp. 173–213 |
[a3] | J. Cheeger, J. Simons, "Differential characters and geometric invariants" , Geometry and Topology (Maryland, 1983/4 , Lecture Notes Math. , 1167 , Springer (1985) |
[a4] | S.-S. Chern, J. Simons, "Characteristic forms and geometric invariants" Ann. of Math. , 99 (1974) pp. 48–69 |
[a5] | J.L. Dupont, F.W. Kamber, "On a generalization of Cheeger–Chern–Simons classes" Illinois J. Math. , 33 (1990) pp. 221–255 |
[a6] | A. Floer, "An instanton-invariant for 3-manifolds" Comm. Math. Phys. , 118 (1988) pp. 215–240 |
[a7] | C.H. Taubes, "Casson's invariant and gauge theory" J. Diff. Geom. , 31 (1990) pp. 547–599 |
[a8] | E. Witten, "Quantum field theory and the Jones polynomial" Comm. Math. Phys. , 121 (1989) pp. 351–399 |
Chern-Simons functional. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Chern-Simons_functional&oldid=50247