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.
We investigate the space of abelian relations of planar webs admitting infinitesimal automorphisms. As an application, we construct 4k-14 new algebraic families of global exceptionnal k-webs on the projective plane, for each k >4.
Let F be a Kähler foliation on a compact Riemannian manifold M. we study the properties of infinitesimal automorphisms on (M,F), and in particular we concentrate on the transversal conformal field, transversal projective field and transversally holomorphic field
Conditions are given under which an infinitesimal automorphism of a torsion-free connection preserving a symplectic form is necessarily a symplectic vector field. An example is given of a compact symplectic manifold admitting a flat symplectic connection and an infinitesimal automorphism that is not symplectic.
Using the theory of Weyl structures, we give a natural generalization of the notion of essential conformal structures and conformal Killing fields to arbitrary parabolic geometries. We show that a parabolic structure is inessential whenever the automorphism group acts properly on the base space. As a corollary of the generalized Ferrand-Obata theorem proved by C. Frances, this proves a generalization of the "Lichnerowicz conjecture" for conformal Riemannian, strictly pseudo-convex CR, and quaternionic/octonionic contact manifolds in positive-definite signature. For an infinitesimal automorphis…
A geometric description of the first Poisson cohomology groups is given in the semilocal context, around (possibly singular) symplectic leaves. This result is based on the splitting theorems for infinitesimal automorphisms of coupling Poisson structures which describe the interaction between the tangential and transversal data of the characteristic distributions. As a consequence, we derive some criteria of vanishing of the first Poisson cohomology groups and apply the general splitting formulas to some particular classes of Poisson structures associated with singular symplectic foliations.
VB-groupoids and algebroids are vector bundle objects in the categories of Lie groupoids and Lie algebroids respectively, and they are related via the Lie functor. VB-groupoids and algebroids play a prominent role in Poisson and related geometries. Additionally, they can be seen as models for vector bundles over singular spaces. In this paper we study their infinitesimal automorphisms, i.e. vector fields on them generating a flow by diffeomorphisms preserving both the linear and the groupoid/algebroid structures. For a special class of VB-groupoids/algebroids coming from representations of Lie…
We consider automorphisms of homogeneous parabolic geometries with a fixed point. Parabolic geometries carry the distinguished distributions and we study those automorphisms which enjoy natural actions on the distributions at the fixed points. We describe the sets of such automorphisms on homogeneous parabolic geometries in detail and classify, whether there are non--flat homogeneous parabolic geometries carrying such automorphisms. We present two general constructions of such geometries and we provide complete classifications for the types (G,P) of the parabolic geometries that have G simple …
We determine explicitly the structure of the automorphism group of a parabolic Inoue surface. We also describe the quotients of the surface by typical cyclic subgroups of the automorphism group.
Parabolic quasi-contact cone structures with an infinitesimal symmetry
Cardinal Stefan Wyszyński University（卡尔迪纳尔·斯特凡·维辛斯基大学）；Universidad de Granada（格拉纳达大学）；UiT The Arctic University of Norway（挪威北极大学）；Center for Theoretical Physics, PAS（波兰科学院理论物理中心）
We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple package DifferentialAlgebra -- in order to automate the handling of the arising highly complex linear systems of pde's. Before treating these new examples which prolong previous works of Beloshapka, of Shananina and of Mamai, we provide general formulas for the explicitation of the concerned pde systems that are valid in arbitrary codimension k >= 1 and in an…
We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a very ample line bundle $L$. Denote by $\mathfrak{g}_L$ the extended Lie algebra of infinitesimal automorphisms of $L$. If the representation of $\mathfrak{g}_L$ on the space of holomorphic sections of $L$ is irreducible then $Z$ is rational; (2) Let $P$ be a holomorphic principal bundle over the Riemann sphere, with structural group $G$ whose Lie algebra is n…
We prove for the automorphism group of an arbitrary parabolic geometry that the $C^0$ and $C^{\infty}$ topologies coincide, and the group admits the structure of a Lie group in this topology. We further show that this automorphism group is closed in the homeomorphism group of the underlying manifold.
We consider the significant class of holomorphically nondegenerate CR manifolds of finite type that are represented by some weighted homogeneous polynomials and we derive some useful features which enable us to set up a fast effective algorithm to compute their Lie algebras of infinitesimal CR-automorphisms. This algorithm mainly relies upon a natural gradation of the sought Lie algebras, and it also consists in treating separately the related graded components. While some other methods are based on constructing and solving an associated pde systems which become time consuming as soon as the n…
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 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 define the infinitesimal and geometric orders of an effective Klein geometry G/H. Using these concepts, we prove i) For any integer m>1, there exists an effective Klein geometry G/H of infinitesimal order m such that G/H is a projective variety (Corollary 9). ii) An effective Klein geometry G/H of geometric order M defines a differential equation of order M+1 on G/H whose global solution space is G (Proposition 18).
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 study symmetry properties of quaternionic Kähler manifolds obtained by the HK/QK correspondence. To any Lie algebra $\mathfrak{g}$ of infinitesimal automorphisms of the initial hyper-Kähler data we associate a central extension of $\mathfrak{g}$, acting by infinitesimal automorphisms of the resulting quaternionic Kähler manifold. More specifically, we study the metrics obtained by the one-loop deformation of the $c$-map construction, proving that the Lie algebra of infinitesimal automorphisms of the initial projective special Kähler manifold gives rise to a Lie algebra of Killing fields of …
We study the Lie algebra of infinitesimal isometries on compact Sasakian and K--contact manifolds. On a Sasakian manifold which is not a space form or 3--Sasakian, every Killing vector field is an infinitesimal automorphism of the Sasakian structure. For a manifold with K--contact structure, we prove that there exists a Killing vector field of constant length which is not an infinitesimal automorphism of the structure if and only if the manifold is obtained from the Konishi bundle of a compact pseudo--Riemannian quaternion--Kaehler manifold after changing the sign of the metric on a maximal ne…
We slightly extend the notion of a natural fibre bundle by requiring diffeomorphisms of the base to lift to automorphisms of the bundle only infinitesimally, i.e. at the level of the Lie algebra of vector fields. Spin structures are natural only in this extended sense. We classify fibre bundles with this property, assuming a finite dimensional structure group. This includes all spin structures, but only some generalised spin structures. This classification links the gauge group G to the topology of space-time.
We investigate (local) automorphisms of parabolic geometries that generalize geodesic symmetries. We show that many types of parabolic geometries admit at most one generalized geodesic symmetry at a point with non-zero harmonic curvature. Moreover, we show that if there is exactly one symmetry at each point, then the parabolic geometry is a generalization of an affine (locally) symmetric space.
It is shown that two Levi-Tanaka and infinitesimal CR automorphism algebras, associated with a totally nondegenerate model of CR dimension one are isomorphic. As a result, the model surfaces are maximally homogeneous and standard. This gives an affirmative answer in CR dimension one to a certain question formulated by Beloshapka.
A {1}-structure on a Banach manifold M (with model space E) is an E-valued 1-form on M that induces on each tangent space an isomorphism onto E. Given a Banach principal bundle P with connected base space and a {1}-structure on P, we show that its automorphism group can be turned into a Banach-Lie group acting smoothly on P provided the Lie algebra of infinitesimal automorphisms consists of complete vector fields. As a consequence we show that the automorphism group of a connected geodesically complete affine Banach manifold M can be turned into a Banach-Lie group acting smoothly on M.
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 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.
In this companion paper to our article {\em Accidental CR structures} (arxiv.org, January 2023), thought of as an appendix not submitted for publication, we provide complete explicit lists of infinitesimal CR automorphisms for the concerned CR models having respective Lie algebra structures: $${\bf E}_{II}, \qquad\ {\bf E}_{III}, \qquad\ \mathfrak{so}(\ell-1,\ell+1), \qquad\ \mathfrak{su}(p,q).$$ We start from our lists of {\em quadric} CR submanifolds $M^{2n+c} \subset \mathbb{C}^{n+c}$ of codimension $c >1$ which are shown to be {\em accidental}, in the sense that their CR symmetry groups ar…
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.
Let Ĝ be a complex semisimple Lie group, Q a parabolic subgroup and G a real form of Ĝ. The flag manifold Ĝ/Q decomposes into finitely many G-orbits; among them there is exactly one orbit of minimal dimension, which is compact. We study these minimal orbits from the point of view of CR geometry. In particular we characterize those minimal orbits that are of finite type and satisfy various nondegeneracy conditions, compute their fundamental group and describe the space of their global CR functions. Our main tool are parabolic CR algebras, which give an infinitesimal description of the CR struct…
We consider $G_2$-structures with torsion coupled with $G_2$-instantons, on a compact $7$-dimensional manifold. The coupling is via an equation for $4$-forms which appears in supergravity and generalized geometry, known as the Bianchi identity. First studied by Friedrich and Ivanov, the resulting system of partial differential equations describes compactifications of the heterotic string to three dimensions, and is often referred to as the $G_2$-Strominger system. We study the moduli space of solutions and prove that the space of infinitesimal deformations, modulo automorphisms, is finite dime…
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 algebrai…
The infinitesimal symmetry algebra of any Cartan geometry has maximum dimension realized by the flat model, but often this dimension drops significantly when considering non-flat geometries, so a gap phenomenon arises. For general (regular, normal) parabolic geometries of type (G,P), we use Tanaka theory to derive a universal upper bound on the submaximal symmetry dimension. We use Kostant's version of the Bott-Borel-Weil theorem to show that this bound is in fact sharp in almost all complex and split-real cases by exhibiting (abstract) models. We explicitly compute all submaximal symmetry dim…
An analytic approach and description are presented for the moduli cotangent sheaf for suitable stable curve families including noded fibers. For sections of the square of the relative dualizing sheaf, the residue map at a node gives rise to an exact sequence. The residue kernel defines the vanishing residue subsheaf. For suitable stable curve families, the direct image sheaf on the base is locally free and the sequence of direct images is exact. Recent work of Hubbard-Koch and a formal argument provide that the direct image sheaf is naturally identified with the moduli cotangent sheaf. The res…
We study the local geometry of irreducible parabolic geometries admitting strongly essential flows; these are flows by local automorphisms with higher-order fixed points. We prove several new rigidity results, and recover some old ones for projective and conformal structures, which show that in many cases the existence of a strongly essential flow implies local flatness of the geometry on an open set having the fixed point in its closure. For almost c-projective and almost quaternionic structures we can moreover show flatness of the geometry on a neighborhood of the fixed point.
Many interesting geometric structures can be described as regular infinitesimal flag structures, which occur as the underlying structures of parabolic geometries. Among these structures we have for instance conformal structures, contact structures, certain types of generic distributions and partially integrable almost CR-structures of hypersurface type. The aim of this article is to develop for a large class of (semi-)linear overdetermined systems of partial differential equations on regular infinitesimal flag manifolds $M$ a conceptual method to rewrite these systems as systems of the form $\…
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 ver…
Ray nil-affine geometries are defined on nilpotent spaces. They occur in every parabolic geometry and in those cases, the nilpotent space is an open dense subset of the corresponding flag manifold. We are interested in closed manifolds having a ray nil-affine structure. We show that under a rank one condition on the isotropy, closed manifolds are either complete or their developing map is a cover onto the complement of a nil-affine subspace. We prove that if additionally there is a parallel volume or if the automorphism group acts non properly then closed manifolds are always complete.This pap…
We present a uniform framework generalising and extending the classical theories of projective differential geometry, c-projective geometry, and almost quaternionic geometry. Such geometries, which we call \emph{projective parabolic geometries}, are abelian parabolic geometries whose flat model is an R-space $G\cdot\mathfrak{p}$ in the infinitesimal isotropy representation $\mathbb{W}$ of a larger self-dual symmetric R-space $H\cdot\mathfrak{q}$. We also give a classification of projective parabolic geometries with $H\cdot\mathfrak{q}$ irreducible which, in addition to the aforementioned class…
We consider the action of a finite subgroup of the mapping class group $Mod(S)$ of an oriented compact surface $S$ of genus $g \geq 2$ on the moduli space $\mathcal{R}(S,G)$ of representations of $π_1(S)$ in a connected semisimple real Lie group $G$. Kerckhoff's solution of the Nielsen realization problem ensures the existence of an element $J$ in the Teichmüller space of $S$ for which $Γ$ can be realised as a subgroup of the group of automorphisms of $X=(S,J)$ which are holomorphic or antiholomorphic. We identify the fixed points of the action of $Γ$ on $\mathcal{R}(S,G)$ in terms of $G$-Higg…
