Local twistor

Last updated

In differential geometry, the local twistor bundle is a specific vector bundle with connection that can be associated to any conformal manifold, at least locally. Intuitively, a local twistor is an association of a twistor space to each point of space-time, together with a conformally invariant connection that relates the twistor spaces at different points. This connection can have holonomy that obstructs the existence of "global" twistors (that is, solutions of the twistor equation in open sets).

Contents

Construction

Let M be a pseudo-Riemannian conformal manifold with a spin structure and a conformal metric of signature (p,q). The conformal group is the pseudo-orthogonal group . There is a conformal Cartan connection on a bundle, the tractor bundle, of M. The spin group of admits a fundamental representation, the spin representation, and the associated bundle is the local twistor bundle.

Representation via Weyl spinors

Local twistors can be represented as pairs of Weyl spinors on M (in general from different spin representations, determined by the reality conditions specific to the signature). In the case of a four-dimensional Lorentzian manifold, such as the space-time of general relativity, a local twistor has the form

Here we use index conventions from Penrose & Rindler (1986), and and are two-component complex spinors for the Lorentz group .

Local twistor transport

The connection, sometimes called local twistor transport, is given by

Here is the canonical one-form and the Schouten tensor, contracted on one index with the canonical one-form. An analogous equation holds in other dimensions, with appropriate Clifford algebra multipliers between the two Weyl spin representations ( Sparling 1986 ). In this formalism, the twistor equation is the requirement that a local twistor be parallel under the connection.

Canonical filtration

In general, the local twistor bundle T is equipped with a short exact sequence of vector bundles

where and are two Weyl spin bundles. The bundle is a distinguished sub-bundle, that corresponds to the marked point of contact of the conformal Cartan connection. That is, there is a canonical marked one-dimensional subspace X in the tractor bundle, and is the annihilator of X under Clifford multipliction. In four dimensions, is the space of spinors and the space of . Under the Plücker embedding, the tractor bundle in four dimensions is isomorphic to the exterior square of the local twistor bundle, and consists of all the twistors incident with

where is the symplectic form on .

Curvature

The curvature of the local twistor connection involves both the Weyl curvature and the Cotton tensor. (It is the Cartan conformal curvature.) The curvature preserves the space , and on it involves only the conformally-invariant Weyl curvature.

Related Research Articles

In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, , equipped with a closed nondegenerate differential 2-form , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.

Orthogonal group Type of group in mathematics

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n×n orthogonal matrices, where the group operation is given by matrix multiplication. The orthogonal group is an algebraic group and a Lie group. It is compact.

In theoretical physics, twistor theory was proposed by Roger Penrose in 1967 as a possible path to quantum gravity and has evolved into a branch of theoretical and mathematical physics. Penrose proposed that twistor space should be the basic arena for physics from which space-time itself should emerge. It leads to a powerful set of mathematical tools that have applications to differential and integral geometry, nonlinear differential equations and representation theory and in physics to general relativity and quantum field theory, in particular to scattering amplitudes.

In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces.

In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal G-connection on a principal G-bundle P over a smooth manifold M is a particular type of connection which is compatible with the action of the group G.

Affine connection Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

Holonomy Concept in differential geometry

In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features.

Curvature of Riemannian manifolds

In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension greater than 2 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous way to define curvature for these manifolds, now known as the Riemann curvature tensor. Similar notions have found applications everywhere in differential geometry.

In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms.

In mathematical physics, geometric quantization is a mathematical approach to defining a quantum theory corresponding to a given classical theory. It attempts to carry out quantization, for which there is in general no exact recipe, in such a way that certain analogies between the classical theory and the quantum theory remain manifest. For example, the similarity between the Heisenberg equation in the Heisenberg picture of quantum mechanics and the Hamilton equation in classical physics should be built in.

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM of M.

In mathematics and theoretical physics, twistor space is the complex vector space of solutions of the twistor equation . It was described in the 1960s by Roger Penrose and Malcolm MacCallum. According to Andrew Hodges, twistor space is useful for conceptualizing the way photons travel through space, using four complex numbers. He also posits that twistor space may aid in understanding the asymmetry of the weak nuclear force.

In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms.

Torsion tensor Manner of characterizing a twist or screw of a moving frame around a curve

In differential geometry, the notion of torsion is a manner of characterizing a twist or screw of a moving frame around a curve. The torsion of a curve, as it appears in the Frenet–Serret formulas, for instance, quantifies the twist of a curve about its tangent vector as the curve evolves. In the geometry of surfaces, the geodesic torsion describes how a surface twists about a curve on the surface. The companion notion of curvature measures how moving frames "roll" along a curve "without twisting".

In differential geometry, an Ehresmann connection is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action.

In conformal geometry, the ambient construction refers to a construction of Charles Fefferman and Robin Graham for which a conformal manifold of dimension n is realized (ambiently) as the boundary of a certain Poincaré manifold, or alternatively as the celestial sphere of a certain pseudo-Riemannian manifold.

In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non-umbilic point of a surface embedded in Euclidean space. It is named after French mathematician Jean Gaston Darboux.

In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.

In mathematics, a vector bundle is said to be flat if it is endowed with a linear connection with vanishing curvature, i.e. a flat connection.

In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.

References