We prove analogues for Cartan geometries of Gromov's major theorems on automorphisms of rigid geometric structures. The starting point is a Frobenius theorem, which says that infinitesimal automorphisms of sufficiently high order integrate to local automorphisms. Consequences include a stratification theorem describing the configuration of orbits for local Killing fields in a compact real-analytic Cartan geometry, and an open-dense theorem in the smooth case, which says that if there is a dense orbit, then there is an open, dense, locally homogeneus subset. Combining the Frobenius theorem with the embedding theorem of Bader, Frances, and the author gives a representation theorem that relates the fundamental group of the manifold with the automorphism group.
The extension functors between categories of Cartan geometries can be used to define different categories of Cartan geometries with additional morphisms. The Cartan geometries modeled on skeletons can be used for the description of such categories of Cartan geometries and therefore we develop the theory of Cartan geometries modeled on skeletons, in detail. In particular, we show that there are functors from the categories of Cartan geometries with morphisms induced by extension functors to certain categories of Cartan geometries modeled on skeletons with the usual morphisms. We study how to co…
This is a survey paper dealing with holomorphic G-structures and holomorphic Cartan geometries on compact complex manifolds. Our emphasis is on the foliated case: holomorphic foliations with transverse (branched or generalized) holomorphic Cartan geometries.
In this paper we show that Cartan geometries can be studied via transitive Lie groupoids endowed with a special kind of vector-valued multiplicative 1-forms. This viewpoint leads us to a more general notion, that of Cartan bundle, which encompasses both Cartan geometries and G-structures.
We introduce linear Dirac and generalized complex structures on Cartan geometries and give criteria for Dirac subalgebras of $\frkg\ltimes\frkg^*$ representing Dirac structures on a Cartan geometry. We prove that there is a bijection between the linear generalized structures on a torsion free Cartan geometry and the equivariant generalized structures on its corresponding homogeneous space.
In this paper, we show that associated to any coisotropic Cartan geometry there is a twisted Courant algebroid. This includes in particular parabolic geometries. Using this twisted Courant structure, we give some new results about the Cartan curvature and the Weyl structure of a parabolic geometry. As more direct applications, we have Lie 2-algebra and 3D AKSZ sigma model with background associated to any coisotropic Cartan geometry.
This is largely a survey paper, dealing with Cartan geometries in the complex analytic category. We first remind some standard facts going back to the seminal works of F. Klein, E. Cartan and C. Ehresmann. Then we present the concept of a branched holomorphic Cartan geometry which was introduced by the authors in [BD]. It generalizes to higher dimension the notion of a branched (flat) complex projective structure on a Riemann surface introduced by Mandelbaum. This new framework is much more flexible than that of the usual holomorphic Cartan geometries (e.g. all compact complex projective manif…
In [DM] it was asked whether all flat holomorphic Cartan geometries (G,H) on a complex torus are translation invariant. We answer this affimatively under the assumption that the complex Lie group G is affine. More precisely, we show that every holomorphic Cartan geometry of type (G,H), with G a complex affine Lie group, on any complex torus is translation invariant.
We describe invariant principal and Cartan connections on homogeneous principal bundles and show how to calculate the curvature and the holonomy; in the case of an invariant Cartan connection we give a formula for the infinitesimal automorphisms. The main result of this paper is that the above calculations are purely algorithmic. As an example of an homogeneous parabolic geometry we treat a conformal structure on the product of two spheres.
In this paper, we consider the problem of building a conformal boundary, embedding a pseudo-Riamnnian manifold as an open subset of a bigger one. We get first results about conformal maximality. We also show that in dimension $\geq 3$, there are rigidity properties for the topological boundary of such a conformal embedding. We get results of the same kind about general Cartan geometries.
The recently discovered fourth class of Frobenius manifolds by Combe--Manin in opened and highlighted new geometric domains to explore. The guiding mantra of this article is to show the existence of hidden geometric aspects of the fourth Frobenius manifold, which turns out to be related to so-called causality conditions. Firstly, it is proved that the fourth class of Frobenius manifolds is a Pseudo-Elliptic one. Secondly, this manifold turns out to be a sub-manifold of a non-orientable Lorentzian projective manifold. Thirdly, Maurer--Cartan structures for this manifold and hidden geometrical p…
The aim of the present paper is to lay the foundation for a theory of Ehresmann structures in positive characteristic, generalizing the Frobenius-projective and Frobenius-affine structures defined in the previous work. This theory deals with atlases of étale coordinate charts on varieties modeled on homogenous spaces of algebraic groups, which we call Frobenius-Ehresmann structures. These structures are compared with Cartan geometries in positive characteristic, as well as with higher-dimensional generalizations of dormant indigenous bundles. In particular, we investigate the conditions under …
We show that compact complex manifolds of algebraic dimension zero bearing a holomorphic Cartan geometry of algebraic type have infinite fundamental group. This generalizes the main Theorem in [DM] where the same result was proved for the special cases of holomorphic affine connections and holomorphic conformal structures.
We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to coincide precisely with the standard definition of the holonomy group for Cartan geometries in terms of an associated principal connection. These curved cosets retain many characteristics of their homogeneous counterparts, and they behave well under the action of automorphisms. We conclude the paper by using the machinery developed to generalize the de Rham dec…
Lightlike Cartan geometries are introduced as Cartan geometries modelled on the future lightlike cone in Lorentz-Minkowski spacetime. Then, we provide an approach to the study of lightlike manifolds from this point of view. It is stated that every lightlike Cartan geometry on a manifold $N$ provides a lightlike metric $h$ with radical distribution globally spanned by a vector field $Z$. For lightlike hypersurfaces of a Lorentz manifold, we give the condition that characterizes when the pull-back of the Levi-Civita connection form of the ambient manifold is a lightlike Cartan connection on such…
We study local automorphisms of holomorphic Cartan geometries. This leads to classification results for compact complex manifolds admitting Cartan geometries. We prove that a compact Calabi-Yau manifold bearing a holomorphic Cartan geometry of algebraic type admits a finite unramified cover which is a complex torus.
We prove that the only Calabi--Yau projective manifolds which bear holomorphic Cartan geometries are precisely the abelian varieties. (Nous démontrons que les seules variétés projectives de Calabi--Yau qui possèdent des géométrie holomorphes de Cartan sont les variétés abéliennes.)
Introducing the deformation theory of holomorphic Cartan geometries, we compute infinitesimal automorphisms and infinitesimal deformations. We also prove the existence of a semi-universal deformation of a holomorphic Cartan geometry.
We prove that any compact Kähler manifold bearing a holomorphic Cartan geometry contains a rational curve just when the Cartan geometry is inherited from a holomorphic Cartan geometry on a lower dimensional compact Kähler manifold.
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 eq…
In this continuation of \cite{BDS}, we investigate the deformations of holomorphic Cartan geometries where the underlying complex manifold is allowed to move. The space of infinitesimal deformations of a flat holomorphic Cartan geometry is computed. We show that the natural forgetful map, from the infinitesimal deformations of a flat holomorphic Cartan geometry to the infinitesimal deformations of the underlying flat principal bundle on the topological manifold, is an isomorphism.
We prove that if a Calabi--Yau manifold $M$ admits a holomorphic Cartan geometry, then $M$ is covered by a complex torus. This is done by establishing the Bogomolov inequality for semistable sheaves on compact Kähler manifolds. We also classify all holomorphic Cartan geometries on rationally connected complex projective manifolds.
Sub-Riemannian structures and non-transitive Cartan geometries via Lie groupoids
Centre Inria d’Université Côte d’Azur（阿基坦大学蔚蓝海岸Inria中心）；Julius-Maximilians-Universität Würzburg（维尔茨堡朱利叶斯-马克西米利安大学）；CMUC, University of Coimbra（科英布拉大学数学研究中心）
We calculate relations on characteristic classes which are obstructions preventing closed Kähler manifolds from carrying holomorphic Cartan geometries. We apply these relations to give global constraints on the phase spaces of complex analytic determined and underdetermined systems of differential equations.
We prove a theorem relating the automorphism group of a Cartan geometry to the group on which the geometry is modeled: a component of the adjoint representation of the first embeds in the adjoint representation of the second. Consequences of the theorem include general bounds on the rank and nilpotence degree of an automorphism group; a result asserting local homogeneity and completeness of parabolic geometries admitting a maximal-rank group of automorphisms; and a local freeness theorem for actions additionally preserving a continuous volume form.
We construct infinite families of regular normal Cartan geometries with nonvanishing curvature and essential automorphisms on closed manifolds for many higher rank parabolic model geometries. To do this, we use particular elements of the kernel of the Kostant Laplacian to construct homogeneous Cartan geometries of the desired type, giving a global realization of an elegant local construction due to Kruglikov and The, and then modify these homogeneous geometries to make their base manifolds compact. As a demonstration, we apply the construction to quaternionic contact structrures of mixed signa…
We are interested in the class, in the Elie Cartan sense, of left invariant forms on a Lie group. We construct the class of Lie algebras provided with a contact form and classify the frobeniusian Lie algebras up to a contraction. We also study forms which are invariant by a subgroup. We show that the simple group SL(2n,R) which doesn't admit left invariant contact form, yet admits a contact form which is invariant by a maximal compact subgroup. We determine also Pfaffian forms on the Heisenberg $3$-dimensional group invariant by a subgroup and obtain the Transport Equation.
We introduce the concept of a branched holomorphic Cartan geometry. It generalizes to higher dimension the definition of branched (flat) complex projective structure on a Riemann surface introduced by Mandelbaum. This new framework is much more flexible than that of the usual holomorphic Cartan geometries. We show that all compact complex projective manifolds admit branched flat holomorphic projective structure. We also give an example of a non-flat branched holomorphic normal projective structure on a compact complex surface. It is known that no compact complex surface admits such a structure…
Using the notion of Levi form of a smooth distribution, we discuss the local and the global problem of existence of one horizontal section of a smooth vector bundle endowed with a horizontal distribution. The analysis will lead to the formulation of a "one-leaf" analogue of the classical Frobenius integrability theorem in elementary differential geometry. Several applications of the result will be discussed. First, we will give a characterization of symmetric connections arising as Levi-Civita connections of semi-Riemannian metric tensors. Second, we will prove a general version of the classic…
Consider an anchored bundle $(E,ρ)$, i.e. a vector bundle $E\to M$ equipped with a bundle map $ρ\colon E \to TM$ covering the identity. M.~Kapranov showed in the context of Lie-Rinehard algebras that there exists an extension of this anchored bundle to an infinite rank universal free Lie algebroid $FR(E)\supset E$. We adapt his construction to the case of an anchored bundle equipped with an arbitrary connection, $(E,\nabla)$, and show that it gives rise to a unique connection $\tilde \nabla$ on $FR(E)$ which is compatible with its Lie algebroid structure, thus turning $(FR(E), \tilde \nabla)$ …
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 i…
We exploit the Cartan-Kähler theory to prove the local existence of real analytic quaternionic contact structures for any prescribed values of the respective curvature functions and their covariant derivatives at a given point on a manifold. We show that, in a certain sense, the different real analytic quaternionic contact geometries in $4n+3$ dimensions depend, modulo diffeomorphisms, on $2n+2$ real analytic functions of $2n+3$ variables.
This article investigates a few questions about orbits of local automorphisms in manifolds endowed with rigid geometric structures. We give sufficient conditions for local homogeneity in a broad class of such structures, namely Cartan geometries, extending a classical result of Singer about locally homogeneous Riemannian manifolds. We also revisit a strong result of Gromov which describes the structure of the orbits of local automorphisms of manifolds endowed with $A$-rigid structures, and give a statement of this result in the setting of Cartan geometries.
In his 1910 paper, Élie Cartan gave a tour-de-force solution to the (local) equivalence problem for generic rank 2 distributions on 5-manifolds, i.e. $(2,3,5)$-distributions. From a modern perspective, these structures admit equivalent descriptions as (regular, normal) parabolic geometries modelled on a quotient of $G_2$, but this is not transparent from his article: indeed, the Cartan "connection" of 1910 is not a "Cartan connection" in the modern sense. We revisit the classification of multiply-transitive $(2,3,5)$-distributions from a modern Cartan-geometric perspective, incorporating $G_2$…
The aim of this article is the proof of the following result: Let M be a connected manifold endowed with a regular Cartan geometry modelled on the boundary X of the d-dimensional real (resp. complex, resp. quaternionic, resp. octonionic) hyperbolic space. If the group of automorphisms of M does not act properly on M, then M is geometrically isomorphic to: - X if M is compact. - X minus a point in the other cases.
We provide five examples of conformal geometries which are naturally associated with ordinary differential equations (ODEs). The first example describes a one-to-one correspondence between the Wuenschmann class of 3rd order ODEs considered modulo contact transformations of variables and (local) 3-dimensional conformal Lorentzian geometries. The second example shows that every point equivalent class of 3rd order ODEs satisfying the Wuenschmann and the Cartan conditions define a 3-dimensional Lorentzian Einstein-Weyl geometry. The third example associates to each point equivalence class of 3rd o…
A PhD thesis written under supervision of Pawel Nurowski and defended at the Faculty of Physics of the University of Warsaw. We adress the problems of local equivalence and geometry of third order ODEs modulo contact, point and fibre-preserving transformations of variables. Several new and already known geometries are described in a uniform manner by the Cartan method of equivalence. This includes conformal, Weyl and metric geometries in three and six dimensions and contact projective geometry in dimension three. Respective connections for these geometries are given and their curvatures are ex…
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie pseudogroups into principal $G$-bundles equipped with a transversally parallelisable foliation generated by a subalgebra of $\mathfrak{g}$, called Cartan bundles. Our approach is complementary to arXiv:1911.13147 and is based on Morita equivalence of Lie groupoids. After identifying the main examples and properties, we develop a notion of flatness with respect…
We develop a non-relativistic twistor theory, in which Newton--Cartan structures of Newtonian gravity correspond to complex three-manifolds with a four-parameter family of rational curves with normal bundle ${\mathcal O}\oplus{\mathcal O}(2)$. We show that the Newton--Cartan space-times are unstable under the general Kodaira deformation of the twistor complex structure. The Newton--Cartan connections can nevertheless be reconstructed from Merkulov's generalisation of the Kodaira map augmented by a choice of a holomorphic line bundle over the twistor space trivial on twistor lines. The Coriolis…
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 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 …
An almost complex structure J on a 4-manifold X may be described in terms of a rank 2 vector bundle E. A splitting of J consists of a pair of line bundles spanning E. A hypersurface M in X satisfying a nondegeneracy condition inherits a CR-structure from J and a path geometry from the splitting. Using the Cartan-Kähler theorem we show that locally every real analytic path geometry is induced by an embedding into C^2 equipped with the splitting generated by the real and imaginary part of the standard holomorphic volume form. As a corollary we obtain the well-known fact that every 3-dimensional …
The general theory of parabolic geometries is applied to the study of the normal Cartan connections for all hyperbolic and elliptic 6-dimensional CR-manifolds of codimension two. The geometric meaning of the individual components of the torsion is explained and the chains of dimensions one and two are discussed. This seems to be the first application of the general methods to a geometry with a non-connected and non-simple structure group.
We generalize Calabi-Yau 3-folds from the special Lagrangian perspective. More precisely, we study SU(3)-structures which admit as "nice" a local special Lagrangian geometry as the flat $\mathbf{C}^3$ or a Calabi-Yau structure does. The underlying almost complex structure may not be integrable. Such SU(3)-structures are called {\it admissible}. Among these, we are particularly interested in a subclass of SU(3)-structures called {\it nearly Calabi-Yau}. We discuss the local generalities of admissible SU(3)-structures and nearly Calabi-Yau structures in Cartan's sense. Examples of nearly Calabi-…
For a semisimple Lie group $G$ with parabolic subgroups $Q\subset P\subset G$, we associate to a parabolic geometry of type $(G,P)$ on a smooth manifold $N$ the correspondence space $\Cal CN$, which is the total space of a fiber bundle over $N$ with fiber a generalized flag manifold, and construct a canonical parabolic geometry of type $(G,Q)$ on $\Cal CN$. Conversely, for a parabolic geometry of type $(G,Q)$ on a smooth manifold $M$, we construct a distribution corresponding to $P$, and find the exact conditions for its integrability. If these conditions are satisfied, then we define the twis…
