-
Pre-Kähler structures and finite-nondegeneracy
Authors:
Omid Makhmali,
David Sykes
Abstract:
Motivated by the geometry of Levi degenerate CR hypersurfaces, we define a pre-Kähler structure on a complex manifold as a pre-symplectic structure compatible with the almost complex structure, i.e. a closed (1,1)-form. Extending Freeman filtration to the pre-Kähler setting, we define holomorphic degeneration and finite-nondegeneracy and show that the symmetry algebra of a real analytic pre-Kähler…
▽ More
Motivated by the geometry of Levi degenerate CR hypersurfaces, we define a pre-Kähler structure on a complex manifold as a pre-symplectic structure compatible with the almost complex structure, i.e. a closed (1,1)-form. Extending Freeman filtration to the pre-Kähler setting, we define holomorphic degeneration and finite-nondegeneracy and show that the symmetry algebra of a real analytic pre-Kähler structure is finite-dimensional if and only if it is finitely nondegenerate. Concurrently, we extend the classical correspondence between Kähler and Sasakian structures to the pre-Kähler setting, i.e. a one-to-one (local) correspondence between $k$-nondegenerate CR hypersurfaces equipped with a transverse infinitesimal symmetry and $k$-nondegenerate pre-Kähler structures. We additionally formalize a second relationship between the categories, constructing a natural $k$-nondegenerate pre-Kähler structure defined on a line bundle over such CR structures via pre-symplectification.
Focusing on the lowest dimensional case, we solve the equivalence problem of non-Kähler pre-Kähler complex surfaces that are 2-nondegenerate by associating a Cartan geometry to them and explicitly express their local invariants in terms of the fifth jet of a potential function. We describe the vanishing of their basic invariants in terms of a double fibration, which gives a pre-Kähler characterization of the twistor bundle of symplectic connections on surfaces. Lastly, our study of pre-Kähler complex surfaces that are symmetry reductions of homogeneous 2-nondegenerate CR 5-manifolds leads to a characterization of certain critical symplectic connections on surfaces and shows locally homogeneous 2-nondegenerate pre-Kähler complex surfaces are flat.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
On the classificarion of 3-dimensional spherical Sasakian manifolds
Authors:
Daniel Sykes,
Gerd Schmalz,
Vladimir Ezhov
Abstract:
In this article we consider spherical hypersurfaces in $\mathbb C^2$ with a fixed Reeb vector field as 3-dimensional Sasakian manifolds. We establish the correspondence between three different sets of parameters, namely, those arising from representing the Reeb vector field as an automorphism of the Heisenberg sphere, the parameters used in Stanton's description of rigid spheres, and the parameter…
▽ More
In this article we consider spherical hypersurfaces in $\mathbb C^2$ with a fixed Reeb vector field as 3-dimensional Sasakian manifolds. We establish the correspondence between three different sets of parameters, namely, those arising from representing the Reeb vector field as an automorphism of the Heisenberg sphere, the parameters used in Stanton's description of rigid spheres, and the parameters arising from the rigid normal forms. We also geometrically describe the moduli space for rigid spheres, and provide geometric distinction between Stanton's hypersurfaces and those found by Ezhov and Schmalz. Finally, we determine the Sasakian automorphism groups of the rigid spheres and detect the homogeneous Sasakian manifolds among them.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Models of $2$-nondegenerate CR hypersurface in $\mathbb{C}^N$
Authors:
Jan Gregorovič,
Martin Kolář,
David Sykes
Abstract:
We show that every point in a uniformly $2$-nondegenerate CR hypersurface is canonically associated with a model $2$-nondegenerate structure. The $2$-nondegenerate models are basic CR invariants playing the same fundamental role as quadrics do in the Levi nondegenerate case. We characterize all $2$-nondegenerate models and show that the moduli space of such hypersurfaces in $\mathbb{C}^N$ is infin…
▽ More
We show that every point in a uniformly $2$-nondegenerate CR hypersurface is canonically associated with a model $2$-nondegenerate structure. The $2$-nondegenerate models are basic CR invariants playing the same fundamental role as quadrics do in the Levi nondegenerate case. We characterize all $2$-nondegenerate models and show that the moduli space of such hypersurfaces in $\mathbb{C}^N$ is infinite dimensional for each $N>3$. We derive a normal form for these models' defining equations that is unique up to an action of a finite dimensional Lie group. We generalize recently introduced CR invariants termed modified symbols, and show how to compute these intrinsically defined invariants from a model's defining equation. We show that these models automatically possess infinitesimal symmetries spanning a complement to their Levi kernel and derive explicit formulas for them.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Defining equations of $7$-dimensional model CR hypersurfaces
Authors:
Jan Gregorovič,
David Sykes
Abstract:
We study CR hypersurfaces in $\mathbb{C}^4$ that are Levi degenerate with constant rank Levi form, and moreover finitely nondegenerate. Each of these can be described as a deformation of a model CR hypersurface by adding terms of higher natural weighted order to the model's defining equation. We obtain a complete normal form for models of real analytic uniformly $2$-nondegenerate CR hypersurfaces…
▽ More
We study CR hypersurfaces in $\mathbb{C}^4$ that are Levi degenerate with constant rank Levi form, and moreover finitely nondegenerate. Each of these can be described as a deformation of a model CR hypersurface by adding terms of higher natural weighted order to the model's defining equation. We obtain a complete normal form for models of real analytic uniformly $2$-nondegenerate CR hypersurfaces in $\mathbb{C}^4$, and present a detailed study of their local invariants. The normal form illustrates that $2$-nondegenerate models in $\mathbb{C}^4$ comprise a moduli space parameterized by two univariate holomorphic functions, which is in sharp contrast to the well known Levi-nondegenerate setting and the more recently discovered behavior of $2$-nondegenerate structures in $\mathbb{C}^3$. In further contrast to these previously studied settings, we demonstrate that not all $2$-nondegenerate structures in $\mathbb{C}^4$ arise as perturbations of homogeneous models. We derive defining equations for the homogeneous $2$-nondegenerate models, a set of $9$ structures, and find explicit formulas for their infinitesimal symmetries.
△ Less
Submitted 7 April, 2025; v1 submitted 28 October, 2023;
originally announced October 2023.
-
New examples of $2$-nondegenerate real hypersurfaces in $\mathbb{C}^N$ with arbitrary nilpotent symbols
Authors:
Martin Kolář,
Ilya Kossovskiy,
David Sykes
Abstract:
We introduce a class of uniformly $2$-nondegenerate CR hypersurfaces in $\mathbb{C}^N$, for $N>3$, having a rank $1$ Levi kernel. The class is first of all remarkable by the fact that for every $N>3$ it forms an {\em explicit} infinite-dimensional family of everywhere $2$-nondegenerate hypersurfaces. To the best of our knowledge, this is the first such construction. Besides, the class an infinite-…
▽ More
We introduce a class of uniformly $2$-nondegenerate CR hypersurfaces in $\mathbb{C}^N$, for $N>3$, having a rank $1$ Levi kernel. The class is first of all remarkable by the fact that for every $N>3$ it forms an {\em explicit} infinite-dimensional family of everywhere $2$-nondegenerate hypersurfaces. To the best of our knowledge, this is the first such construction. Besides, the class an infinite-dimensional family of non-equivalent structures having a given constant nilpotent CR symbol for every such symbol. Using methods that are able to handle all cases with $N>5$ simultaneously, we solve the equivalence problem for the considered structures whose symbol is represented by a single Jordan block, classify their algebras of infinitesimal symmetries, and classify the locally homogeneous structures among them. We show that the remaining considered structures, which have symbols represented by a direct sum of Jordan blocks, can be constructed from the single block structures through simple linking and extension processes.
△ Less
Submitted 25 April, 2024; v1 submitted 2 April, 2023;
originally announced April 2023.
-
Homogeneous $2$-nondegenerate CR manifolds of hypersurface type in low dimensions
Authors:
David Sykes
Abstract:
In a recent paper, the author and I. Zelenko introduce the concept of modified CR symbols for organizing local invariants of $2$-nondegenerate CR structures. In this paper, we consider homogeneous hypersurfaces in $\mathbb{C}^4$, a natural frontier in the CR hypersurface Erlangen programs, and classify up to local equivalence the locally homogeneous $2$-nondegenerate hypersufaces in…
▽ More
In a recent paper, the author and I. Zelenko introduce the concept of modified CR symbols for organizing local invariants of $2$-nondegenerate CR structures. In this paper, we consider homogeneous hypersurfaces in $\mathbb{C}^4$, a natural frontier in the CR hypersurface Erlangen programs, and classify up to local equivalence the locally homogeneous $2$-nondegenerate hypersufaces in $\mathbb{C}^4$ whose symmetry group dimension is maximal among all such structures with the same local invariants encoded in their respective modified symbols. In the considered dimension, we show that among homogeneous structures with given modified CR symbols, the most symmetric structures (termed model structures) are unique. The classification is then achieved indirectly through classifying the modified symbols of homogeneous hypersurfaces in $\mathbb{C}^4$, obtaining (up to local equivalence) nine model structures. The methods used to obtain this classification are then applied to find homogeneous hypersurfaces in higher dimensional spaces. In total $20$ locally non-equivalent maximally symmetric homogeneous $2$-nondegenerate hypersurfaces are described in $\mathbb{C}^5$, and $40$ such hypersurfaces are described in $\mathbb{C}^6$, of which some have been described in other works while many are new. Lastly, two new sequences, indexed by $n$, of homogeneous $2$-nondegenerate hypersurfaces in $\mathbb{C}^{n+1}$ are described. Notably, all examples from one of these latter sequences can be realized as left-invariant structures on nilpotent Lie groups.
△ Less
Submitted 7 June, 2023; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Maximal dimension of groups of symmetries of homogeneous 2-nondegenerate CR structures of hypersurface type with a 1-dimensional Levi kernel
Authors:
David Sykes,
Igor Zelenko
Abstract:
We prove that for every $n\geq 3$ the sharp upper bound for the dimension of the symmetry groups of homogeneous, 2-nondegenerate, $(2n+1)$-dimensional CR manifolds of hypersurface type with a $1$-dimensional Levi kernel is equal to $n^2+7$, and simultaneously establish the same result for a more general class of structures characterized by weakening the homogeneity condition. This supports Belosha…
▽ More
We prove that for every $n\geq 3$ the sharp upper bound for the dimension of the symmetry groups of homogeneous, 2-nondegenerate, $(2n+1)$-dimensional CR manifolds of hypersurface type with a $1$-dimensional Levi kernel is equal to $n^2+7$, and simultaneously establish the same result for a more general class of structures characterized by weakening the homogeneity condition. This supports Beloshapka's conjecture stating that hypersurface models with a maximal finite dimensional group of symmetries for a given dimension of the underlying manifold are Levi nondegenerate.
△ Less
Submitted 27 February, 2022; v1 submitted 17 February, 2021;
originally announced February 2021.
-
On geometry of $2$-nondegenerate CR structures of hypersurface type and flag structures on leaf spaces of Levi foliations
Authors:
David Sykes,
Igor Zelenko
Abstract:
We construct canonical absolute parallelisms over real-analytic manifolds equipped with $2$-nondegenerate, hypersurface-type CR structures of arbitrary odd dimension not less than $7$ whose Levi kernel has constant rank belonging to a broad subclass of CR structures that we label as recoverable. For this we develop a new approach based on a reduction to a special flag structure, called the dynamic…
▽ More
We construct canonical absolute parallelisms over real-analytic manifolds equipped with $2$-nondegenerate, hypersurface-type CR structures of arbitrary odd dimension not less than $7$ whose Levi kernel has constant rank belonging to a broad subclass of CR structures that we label as recoverable. For this we develop a new approach based on a reduction to a special flag structure, called the dynamical Legendrian contact structure, on the leaf space of the CR structure's associated Levi foliation. This extends the results of Porter-Zelenko [20] from the case of regular CR symbols constituting a discrete set in the set of all CR symbols to the case of the arbitrary CR symbols for which the original CR structure can be uniquely recovered from its corresponding dynamical Legendrian contact structure. Our method clarifies the relationship between the bigraded Tanaka prolongation of regular symbols developed in Porter-Zelenko [20] and their usual Tanaka prolongation, providing a geometric interpretation of conditions under which they are equal. Motivated by the search for homogeneous models with given nonregular symbol, we also describe a process of reduction from the original natural frame bundle, which is inevitable for structures with nonregular CR symbols. We demonstrate this reduction procedure for examples whose underlying manifolds have dimension $7$ and $9$. We show that, for any fixed rank $r>1$, in the set of all CR symbols associated with 2-nondegenerate, hypersurface-type CR manifolds of odd dimension greater than $4r+1$ with rank $r$ Levi kernel, the CR symbols not associated with any homogeneous model are generic, and, for $r=1$, the same result holds if the CR structure is pseudoconvex.
△ Less
Submitted 24 October, 2022; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Quasi-Einstein shearfree spacetimes lifted from Sasakian manifolds
Authors:
Masoud Ganji,
Gerd Schmalz,
Daniel Sykes
Abstract:
In this article we prove that a certain class of {\it smooth} Sasakian manifolds admits lifts to 4-dimensional quasi-Einstein shearfree spacetimes of Petrov type II or D. This is related to an analogous result by Hill, Lewandowski and Nurowski \cite{HLN} for general {\it real-analytic} CR manifolds. In particular, this holds for all tubular CR manifolds. Furthermore, we show that any Sasakian mani…
▽ More
In this article we prove that a certain class of {\it smooth} Sasakian manifolds admits lifts to 4-dimensional quasi-Einstein shearfree spacetimes of Petrov type II or D. This is related to an analogous result by Hill, Lewandowski and Nurowski \cite{HLN} for general {\it real-analytic} CR manifolds. In particular, this holds for all tubular CR manifolds. Furthermore, we show that any Sasakian manifold with underlying Kähler-Einstein manifold with non-zero Einstein constant has a lift to a shearfree Einstein metric of Petrov type II or D.
△ Less
Submitted 7 June, 2024; v1 submitted 13 August, 2020;
originally announced August 2020.
-
A canonical form for pairs consisting of a Hermitian form and a self-adjoint antilinear operator
Authors:
David Sykes,
Igor Zelenko
Abstract:
Motivated by a problem in local differential geometry of Cauchy--Riemann (CR) structures of hypersurface type, we find a canonical form for pairs consisting of a nondegenerate Hermitian form and a self-adjoint antilinear operator, or, equivalently, consisting of a nondegenerate Hermitian form and a symmetric bilinear form. This generalizes the only previously known results on simultaneous normaliz…
▽ More
Motivated by a problem in local differential geometry of Cauchy--Riemann (CR) structures of hypersurface type, we find a canonical form for pairs consisting of a nondegenerate Hermitian form and a self-adjoint antilinear operator, or, equivalently, consisting of a nondegenerate Hermitian form and a symmetric bilinear form. This generalizes the only previously known results on simultaneous normalization of such pairs, namely, the results of Benedetti and Cragnolini (1984) on simultaneous diagonalization of these pairs in the case where the Hermitian form is positive definite and of Hong and Horn (1986), where a criterion for simultaneous diagonalization is given.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
