-
Generalized Poincaré series for $\mathrm{SU}(2,1)$
Authors:
Roelof W. Bruggeman,
Roberto J. Miatello
Abstract:
We define and study 'non-abelian' Poincaré series for the group $G=\mathrm{SU} (2,1)$, i.e. Poincaré series attached to a Stone-Von Neumann representation of the unipotent subgroup $N$ of $G$. Such Poincaré series have in general exponential growth. In this study we use results on abelian and non-abelian Fourier term modules obtained in arXiv:1912.01334. We compute the inner product of truncations…
▽ More
We define and study 'non-abelian' Poincaré series for the group $G=\mathrm{SU} (2,1)$, i.e. Poincaré series attached to a Stone-Von Neumann representation of the unipotent subgroup $N$ of $G$. Such Poincaré series have in general exponential growth. In this study we use results on abelian and non-abelian Fourier term modules obtained in arXiv:1912.01334. We compute the inner product of truncations of these series and those associated to unitary characters of $N$ with square integrable automorphic forms, in connection with their Fourier expansions. As a consequence, we obtain general completeness results that, in particular, generalize those valid for the classical holomorphic (and antiholomorphic) Poincaré series for $\mathrm{SL}(2,\mathbb{R})$.
△ Less
Submitted 30 September, 2021; v1 submitted 27 June, 2021;
originally announced June 2021.
-
Joint distribution of eigenvalues of Hecke and Casimir operators for Hilbert Maass forms
Authors:
Roberto J. Miatello,
Angel D. Villanueva
Abstract:
Let $F$ be a totally real number field, $\mathcal{O}_{F}$ the ring of integers, $\mathfrak a$ and $\mathfrak I$ integral ideals and let $χ$ a character of $\mathbb{A}_F^\times/F^\times$. For each prime ideal $\mathfrak{p}$ in $\mathcal{O}_{F}$, $\mathfrak{p}\nmid \mathfrak{I}$ let $T_{\mathfrak{p}}$ be the Hecke operator acting on the space of Maass cusp forms on…
▽ More
Let $F$ be a totally real number field, $\mathcal{O}_{F}$ the ring of integers, $\mathfrak a$ and $\mathfrak I$ integral ideals and let $χ$ a character of $\mathbb{A}_F^\times/F^\times$. For each prime ideal $\mathfrak{p}$ in $\mathcal{O}_{F}$, $\mathfrak{p}\nmid \mathfrak{I}$ let $T_{\mathfrak{p}}$ be the Hecke operator acting on the space of Maass cusp forms on $L^2(\mathrm{GL}_{2}(F) \backslash \mathrm{GL}_{2}(\mathbb{A}_F))$. In this paper we investigate the distribution of joint eigenvalues of the Hecke operators $T_{\mathfrak{p}}$ and of the Casimir operators $C_{j}$ in each archimedean component of $F$, for $1\le j \le d$. Summarily, we prove that given a family of expanding compact subsets $Ω_{t}$ of $\mathbb{R}^{d}$ as $t \rightarrow \infty$, and an interval $I_{\mathfrak{p}} \subseteq [-2,2]$, then, if $\mathfrak{p} \nmid \mathfrak{I}$ is a square in the narrow class group of $F$, there are infinitely many automorphic forms having eigenvalues of $T_{\mathfrak{p}}$ in $I_{\mathfrak{p}}$, distributed on $I_{\mathfrak{p}}$ according to a polynomial multiple of the Sato-Tate measure and having their Casimir eigenvalues in the region $Ω_{t}$, distributed according to the Plancherel measure.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Representations of the unitary group SU(2,1) in Fourier term modules
Authors:
Roelof W. Bruggeman,
Roberto J. Miatello
Abstract:
We study Fourier term modules on $\mathrm{SU}(2,1)$, which are the modules arising in Fourier expansions of automorphic forms. Maximal unipotent subgroups $N$ of $\mathrm{SU}(2,1)$ are non-abelian, and we consider the ``abelian'' Fourier term modules connected to characters of $N$, and also the ``non-abelian'' modules described with theta functions. Poincaré series for $\mathrm{SU}(2,1)$ have in g…
▽ More
We study Fourier term modules on $\mathrm{SU}(2,1)$, which are the modules arising in Fourier expansions of automorphic forms. Maximal unipotent subgroups $N$ of $\mathrm{SU}(2,1)$ are non-abelian, and we consider the ``abelian'' Fourier term modules connected to characters of $N$, and also the ``non-abelian'' modules described with theta functions. Poincaré series for $\mathrm{SU}(2,1)$ have in general exponential growth. To deal with such generalized automorphic forms we allow exponential growth for the functions in Fourier term modules. We give a complete description of the submodule structure of all Fourier term modules, and discuss the consequences for Fourier expansions of automorphic forms.
△ Less
Submitted 15 November, 2021; v1 submitted 3 December, 2019;
originally announced December 2019.
-
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.
-
Sums of squares in real quadratic fields and Hilbert modular groups
Authors:
Fernando Chamizo,
Roberto J. Miatello
Abstract:
We use the spectral theory of Hilbert-Maass forms for real quadratic fields to obtain the asymptotics of some sums involving the number of representations as a sum of two squares in the ring of integers.
We use the spectral theory of Hilbert-Maass forms for real quadratic fields to obtain the asymptotics of some sums involving the number of representations as a sum of two squares in the ring of integers.
△ Less
Submitted 27 December, 2018;
originally announced December 2018.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Growth of heat trace coefficients for locally symmetric spaces
Authors:
P. Gilkey,
R. J. Miatello
Abstract:
We study the asymptotic behavior of the heat trace coefficients $a_n$ as n tends to infinity for the scalar Laplacian in the context of locally symmetric spaces. We show that if the Plancherel measure of a noncompact type symmetric space is polynomial, then these coefficients decay like 1/n!. On the other hand, for even dimensional locally rank 1-symmetric spaces, one has $|a_n|$ grows like C^n* n…
▽ More
We study the asymptotic behavior of the heat trace coefficients $a_n$ as n tends to infinity for the scalar Laplacian in the context of locally symmetric spaces. We show that if the Plancherel measure of a noncompact type symmetric space is polynomial, then these coefficients decay like 1/n!. On the other hand, for even dimensional locally rank 1-symmetric spaces, one has $|a_n|$ grows like C^n* n! for some C>0; we conjecture this is the case in general if the associated Plancherel measure is not polynomial. These examples show that growth estimates conjectured by Berry and Howls are sharp. We also construct examples of locally symmetric spaces which are not irreducible, which are not flat, and so that only a finite number of the heat trace coefficients are non-zero.
△ Less
Submitted 28 September, 2011;
originally announced September 2011.
-
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.
-
Eigenvalues of Hecke operators on Hilbert modular groups
Authors:
Roelof W. Bruggeman Roberto J. Miatello
Abstract:
We consider cuspidal representations in spaces of automorphic forms for the congruence subgroup $Γ_0(I)$ of Hilbert modular groups for some number field $F$. To each such representation are associated the eigenvalue $λ_j$ of the Casimir operator at each real place $j$ of $F$, and the number $\ld_{\mathfrak p}$ parametrizing the eigenvalue of the Hecke operator $T_{\mathfrak p^2}$ at each finite…
▽ More
We consider cuspidal representations in spaces of automorphic forms for the congruence subgroup $Γ_0(I)$ of Hilbert modular groups for some number field $F$. To each such representation are associated the eigenvalue $λ_j$ of the Casimir operator at each real place $j$ of $F$, and the number $\ld_{\mathfrak p}$ parametrizing the eigenvalue of the Hecke operator $T_{\mathfrak p^2}$ at each finite place $\mathfrak p$ outside the ideal $I$. We study the joint distribution of the $λ_j$ for all real places $j$, and the $\ld_{\mathfrak p}$ for finitely many $\mathfrak p$ outside $I$, over the cuspidal representations. This distribution is given by the product of the Plancherel measure at each real place and the Sato-Tate measure at each finite place.
△ Less
Submitted 9 December, 2009;
originally announced December 2009.
-
The eta invariant and equivariant bordism of flat manifolds with cyclic holonomy group of odd prime order
Authors:
P. Gilkey,
R. J. Miatello,
R. A. Podesta
Abstract:
We study the eta invariants of compact flat spin manifolds of dimension n with holonomy group cyclic of odd prime order p. We find explicit expressions for the twisted and relative eta invariants and show that the reduced eta invariant is always an integer, except in a single case, when p=n=3. We use the expressions obtained to show that any such manifold is trivial in the appropriate reduced eq…
▽ More
We study the eta invariants of compact flat spin manifolds of dimension n with holonomy group cyclic of odd prime order p. We find explicit expressions for the twisted and relative eta invariants and show that the reduced eta invariant is always an integer, except in a single case, when p=n=3. We use the expressions obtained to show that any such manifold is trivial in the appropriate reduced equivariant spin bordism group.
△ Less
Submitted 4 October, 2009;
originally announced October 2009.
-
Density results for automorphic forms on Hilbert modular groups II
Authors:
R. W. Bruggeman,
R. J. Miatello
Abstract:
We obtain an asymptotic formula for a weighted sum over cuspidal eigenvalues in a specific region, for $\SL_2$ over a totally real number field $F$, with discrete subgroup of Hecke type $Γ_0(I)$ for a non-zero ideal $I$ in the ring of integers of $F$. The weights are products of Fourier coefficients. This implies in particular the existence of infinitely many cuspidal automorphic representations…
▽ More
We obtain an asymptotic formula for a weighted sum over cuspidal eigenvalues in a specific region, for $\SL_2$ over a totally real number field $F$, with discrete subgroup of Hecke type $Γ_0(I)$ for a non-zero ideal $I$ in the ring of integers of $F$. The weights are products of Fourier coefficients. This implies in particular the existence of infinitely many cuspidal automorphic representations with multi-eigenvalues in various regions growing to infinity. For instance, in the quadratic case, the regions include floating boxes, floating balls, sectors, slanted strips and products of prescribed small intervals for all but one of the infinite places of $F$. The main tool in the derivation is a sum formula of Kuznetsov type.
△ Less
Submitted 20 May, 2009;
originally announced May 2009.
-
Lattice points for products of upper half planes
Authors:
Roelof Bruggeman,
Fritz Grunewald,
Roberto Miatello
Abstract:
Let $Γ$ be an irreducible lattice in $\PSL_2(\RR)^d$ ($d\in\NN$) and $z$ a point in the $d$-fold direct product of the upper half plane.
We study the discrete set of componentwise distances ${\bf D}(\Gm,z)\subset \RR^d$ defined in (1). We prove asymptotic results on the number of $\gm\in\Gm$ such that $d(z,γz$ is contained in strips expanding in some directions and also in expanding hypercubes…
▽ More
Let $Γ$ be an irreducible lattice in $\PSL_2(\RR)^d$ ($d\in\NN$) and $z$ a point in the $d$-fold direct product of the upper half plane.
We study the discrete set of componentwise distances ${\bf D}(\Gm,z)\subset \RR^d$ defined in (1). We prove asymptotic results on the number of $\gm\in\Gm$ such that $d(z,γz$ is contained in strips expanding in some directions and also in expanding hypercubes. The results on the counting in expanding strips are new. The results on expanding hypercubes % improve the error terms improve the existing error terms (by Gorodnick and Nevo) and generalize the Selberg error term for $d=1$. We give an asymptotic formula for the number of lattice points $γz$ such that the hyperbolic distance in each of the factors satisfies $d((γz)_j, z_j)\le T$. The error term, as $T \to \infty$ generalizes the error term given by Selberg for $d=1$, also we describe how the counting function depends on $z$. We also prove asymptotic results when the distance satisfies $A_j \le d((γz)_j, z_j) < B_j$, with fixed $A_j < B_j$ in some factors, while in the remaining factors $0 \le d((γz)_j, z_j) \le T$ is satisfied.
△ Less
Submitted 20 April, 2009;
originally announced April 2009.
-
Spectral properties of 4-dimensional compact flat manifolds
Authors:
Roberto Miatello,
Ricardo Podesta
Abstract:
We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on $p$-forms, we determine all $p$-isospectral and $L$-isospectral pairs and we show that in this class of manifolds,…
▽ More
We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on $p$-forms, we determine all $p$-isospectral and $L$-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on $p$-forms for all values of $p$ are equivalent to each other. The list shows for any $p$, $1 \le p \le 3$, many $p$-isospectral pairs that are not isospectral on functions and have different lengths of closed geodesics. We also determine all length isospectral pairs (i.e. with the same length multiplicities), showing that there are two weak length isospectral pairs that are not length isospectral, and many pairs, $p$-isospectral for all $p$ and not length isospectral.
△ Less
Submitted 23 May, 2005;
originally announced May 2005.
-
(Z_2^k)-manifolds are isospectral on forms
Authors:
R. J. Miatello,
R. A. Podesta,
J. P. Rossetti
Abstract:
We obtain a simple formula for the multiplicity of eigenvalues of the Hodge-Laplace operator, $Δ_f$, acting on sections of the full exterior bundle over an arbitrary compact flat Riemannian n-manifold M with holonomy group Z_2^k, with 0<k<n. This formula implies that any two compact flat manifolds with holonomy group Z_2^k having isospectral lattices of translations are isospectral on forms, tha…
▽ More
We obtain a simple formula for the multiplicity of eigenvalues of the Hodge-Laplace operator, $Δ_f$, acting on sections of the full exterior bundle over an arbitrary compact flat Riemannian n-manifold M with holonomy group Z_2^k, with 0<k<n. This formula implies that any two compact flat manifolds with holonomy group Z_2^k having isospectral lattices of translations are isospectral on forms, that is, with respect to $Δ_f$. As a consequence, we construct a large family of pairwise $Δ_f$-isospectral and nonhomeomorphic n-manifolds of cardinality greater than $2^{(n-1)(n-2)/2}$.
△ Less
Submitted 20 August, 2004;
originally announced August 2004.
-
The spectrum of twisted Dirac operators on compact flat manifolds
Authors:
Roberto Miatello,
Ricardo Podesta
Abstract:
Let $M$ be an orientable compact flat Riemannian manifold endowed with a spin structure. In this paper we determine the spectrum of Dirac operators acting on smooth sections of twisted spinor bundles of $M$, and we derive a formula for the corresponding eta series. In the case of manifolds with holonomy group $\Z_2^k$, we give a very simple expression for the multiplicities of eigenvalues that a…
▽ More
Let $M$ be an orientable compact flat Riemannian manifold endowed with a spin structure. In this paper we determine the spectrum of Dirac operators acting on smooth sections of twisted spinor bundles of $M$, and we derive a formula for the corresponding eta series. In the case of manifolds with holonomy group $\Z_2^k$, we give a very simple expression for the multiplicities of eigenvalues that allows to compute explicitly the $η$-series in terms of values of Riemann-Hurwitz zeta functions, and the $η$-invariant. We give the dimension of the space of harmonic spinors and characterize all $\Z_2^k$-manifolds having asymmetric Dirac spectrum.
Furthermore, we exhibit many examples of Dirac isospectral pairs of $\Z_2^k$-manifolds which do not satisfy other types of isospectrality. In one of the main examples, we construct a large family of Dirac isospectral compact flat $n$-manifolds, pairwise non-homeomorphic to each other.
△ Less
Submitted 5 November, 2004; v1 submitted 28 November, 2003;
originally announced December 2003.
-
Spin structures and spectra of $Z_2^k$-manifolds
Authors:
Roberto Miatello,
Ricardo Podesta
Abstract:
We give necessary and sufficient conditions for the existence of pin+, pin- and spin structures on Riemannian manifolds with holonomy group $Z_2^k$. For any n>3 (resp. n>5) we give examples of pairs of compact manifolds (resp. compact orientable manifolds) M_1, M_2, non homeomorphic to each other, that are Laplace isospectral on functions and on p-forms for any p and such that M_1 admits a pin+,…
▽ More
We give necessary and sufficient conditions for the existence of pin+, pin- and spin structures on Riemannian manifolds with holonomy group $Z_2^k$. For any n>3 (resp. n>5) we give examples of pairs of compact manifolds (resp. compact orientable manifolds) M_1, M_2, non homeomorphic to each other, that are Laplace isospectral on functions and on p-forms for any p and such that M_1 admits a pin+, or pin-, (resp. spin) structure whereas M_2 does not.
△ Less
Submitted 20 November, 2003;
originally announced November 2003.
-
Flat Manifolds Isospectral on p-Forms
Authors:
R. J. Miatello,
J. P. Rossetti
Abstract:
We study isospectrality on p-forms of compact flat manifolds by using the equivariant spectrum of the Hodge-Laplacian on the torus. We give an explicit formula for the multiplicity of eigenvalues and a criterion for isospectrality. We construct a variety of new isospectral pairs, for instance, pairs of flat manifolds of dimension n=2p, p>1, not homeomorphic to each other, which are isospectral o…
▽ More
We study isospectrality on p-forms of compact flat manifolds by using the equivariant spectrum of the Hodge-Laplacian on the torus. We give an explicit formula for the multiplicity of eigenvalues and a criterion for isospectrality. We construct a variety of new isospectral pairs, for instance, pairs of flat manifolds of dimension n=2p, p>1, not homeomorphic to each other, which are isospectral on p-forms but not on q-forms for q different from p. Also, we give manifolds isospectral on p-forms if and only if p is odd, one of them orientable and the other not, and a pair of 0-isospectral flat manifolds, one of them Kahler, and the other not admitting any Kahler structure. We also construct pairs, M, M' of dimension n>5, which are isospectral on functions and such that the Betti numbers of M are less than those of M' for every 0<p<n; and pairs isospectral on p-forms for every p odd, and having different holonomy groups, Z_4 and Z_2+Z_2 respectively.
△ Less
Submitted 21 March, 2003;
originally announced March 2003.
-
Density results for automorphic forms on Hilbert modular groups
Authors:
R. W. Bruggeman,
R. J. Miatello,
M. I. Pacharoni
Abstract:
We give density results for automorphic representations of Hilbert modular groups. In particular, we show that there are infinitely many automorphic representations that have a prescribed discrete series factor at some (but not all) real places.
We give density results for automorphic representations of Hilbert modular groups. In particular, we show that there are infinitely many automorphic representations that have a prescribed discrete series factor at some (but not all) real places.
△ Less
Submitted 19 February, 2002;
originally announced February 2002.
-
Length spectra and p-spectra of compact flat manifolds
Authors:
R. J. Miatello,
J. P. Rossetti
Abstract:
We study the length, weak length and complex length spectrum of closed geodesics of a compact flat Riemannian manifold, comparing length-isospectrality with isospectrality of the Laplacian acting on p-forms. Using integral roots of the Krawtchouk polynomials, we give many pairs of p-isospectral flat manifolds having different lengths of closed geodesics and in some cases, different injectivity r…
▽ More
We study the length, weak length and complex length spectrum of closed geodesics of a compact flat Riemannian manifold, comparing length-isospectrality with isospectrality of the Laplacian acting on p-forms. Using integral roots of the Krawtchouk polynomials, we give many pairs of p-isospectral flat manifolds having different lengths of closed geodesics and in some cases, different injectivity radius and different first eigenvalue. We prove a Poisson summation formula relating the p-eigenvalue spectrum with the lengths of closed geodesics. As a consequence we show that the spectrum determines the lengths of closed geodesics and, by an example, that it does not determine the complex lengths. Furthermore we show that orientability is an audible property for flat manifolds. We give a variety of examples, for instance, a pair of isospectral (resp. Sunada isospectral) manifolds with different length spectra and a pair with the same complex length spectra and not p-isospectral for any p, or else p-isospectral for only one value of p different from 0.
△ Less
Submitted 30 October, 2001;
originally announced October 2001.
