arXiv math/06112812006-11math.DGmath.KT

Direct image for multiplicative and relative $K$-theories from transgression of the families index theorem, part 1

Alain Berthomieu

备注：: Construction of the topological K-theoretic direct image representatives shortened, considerations added about fibral Hodge symmetry and name of ``transgressive K-theory'' changed to ''free multiplicative K-theory''

英文摘要：

This paper contains the constructions of a real manifold version of relative K-theory, and of an extension of Karoubi's multiplicative K-theory suggested by U. Bunke (which I call ``free multiplicative K-theory'' in the sequel). Chern-Simons-Nadel type classes on relative K-theory are constructed, while it is proved that on free multiplicative K-theory, there is a notion of Chern-Weil character form, and of a Borel-type characteristic class (which is a differential form modulo exact forms) which recovers the classes $c_k$ of flat vector bundles studied by Bismut and Lott. Finally, a direct image for relative K-theory under proper submersion of compact orientable real manifolds is constructed.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Direct image for multiplicative and relative K-theories from transgression of the families index theorem, part 3

This is the final part of the work started in math.DG/0611281 and math.DG/0703916. Here the question of double fibration ois adressed both for relative k-theory and free multiplicative K-theory. In the case of relative and ``nonfree'' multiplicative K-theory, the direct image is proved to be functorial for double submersions.

2008-04-04math.DG

Direct image for multiplicative and relative $K$-theories from transgression of the families index theorem, part 2

This is the sequel of the first part math.DG/0611281. Here, the procedure of transgressing the families index theorem (the so-called $η$-form) is adapted to take in account the case of Dirac type operators with kernels of varying dimension. The constructed form is then used to define the direct image under proper submersions of the ``free multiplicative'' $K$-theory which was defined in the first part, the behaviour of the characteristic classes on free multiplicative $K$-theory under submersion is studied. Some universal caracterisation of the forms is provided. Finally, combining our result …

2007-03-30math.DG

A Construction of String 2-Group Models using a Transgression-Regression Technique

In this note we present a new construction of the string group that ends optionally in two different contexts: strict diffeological 2-groups or finite-dimensional Lie 2-groups. It is canonical in the sense that no choices are involved; all the data is written down and can be looked up (at least somewhere). The basis of our construction is the basic gerbe of Gawedzki-Reis and Meinrenken. The main new insight is that under a transgression-regression procedure, the basic gerbe picks up a multiplicative structure coming from the Mickelsson product over the loop group. The conclusion of the constru…

2012-05-04math.ATmath.DG

Loop-fusion cohomology and transgression

`Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that these cohomology groups, with coefficients in an abelian group, are isomorphic to those of the manifold and the transgression homomorphism factors through the isomorphism.

2015-04-16math.ATmath.DG

Transgression on Hyperkähler Manifolds and Generalized Higher Torsion Forms

We propose a generalization of the Hodge $dd_c$-lemma to the case of hyperkähler manifolds. As an application of this result we derive the global construction of the fourth order transgression of the Chern character forms of hyperholomorphic bundles over compact hyperkähler manifolds. At the second part of the paper we consider the fourth order transgression for the infinite dimensional bundle arising from local families of hyperkähler manifolds. We propose a local construction of the fourth order transgression of the Chern character form. We derive an explicit expression for arising hypertors…

2000-12-26hep-thmath.DGmath.KT

Higher transgressions of the Pfaffian

We define transgressions of arbitrary order, with respect to families of unit-vector fields indexed by a polytope, for the Pfaffian of metric connections for semi-Riemannian metrics on vector bundles. We apply this formula to compute the Euler characteristic of a Riemannian polyhedral manifold in the spirit of Chern's differential-geometric proof of the generalized Gauss-Bonnet formula on closed manifolds and on manifolds-with-boundary. As a consequence, we derive an identity for spherical and hyperbolic polyhedra linking the volumes of faces of even codimension and the measures of outer angle…

2021-11-25math.DG

更多相关论文收起更多论文

端周期Dirac算子族的指标公式

An index formula for families of end-periodic Dirac operators

本文为端周期流形上的Dirac算子族建立了指标公式，通过转降公式和新的端周期eta形式，推广了已有的eta不变量。

2025-08-08math.APmath.DGmath.GT

Renormalised Chern-Weil forms associated with families of Dirac operators

We provide local expressions for Chern-Weil type forms built from superconnections associated with families of Dirac operators previously investigated in work by S. Scott and later work by S. Scott and the second author. When the underlying fibration of manifolds is trivial, the even degree forms can be interpreted as renormalised Chern-Weil forms in as far as they coincide with regularised Chern-Weil forms up to residue correction terms. Similarly, a new formula for the curvature of the local fermionic vacuum line bundles is derived using a residue correction term added to the naive curvature…

2006-07-06math-phmath.DGmath.MP

Large time limit and local L^2-index theorems for families

We compute explicitly, and without any extra regularity assumptions, the large time limit of the fibrewise heat operator for Bismut-Lott type superconnections in the L^2-setting. This is motivated by index theory on certain non-compact spaces (families of manifolds with cocompact group action) where the convergence of the heat operator at large time implies refined L^2-index formulas. As applications, we prove a local L^2-index theorem for families of signature operators and an L^2-Bismut-Lott theorem, expressing the Becker-Gottlieb transfer of flat bundles in terms of Kamber-Tandeur classes. …

2015-06-08math.DGmath.GT

Zeta Forms and the Local Family Index Theorem

For a smooth family F of admissible elliptic pseudodifferential operators with differential form coefficients associated to a geometric fibration of manifolds M--> B we show that there is a natural zeta-form z(F,s) and zeta-determinant- form det(F) in the de-Rham algebra of smooth differential forms, generalizing the classical single operator spectral zeta function and determinant. In the case where F is the curvature of a superconnection the zeta form is exact, extending to families the Atiyah-Bott-Seeley zeta function formula for the pointwise index, and equivalent to the transgression formu…

2006-04-19math.APmath.DG

李群oids纤维化的乘法Ehresmann连接

Multiplicative Ehresmann connections for Lie groupoid fibrations

本文研究了李群oids纤维化的乘法Ehresmann连接，探讨了其存在性及完备性，指出在特定条件下此类连接的存在与基连接和核束连接相关联。

2026-04-28math-phmath.DGmath.MP

An Improved Long-Time Bishop-Gromov Theorem Using Shear

The Bishop-Gromov theorem is a comparison theorem of differential geometry that upperbounds the growth of volume of a geodesic ball in a curved space. For many spaces, this bound is far from tight. We identify a major reason the bound fails to be tight: it neglects the effect of shear. By using higher curvature invariants to lowerbound the average shear, we are able to place tighter-than-Bishop-Gromov upperbounds on the late-time growth rates of geodesic balls in homogeneous spaces with non-positive sectional curvature. We also provide concrete guidance on how our theorem can be generalized to…

2023-01-18hep-thmath.DG