Showing 1–50 of 62 results for author: Čap, A

BGG Sequences -- A Riemannian perspective

Authors: Andreas Cap

Abstract: BGG resolutions and generalized BGG resolutions from representation theory of semisimple Lie algebras have been generalized to sequences of invariant differential operators on manifolds endowed with a geometric structure belonging to the family of parabolic geometries. Two of these structures, conformal structures and projective structures occur as weakenings of a Riemannian metric respectively of… ▽ More BGG resolutions and generalized BGG resolutions from representation theory of semisimple Lie algebras have been generalized to sequences of invariant differential operators on manifolds endowed with a geometric structure belonging to the family of parabolic geometries. Two of these structures, conformal structures and projective structures occur as weakenings of a Riemannian metric respectively of a specified torsion-free connection on the tangent bundle. In particular, one obtains BGG sequences on open subsets of $\mathbb R^n$ as very special cases of the construction. It turned out that several examples of the latter sequences are of interest in applied mathematics, since they can be used to construct numerical methods to study operators relevant for elasticity theory, numerical relativity and related fields. This article is intended to provide an intermediate level between BGG sequences for parabolic geometries and the case of domains in $\mathbb R^n$. We provide a construction of conformal BGG sequences on Riemannian manifolds and of projective BGG sequences on manifolds endowed with a volume preserving linear connection on their tangent bundle. These constructions do not need any input from parabolic geometries. Except from standard differential geometry methods the only deeper input comes from representation theory. So one can either view the results as a simplified version of the constructions for parabolic geometries in an explicit form. Alternatively, one can view them as providing an extension of the simplified constructions for domains in $\Bbb R^n$ to general Riemannian manifolds or to manifolds endowed with an appropriate connection on the tangent bundle. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Comments: 28 pages, LaTeX, comments are welcome

MSC Class: primary: 58J10; secondary: 35N10; 53B20; 53C07; 53C21; 58A12

Partial AHS-Structures, their Cartan description and partial BGG sequences

Authors: Andreas Cap, Micha Andrzej Wasilewicz

Abstract: G-structures and Cartan geometries are two major approaches to the description of geometric structures (in the sense of differential geometry) on manifolds of some fixed dimension $n$. We show that both descriptions naturally extend to the setting of manifolds of dimension $\geq n$ which are endowed with a distinguished involutive distribution $F$ of rank $n$. The resulting ``partial'' structures… ▽ More G-structures and Cartan geometries are two major approaches to the description of geometric structures (in the sense of differential geometry) on manifolds of some fixed dimension $n$. We show that both descriptions naturally extend to the setting of manifolds of dimension $\geq n$ which are endowed with a distinguished involutive distribution $F$ of rank $n$. The resulting ``partial'' structures are most naturally interpreted as smooth families of standard G-structures or Cartan geometries on the leaves of the foliation defined by $F$. We prove that for the special class of AHS-structures (also known as $|1|$-graded parabolic geometries) the construction of a canonical Cartan geometry associated to a G-structure extends to this general setting. As an application, we prove that for partial AHS-structures there is an analog of the machinery of BGG sequences. This constructs sequences of differential operators of arbitrarily high order intrinsic to the structures. Under appropriate flatness conditions, these sequence are fine resolutions of sheaves which locally can be realized as pullbacks of sheaves on local leaf spaces for the foliation defined by $F$. △ Less

Submitted 24 April, 2025; v1 submitted 14 October, 2024; originally announced October 2024.

Comments: 31 pages, comments are welcome; v2: final version, to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

MSC Class: primary: 53C15; secondary: 53B15; 53C10; 53C12; 58J10; 58J60; 58J70

Flat extensions of principal connections and the Chern-Simons $3$-form

Authors: Andreas Čap, Keegan J. Flood, Thomas Mettler

Abstract: We introduce the notion of a flat extension of a connection $θ$ on a principal bundle. Roughly speaking, $θ$ admits a flat extension if it arises as the pull-back of a component of a Maurer-Cartan form. For trivial bundles over closed oriented $3$-manifolds, we relate the existence of certain flat extensions to the vanishing of the Chern-Simons invariant associated with $θ$. As an application, we… ▽ More We introduce the notion of a flat extension of a connection $θ$ on a principal bundle. Roughly speaking, $θ$ admits a flat extension if it arises as the pull-back of a component of a Maurer-Cartan form. For trivial bundles over closed oriented $3$-manifolds, we relate the existence of certain flat extensions to the vanishing of the Chern-Simons invariant associated with $θ$. As an application, we recover the obstruction of Chern-Simons for the existence of a conformal immersion of a Riemannian $3$-manifold into Euclidean $4$-space. In addition, we obtain corresponding statements for a Lorentzian $3$-manifold, as well as a global obstruction for the existence of an equiaffine immersion into $\mathbb{R}^4$ of a $3$-manifold that is equipped with a torsion-free connection preserving a volume form. △ Less

Submitted 20 September, 2024; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: 22 pages. Corrected the arXiv title, the article is unchanged

On Relative Tractor Bundles

Authors: Andreas Čap, Zhangwen Guo, Michał Andrzej Wasilewicz

Abstract: This article contributes to the relative BGG-machinery for parabolic geometries. Starting from a relative tractor bundle, this machinery constructs a sequence of differential operators that are naturally associated to the geometry in question. In many situations of interest, it is known that this sequence provides a resolution of a sheaf that can locally be realized as a pullback from a local leaf… ▽ More This article contributes to the relative BGG-machinery for parabolic geometries. Starting from a relative tractor bundle, this machinery constructs a sequence of differential operators that are naturally associated to the geometry in question. In many situations of interest, it is known that this sequence provides a resolution of a sheaf that can locally be realized as a pullback from a local leaf space of a foliation that is naturally available in this situation. An explicit description of the latter sheaf was only available under much more restrictive assumptions. For any geometry which admits relative tractor bundles, we construct a large family of such bundles for which we obtain a simple, explicit description of the resolved sheaves under weak assumptions on the torsion of the geometry. In particular, we discuss the cases of Legendrean contact structures and of generalized path geometries, which are among the most important examples for which the relative BGG machinery is available. In both cases, we show that essentially all relative tractor bundles are obtained by our construction and our description of the resolved sheaves applies whenever the BGG sequence is a resolution. △ Less

Submitted 29 November, 2024; v1 submitted 22 May, 2024; originally announced May 2024.

MSC Class: primary: 58J10; secondary: 53C07; 53C15; 58J60; 58J70

Journal ref: SIGMA 20 (2024), 108, 19 pages

Poisson transforms, the BGG complex, and discrete series representations of SU(n+1,1)

Authors: Andreas Cap, Christoph Harrach, Pierre Julg

Abstract: The aim of this article is to construct a specific Poisson transform mapping differential forms on the sphere $S^{2n+1}$ endowed with its natural CR structure to forms on complex hyperbolic space. The transforms we construct have values that are harmonic and co-closed and they descend to the BGG (Rumin) complex and intertwine the differential operators in that complex with the exterior derivative.… ▽ More The aim of this article is to construct a specific Poisson transform mapping differential forms on the sphere $S^{2n+1}$ endowed with its natural CR structure to forms on complex hyperbolic space. The transforms we construct have values that are harmonic and co-closed and they descend to the BGG (Rumin) complex and intertwine the differential operators in that complex with the exterior derivative. Passing to the Poincaré ball model, we analyze the boundary asymptotics of the values of our transforms proving that they admit a continuous extension to the boundary in degrees $\leq n$. Finally, we show that composing the exterior derivative with the transform in degree $n$, one obtains an isomorphism between the kernel of the Rumin operator in degree $n$ and a dense subspace of the $L^2$-harmonic forms on complex hyperbolic space. These are well known to realize the direct sum of all discrete series representations of $SU(n+1,1)$, which we therefore realize on spaces of differential forms on the compact manifold $S^{2n+1}$. The developments in this article are motivated by a program of the third author to prove some instances of the Baum-Connes conjecture. The first part of the article is valid in a much more general setting, and is also relevant for cases in which the conjecture is still open. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: AMSLaTeX, 33 pages, comments are welcome

MSC Class: primary: 53C35; secondary: 43A85; 53C15; 58J10

Bounded Poincaré operators for twisted and BGG complexes

Authors: Andreas Čap, Kaibo Hu

Abstract: We construct bounded Poincaré operators for twisted complexes and BGG complexes with a wide class of function classes (e.g., Sobolev spaces) on bounded Lipschitz domains. These operators are derived from the de Rham versions using BGG diagrams and, for vanishing cohomology, satisfy the homotopy identity $dP+Pd=I$ in degrees $>0$. The operators preserve polynomial classes if the de Rham versions do… ▽ More We construct bounded Poincaré operators for twisted complexes and BGG complexes with a wide class of function classes (e.g., Sobolev spaces) on bounded Lipschitz domains. These operators are derived from the de Rham versions using BGG diagrams and, for vanishing cohomology, satisfy the homotopy identity $dP+Pd=I$ in degrees $>0$. The operators preserve polynomial classes if the de Rham versions do so. △ Less

Submitted 15 November, 2023; v1 submitted 14 April, 2023; originally announced April 2023.

Comments: published in J. Math. Pures Appl. DOI: 10.1016/j.matpur.2023.09.008

Induced almost para-Kähler Einstein metrics on cotangent bundles

Authors: Andreas Cap, Thomas Mettler

Abstract: In earlier work we have shown that for certain geometric structures on a smooth manifold $M$ of dimension $n$, one obtains an almost para-Kähler--Einstein metric on a manifold $A$ of dimension $2n$ associated to the structure on $M$. The geometry also associates a diffeomorphism between $A$ and $T^*M$ to any torsion-free connection compatible with the geometric structure. Hence we can use this con… ▽ More In earlier work we have shown that for certain geometric structures on a smooth manifold $M$ of dimension $n$, one obtains an almost para-Kähler--Einstein metric on a manifold $A$ of dimension $2n$ associated to the structure on $M$. The geometry also associates a diffeomorphism between $A$ and $T^*M$ to any torsion-free connection compatible with the geometric structure. Hence we can use this construction to associate to each compatible connection an almost para-Kähler--Einstein metric on $T^*M$. In this short article, we discuss the relation of these metrics to Patterson--Walker metrics and derive explicit formulae for them in the cases of projective, conformal and Grassmannian structures. △ Less

Submitted 22 July, 2024; v1 submitted 9 January, 2023; originally announced January 2023.

Comments: 18 pages, exposition improved

Bundles of Weyl structures and invariant calculus for parabolic geometries

Authors: Andreas Cap, Jan Slovak

Abstract: For more than hundred years, various concepts were developed to understand the fields of geometric objects and invariant differential operators between them for conformal Riemannian and projective geometries. More recently, several general tools were presented for the entire class of parabolic geometries, i.e., the Cartan geometries modelled on homogeneous spaces $G/P$ with $P$ a parabolic subgrou… ▽ More For more than hundred years, various concepts were developed to understand the fields of geometric objects and invariant differential operators between them for conformal Riemannian and projective geometries. More recently, several general tools were presented for the entire class of parabolic geometries, i.e., the Cartan geometries modelled on homogeneous spaces $G/P$ with $P$ a parabolic subgroup in a semi-simple Lie group $G$. Similarly to conformal Riemannian and projective structures, all these geometries determine a class of distinguished affine connections, which carry an affine structure modelled on differential 1-forms $Υ$. They correspond to reductions of $P$ to its reductive Levi factor, and they are called the Weyl structures similarly to the conformal case. The standard definition of differential invariants in this setting is as affine invariants of these connections, which do not depend on the choice within the class. In this article, we describe a universal calculus which provides an important first step to determine such invariants. We present a natural procedure how to construct all affine invariants of Weyl connections, which depend only tensorially on the deformations $Υ$. △ Less

Submitted 4 February, 2023; v1 submitted 29 October, 2022; originally announced October 2022.

Comments: 18 pages, slightly edited final version to appear as a chapter in forthcoming book in Contemporary Mathematics AMS series

MSC Class: 53A55; 58A15; 58A20; 53C15; 53A40; 53C05; 58J60

BGG sequences with weak regularity and applications

Authors: Andreas Čap, Kaibo Hu

Abstract: We investigate some Bernstein-Gelfand-Gelfand (BGG) complexes on bounded Lipschitz domains in $\mathbb{R}^n$ consisting of Sobolev spaces. In particular, we compute the cohomology of the conformal deformation complex and the conformal Hessian complex in the Sobolev setting. The machinery does not require algebraic injectivity/surjectivity conditions between the input spaces, and allows multiple in… ▽ More We investigate some Bernstein-Gelfand-Gelfand (BGG) complexes on bounded Lipschitz domains in $\mathbb{R}^n$ consisting of Sobolev spaces. In particular, we compute the cohomology of the conformal deformation complex and the conformal Hessian complex in the Sobolev setting. The machinery does not require algebraic injectivity/surjectivity conditions between the input spaces, and allows multiple input complexes. As applications, we establish a conformal Korn inequality in two space dimensions with the Cauchy-Riemann operator and an additional third order operator with a background in Möbius geometry. We show that the linear Cosserat elasticity model is a Hodge-Laplacian problem of a twisted de-Rham complex. From this cohomological perspective, we propose potential generalizations of continuum models with microstructures. △ Less

Submitted 18 January, 2023; v1 submitted 2 March, 2022; originally announced March 2022.

Journal ref: Found. Comput. Math. 24 (2024), 1145-1184

A relative mass cocycle and the mass of asymptotically hyperbolic manifolds

Authors: Andreas Cap, A. Rod Gover

Abstract: We construct a cocycle that, for a given $n$-manifold, maps pairs of asymptotically locally hyperbolic (ALH) metrics to a tractor-valued $(n-1)$-form field on the conformal infinity. This requires the metrics to be asymptotically related to a given order that depends on the dimension. It then provides a local geometric quantity on the boundary that is naturally associated to the pair and can be in… ▽ More We construct a cocycle that, for a given $n$-manifold, maps pairs of asymptotically locally hyperbolic (ALH) metrics to a tractor-valued $(n-1)$-form field on the conformal infinity. This requires the metrics to be asymptotically related to a given order that depends on the dimension. It then provides a local geometric quantity on the boundary that is naturally associated to the pair and can be interpreted as a relative energy-momentum density. It is distinguished as a geometric object by its property of being invariant under suitable diffeomorphisms fixing the boundary, and that act on (either) one of the argument metrics. Specialising to the case of an ALH metric $h$ that is suitably asymptotically related to a locally hyperbolic conformally compact metric, we show that the cocycle determines an absolute invariant $c(h)$, which still is local in nature. This tractor-valued $(n-1)$-form field on the conformal infinity is canonically associated to $h$ (i.e. is not dependent on other choices) and is equivariant under the appropriate diffeomorphisms. Finally specialising further to the case that the boundary is a sphere and that a metric $h$ is asymptotically related to a hyperbolic metric on the interior, we show that the invariant $c(h)$ can be integrated over the boundary. The result pairs with solutions of the KID (Killing initial data) equation to recover the known description of hyperbolic mass integrals of Wang, and Chruściel--Herzlich. △ Less

Submitted 1 July, 2024; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: v2. 37 pages, final version to appear in Comm. Math. Phys., several substantial changes compared to v.1., comments are welcome

MSC Class: primary: 53A55; secondary: 53C18; 53C25; 53C80; 83C30; 83C60

Journal ref: Comm. Math. Phys. <b>405</b> (2024) article 233

Geometric Theory of Weyl Structures

Authors: Andreas Cap, Thomas Mettler

Abstract: Given a parabolic geometry on a smooth manifold $M$, we study a natural affine bundle $A \to M$, whose smooth sections can be identified with Weyl structures for the geometry. We show that the initial parabolic geometry defines a reductive Cartan geometry on $A$, which induces an almost bi-Lagrangian structure on $A$ and a compatible linear connection on $TA$. We prove that the split-signature met… ▽ More Given a parabolic geometry on a smooth manifold $M$, we study a natural affine bundle $A \to M$, whose smooth sections can be identified with Weyl structures for the geometry. We show that the initial parabolic geometry defines a reductive Cartan geometry on $A$, which induces an almost bi-Lagrangian structure on $A$ and a compatible linear connection on $TA$. We prove that the split-signature metric given by the almost bi-Lagrangian structure is Einstein with non-zero scalar curvature, provided the parabolic geometry is torsion-free and $|1|$-graded. We proceed to study Weyl structures via the submanifold geometry of the image of the corresponding section in $A$. For Weyl structures satisfying appropriate non-degeneracy conditions, we derive a universal formula for the second fundamental form of this image. We also show that for locally flat projective structures, this has close relations to solutions of a projectively invariant Monge-Ampere equation and thus to properly convex projective structures. △ Less

Submitted 6 May, 2022; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 39 pages, final version, to appear in Commun. Contemp. Math

MSC Class: 53A20; 53B15; 53C15; 53C40; 58J60

Journal ref: Commun. Contemp. Math. 25 (2023), no. 7, Paper No. 2250026, 40 pp

A Poisson transform adapted to the Rumin complex

Authors: Andreas Cap, Christoph Harrach, Pierre Julg

Abstract: Let $G$ be a semisimple Lie group with finite center, $K\subset G$ a maximal compact subgroup, and $P\subset G$ a parabolic subgroup. Following ideas of P.Y.\ Gaillard, one may use $G$-invariant differential forms on $G/K\times G/P$ to construct $G$-equivariant Poisson transforms mapping differential forms on $G/P$ to differential forms on $G/K$. Such invariant forms can be constructed using finit… ▽ More Let $G$ be a semisimple Lie group with finite center, $K\subset G$ a maximal compact subgroup, and $P\subset G$ a parabolic subgroup. Following ideas of P.Y.\ Gaillard, one may use $G$-invariant differential forms on $G/K\times G/P$ to construct $G$-equivariant Poisson transforms mapping differential forms on $G/P$ to differential forms on $G/K$. Such invariant forms can be constructed using finite dimensional representation theory. In this general setting, we first prove that the transforms that always produce harmonic forms are exactly those that descend from the de Rham complex on $G/P$ to the associated Bernstein-Gelfand-Gelfand (or BGG) complex in a well defined sense. The main part of the article is devoted to an explicit construction of such transforms with additional favorable properties in the case that $G=SU(n+1,1)$. Thus $G/P$ is $S^{2n+1}$ with its natural CR structure and the relevant BGG complex is the Rumin complex, while $G/K$ is complex hyperbolic space of complex dimension $n+1$. The construction is carried out both for complex and for real differential forms and the compatibility of the transforms with the natural operators that are available on their sources and targets are analyzed in detail. △ Less

Submitted 14 July, 2020; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: 36 pages, comments are welcome, v2: final version, to appear in J. Topol. Anal

MSC Class: primary: 53C35; secondary: 43A85; 53C15; 58J10

Journal ref: J. Topol. Anal. 14, No. 3 (2022) 615-653

C^1 Deformations of almost-Grassmannian structures with strongly essential symmetry

Authors: Andreas Čap, Karin Melnick

Abstract: We construct a family of $(2,n)$-almost Grassmannian structures of regularity $C^1$, each admitting a one-parameter group of strongly essential automorphisms, and each not flat on any neighborhood of the higher-order fixed point. This shows that Theorem 1.3 of [9] does not hold assuming only $C^1$ regularity of the structure (see also [2, Prop 3.5]). We construct a family of $(2,n)$-almost Grassmannian structures of regularity $C^1$, each admitting a one-parameter group of strongly essential automorphisms, and each not flat on any neighborhood of the higher-order fixed point. This shows that Theorem 1.3 of [9] does not hold assuming only $C^1$ regularity of the structure (see also [2, Prop 3.5]). △ Less

Submitted 5 February, 2019; originally announced February 2019.

Comments: 24 pp

MSC Class: 53B99

Journal ref: Transform. Groups 26 (2021) no. 4, 1169-1187

Parabolic Compactification of Homogeneous Spaces

Authors: Andreas Cap, A. Rod Gover, Matthias Hammerl

Abstract: In this article, we study compactifications of homogeneous spaces coming from equivariant, open embeddings into a generalized flag manifold $G/P$. The key to this approach is that in each case $G/P$ is the homogeneous model for a parabolic geometry; the theory of such geometries provides a large supply of geometric tools and invariant differential operators that can be used for this study. A class… ▽ More In this article, we study compactifications of homogeneous spaces coming from equivariant, open embeddings into a generalized flag manifold $G/P$. The key to this approach is that in each case $G/P$ is the homogeneous model for a parabolic geometry; the theory of such geometries provides a large supply of geometric tools and invariant differential operators that can be used for this study. A classical theorem of J.~Wolf shows that any involutive automorphism of a semisimple Lie group $G$ with fixed point group $H$ gives rise to a large family of such compactifications of homogeneous spaces of $H$. Most examples of (classical) Riemannian symmetric spaces as well as many non--symmetric examples arise in this way. A specific feature of the approach is that any compactification of that type comes with the notion of "curved analog" to which the tools we develop also apply. The model example of this is a general Poincaré--Einstein manifold forming the curved analog of the conformal compactification of hyperbolic space. In the first part of the article, we derive general tools for the analysis of such compactifications. In the second part, we analyze two families of examples in detail, which in particular contain compactifications of the symmetric spaces $SL(n,\Bbb R)/SO(p,n-p)$ and $SO(n,\Bbb C)/SO(n)$. We describe the decomposition of the compactification into orbits, show how orbit closures can be described as the zero sets of smooth solutions to certain invariant differential operators and prove a local slice theorem around each orbit in these examples. △ Less

Submitted 12 July, 2018; originally announced July 2018.

Comments: 38 pages, comments are welcome

MSC Class: 22F30; 53C15; 53C30; 53C35 (Primary); 53A40 (Secondary)

Journal ref: J. Inst. Math. Jussieu 20, no. 4 (2021) 1371-1408

On C-class equations

Authors: Andreas Cap, Boris Doubrov, Dennis The

Abstract: The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the fact that a canonical Cartan geometry associated to the equations in the class… ▽ More The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the fact that a canonical Cartan geometry associated to the equations in the class descends to the space of solutions. For sufficiently low orders, these geometries belong to the class of parabolic geometries and the results follow from the general characterization of geometries descending to a twistor space. In this article we answer the question of whether a canonical Cartan geometry descends to the space of solutions in the case of scalar ODEs of order at least four and of systems of ODEs of order at least three. As in the lower order cases, this is characterized by the vanishing of the generalized Wilczynski invariants, which are defined via the linearization at a solution. The canonical Cartan geometries (which are not parabolic geometries) are a slight variation of those available in the literature based on a recent general construction. All the verifications needed to apply this construction for the classes of ODEs we study are carried out in the article, which thus also provides a complete alternative proof for the existence of canonical Cartan connections associated to higher order (systems of) ODEs. △ Less

Submitted 23 July, 2020; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: 33 pages; improved exposition around Theorem 4.1; added references to 2017 Tanaka technical reports; typos corrected

MSC Class: 53C10; 53C15; 53B15; 34C14 (Primary); 34A34; 53A40; 53A55 (Secondary)

Journal ref: Comm. Anal. Geom. 30 (2022), no. 10, 2231-2266

On canonical Cartan connections associated to filtered G-structures

Authors: Andreas Cap

Abstract: A filtered manifold is a smooth manifold $M$ together with a filtration of the tangent bundle by smooth subbundles which is compatible with the Lie bracket of vector fields in a certain sense. The Lie bracket of vector fields then induces a bilinear operation on the associated graded of each tangent space of $M$ making it into a nilpotent graded Lie algebra. Assuming that these symbol algebras are… ▽ More A filtered manifold is a smooth manifold $M$ together with a filtration of the tangent bundle by smooth subbundles which is compatible with the Lie bracket of vector fields in a certain sense. The Lie bracket of vector fields then induces a bilinear operation on the associated graded of each tangent space of $M$ making it into a nilpotent graded Lie algebra. Assuming that these symbol algebras are the same for all points, one obtains a natural frame bundle for the associated graded to the tangent bundle, and filtered G--structures are defined as reductions of structure group of this bundle. Generalizing the case of parabolic geometries, this article is devoted to the question of whether a filtered G-structure of given type determines a canonical Cartan connection on an extended bundle. As for existence, the result are roughly as general as Morimoto's theorem from 1993, but it has several specific features. First, we allow for general candidates for a homogeneous model and a general version of normalization conditions. Second, the construction is entirely phrased in terms of Lie algebra valued forms and leads to an explicit characterization of the canonical Cartan connection. To verify that the procedure can be applied to a given type of filtered G-structures, only finite dimensional algebraic verifications have to be carried out. △ Less

Submitted 6 September, 2017; v1 submitted 18 July, 2017; originally announced July 2017.

Comments: 46 pages; comments are welcome v2: small changes in the introduction and the discussion of canonical Cartan connections associated to (systems of)ODEs, added arXiv coordinates for reference on applications to ODEs

MSC Class: 53B15; 53C10; 53C15 (primary); 53A40; 53A55; 53C05; 53C17 (secondary)

Parabolic conformally symplectic structures III; Invariant differential operators and complexes

Authors: Andreas Cap, Tomas Salac

Abstract: This is the last part of a series of articles on a family of geometric structures (PACS-structures) which all have an underlying almost conformally symplectic structure. While the first part of the series was devoted to the general study of these structures, the second part focused on the case that the underlying structure is conformally symplectic (PCS-structures). In that case, we obtained a clo… ▽ More This is the last part of a series of articles on a family of geometric structures (PACS-structures) which all have an underlying almost conformally symplectic structure. While the first part of the series was devoted to the general study of these structures, the second part focused on the case that the underlying structure is conformally symplectic (PCS-structures). In that case, we obtained a close relation to parabolic contact structures via a concept of parabolic contactification. It was also shown that special symplectic connections (and thus all connections of exotic symplectic holonomy) arise as the canonical connection of such a structure. In this last part, we use parabolic contactifications and constructions related to Bernstein-Gelfand-Gelfand (BGG) sequences for parabolic contact structures, to construct sequences of differential operators naturally associated to a PCS-structure. In particular, this gives rise to a large family of complexes of differential operators associated to a special symplectic connection. In some cases, large families of complexes for more general instances of PCS-structures are obtained. △ Less

Submitted 12 January, 2018; v1 submitted 5 January, 2017; originally announced January 2017.

Comments: 36 pages, comments are welcome v2: Small corrections; changed references to first two parts in order to comply with new numbering in published versions, also changed numbering of this part to a style similar to part I

MSC Class: 53D05; 53D10; 53C15; 58J10 (Primary); 53C10; 53C55 (Secondary)

Journal ref: Doc. Math. 24 (2019) 2203-2240

Parabolic conformally symplectic structures II; parabolic contactification

Authors: Andreas Cap, Tomas Salac

Abstract: Parabolic almost conformally symplectic structures were introduced in the first part of this series of articles as a class of geometric structures which have an underlying almost conformally symplectic structure. If this underlying structure is conformally symplectic, then one obtains a PCS-structure. In the current article, we relate PCS-structures to parabolic contact structures. Starting from a… ▽ More Parabolic almost conformally symplectic structures were introduced in the first part of this series of articles as a class of geometric structures which have an underlying almost conformally symplectic structure. If this underlying structure is conformally symplectic, then one obtains a PCS-structure. In the current article, we relate PCS-structures to parabolic contact structures. Starting from a parabolic contact structure with a transversal infinitesimal automorphism, we first construct a natural PCS-structure on any leaf space of the corresponding foliation. Then we develop a parabolic version of contactification to show that any PCS-structure can be locally realized (uniquely up to isomorphism) in this way. In the second part of the paper, these results are extended to an analogous correspondence between contact projective structures and so-called conformally Fedosov structures. The developments in this article provide the technical background for a construction of sequences and complexes of differential operators which are naturally associated to PCS-structures by pushing down BGG sequences on parabolic contact structures. This is the topic of the third part of this series of articles. △ Less

Submitted 11 July, 2018; v1 submitted 6 May, 2016; originally announced May 2016.

Comments: 29 pages, comments are welcome v2: small changes in presentation of uniqueness results, added arXiv-coordinates of part III, v.3: numbering adapted to published version (to appear in Ann. Mat. Pura Appl. with open access)

MSC Class: 53D05; 53D10; 53B15; 53C10; 53C15 (Primary); 53C29; 53C55 (Secondary)

Journal ref: Ann. Mat. Pura Appl. 197 no. 4 (2018) 1175-1199 (open access)

Parabolic conformally symplectic structures I; definition and distinguished connections

Authors: Andreas Cap, Tomas Salac

Abstract: We introduce a class of first order G-structures, each of which has an underlying almost conformally symplectic structure. There is one such structure for each real simple Lie algebra which is not of type $C_n$ and admits a contact grading. We show that a structure of each of these types on a smooth manifold $M$ determines a canonical compatible linear connection on the tangent bundle $TM$. This c… ▽ More We introduce a class of first order G-structures, each of which has an underlying almost conformally symplectic structure. There is one such structure for each real simple Lie algebra which is not of type $C_n$ and admits a contact grading. We show that a structure of each of these types on a smooth manifold $M$ determines a canonical compatible linear connection on the tangent bundle $TM$. This connection is characterized by a normalization condition on its torsion. The algebraic background for this result is proved using Kostant's theorem on Lie algebra cohomology. For each type, we give an explicit description of both the geometric structure and the normalization condition. In particular, the torsion of the canonical connection naturally splits into two components, one of which is exactly the obstruction to the underlying structure being conformally symplectic. This article is the first in a series aiming at a construction of differential complexes naturally associated to these geometric structures. △ Less

Submitted 27 September, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 25 pages, comments are welcome v2: minimal corrections, added arXiv-coordinates of parts II and III; v3: numbering corrected to comply with published version and some small changes, final version to appear in Forum Math

MSC Class: 53D15; 53B15; 53C10; 53C15 (Primary); 53C29; 53C55 (Secondary)

Journal ref: Forum Math. 30, 3 (2018) 733-751

C-Projective Compactification; (quasi--)Kaehler Metrics and CR boundaries

Authors: Andreas Cap, A. Rod Gover

Abstract: For complete complex connections on almost complex manifolds we introduce a natural definition of compactification. This is based on almost c--projective geometry, which is the almost complex analogue of projective differential geometry. The boundary at infinity is a (possibly non-integrable) CR structure. The theory applies to almost Hermitean manifolds which admit a complex metric connection of… ▽ More For complete complex connections on almost complex manifolds we introduce a natural definition of compactification. This is based on almost c--projective geometry, which is the almost complex analogue of projective differential geometry. The boundary at infinity is a (possibly non-integrable) CR structure. The theory applies to almost Hermitean manifolds which admit a complex metric connection of minimal torsion, which means that they are quasi--Kaehler in the sense of Gray--Hervella; in particular it applies to Kaehler and nearly Kaehler manifolds. Via this canonical connection, we obtain a notion of c-projective compactification for quasi--Kaehler metrics of any signature. We describe an asymptotic form for metrics that is necessary and sufficient for c--projective compactness. This metric form provides local examples and, in particular, shows that the usual complete Kaehler metrics associated to smoothly bounded, strictly pseudoconvex domains in C^n are c--projectively compact. For a smooth manifold with boundary and a complete quasi-Kaehler metric $g$ on the interior, we show that if its almost c--projective structure extends smoothly to the boundary then so does its scalar curvature. We prove that $g$ is almost c--projectively compact if and only if this scalar curvature is non-zero on an open dense set of the boundary, in which case it is, along the boundary, locally constant and hence nowhere zero there. Finally we describe the asymptotics of the curvature, showing, in particular, that the canonical connection satisfies an asymptotic Einstein condition. Key to much of the development is a certain real tractor calculus for almost c--projective geometry, and this is developed in the article. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Comments: 39 PAGES

MSC Class: Primary 32J05; 32Q60; 53B10; 53B15; 53B35; 53C55; Secondary 32J27; 53A20; 53C15; 53C25

Journal ref: Amer. J. Math., 141, no. 3 (2019) 813-856

Relative BGG sequences; II. BGG machinery and invariant operators

Authors: Andreas Cap, Vladimir Soucek

Abstract: For a real or complex semisimple Lie group $G$ and two nested parabolic subgroups $Q\subset P\subset G$, we study parabolic geometries of type $(G,Q)$. Associated to the group $P$, we introduce a class of relative natural bundles and relative tractor bundles and construct some basic invariant differential operators on such bundles. We define a (rather weak) notion of "compressability" for operator… ▽ More For a real or complex semisimple Lie group $G$ and two nested parabolic subgroups $Q\subset P\subset G$, we study parabolic geometries of type $(G,Q)$. Associated to the group $P$, we introduce a class of relative natural bundles and relative tractor bundles and construct some basic invariant differential operators on such bundles. We define a (rather weak) notion of "compressability" for operators acting on relative differential forms with values in a relative tractor bundle. The we develop a general machinery which converts a compressable operator to an operator on bundles associated to completely reducible representations on relative Lie algebra homology groups. Applying this machinery to a specific compressable invariant differential operator of order one, we obtain a relative version of BGG (Bernstein--Gelfand--Gelfand) sequences. All our constructions apply in the case $P=G$, producing new and simpler proofs in the case of standard BGG sequences. We characterize cases in which the relative BGG sequences are complexes or even fine resolutions of certain sheaves and describe these sheaves. We show that this gives constructions of new invariant differential operators as well as of new subcomplexes in certain curved BGG sequences. The results are made explicit in the case of generalized path geometries. △ Less

Submitted 14 October, 2015; originally announced October 2015.

Comments: 50 pages, comments are welcome

MSC Class: primary: 58J10; secondary: 53C07; 53C15; 58J60; 58J70

Journal ref: Adv. Math. 320 (2017) 1009-1062

Relative BGG sequences; I. Algebra

Authors: Andreas Cap, Vladimir Soucek

Abstract: We develop a relative version of Kostant's harmonic theory and use this to prove a relative version of Kostant's theorem on Lie algebra (co)homology. These are associated to two nested parabolic subalgebras in a semisimple Lie algebra. We show how relative homology groups can be used to realize representations with lowest weight in one (regular or singular) affine Weyl orbit. In the regular case,… ▽ More We develop a relative version of Kostant's harmonic theory and use this to prove a relative version of Kostant's theorem on Lie algebra (co)homology. These are associated to two nested parabolic subalgebras in a semisimple Lie algebra. We show how relative homology groups can be used to realize representations with lowest weight in one (regular or singular) affine Weyl orbit. In the regular case, we show how all the weights in the orbit can be realized as relative homology groups (with different coefficients). These results are motivated by applications to differential geometry and the construction of invariant differential operators. △ Less

Submitted 30 June, 2016; v1 submitted 12 October, 2015; originally announced October 2015.

Comments: 21 pages, comments are welcome; v3: final version to appear in J. Algebra

MSC Class: 17B20 (Primary); 17B10; 17B55 (Secondary)

Journal ref: J. Algebra 463 (2016) 188-210

Conformal Holonomy Equals Ambient Holonomy

Authors: Andreas Čap, A. Rod Gover, C. Robin Graham, Matthias Hammerl

Abstract: This paper studies the relation between two notions of holonomy on a conformal manifold. The first is the conformal holonomy, defined to be the holonomy of the normal tractor connection. The second is the holonomy of the Fefferman-Graham ambient metric of the conformal manifold. It is shown that the infinitesimal conformal holonomy and the infinitesimal ambient holonomy always agree up to the orde… ▽ More This paper studies the relation between two notions of holonomy on a conformal manifold. The first is the conformal holonomy, defined to be the holonomy of the normal tractor connection. The second is the holonomy of the Fefferman-Graham ambient metric of the conformal manifold. It is shown that the infinitesimal conformal holonomy and the infinitesimal ambient holonomy always agree up to the order that the ambient metric is defined. △ Less

Submitted 3 April, 2015; originally announced April 2015.

Comments: 13 pages

MSC Class: 53A30 (Primary); 53C29 (Secondary)

Journal ref: Pacific J. Math. 285 (2016) 303-318

Scalar Curvature and Projective Compactness

Authors: Andreas Cap, A. Rod Gover

Abstract: Consider a manifold with boundary, and such that the interior is equipped with a pseudo-Riemannian metric. We prove that, under mild asymptotic non-vanishing conditions on the scalar curvature, if the Levi-Civita connection of the interior does not extend to the boundary (because for example the interior is complete) whereas its projective structure does, then the metric is projectively compact of… ▽ More Consider a manifold with boundary, and such that the interior is equipped with a pseudo-Riemannian metric. We prove that, under mild asymptotic non-vanishing conditions on the scalar curvature, if the Levi-Civita connection of the interior does not extend to the boundary (because for example the interior is complete) whereas its projective structure does, then the metric is projectively compact of order 2; this order is a measure of volume growth toward infinity. The result implies a host of results including that the metric satisfies asymptotic Einstein conditions, and induces a canonical conformal structure on the boundary. Underpinning this work is a new interpretation of scalar curvature in terms of projective geometry. This enables us to show that if the projective structure of a metric extends to the boundary then its scalar curvature also naturally and smoothly extends. △ Less

Submitted 1 September, 2015; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: Final version to be published in J. Geom. Phys. Includes minor typo corrections and a new summarising corollary. 10 pages

MSC Class: Primary 53A20; 53B21; 53B10; Secondary 35N10; 53A30; 58J60

Journal ref: J. Geom. Phys. 98 (2015) 475-481

Projective Compactness and Conformal Boundaries

Authors: Andreas Cap, A. Rod Gover

Abstract: Let $\overline{M}$ be a smooth manifold with boundary $\partial M$ and interior $M$. Consider an affine connection $\nabla$ on $M$ for which the boundary is at infinity. Then $\nabla$ is projectively compact of order $α$ if the projective structure defined by $\nabla$ smoothly extends to all of $\overline{M}$ in a specific way that depends on no particular choice of boundary defining function. Via… ▽ More Let $\overline{M}$ be a smooth manifold with boundary $\partial M$ and interior $M$. Consider an affine connection $\nabla$ on $M$ for which the boundary is at infinity. Then $\nabla$ is projectively compact of order $α$ if the projective structure defined by $\nabla$ smoothly extends to all of $\overline{M}$ in a specific way that depends on no particular choice of boundary defining function. Via the Levi--Civita connection, this concept applies to pseudo--Riemannian metrics on $M$. We study the relation between interior geometry and the possibilities for compactification, and then develop the tools that describe the induced geometry on the boundary. We prove that a pseudo--Riemannian metric on $M$ which is projectively compact of order two admits a certain asymptotic form. This form was known to be sufficient for projective compactness, so the result establishes that it provides an equivalent characterization. From a projectively compact connection on $M$, one obtains a projective structure on $\overline{M}$, which induces a conformal class of (possibly degenerate) bundle metrics on the tangent bundle to the hypersurface $\partial M$. Using the asymptotic form, we prove that in the case of metrics, which are projectively compact of order two, this boundary structure is always non--degenerate. We also prove that in this case the metric is necessarily asymptotically Einstein, in a natural sense. Finally, a non--degenerate boundary geometry gives rise to a (conformal) standard tractor bundle endowed with a canonical linear connection, and we explicitly describe these in terms of the projective data of the interior geometry. △ Less

Submitted 19 March, 2015; v1 submitted 16 June, 2014; originally announced June 2014.

Comments: Substantially revised, including simpler arguments for many of the main results. 32 pages, comments are welcome

MSC Class: Primary 53A20; 53B21; 53B10; Secondary 35N10; 53A30; 58J60

Journal ref: Math. Ann. 366, 3-4 (2016) 1587-1620

Pushing down the Rumin complex to conformally symplectic quotients

Authors: Andreas Cap, Tomas Salac

Abstract: Given a contact manifold $M_#$ together with a transversal infinitesimal automorphism $ξ$, we show that any local leaf space $M$ for the foliation determined by $ξ$ naturally carries a conformally symplectic (cs-) structure. Then we show that the Rumin complex on $M_#$ descends to a complex of differential operators on $M$, whose cohomology can be computed. Applying this construction locally, one… ▽ More Given a contact manifold $M_#$ together with a transversal infinitesimal automorphism $ξ$, we show that any local leaf space $M$ for the foliation determined by $ξ$ naturally carries a conformally symplectic (cs-) structure. Then we show that the Rumin complex on $M_#$ descends to a complex of differential operators on $M$, whose cohomology can be computed. Applying this construction locally, one obtains a complex intrinsically associated to any manifold endowed with a cs-structure, which recovers the generalization of the so-called Rumin-Seshadri complex to the conformally symplectic setting. The cohomology of this more general complex can be computed using the push-down construction. △ Less

Submitted 15 May, 2014; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: 13 pages v2: added reference [7] to earlier construction of the Rumin-Seshadri complex in a conformally symplectic setting; changed terminonolgy from "locally conformally symplectic" to "conformally symplectic"; some other minor changes; finaly version to appear in Differential Geom. Appl

MSC Class: primary: 58J10; secondary: 35N10; 53D05; 53D10; 58J60

Journal ref: Differential Geom. Appl. 35 Supplement (2014) 255-265

Projective Compactifications and Einstein metrics

Authors: Andreas Cap, A. Rod Gover

Abstract: For complete affine manifolds we introduce a definition of compactification based on the projective differential geometry (i.e.\ geodesic path data) of the given connection. The definition of projective compactness involves a real parameter $α$ called the order of projective compactness. For volume preserving connections, this order is captured by a notion of volume asymptotics that we define. The… ▽ More For complete affine manifolds we introduce a definition of compactification based on the projective differential geometry (i.e.\ geodesic path data) of the given connection. The definition of projective compactness involves a real parameter $α$ called the order of projective compactness. For volume preserving connections, this order is captured by a notion of volume asymptotics that we define. These ideas apply to complete pseudo-Riemannian spaces, via the Levi-Civita connection, and thus provide a notion of compactification alternative to conformal compactification. For each order $α$, we provide an asymptotic form of a metric which is sufficient for projective compactness of the given order, thus also providing many local examples. Distinguished classes of projectively compactified geometries of orders one and two are associated with Ricci-flat connections and non--Ricci--flat Einstein metrics, respectively. Conversely, these geometric conditions are shown to force the indicated order of projective compactness. These special compactifications are shown to correspond to normal solutions of classes of natural linear PDE (so-called first BGG equations), or equivalently holonomy reductions of projective Cartan/tractor connections. This enables the application of tools already available to reveal considerable information about the geometry of the boundary at infinity. Finally, we show that metrics admitting such special compactifications always have an asymptotic form as mentioned above. △ Less

Submitted 17 June, 2014; v1 submitted 6 April, 2013; originally announced April 2013.

Comments: 30 Pages. v2: Added a necessary technical assumption in Theorem 2.6. Adapted numbering to version to be published in J. reine angew. math. (Crelle's J.)

MSC Class: 54D35; 53A20; 53B21; 53B10; 53C29; 35N10

Journal ref: J. Reine Angew. Math. 717 (2016) 47-75

Essential Killing fields of parabolic geometries: projective and conformal structures

Authors: Andreas Cap, Karin Melnick

Abstract: We use the general theory developed in our article arXiv:1208.5510 in the setting of parabolic geometries to reprove known results on special infinitesimal automorphisms of projective and conformal geometries. We use the general theory developed in our article arXiv:1208.5510 in the setting of parabolic geometries to reprove known results on special infinitesimal automorphisms of projective and conformal geometries. △ Less

Submitted 4 April, 2013; v1 submitted 23 November, 2012; originally announced November 2012.

Comments: 15 pages v2: small corrections, final version, to appear in Cent. Eur. J. Math

Report number: ESI 2393 MSC Class: 53A20; 53A30; 53B15; 58J70

Journal ref: Cent. Eur. J. Math. 11(12) (2013) 2053-2061

Essential Killing fields of parabolic geometries

Authors: Andreas Čap, Karin Melnick

Abstract: We study vector fields generating a local flow by automorphisms of a parabolic geometry with higher order fixed points. We develop general tools extending the techniques of [1], [2], and [3]. We apply these tools to almost Grassmannian, almost quaternionic, and contact parabolic geometries, including CR structures, to obtain descriptions of the possible dynamics of such flows near the fixed point… ▽ More We study vector fields generating a local flow by automorphisms of a parabolic geometry with higher order fixed points. We develop general tools extending the techniques of [1], [2], and [3]. We apply these tools to almost Grassmannian, almost quaternionic, and contact parabolic geometries, including CR structures, to obtain descriptions of the possible dynamics of such flows near the fixed point and strong restrictions on the curvature. In some cases, we can show vanishing of the curvature on a nonempty open set. Deriving consequences for a specific geometry entails evaluating purely algebraic and representation-theoretic criteria in the model homogeneous space. Published in Indiana University Mathematics Journal. △ Less

Submitted 10 June, 2014; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 50 pages. Minor corrections, references updated

Journal ref: Indiana Univ. Math. J. 62 No. 6 (2013), 1917-1953

Einstein metrics in projective geometry

Authors: A. Cap, A. R. Gover, H. R. Macbeth

Abstract: It is well known that pseudo-Riemannian metrics in the projective class of a given torsion free affine connection can be obtained from (and are equivalent to) the solutions of a certain overdetermined projectively invariant differential equation. This equation is a special case of a so-called first BGG equation. The general theory of such equations singles out a subclass of so-called normal soluti… ▽ More It is well known that pseudo-Riemannian metrics in the projective class of a given torsion free affine connection can be obtained from (and are equivalent to) the solutions of a certain overdetermined projectively invariant differential equation. This equation is a special case of a so-called first BGG equation. The general theory of such equations singles out a subclass of so-called normal solutions. We prove that non-degerate normal solutions are equivalent to pseudo-Riemannian Einstein metrics in the projective class and observe that this connects to natural projective extensions of the Einstein condition. △ Less

Submitted 17 June, 2014; v1 submitted 30 June, 2012; originally announced July 2012.

Comments: 10 pages. Adapted to published version. In addition corrected a minor sign error

MSC Class: Primary 53B10; 53A20; 53C29; Secondary 35Q76; 53A30

Journal ref: Geom. Dedicata 168 (2014), 235-244

Normal BGG solutions and polynomials

Authors: A. Cap, A. R. Gover, M. Hammerl

Abstract: First BGG operators are a large class of overdetermined linear differential operators intrinsically associated to a parabolic geometry on a manifold. The corresponding equations include those controlling infinitesimal automorphisms, higher symmetries, and many other widely studied PDE of geometric origin. The machinery of BGG sequences also singles out a subclass of solutions called normal solutio… ▽ More First BGG operators are a large class of overdetermined linear differential operators intrinsically associated to a parabolic geometry on a manifold. The corresponding equations include those controlling infinitesimal automorphisms, higher symmetries, and many other widely studied PDE of geometric origin. The machinery of BGG sequences also singles out a subclass of solutions called normal solutions. These correspond to parallel tractor fields and hence to (certain) holonomy reductions of the canonical normal Cartan connection. Using the normal Cartan connection, we define a special class of local frames for any natural vector bundle associated to a parabolic geometry. We then prove that the coefficient functions of any normal solution of a first BGG operator with respect to such a frame are polynomials in the normal coordinates of the parabolic geometry. A bound on the degree of these polynomials in terms of representation theory data is derived. For geometries locally isomorphic to the homogeneous model of the geometry we explicitly compute the local frames mentioned above. Together with the fact that on such structures all solutions are normal, we obtain a complete description of all first BGG solutions in this case. Finally, we prove that in the general case the polynominal system coming from a normal solution is the pull-back of a polynomial system that solves the corresponding problem on the homogeneous model. Thus we can derive a complete list of potential normal solutions on curved geometries. Morover, questions concerning the zero locus of solutions, as well as related finer geometric and smooth data, are reduced to a study of polynomial systems and real algebraic sets. △ Less

Submitted 29 September, 2012; v1 submitted 3 January, 2012; originally announced January 2012.

Comments: 24 pages. Update corrects some typos and formula (3.1). This version to appear in the International Journal of Mathematics

MSC Class: 53C29; 53A40; 53A30; 53A20; 53C30

Holonomy reductions of Cartan geometries and curved orbit decompositions

Authors: Andreas Cap, A. Rod Gover, Matthias Hammerl

Abstract: 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… ▽ More 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ähler-Einstein metric. △ Less

Submitted 24 March, 2014; v1 submitted 23 March, 2011; originally announced March 2011.

Comments: v2: major revision; 30 pages v3: final version to appear in Duke Math. J

Report number: ESI 2308 MSC Class: 53C29; 53B15; 53A30; 53A20; 58D19; 58J70

Journal ref: Duke Math. J. 163, no. 5 (2014), 1035-1070

Projective BGG equations, algebraic sets, and compactifications of Einstein geometries

Authors: A. Cap, A. R. Gover, M. Hammerl

Abstract: For curved projective manifolds we introduce a notion of a normal tractor frame field, based around any point. This leads to canonical systems of (redundant) coordinates that generalise the usual homogeneous coordinates on projective space. These give preferred local maps to the model projective space that encode geometric contact with the model to a level that is optimal, in a suitable sense. In… ▽ More For curved projective manifolds we introduce a notion of a normal tractor frame field, based around any point. This leads to canonical systems of (redundant) coordinates that generalise the usual homogeneous coordinates on projective space. These give preferred local maps to the model projective space that encode geometric contact with the model to a level that is optimal, in a suitable sense. In terms of the trivialisations arising from the special frames, normal solutions of classes of natural linear PDE (so-called first BGG equations) are shown to be necessarily polynomial in the generalised homogeneous coordinates; the polynomial system is the pull back of a polynomial system that solves the corresponding problem on the model. Thus questions concerning the zero locus of solutions, as well as related finer geometric and smooth data, are reduced to a study of the corresponding polynomial systems and algebraic sets. We show that a normal solution determines a canonical manifold stratification that reflects an orbit decomposition of the model. Applications include the construction of structures that are analogues of Poincare-Einstein manifolds. △ Less

Submitted 3 May, 2011; v1 submitted 12 May, 2010; originally announced May 2010.

Comments: 22 pages

MSC Class: primary: 53B10; 53A20; 53C29 secondary 51N15; 53C30; 35Q75

Journal ref: J. London Math. Soc. 86 no. 2 (2012) 433-454

Equivariant quantizations for AHS--structures

Authors: Andreas Cap, Josef Silhan

Abstract: We construct an explicit scheme to associate to any potential symbol an operator acting between sections of natural bundles (associated to irreducible representations) for a so-called AHS-structure. Outside of a finite set of critical (or resonant) weights, this procedure gives rise to a quantization, which is intrinsic to this geometric structure. In particular, this provides projectively and c… ▽ More We construct an explicit scheme to associate to any potential symbol an operator acting between sections of natural bundles (associated to irreducible representations) for a so-called AHS-structure. Outside of a finite set of critical (or resonant) weights, this procedure gives rise to a quantization, which is intrinsic to this geometric structure. In particular, this provides projectively and conformally equivariant quantizations for arbitrary symbols on general (curved) projective and conformal structures. △ Less

Submitted 21 April, 2009; originally announced April 2009.

Comments: 19 pages, no figures

Report number: ESI 2136 MSC Class: 53A40; 53B15; 58J70; 53A20; 53A30

Journal ref: Adv. Math. 224 (2010) 1717-1734

Contact projective structures and chains

Authors: Andreas Cap, Vojtech Zadnik

Abstract: Contact projective structures have been profoundly studied by D.J.F. Fox. He associated to a contact projective structure a canonical projective structure on the same manifold. We interpret Fox' construction in terms of the equivalent parabolic (Cartan) geometries, showing that it is an analog of Fefferman's construction of a conformal structure associated to a CR structure. We show that, on the… ▽ More Contact projective structures have been profoundly studied by D.J.F. Fox. He associated to a contact projective structure a canonical projective structure on the same manifold. We interpret Fox' construction in terms of the equivalent parabolic (Cartan) geometries, showing that it is an analog of Fefferman's construction of a conformal structure associated to a CR structure. We show that, on the level of Cartan connections, this Fefferman--type construction is compatible with normality if and only if the initial structure has vanishing contact torsion. This leads to a geometric description of the paths that have to be added to the contact geodesics of a contact projective structure in order to obtain the subordinate projective structure. They are exactly the chains associated to the contact projective structure, which are analogs of the Chern-Moser chains in CR geometry. Finally, we analyze the consequences for the geometry of chains and prove that a chain-preserving contactomorphism must be a morphism of contact projective structures. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: AMSLaTeX, 16 pages

Report number: ESI 2058 MSC Class: 53A20; 53B10; 53B15; 53C15; 53D10

Journal ref: Geom. Dedicata 146, 1 (2010) 67-83

Conformally Invariant Operators via Curved Casimirs: Examples

Authors: Andreas Cap, A. Rod Gover, Vladimir Soucek

Abstract: We discuss a general scheme for a construction of linear conformally invariant differential operators from curved Casimir operators; we then explicitly carry this out for several examples. Apart from demonstrating the efficacy of the approach via curved Casimirs, this shows that this method applies both in regular and in singular infinitesimal character, and also that it can be used to construct… ▽ More We discuss a general scheme for a construction of linear conformally invariant differential operators from curved Casimir operators; we then explicitly carry this out for several examples. Apart from demonstrating the efficacy of the approach via curved Casimirs, this shows that this method applies both in regular and in singular infinitesimal character, and also that it can be used to construct standard as well as non--standard operators. The examples treated include conformally invariant operators with leading term, in one case, a square of the Laplacian, and in another case, a cube of the Laplacian. △ Less

Submitted 24 March, 2009; v1 submitted 14 August, 2008; originally announced August 2008.

Comments: AMSLaTeX, 16 pages, v2: minor changes, final version to appear in Pure Appl. Math. Q

Report number: ESI 2049 MSC Class: 53A30; 58J60; 58J70 (Primary) 53B15 (Secondary)

Journal ref: Pure Appl. Math. Q 6, 3 (2010) 693-714

On automorphism groups of some types of generic distributions

Authors: Andreas Cap, Katharina Neusser

Abstract: To certain types of generic distributions (subbundles in a tangent bundle) one can associate canonical Cartan connections. Many of these constructions fall into the class of parabolic geometries. The aim of this article is to show how strong restrictions on the possibles sizes of automorphism groups of such distributions can be deduced from the existence of canonical Cartan connections. This nee… ▽ More To certain types of generic distributions (subbundles in a tangent bundle) one can associate canonical Cartan connections. Many of these constructions fall into the class of parabolic geometries. The aim of this article is to show how strong restrictions on the possibles sizes of automorphism groups of such distributions can be deduced from the existence of canonical Cartan connections. This needs no information on how the Cartan connections are actually constructed and only very basic information on their properties. In particular, we discuss the examples of generic distributions of rank two in dimension five, rank three in dimension six, and rank four in dimension seven. △ Less

Submitted 7 July, 2008; originally announced July 2008.

Comments: AMSLaTeX, 23 pages

Report number: ESI 2036 MSC Class: 58A30; 53A40; 53C15 (Primary); 53B15; 53C30; 93B29 (Secondary)

Journal ref: Differential Geom. Appl. 27 (2009) 769-779

AHS-structures and affine holonomies

Authors: Andreas Cap

Abstract: We show that a large class of non-metric, non-symplectic affine holonomies can be realized, uniformly and without case by case considerations, by Weyl connections associated to the natural AHS-structures on certain generalized flag manifolds. We show that a large class of non-metric, non-symplectic affine holonomies can be realized, uniformly and without case by case considerations, by Weyl connections associated to the natural AHS-structures on certain generalized flag manifolds. △ Less

Submitted 4 August, 2008; v1 submitted 11 April, 2008; originally announced April 2008.

Comments: AMS-LaTeX, 8 pages, v2: changes in exposition; final version; to appear in Proc. Amer. Math. Soc

Report number: ESI 2021 MSC Class: 53C29; 53C10 (Primary); 53C15; 53C30; 53B15 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 137 (2009), 1073-1080.

On Nurowski's conformal structure associated to a generic rank two distribution in dimension five

Authors: Andreas Cap, Katja Sagerschnig

Abstract: For a generic distribution of rank two on a manifold $M$ of dimension five, we introduce the notion of a generalized contact form. To such a form we associate a generalized Reeb field and a partial connection. From these data, we explicitly constructed a pseudo--Riemannian metric on $M$ of split signature. We prove that a change of the generalized contact form only leads to a conformal rescaling… ▽ More For a generic distribution of rank two on a manifold $M$ of dimension five, we introduce the notion of a generalized contact form. To such a form we associate a generalized Reeb field and a partial connection. From these data, we explicitly constructed a pseudo--Riemannian metric on $M$ of split signature. We prove that a change of the generalized contact form only leads to a conformal rescaling of this metric, so the corresponding conformal class is intrinsic to the distribution. In the second part of the article, we relate this conformal class to the canonical Cartan connection associated to the distribution. This is used to prove that it coincides with the conformal class constructed by Nurowski. △ Less

Submitted 11 October, 2007; originally announced October 2007.

Comments: AMSLaTeX, 23 pages

Report number: ESI 1963 MSC Class: 53A30; 53A40; 53B15; 53C50

Journal ref: J. Geom. Phys. 59 (2009) 901-912

Curved Casimir Operators and the BGG Machinery

Authors: Andreas Cap, Vladimir Soucek

Abstract: We prove that the Casimir operator acting on sections of a homogeneous vector bundle over a generalized flag manifold naturally extends to an invariant differential operator on arbitrary parabolic geometries. We study some properties of the resulting invariant operators and compute their action on various special types of natural bundles. As a first application, we give a very general constructi… ▽ More We prove that the Casimir operator acting on sections of a homogeneous vector bundle over a generalized flag manifold naturally extends to an invariant differential operator on arbitrary parabolic geometries. We study some properties of the resulting invariant operators and compute their action on various special types of natural bundles. As a first application, we give a very general construction of splitting operators for parabolic geometries. Then we discuss the curved Casimir operators on differential forms with values in a tractor bundle, which nicely relates to the machinery of BGG sequences. This also gives a nice interpretation of the resolution of a finite dimensional representation by (spaces of smooth vectors in) principal series representations provided by a BGG sequence. △ Less

Submitted 22 November, 2007; v1 submitted 23 August, 2007; originally announced August 2007.

Comments: This is a contribution to the Proceedings of the 2007 Midwest Geometry Conference in honor of Thomas P. Branson, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Report number: ESI 1943 MSC Class: 22E46; 53A40; 53C15; 58J70

Journal ref: SIGMA 3 (2007), 111, 17 pages

A holonomy characterisation of Fefferman spaces

Authors: Andreas Cap, A. Rod Gover

Abstract: We prove that Fefferman spaces, associated to non--degenerate CR structures of hypersurface type, are characterised, up to local conformal isometry, by the existence of a parallel orthogonal complex structure on the standard tractor bundle. This condition can be equivalently expressed in terms of conformal holonomy. Extracting from this picture the essential consequences at the level of tensor b… ▽ More We prove that Fefferman spaces, associated to non--degenerate CR structures of hypersurface type, are characterised, up to local conformal isometry, by the existence of a parallel orthogonal complex structure on the standard tractor bundle. This condition can be equivalently expressed in terms of conformal holonomy. Extracting from this picture the essential consequences at the level of tensor bundles yields an improved, conformally invariant analogue of Sparling's characterisation of Fefferman spaces. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: AMSLaTeX, 15 pages

Report number: ESI 1875 MSC Class: 53C29; 53C25; 53A40; 32V05

Journal ref: Ann. Global Analysis Geom. 38, no. 4 (2010) 399-412

CR-Tractors and the Fefferman Space

Authors: Andreas Cap, A. Rod Gover

Abstract: We develop the natural tractor calculi associated to conformal and CR structures as a fundamental tool for the study of Fefferman's construction of a canonical conformal class on the total space of a circle bundle over a non--degenerate CR manifold of hypersurface type. In particular we construct and treat the basic objects that relate the natural bundles and natural operators on the two space… ▽ More We develop the natural tractor calculi associated to conformal and CR structures as a fundamental tool for the study of Fefferman's construction of a canonical conformal class on the total space of a circle bundle over a non--degenerate CR manifold of hypersurface type. In particular we construct and treat the basic objects that relate the natural bundles and natural operators on the two spaces. This is illustrated with several applications: We prove that a number of conformally invariant overdetermined systems admit non--trivial solutions on any Fefferman space. We show that the space of conformal Killing fields on a Fefferman space naturally decomposes into a direct sum of subspaces, which admit an interpretaion as solutions of certain CR invariant PDE's. Finally we explicitly analyze the relation between tractor calculus on a CR manifold and the complexified conformal tractor calculus on its Fefferman space, thus obtaining a powerful computational tool for working with the Fefferman construction. △ Less

Submitted 17 November, 2008; v1 submitted 30 November, 2006; originally announced November 2006.

Comments: AMSLaTeX, 46 pages, v3: added link http://www.iumj.indiana.edu/IUMJ/fulltext.php?year=2008&volume=57&artid=3359 to published version, which has different numbering of statements

Report number: ESI 1874 MSC Class: 32V05; 53B15; 53C15; 53C25; 58J60; 58J70; 53B30; 53C29

Journal ref: Indiana Univ. Math. J. 57 No. 5 (2008) 2519-2570

Overdetermined systems, conformal geometry, and the BGG complex

Authors: Andreas Cap

Abstract: This is an expanded version of a series of two lectures given at the IMA summer program "Symmetries and Overdetermined Systems of Partial Differential Equations". The main part of the article describes the Riemannian version of the prolongation procedure for certain overdetermined system obtained recently in joint work with T.P. Branson, M.G. Eastwood, and A.R. Gover. First a simple special cas… ▽ More This is an expanded version of a series of two lectures given at the IMA summer program "Symmetries and Overdetermined Systems of Partial Differential Equations". The main part of the article describes the Riemannian version of the prolongation procedure for certain overdetermined system obtained recently in joint work with T.P. Branson, M.G. Eastwood, and A.R. Gover. First a simple special case is discussed, then the (Riemannian) procedure is described in general. The prolongation procedure was derived from a simplification of the construction of Bernstein-Gelfand-Gelfand (BGG) sequences of invariant differential operators for certain geometric structures. The version of this construction for conformal structures is described next. Finally, we discuss generalizations of both the prolongation procedure and the construction of invariant operators to other geometric structures. △ Less

Submitted 6 October, 2006; originally announced October 2006.

Comments: LaTeX, 24 pages

Report number: ESI 1849 MSC Class: 35N10; 53A30; 58J10; 58J70; 53A40; 53C15

Journal ref: in M. Eastwood, W. Miller (eds.): "Symmetries and Overdetermined Systems of Partial Differential Equations", The IMA Volumes in Mathematics and its Applications 144, Springer 2008, 1-24

On left invariant CR structures on SU(2)

Authors: Andreas Cap

Abstract: There is a well known one--parameter family of left invariant CR structures on $SU(2)\cong S^3$. We show how purely algebraic methods can be used to explicitly compute the canonical Cartan connections associated to these structures and their curvatures. We also obtain explicit descriptions of tractor bundles and tractor connections. There is a well known one--parameter family of left invariant CR structures on $SU(2)\cong S^3$. We show how purely algebraic methods can be used to explicitly compute the canonical Cartan connections associated to these structures and their curvatures. We also obtain explicit descriptions of tractor bundles and tractor connections. △ Less

Submitted 31 March, 2006; originally announced March 2006.

Comments: 10 pages

Report number: ESI 1794 MSC Class: 32V05; 53B15; 53C07

Journal ref: Arch. Math. (Brno) 42 (2006) Supplement 185-195

Infinitesimal Automorphisms and Deformations of Parabolic Geometries

Authors: Andreas Cap

Abstract: We show that infinitesimal automorphisms and infinitesimal deformations of parabolic geometries can be nicely described in terms of the twisted de-Rham sequence associated to a certain linear connection on the adjoint tractor bundle. For regular normal geometries, this description can be related to the underlying geometric structure using the machinery of BGG sequences. In the locally flat case,… ▽ More We show that infinitesimal automorphisms and infinitesimal deformations of parabolic geometries can be nicely described in terms of the twisted de-Rham sequence associated to a certain linear connection on the adjoint tractor bundle. For regular normal geometries, this description can be related to the underlying geometric structure using the machinery of BGG sequences. In the locally flat case, this leads to a deformation complex, which generalizes the is well know complex for locally conformally flat manifolds. Recently, a theory of subcomplexes in BGG sequences has been developed. This applies to certain types of torsion free parabolic geometries including, quaternionic structures, quaternionic contact structures and CR structures. We show that for these structures one of the subcomplexes in the adjoint BGG sequence leads (even in the curved case) to a complex governing deformations in the subcategory of torsion free geometries. For quaternionic structures, this deformation complex is elliptic. △ Less

Submitted 26 August, 2005; originally announced August 2005.

Comments: 29 pages, no figures

Report number: ESI 1684 MSC Class: 32V05; 53A40; 53B15; 53C15; 53D10; 58H15; 58J10

Journal ref: J Eur. Math. Soc. 10, 2 (2008) 415-437

Subcomplexes in Curved BGG-Sequences

Authors: Andreas Cap, Vladimir Soucek

Abstract: BGG-sequences offer a uniform construction for invariant differential operators for a large class of geometric structures called parabolic geometries. For locally flat geometries, the resulting sequences are complexes, but in general the compositions of the operators in such a sequence are nonzero. In this paper, we show that under appropriate torsion freeness and/or semi-flatness assumptions ce… ▽ More BGG-sequences offer a uniform construction for invariant differential operators for a large class of geometric structures called parabolic geometries. For locally flat geometries, the resulting sequences are complexes, but in general the compositions of the operators in such a sequence are nonzero. In this paper, we show that under appropriate torsion freeness and/or semi-flatness assumptions certain parts of all BGG sequences are complexes. Several examples of structures, including quaternionic structures, hypersurface type CR structures and quaternionic contact structures are discussed in detail. In the case of quaternionic structures we show that several families of complexes obtained in this way are elliptic. △ Less

Submitted 26 August, 2005; originally announced August 2005.

Comments: 29 pages, no figures

Report number: ESI 1683 MSC Class: 32V05; 53A40; 53B15; 53C15; 53D10; 58J10

Journal ref: Math. Ann. 354, No. 1 (2012) 111-136

On the Geometry of Chains

Authors: Andreas Cap, Vojtech Zadnik

Abstract: The chains studied in this paper generalize Chern-Moser chains for CR structures. They form a distinguished family of one dimensional submanifolds in manifolds endowed with a parabolic contact structure. Both the parabolic contact structure and the system of chains can be equivalently encoded as Cartan geometries (of different types). The aim of this paper is to study the relation between these… ▽ More The chains studied in this paper generalize Chern-Moser chains for CR structures. They form a distinguished family of one dimensional submanifolds in manifolds endowed with a parabolic contact structure. Both the parabolic contact structure and the system of chains can be equivalently encoded as Cartan geometries (of different types). The aim of this paper is to study the relation between these two Cartan geometries for Lagrangean contact structures and partially integrable almost CR structures. We develop a general method for extending Cartan geometries which generalizes the Cartan geometry interpretation of Fefferman's construction of a conformal structure associated to a CR structure. For the two structures in question, we show that the Cartan geometry associated to the family of chains can be obtained in that way if and only if the original parabolic contact structure is torsion free. In particular, the procedure works exactly on the subclass of (integrable) CR structures. This tight relation between the two Cartan geometries leads to an explicit description of the Cartan curvature associated to the family of chains. On the one hand, this shows that the homogeneous models for the two parabolic contact structures give rise to examples of non-flat path geometries with large automorphism groups. On the other hand, we show that one may (almost) reconstruct the underlying torsion free parabolic contact structure from the Cartan curvature associated to the chains. In particular, this leads to a very conceptual proof of the fact that chain preserving contact diffeomorphisms are either isomorphisms or anti-isomorphisms of parabolic contact structures. △ Less

Submitted 31 May, 2005; v1 submitted 22 April, 2005; originally announced April 2005.

Comments: 24 pages, improved the presentation of applications by using harmonic curvature

Report number: ESI 1651 MSC Class: 53B15; 53C15; 53D10; 32V99

Journal ref: J. Differential Geom. 82, 1 (2009) 1-33

Two constructions with parabolic geometries

Authors: Andreas Cap

Abstract: This is an expanded version of a series of lectures delivered at the 25th Winter School ``Geometry and Physics'' in Srni. After a short introduction to Cartan geometries and parabolic geometries, we give a detailed description of the equivalence between parabolic geometries and underlying geometric structures. The second part of the paper is devoted to constructions which relate parabolic ge… ▽ More This is an expanded version of a series of lectures delivered at the 25th Winter School ``Geometry and Physics'' in Srni. After a short introduction to Cartan geometries and parabolic geometries, we give a detailed description of the equivalence between parabolic geometries and underlying geometric structures. The second part of the paper is devoted to constructions which relate parabolic geometries of different type. First we discuss the construction of correspondence spaces and twistor spaces, which is related to nested parabolic subgroups in the same semisimple Lie group. An example related to twistor theory for Grassmannian structures and the geometry of second order ODE's is discussed in detail. In the last part, we discuss analogs of the Fefferman construction, which relate geometries corresponding different semisimple Lie groups. △ Less

Submitted 19 April, 2005; originally announced April 2005.

Report number: ESI 1645 MSC Class: 53C15; 53C28; 32V05

Journal ref: in Proc. of the 25th Winter School "Geometry and Physics", Srni, January 15-22, 2005, Rend. Circ. Mat. Palermo Suppl. No. 79 (2006) 11-37

Prolongations of Geometric Overdetermined Systems

Authors: Thomas Branson, Andreas Cap, Michael Eastwood, Rod Gover

Abstract: We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on the dimension of the solution space. We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on the dimension of the solution space. △ Less

Submitted 13 October, 2005; v1 submitted 6 February, 2004; originally announced February 2004.

Comments: 22 pages. In the second version, a comparison with the classical theory of prolongations was added. In this third version more details were added concerning our construction and especially the use of Kostant's computation of Lie algebra cohomology

MSC Class: Primary 35N05; Secondary 17B66; 22E46; 58J70

Journal ref: Int.J.Math.17:641-664,2007

On Distinguished Curves in Parabolic Geometries

Authors: Andreas Cap, Jan Slovak, Vojtech Zadnik

Abstract: All parabolic geometries, i.e. Cartan geometries with homogeneous model a real generalized flag manifold, admit highly interesting classes of distinguished curves. The geodesics of a projective class of connections on a manifold, conformal circles on conformal Riemannian manifolds, and Chern--Moser chains on CR--manifolds of hypersurface type are typical examples. We show that such distinguished… ▽ More All parabolic geometries, i.e. Cartan geometries with homogeneous model a real generalized flag manifold, admit highly interesting classes of distinguished curves. The geodesics of a projective class of connections on a manifold, conformal circles on conformal Riemannian manifolds, and Chern--Moser chains on CR--manifolds of hypersurface type are typical examples. We show that such distinguished curves are always determined by a finite jet in one point, and study the properties of such jets. We also discuss the question when distinguished curves agree up to reparametrization and discuss the distinguished parametrizations in this case. We give a complete description of all distinguished curves for some examples of parabolic geometries. △ Less

Submitted 6 August, 2003; originally announced August 2003.

Report number: ESI 1346 MSC Class: 53C15; 53A40; 53A30; 53A55; 53C05

Journal ref: Transform. Groups 9, no. 2 (2004) 143-166