Milnor's isospectral tori and harmonic maps

TL;DR

This paper investigates whether the energy spectrum of harmonic maps can distinguish isospectral flat tori, finding that certain Milnor examples are indistinguishable for low-dimensional domains but distinguishable in higher dimensions.

Contribution

It demonstrates that Milnor's isospectral 16-dimensional flat tori cannot be distinguished by harmonic map energy spectra from low-dimensional tori but can be distinguished in higher dimensions, linking this to Siegel theta series properties.

Findings

Milnor's isospectral tori are indistinguishable by harmonic map spectra for dimensions ≤3.

They can be distinguished by spectra for dimensions ≥4.

The distinction relates to properties of Siegel theta series.

Abstract

A well-known question asks whether the spectrum of the Laplacian on a Riemannian manifold $(M,g)$ determines the Riemannian metric $g$ up to isometry. A similar question is whether the energy spectrum of all harmonic maps from a given Riemannian manifold $(\Sigma,h)$ to $M$ determines the Riemannian metric on the target space. We consider this question in the case of harmonic maps between flat tori. In particular, we show that the two isospectral, non-isometric $16$-dimensional flat tori found by Milnor cannot be distinguished by the energy spectrum of harmonic maps from $d$-dimensional flat tori for $d\leq 3$, but can be distinguished by certain flat tori for $d\geq 4$. This is related to a property of the Siegel theta series in degree $d$ associated to the $16$-dimensional lattices in Milnor's example.