4
$\begingroup$

Let $(S^3/\Gamma, g)$ be a spherical space form with constant sectional curvature $1$, where $\Gamma$ is a finite subgroup of $SO(4)$ acting freely on $S^3$.

Consider the first nonzero eigenvalue equation on the traceless-transverse symmetric $2$-form $h$ on $S^3/\Gamma$, that is $$ \Delta h+\lambda_1 h=0, $$ where $\Delta$ denotes the rough Laplacian and $\text{div}_gh=\text{Tr}_g h=0$. It is well-known that if $\Gamma$ is trivial, then $\lambda_1=6$.

Conversely, if one already knows $\lambda_1=6$, can we have a classification of $\Gamma$? I am particularly interested in the case of whether $\Gamma$ is conjugate to a subgroup of $U(2)$.

$\endgroup$
2
  • $\begingroup$ Zhiqiang: my calculations do not give me $\lambda_1=6$. Can you please provide a reference for this formula? Maybe we are considering a different round metric on $S^3$. $\endgroup$
    – emiliocba
    Commented Nov 3, 2021 at 14:18
  • $\begingroup$ I have though that $\Delta$ was the Lichnerowicz Laplacian rather than the Rough Laplacian. Now everything fits. Thanks! $\endgroup$
    – emiliocba
    Commented Nov 5, 2021 at 8:05

1 Answer 1

1
$\begingroup$

Remember that $S^3=SO(4)/SO(3)=:G/K$ as a symmetric space. The following actually holds for every compact symmetric space $M=G/K$.

Take the Cartan decomposition $\mathfrak g=\mathfrak k\oplus \mathfrak p$. By using that the vector bundle $\mathcal S_0^2(M)$ of traceless symmetric 2-forms is homogeneous (i.e. $\mathcal S_0^2(M)\simeq G\times_{\tau} Sym^2(\mathcal m^{\mathbb C})$, where $\tau$ denotes the $K$-action on $Sym^2(\mathcal m^{\mathbb C})$), it decomposes as $$ \mathcal S_0^2(M)^{\mathbb C} = \widehat{\bigoplus}_{\pi\in\widehat {G}} V_\pi\otimes Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C}). $$ Of course, this sum is reduced to those $\pi\in\widehat G$ such that $Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C})\neq0$.

Now, since you are interested on $\Gamma\backslash S^3 = \Gamma\backslash G/K$ with $\Gamma$ a discrete subgroup of $G$, one has that $$ \mathcal S_0^2(\Gamma\backslash M)^{\mathbb C} = \widehat{\bigoplus}_{\pi\in\widehat {G}} V_\pi^{\Gamma}\otimes Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C}). $$ In conclusion, the sum is now restricted to those $\pi\in\widehat G$ such that $Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C})\neq0$ and $V_\pi^{\Gamma}\neq 0$.

The Lichnerowicz Laplacian on $\mathcal S_0^2(M)$ (or $\mathcal S_0^2(\Gamma\backslash M)$) acts by the casimir element (here, it is crucial that $G/K$ is symmetric), so each term $V_\pi^{\Gamma}\otimes Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C})$ contributes to the spectrum of the Lichnerowicz Laplacian with the eigenvalue $\lambda_\pi$ such that $Cas\cdot V_\pi = \lambda_\pi Id_{V_\pi}$ (which can be computed with Freudenthal's formula) with multiplicity $\dim V_\pi^{\Gamma}\dim Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C})$.

Let $\lambda_1(M)$ denote the smallest eigenvalue of the Lichnerowicz Laplacian $\Delta_L$ on $M$. (Since $\Delta_L h=\Delta h-6h$ for spherical space forms, where $\Delta$ is the Rough Laplacian, then it is equivalent to work with any of them). One has $$ \lambda_1(G/K) =\min_\pi \lambda_\pi, $$ where $\pi$ runs over $\widehat G$ such that $\dim Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C})>0$, and at least one element in $\mathcal S_0^2(M)$ induced by $V_\pi\otimes Hom_K(V_\pi,Sym_0^2(\mathfrak p)^{\mathbb C})$ is divergence-free (note that I haven't mentioned this condition before).

Concerning your question about whether $\lambda_1(\Gamma\backslash G/K)=\lambda_1(G/K)$ for a given $\Gamma\subset G$, it reduces to check whether $\dim V_\pi^\Gamma>0$ for any $\pi$ attaining the displayed identity above, that is, $\lambda_1(G/K)=\lambda_\pi$.

For the sphere $G/K=S^3$, one has that $\lambda_1(S^3)=12$ (see for instance Example 3.1.2 in Klaus Kröncke's PhD thesis), and it is attainded only by $\pi_{small}:=\pi_{2\varepsilon_1+2\varepsilon_2}$ (the irrep of $SO(4)$ having highest weight $2\varepsilon_1+2\varepsilon_2$). In conclusion, $\lambda_1(\Gamma\backslash S^3)=12$ if and only if $\dim V_{{small}}^{\Gamma}>0$.

Now, the original problem of classifying 3-spherical space forms $\Gamma\backslash S^3$ satisfying $\lambda_1(\Gamma\backslash S^3)=12$ reduces to the following:

Classify the finite subgroups $\Gamma\subset SO(4)$ acting freely on $S^3$ such that $V_{small}^\Gamma\neq 0$.

For instance, if $\Gamma$ is cyclic (hence $\Gamma\backslash S^3$ is a lens space), it is conjugate in $O(4)$ to the group generated by $$ \begin{pmatrix} \cos(2\pi /q) & \sin(2\pi /q)\\ -\sin(2\pi /q) & \cos(2\pi /q) \\ && \cos(2\pi p/q) & \sin(2\pi p/q)\\ && -\sin(2\pi p/q)& \cos(2\pi p/q)\\ \end{pmatrix} ​ $$ for some $q\in\mathbb N$ and $p\in\mathbb Z$ coprime to $q$. The lens space $\Gamma\backslash S^3$ is usually denoted by $L(q;1,p)$ or just $L(q,p)$. One can check that $V_{small}^\Gamma\neq0$ if and only if $q$ divides $2(1+p)$ or $2(1-p)$. In particular, $\lambda_1(L(q;1,1))=12$ for all $q\in\mathbb N$.

The calculation involved for the non-cyclic subgroups of $SO(4)$ are much more complicated.

$\endgroup$
6
  • $\begingroup$ Please check out the paper "Symmetric-tensor eigenspectrum of the Laplacian on n-spheres" by Rubin and Ordonez. It contains the table of the spectra on symmetric two-forms. $\endgroup$
    – Zhiqiang
    Commented Nov 4, 2021 at 0:36
  • $\begingroup$ Well, to be honest, I don't fully understand that paper. However, I found a precise reference for the fact that the first eigenvalue of the Lichnerowicz Laplacian on the unit 3-sphere is $12$ (Klaus Kröncke's thesis), and I added to my answer. By the way, this reference is a great source for the kind of problems that, I think, you are considering (according to your other questions about the spectrum of the Laplace-Beltrami operator, it seems you are interested on some kind of stability of 3-dimensional spherical spaceforms). $\endgroup$
    – emiliocba
    Commented Nov 4, 2021 at 8:40
  • $\begingroup$ You mean the first eigenvalue of the Lichnerowicz Laplacian is $12$, which is equivalent to the first eigenvalue of the rough Laplacian is $6$ since $\Delta_L h=\Delta h-6h$ in the case of $3$-dimensional spherical space forms. $\endgroup$
    – Zhiqiang
    Commented Nov 4, 2021 at 9:57
  • $\begingroup$ Oh, I see. Now everything fits! In any case, the smallest eigenvalue of $\Delta_L$ and $\Delta$ are attained at the same places, so the guide in my answer still holds. $\endgroup$
    – emiliocba
    Commented Nov 5, 2021 at 8:28
  • $\begingroup$ Yes. A more precise description of all such $\Gamma$ would be helpful. I am particularly interested in the case of whether $\Gamma$ is conjugate in $O(4)$ to a subgroup of $U(2)$. $\endgroup$
    – Zhiqiang
    Commented Nov 6, 2021 at 1:05

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .