No abstract

No abstract

Abstract. Parabolic geometries may be considered as curved analogues of the homogeneous spaces G/P where G is a semisimple Lie group and P ⊂ G a parabolic subgroup. Conformal geometries and CR geometries are examples of such structures. We present a uniform description of a calculus, called tractor calculus, based on natural bundles with canonical linear connections for all parabolic geometries. It is shown that from these bundles and connections one can recover the Cartan bundle and the Cartan connection. In particular we characterize the normal Cartan connection from this induced bundle/connection perspective. We construct explicitly a family of fundamental first order differential operators, which are analogous to a covariant derivative, iterable and defined on all natural vector bundles on parabolic geometries. For an important subclass of parabolic geometries we explicitly and directly construct the tractor bundles, their canonical linear connections and the machinery for explicitly calculating via the tractor calculus.

We develop a holonomy reduction procedure for general Cartan geometries. We show that, given a reduction of holonomy, the underlying manifold naturally decomposes into a disjoint union of initial submanifolds. Each such submanifold corresponds to an orbit of the holonomy group on the modelling homogeneous space and carries a canonical induced Cartan geometry. The result can therefore be understood as a `curved orbit decomposition'. The theory is then applied to the study of several invariant overdetermined differential equations in projective, conformal and CR-geometry. This makes use of an equivalent description of solutions to these equations as parallel sections of a tractor bundle. In projective geometry we study a third order differential equation that governs the existence of a compatible Einstein metric. In CR-geometry we discuss an invariant equation that governs the existence of a compatible K\"{a}hler-Einstein metric.Comment: v2: major revision; 30 pages v3: final version to appear in Duke Math.

On conformal manifolds of even dimension n ≥ 4 we construct a family of new conformally invariant differential complexes, each containing one coboundary operator of order greater than 1. Each bundle in each of these complexes appears either in the de Rham complex or in its dual (which is a different complex in the non-orientable case). Each of the new complexes is elliptic in case the conformal structure has Riemannian signature. We also construct gauge companion operators which (for differential forms of order k ≤ n/2) complete the exterior derivative to a conformally invariant and (in the case of Riemannian signature) elliptically coercive system. These (operator,gauge) pairs are used to define finite dimensional conformally stable form subspaces which are are candidates for spaces of conformal harmonics. This generalises the n/2-form and 0-form cases, in which the harmonics are given by conformally invariant systems. These constructions are based on a family of operators on closed forms which generalise in a natural way Branson's Qcurvature. We give a universal construction of these new operators and show that they yield new conformally invariant global pairings between differential form bundles. Finally we give a geometric construction of a family of conformally invariant differential operators between densityvalued differential form bundles and develop their properties (including their ellipticity type in the case of definite conformal signature). The construction is based on the ambient metric of Fefferman and Graham, and its relationship to the tractor bundles for the Cartan normal conformal connection. For each form order, our derivation yields an operator of every even order in odd dimensions, and even order operators up to order n in even dimension n. In the case of unweighted (or true) forms as domain, these operators are the natural form analogues of the critical order conformal Laplacian of Graham et al., and are key ingredients in the new differential complexes mentioned above.