Co-Euler structures on bordisms

From MaRDI portal
(Redirected from Publication:492232)



Abstract: Co-Euler structures were studied by Burghelea and Haller on closed manifolds as dual objects to Euler structures. We extend the notion of co-Euler structures to the situation of compact manifolds with boundary. As an application, by studying their variation with respect to smooth changes of the Riemannian metric, co-Euler structures conveniently provide correction terms that can be taken into account when considering the complex-valued analytic torsion on bordisms as a Riemannian invariant.


This paper extends the results of \textit{D. Burghelea} and \textit{S. Haller} [Geom. Topol. 10, 1185--1238 (2006; Zbl 1204.58027)] about co-Euler structures to the setting of manifolds with boundary. Let \(M^m\) be a closed Riemannian manifold. In the case where \(M\) is orientable and the Euler characteristic \(\chi(M)\) vanishes, co-Euler structures on \(M\) consist of pairs of a metric \(g\) together with a primitive \(\alpha\) of the Euler form \(\mathrm{Pf}(g)\), modulo the following equivalence relation: two primitives \(\alpha,\alpha'\) of \(\mathrm{Pf}(g),\mathrm{Pf}(g')\) are said to be equivalent if their difference equals the transgression \(e(g,g')\) modulo exact \(m-1\) forms (the transgression form itself is well-defined modulo exact forms). The author extends this definition to the case of manifolds with boundary with vanishing relative Euler class, using the complex of relative differential forms on \((M,\partial M)\). The definition is then extended to the more general case where \(M\) is not orientable (using forms with coefficients in the orientation bundle) and non-vanishing Euler class (here he needs to choose a base point, obtaining the so-called base-pointed co-Euler structures). He computes the variation of co-Euler structures with respect to first-order variations of the metric, finding (like in the boundary-less case studied by Burghelea and Haller) that it is similar to the variation of analytic torsion. The co-Euler structure is then bundled together with the analytic torsion to construct a topological invariant independent of the Riemannian metric.











This page was built for publication: Co-Euler structures on bordisms

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