The Hodge Chern character of holomorphic connections as a map of simplicial presheaves

DOI10.2140/AGT.2022.22.1057MaRDI QIDQ2172180zbMATH OpenOpenAlexWikidataFDO

Authors Cheyne J. Glass, Micah Miller, Thomas Tradler, Mahmoud Zeinalian

Publication date 15 September 2022

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.07674

Chern character Chern-Simons cosimplicial simplicial set simplicial presheaf totalization Čech complex

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Riemann-Roch theorems, Chern characters (19L10) Eta-invariants, Chern-Simons invariants (58J28)

Abstract: We define a map of simplicial presheaves, the Chern character, that assigns to every sequence of composable non connection preserving isomorphisms of vector bundles with holomorphic connections an appropriate sequence of holomorphic forms. We apply this Chern character map to the Cech nerve of a good cover of a complex manifold and assemble the data by passing to the totalization to obtain a map of simplicial sets. In simplicial degree 0, this map gives a formula for the Chern character of a bundle in terms of the clutching functions. In simplicial degree 1, this map gives a formula for the Chern character of bundle maps. In each simplicial degree beyond 1, these invariants, defined in terms of the transition functions, govern the compatibilities between the invariants assigned in previous simplicial degrees. In addition to this, we also apply this Chern character to complex Lie groupoids to obtain invariants of bundles on them in terms of the simplicial data. For group actions, these invariants land in suitable complexes calculating various Hodge equivariant cohomologies. In contrast, the de Rham Chern character formula involves additional terms and will appear in a sequel paper. In a sense, these constructions build on a point of view of "characteristic classes in terms of transition functions" advocated by Raoul Bott, which has been addressed over the years in various forms and degrees, concerning the existence of formulae for the Hodge and de Rham characteristic classes of bundles solely in terms of their clutching functions.

Review text

This paper defines a map of simplicial presheaves, the Chern character, assigning to every sequence of composable non-connection-preserving monomorphisms of vector bundles with holomorphic connections an appropriate sequence of holomorphic forms. The authors apply this Chern character map to Čech nerve of a good cover of a complex manifold, assembling the data by passing to the totalization to get a map of simplicial sets (Corollary 3.3). On the \(0\)-simplicies, the totalized map gives a combinatorial formula for the Chern character of a bundle in the Čech-Hodge complex in terms of the transition functions [\textit{N. R. O'Brian} et al., Am. J. Math. 103, 225--252 (1981; Zbl 0473.14008)]. Over the \(1\)-simp;icies, the authors obtain a formula for the Hodge-Chern-Simons invariant of bundle isomorphisms in the Čech complex with respect to the domain and range connections and in terms of the transition functions of the bundle. The authors also this Chern character to complex Lie groupoids to obtain invariants of bundles on them in terms of the simplicial data. There is also an infinity homotopy coherent version of all of this, where vector bundles are replaced by derived families whose clutching functions fit together only up to an infinite system of coherent homotopies. This relates to [\textit{D. Toledo} and \textit{Y. L. L. Tong}, Math. Ann. 237, 41--77 (1978; Zbl 0391.32008); \textit{D. Toledo} and \textit{Y. L. L. Tong}, Ann. Math. (2) 108, 519--538 (1978; Zbl 0413.32006)]. The homotopy coherent story will be addressed in a forthcoming paper, being to be employed to get invariants of the derived automorphisms of coherent sheaves on complex manifolds. Another foreseeable direction is to develop a commutative diagram of spaces, which, after applying \(\pi_{0}\), results in the classical Grothendieck-Riemann-Roch (GRR) commutative square. This will extend the differential geometric discussion of GRR established in [\textit{N. R. O'Brian} et al., Bull. Am. Math. Soc., New Ser. 5, 182--184 (1981; Zbl 0495.14010); \textit{N. R. O'Brian} et al., Math. Ann. 271, 493--526 (1985; Zbl 0539.14005)] to the entire \(K\)-theory spectrum.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: The Hodge Chern character of holomorphic connections as a map of simplicial presheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2172180)