×

Isospectral manifolds with different local geometries. (English) Zbl 0986.58016

Two compact Riemannian manifolds are said to be isospectral if the spectra of their associated Laplace operators coincide. Isospectral manifolds share some basic invariants, like the dimension, the volume and, more generally, the heat trace invariants (arising from the asymptotic development of the trace of the heat kernel, which is in fact determined by the spectrum). However, two isospectral manifolds need not be isometric: this basic fact was first proved by J. Milnor [Proc. Nat. Acad. Sci. USA 51, 542 (1964; Zbl 0124.31202)]. A general method in the study of isospectrality was given by T. Sunada [Ann. Math., II. Ser. 121, 169-186 (1985; Zbl 0585.58047)]: one gets isospectral manifolds as quotients of a fixed manifold by group actions satisfying suitable properties. However, the Sunada principle always yields locally isometric manifolds, hence the question: - If two manifolds are isospectral, are they necessarily locally isometric? The answer is again negative; the first counterexample was given by Z. Szabó in 1991 (for manifolds with boundary, and appearing later in [Geom. Funct. Anal. 9, No. 1, 185-214 (1993; Zbl 0964.53026)]). Then, C. Gordon extended Szabó’s examples into a new general method which produces isospectral closed manifolds which are not locally isometric [see J. Differ. Geom. 37, No. 3, 639-649 (1993; Zbl 0792.53037]. It reads as follows: “If a torus acts on two Riemannian manifolds freely and isometrically with totally geodesic fibers, and if the quotients of the manifolds by any subtorus of codimension at most one are isospectral when endowed with the submersion metric, then the original manifolds are isospectral”.
The present paper provides several new examples showing that even imposing somewhat strict conditions, the spectrum is far from determining the local geometry. By employing suitable variations, and simplified versions, of C. Gordon’s principle above, the author in fact constructs: – The first examples of four dimensional isospectral manifolds which are not locally isometric (note that the lowest dimension of previously known examples of this type was six). – The first examples of isospectral left invariant metrics on compact Lie groups (these examples come in continuous families) and the first examples of isospectral manifolds which are simply connected and irreducible (examples of isospectral, simply connected manifolds were previously given by the author in her paper [Ann. Math. (2) 149, No. 1, 287-308 (1999; Zbl 0964.53027)]). Moreover, the following rigidity result is proved: any continuous isospectral family of left invariant isospectral metrics which contains a bi-invariant metric must be trivial.
The first examples of conformally equivalent manifolds which are isospectral and not locally isometric (examples of conformally equivalent isospectral manifolds were given by R. Brooks and C. Gordon in [Bull. Am. Math. Soc. New Ser. 23, No. 2, 433-436 (1990; Zbl 0722.58045)], but they are all locally isometric because they arise from the Sunada method). Hence, even restricting the metric to a fixed conformal class, the local geometry is not determined by the spectrum.

MSC:

58J53 Isospectrality
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] BeArard P., Springer Lect. Notes Math. pp 1207– (1986)
[2] BeArard P., Math. Ann. 292 pp 3– (1992)
[3] BeArard P., J. London Math. Soc. 48 pp 565– (1993)
[4] Berger M., Springer Lect. Notes Math. pp 194– (1971)
[5] Besse, Einstein manifolds, Springer, Berlin-Heidelberg-New York 1987. · Zbl 0613.53001
[6] Brooks R., Bull. Amer. Math. Soc. 23 pp 3– (1990)
[7] Brooks R., Acta Math. 173 pp 2– (1994)
[8] Brooks R., Proc. Symp. Pure Math. 54 pp 89– (1993)
[9] P. Buser, Geometry and Spectra of Compact Riemann Surfaces, BirkhaEuser, Boston1992. · Zbl 0770.53001
[10] Chang S.-Y., J. Amer. Math. Soc. 3 pp 1– (1990)
[11] I. Chavel, Eigenvalues in Riemannian geometry, Academic Press, 1984.
[12] Compos. Math. 27 pp 159– (1973)
[13] J. H. Conway and N. J. A. Sloane, Four-dimensional lattices with the same theta series, Intern. Math. Res. Not. (1992), no. 4, 93-96. · Zbl 0770.11022
[14] Croke C., Topology 37 pp 6– (1998)
[15] D. DeTurck and C. Gordon, Isospectral Deformations I: Riemannian Structures on Two-Step Nilspaces, Comm. Pure Appl. Math. XL (1987), 367-387. · Zbl 0649.53025
[16] DeTurck D., Comm. Pure Appl. Math. 42 pp 1067– (1989)
[17] DeTurck D., Proc. Symp. Pure Math. 54 pp 3– (1993)
[18] P. Gilkey, Invariance Theory, The Heat Equation, and the Atiyah-Singer Index Theorem, Math. Lect. Ser.11, Publish or Perish, 1984.
[19] C., Geom. 24 pp 79– (1986)
[20] C., Geom. 37 pp 639– (1993)
[21] C., Contemp. Math. 173 pp 121– (1994)
[22] Gordon C., Ann. Inst. Fourier 48 pp 2– (1998)
[23] C. S. Gordon and Z. I. SzaboA, Isospectral deformations of negatively curved Riemannian manifolds with boundary which are not locally isometric, preprint 1999, math. DG/0005156.
[24] Gordon C., Invent. Math. 110 pp 1– (1992)
[25] Gordon C., Geom. 19 pp 241– (1984)
[26] Gordon C., Michigan Math. J. 33 pp 253– (1986)
[27] Gordon C., Geom. 47 pp 504– (1997)
[28] Comment. Math. Helv. 71 pp 2– (1996)
[29] J. Geom. Anal. 10 pp 2– (2000)
[30] A. Ikeda, On lens spaces which are isospectral but not isometric, Ann. Sci. Ec. Norm. Sup. (4) 13 (1980), 303-315. · Zbl 0451.58037
[31] Perspect. Math. 8 pp 383– (1989)
[32] Amer. Math. Monthly 73 pp 2– (1966)
[33] Proc. Nat. Acad. Sci. US 51 pp 542– (1964)
[34] Osgood B., J. Funct. Anal. 80 pp 212– (1988)
[35] Osgood B., Ann. Math. 129 pp 2– (1989)
[36] J. Indian Math. Soc. 34 pp 269– (1970)
[37] Comment. Math. Helv. 71 pp 243– (1996)
[38] Pesce H., Topology 36 pp 3– (1996)
[39] Compos. Math. 109 pp 357– (1997)
[40] Sakai T., Math. Monogr. 149 pp 1996–
[41] Comment. Math. Helv. 70 pp 434– (1995)
[42] Ann. Math. 149 pp 287– (1999)
[43] Ann. Math. 121 pp 169– (1985)
[44] Z., Geom. Funct. Anal. 9 pp 1– (1999)
[45] S. Tanno, Eigenvalues of the Laplacian of Riemannian manifolds, To hoku Math. J. (2) 25 (1973), 391-403. · Zbl 0266.53033
[46] Math. Z. 175 pp 3– (1980)
[47] Ann. Math. 112 pp 21– (1980)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.