×

The \(X\)-ray transform for currents. (English) Zbl 1040.32018

The X-ray transform, mentioned in the title, was introduced, but not under this name, as early as 1938 by F. John [Duke Math. J. 4, 300–322 (1938; Zbl 0019.02404)]. A compactified version associates to each smooth function \(f\) on the three-sphere \(S^3\) a smooth function \(\phi\) on the real Grassmannian \(\text{ Gr}(2,\mathbb R^4)\). The function \(\phi\) is defined by \(\phi(P)={1 \over 2\pi}\oint_{\gamma}f\), where \(P\in \text{Gr}(2,\mathbb R^4)\) is a plane and \(\gamma:= P\cap S^3\). This construction is interesting, because it provides a bijection between smooth even functions \(f\) on \(S^3\) and smooth even solutions \(\phi\) of the ultrahyperbolic wave equation on \(\text{Gr}(2,\mathbb R^4)\).
Using ideas from twistor theory, a natural framework for such a correspondence is the following: consider the canonical maps, associated to the flag manifold of lines in planes in four-space \(\mathbb C\mathbb P^3 \leftarrow \mathbb F(1,2) \rightarrow \text{ Gr}(2,\mathbb C^4)\) and restrict it to \(\text{Gr}(2,\mathbb R^4) \subset \text{Gr}(2,\mathbb C^4)\) in order to obtain a pair of morphisms \(\mathbb C\mathbb P^3 \leftarrow F \rightarrow \text{Gr}(2,\mathbb R^4)\). It turns out that \(F\rightarrow \mathbb C\mathbb P^3\) is the real blow-up of the totally real submanifold \(\mathbb R\mathbb P^3\subset \mathbb C\mathbb P^3\). Trying to extend the complex structure from \(\mathbb C\mathbb P^3\setminus\mathbb R\mathbb P^3\) to \(F\) one ends up with an involutive structure on \(F\), which is not a complex structure. Using this set-up, involutive cohomology on \(F\), which is a generalisation of Dolbeault cohomology, provides a close relationship between Dolbeault cohomology on \(\mathbb C\mathbb P^3\) and global sections of higher direct images on the Grassmannian. This relationship is established by a spectral sequence, which arises from a filtration of the complex which defines the involutive cohomology. The filtration encodes the relationship between two involutive structures on \(F\) which are defined with the aid of the two projections. Because the fibres of \(F\rightarrow \text{Gr}(2,\mathbb R^4)\) are complex submanifolds, computations can be made effectively. In this way, spaces of sections of bundles on \(\mathbb R\mathbb P^3\) can be interpreted as kernels or cokernels of certain differential operators on the Grassmannian.
In the paper under review, Dolbeault cohomology is replaced by distribution involutive cohomology. To define this type of cohomology, one uses currents instead of smooth forms. Within this framework it is sketched how the existence of a spectral sequence as above can be established. The proof follows the same lines as M. Eastwood in [Suppl. Rend. Circ. Mat. Palermo, II. Ser. 46, 55–71 (1997; Zbl 0902.53047)].
The reader might find it illuminating to consult A. D’Agnolo and P. Schapira [J. Funct. Anal. 139, No. 2, 349–382 (1996; Zbl 0879.32012)].

MSC:

32L25 Twistor theory, double fibrations (complex-analytic aspects)
53C65 Integral geometry
53C15 General geometric structures on manifolds (almost complex, almost product structures, etc.)
53C28 Twistor methods in differential geometry
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] D’Agnolo, A.; Marastoni, C., Real forms of the Radon-Penrose transform, Publ. Res. Inst. Math. Sci., 36, 3, 337-383 (2000) · Zbl 0976.32005
[2] D’Agnolo, A.; Schapira, P., Radon-Penrose transform for \(D\)-modules, J. Funct. Anal., 139, 2, 349-382 (1996) · Zbl 0879.32012
[3] T.N. Bailey, E. Dunne, Private communication; T.N. Bailey, E. Dunne, Private communication
[4] Boggess, A., CR-manifolds and the tangential Cauchy-Riemann complex, (Krantz, G., Series Studies in Advanced Mathematics (1991), CRC Press: CRC Press Boca Raton) · Zbl 0760.32001
[5] L. David, The Penrose transform and its applications, Ph.D. Dissertation, Dept. Math., Edinburgh Univ., Edinburgh, Great Britain, 2001; L. David, The Penrose transform and its applications, Ph.D. Dissertation, Dept. Math., Edinburgh Univ., Edinburgh, Great Britain, 2001
[6] Eastwood, M. G., Complex methods in real integral geometry (with the collaboration of T.N. Bailey and C.R. Graham), Proceedings of the 16th Winter School “Geometry and Physics”, Srnı́, Circ. Mat. Palermo (2) Suppl., 46, 55-71 (1997)
[7] Kashiwara, M.; Schapira, P., Moderate and formal cohomology associated with constructible sheaves, Mém. Soc. Math. France (N.S.), 64 (1996), iv+76 · Zbl 0881.58060
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.