Current browse context:
math.AT
Change to browse by:
References & Citations
Mathematics > Algebraic Topology
Title: Smooth simplicial sets and universal Chern-Weil homomorphism
(Submitted on 25 Dec 2021 (v1), last revised 8 Oct 2022 (this version, v5))
Abstract: We introduce a basic geometric-categorical notion of a smooth simplicial set. Loosely, this is to Chen/diffeological spaces of Chen-Souriau as simplicial sets are to spaces. Given a Frechet Lie group $G$, and a chosen Grothendieck universe $\mathcal{U} $ of a certain type, we give a new construction of a classifying space of $G$: $|BG ^{\mathcal{U} }|$, so that $BG ^{\mathcal{U} }$ is a smooth Kan complex. When $G$ in addition has the homotopy type of CW complex, there is a homotopy equivalence $BG \simeq |BG ^{\mathcal{U} }|$, where $BG$ is the usual Milnor classifying space. This leads to our main application that for $G$ an infinite dimensional Lie group, having the homotopy type of CW complex, there is a universal Chern-Weil homomorphism: \begin{equation*}
\mathbb{R} [\mathfrak g] ^{G} \to H ^{*} (BG,
\mathbb{R}), \end{equation*} satisfying naturality, and generalizing the classical Chern-Weil homomorphism for finite dimensional Lie groups. As one basic example we give a full statement and proof of Reznikov's conjecture, which in particular gives an elementary proof of a theorem of Kedra-McDuff, on the topology of $BHam (\mathbb{CP} ^{n} ) $. We also give a construction of the universal coupling class for all possibly non-compact symplectic manifolds.
Submission history
From: Yakov Savelyev [view email][v1] Sat, 25 Dec 2021 19:21:59 GMT (47kb)
[v2] Sun, 17 Apr 2022 17:33:30 GMT (57kb)
[v3] Thu, 19 May 2022 17:11:54 GMT (60kb)
[v4] Tue, 27 Sep 2022 01:14:40 GMT (66kb)
[v5] Sat, 8 Oct 2022 13:43:54 GMT (66kb)
Link back to: arXiv, form interface, contact.