[Paper Review] On the kernel of the maximal flat Radon transform on symmetric spaces of compact type

Eric L. Grinberg, Steven Glenn Jackson|arXiv (Cornell University)|Jun 27, 2014

Morphological variations and asymmetry10 references3 citations

TL;DR

This paper establishes that the kernel of the maximal flat Radon transform on a Riemannian globally symmetric space of compact type consists precisely of the $L^2$-functions orthogonal to the image of the pullback from its adjoint space. The transform is injective if and only if the space coincides with its adjoint, resolving a conjecture by Grinberg and linking spectral and Zoll rigidity to representation-theoretic conditions on weights and invariants.

ABSTRACT

Let $M$ be a Riemannian globally symmetric space of compact type, $M'$ its set of maximal flat totally geodesic tori, and $\mathrm{ad}(M)$ its adjoint space. We show that the kernel of the maximal flat Radon transform $τ:L^2(M) ightarrow L^2(M')$ is precisely the orthogonal complement of the image of the pullback map $L^2(\mathrm{ad}(M)) ightarrow L^2(M)$. In particular, we show that the maximal flat Radon transform is injective if and only if $M$ coincides with its adjoint space.

Motivation & Objective

• To characterize the kernel of the maximal flat Radon transform $\tau: L^2(M) \to L^2(M')$ on symmetric spaces of compact type.
• To resolve Grinberg's conjecture that the maximal flat Radon transform is injective if and only if $M$ coincides with its adjoint space $\operatorname{ad}(M)$.
• To relate the kernel to the representation-theoretic structure of $L^2(M)$, particularly via $K_Z$-invariant vectors and weight lattices.
• To establish a precise correspondence between the image of the pullback $L^2(\operatorname{ad}(M)) \to L^2(M)$ and the orthogonal complement of the kernel of $\tau$.
• To connect the kernel to spectral and Zoll rigidity by showing that functions in the kernel correspond to deformations that preserve the spectrum or geodesic periodicity.

Proposed method

• Utilizes the $K_{0}AK_{0}$ decomposition of the Lie group $G$ associated with the symmetric space $M$ to analyze the structure of maximal flat tori.
• Applies representation theory of semisimple Lie groups, focusing on irreducible representations $V(\omega)$ with highest weights $\omega$ and their $K$- and $K_Z$-invariants.
• Defines the group $F = \{a \in A \mid a^2 \in Z\}$ and shows it generates the centralizer $K_Z$ via $K_Z = F K_0$, where $K_0$ is the identity component.
• Characterizes the lattice $\Lambda$ of analytically integral weights annihilating $F$, using dual bases of $\mathfrak{a}$ and roots $\Pi'$, and proves $\lambda$ annihilates $F$ iff $\lambda \in \Lambda$.
• Uses the fact that $V(\omega)^*$ contains a non-zero $K_Z$-invariant if and only if $\omega \in \Lambda$, linking representation-theoretic invariants to the image of the pullback map.
• Applies the density of $\mathcal{R}(M)$ in $L^2(M)$ and closure arguments to extend the kernel characterization from the representation ring to the full $L^2$ space.

Experimental results

Research questions

• RQ1 What is the precise structure of the kernel of the maximal flat Radon transform $\tau: L^2(M) \to L^2(M')$ on a symmetric space $M$ of compact type?
• RQ2 When is the maximal flat Radon transform injective, and how does this relate to the adjoint space $\operatorname{ad}(M)$?
• RQ3 How do $K_Z$-invariant vectors in irreducible representations relate to the image of the pullback $L^2(\operatorname{ad}(M)) \to L^2(M)$?
• RQ4 What is the role of the weight lattice $\Lambda$ in determining which $L^2$ functions lie in the image of the pullback map?
• RQ5 How does the kernel of $\tau$ relate to the spectral and Zoll rigidity of $M$?

Key findings

• The kernel of the maximal flat Radon transform $\tau: L^2(M) \to L^2(M')$ is precisely the orthogonal complement in $L^2(M)$ of the image of the pullback map $L^2(\operatorname{ad}(M)) \to L^2(M)$.
• The maximal flat Radon transform is injective if and only if $M$ coincides with its adjoint space $\operatorname{ad}(M)$, confirming Grinberg's conjecture.
• A representation $V(\omega)$ lies in the image of $\mathcal{R}(\operatorname{ad}(M)) \to \mathcal{R}(M)$ if and only if the dual highest weight $\omega^*$ belongs to the lattice $\Lambda$.
• The $K_Z$-invariant vectors in $V(\omega)^*$ exist precisely when $\omega \in \Lambda$, and this condition characterizes the image of the pullback in the representation ring.
• The kernel of $\tau$ is the closure of the span of those $V(\omega)$ for which $\omega^* \notin \Lambda$, i.e., those not in the image of the pullback.
• The result establishes a deep connection between the geometry of maximal flat tori, the representation theory of $G$, and the injectivity of integral transforms on symmetric spaces.