ScalingStacks

Example 4.4 (The spectrum of a Heisenberg manifold) . [03H7]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Example 4.4 (The spectrum of a Heisenberg manifold).

In our interested context, Y3Y^{3} is a Heisenberg nilpotent manifold. We consider a simple example that Y3≡H⁡(1,ℤ)∖H⁡(1,ℝ)Y^{3}\equiv H(1,\mathbb{Z})\setminus H(1,\mathbb{R}) with

(4.32) H(1,ℝ)≡{[1xt01y001]:x,y,t∈ℝ}.H(1,\mathbb{R})\equiv\left\{\begin{bmatrix}1&x&t\\ 0&1&y\\ 0&0&1\end{bmatrix}:\ x,y,t\in\mathbb{R}\right\}.

and

(4.33) H(1,ℤ)≡{[1mp01n001]:m,n,p∈ℤ}.H(1,\mathbb{Z})\equiv\left\{\begin{bmatrix}1&m&p\\ 0&1&n\\ 0&0&1\end{bmatrix}:\ m,n,p\in\mathbb{Z}\right\}.

In this case, Y3Y^{3} is a Heisenberg manifold of degree 11. As a 𝕋2\mathbb{T}^{2} bundle over S1S^{1}, its monodromy is given by (1101)∈SL⁡(2,ℤ)(\begin{smallmatrix}1&1\\ 0&1\end{smallmatrix})\in\SL(2,\mathbb{Z}). So it is standard that the spectrum consists of two classes of eigenvalues

(4.34) 𝔗≡{4π2(k2+ℓ2)|k,ℓ∈ℤ}and𝔖≡{2π|m|(2h+1+2π|m|)|m∈ℤ∖{0},h∈ℕ}.\mathfrak{T}\equiv\Big\{4\pi^{2}(k^{2}+\ell^{2})\Big|k,\ell\in\mathbb{Z}\Big\}\ and\ \mathfrak{S}\equiv\Big\{2\pi|m|(2h+1+2\pi|m|)\Big|m\in\mathbb{Z}\setminus\{0\},h\in\mathbb{N}\Big\}.

Detailed discussions can be found in [DS84] and [GW86]. So we can see that the above eigenvalues coincide with the form (4.25).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.