For a real-analytic connected CR-hypersurface M of CR-dimension n ě 1 having a point of Levi-nondegeneracy the following alternative is demonstrated for its symmetry algebra s " spM q: (i) either dim s " n 2`4 n`3 and M is spherical everywhere; (ii) or dim s ď n 2`2 n`2`δ 2,n and in the case of equality M is spherical and has fixed signature of the Levi form in the complement to its Levi-degeneracy locus. A version of this result is proved for the Lie group of global automorphisms of M .Explicit examples of CR-hypersurfaces and their infinitesimal and global automorphisms realizing the bound in (ii) are constructed. We provide many other models with large symmetry using the technique of blow-up, in particular we realize all maximal parabolic subalgebras of the pseudo-unitary algebras as a symmetry.
Introduction
Formulation of the problemA classical problem in geometry is the study of symmetry algebras for classes of manifolds endowed with particular geometric structures. Given such a class C of manifolds, the symmetry algebra of M P C is the Lie algebra spMq of vector fields on M whose local flows preserve the structure, and dim spMq is called the symmetry dimension of M. An important question in this area is to determine the maximal value D max of the symmetry dimension over all M P C as well as dimensions close to it.While describing large symmetry dimensions, one often encounters a gap phenomenon, that is, the nonrealizability of some of the values immediately below D max as dim spMq for any M P C. One then searches for the next realizable value, the submaximal dimension D smax , thus obtaining the interval pD smax , D max q called the first gap, or lacuna, for the symmetry dimension. The lacunary behavior of dim spMq may extend further and, ideally, one would like to determine all possible large values of dim spMq.Mathematics Subject Classification: 32V40, 32C05; 32M12, 53C15.The best-known case for which this program has been implemented with much success, both in the global and infinitesimal settings, is Riemannian geometry [KN, Ko], see also [Eg,I2]. A large number of other situations where the gap phenomenon has been extensively studied falls in the framework of parabolic geometry [CS], see the results and historical discussion in [KT].This article concerns CR-geometry, in which case substantially less is known about the behavior of the symmetry dimension. While there was a considerable progress for Levi-nondegenerate CR-manifolds, the problem of bounding symmetry dimension in general has been wide open. The purpose of this paper is to advance in this direction.