[Paper Review] Cornucopia of Isospectral Pairs of Metrics on Balls and Spheres with Different Local Geometries

Zoltán Szabó|arXiv (Cornell University)|Nov 5, 2000

Geometric Analysis and Curvature Flows6 citations

TL;DR

This paper introduces a generalized form of the Anticommutator Technique to construct discrete isospectral pairs of Riemannian metrics on balls and spheres, including striking examples on S⁴ᵏ⁻¹ (k ≥ 3) where one metric is homogeneous and the other locally inhomogeneous. It is the first work to use spectrally inequivalent endomorphism spaces for isospectral constructions, significantly expanding the known landscape of isospectral geometries with distinct local structures.

ABSTRACT

Abstract. This article is the second part of a comprehensive study started in [Sz4], where the first isospectral pairs of metrics are constructed on balls, spheres, and other manifolds by a new isospectral construction technique, called ”Anticommutator Technique”. In this paper we reformulate this Technique in its most general form and we determine all the isospectral deformations provided by this method. It turns out that it provides only discrete isospectral deformations (the continuous deformations are always trivial in this case), however, we gain a cornucopia of surprising isospectral pairs. Among them the most striking examples are constructed on the spheres S4k−1, where k ≥ 3. One of the metrics from a pair is homogeneous (since it is the metric on the geodesic sphere of a 2-point homogeneous space), while the other is locally inhomogeneous. Finally we mention an other new feature of this paper: All the previous constructions are established by means of ”spectrally equivalent Endomorphism Spaces”. This paper is the first one where also ”spectrally inequivalent Endomorphism Spaces” are used for constructions.

Motivation & Objective

• To generalize the Anticommutator Technique for constructing isospectral metrics on manifolds.
• To determine all isospectral deformations generated by this generalized method.
• To explore the geometric and spectral implications of using spectrally inequivalent endomorphism spaces in isospectral constructions.
• To identify non-trivial, discrete isospectral pairs on spheres S⁴ᵏ⁻¹ with contrasting local geometries.

Proposed method

• Reformulating the Anticommutator Technique in its most general algebraic form to capture all possible isospectral deformations.
• Applying the technique to construct isospectral metrics on balls and spheres, particularly focusing on S⁴ᵏ⁻¹ for k ≥ 3.
• Using endomorphism spaces that are spectrally inequivalent to generate non-trivial isospectral pairs.
• Verifying isospectrality through spectral equivalence of Laplace-Beltrami operators despite differing local geometries.
• Analyzing the geometric properties of the resulting metrics, distinguishing between homogeneous and locally inhomogeneous structures.
• Demonstrating that continuous deformations are trivial under this method, confirming only discrete isospectral families arise.

Experimental results

Research questions

• RQ1 What is the complete set of isospectral deformations generated by the generalized Anticommutator Technique?
• RQ2 Can the Anticommutator Technique produce non-trivial isospectral pairs on spheres S⁴ᵏ⁻¹ with distinct local geometries?
• RQ3 How do spectrally inequivalent endomorphism spaces contribute to isospectral constructions in Riemannian geometry?
• RQ4 Why are continuous isospectral deformations trivial under this method, and what does this imply about the nature of the constructed pairs?
• RQ5 What is the geometric significance of one metric in a pair being homogeneous while the other is locally inhomogeneous?

Key findings

• The Anticommutator Technique yields only discrete isospectral deformations, with all continuous deformations being trivial.
• On spheres S⁴ᵏ⁻¹ for k ≥ 3, the method produces isospectral pairs where one metric is homogeneous and the other is locally inhomogeneous.
• This is the first construction of isospectral pairs on spheres using spectrally inequivalent endomorphism spaces.
• The method successfully generates a wide variety of isospectral pairs, described as a 'cornucopia' of surprising examples.
• The spectral equivalence of the Laplace-Beltrami operators is maintained despite significant differences in local geometry.
• The results extend the known class of isospectral manifolds beyond previously known constructions, particularly in the context of symmetric and non-symmetric metrics.