Showing 1–34 of 34 results for author: Lauret, E A

Linear stability of Perelman's $ν$-entropy of standard Einstein manifolds

Authors: Emilio A. Lauret, Alejandro Tolcachier

Abstract: Paul Schwahn recently exhibited 112 non-symmetric, connected, simply connected, compact Einstein manifolds that are stable with respect to the total scalar curvature functional restricted to the space of Riemannian metrics with constant scalar curvature and fixed volume. This stability follows from the inequality $λ_L > 2E$, where $λ_L$ denotes the smallest eigenvalue of the Lichnerowicz Laplacian… ▽ More Paul Schwahn recently exhibited 112 non-symmetric, connected, simply connected, compact Einstein manifolds that are stable with respect to the total scalar curvature functional restricted to the space of Riemannian metrics with constant scalar curvature and fixed volume. This stability follows from the inequality $λ_L > 2E$, where $λ_L$ denotes the smallest eigenvalue of the Lichnerowicz Laplacian on TT-tensors and $E$ is the corresponding Einstein factor. In this paper, we estimate the smallest positive eigenvalue $λ_1$ of the Laplace-Beltrami operator for connected, simply connected, non-symmetric standard Einstein manifolds $(G/H,g_{\operatorname{st}})$ with $G$ a compact and connected simple Lie group. We obtain that $λ_1>2E$ for all of them excepting $7$ spaces. As a consequence of our estimates, we establish that all stable Einstein manifolds found by Schwahn are in fact linear stable with respect to Perelman's $ν$-entropy. △ Less

Submitted 14 June, 2025; originally announced June 2025.

MSC Class: 58C40 (Primary) 53C25; 53C30; 53C44 (Secondary)

Spectrally distinguishing symmetric spaces II

Authors: Emilio A. Lauret, Juan Sebastián Rodríguez

Abstract: The action of the subgroup $\operatorname{G}_2$ of $\operatorname{SO}(7)$ (resp.\ $\operatorname{Spin}(7)$ of $\operatorname{SO}(8)$) on the Grassmannian space $M=\frac{\operatorname{SO}(7)}{\operatorname{SO}(5)\times\operatorname{SO}(2)}$ (resp.\ $M=\frac{\operatorname{SO}(8)}{\operatorname{SO}(5)\times\operatorname{SO}(3)}$) is still transitive. We prove that the spectrum (i.e.\ the collection o… ▽ More The action of the subgroup $\operatorname{G}_2$ of $\operatorname{SO}(7)$ (resp.\ $\operatorname{Spin}(7)$ of $\operatorname{SO}(8)$) on the Grassmannian space $M=\frac{\operatorname{SO}(7)}{\operatorname{SO}(5)\times\operatorname{SO}(2)}$ (resp.\ $M=\frac{\operatorname{SO}(8)}{\operatorname{SO}(5)\times\operatorname{SO}(3)}$) is still transitive. We prove that the spectrum (i.e.\ the collection of eigenvalues of its Laplace-Beltrami operator) of a symmetric metric $g_0$ on $M$ coincides with the spectrum of a $\operatorname{G}_2$-invariant (resp.\ $\operatorname{Spin}(7)$-invariant) metric $g$ on $M$ only if $g_0$ and $g$ are isometric. As a consequence, each non-flat compact irreducible symmetric space of non-group type is spectrally unique among the family of all currently known homogeneous metrics on its underlying differentiable manifold. △ Less

Submitted 12 April, 2025; v1 submitted 11 November, 2024; originally announced November 2024.

MSC Class: 58J53 (Primary) 53C30; 58C40 (Secondary)

Isospectral spherical space forms and orbifolds of highest volume

Authors: Alfredo Álzaga, Emilio A. Lauret

Abstract: We prove that $\operatorname{vol}(S^{d})/8$ is the highest volume of a pair of $d$-dimensional isospectral and non-isometric spherical orbifolds for any $d\geq5$. Furthermore, we show that $\operatorname{vol}(S^{2n-1})/11$ is the highest volume of a pair of $(2n-1)$-dimensional isospectral and non-isometric spherical space forms if either $n\geq11$ and $n\equiv 1\pmod 5$, or $n\geq7$ and… ▽ More We prove that $\operatorname{vol}(S^{d})/8$ is the highest volume of a pair of $d$-dimensional isospectral and non-isometric spherical orbifolds for any $d\geq5$. Furthermore, we show that $\operatorname{vol}(S^{2n-1})/11$ is the highest volume of a pair of $(2n-1)$-dimensional isospectral and non-isometric spherical space forms if either $n\geq11$ and $n\equiv 1\pmod 5$, or $n\geq7$ and $n\equiv 2\pmod 5$, or $n\geq3$ and $n\equiv 3\pmod 5$. △ Less

Submitted 4 February, 2025; v1 submitted 3 September, 2024; originally announced September 2024.

Comments: Accepted in Revista de la Unión Matemática Argentina (February 2025)

MSC Class: 58J53 (Primary)

Isospectral CR manifolds with respect to the Kohn Laplacian

Authors: Gerson Gutierrez, Emilio A. Lauret, Juan Pablo Rossetti

Abstract: We prove that the spectrum of the Kohn Laplacian does not determine the equivalence classes of CR manifolds. We construct pairs of odd-dimensional elliptic manifolds that are not equivalent as CR manifolds but whose Kohn Laplacians have the same spectrum. These manifolds are endowed with the CR structures inherited from the canonical CR structure on the sphere of the same dimension. We provide thr… ▽ More We prove that the spectrum of the Kohn Laplacian does not determine the equivalence classes of CR manifolds. We construct pairs of odd-dimensional elliptic manifolds that are not equivalent as CR manifolds but whose Kohn Laplacians have the same spectrum. These manifolds are endowed with the CR structures inherited from the canonical CR structure on the sphere of the same dimension. We provide three different constructions among lens spaces and an additional one among elliptic manifolds with non-cyclic fundamental groups. △ Less

Submitted 23 December, 2023; originally announced December 2023.

MSC Class: 58J53 (Primary); 32V05; 32V20 (Secondary)

Journal ref: J. Geom. Anal. 35 (2025), 171

Spectrally distinguishing symmetric spaces I

Authors: Emilio A. Lauret, Juan Sebastián Rodríguez

Abstract: We prove that the irreducible symmetric space of complex structures on $\mathbb R^{2n}$ (resp.\ quaternionic structures on $\mathbb C^{2n}$) is spectrally unique within a $2$-parameter (resp.\ $3$-parameter) family of homogeneous metrics on the underlying differentiable manifold. Such families are strong candidates to contain all homogeneous metrics admitted on the corresponding manifolds. The m… ▽ More We prove that the irreducible symmetric space of complex structures on $\mathbb R^{2n}$ (resp.\ quaternionic structures on $\mathbb C^{2n}$) is spectrally unique within a $2$-parameter (resp.\ $3$-parameter) family of homogeneous metrics on the underlying differentiable manifold. Such families are strong candidates to contain all homogeneous metrics admitted on the corresponding manifolds. The main tool in the proof is an explicit expression for the smallest positive eigenvalue of the Laplace-Beltrami operator associated to each homogeneous metric involved. As a second consequence of this expression, we prove that any non-symmetric Einstein metric in the homogeneous families mentioned above is $ν$-unstable. △ Less

Submitted 4 March, 2025; v1 submitted 16 November, 2023; originally announced November 2023.

MSC Class: 58J53 (Primary) 53C30; 58C40 (Secondary)

Journal ref: Math. Z. 310 (2025), article number 42

The spectral geometry of hyperbolic and spherical manifolds: analogies and open problems

Authors: Emilio A. Lauret, Benjamin Linowitz

Abstract: The spectral geometry of negatively curved manifolds has received more attention than its positive curvature counterpart. In this paper we will survey a variety of spectral geometry results that are known to hold in the context of hyperbolic manifolds and discuss the extent to which analogous results hold in the setting of spherical manifolds. We conclude with a number of open problems. The spectral geometry of negatively curved manifolds has received more attention than its positive curvature counterpart. In this paper we will survey a variety of spectral geometry results that are known to hold in the context of hyperbolic manifolds and discuss the extent to which analogous results hold in the setting of spherical manifolds. We conclude with a number of open problems. △ Less

Submitted 12 May, 2024; v1 submitted 18 May, 2023; originally announced May 2023.

MSC Class: 58J53 (Primary) 22C05; 58J50 (Secondary)

Journal ref: New York J. Math. 30 (2024), 682-721

Diameter and displacement of sphere involutions

Authors: Renato G. Bettiol, Emilio A. Lauret

Abstract: We show that spheres in all dimensions $\geq3$ can be deformed to have diameter larger than the distance between any pair of antipodal points. This answers a question of Yurii Nikonorov. We show that spheres in all dimensions $\geq3$ can be deformed to have diameter larger than the distance between any pair of antipodal points. This answers a question of Yurii Nikonorov. △ Less

Submitted 17 September, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: Mat. Contemp., to appear

MSC Class: 51M16 (Primary) 53C20; 53C30; 58C40 (Secondary)

Journal ref: Mat. Contemp. 57 (2023), 23-31

The stability of standard homogeneous Einstein manifolds

Authors: Emilio A. Lauret, Jorge Lauret

Abstract: Back in 1985, Wang and Ziller obtained a complete classification of all homogeneous spaces of compact simple Lie groups on which the standard or Killing metric is Einstein. The list consists, beyond isotropy irreducible spaces, of 12 infinite families (two of them are actually conceptual constructions) and 22 isolated examples. We study in this paper the nature of each of these Einstein metrics as… ▽ More Back in 1985, Wang and Ziller obtained a complete classification of all homogeneous spaces of compact simple Lie groups on which the standard or Killing metric is Einstein. The list consists, beyond isotropy irreducible spaces, of 12 infinite families (two of them are actually conceptual constructions) and 22 isolated examples. We study in this paper the nature of each of these Einstein metrics as a critical point of the scalar curvature functional. △ Less

Submitted 28 October, 2022; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 34 pages, 10 tables, 2 figures. Final version accepted in Math. Z

Journal ref: Math. Z. 303 (2023), 16

Full Laplace spectrum of distance spheres in symmetric spaces of rank one

Authors: Renato G. Bettiol, Emilio A. Lauret, Paolo Piccione

Abstract: We use Lie-theoretic methods to explicitly compute the full spectrum of the Laplace--Beltrami operator on homogeneous spheres which occur as geodesic distance spheres in (compact or noncompact) symmetric spaces of rank one, and provide a single unified formula for all cases. As an application, we find all resonant radii for distance spheres in the compact case, i.e., radii where there is bifurcati… ▽ More We use Lie-theoretic methods to explicitly compute the full spectrum of the Laplace--Beltrami operator on homogeneous spheres which occur as geodesic distance spheres in (compact or noncompact) symmetric spaces of rank one, and provide a single unified formula for all cases. As an application, we find all resonant radii for distance spheres in the compact case, i.e., radii where there is bifurcation of embedded constant mean curvature spheres, and show that distance spheres are stable and locally rigid in the noncompact case. △ Less

Submitted 13 January, 2022; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: LaTeX2e, 19 pages, final (revised) version. To appear in Bull. Lond. Math. Soc

MSC Class: 58J50; 53C35; 53C30; 58J55; 53A10; 22E46; 35J20

Journal ref: Bull. Lond. Math. Soc. 54:5 (2022), 1683-1704

Diameter and Laplace eigenvalue estimates for compact homogeneous Riemannian manifolds

Authors: Emilio A. Lauret

Abstract: Let $G$ be a compact connected Lie group and let $K$ be a closed subgroup of $G$. In this paper we study whether the functional $g\mapsto λ_1(G/K,g)\operatorname{diam}(G/K,g)^2$ is bounded among $G$-invariant metrics $g$ on $G/K$. Eldredge, Gordina, and Saloff-Coste conjectured in 2018 that this assertion holds when $K$ is trivial; the only particular cases known so far are when $G$ is abelian,… ▽ More Let $G$ be a compact connected Lie group and let $K$ be a closed subgroup of $G$. In this paper we study whether the functional $g\mapsto λ_1(G/K,g)\operatorname{diam}(G/K,g)^2$ is bounded among $G$-invariant metrics $g$ on $G/K$. Eldredge, Gordina, and Saloff-Coste conjectured in 2018 that this assertion holds when $K$ is trivial; the only particular cases known so far are when $G$ is abelian, $\operatorname{SU}(2)$, and $\operatorname{SO}(3)$. In this article we prove the existence of the mentioned upper bound for every compact homogeneous space $G/K$ having multiplicity-free isotropy representation. △ Less

Submitted 6 March, 2021; v1 submitted 11 July, 2020; originally announced July 2020.

Comments: Accepted for publication in Transformation Groups. arXiv admin note: text overlap with arXiv:2004.00350

MSC Class: 58C40 (Primary) 58J50; 22C05; 53C30; 53C17 (Secondary)

Journal ref: Transform. Groups 28:4 (2023), 1629-1650

Diameter and Laplace eigenvalue estimates for left-invariant metrics on compact Lie groups

Authors: Emilio A. Lauret

Abstract: Let $G$ be a compact connected Lie group of dimension $m$. Once a bi-invariant metric on $G$ is fixed, left-invariant metrics on $G$ are in correspondence with $m\times m$ positive definite symmetric matrices. We estimate the diameter and the smallest positive eigenvalue of the Laplace-Beltrami operator associated to a left-invariant metric on $G$ in terms of the eigenvalues of the corresponding p… ▽ More Let $G$ be a compact connected Lie group of dimension $m$. Once a bi-invariant metric on $G$ is fixed, left-invariant metrics on $G$ are in correspondence with $m\times m$ positive definite symmetric matrices. We estimate the diameter and the smallest positive eigenvalue of the Laplace-Beltrami operator associated to a left-invariant metric on $G$ in terms of the eigenvalues of the corresponding positive definite symmetric matrix. As a consequence, we give partial answers to a conjecture by Eldredge, Gordina and Saloff-Coste; namely, we give large subsets $\mathcal S$ of the space of left-invariant metrics $\mathcal M$ on $G$ such that there exists a positive real number $C$ depending on $G$ and $\mathcal S$ such that $λ_1(G,g)\operatorname{diam}(G,g)^2\leq C$ for all $g\in\mathcal S$. The existence of the constant $C$ for $\mathcal S=\mathcal M$ is the original conjecture. △ Less

Submitted 15 November, 2021; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: A footnote in page 17 has been added with important updated information

MSC Class: 58C40 (Primary); 58J50; 22C05; 53C30; 53C17 (Secondary)

Journal ref: Potential Analysis 58 (2023), 37-70

The first eigenvalue of a homogeneous CROSS

Authors: Renato G. Bettiol, Emilio A. Lauret, Paolo Piccione

Abstract: We provide explicit formulae for the first eigenvalue of the Laplace-Beltrami operator on a compact rank one symmetric space (CROSS) endowed with any homogeneous metric. As consequences, we prove that homogeneous metrics on CROSSes are isospectral if and only if they are isometric, and also discuss their stability (or lack thereof) as solutions to the Yamabe problem. We provide explicit formulae for the first eigenvalue of the Laplace-Beltrami operator on a compact rank one symmetric space (CROSS) endowed with any homogeneous metric. As consequences, we prove that homogeneous metrics on CROSSes are isospectral if and only if they are isometric, and also discuss their stability (or lack thereof) as solutions to the Yamabe problem. △ Less

Submitted 31 July, 2021; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: LaTeX2e, 53 pages, final (revised) version. To appear in J. Geom. Anal

MSC Class: 53C30; 58J50; 58J53; 35P15; 35B35; 58J55; 53A30

Journal ref: J. Geom. Anal. 32 (2022), no. 3, Paper No. 76, 63 pp

On the smallest Laplace eigenvalue for naturally reductive metrics on compact simple Lie groups

Authors: Emilio A. Lauret

Abstract: Eldredge, Gordina and Saloff-Coste recently conjectured that, for a given compact connected Lie group $G$, there is a positive real number $C$ such that $λ_1(G,g)\operatorname{diam}(G,g)^2\leq C$ for all left-invariant metrics $g$ on $G$. In this short note, we establish the conjecture for the small subclass of naturally reductive left-invariant metrics on a compact simple Lie group. Eldredge, Gordina and Saloff-Coste recently conjectured that, for a given compact connected Lie group $G$, there is a positive real number $C$ such that $λ_1(G,g)\operatorname{diam}(G,g)^2\leq C$ for all left-invariant metrics $g$ on $G$. In this short note, we establish the conjecture for the small subclass of naturally reductive left-invariant metrics on a compact simple Lie group. △ Less

Submitted 13 December, 2019; v1 submitted 7 June, 2019; originally announced June 2019.

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 3375-3380

Non-solvable Lie groups with negative Ricci curvature

Authors: Emilio A. Lauret, Cynthia E. Will

Abstract: Until a couple of years ago, the only known examples of Lie groups admitting left-invariant metrics with negative Ricci curvature were either solvable or semisimple. We use a general construction from a previous article of the second named author to produce a great amount of examples with compact Levy factor. Given a compact semisimple real Lie algebra $\mathfrak u$ and a real representation $π$ s… ▽ More Until a couple of years ago, the only known examples of Lie groups admitting left-invariant metrics with negative Ricci curvature were either solvable or semisimple. We use a general construction from a previous article of the second named author to produce a great amount of examples with compact Levy factor. Given a compact semisimple real Lie algebra $\mathfrak u$ and a real representation $π$ satisfying some technical properties, the construction returns a metric Lie algebra $\mathfrak l(\mathfrak u,π)$ with negative Ricci operator. In this paper, when $\mathfrak u$ is assumed to be simple, we prove that $\mathfrak l(\mathfrak u,π)$ admits a metric having negative Ricci curvature for all but finitely many finite-dimensional irreducible representations of $\mathfrak u\otimes_{\mathbb R} \mathbb C$, regarded as a real representation of $\mathfrak u$. We also prove in the last section a more general result where the nilradical is not abelian, as it is in every $\mathfrak l(\mathfrak u,π)$. △ Less

Submitted 16 December, 2019; v1 submitted 29 May, 2019; originally announced May 2019.

Journal ref: Transform. Groups 27:1 (2022), 163-179

Recent results on the spectra of lens spaces

Authors: Emilio A. Lauret, Roberto J. Miatello, Juan Pablo Rossetti

Abstract: In this paper we report on recent results by several authors, on the spectral theory of lens spaces and orbifolds and similar locally symmetric spaces of rank one. Most of these results are related to those obtained by the authors in [IMRN (2016), 1054--1089], where the spectra of lens spaces were described in terms of the one-norm spectrum of a naturally associated congruence lattice. As a conseq… ▽ More In this paper we report on recent results by several authors, on the spectral theory of lens spaces and orbifolds and similar locally symmetric spaces of rank one. Most of these results are related to those obtained by the authors in [IMRN (2016), 1054--1089], where the spectra of lens spaces were described in terms of the one-norm spectrum of a naturally associated congruence lattice. As a consequence, the first examples of Riemannian manifolds isospectral on $p$-forms for all $p$ but not strongly isospectral were constructed. We also give a new elementary proof in the case of the spectrum on functions. In this proof, representation theory of compact Lie groups is avoided and replaced by the use of Molien's formula and a manipulation of the one-norm generating function associated to a congruence lattice. In the last four sections we present several recent results, open problems and conjectures on the subject. △ Less

Submitted 25 September, 2019; v1 submitted 1 April, 2019; originally announced April 2019.

MSC Class: 58J53

Journal ref: Sao Paulo J. Math. Sci. 15:1 (2021), 240-267

Strong representation equivalence for compact symmetric spaces of real rank one

Authors: Emilio A. Lauret, Roberto J. Miatello

Abstract: Let $G/K$ be a simply connected compact irreducible symmetric space of real rank one. For each $K$-type $τ$ we compare the notions of $τ$-representation equivalence with $τ$-isospectrality. We exhibit infinitely many $K$-types $τ$ so that, for arbitrary discrete subgroups $Γ$ and $Γ'$ of $G$, if the multiplicities of $λ$ in the spectra of the Laplace operators acting on sections of the induced… ▽ More Let $G/K$ be a simply connected compact irreducible symmetric space of real rank one. For each $K$-type $τ$ we compare the notions of $τ$-representation equivalence with $τ$-isospectrality. We exhibit infinitely many $K$-types $τ$ so that, for arbitrary discrete subgroups $Γ$ and $Γ'$ of $G$, if the multiplicities of $λ$ in the spectra of the Laplace operators acting on sections of the induced $τ$-vector bundles over $Γ\backslash G/K$ and $Γ'\backslash G/K$ agree for all but finitely many $λ$, then $Γ$ and $Γ'$ are $τ$-representation equivalent in $G$ (i.e.\ $\dim \operatorname{Hom}_G(V_π, L^2(Γ\backslash G))=\dim \operatorname{Hom}_G(V_π, L^2(Γ'\backslash G))$ for all $π\in \widehat G$ satisfying $\operatorname{Hom}_K(V_τ,V_π)\neq0$). In particular $Γ\backslash G/K$ and $Γ'\backslash G/K$ are $τ$-isospectral (i.e.\ the multiplicities agree for all $λ$). We specially study the case of $p$-form representations, i.e. the irreducible subrepresentations $τ$ of the representation $τ_p$ of $K$ on the $p$-exterior power of the complexified cotangent bundle $\bigwedge^p T_{\mathbb C}^*M$. We show that for such $τ$, in most cases $τ$-isospectrality implies $τ$-representation equivalence. We construct an explicit counter-example for $G/K= \operatorname{SO}(4n)/ \operatorname{SO}(4n-1)\simeq S^{4n-1}$. △ Less

Submitted 1 June, 2021; v1 submitted 22 December, 2018; originally announced December 2018.

Comments: arXiv admin note: text overlap with arXiv:1804.08288

MSC Class: 58J50; 58J53; 22E46; 22C05

Journal ref: Pacific J. Math. 314 (2021) 333-373

On the SO(n+3) to SO(n) branching multiplicity space

Authors: Emilio A. Lauret, Fiorela Rossi Bertone

Abstract: We study the decomposition as an $\textrm{SO}(3)$-module of the multiplicity space corresponding to the branching from $\textrm{SO}(n+3)$ to $\textrm{SO}(n)$. Here, $\textrm{SO}(n)$ (resp.\ $\textrm{SO}(3)$) is considered embedded in $\textrm{SO}(n+3)$ in the upper left-hand block (resp.\ lower right-hand block). We show that when the highest weight of the irreducible representation of… ▽ More We study the decomposition as an $\textrm{SO}(3)$-module of the multiplicity space corresponding to the branching from $\textrm{SO}(n+3)$ to $\textrm{SO}(n)$. Here, $\textrm{SO}(n)$ (resp.\ $\textrm{SO}(3)$) is considered embedded in $\textrm{SO}(n+3)$ in the upper left-hand block (resp.\ lower right-hand block). We show that when the highest weight of the irreducible representation of $\textrm{SO}(n)$ interlaces the highest weight of the irreducible representation of $\textrm{SO}(n+3)$, then the multiplicity space decomposes as a tensor product of $\lfloor (n+2)/2\rfloor$ reducible representations of $\textrm{SO}(3)$. △ Less

Submitted 10 May, 2018; v1 submitted 8 May, 2018; originally announced May 2018.

MSC Class: 20G05; 22E46

Journal ref: Comptes Rendus Acad. Sci. Paris, Ser. I Math. 356 (2018), 1112-1124

Strong multiplicity one theorems for locally homogeneous spaces of compact type

Authors: Emilio A. Lauret, Roberto J. Miatello

Abstract: Let $G$ be a compact connected semisimple Lie group, let $K$ be a closed subgroup of $G$, let $Γ$ be a finite subgroup of $G$, and let $τ$ be a finite-dimensional representation of $K$. For $π$ in the unitary dual $\widehat G$ of $G$, denote by $n_Γ(π)$ its multiplicity in $L^2(Γ\backslash G)$. We prove a strong multiplicity one theorem in the spirit of Bhagwat and Rajan, for the $n_Γ(π)$ for… ▽ More Let $G$ be a compact connected semisimple Lie group, let $K$ be a closed subgroup of $G$, let $Γ$ be a finite subgroup of $G$, and let $τ$ be a finite-dimensional representation of $K$. For $π$ in the unitary dual $\widehat G$ of $G$, denote by $n_Γ(π)$ its multiplicity in $L^2(Γ\backslash G)$. We prove a strong multiplicity one theorem in the spirit of Bhagwat and Rajan, for the $n_Γ(π)$ for $π$ in the set $\widehat G_τ$ of irreducible $τ$-spherical representations of $G$. More precisely, for $Γ$ and $Γ'$ finite subgroups of $G$, we prove that if $n_Γ(π)= n_{Γ'}(π)$ for all but finitely many $π\in \widehat G_τ$, then $Γ$ and $Γ'$ are $τ$-representation equivalent, that is, $n_Γ(π)=n_{Γ'}(π)$ for all $π\in \widehat G_τ$. Moreover, when $\widehat G_τ$ can be written as a finite union of strings of representations, we prove a finite version of the above result. For any finite subset $\widehat {F}_τ$ of $\widehat G_τ$ verifying some mild conditions, the values of the $n_Γ(π)$ for $π\in\widehat F_τ$ determine the $n_Γ(π)$'s for all $π\in \widehat G_τ$. In particular, for two finite subgroups $Γ$ and $Γ'$ of $G$, if $n_Γ(π) = n_{Γ'}(π)$ for all $π\in \widehat F_τ$ then the equality holds for every $π\in \widehat G_τ$. We use algebraic methods involving generating functions and some facts from the representation theory of $G$. △ Less

Submitted 12 February, 2020; v1 submitted 23 April, 2018; originally announced April 2018.

Comments: Final version, to appear in Proc. AMS

MSC Class: 22E46; 58J53; 58J50

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 3163-3173

The smallest Laplace eigenvalue of homogeneous 3-spheres

Authors: Emilio A. Lauret

Abstract: We establish an explicit expression for the smallest non-zero eigenvalue of the Laplace--Beltrami operator on every homogeneous metric on the 3-sphere, or equivalently, on SU(2) endowed with left-invariant metric. For the subfamily of 3-dimensional Berger spheres, we obtain a full description of their spectra. We also give several consequences of the mentioned expression. One of them improves know… ▽ More We establish an explicit expression for the smallest non-zero eigenvalue of the Laplace--Beltrami operator on every homogeneous metric on the 3-sphere, or equivalently, on SU(2) endowed with left-invariant metric. For the subfamily of 3-dimensional Berger spheres, we obtain a full description of their spectra. We also give several consequences of the mentioned expression. One of them improves known estimates for the smallest non-zero eigenvalue in terms of the diameter for homogeneous 3-spheres. Another application shows that the spectrum of the Laplace--Beltrami operator distinguishes up to isometry any left-invariant metric on SU(2). It is also proved the non-existence of constant scalar curvature metrics conformal and arbitrarily close to any non-round homogeneous metric on the 3-sphere. All of the above results are extended to left-invariant metrics on SO(3), that is, homogeneous metrics on the 3-dimensional real projective space. △ Less

Submitted 17 March, 2025; v1 submitted 12 January, 2018; originally announced January 2018.

Comments: There were some mistakes in the previous version in arXiv

MSC Class: 58J50 (Primary) 35P15; 22C05; 58J53; 53C30; 58C40 (Secondary)

Journal ref: Bull. Lond. Math. Soc. 51:1 (2019), 49-69

Weight multiplicity formulas for bivariate representations of classical Lie algebras

Authors: Emilio A. Lauret, Fiorela Rossi Bertone

Abstract: A bivariate representation of a complex simple Lie algebra is an irreducible representation having highest weight a combination of the first two fundamental weights. For a complex classical Lie algebra, we establish an expression for the weight multiplicities of bivariate representations. A bivariate representation of a complex simple Lie algebra is an irreducible representation having highest weight a combination of the first two fundamental weights. For a complex classical Lie algebra, we establish an expression for the weight multiplicities of bivariate representations. △ Less

Submitted 30 July, 2018; v1 submitted 25 August, 2017; originally announced August 2017.

MSC Class: 17B10; 17B22; 22E46

Journal ref: J. Math. Phys. 59:8 (2018), 081705

Spectral uniqueness of bi-invariant metrics on symplectic groups

Authors: Emilio A. Lauret

Abstract: In this short note, we prove that a bi-invariant Riemannian metric on $\mathrm{Sp}(n)$ is uniquely determined by the spectrum of its Laplace-Beltrami operator within the class of left-invariant metrics on $\mathrm{Sp}(n)$. In other words, on any of these compact simple Lie groups, every left-invariant metric which is not right-invariant cannot be isospectral to a bi-invariant metric. The proof is… ▽ More In this short note, we prove that a bi-invariant Riemannian metric on $\mathrm{Sp}(n)$ is uniquely determined by the spectrum of its Laplace-Beltrami operator within the class of left-invariant metrics on $\mathrm{Sp}(n)$. In other words, on any of these compact simple Lie groups, every left-invariant metric which is not right-invariant cannot be isospectral to a bi-invariant metric. The proof is elementary and uses a very strong spectral obstruction proved by Gordon, Schueth, and Sutton. △ Less

Submitted 9 June, 2018; v1 submitted 27 June, 2017; originally announced June 2017.

Comments: The proof of Lemma 3.1 was modified

MSC Class: 58J53; 53C30; 53C35

Journal ref: Transform. Groups 24 (2019), 1157-1164

Multiplicity formulas for fundamental strings of representations of classical Lie algebras

Authors: Emilio A. Lauret, Fiorela Rossi Bertone

Abstract: We call the \emph{$p$-fundamental string} of a complex simple Lie algebra to the sequence of irreducible representations having highest weights of the form $kω_1+ω_p$ for $k\geq0$, where $ω_j$ denotes the $j$-th fundamental weight of the associated root system. For a classical complex Lie algebra, we establish a closed explicit formula for the weight multiplicities of any representation in any… ▽ More We call the \emph{$p$-fundamental string} of a complex simple Lie algebra to the sequence of irreducible representations having highest weights of the form $kω_1+ω_p$ for $k\geq0$, where $ω_j$ denotes the $j$-th fundamental weight of the associated root system. For a classical complex Lie algebra, we establish a closed explicit formula for the weight multiplicities of any representation in any $p$-fundamental string. △ Less

Submitted 29 November, 2017; v1 submitted 23 June, 2017; originally announced June 2017.

MSC Class: 17B10; 17B22; 22E46

Journal ref: J. Math. Phys. 58 (2017), 111703

A computational study on lens spaces isospectral on forms

Authors: Emilio A. Lauret

Abstract: We make a computational study to know what kind of isospectralities among lens spaces and lens orbifolds exist considering the Hodge--Laplace operators acting on smooth $p$-forms. Several evidenced facts are proved and some others are conjectured. We make a computational study to know what kind of isospectralities among lens spaces and lens orbifolds exist considering the Hodge--Laplace operators acting on smooth $p$-forms. Several evidenced facts are proved and some others are conjectured. △ Less

Submitted 9 May, 2017; v1 submitted 8 March, 2017; originally announced March 2017.

MSC Class: 58J53

Journal ref: Exp. Math. 30:2 (2021), 268-282

The spectrum on $p$-forms of a lens space

Authors: Emilio A. Lauret

Abstract: We give an explicit description of the spectrum of the Hodge--Laplace operator on $p$-forms of an arbitrary lens space for any $p$. We write the two generating functions encoding the $p$-spectrum as rational functions. As a consequence, we prove a geometric characterization of lens spaces that are $p$-isospectral for every $p$ in an interval of the form $[0,p_0]$. We give an explicit description of the spectrum of the Hodge--Laplace operator on $p$-forms of an arbitrary lens space for any $p$. We write the two generating functions encoding the $p$-spectrum as rational functions. As a consequence, we prove a geometric characterization of lens spaces that are $p$-isospectral for every $p$ in an interval of the form $[0,p_0]$. △ Less

Submitted 7 February, 2018; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: Accepted in Geom. Dedicata, February 2018

MSC Class: 58J50; 58J53

Journal ref: Geom. Dedicata 197 (2018), 107-122

Spectra of orbifolds with cyclic fundamental groups

Authors: Emilio A. Lauret

Abstract: We give a simple geometric characterization of isospectral orbifolds covered by spheres, complex projective spaces and the quaternion projective line having cyclic fundamental group. The differential operators considered are Laplace-Beltrami operators twisted by characters of the corresponding fundamental group. To prove the characterization, we first give an explicit description of their spectra… ▽ More We give a simple geometric characterization of isospectral orbifolds covered by spheres, complex projective spaces and the quaternion projective line having cyclic fundamental group. The differential operators considered are Laplace-Beltrami operators twisted by characters of the corresponding fundamental group. To prove the characterization, we first give an explicit description of their spectra by using generating functions. We also include many isospectral examples. △ Less

Submitted 18 February, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: Accepted in Annals of Global Analysis and Geometry

MSC Class: Primary 58J50; Secondary 58J53; 17B10

Journal ref: Ann. Global. Anal. Geom. 50 (2016), 1-28

Non-strongly isospectral spherical space forms

Authors: Emilio A. Lauret, Roberto J. Miatello, Juan Pablo Rossetti

Abstract: In this paper we describe recent results on explicit construction of lens spaces that are not strongly isospectral, yet they are isospectral on $p$-forms for every $p$. Such examples cannot be obtained by the Sunada method. We also discuss related results, emphasizing on significant classical work of Ikeda on isospectral lens spaces, via a thorough study of the associated generating functions. In this paper we describe recent results on explicit construction of lens spaces that are not strongly isospectral, yet they are isospectral on $p$-forms for every $p$. Such examples cannot be obtained by the Sunada method. We also discuss related results, emphasizing on significant classical work of Ikeda on isospectral lens spaces, via a thorough study of the associated generating functions. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Journal ref: Contemporary Mathematics 656 (2016), 95-118

An explicit formula for the Dirac multiplicities on lens spaces

Authors: Sebastian Boldt, Emilio A. Lauret

Abstract: We present a new description of the spectrum of the (spin-) Dirac operator $D$ on lens spaces. Viewing a spin lens space $L$ as a locally symmetric space $Γ\backslash \operatorname{Spin}(2m)/\operatorname{Spin}(2m-1)$ and exploiting the representation theory of the $\operatorname{Spin}$ groups, we obtain explicit formulas for the multiplicities of the eigenvalues of $D$ in terms of finitely many i… ▽ More We present a new description of the spectrum of the (spin-) Dirac operator $D$ on lens spaces. Viewing a spin lens space $L$ as a locally symmetric space $Γ\backslash \operatorname{Spin}(2m)/\operatorname{Spin}(2m-1)$ and exploiting the representation theory of the $\operatorname{Spin}$ groups, we obtain explicit formulas for the multiplicities of the eigenvalues of $D$ in terms of finitely many integer operations. As a consequence, we present conditions for lens spaces to be Dirac isospectral. Tackling classic questions of spectral geometry, we prove with the tools developed that neither spin structures nor isometry classes of lens spaces are spectrally determined by giving infinite families of Dirac isospectral lens spaces. These results are complemented by examples found with the help of a computer. △ Less

Submitted 8 December, 2014; originally announced December 2014.

MSC Class: Primary 58J50. Secondary 53C27; 58J53

Journal ref: J. Geom. Anal. 27 (2017), 689-725

Spectra of lens spaces from 1-norm spectra of congruence lattices

Authors: Emilio A. Lauret, Roberto J. Miatello, Juan Pablo Rossetti

Abstract: To every $n$-dimensional lens space $L$, we associate a congruence lattice $\mathcal L$ in $\mathbb Z^m$, with $n=2m-1$ and we prove a formula relating the multiplicities of Hodge-Laplace eigenvalues on $L$ with the number of lattice elements of a given $\|\cdot\|_1$-length in $\mathcal L$. As a consequence, we show that two lens spaces are isospectral on functions (resp.\ isospectral on $p$-forms… ▽ More To every $n$-dimensional lens space $L$, we associate a congruence lattice $\mathcal L$ in $\mathbb Z^m$, with $n=2m-1$ and we prove a formula relating the multiplicities of Hodge-Laplace eigenvalues on $L$ with the number of lattice elements of a given $\|\cdot\|_1$-length in $\mathcal L$. As a consequence, we show that two lens spaces are isospectral on functions (resp.\ isospectral on $p$-forms for every $p$) if and only if the associated congruence lattices are $\|\cdot\|_1$-isospectral (resp.\ $\|\cdot\|_1$-isospectral plus a geometric condition). Using this fact, we give, for every dimension $n\ge 5$, infinitely many examples of Riemannian manifolds that are isospectral on every level $p$ and are not strongly isospectral. △ Less

Submitted 7 May, 2015; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: Accepted for publication in IMRN

MSC Class: 58J53

Journal ref: Int. Math. Res. Not. IMRN 2016, 1054-1089

A generalized Hermite constant and its computations for imaginary quadratic fields

Authors: Wai Kiu Chan, Maria Ines Icaza, Emilio A. Lauret

Abstract: We introduce the projective Hermite constant for positive definite binary hermitian forms associated with an imaginary quadratic number field $K$. It is a lower bound for the classical Hermite constant, and these two constants coincide when $K$ has class number one. Using the geometric tools developed by Mendoza and Vogtmann for their study of the homology of the Bianchi groups, we compute the pro… ▽ More We introduce the projective Hermite constant for positive definite binary hermitian forms associated with an imaginary quadratic number field $K$. It is a lower bound for the classical Hermite constant, and these two constants coincide when $K$ has class number one. Using the geometric tools developed by Mendoza and Vogtmann for their study of the homology of the Bianchi groups, we compute the projective Hermite constants for those $K$ whose absolute discriminants are less than 70, and determine the hermitian forms that attain the projective Hermite constants in these cases. A comparison of the projective hermitian constant with some other generalizations of the classical Hermite constant is also given. △ Less

Submitted 30 December, 2013; v1 submitted 14 July, 2013; originally announced July 2013.

Comments: Accepted for publication in Mathematics of Computation

MSC Class: Primary 11H50; 11H55

Journal ref: Mathematics of Computation 84 (2015), 1883-1900

A numerical study on exceptional eigenvalues of certain congruence subgroups of SO(n,1) and SU(n,1)

Authors: Emilio A. Lauret

Abstract: In a previous work we apply lattice point theorems on hyperbolic spaces obtaining asymptotic formulas for the number of integral representations of negative integers by quadratic and hermitian forms of signature (n,1) lying in Euclidean balls of increasing radius. This formula involves an error term that depends on the first nonzero eigenvalue of the Laplace-Beltrami operator on the corresponding… ▽ More In a previous work we apply lattice point theorems on hyperbolic spaces obtaining asymptotic formulas for the number of integral representations of negative integers by quadratic and hermitian forms of signature (n,1) lying in Euclidean balls of increasing radius. This formula involves an error term that depends on the first nonzero eigenvalue of the Laplace-Beltrami operator on the corresponding congruence hyperbolic manifolds. The aim of this paper is to compare the error term obtained by experimental computations, with the error term mentioned above, for several choices of quadratic and hermitian forms. Our numerical results give evidences of the existence of exceptional eigenvalues for some arithmetic subgroups of SU(3,1), SU(4,1) and SU(5,1), thus they contradicts the generalized Selberg (and Ramanujan) conjecture in these cases. Furthermore, for several arithmetic subgroups of SO(4,1), SO(6,1), SO(8,1) and SU(2,1), there are evidences of a lower bound on the first nonzero eigenvalue better than the already known lower bound for congruences subgroups. △ Less

Submitted 16 December, 2012; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: 20 pages, 4 figures, 8 tables

MSC Class: Primary 11F72; Secondary 11D45

Journal ref: Ramanujan J. 35 (2014), 179-204

Representation equivalent Bieberbach groups and strongly isospectral flat manifolds

Authors: Emilio A. Lauret

Abstract: Let $Γ_1$ and $Γ_2$ be Bieberbach groups contained in the full isometry group $G$ of $\mathbb{R}^n$. We prove that if the compact flat manifolds $Γ_1\backslash\mathbb{R}^n$ and $Γ_2\backslash\mathbb{R}^n$ are strongly isospectral then the Bieberbach groups $Γ_1$ and $Γ_2$ are representation equivalent, that is, the right regular representations $L^2(Γ_1\backslash G)$ and $L^2(Γ_2\backslash G)$ are… ▽ More Let $Γ_1$ and $Γ_2$ be Bieberbach groups contained in the full isometry group $G$ of $\mathbb{R}^n$. We prove that if the compact flat manifolds $Γ_1\backslash\mathbb{R}^n$ and $Γ_2\backslash\mathbb{R}^n$ are strongly isospectral then the Bieberbach groups $Γ_1$ and $Γ_2$ are representation equivalent, that is, the right regular representations $L^2(Γ_1\backslash G)$ and $L^2(Γ_2\backslash G)$ are unitarily equivalent. △ Less

Submitted 15 April, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Comments: To appear in Canadian Mathematical Bulletin

MSC Class: 58J53 (Primary); 22D10 (Secondary)

Journal ref: Canad. Math. Bull. 57 (2014), 357-363

Representation equivalence and p-Spectrum of constant curvature space forms

Authors: Emilio A. Lauret, Roberto J. Miatello, Juan Pablo Rossetti

Abstract: We study the $p$-spectrum of a locally symmetric space of constant curvature $Γ\backslash X$, in connection with the right regular representation of the full isometry group $G$ of $X$ on $L^2(Γ\backslash G)_{τ_p}$, where $τ_p$ is the complexified $p$-exterior representation of $\mathrm{O}(n)$ on $\bigwedge^p(\mathbb{R}^n)_\mathbb{C}$. We give an expression of the multiplicity $d_λ(p,Γ)$ of the eig… ▽ More We study the $p$-spectrum of a locally symmetric space of constant curvature $Γ\backslash X$, in connection with the right regular representation of the full isometry group $G$ of $X$ on $L^2(Γ\backslash G)_{τ_p}$, where $τ_p$ is the complexified $p$-exterior representation of $\mathrm{O}(n)$ on $\bigwedge^p(\mathbb{R}^n)_\mathbb{C}$. We give an expression of the multiplicity $d_λ(p,Γ)$ of the eigenvalues of the $p$-Hodge-Laplace operator in terms of multiplicities $n_Γ(π)$ of specific irreducible unitary representations of $G$. As a consequence, we extend results of Pesce for the spectrum on functions to the $p$-spectrum of the Hodge-Laplace operator on $p$-forms of $Γ\backslash X$, and we compare $p$-isospectrality with $τ_p$-equivalence for $0\leq p\leq n$. For spherical space forms, we show that $τ$-isospectrality implies $τ$-equivalence for a class of $τ$'s that includes the case $τ=τ_p$. Furthermore we prove that $p-1$ and $p+1$-isospectral implies $p$-isospectral. For nonpositive curvature space forms, we give examples showing that $p$-isospectrality is far from implying $τ_p$-equivalence, but a variant of Pesce's result remains true. Namely, for each fixed $p$, $q$-isospectrality for every $0\leq q\leq p$ implies $τ_q$-equivalence for every $0\leq q\leq p$. As a byproduct of the methods we obtain several results relating $p$-isospectrality with $τ_p$-equivalence. △ Less

Submitted 21 September, 2012; originally announced September 2012.

Comments: 24 pages

MSC Class: 58J53 (Primary); 22D10; 58J50 (Secondary)

Journal ref: J. Geom. Anal. 25 (2015), 564-591

An asymptotic formula for representations of integers by indefinite hermitian forms

Authors: Emilio A. Lauret

Abstract: We fix a maximal order $\mathcal O$ in $\F=\R,\C$ or $\mathbb{H}$, and an $\F$-hermitian form $Q$ of signature $(n,1)$ with coefficients in $\mathcal O$. Let $k\in\N$. By applying a lattice point theorem on the $\F$-hyperbolic space, we give an asymptotic formula with an error term, as $t\to+\infty$, for the number $N_t(Q,-k)$ of integral solutions $x\in\mathcal O^{n+1}$ of the equation $Q[x]=-k$… ▽ More We fix a maximal order $\mathcal O$ in $\F=\R,\C$ or $\mathbb{H}$, and an $\F$-hermitian form $Q$ of signature $(n,1)$ with coefficients in $\mathcal O$. Let $k\in\N$. By applying a lattice point theorem on the $\F$-hyperbolic space, we give an asymptotic formula with an error term, as $t\to+\infty$, for the number $N_t(Q,-k)$ of integral solutions $x\in\mathcal O^{n+1}$ of the equation $Q[x]=-k$ satisfying $|x_{n+1}|\leq t$. △ Less

Submitted 16 October, 2012; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: To appear in Proceedings of the American Mathematical Society

MSC Class: 11D45; 11E39; 58C40

Journal ref: Proc. Amer. Math. Soc. 142 (2014), 1--14

Strongly isospectral manifolds with nonisomorphic cohomology rings

Authors: Emilio A. Lauret, Roberto J. Miatello, Juan Pablo Rossetti

Abstract: For any $n\geq 7$, $k\geq 3$, we give pairs of compact flat $n$-manifolds $M, M'$ with holonomy groups $\mathbb Z_2^k$, that are strongly isospectral, hence isospectral on $p$-forms for all values of $p$, having nonisomorphic cohomology rings. Moreover, if $n$ is even, $M$ is Kähler while $M'$ is not. Furthermore, with the help of a computer program we show the existence of large Sunada isospectra… ▽ More For any $n\geq 7$, $k\geq 3$, we give pairs of compact flat $n$-manifolds $M, M'$ with holonomy groups $\mathbb Z_2^k$, that are strongly isospectral, hence isospectral on $p$-forms for all values of $p$, having nonisomorphic cohomology rings. Moreover, if $n$ is even, $M$ is Kähler while $M'$ is not. Furthermore, with the help of a computer program we show the existence of large Sunada isospectral families; for instance, for $n=24$ and $k=3$ there is a family of eight compact flat manifolds (four of them Kähler) having very different cohomology rings. In particular, the cardinalities of the sets of primitive forms are different for all manifolds. △ Less

Submitted 9 December, 2011; v1 submitted 1 March, 2011; originally announced March 2011.

Comments: 25 pages, to appear in Revista Matemática Iberoamericana

MSC Class: 58J53 (Primary) 58C40; 20H15 (Secondary)

Journal ref: Revista Matemática Iberoamericana Volume 29 (2013) 611--634