Abstract
The aim of this article is to establish an index formula for the intersection Euler characteristic of a cone. The main actor is the model Witten Laplacian on the infinite cone. First, we study its spectral properties and establish a McKean-Singer type formula. We also give an explicit formula for the zeta function of the model Witten Laplacian. In a second step, we apply local index techniques to the model Witten Laplacian. By combining these two steps, we express the absolute and relative intersection Euler characteristic of the cone as a sum of two terms, a term which is local, and a second term which is the Cheeger invariant.
Similar content being viewed by others
References
Abramowitz, M., Stegun, I.A.(eds): Handbook of mathematical functions with formulas, graphs, and mathematical tables. 10th printing, with corrections. National Bureau of Standards. A Wiley-Interscience Publication. New York etc.: John Wiley & Sons. xiv (1972)
Albin, P., Rochon, F., Sher, D.: A Cheeger-Müller theorem for manifolds with wedge singularities (2018). arXiv:1807.02178v1
Albin, P., Rochon, F., Sher, D.: Analytic torsion and R-torsion of Witt representations on manifolds with cusps. Duke Math. J. 167(10), 1883–1950 (2018)
Albin, P., Rochon, F., Sher, D.: Resolvent, heat kernel and torsion under degeneration to fibered cusps. to appear (Memoirs of the AMS) (2019). arXiv:1410.8406
Atiyah, M., Bott, R., Patodi, V.K.: On the heat equation and the index theorem. Invent. Math. 19, 279–330 (1973)
Berline, N., Getzler, E., Vergne, M.: Heat kernels and Dirac operators. Paperback ed. Grundlehren Text Editions. Berlin: Springer. ix, (2004)
Bismut, J.-M., Cheeger, J.: Families index for manifolds with boundary, superconnections, and cones. I: Families of manifolds with boundary and Dirac operators. J. Funct. Anal. 89(2), 313–363 (1990)
Bismut, J.-M., Zhang, W.: An extension of a theorem by Cheeger and Müller. With an appendix by François Laudenbach. Astérisque. 205. Paris: Société Mathématique de France (1992)
Bismut, J.-M., Zhang, W.: Milnor and Ray-Singer metrics on the equivariant determinant of a flat vector bundle. Geom. Funct. Anal. 4(2), 136–212 (1994)
Brüning, J., Seeley, R.: The resolvent expansion for second order regular singular operators. J. Funct. Anal. 73, 369–429 (1987)
Brüning, J., Seeley, R.: An index theorem for first order regular singular operators. Am. J. Math. 110(4), 659–714 (1988)
Brüning, J., Lesch, M.: Hilbert complexes. J. Funct. Anal. 108(1), 88–132 (1992)
Brüning, J., Lesch, M.: Kähler-Hodge theory for conformal complex cones. Geom. Funct. Anal. 3(5), 439–473 (1993)
Brüning, J., Ma, X.: An anomaly formula for Ray-Singer metrics on manifolds with boundary. Geom. Funct. Anal. 16(4), 767–837 (2006)
Chern, S.-S.: A simple intrinsic proof of the Gauss-Bonnet formula for closed Riemannian manifolds. Ann. Math. 2(45), 747–752 (1944)
Cheeger, J.: Analytic torsion and the heat equation. Ann. Math. 2(109), 259–322 (1979)
Cheeger, J.: On the spectral geometry of spaces with cone-like singularities. Proc. Nat. Acad. Sci. USA 76(5), 2103–2106 (1979)
Cheeger, J.: On the Hodge theory of Riemannian pseudomanifolds. Geometry of the Laplace operator, Honolulu/Hawaii 1979. In: Proc. Symp. Pure Math., Vol. 36, 91-146 (1980)
Cheeger, J.: Spectral geometry of singular Riemannian spaces. J. Differential Geom. 18(4), 575–657 (1984)
Cheeger, J., Goresky, M., MacPherson, R.: \(L^{2}\)-cohomology and intersection homology of singular algebraic varieties. In Seminar on Differential Geometry, volume 102 of Ann. of Math. Stud., pp. 303–340. Princeton Univ. Press, Princeton (1982)
Dar, A.: Intersection R-torsion and analytic torsion for pseudomanifolds. Math. Z. 194 194(2), 193–216 (1987)
Gilkey, P.B.: The boundary integrand in the formula for the signature and Euler characteristic of a Riemannian manifold with boundary. Adv. Math. 15, 334–360 (1975)
Goresky, M., MacPherson, R.: Intersection homology theory. Topology 19, 135–165 (1980)
Goresky, M., MacPherson, R.: Intersection homology. II. Invent. Math. 72, 77–129 (1983)
Hardy, G.H.: Summation of a series of polynomials of Laguerre. Addendum. J. Lond. Math. Soc. 7, 192 (1932)
Hartmann, L., Spreafico, M.: The analytic torsion of a cone over a sphere. J. Math. Pures Appl. 93(9), 408–435 (2010)
Hartmann, L., Spreafico, M.: The analytic torsion of a cone over an odd dimensional manifold. J. Geom. Phys. 61(3), 624–657 (2011)
Lesch, M.: Operators of Fuchs type, conical singularitites, and asymptotic methods. Teubner-Texte zur Mathematik 136. Stuttgart: B. G. Teubner (1997)
Lesch, M.: A gluing formula for the analytic torsion on singular spaces. Anal. PDE 6(1), 221–256 (2013)
Ludwig, U.: An index formula for the intersection Euler characteristic of an infinite cone. Math. Acad. Sci. Paris Comp. Rendus 355, 94–98 (2016)
Ludwig, U.: Comparison between two complexes on a singular space. J. Reine Angew. Math. 724, 1–52 (2017)
Ludwig, U.: An extension of a theorem by Cheeger and Müller to spaces with isolated conical singularities. Comp. Rendus Math. Acad. Sci. Paris 356(3), 327–332 (2018)
Mathai, V., Quillen, D.: Superconnections, Thom classes, and equivariant differential forms. Topology 25, 85–110 (1986)
Müller, W.: Analytic torsion and R-torsion of Riemannian manifolds. Adv. Math. 28, 233–305 (1978)
Müller, W., Vertman, B.: The metric anomaly of analytic torsion on manifolds with conical singularities. Commun. Partial Differ. Equ. 39(1), 146–191 (2014)
O’Neill, B.: Semi-Riemannian geometry. With applications to relativity. Pure and Applied Mathematics, 103. New York-London etc.: Academic Press, vol. XIII (1983)
Roe, J.: Elliptic operators, topology and asymptotic methods, volume 395 of Pitman Research Notes in Mathematics Series. Longman, Harlow, second edition (1998)
Vertman, B.: Analytic torsion of a bounded generalized cone. Commun. Math. Phys. 290(3), 813–860 (2009)
Vishik, S.M.: Generalized Ray-Singer conjecture. I: A manifold with a smooth boundary. Commun. Math. Phys. 167(1), 1–102 (1995)
Watson, G.N.: A treatise on the theory of Bessel functions. Cambridge mathematical library, 2nd edn. Cambridge University Press, Cambridge (1995)
Acknowledgements
First and foremost, I would like to thank Jean-Michel Bismut for many discussions and for his continuous and patient support. I have profited from discussions with Juan Gil, Thomas Krainer and Gerardo Mendoza during a one week stay in Altoona and Philadelphia in summer 2014. Many thanks to the participants in the “Groupe de travail sur l’opérateur de Dirac” Paolo Antonini, Sara Azzali, Bo Liu, Xiaonan Ma, Martin Puchol, Nikhil Savale and Shu Shen. The author has been supported by the Marie Curie Intra European Fellowship (within the 7th European Community Framework Programme) COMPTORSING and wishes to thank the Département de Mathématiques, Université Paris-Orsay, for hospitality.
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
About this article
Cite this article
Ludwig, U. An index formula for the intersection Euler characteristic of an infinite cone. Math. Z. 296, 99–126 (2020). https://doi.org/10.1007/s00209-019-02423-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-019-02423-5