Abstract:After introducing the simplicial manifolds, such as the different ways of defining the differential forms on them, we summarized a canonical way of calculating the characteristic classes of a $G$-principal bundle by computing them on the classifying bundle $EG\longrightarrow BG$. Finally, we calculated the first Pontryagin class on the classifying bundle of the Lie matrix groups and showed that for certain of them, the computed form is equal to the symplectic form on $BG$ given by some authors up to a constant coefficient.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend the Chern - Weil classification to simplicial principal bundles. Specifically, the goals of the paper include:
1. **Introduce simplicial manifolds and simplicial sets**: Define and discuss the basic concepts of simplicial objects, such as simplicial sets, simplicial manifolds and their nerves, and give the geometric realizations of these objects.
2. **Construct the de Rham complex**: Provide two ways to define differential forms on simplicial manifolds and prove that although these two definitions are not equivalent, the cohomology they generate is the same. The first definition is similar to the Čech complex, and the second is based on geometric realization, similar to the usual de Rham complex.
3. **Extend the Chern - Weil theory**: Extend the characteristic class calculation in the Chern - Weil theory from ordinary principal bundles to simplicial principal bundles. In particular, using the canonical connection introduced by Shulman on the classifying bundle, a general method for calculating characteristic classes is provided.
4. **Apply to matrix groups**: Calculate the first Pontryagin class on the classifying bundles of matrix Lie groups (such as Spin groups), and prove that in some cases, this characteristic class is proportional to the symplectic form on the classifying space \( BG \) given by some authors (Cueca, Zhu and Weinstein).
5. **Verify the symplectic structure**: Finally, the paper aims to prove that in some specific cases, the characteristic form of the first Pontryagin class on the classifying bundle is equal to the symplectic form on the classifying space \( BG \), up to a constant coefficient.
Through these steps, the paper not only solves the problem of how to extend the Chern - Weil classification to simplicial principal bundles, but also shows the application of this extension in specific examples, especially in the characteristic class calculation on matrix Lie groups.
### Formula Summary
1. **Maps in the simplicial category**:
- Face maps:
\[
d_i^n: [n] \to [n - 1], \quad i \in [0, n]
\]
- Degeneracy maps:
\[
s_i^n: [n] \to [n + 1], \quad i \in [0, n]
\]
2. **Differentials in the de Rham complex**:
- Vertical differential:
\[
d: C^{p,q}(V) \to C^{p,q + 1}(V)
\]
- Horizontal differential:
\[
\delta: C^{p,q}(V) \to C^{p + 1,q}(V), \quad \delta=\sum_{j = 0}^{p + 1}(-1)^j(d_j^*)|_{C^{p,q}(V)}
\]
3. **Characteristic class calculation**:
- First Pontryagin class:
\[
p_1(EG \to BG)
\]
- Symplectic form:
\[
\omega_{BG}
\]
Through these formulas and definitions, the paper successfully extends the Chern - Weil theory to simplicial principal bundles and verifies its application in specific cases.