Difference between revisions of "Penrose transform"
(Importing text file) |
(convert png to latex) |
||
Line 17: | Line 17: | ||
In several cases, these transforms have appeared much earlier as integral transforms of holomorphic functions. For example, on this level, the Penrose description of harmonic functions is due to H. Bateman in 1904. A proper understanding, however, arises only when these holomorphic functions are viewed as Čech cocycles representing a cohomology class. See [[#References|[a2]]] for further discussion. | In several cases, these transforms have appeared much earlier as integral transforms of holomorphic functions. For example, on this level, the Penrose description of harmonic functions is due to H. Bateman in 1904. A proper understanding, however, arises only when these holomorphic functions are viewed as Čech cocycles representing a cohomology class. See [[#References|[a2]]] for further discussion. | ||
− | There is a "non-linear" version of the Penrose transform, due to R.S. Ward [[#References|[a6]]] and known as the Ward transform. In the classical case, it identifies certain holomorphic vector bundles on | + | There is a "non-linear" version of the Penrose transform, due to R.S. Ward [[#References|[a6]]] and known as the Ward transform. In the classical case, it identifies certain holomorphic vector bundles on $\CC P_3$ with solutions of the self-dual Yang–Mills equations (cf. [[Yang–Mills field|Yang–Mills field]]) on $S^4$. |
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Andreotti, F. Norguet, "La convexité holomorphe dans l'espace analytique des cycles d'une variété algébrique" ''Ann. Sci. Norm. Sup. Pisa'' , '''21''' (1967) pp. 31–82</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.G. Eastwood, "Introduction to Penrose transform" , ''The Penrose Transform and Analytic Cohomology in Representation Theory'' , ''Contemp. Math.'' , '''154''' , Amer. Math. Soc. (1993) pp. 71–75</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> N.J. Hitchin, "Linear field equations on self-dual spaces" ''Proc. R. Soc. Lond.'' , '''A370''' (1980) pp. 173–191</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Penrose, "On the twistor description of massless fields" , ''Complex manifold techniques in theoretical physics'' , ''Res. Notes Math.'' , '''32''' , Pitman (1979) pp. 55–91</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> W. Schmid, "Homogeneous complex manifolds and representations of semisimple Lie groups" , ''Representation Theory and Harmonic Analysis on Semisimple Lie Groups'' , ''Math. Surveys Monogr.'' , '''31''' , Amer. Math. Soc. (1989) pp. 223–286 (PhD Univ. Calif. Berkeley, 1967)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> R.S. Ward, "On self-dual gauge fields" ''Phys. Lett.'' , '''A61''' (1977) pp. 81–82</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Andreotti, F. Norguet, "La convexité holomorphe dans l'espace analytique des cycles d'une variété algébrique" ''Ann. Sci. Norm. Sup. Pisa'' , '''21''' (1967) pp. 31–82</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.G. Eastwood, "Introduction to Penrose transform" , ''The Penrose Transform and Analytic Cohomology in Representation Theory'' , ''Contemp. Math.'' , '''154''' , Amer. Math. Soc. (1993) pp. 71–75</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> N.J. Hitchin, "Linear field equations on self-dual spaces" ''Proc. R. Soc. Lond.'' , '''A370''' (1980) pp. 173–191</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Penrose, "On the twistor description of massless fields" , ''Complex manifold techniques in theoretical physics'' , ''Res. Notes Math.'' , '''32''' , Pitman (1979) pp. 55–91</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> W. Schmid, "Homogeneous complex manifolds and representations of semisimple Lie groups" , ''Representation Theory and Harmonic Analysis on Semisimple Lie Groups'' , ''Math. Surveys Monogr.'' , '''31''' , Amer. Math. Soc. (1989) pp. 223–286 (PhD Univ. Calif. Berkeley, 1967)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> R.S. Ward, "On self-dual gauge fields" ''Phys. Lett.'' , '''A61''' (1977) pp. 81–82</TD></TR></table> |
Revision as of 14:51, 30 March 2023
A construction from complex integral geometry, its definition very much resembling that of the Radon transform in real integral geometry. It was introduced by R. Penrose in the context of twistor theory [a4] but many mathematicians have introduced transforms which may now be viewed in the same framework.
In its most general formulation, one starts with a correspondence between two spaces and
. In many cases
will be a complex manifold but it can also be a CR-manifold or, indeed, a manifold with an involutive or formally integrable structure so that it makes sense to say that a smooth submanifold of
is complex. The important aspect of the correspondence is that
parameterizes certain compact complex submanifolds of
(called cycles).
In the classical case, and
with the obvious incidence relation. Thus, a point
gives a complex projective line
in
. This correspondence also has a real form, namely the fibration
. It can be defined by regarding
as quaternionic projective
-space with
taking a complex line to its quaternionic span, having chosen an identification
. See [a3] for the Penrose transform in this real setting. There are several examples from representation theory, the prototype being due to W. Schmid [a5] with
and
. Here,
is a semi-simple Lie group with maximal torus
and maximal compact subgroup
assumed to have the same rank as
(cf. Lie group, semi-simple). In complex geometry there is also the Andreotti–Norguet transform [a1], with
and with as cycles the linearly embedded subspaces
.
In all of these transforms, one starts with a cohomology class on
. If
is complex, then it is a Dolbeault class (cf. Differential form), if
is CR, then it is a
-cohomology class (cf. de Rham cohomology), and so on. Often, the coefficients are twisted by a holomorphic or CR-bundle on
. In its simplest form, the Penrose transform simply restricts
to the cycles. Since each cycle is a compact complex manifold, the restricted cohomology is a finite-dimensional vector space. Supposing that the dimension of this vector space is constant as one varies the cycle, this gives a vector bundle on
and the restriction of
to each cycle gives a section of this bundle.
In the classical case, or its real form, suppose that one considers a Dolbeault cohomology class of degree one with coefficients in
, where
is the hyperplane bundle on
. Since
is one-dimensional, the resulting bundle on
or
is a line bundle. The Penrose transform of
is the section
in the complex case, or
in the real case. For the Andreotti–Norguet transform one takes as coefficients
, the bundle of holomorphic one-forms. Then, in view of the canonical isomorphism
, the transform gives rise to a function.
In any case, there are preferred local trivializations of the bundles involved and one can ask whether the resulting function is general. It will be holomorphic in the complex case and smooth in the real case, but there are further conditions. Unlike the analogous Radon transform, these conditions apply locally, so that, for example, there results an isomorphism
![]() |
for any open subset , where
is the conformally invariant Laplacian on
(cf. Laplace operator). Similarly, the Penrose transform interprets
as solutions of the Dirac equation on
. The range of the Andreotti–Norguet transform consists of functions in the kernel of the Paneitz operator, a conformally invariant fourth-order operator. The range of Schmid's transform, when the coefficients are in a line bundle induced from an anti-dominant integral weight sufficiently far from the walls and cohomology is taken in degree equal to the complex dimension of the cycles, is the kernel of the Schmid operator.
In several cases, these transforms have appeared much earlier as integral transforms of holomorphic functions. For example, on this level, the Penrose description of harmonic functions is due to H. Bateman in 1904. A proper understanding, however, arises only when these holomorphic functions are viewed as Čech cocycles representing a cohomology class. See [a2] for further discussion.
There is a "non-linear" version of the Penrose transform, due to R.S. Ward [a6] and known as the Ward transform. In the classical case, it identifies certain holomorphic vector bundles on $\CC P_3$ with solutions of the self-dual Yang–Mills equations (cf. Yang–Mills field) on $S^4$.
References
[a1] | A. Andreotti, F. Norguet, "La convexité holomorphe dans l'espace analytique des cycles d'une variété algébrique" Ann. Sci. Norm. Sup. Pisa , 21 (1967) pp. 31–82 |
[a2] | M.G. Eastwood, "Introduction to Penrose transform" , The Penrose Transform and Analytic Cohomology in Representation Theory , Contemp. Math. , 154 , Amer. Math. Soc. (1993) pp. 71–75 |
[a3] | N.J. Hitchin, "Linear field equations on self-dual spaces" Proc. R. Soc. Lond. , A370 (1980) pp. 173–191 |
[a4] | R. Penrose, "On the twistor description of massless fields" , Complex manifold techniques in theoretical physics , Res. Notes Math. , 32 , Pitman (1979) pp. 55–91 |
[a5] | W. Schmid, "Homogeneous complex manifolds and representations of semisimple Lie groups" , Representation Theory and Harmonic Analysis on Semisimple Lie Groups , Math. Surveys Monogr. , 31 , Amer. Math. Soc. (1989) pp. 223–286 (PhD Univ. Calif. Berkeley, 1967) |
[a6] | R.S. Ward, "On self-dual gauge fields" Phys. Lett. , A61 (1977) pp. 81–82 |
Penrose transform. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Penrose_transform&oldid=53537