The analytic torsion of the finite metric cone over a compact manifold

DOI10.2969/JMSJ/06910311MaRDI QIDQ520643zbMATH OpenOpenAlexFDO

Authors Luiz Hartmann, M. Spreafico

Publication date 5 April 2017

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1308.5455, https://projecteuclid.org/euclid.jmsj/1484730028

zbMATH Keywords

analytic torsionfinite metric conepseudomanifolds

Mathematics Subject Classification ID

Determinants and determinant bundles, analytic torsion (58J52)

Abstract: We give an explicit formula for the $L^2$ analytic torsion of the finite metric cone over an oriented compact connected Riemannian manifold. We provide an interpretation of the different factors appearing in this formula. We prove that the analytic torsion of the cone is the finite part of the limit obtained collapsing one of the boundaries, of the ratio of the analytic torsion of the frustum to a regularising factor. We show that the regularising factor comes from the set of the non square integrable eigenfunctions of the Laplace Beltrami operator on the cone.

Review text

In previous work [St. Petersbg. Math. J. 27, No. 1, 137--154 (2016; Zbl 1338.58022)], the authors computed analytic torsion for a cone over an odd-dimensional Riemannian manifold. Comparing their formula with that obtained for the intersection torsion of \textit{A. Dar} [Math. Z. 194, 193--216 (1987; Zbl 0605.57012)] they proved that both are equal. When the basis for the cone is even-dimensional the spectral analysis gets more complicated. In this paper the authors give the computation of analytic torsion in this case (in terms of spectral invariants of the basis and geometry of the cone), but not the equality with intersection torsion, and as they note the precise definition of the latter is not yet clear in this context. The formula for a cone over a manifold \(W\) looks like \[ T = \chi(W)\log(2)/2 + C_1 + C_2 + A \] where \(C_1\) is an explicit combinatorial term, \(C_2\) depends on the spectrum of the Laplace operator on \(W\) (in a more straightforward way than the analytic torsion \(T(W)\) in the case \(W\) is odd-dimensional) and \(A\) is a ``boundary anomaly term which appears already in the extensions of the Cheeger-Müller theorem to manifolds with boundary [\textit{J. Brüning} and \textit{X. Ma}, Geom. Funct. Anal. 16, No. 4, 767--837 (2006; Zbl 1111.58024)], and depends only on the geometry of the warped product near the boundary. Another difference with the odd-dimensional case is that to get a self-adjoint extension of the Laplacian on middle-degree forms one needs to add ``ideal boundary conditions at the cone vertex, which appeared in \textit{J. Cheeger}'s early work on spectral analysis of singular spaces [J. Differ. Geom. 18, 575--657 (1983; Zbl 0529.58034)].

Recommendations

• The metric anomaly of analytic torsion at the boundary of an even dimensional cone
• R torsion and analytic torsion for a conical frustum
• Analytic torsion of a bounded generalized cone
• The analytic torsion of a cone over a sphere
• The analytic torsion of a cone over an odd dimensional manifold

Cited in

(9)

• Analytic torsion of a bounded generalized cone
• Eigenvalue estimates and differential form Laplacians on Alexandrov spaces
• scientific article; zbMATH DE number 1207252 (Why is no real title available?)
• The Metric Anomaly of Analytic Torsion on Manifolds with Conical Singularities
• The analytic torsion of a cone over an odd dimensional manifold
• The metric anomaly of analytic torsion at the boundary of an even dimensional cone
• Intersection de Rham theory on spaces with isolated singularities
• Hodge-de Rham theory and analytic torsion for spaces with Horn type singularities
• The analytic torsion of a cone over a sphere

This page was built for publication: The analytic torsion of the finite metric cone over a compact manifold

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