Integral geometry on Grassmann manifolds and calculus of invariant differential operators

DOI10.1006/JFAN.1999.3459MaRDI QIDQ1125280zbMATH OpenOpenAlexFDO

Publication date 18 December 2001

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jfan.1999.3459

eigenvalue formula Grassmann manifold integral geometry invariant differential operator inversion formula radial part Radon transform range-characterization

Mathematics Subject Classification ID

Radon transform (44A12) Differential geometry of homogeneous manifolds (53C30) Integral geometry (53C65)

Review text

The author studies the detailed calculus of invariant differential operators on Grassmann manifolds. The main purpose is to characterize the range of the Radon transforms on higher rank Grassmann manifolds and to construct explicit inversion formulas. The Radon transform \(R^q_p : C^{\infty}(Gr(q,n;{\mathbb F})) \rightarrow C^{\infty}(Gr(p,n;{\mathbb F}))\) is defined as follows: for \(q < p\), \(R^q_pf(\xi)\) is the integral of \(f \in C^{\infty} (Gr(q,n;{\mathbb F}))\) over all \(\gamma \in C^{\infty}(Gr(q,n;{\mathbb F}))\) with \(\gamma \subset \xi\), for \(p < q\), \(R^q_pf(\xi)\) is the integral of \(f\) over all \(\gamma \supset \xi\). (\(Gr(p,n;{\mathbb F}) = \) Grassmann manifold of all \(p\)-dimensional subspaces in \({\mathbb F}^n\), \({\mathbb F} = {\mathbb R} \text{ or } {\mathbb C}\)). The main results: A) If \( s:= \text{rank}Gr(q,n;{\mathbb F}) < \text{rank}Gr(p,n;{\mathbb F})\) then \(\text{Im}R^q_p = \text{Ker}\Phi^{(n,p)}_{s+1}\), where \(\Phi^{(n,p)}_{s+1}\) is a generalized John-type invariant differential operator of order \(2s+2\) on \(Gr(p,n;{\mathbb F})\). Related results: \textit{T. Oshima}, World. Sci. Publ. 307-335 (1996; Zbl 0909.22024); \textit{T. Tanisaki}, Adv. Stud. Pure Math. 26, 235-263 (2000; Zbl 0959.33006); \textit{F. Gonzalez}, On the range of the Radon transform on Grassmann manifolds, J. Funct. Anal., in press. B) Explicit inversion formulas for \(R^q_p\), i.e., \(D R^p_q R^q_p = I\), where \(D\) is a differential operator, explicitly given as linear combination of the \(\Phi^{(n,q)}_{k}\), \(k=0,\dots ,s\) (\(p-q =\) even in case \({\mathbb F} = {\mathbb R}\)). Moreover, the article contains a range theorem in the quaternion case and the radial part formula for invariant differential operators on complex Grassmann manifolds.

Recommendations

Cites work

Cited in

(35)

This page was built for publication: Integral geometry on Grassmann manifolds and calculus of invariant differential operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1125280)