∞-Chern–Weil Theory

In mathematics, ∞-Chern–Weil theory is a generalized formulation of Chern–Weil theory from differential geometry using the formalism of higher category theory. The theory is named after Shiing-Shen Chern and André Weil, who first constructed the Chern–Weil homomorphism in the 1940s, although the generalization was not developed by them.

Generalization

There are three equivalent ways to describe the $k$-th Chern class of complex vector bundles of rank $n$, which is as a:

* (1-categorical) natural transformation ,\operatorname(n)Rightarrow ,K(\mathbb,2k)/math>
* homotopy class of a continuous map $\operatorname(n)\rightarrow K(\mathbb,2k)$
* singular cohomology class in $H^(\operatorname(n),\mathbb)$

$\operatorname(n)$ is the classifying space for the unitary group $\operatorname(n)$ and $K(\mathbb,2k)$ is an Eilenberg–MacLane space, which represent the set of complex vector bundles of rank $n$ with ,\operatorname(n)cong\operatorname_\mathbb^n(-) and singular cohomology with ,K(\mathbb,2k)\cong H^(-,\mathbb). The equivalence between the former two descriptions is given by the Yoneda lemma. The equivalence between the latter two descriptions is given again by the classification of singular cohomology by Eilenberg–MacLane spaces. The singular cohomology class corresponding to the Chern class is that of the universal vector bundle, hence $c_k(\gamma_\mathbb^n) \in H^(\operatorname(n),\mathbb)$.

A simple example motivating the necessity for a wider view and the description by higher structures is the classifying space $\operatorname(1) \cong\mathbbP^\infty$. It has a H-space structure, which is unique up to homotopy, so one can again consider its classifying space, which is denoted $\operatorname(1)$. Due to this property, $\operatorname(1) \cong S^1$is a 2-group and $\operatorname(1)$ is a Lie 2-groupoid. Going to the classifying space shifts the homotopy group up, hence $\operatorname(1)$, $\operatorname(1)$ and $\operatorname(1)$ are the Eilenberg–MacLane spaces $K(\mathbb,1)$, $K(\mathbb,2)$ and $K(\mathbb,3)$ respectively. Describing the Eilenberg–MacLane space $K(\mathbb,2k)$ therefore requires repeating this process, for which switching to ∞-groups is necessary. Since loop spaces shift the homotopy group down, the classifying space in the ∞-category $\operatorname$ of topological spaces is in general known as ''delooping''. In the ∞-topos $\infty\operatorname$ of ∞-groupoids, it corresponds to forming the ∞-category with a single object.

∞-Chern–Weil homomorphism

Let $\mathbf$ be a ∞-topos. The fundamental ∞-groupoid $\Pi\colon\mathbf\rightarrow\infty\operatorname$ has a right adjoint $\operatorname\colon \infty\operatorname\rightarrow\mathbf$, which again has a right adjoint $\Gamma\colon \mathbf\rightarrow\infty\operatorname$, so $\Pi\dashv\operatorname\dashv\Gamma$. Let $\textstyle\int :=\operatorname\circ\Pi\colon \mathbf\rightarrow\mathbf$ and $\flat :=\operatorname\circ\Gamma\colon \mathbf\rightarrow\mathbf$, then there is an adjunction $\textstyle\int\dashv\flat$.Schreiber 2013, 1.2.7.2 on p. 134-136

Let $G$ be an ∞-group and $\mathbfG$ its delooping. A characteristic class is a morphism $c\colon \mathbfG\rightarrow\mathbf^n\operatorname(1)$. The counit of $\operatorname\dashv\Gamma$ provides a canonical map $\flat\mathbfG\rightarrow\mathbfG$. Its homotopy fiber, which gives the obstruction to the existence of flat lifts, is denoted $\flat_\mathrm\mathbfG$ (with dR standing for de Rham), so there is a sequence $\flat_\mathrm\mathbfG\rightarrow\flat\mathbfG\rightarrow\mathbfG$. In case of $G=\mathbf^\operatorname(1)$, there is also a connecting morphism $\operatorname\colon\mathbf^n\operatorname(1)\rightarrow\flat_\mathrm\mathbf^\operatorname(1)$ called curvature, which extends the sequence and even connects all of them into a single long sequence. For an ∞-group $G$, the composition:

: $\operatorname\circ c\colon \mathbfG\rightarrow\flat_\mathrm\mathbf^\operatorname(1)$

is the ''∞-Chern–Weil homomorphism''. Through postcomposition, it assigns a $G$-principal ∞-bundle $X\rightarrow\mathbfG$ a de Rham cohomology class $X\rightarrow\flat_\mathrm\mathbf^\operatorname(1)$, alternatively written as a morphism $H(X,G)\rightarrow H_\mathrm^(X)$ with intrinsicSchreiber 2013, p. 96 and de Rham cohomology:

: $H(X,G) :=\pi_0\mathbf(X,\mathbfG);$
: $H_\mathrm^n(X,G) :=\pi_0\mathbf(X,\flat_\mathrm\mathbfG).$

Additionally, there is also flat differential $G$-valued cohomology:

: $H_\mathrm(X,G) :=\pi_0\mathbf(X,\flat\mathbfG) \cong\pi_0\mathbf(\textstyle\int X,\mathbfG) =H(\textstyle\int X,G)$

with the canonical morphism $\flat\mathbfG\rightarrow\mathbfG$ inducing a forgetful morphism $H_\mathrm(X,G)\rightarrow H(X,G)$.

See also

* ∞-Chern–Simons theory

Literature

*
* {{cite arXiv , arxiv=1011.4735 , author1=Domenico Fiorenza , author2=Urs Schreiber , author3=Jim Stasheff , title=Cech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction , date=2011-06-08

References

External links

* Chern-Weil theory in Smooth∞Grpd on ''n''Lab

Differential geometry
Higher category theory