Abstract
In the previous part of this diptych, we defined the notion of an admissible simplicial connection, as well as explaining how H.I. Green constructed a resolution of coherent analytic sheaves by locally free sheaves on the Čech nerve. This paper seeks to apply these abstract formalisms, by showing that Green’s barycentric simplicial connection is indeed admissible, and that this condition is exactly what we need in order to be able to apply Chern–Weil theory and construct characteristic classes. We show that, in the case of (global) vector bundles, the simplicial construction agrees with what one might construct manually: the explicit Čech representatives of the exponential Atiyah classes of a vector bundle agree. Finally, we summarise how all the preceding theory fits together to allow us to define Chern classes of coherent analytic sheaves, as well as showing uniqueness in the compact case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 History and motivation
For an in-depth history and motivation, we refer the reader to the previous part of this diptych [8, §1] (and we more generally assume that the reader is already somewhat familiar with its contents, although we always make explicit mention of any results that we use). We will however give a brief overview here.
In 1980, Green’s thesis [4] gave a construction of Chern classes for coherent analytic sheaves using twisting cochains, technology developed and put to great use by Toledo, Tong, and O’Brian in a series of work throughout the 70 s and 80 s, where they proved, amongst other things, a version of Grothendieck–Riemann–Roch for complex manifolds [10]. Although Green’s work was summarised from a more abstract point of view in [11], there was still no formal framework for the “simplicial connections” of which he made use, nor for his resolution, which turned a twisting cochain (an inherently homotopical object) into a complex of vector bundles on the Čech nerve (something much more homotopically strict). The main purpose of [8] was to rectify this situation, using the language of \((\infty ,1)\)-categories to turn Green’s resolution into an equivalence between certain categories of complexes of coherent sheaves and that of vector bundles on the Čech nerve endowed with simplicial connections, and also to formally define the ingredients necessary to develop a simplicial version of Chern–Weil theory. The purpose of this present work is to show that explicit calculations one can do “by hand”, Green’s construction, and this simplicial Chern–Weil theory, all give the same Čech representatives for the Chern classes of coherent analytic sheaves.
1.2 Purpose and overview
The calculations in this paper largely focus on globalFootnote 1 vector bundles on the nerve; we delay the study of coherent sheaves and arbitrary vector bundles on the nerve until the last section. This is because Green vector bundles on the nerve (resp. simplicial connections generated in degree zero) are really a mild generalisation of pullbacks of global vector bundles (resp. Green’s barycentric connections), and so, by studying the latter, we can mostly understand the former.
The main contributions of this paper are the following:
-
1.
We manually compute explicit representatives in the Čech-de Rham bicomplex of the first four Atiyah classes (from which we can recover the Chern classes) of an arbitrary holomorphic vector bundle on a complex manifold (Sect. 3).
-
2.
We introduce and develop a simplicial version of Chern–Weil theory, and show that this can be applied in particular to Green’s barycentric connection, placing it in a general formal framework. Explicit calculations show that this agrees with the manual computations above (Sect. 5).
-
3.
This simplicial Chern–Weil theory allows us to construct Čech simplicial Atiyah classes of complexes of coherent analytic sheaves. We then show that, in the case of a compact complex manifold, we recover exactly Čech representatives of the classical Chern classes (Corollary 6.3.2).
In Sect. 2 we recall the definition of Atiyah classes and study some of their properties, before recalling the definition of fibre integration of simplicial differential forms.
The purpose of Sect. 3 is simply to detail an inefficient algorithm for lifting exponential Atiyah classes of vector bundles to closed elements in the Čech-de Rham bicomplex. This isn’t particularly useful on its own, but will later act as an assurance that the simplicial construction does indeed given the results that we would hope for. Indeed, this section demonstrates the need for a more abstract approach.
As promised in the previous part of this diptych, we explain, in Sect. 4, how the admissibility condition of simplicial connections is exactly what we need in order to be able to apply Chern–Weil theory, and thus get well-defined characteristic classes from our simplicial connections.
Although the preceding section is general enough to apply to arbitrary vector bundles on the nerve, in Sect. 5, we apply the results to the specific case of Green’s barycentric connection on global vector bundles. This allows us to compare the resulting Čech representatives to those calculated in Sect. 3 to see that they do indeed agree.
Finally, Sect. 6 gives a summary of the whole story contained in this two-part work: we already know that we can resolve coherent analytic sheaves by vector bundles on the nerve, and that we even get sufficiently nice connections on the latter; now we can apply the results in this paper to obtain characteristic classes. There is an even stronger result, further reinforcing the fact that this simplicial construction is indeed the “good” one: whenever X is compact, we can appeal to an axiomatisation of Chern classes to show that the construction given here agrees with any other construction that one might construct in some other way.
2 Preliminaries
Throughout, let \((X,\mathscr {O}_X)\) be a paracompact complex-analytic manifold with its structure sheaf the sheaf of holomorphic functions; let \(\mathscr {U}\) be a locally-finite Stein open cover such that all finite intersections are also Stein. Let E be a vector bundle of rank \(\mathfrak {r}\) on X, and assume that it is trivialised by \(\mathscr {U}\). We have trivialisation maps , and transition maps
given on overlaps by \(M_{\alpha \beta }=\varphi _\alpha \circ \varphi _\beta ^{-1}\). By picking some basis of sections \(\{s^{\alpha }_1,\ldots ,s^{\alpha }_\mathfrak {r}\}\) of E over \(U_\alpha \) we can realise the \(M_{\alpha \beta }\) as \((\mathfrak {r}\times \mathfrak {r})\)-matrices that describe the change of basis when we go from \(E\mathbin {\big \vert }U_\beta \) to \(E\mathbin {\big \vert }U_\alpha \), i.e.
We continue to use the conventions, definitions, and notation from the previous paper [8], but recall particularly pertinent results when necessary. In addition, we write \(S_{k}\) to mean the symmetric group on k elements, and \(|\sigma |\) to mean the sign of a permutation \(\sigma \in S_{k}\).
2.1 Standard and exponential Atiyah classes
Definition 2.1.1
The Atiyah exact sequence (or jet sequence) of a locally free sheaf E of \(\mathscr {O}_X\)-modules is the short exact sequence
where \(J^1(E)=(E\otimes \Omega _X^1)\oplus E\) as a \({\mathbb {C}}_X\)-module (writing \({\mathbb {C}}_X\) to mean the constant sheaf on X of value \({\mathbb {C}}\)), but with an \(\mathscr {O}_X\)-action defined by
The Atiyah class \(\textrm{at}_E\) of E is defined to be the extension class of this short exact sequence:
Remark 2.1.2
We are interested in the Atiyah class, as well as the higher standard and exponential Atiyah classes, (which we define later), of a vector bundle because their trace is “equivalent”, in some sense that we make precise below, to the Chern classes.
\(\bullet \) [9, Proposition 4.3.10] shows us that the the trace of the Atiyah class gives the same class in cohomology as the curvature of the Chern connection; combined with [9, Example 4.4.8 i)], this tells us that the standard Atiyah classes and the Chern classes are the same, up to a constant. There are some more general comments about this equivalence in [9, p. 200], just below Example 4.4.11.
\(\bullet \) [9, Exercise 4.4.11] tells us that the Chern characters (or exponential Chern classes) are given (up to a constant) by the traces of the exponential Atiyah classes.
\(\bullet \) The traces of the Atiyah classes satisfy an axiomatisation of Chern classes that, in the case where X is compact, guarantees uniqueness. This is explained in Sect. 6.3.
Note that the treatment of the Atiyah class in [9] is somehow reverse to that found here: it starts there with the Atiyah class as a Čech cocycle and then shows that it is equivalent to some splitting of the Atiyah exact sequence.
Definition 2.1.3
A holomorphic (Koszul) connection \(\nabla \) on a vector bundle E on X is a (holomorphic) splitting of the Atiyah exact sequence of E. By enforcing the Leibniz rule
we can extend any connection \(\nabla :E\rightarrow E\otimes \Omega _X^1\) to a mapFootnote 2\(\nabla :E\otimes \Omega _X^r\rightarrow E\otimes \Omega _X^{r+1}\). The curvature \(\kappa (\nabla )\) of a connection \(\nabla \) is the map
given by enforcing the above Leibniz rule.
Given a connection \(\nabla \) on E, we say that a section \(s\in \Gamma (U,E)\) is flat if \(\nabla (s)=0\); we say that the connection \(\nabla \) is flat if \(\kappa (\nabla )=0\).
Remark 2.1.4
Given the definition of a connection as a splitting of the Atiyah exact sequence, and the Atiyah class as the extension class of the Atiyah exact sequence, we see that one way of understanding the Atiyah class is as the obstruction to admitting a (global) holomorphic connection.
Lemma 2.1.5
Any vector bundle on a Stein manifold admits a holomorphic connection.
Proof
This is an application of Cartan’s Theorem B, using the fact that a vector bundle can be viewed as a locally free sheaf. See [4, Lemma O.E.3]. \(\square \)
Lemma 2.1.6
The Atiyah class of E is represented by the Čech cocycle
Proof
First, recall that the difference of any two connections is exactly an \(\mathscr {O}_X\)-linear map. Secondly, note that the cocycle condition is indeed satisfied, since
Combined, this tells us that . Then we use the isomorphisms
Finally, we have to prove that the class thus defined in homology agrees with that given in our definition of the Atiyah class. We show this by proving a more general fact.
Let \(0\rightarrow \mathscr {A}\rightarrow \mathscr {B}\rightarrow \mathscr {C}\rightarrow 0\) be a short exact sequence in some abelian category \(\mathcal {A}\). By definition, \([\mathscr {B}]\in {{\,\textrm{Ext}\,}}_\mathcal {A}^1(\mathscr {C},\mathscr {A})\) is the class in \({{\,\textrm{Hom}\,}}_{\mathscr {D}(\mathcal {A})}(\mathscr {C},\mathscr {A}[1])\) of the canonical morphism \(\mathscr {C}\rightarrow \mathscr {A}[1]\) constructed using \(\mathscr {B}\) as follows:
-
(i)
Consider \(\mathscr {A}\rightarrow \mathscr {B}\) as a complex with \(\mathscr {B}\) in degree 0, and take the quasi-isomorphism ;
-
(ii)
Invert this quasi-isomorphism to get a map such that the composite is the identity;
-
(iii)
Compose with the identity map \((\mathscr {A}\rightarrow \mathscr {B})\rightarrow \mathscr {A}[1]\).
When \(\mathcal {A}\) is the category of locally free sheaves on X, we can realise the quasi-isomorphism as a quasi-isomorphism by using the Čech complex of a complex:
where \(\check{\mathcal {C}}^0(\mathscr {A})\) is in degree \(-1\). If we have local sections \(\sigma _\alpha :\mathscr {C}\mathbin {\big \vert }{U_\alpha }\rightarrow \mathscr {B}\mathbin {\big \vert }{U_\alpha }\) then \(\sigma _\beta -\sigma _\alpha \) lies in the kernel \({{\,\textrm{Ker}\,}}(\mathscr {B}\mathbin {\big \vert }{U_{\alpha \beta }}\rightarrow \mathscr {C}\mathbin {\big \vert }{U_{\alpha \beta }})\), and so we can lift this difference to \(\mathscr {A}\), giving us the map
This map we have constructed is exactly \([\mathscr {B}]\). More precisely,
\(\square \)
Definition 2.1.7
We write \(\omega _{\alpha \beta }\) for the cocycle .
Remark 2.1.8
When \(\mathscr {E}\), \(\mathscr {F}\), and \(\mathscr {G}\) are sheaves of \(\mathscr {O}_X\)-modules, with \(\mathscr {G}\) locally free, we have the isomorphism
In particular,
Taking the trivialisation over \(U_\alpha \), this lets us consider \(\omega _{\alpha \beta }\) as an endomorphism- valued 1-form: an \((\mathfrak {r}\times \mathfrak {r})\)-matrix of (holomorphic) 1-forms on X (where \(\mathfrak {r}\) is the rank of E).
Remark 2.1.9
Recall that, for sheaves \(\mathcal {F}\) and \(\mathcal {G}\) of \(\mathscr {O}_X\)-modules, we have the cup product
which is given in Čech cohomology by the tensor product: \((a\smile b)_{\alpha \beta \gamma } = (a)_{\alpha \beta }\otimes (b)_{\beta \gamma }\).
Definition 2.1.10
We define the second exponentialFootnote 3 Atiyah class \(\textrm{at}^{\circ 2}_E\) by the following construction: take the cup product
and apply the composition map
to obtain
and then apply the wedge product (of differential forms) to get
\(\square \)
In general, the k-th exponential Atiyah class \(\textrm{at}^{\circ k}_E\) is the class
where the product is given by applying composition and then the wedge product (of forms) as above.
Remark 2.1.11
As a general note on notation, we will omit the wedge symbol \(\wedge \) when talking about the wedge product of differential forms (or we will use \(\cdot \) if we have to use any symbol at all), and reserve it solely for the wedge product of endomorphisms. In particular, for endomorphism-valued forms M and N, we write MN (or \(M\cdot N\)) to mean the object given by composing the endomorphisms and wedging the forms, and \(M\wedge N\) to mean the object given by wedging the endomorphisms (following [1, Definition 2.1.1]) and wedging the forms. In terms of \((2\times 2)\)-matrices (i.e. taking E to be of rank 2), this means
Note that, if we take the trace, then these two objects will both be 2-forms on U. Similarly, \(\textrm{tr}(M^k)\) and \(\textrm{tr}(\wedge ^kM)\) are both just k-forms on U.
Remark 2.1.12
The classical theory of Chern classes has two important “types” of Chern class: standard and exponential. For now, we are content with simply saying, as a definition, that the polynomial that gives the exponential classes is \(\textrm{tr}(M^p)\), and the polynomial that gives the standard classes is \(\textrm{tr}(\wedge ^pM)\). Caution is needed when discussing the k-th Atiyah class though: there is no trace in the definition; to obtain characteristic classes we have to take the trace.
Definition 2.1.13
We define the second standard Atiyah class \(\textrm{at}^{\wedge 2}_E\) by the following construction: take the cup product
and then apply the wedge product of endomorphisms and the wedge product of forms to get
In general, the k-th standard Atiyah class \(\textrm{at}^{\wedge k}_E\) is the class
Remark 2.1.14
We can find an explicit representative for \(\textrm{at}^{\circ 2}_E\) by using Remark 2.1.9:
which corresponds to
where \(\textrm{Mat}_{\mathfrak {r}\times \mathfrak {r}}(A)\) is the collection of A-valued \((\mathfrak {r}\times \mathfrak {r})\)-matrices. But before composing these two matrices, as described in Definition 2.1.10, we first have to account for the change of trivialisation from \(U_{\beta \gamma }\) to \(U_{\alpha \beta }\). That is, after applying composition and the wedge product, we have
Remark 2.1.15
We know that \(\textrm{at}^{\circ 3}_E\) is represented locally by \(\omega _{\alpha \beta }\omega _{\beta \gamma }\omega _{\gamma \delta }\), but where \(\omega _{\beta \gamma }\) and \(\omega _{\gamma \delta }\) undergo a base change to become \(\Omega ^1(U_{\alpha \beta })\)-valued. But then there seem to be two choices of how we might calculate this:
-
1.
base change \(\omega _{\gamma \delta }\) to be \(\Omega ^1(U_{\beta \gamma })\)-valued; compose with \(\omega _{\beta \gamma }\); and then base change this composition to be \(\Omega ^1(U_{\alpha \beta })\)-valued; or
-
2.
base change both \(\omega _{\gamma \delta }\) and \(\omega _{\beta \gamma }\) to be \(\Omega ^1(U_{\alpha \beta })\)-valued; and then perform the triple composition.
These two would give the same result if
and, thankfully, this equality does indeed hold, thanks to the cocycle condition on the \(M_{\alpha \beta }\) and some form of associativity,Footnote 4 and so we can use whichever one we so please.
2.2 Fibre integration
Here we recall some results summarised in [8, §2.3]. Let \(Y_\bullet \) be a simplicial complex manifold. Following [2], we define a simplicial differential r-form on \(Y_{\bullet }\) to be a family \((\omega _p)_{p\in {\mathbb {N}}}\) of forms, with \(\omega _p\) a global section of the sheaf
(where \(\Delta ^p_\textrm{extd}\) is the affine subspace of \({\mathbb {R}}^{p+1}\) given by the vanishing of \(1-\sum _{m=0}^p x_p\); where \(\Omega _{Y_p}\) is the sheaf of holomorphic forms, and \(\Omega _{\Delta ^p_\textrm{extd}}\) is the sheaf of smooth forms; and where \(\pi _{Y_p}\) and \(\pi _{\Delta ^p_\textrm{extd}}\) are the projection maps from \(Y_p\times \Delta ^p_\textrm{extd}\)) such that, for all coface maps \(f_p^i:[p-1]\rightarrow [p]\),
We write \(\Omega ^{r,\Delta }(Y_\bullet )\) to mean the algebra of all simplicial differential r-forms on \(Y_\bullet \). We can describe each \(\omega _p\) as a form of type (i, j), by writing \(\omega _p = \xi _p\otimes \tau _p\), where \(\xi _p\) is the \(Y_p\)-part of \(\omega _p\), and \(\tau _p\) is the \(\Delta ^p\)-part of \(\omega _p\), and then setting \(i=|\xi _p|\) and \(j=|\tau _p|\). This lets us define a differential
which is given by the Koszul convention with respect to the type of the form:
Lemma 2.2.1
(Dupont’s fibre integration) There is a quasi-isomorphism which, for each fixed degree r, consists of a map
induced by fibre integration
where the latter is given by integrating the type \((r-p,p)\) part of a simplicial form over the geometric realisation of the p-simplex with its canonical orientation.
In particular, taking \(Y_\bullet =X_{\bullet }^\mathscr {U}\) gives
Remark 2.2.2
([4, p. 36]). Since the integral of a k-form over an \(\ell \)-dimensional manifold is only non-zero when \(k=\ell \), we see that the fibre integral of some simplicial differential r-form \(\omega _\bullet = \{\omega _p^{i,j}\}_{p\in {\mathbb {N}},i+j=r}\) is determined entirely by the type-\((r-p,p)\) parts on the p-simplices:
where the signs come from the fact that we work with \(X_{\bullet }^\mathscr {U}\times \Delta ^\bullet \) instead of \(\Delta ^\bullet \times X_{\bullet }^\mathscr {U}\).
Remark 2.2.3
There are further sign confusions that can arise from the choice of orientation on the simplices, but this will not concern us here. This is discussed in [7].
3 Manual construction for global vector bundles
Assume now that we have flat holomorphic (local) connections \(\nabla _\alpha \) on each \(E\mathbin {\big \vert }U_\alpha \).
3.1 Truncated de Rham cohomology
Remark 3.1.1
Since \(\mathscr {U}\) is Stein (and any finite intersection of these opens is also Stein) and the sheaves \(\Omega _X^r\) are coherent, we can apply Cartan’s Theorem B, which tells us that \(\check{{\mathbb {H}}}^k(\mathscr {U},\Omega _X^\bullet ) \cong \check{{\mathbb {H}}}^k(X,\Omega _X^\bullet )\). Since X is paracompact and \(\mathscr {U}\) is Stein, we know that Čech cohomology computes hypercohomology, and so \(\check{{\mathbb {H}}}^k(X,\Omega _X^\bullet ) \cong {\mathbb {H}}^k(X,\Omega _X^\bullet )\). Finally, \({\mathbb {H}}^k(X,\Omega _X^\bullet ) \cong {{\,\textrm{H}\,}}^k\left( X,{\mathbb {C}}\right) \) (by e.g. [12, Theorem 8.1]). In summary, we are in a nice enough setting that Čech-de Rham bicomplex lets us calculate singular cohomology:
Definition 3.1.2
Given the de Rham complex \(\Omega _X^\bullet \), we define the k-th Hodge complex \(\Omega _X^{\bullet \geqslant k}\) as the truncation
i.e. where \(\Omega _X^k\) is in degree k.
Definition 3.1.3
We define the k-th truncated de Rham cohomology (or tDR cohomology) to be \({{\,\textrm{H}\,}}_\text {tDR}^k(X)={\mathbb {H}}^k(X,\Omega _X^{\bullet \geqslant k})\).
Remark 3.1.4
If we have some closed class \(c=(c_0,\ldots ,c_{2k})\in {{\,\textrm{Tot}\,}}^{2k}\check{\mathcal {C}}^\bullet (\Omega ^\bullet _X)\), where \(c_i\in \check{\mathcal {C}}^i(\Omega _X^{2k-i})\), such that \(c_i=0\) for \(i\geqslant k+1\), then we can refine the corresponding class in singular cohomology \([c]\in {{\,\textrm{H}\,}}^{2k}(X,{\mathbb {C}})\) to a class \([c]\in {{\,\textrm{H}\,}}_\text {tDR}^{2k}(X)\) in tDR cohomology.
Remark 3.1.5
Recalling Remark 3.1.1, we know that we can use the Čech complex to calculate singular cohomology. Now, say we are given some \(c_k\in \check{\mathcal {C}}^k(\Omega _X^k)\) with \({\check{\delta }}c_k=0\) but \(\textrm{d}c_k\ne 0\). If we can find \(c_i\in \check{\mathcal {C}}^{i}(\Omega ^{2k-i}_X)\) for \(i=1,\ldots ,(k-1)\) such that \(\check{\delta }c_{i-1}=\textrm{d}c_i\), and define \(c_0=0\in \check{\mathcal {C}}^0(\Omega _X^{2k})\), thenFootnote 5
is \((\check{\delta }+(-1)^k\textrm{d})\)-closed, and thus represents a cohomology class in \({{\,\textrm{H}\,}}^{2k}{{\,\textrm{Tot}\,}}^\bullet \check{\mathcal {C}}^\star (\Omega _X^\star )\), and thus a cohomology class in \({{\,\textrm{H}\,}}^{2k}(X,{\mathbb {C}})\).
In essence, given some “starting element” in the Čech-de Rham bicomplex, we can try to manually lift it to some closed element of the same total degree.
Remark 3.1.6
A few important notes before we continue.
\(\bullet \) Although we have the isomorphism \(H^r{{\,\textrm{Tot}\,}}^\bullet \check{\mathcal {C}}^\star (\Omega ^\star _X) \cong {{\,\textrm{H}\,}}^r(X,{\mathbb {C}})\), we don’t necessarily have an easy way of computing explicitly what a closed class in the Čech-de Rham complex maps to under this isomorphism, unless it has a non-zero degree-(0, r) component, in which case it maps to exactly that component.
\(\bullet \) We will construct classes in singular cohomology, but note that they can actually all be considered as living in the corresponding tDR cohomology, thanks to Remark 3.1.4.
\(\bullet \) The assumption that the local connections \(\nabla _\alpha \) are flat is not necessary for the abstract theory, but essential for these explicit calculations.
\(\bullet \) We point out, once more, that the constructions given in this chapter are for the exponential Atiyah classes.
3.2 The first Atiyah class
We wish to calculate \(\omega _{\alpha \beta }\) (Definition 2.1.7), and we can use the fact that our local sections \(\{s_1^\alpha ,\ldots ,s_\mathfrak {r}^\alpha \}\) are \(\nabla _\alpha \)-flat:
(where we omit the restriction notation on the local connections). But then, using (2.0.0.1) followed by the Leibniz rule,
Since the \(s^\beta _\ell \) are \(\nabla _\beta \)-flat, the first part of each \(\ell \)-term is zero, and then, using the inverse of (2.0.0.1),
where we can move the \(M_{\alpha \beta }^{-1}\) across the tensor product because the tensor is over \(\mathscr {O}_X\), and the \(M_\ell ^m\) are exactly elements of this ring. Thus, in the \(U_\alpha \) trivialisation,
Remark 3.2.1
This \(\omega _{\alpha \beta }\) is exactly the first Chern class \(\textrm{d}\log M_{\alpha \beta }\) of the bundle.
Lemma 3.2.2
\(\textrm{d}\omega _{\alpha \beta }=-\omega _{\alpha \beta }^2\).
Proof
Using the fact that \(\textrm{d}\left( A^{-1}\right) =-A^{-1}\cdot \textrm{d}A\cdot A^{-1}\), we see that
\(\square \)
Lemma 3.2.3
\({\mathrm{d\, tr}}\omega _{\alpha \beta }=0\).
Proof
Since \({\mathrm{d\, tr}}\omega _{\alpha \beta }={\mathrm{tr\, d}}\omega _{\alpha \beta }=-\textrm{tr}\omega _{\alpha \beta }^2\), by Lemma 3.2.2, this lemma is a specific case of the factFootnote 6 that \(\textrm{tr}(A^{2k})=0\) for any \(k\in {\mathbb {N}}\). \(\square \)
By Lemma 3.2.3, and the fact that \(\omega _{\alpha \beta }\) is a Čech cocycle by definition (Lemma 2.1.6), we can draw the closed element \(\textrm{at}_E\) in the Čech-de Rham bicomplex as follows:
3.3 The second Atiyah class
By Definition 2.1.10, we know that
and we introduce the notation
so that \(\textrm{at}^{\circ 2}_E=AX\), and everything can be thought of as living over \(U_\alpha \).
By Lemma 3.2.2, we know that \(\textrm{d}A = -A^2\), and similarly for B and X. Further, by differentiating the cocycle condition \(M_{\alpha \beta }M_{\beta \gamma } = M_{\alpha \gamma }\) of the transition maps, and then right-multiplying by \(M_{\alpha \gamma }^{-1}\), we see thatFootnote 7\(\textrm{tr}(A+X)=\textrm{tr}(B)\). Hence
Using the fact that \(\textrm{d}A=A^2\) we see that \(\textrm{d}A^2=0\), whence
Recalling Remark 3.1.5, we want \(f\in \check{\mathcal {C}}^1(\Omega _X^3)\) such that \(\delta f=-{\mathrm{d\, tr}}(\textrm{at}^{\circ 2}_E)\) and \(\textrm{d}f=0\). It is necessary, but not sufficient, that f be the trace of a polynomial of homogeneous degree 3 in the one variable \(A=\omega _{\alpha \beta }\). But then \(f(A)=\textrm{tr}(A^3)\) is, up to a scalar multiple, our only option. We set \(f(A)=\frac{1}{3}\textrm{tr}(A^3)\) and compute its Čech coboundary:
Using the aforementioned (Lemma 3.2.3) fact that we can cyclically permute, up to a sign, inside the trace, we see that
Now we just have to worry about whether or not \(\textrm{d}f\) is zero. But
and we know, as in Lemma 3.2.3, that this is indeed zero.
This calculation can be summarised by the following diagram:
which gives us the closedFootnote 8 element
Remark 3.3.1
We know that \(\textrm{tr}\textrm{at}^{\circ 2}_E\) is a cocycle by definition, but we can still manually show that it is Čech closed:
3.4 The third Atiyah class
We extend our previous notation, writing
so that \(\textrm{at}^{\circ 3}_E = AXY = A(B-A)(C-B)\).
It is then relatively simple to calculate that
Trying to find some \(\varphi \in \check{\mathcal {C}}^2(\Omega ^4_X)\) such that \(\check{\delta }\varphi = {\mathrm{d\, tr}}\textrm{at}^{\circ 3}_E\), however, is slightly harder. The most naive approach is to list all the monomials in \(\check{\mathcal {C}}^2(\Omega ^4_X)\), apply the Čech differential to each one, and then equate coefficients. Using the fact that (up to a sign) we can cyclically permute under the trace, finding all the monomials is the same as finding all degree-2 monomials in non-commutative variables X and Y, modulo equivalence under cyclic permutation, and there are just four of these: \(X^2Y^2\), \((XY)^2\), \(X^3Y\), and \(XY^3\). By calculation,
is exactly such that \(\check{\delta }\varphi = {\mathrm{d\, tr}}\textrm{at}^{\circ 3}_E\). Factoring \(\textrm{d}\varphi \), we see that
This calculation can be summarised in the following diagram:
Taking the signs of the total differential into account, this gives us the closed element
where
3.5 The fourth Atiyah class and beyond
Looking at the first three Atiyah classes, there are some evident patterns: for example, the Čech 1-cocycle always seems to be some multiple of \(\textrm{tr}(A^{2k-1})\). Beyond some vague pattern recognition, however, it becomes increasingly hard to work with the k-th Atiyah class for \(k\geqslant 4\), mainly due to the cumbersome number of monomials whose coefficients we have to equate. It seems likely that there are two patterns—one for k odd, and one for k even—but even this is hard to verify, given that \(k=0\) and \(k=1\) are both rather trivial, and \(k\geqslant 4\) is so unwieldy that it becomes harder to recognise any patterns “by hand”.Footnote 9 For the sake of completeness, we give below the lift of \(\textrm{at}^{\circ 4}_E\), calculated by a basic Haskell implementation of the naive method used so far: calculating all non-commutative monomials of a certain degree, applying the Čech differential, and then equating coefficients.
The lift of \(\textrm{at}^{\circ 4}_E\) in the total complex is
where
The moral of the above calculation is the following: we need to find a better way of doing this.
4 Characteristic classes via admissible simplicial connections
Remark 4.0.1
We recall, from [8, §4.2], the motivating example for the definition of admissibility.
Write \(\mathscr {C}\) to mean the category whose objects are pairs \((V,\varphi )\) of finite-dimensional vector spaces V along with an endomorphism \(\varphi \), and whose morphisms \(f:(V,\varphi )\rightarrow (W,\psi )\) are the morphisms \(f:V\rightarrow W\) such that \(f\circ \varphi =\psi \circ f\). We say that \((V,\varphi )\) is flat if \(\varphi =0\). Then we consider the Grothendieck group \(K(\mathscr {C})\), and introduce the equivalence relation \([(V,0)]\sim [(0,0)]\) to obtain \(K(\mathscr {C})/\!\!\sim \). Letting \(E:\mathscr {C}\rightarrow \mathscr {C}\) be the endofunctor that sends \((V,\varphi )\) to \((V/{{\,\textrm{Ker}\,}}\varphi ,0)\), we write \({{\,\textrm{L}\,}}_E\mathscr {C}\) to mean the localisation of \(\mathscr {C}\) at all morphisms that become isomorphisms after applying E (the wide subcategory of which we denote by \(\mathscr {W}\)).
Then a morphism \(f:(V,\varphi )\rightarrow (W,\psi )\) is in \(\mathscr {W}\) if and only if it is admissible: if and only if there exist sub-spaces \(V_1\hookrightarrow V\) and \(W_1\hookrightarrow W\) such that
-
1.
\(V_1\subseteq {{\,\textrm{Ker}\,}}\varphi \); \(W_1\subseteq {{\,\textrm{Ker}\,}}\psi \);
-
2.
f restricts to a morphism \(V_1\rightarrow W_1\); and
-
3.
f descends to an isomorphism .
In fact, there is a canonical isomorphism .
4.1 Generalised invariant polynomials
Definition 4.1.1
Using the notation of Remark 4.0.1, a sequence \((P_k)_{k\in {\mathbb {N}}}\) of \({\mathbb {C}}\)-valued polynomials \(P_k\) on \(\mathscr {C}^{\otimes n}\) is said to be a generalised invariant polynomial of degree n if the following conditions are satisfied:
-
(i)
Each \(P_k\) is a \(\textrm{GL}_k\)-invariant \({\mathbb {C}}\)-valued \(\oplus \)-additive polynomial of degree n on
$$\begin{aligned} \left\{ \bigotimes _{i=1}^n(V_i,\varphi _i)\in \mathscr {C}^{\otimes n} \Bigm \vert \dim V_i=k\right\} \subset \mathscr {C}^{\otimes n}; \end{aligned}$$ -
(ii)
The \(P_k\) each factor through \(K(\mathscr {C})/\!\sim \).
The second condition is equivalent to the following: the \(P_k\) all satisfy the extension by zero property: \(P_k=P_{k+1}\circ \iota _k\) for all \(k\in {\mathbb {N}}\), where \(\iota _k\) is the linear embedding \({\mathbb {C}}^k\hookrightarrow {\mathbb {C}}^{k+1}\) corresponding to \(v\mapsto \left( \begin{array}{ll}v\\ 0\end{array}\right) \). This extension by zero property, when combined with additivity, tells us that P is fully additive:
Mirroring classical notation, given some \(P_\bullet =(P_k)_{k\in {\mathbb {N}}}\) on \(\mathscr {C}^{\otimes n}\), we write \(\widetilde{P_\bullet }\) to mean the sequence of invariant and additive polynomials on \(\mathscr {C}\) given by
Example 4.1.2
The prototypical example of a generalised invariant polynomial is the degree-1 polynomial given by \(P_k=\textrm{tr}\) for all \(r\in {\mathbb {N}}\), where the trace is of the endomorphism part of a pair; or, more generally, the degree n polynomial given by \(P_k^n=\textrm{tr}\circ \mu ^n\), where \(\mu ^n\) is the multiplication map that sends an n-fold tensor product of endomorphisms to the endomorphism given by the composition of all the endomorphisms.Footnote 10
Lemma 4.1.3
Using the notation from Remark 4.0.1, let \(f:(V,\varphi )\rightarrow (W,\psi )\) be an admissible morphism, and \((P_k)_{k\in {\mathbb {N}}}\) a generalised invariant polynomial of degree n that is zero on an n-fold tensor product of flat objects. Then \(\widetilde{P_k}\big ((V,\varphi )\big )=\widetilde{P_k}\big ((W,\psi )\big )\) for all \(k\in {\mathbb {N}}\).
Proof
By definition, there exist decompositions \(V\cong V_1\oplus V_2\) and \(W\cong W_1\oplus W_2\) such that \(\varphi (V_1)=\psi (W_1)=0\) and f restricts to an isomorphism . Then, necessarily, \(\dim V_2=\dim W_2=s\) for some \(s\in {\mathbb {N}}\). Since \(P_k\) is fully additive,
But \(P_k\) is assumed to be zero on an n-fold tensor product of flat objects, and so
Then \(\textrm{GL}_k\)-invariance tells us that
and this is equal to \({\widetilde{P}}_{\dim W}\big ((W,\psi )\big )\), again by full additivity and being zero on flat objects. \(\square \)
Corollary 4.1.4
Let \(\omega _\bullet \) be an admissible endomorphism-valued simplicial r-form.Footnote 11 on \(\mathscr {E}^\bullet \), and \(P_\star =(P_k)_{k\in {\mathbb {N}}}\) a generalised invariant polynomial of degree n that is zero on n-fold tensor products of flat objects. Then \(\widetilde{P_\star }(\omega _\bullet )\) is a simplicial rn-form.
Proof
First of all, we need to verify that \(\widetilde{P_\star }(\omega _\bullet )\) is well defined. Over any \(U_{\alpha _0\ldots \alpha _p}\), we have the pair \((\overline{\mathscr {E}_p},\omega _p)\mathbin {\big \vert }U_{\alpha _0\ldots \alpha _p}\times \Delta ^p\) consisting (after trivialisation) of an \(\mathscr {O}_{U_{\alpha _0\ldots \alpha _p}\times \Delta ^p}\)-module of rank \(\mathfrak {r}(\alpha _0\ldots \alpha _p)\) along with a form-valued endomorphism. As mentioned in [8, Remark 2.3], the rank \(\mathfrak {r}(p)=\mathfrak {r}(\alpha _0\ldots \alpha _p)\) is independent of the open set \(U_{\alpha _0\ldots \alpha _p}\). This means that we can define \({\widetilde{P}}_{\mathfrak {r}(p)}(\omega _p)\) by applying \({\widetilde{P}}_{\mathfrak {r}(p)}\) to the endomorphism part of \(\omega _p^{\otimes n}\), and wedging the n-fold tensor product of the form part.
Then we need to show that \((X_{\bullet }^\mathscr {U} f_p^i\times \textrm{id})^*{\widetilde{P}}_{\mathfrak {r}(p-1)}(\omega _{p-1}) = (\textrm{id}\times f_p^i)^*{\widetilde{P}}_{\mathfrak {r}(p)}(\omega _p)\). Now we can use the extension by zero property to replace \({\widetilde{P}}_{\mathfrak {r}(p-1)}\) and \({\widetilde{P}}_{\mathfrak {r}(p)}\) with \({\widetilde{P}}_{\mathfrak {s}}\), where \(\mathfrak {s}=\max \{\mathfrak {r}(p-1),\mathfrak {r}(p)\}\). But then, by admissibility and Lemma 4.1.3, it suffices to show that \({\widetilde{P}}_\mathfrak {s}\) commutes with pullbacks. Because \({\widetilde{P}}_{\mathfrak {s}}\) is just given by the wedge product of forms on the form part of \(\omega _p\), it commutes with pullbacks there. On the endomorphism part of \(\omega _p\), since we are working locally, the pullback is simply a change of basis, and so commutes with the \({\widetilde{P}}_{\mathfrak {s}}\) by \(\textrm{GL}\)-invariance. \(\square \)
4.2 Simplicial Chern–Weil
The simplicial version of Chern–Weil theory that we will now discuss is almost identical to the classical one, such as that found in [9, §4.4]: we can apply the classical arguments “simplicial level by simplicial level”, and then use the admissibility condition to ensure that these all glue.
Lemma 4.2.1
Let \(\mathscr {E}^\bullet \) be a vector bundle on the nerve, and \(\nabla _\bullet \) an admissible simplicial connection on \(\mathscr {E}^\bullet \). Let \(A_\bullet \) be an admissible endomorphism-valued simplicial 1-form, \(\gamma _\bullet ^j\) admissible endomorphism-valued simplicial \(d_j\)-forms, and let \(P_\bullet \) be a generalised invariant polynomial of degree n. Then
-
1.
\({\widetilde{P}}_\star (\kappa (\nabla _\bullet + t A_\bullet )) = {\widetilde{P}}_\star (\kappa (\nabla _\bullet )) + \kappa t P_\star (\kappa (\nabla _\bullet ),\ldots ,\kappa (\nabla _\bullet ),\nabla _\bullet (A_\bullet )) + \mathscr {O}(t^2)\);
-
2.
\(\kappa (\nabla _\bullet + A_\bullet ) = \kappa (\nabla _\bullet ) + A_\bullet \cdot A_\bullet + \nabla _\bullet (A_\bullet )\);
-
3.
\(\nabla _\bullet (\kappa (\nabla _\bullet )) = 0\);
-
4.
\(\textrm{d}P_\star (\gamma _\bullet ^1,\ldots ,\gamma _\bullet ^k) = \sum _{j=1}^k (-1)^{\sum _{\ell =1}^{j-1}d_j} P_\star (\gamma _\bullet ^1,\ldots ,\nabla _\bullet (\gamma _\bullet ^j),\ldots ,\gamma _\bullet ^k)\);
-
5.
\(\textrm{d}P_\star (\kappa (\nabla _\bullet )) = 0\).
Proof
The first statement is found in the proof of [9, Lemma 4.4.6], and so we simply apply it to each \(P_{\mathfrak {r}(p)}(\kappa (\nabla _p))\), where \(\mathfrak {r}(p)\) is the rank of \(\mathscr {E}^p\); the last four are [9, Lemma 4.3.4,Lemma 4.3.5,Lemma 4.4.4,Corollary 4.4.5] (respectively) applied to each \(P_{\mathfrak {r}(p)}(\kappa (\nabla _p))\). \(\square \)
Lemma 4.2.2
If \(\nabla _\bullet \) and \(\nabla '_\bullet \) are two admissibleFootnote 12 simplicial connections on \(\mathscr {E}^\bullet \) such that their difference is admissible, and \(P_\bullet \) is a generalised invariant polynomial of degree n, then
i.e. the difference \(P_\star (\kappa (\nabla '_\bullet )) - P_\star (\kappa (\nabla _\bullet )) \in \Omega _{X_{\bullet }^\mathscr {U}}^{\Delta ,2n}\) is exact in the simplicial de Rham complex.
Proof
This is [9, Lemma 4.4.6] applied in each simplicial degree (as in the proof of Lemma 4.2.1), but where we need the admissibility condition to see that everything glues: writing (locally) \(\nabla _\bullet = \textrm{d}+A_\bullet \) and \(\nabla '_\bullet = \textrm{d}+A'_\bullet \), we see that
By skew-symmetry, the last two terms will cancel when we apply \(P_\bullet \), and so we want the difference \(B_\bullet = A'_\bullet - A_\bullet \) to be admissible, since then \(P_\star (B_\bullet )\) will be an endomorphism-valued simplicial form (by Corollary 4.1.4), and so \(P_\star (\textrm{d}B_\bullet ) = \textrm{d}P_\star (B_\bullet )\) will be closed in the simplicial de Rham complex. But this is the case, by hypothesis. \(\square \)
Remark 4.2.3
Recall [8, Lemma 4.31]: generated-in-degree-zero simplicial connections on a Green (complex of) vector bundle(s) on the nerve form a compatible family: the difference of any two such connections is an admissible endomorphism-valued simplicial form.
4.3 The green example
Definition 4.3.1
Given a vector bundle on the nerve \(\mathscr {E}^\bullet \) and an admissible simplicial connection \(\nabla _\bullet \) on \(\mathscr {E}^\bullet \), we define the k-th simplicial exponential Atiyah class \({\hat{\textrm{at}}}^{\circ k}_{\mathscr {E}^\bullet }\) by
and the k-th simplicial standard Atiyah class \({\hat{\textrm{at}}}^{\wedge k}_{\mathscr {E}^\bullet }\) by
where \(\epsilon _k=(-1)^{k(k-1)/2}\).
Remark 4.3.2
Both \(\textrm{tr}{\hat{\textrm{at}}}^{\circ k}_{\mathscr {E}^\bullet }\) and \(\textrm{tr}{\hat{\textrm{at}}}^{\wedge k}_{\mathscr {E}^\bullet }\) are generalised invariant polynomials evaluated on the curvature \(\kappa (\nabla _\bullet )\). That is, taking the trace of the simplicial Atiyah classes gives us characteristic classes in the simplicial de Rham complex. The fact that this is well defined relies on the fact that the simplicial connection is admissible (indeed, this is exactly the purpose of admissibility, cf. [8, Remark 4.24]).
Example 4.3.3
We now finish our study of the example of Green that was discussed in [8, Examples 2.23 and 4.16]. Recall that we had \(X={\mathbb {P}}_{\mathbb {C}}^1\cong {\mathbb {C}}\cup \{\infty \}\) with the cover \(\mathscr {U}=\{U_1,U_2\}\), where \(U_1=X\setminus \{\infty \}\) and \(U_2=X\setminus \{0\}\), and the coherent sheaf \(\mathcal {F}\) given by \(\mathscr {O}_X/\mathcal {I}\), where \(\mathcal {I}={\mathbb {I}}(\{0\})\) is the sheaf of ideals corresponding to the subvariety \(\{0\}\subset X\). We had constructed the barycentric connections \(\nabla _\bullet ^i\) on \(\mathscr {E}^{\bullet ,i}\) as
We see that the only non-trivial part of the simplicial connections is in (simplicial) degree 1, over \(U_{12}\), and so we calculate these curvatures:
Recalling Remark 2.2.2, we know that the fibre integral is given by integrating the \((k-p,p)\) term over the p-simplex (and here we are taking \(k=1\)), and so we find that theFootnote 13 Atiyah classes are given by
Note that the square of either curvature is zero, and so only the first Atiyah class is non-trivial—all higher ones are zero. Using the convention/definition that the zero-th Atiyah class is 1, we have the total Atiyah classes (that is, Chern characters), defined as the sums of all the Atiyah classes:
Finally, if we say that, for a resolution
the total Atiyah class (or Chern character) of \(\mathscr {R}^{\bullet ,0}\) is given by the alternating sum of the total Atiyah classes (or Chern characters) of the \(\mathscr {R}^{\bullet ,i}\), then
This agrees with what one might calculate using a short exact sequence (writing the skyscraper sheaf as a quotient) and the Whitney sum formula, but is stronger, since Green’s method gives actual representatives of the cohomology class as well.
5 Simplicial construction for global vector bundles
5.1 The barycentric connection
Throughout this section,
-
As always, let E be a vector bundle on X with local flat connections \(\nabla _\alpha \);
-
Write \(\pi _p:X_{p}^\mathscr {U}\times \Delta ^p\rightarrow X_{p}^\mathscr {U}\) to mean the projection map;
-
Define \(E^\bullet \), a vector bundle on the nerve, by setting \(E^p=(X_{p}^\mathscr {U}\rightarrow X)^*E\);
-
Write \(\overline{E^p}\) to mean the pullback of \(E^p\) along \(\pi _p\):
$$\begin{aligned} \overline{E^p} = \pi _p^* E^p = \pi _p^{-1} E^p \otimes _{\pi _p^{-1}\mathscr {O}_{X_{p}^\mathscr {U}}} \mathscr {O}_{X_{p}^\mathscr {U}\times \Delta ^p}. \end{aligned}$$
Remark 5.1.1
The pullback to the nerve of a vector bundle E is strongly cartesian: for all \(\varphi :[p]\rightarrow [q]\) in \(\Delta \), the morphism
is an isomorphism.Footnote 14 This means that, writing \(\zeta _p^i:[0]\rightarrow [p]\) to mean the map of simplices that sends 0 to i, we can identify \((X_{\bullet }^\mathscr {U}\zeta _p^i)^* E^0\) with \(E^p\), by using the isomorphism \(E_\bullet \zeta _p^i\) between them. This lets us, in particular, think of any connection \(\nabla _{\alpha _i}\) on \(E^0\) as a connection on \(E^p\), and we keep the same notation to denote both. Then the \(\nabla _\alpha \)-flat sections of \(\overline{E^p}\) are exactly those of the form \(\pi _p^*(s)\), where s is some \(\nabla _\alpha \)-flat section of \(E\mathbin {\big \vert }U_\alpha \). Note also that the morphism \(\mathscr {O}_{\Delta ^p}\rightarrow \mathscr {O}_{X_{p}^\mathscr {U}\times \Delta ^p}\) gives us an \(\mathscr {O}_{\Delta ^p}\)-action on \(E^p\).
Definition 5.1.2
([4, 34]) The barycentric connection \(\nabla _\bullet ^\mu \) on \(\overline{E^\bullet }\) is defined as
which acts on a section \(s\otimes f\) of \(\overline{E^p}=\pi _p^{-1}E^p\otimes \mathscr {O}_{X_{p}^\mathscr {U}\times \Delta ^p}\) over \(U_{\alpha _0\ldots \alpha _p}\times \Delta ^p\) by
Remark 5.1.3
Recalling Definition 2.1.7, we can rewrite the barycentric connection as
Remark 5.1.4
By [8, Theorem 4.29, Remark 4.30], we know that the barycentric connection is indeed an admissible simplicial connection.
Definition 5.1.5
The curvature of the barycentric connection is defined level-wise, and acts on a section \(\sigma \) of \(\overline{E^p}\) over \(U_{\alpha _0\ldots \alpha _p}\times \Delta ^p\) by
Definition 5.1.6
Let \({\overline{\omega }}_\bullet \) be the endomorphism-valued simplicial form given by
where we identify \(t_i\) with \(t_i I_\mathfrak {r}\), where \(I_\mathfrak {r}\) is the \((\mathfrak {r}\times \mathfrak {r})\) identity matrix.
Remark 5.1.7
In the case where \(\sigma = \sigma _k^{\alpha _0} = \pi _p^*(s_k^{\alpha _0})\), where \(\{s_1^{\alpha _0},\ldots ,s_\mathfrak {r}^{\alpha _0}\}\) is a \(\nabla _{\alpha _0}\)-flat basis of \(E\mathbin {\big \vert }U_{\alpha _0}\), we have that
This lets us simplify the expression for the barycentric curvature, since
In essence, this tells us that, given a (flat) basis of sections of \(\overline{E^p} \mathbin {\big \vert }(U_{\alpha _0\ldots \alpha _p}\times \Delta ^p)\) in the \(U_{\alpha _0}\) trivialisation, the barycentric curvature acts simply as
where \(\textrm{d}{\overline{\omega }}_p = (\textrm{d}_X - \textrm{d}_{\Delta ^p}){\overline{\omega }}_p\) (following the Koszul convention, as explained in Sect. 2.2).
Remark 5.1.8
Since \(E^\bullet \) is the pullback of a global vector bundle, it is in particular strongly cartesian, and in fact Green. Since the barycentric connection is defined exactly as a connection generated in degree zero, we can apply [8, Theorem 4.29], which tells us that it is an admissible simplicial connection. Further, Remark 4.2.3 tells us that barycentric connections form a compatible family, and so Lemma 4.2.2 says that the resulting characteristic classes are well defined.
The barycentric curvature is, by definition (since the barycentric connection is admissible), admissible, but we can actually show that \({\overline{\omega }}_\bullet \) itself is an admissible endomorphism-valued simplicial 2-form, by an argument very similar to that of the proof of [8, Theorem 4.29].
Lemma 5.1.9
The trace of the k-th simplicial (standard or exponential) Atiyah class is closed in the simplicial de Rham complex.
Proof
We have already formally proven this in Sect. 4.2, but we give here an explicit proof for the case \(k=1\) as well. For any \(p\in {\mathbb {N}}\),
But, recalling the proof of Lemma 3.2.3, we know that
and Lemma 3.2.2 tells us that \(\textrm{d}\omega _{\alpha _0\alpha _i}=-\omega _{\alpha _0\alpha _i}^2\), whence
For fixed i, j, the first two terms both change sign under \(i\leftrightarrow j\), whence they contribute zero to the trace, since they are equal when \(i=j\). We also knowFootnote 15 that \(\textrm{tr}\left( \omega _{\alpha _0\alpha _j}^2\omega _{\alpha _0\alpha _i}\right) =\textrm{tr}\left( \omega _{\alpha _0\alpha _i}\omega _{\alpha _0\alpha _j}^2\right) \), whence the last two terms also both change sign under \(i\leftrightarrow j\) and are equal when \(i=j\), as above. Thus the trace is zero. \(\square \)
5.2 The first simplicial Atiyah class
The first simplicial (exponential) Atiyah class is given by
by using the barycentric connection, and Remark 5.1.7.
As explained in Remark 2.2.2, the fibre integral of \({\hat{\textrm{at}}}^{\circ 1}_E\) depends only on the (2, 0), (1, 1), and (0, 2) parts, but here there is no (0, 2) part (i.e. there is no \(\textrm{d}t_j\textrm{d}t_i\) term), and so
Continuing the calculation gives us the result that we expect: as in Sect. 3.2, we get that
where we write that this term lives in degree \(p=1\) to remind us that the result is a Čech 1-cocycle.
Remark 5.2.1
In general, as in the manual construction, the fibre integral of the k-th simplicial (exponential) Atiyah class will have terms in \(\check{\mathcal {C}}^{k-i}\left( \Omega _X^{k+i}\right) \) for \(i=0,\ldots ,k-1\), and so we make up for our notational laziness (namely, using \(+\) to mean \(\oplus \)) by labelling the terms with their Čech degree.
Note that, although the (2k, 0) part of \({\hat{\textrm{at}}}^{\circ k}_E\) is, in general, non-zero, when we fibre integrate we look at it on the 0-simplex (again, by Remark 2.2.2), and there it is zero, since all the sums are trivially zero.
5.3 The second simplicial Atiyah class
Not forgetting the sign \(\epsilon _2=-1\) from Definition 4.3.1, we have that
but we also know that the only parts that will be non-zero after fibre integration are the (2, 2) parts on the 2-simplex, and the (3, 1) parts on the 1-simplex.
The only (2, 2) part comes from the first half of the \((\textrm{d}{\overline{\omega }}_2)^2\) term, which gives us
This means that, so far, we have
For the (3, 1) part, we work on the 1-simplex and get
Finally then, we have
which again agrees with the result of Sect. 3.3.
5.4 The third simplicial Atiyah class
Remark 5.4.1
There is a subtlety in the calculations when we reach the third simplicial Atiyah class due to our choice of conventions for Čech cocycles: we don’t assume skew-symmetry of cocycles (i.e. that exchanging two indices changes sign), but it is true that skew-symmetrisation of cocycles is a quasi-isomorphism, and so doesn’t change the resulting cohomology class. If we had worked with skew-symmetric Čech cocycles from the start then this calculation would seem somewhat simpler.
In particular, the first two (exponential) Atiyah classes agree with those that we manually constructed in Sects. 3.2 and 3.3 on the nose, whereas for \(k\geqslant 3\) we will have equality only in cohomology.
Definition 5.4.2
We write \(\varsigma _{p}\) to mean the skew-symmetrisation of a Čech p-cochain, so that
where \(|\sigma |\) denotes the sign of \(\sigma \).
So, we begin the calculation of \({\hat{\textrm{at}}}^{\circ 3}_E\). Writing \(\mu _i\) to mean \(\omega _{\alpha _0\alpha _i}\), we start by calculating the (3, 3) part as follows:
But note that both of the terms in this last expression skew-symmetrise to the same thing, modulo a minus sign:
Since skew-symmetrisation doesn’t change the class in cohomology, we see that
The (4, 2) part (including the sign \(\epsilon _3=-1\)) is given by
where
Using that \(\int _{\Delta ^2}\textrm{d}t_1\textrm{d}t_2=\int _0^1\int _0^{1-t_2}\textrm{d}t_1\textrm{d}t_2\), we calculate that
-
(i)
\(\int _{\Delta ^2}t_1\textrm{d}t_1\textrm{d}t_2=\int _{\Delta ^2}t_2\textrm{d}t_1\textrm{d}t_2=\frac{1}{6}\);
-
(ii)
\(\int _{\Delta ^2}t_1^2\textrm{d}t_1\textrm{d}t_2=\int _{\Delta ^2}t_2^2\textrm{d}t_1\textrm{d}t_2=\frac{1}{12}\);
-
(iii)
\(\int _{\Delta ^2}t_1t_2\textrm{d}t_1\textrm{d}t_2=\frac{1}{24}\).
whence
Comparing this to Sect. 3.4, we see that we have the same, except for a missing \(+\frac{1}{2}\textrm{tr}\left( \omega _{\alpha _0\alpha _1}^2\omega _{\alpha _1\alpha _2}^2\right) \) term. But this missing term skew-symmetrises to zero, since it is invariant under the permutation that swaps 0 and 2. Thus the (4, 2) part is exactly what we wanted, and
Finally, the (5, 1) part is
which agrees exactly with the manual construction from Sect. 3.4. Thus
5.5 Agreement with the manual construction
Theorem 5.5.1
The degree-(k, k) term in the trace of fibre integral of the k-th simplicial exponential Atiyah class agrees with the k-th exponential Atiyah class, up to skew-symmetrisation. That is,
Proof
First we rewrite the left-hand side. Generalising the results of Sect. 5.4, we can write the term coming from fibre integration as
where \(S_{k}\leqslant S_{k+1}\) acts on \(\{0,1,\ldots ,k\}\) by fixing 0. But then, since \(\sigma (0)=0\), we can rewrite this as
Now we can use the fact that multiplication by an element of \(S_{k}\leqslant S_{k+1}\) is an automorphism to perform a change of variables, giving us
which is (trivially, since \(\omega _{ii}=0\)) equal to
Next we rewrite the right-hand side. The skew-symmetrisation is simply
Now we prove equality. Since, for each fixed \(\eta \), there are no relations satisfied between the \(\omega _{\eta (0)\eta (i)}\), we have two homogeneous degree k polynomials in \((k+1)\) free non-commutative variables. To emphasise the fact the following argument is purely abstract, we write \(x_i=\omega _{0i}\) and define an action of \(S_{k+1}\) on the \(x_i\) by \(x_{\eta (i)}=\omega _{\eta (0)\eta (i)}\). So showing that the left- and right-hand sides are equal amounts to showing that
Write E to mean the \({\mathbb {Q}}\)-linear span of degree-k monomials in the \((k+1)\) free non-commutative variables \(x_0,\ldots ,x_k\), and let \(\sigma _{p,q}\in S_{k+1}\) be the transposition that swaps p with q. Then \(\sigma _{p,q}\) gives an involution on E by swapping \(x_p\) with \(x_q\), and thus \(E\cong E_{p,q}(1)\oplus E_{p,q}(-1)\), where \(E_{p,q}(\lambda )\) is the eigenspace corresponding to the eigenvalue \(\lambda \).
Let \(H_{p,q}\) be the \({\mathbb {Q}}\)-linear subspace of E spanned by monomials that contain at least one \(x_p\) or \(x_q\). This subspace is stableFootnote 16 under \(\sigma _{p,q}\), and so this space also splits as \(H_{p,q}\cong H_{p,q}(1)\oplus H_{p,q}(-1)\). Further, we have the inclusion \(H_{p,q}(-1)\subseteq E_{p,q}(-1)\). But if \(X\in E_{p,q}(-1)\), then, in particular, X must contain at least oneFootnote 17\(x_p\) or \(x_q\), so \(X\in H_{p,q}\), whence \(X\in H_{p,q}(-1)\). Thus \(E_{p,q}(-1)=H_{p,q}(-1)\).
The intersection H of the \(H_{p,q}\) over all distinct pairs \((p,q)\in \{0,\ldots ,k\}\times \{0,\ldots ,k\}\) is the \({\mathbb {Q}}\)-linear span of all monomials containing all but one of the \(x_i\) (and, in particular, containing k distinct \(x_i\)). But since \(H_{p,q}(-1)=E_{p,q}(-1)\), we see that the intersection \(E(-1)\) of all the \(E_{p,q}(-1)\) is equal to \(H(-1)\). Now both A and B are in \(E_{p,q}(-1)\) for all p, q (since the sign of \(\omega _{p,q}\) is \(-1\)), and so \(A,B\in E(-1)=H(-1)\). Since the coefficient of, for example, the \(x_1\cdots x_k\) term is the same (and non-zeroFootnote 18) in both A and B, it suffices to show that \(H(-1)\) is one-dimensional.
So let \(X,Y\in H(-1)\) be monomials. Then each one contains k distinct \(x_i\), and so there exists some (unique) \(\sigma \in S_{k+1}\) such that \(\sigma X=\pm Y\). But, writing \(\sigma =\sigma _{p_1,q_1}\cdots \sigma _{p_r,q_r}\), we know that \(\sigma X=(-1)^r X\), whence \(X=Y\), up to some sign (and so up to some scalar in \({\mathbb {Z}}\)). \(\square \)
6 From vector bundles to coherent sheaves
6.1 The whole story: a summary
Starting with some complex of coherent sheaves \(\mathcal {F}^\star \in \textsf{Coh}(X)\), with the category of complexes of coherent sheaves being defined as in [8, §3.1], we take Green’s resolution, which produces a complex \(\mathscr {E}^{\bullet ,\star }\) of vector bundles on the nerve (of some possible refined cover) resolving \(i^*\mathcal {F}^\star \). Then, also by Green’s resolution, we get simplicial connections on each of the \(\mathscr {E}^{\bullet ,i}\), and [8, Theorem 4.29] tells us that these are admissible.Footnote 19 So, applying the generalised invariant polynomial \(P_\bullet = \{\textrm{tr}\circ \mu _n\}_{n\in {\mathbb {N}}}\) (where \(\mu _n\) is the multiplication map that sends an n-fold tensor product of endomorphisms to the endomorphism given by composition (resp. wedge product)) to the curvatures of each of the simplicial connections, we obtain the simplicial exponential (resp. standard) Atiyah classes of each \(\mathscr {E}^{\bullet ,i}\). Using the alternating-sum convention, this gives us the simplicial exponential (or standard) Atiyah class of \(\mathcal {F}\). Finally, by fibre integration of the trace of these classes, we obtain closed classes in the Čech-de Rham bicomplex, and thus classes in de Rham (or even tDR) cohomology.
Lemma 6.1.1
This construction is independent of the choice of twisting cochain (and thus cover) and of local connections.
Proof
The argument for this is of exactly the same form as the proof of [4, Theorem 2.4], where we pass to the disjoint union of the covers and can inductively construct a twisting cochain which is a common extension of the two twisting cochains from which we start. Although Green only gives the proof for the (p, p)-term, his argument applies equally well to the full Čech-de Rham representative \((C^{p,p},C^{p-1,p+1},\ldots ,C^{0,2p})\) without modification. \(\square \)
Remark 6.1.2
Of particular importance is [8, Lemma 4.39], which tells us that the homotopy colimit (over refinements of covers) of the localisation of the category \(\underline{\textsf{Green}}_{\nabla ,0}(X_\bullet ^\mathscr {U})\) of Green complexes is equivalent to the homotopy colimit of the localisation of the category of complexes \(\textsf{Green}_{\nabla ,0}(X_\bullet ^\mathscr {U})\) which are locally quasi-isomorphic to Green complexes. In particular, we only know how to construct admissible simplicial connections for objects of the former, and so it is necessary that our construction of \(\mathscr {E}^{\bullet ,\star }\) in the above is an object of \(\underline{\textsf{Green}}_{\nabla ,0}(X_\bullet ^\mathscr {U})\).
6.2 General properties
Lemma 6.2.1
Let \(\mathscr {L}\) be a holomorphic line bundle with transition maps \(\{g_{\alpha \beta }\}\in \check{\mathscr {C}}^1({\mathbb {C}}^\times )\). Then
where \(\textrm{c}_1(\mathscr {L})\) denotes the first Chern class of the line bundle given by the connecting homomorphism from the Picard group in the long exact sequence associated to the exponential sheaf sequence
(that is, the classical definition, as given in e.g. [9, Definition 2.2.13]).
Proof
We have already calculated in (3.2.0.5) that the left-hand side is equal to \(M_{\alpha \beta }^{-1}\textrm{d}M_{\alpha \beta }\). That the right-hand side gives the same result can be found in e.g. the proof of the Proposition in [3, Chapter 1, §1, Chern Classes of Line Bundles, p. 141]. \(\square \)
Lemma 6.2.2
Let \(f:Y\rightarrow X\) be a morphism of complex-analytic manifolds, and let \(\mathcal {F}\) be a coherent sheaf on X. Then
for all \(k\in {\mathbb {N}}\), where \(f^*\) denotes the derived pullback.
Proof
This is basically the combination of the following facts: the derived pullback is exact; the simplicial Atiyah class is defined by taking a resolution; the derived pullback of a locally free sheaf agrees with the non-derived pullback; the non-simplicial Atiyah class of the non-derived pullback of a locally free sheaf is exactly the pullback of the non-simplicial Atiyah class of the locally free sheaf. We spell out how to join up these facts in slightly more detail below.
Since the derived pullback is exact, we know that, given Green’s resolution \(\mathscr {E}^{\bullet ,\star }\) of \(\mathcal {F}^\bullet = (X_{\bullet }^\mathscr {U}\rightarrow X)^*\mathcal {F}\) by vector bundles on the nerve, the derived pullback \(f^*\mathscr {E}^{\bullet ,\star }\) is a resolution for \(f^*\mathcal {F}^\bullet \). But the derived pullback on locally free objects agrees with the non-derived pullback (since we are tensoring with something locally free), and so \(f^*\mathscr {E}^{\bullet ,\star }\) can be calculated by the non-derived pullback. Now we can use the factFootnote 20 that, for a single vector bundle, the Atiyah class of the pullback is the pullback of the Atiyah class; for a single vector bundle on the nerve, the simplicial Atiyah class is determined entirely by the \(\omega _{\alpha _0\alpha _i}\) (which represent the non-simplicial Atiyah class). Combining all the above, we see that all the forms defining the simplicial Atiyah class of the derived pullback of \(\mathcal {F}\) are exactly the pullbacks of the forms defining the simplicial Atiyah class of \(\mathcal {F}\). In particular, then, taking the trace and then fibre integrating (both of which commute with the pullback of forms on X) gives us the required result. \(\square \)
Lemma 6.2.3
If the total simplicial Atiyah classes are additive on every split exact sequence of coherent sheaves then they are additive on every short exact sequence of coherent sheaves.
Proof
Let \(0\rightarrow \mathcal {F}\xrightarrow {\iota }\mathcal {G}\xrightarrow {\pi }\mathcal {H}\rightarrow 0\) be a short exact sequence of coherent sheaves on X, and \(t\in {\mathbb {C}}\) (which can be thought of as \(t\in \Gamma ({\mathbb {C}},{\mathbb {P}}^1)\)). Write \(p:X\times {\mathbb {P}}^1\rightarrow X\) to mean the projection map. Define
where \((\pi (1)-t\cdot \textrm{id}):(g\otimes y, h)\mapsto \pi (g)\otimes y - h\otimes t\). We claim that this gives a short exact sequence
of sheaves over \(X\times {\mathbb {P}}^1\), where the maps are the “obvious” ones: \(p^*\mathcal {F}(1)\rightarrow \mathscr {N}\) is the map \(\iota (1):p^*\mathcal {F}(1)\rightarrow p^*\mathcal {G}(1)\) included into \(p^*\mathcal {G}(1)\oplus p^*\mathcal {H}\) (which we prove lands in \(\mathscr {N}\) below); and \(\mathscr {N}\rightarrow p^*\mathcal {H}\) is the projection \(p^*\mathcal {G}(1)\oplus p^*\mathcal {H}\rightarrow p^*\mathcal {H}\) restricted to \(\mathscr {N}\).
To prove surjectivity, let \(h\in \Gamma (U,p^*\mathcal {H})\). Then \(h\otimes t\in \Gamma (U,p^*\mathcal {H}(1))\). But \(\pi :\mathcal {G}\rightarrow \mathcal {H}\) is surjective, and thus so too is the induced map \(\pi (1):p^*\mathcal {G}(1)\rightarrow p^*\mathcal {H}(1)\). Hence there exists \(g\otimes y\in \Gamma (U,p^*\mathcal {G}(1))\) such that \(\pi (g\otimes y)=h\otimes t\). So \((g\otimes y, h)\in \mathscr {N}\) maps to h.
To prove injectivity (and that this map is indeed well defined), we use the fact that tensoring with \(\mathcal {O}(1)\) is exact, and so, in particular, \(\iota (1):p^*\mathcal {F}(1)\rightarrow p^*\mathcal {G}(1)\) is injective. The inclusion into the direct sum \(p^*\mathcal {G}(1)\oplus p^*\mathcal {H}\) is injective by the definition of a direct sum, so all that remains to show is that the image of this composite map is contained inside \(\mathscr {N}\). Let \(f\otimes x\in \Gamma (U,p^*\mathcal {F}(1))\). Then this maps to \((\iota (f)\otimes x,0)\in p^*\mathcal {G}(1)\oplus p^*\mathcal {H}\), but this is clearly in the kernel of \(\pi (1)-t\cdot \textrm{id}\) since \(\pi \iota (f)=0\).
To prove exactness, it suffices to show that \({{\,\textrm{Ker}\,}}(\mathscr {N}\rightarrow p^*\mathcal {F})\cong p^*\mathcal {F}(1)\). But
Now we claim that the short exact sequence is split for \(t=0\), and has \(\mathscr {N}\cong p^*\mathcal {G}\) for \(t\ne 0\). Formally, we do this by looking at the pullback of the map \(X\times \{t\}\rightarrow X\times {\mathbb {P}}^1\), but we can think of this as just “picking a value for t”.
For \(t=0\), by definition,
For \(t\ne 0\), define the injective morphism \(\varphi :p^*\mathcal {G}\rightarrow \mathscr {N}\) of coherent sheaves by \(\varphi (g)=(g\otimes t,\pi (g))\). To see that this is also surjective, let \((g\otimes y, h)\in \mathscr {N}\). If \(y=0\) then we must have \(h=0\), and so \((g\otimes y, h) = (0,0) = \varphi (0\otimes 0)\). If \(y\ne 0\) then \(\pi (g)\otimes y-h\otimes t=0\), with \(y,t\ne 0\), whence \(\pi (g)=\frac{y}{t}h\). Then \((g\otimes y, h) = (\frac{t}{y}g\otimes t, \pi (\frac{t}{y}g)) = \varphi (\frac{t}{y}g).\)
As one final ingredient, note that any coherent sheaf on X pulled back to a sheaf on \(X\times {\mathbb {P}}^1\) is flat over \({\mathbb {P}}^1\), and so \(\mathscr {N}\) is flat over \({\mathbb {P}}^1\), since both \(\mathcal {F}(1)\) and \(\mathcal {H}\) are. Thus, for \(\tau _t:X\times \{t\}\rightarrow X\times {\mathbb {P}}^1\) given by a choice of \(t\in {\mathbb {C}}\), the derived pullback \({\mathbb {L}}\tau _t^*\mathscr {N}\) agrees with the usual pullback \(\tau _t^*\mathscr {N}\).
Now we use the \({\mathbb {P}}^1\)-homotopy invariance of de Rham cohomology, which is the following statement: the induced map
does not depend on the choice of t. Since \(X\times \{t\}\) is (canonically) homotopic to X, we can identify \((p\tau _t)^*\) with the identity on \({{\,\textrm{H}\,}}^\bullet (X,\Omega _X^\bullet )\). Since the SES splits for \(t=0\), by our hypothesis, flatness, and the fact that Green’s construction is functorial under derived pullback, we know that
But we also know that \(\mathscr {N}\cong p^*\mathcal {G}\) for \(t\ne 0\), and so
So, finally, the t-invariance of \(\tau ^*\) tells us that
\(\square \)
Lemma 6.2.4
The total simplicial Atiyah classes are additive on every split exact sequence of coherent sheaves.
Proof
This is exactly [4, Lemma 2.6], but the essence of the proof is simple: twisting cochains behave nicely with respect to direct sums, as do all of the constructions giving the simplicial connections generated in degree zero. \(\square \)
Corollary 6.2.5
The total simplicial Atiyah classes are additive on every short exact sequence of coherent sheaves.
Proof
This is simply the syllogism of Lemma 6.2.3 and Lemma 6.2.4. \(\square \)
6.3 The compact case
In the case where X is compact, we can appeal to [5, Theorem 6.5], which gives a list of conditions that, if satisfied, ensure uniqueness of Chern classes: if we can show that the fibre integrals of traces of the simplicial Atiyah classes satisfy certain axioms, then we know that they are exactly the same classes as given by any other construction of Chern classes.
Since tDR cohomology satisfies conditions (\(\alpha \)) to (\(\delta \)) of [5, §6.2], it suffices to check that the following things hold true:
-
(i)
The construction agrees with ‘the’ classical one for line bundles. Although [4, Lemma 2.5] tells us that the construction actually agrees with the classical one for arbitrary vector bundles, we explain the specific case of line bundles in Lemma 6.2.1.
-
(ii)
The construction is functorial under pullbacks. This is Lemma 6.2.2.
-
(iii)
The construction gives us the Whitney sum formula for short exact sequences. We have split the proof of this into two steps: firstly, showing in Lemma 6.2.3 that it suffices to prove that we have the Whitney sum formula for split exact sequences; then showing in Lemma 6.2.4 that we do indeed have the Whitney sum formula for split exact sequences.
-
(iv)
The construction gives us the Grothendieck–Riemann–Roch formula for closed immersions. Although this is given as a requirement in [5, Theorem 6.5], it is actually not necessary, thanks to e.g. [6, Proposition 3.1], whose proof relies only on the three properties above, following some classical algebraic geometry methods (such as deformation to the normal cone).
Remark 6.3.1
Again, when X is compact, [4, Lemma 2.7] gives a direct proof of the fact that the (p, p)-term of the fibre integral of the trace of these simplicial Atiyah classes agrees (up to a constant factor) with the Chern classes of Atiyah-Hirzenbruch.
Corollary 6.3.2
If X is a compact complex-analytic manifold, then, for any coherent analytic sheaf, the Chern classes given by the fibre integrals of the traces of the simplicial Atiyah classes (following the construction described in Sect. 6.1) agree with all other constructions of Chern classes of coherent analytic sheaves.
Notes
That is, vector bundles on the nerve that are given by the pullback of vector bundles on X.
Using the same symbol \(\nabla \) to denote the connection as well as any such extension is a common abuse of notation.
In general, we will be interested in standard Atiyah classes, but we consider the manual construction of exponential ones since these can be written down very explicitly, as shown in Sect. 3.
That is, \(A\cdot MB = AM\cdot B\), where M is a matrix of 0-forms.
The signs depend on the parity of k.
Using the skew-symmetry of forms, and writing matrix multiplication as a sum, we can show that we can cyclically permute matrices of forms inside a trace, up to a sign (\(\textrm{tr}A_1 A_2\cdots A_k=(-1)^{k-1}\textrm{tr}A_2\cdots A_k A_1\)); this fact is then a corollary, since \(\textrm{tr}(A^{2k})=-\textrm{tr}(A^{2k})\).
As previously mentioned, \(M\omega _{\beta \gamma }M^{-1}\) is the natural way of thinking of X as being a map into something lying over \(U_\alpha \), so this equation should be read as a cocycle condition over \(U_\alpha \) by thinking of it as \(\omega _{\alpha \beta }+{\widetilde{\omega }}_{\beta \gamma }=\omega _{\alpha \gamma }\), where the tilde corresponds to a base change. Note that this is also the result we expect, since \(\omega _{\alpha \beta }\) corresponds to \(\nabla _\beta -\nabla _\alpha \), and (as we have already noted) this clearly satisfies the additive cocycle condition.
See Remark 3.3.1.
Thanks to a comment by Mahmoud Zeinalian, we see that the coefficients 1, \(\frac{1}{3}\), \(\frac{1}{10}\), \(\frac{1}{35}\), etc. of the degree \((1,p-1)\) terms (i.e. those that are simply the traces of odd powers of the Maurer-Cartan form \(A = g^{-1}\textrm{d}g\)) are given by
$$\begin{aligned} \frac{n!(n+1)!}{(2n+1)!} = \frac{\Gamma (n+1)\Gamma (n+2)}{\Gamma (2n+2)} = (2n+2)\textrm{B}(n+1,n+2), \end{aligned}$$where \(\textrm{B}(x,y)\) is the beta function (or Euler integral of the first kind). It seems possible that the other coefficients could be expressed in terms of “iterated beta functions”, using the formulas coming from the fibre integration approach we study in Sect. 5.
The fact that this is well defined relies on being able to view all the \(V_i\) in the tensor product as being identical, but we can do this thanks to the \(\textrm{GL}\)-invariance of the trace, as well as the extension by zero property.
See [8, Definition 4.13].
That is, a connection \(\nabla _p\) on each \(\mathscr {E}_p\) such that the curvatures define a simplicial differential form and such that we can actually evaluate a generalised invariant polynomial on the curvatures in a choice-free way. See [8, Definition 4.21] for the precise definition.
The first exponential and first standard Atiyah classes agree, by definition, so we do not need to say which we are using.
It is actually an identity map.
The trace on endomorphism-valued simplicial forms is cyclic, up to a sign, as mentioned in the proof of Lemma 3.2.3.
If a monomial X contains, say, one \(x_p\), then \(\sigma _{p,q}X\) contains one \(x_q\).
If not, then the action of \(\sigma _{p,q}\) would be trivial and X would lie in \(E_{p,q}(1)\).
In fact, it is 1, as seen by taking \(\eta =\textrm{id}\).
Indeed, they are all of the form of barycentric connections, i.e. generated in degree zero (cf. [8, §4.5]).
We are working with vector bundles, which are locally free, and so, as previously mentioned, the derived pullback is just exactly the non-derived pullback. There is some subtlety however, since we are using the word “pullback” to mean a few different things here. When we talk about pulling back the Atiyah class of E, we mean first applying the pullback of sheaves, to get some class in (using the fact that pullbacks commute with for finite-dimensional locally free sheaves), and then applying the canonical map \(f^*\Omega _X^1\rightarrow \Omega _Y^1\) (which is what we really mean when we talk about pulling back forms). The fact that this construction sends \(\textrm{at}_E\) to \(\textrm{at}_{f^*E}\) follows from the fact that short exact sequences are distinguished triangles, and so specifying a morphism between the first and last (non-zero) terms of two SESs extends uniquely to a morphism of the SESs (in that we get a unique morphism between the middle terms of the two SESs such that everything commutes).
References
Bleecker, D.: Gauge theory and variational principles, vol. 1. Global Analysis Pure and Applied : Series A. Addison-Wesley Publishing Co. ISBN 0-201-10096-7 (1981)
Dupont, J.L.: Simplicial de Rham cohomology and characteristic classes of flat bundles. Topology 15, 233–245 (1976). https://doi.org/10.1016/0040-9383(76)90038-0
Griffiths, P., Harris, J.: Principles of algebraic geometry. Wiley Classics Library. John Wiley & Sons, Inc., (1994). ISBN: 978-0-471-05059-9
Green, H.I.: Chern classes for coherent sheaves. PhD Thesis. University of Warwick, (1980). URL: https://pugwash.lib.warwick.ac.uk/record=b1751746~S1
Grivaux, J.: Some problems in complex and almost-complex geometry. Université Pierre-et-Marie-Curie (Paris 6), (2009). HAL: tel-00460334
Grivaux, J.: On a conjecture of Kashiwara relating Chern and Euler Classes of O-modules. J. Differ. Geom. 90, 267–275 (2012). https://doi.org/10.4310/jdg/1335230847
Hosgood, T.: Chern Classes of coherent analytic sheaves: a simplicial approach. Université d’Aix-Marseille, (2020). HAL: tel-02882140
Hosgood, T.: Simplicial Chern–Weil theory for coherent analytic sheaves, part I. Bull de la Soc Math de Fr 151, 127–170 (2023). https://doi.org/10.24033/bsmf.2866
Huybrechts, D.: Complex geometry: an introduction. Universitext, Springer-Verlag, (2005). ISBN: 978-3-540-21290-4. https://doi.org/10.1007/b137952
O’Brian, N.R., Domingo, T., Tong, Y.L.L.: A Grothendieck–Riemann–Roch formula for maps of complex manifolds. Math. Ann. 271(4), 493–526 (1985). https://doi.org/10.1007/BF01456132
Toledo, D., Tong, Y.L.L.: Green’s theory of Chern classes and the Riemann–Roch formula. In: The Lefschetz Centennial Conference. Part I: Proceedings on Algebraic Geometry, vol. 58. I. Contemporary Mathematics. American Mathematical Society, (1986), pp. 261–275. https://doi.org/10.1090/conm/058.1/860421
Voisin, C.: Hodge theory and complex algebraic geometry I. Trans. by Leila Schneps, vol. 1. Cambridge Studies in Advanced Mathematics 76. Cambridge University Press, (2008). ISBN: 978-0-521-71801-1
Acknowledgements
This paper is one of two (the other being [8]) to have been extracted from the author’s PhD thesis [7]. Further details and more lengthy exposition can be found there. We repeat here, however, our genuine thanks to Julien Grivaux and Damien Calaque for their tireless tutelage. We also sincerely thank the reviewer, whose comments and numerous corrections greatly improved the content and presentation of this work.
Funding
Open access funding provided by Stockholm University. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 768679).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hosgood, T. Simplicial Chern–Weil theory for coherent analytic sheaves, part II. manuscripta math. 173, 925–960 (2024). https://doi.org/10.1007/s00229-023-01484-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-023-01484-5