Properties of the Dirac spectrum on three dimensional lens spaces (Q1687147)

\textit{A. Ikeda} and \textit{Y. Yamamoto} [Osaka J. Math. 16, 447--469 (1979; Zbl 0415.58018)] and \textit{Y. Yamamoto} [ibid. 17, 9--21 (1980; Zbl 0426.10028)] proved that a \(3\)-dimensional lens space is determined by the spectrum of its Laplace-Beltrami operator. The article under review considers the analog problem by substituting the Laplace-Beltrami operator by the Dirac operator. It is shown that, if the Dirac spectra of two \(3\)-dimensional spin lens spaces with fundamental groups of order prime coincide, then they are isometric. As usual, the Dirac operator case involves more technical requirements than in the Laplacian case. All these technicalities are perfectly solved and explained by the author, including a definition of isometry (and Dirac-isospectrality) up to preserving/reversing orientation. The proof follows a suggestion by Yamamoto that involves \(p\)-adic numbers over cyclotomic fields of prime order. It also uses a calculation of the generating functions associated to the Dirac spectrum of a spherical space form established in [\textit{C. Bär}, J. Math. Soc. Japan 48, No. 1, 69--83 (1996; Zbl 0848.58046)]. It is important to note that this spectral rigidity result is no longer valid for higher dimensional spin lens spaces because of several explicit Dirac-isospectral examples given in [the author and \textit{E. A. Lauret}, J. Geom. Anal. 27, No. 1, 689--725 (2017; Zbl 1366.58010)].