[Paper Review] Equivalences of 5-dimensional CR manifolds (II): General classes I, II, III-1, III-2, IV-1, IV-2

Joël Merker, Samuel Pocchiola+1 more|arXiv (Cornell University)|Nov 22, 2013

Holomorphic and Operator Theory1 references6 citations

TL;DR

This paper establishes a complete classification of 5-dimensional real analytic CR manifolds in ℂ⁴ up to local equivalence, identifying six nondegenerate general classes: I, II, III₁, III₂, IV₁, and IV₂. It provides a self-contained, coordinate-based construction of these classes using intrinsic-extrinsic duality and the Lie-Cartan Principle of Relocalization, with the novel discovery of class III₂, previously unobserved in the literature.

ABSTRACT

For later use in subsequent upcoming arxiv.org prepublications, basic foundational material on local, smooth or real analytic, CR-generic submanifolds of complex Euclidean spaces is developed from scratch, with strong emphasis on the interplay between extrinsic and intrinsic aspects, a constructive option that commands to perform computational syntheses in coordinates. Mainly, one finds a self-contained proof of the existence of precisely six general classes: I, II, III-1, III-2, IV-1, IV-2 of nondegenerate general CR manifolds up to dimension 5, class III-2 being unobserved untill now.

Motivation & Objective

• To develop foundational tools for studying smooth and real analytic CR submanifolds in complex Euclidean spaces, emphasizing the interplay between extrinsic geometry and intrinsic CR structure.
• To classify all nondegenerate 5-dimensional CR manifolds up to local equivalence in ℂ⁴, extending prior classifications in lower dimensions.
• To identify and rigorously establish the existence of a new, previously unobserved class of CR manifolds—designated III₂—within the general classification framework.
• To provide a constructive, coordinate-based proof of the existence and uniqueness of six general classes of nondegenerate CR manifolds in dimensions up to 5.
• To formalize the concept of CR-genericity and the role of the Levi kernel and Freeman form in distinguishing CR types, especially in low codimension.

Proposed method

• The authors employ the Lie-Cartan Principle of Relocalization to disregard the non-CR locus and assume CR structure is well-defined and constant across the manifold.
• They define the complex tangent bundle $ T^cM = TM \cap J(TM) $, which equips the CR manifold with a complex vector bundle structure, enabling the use of complex-analytic tools.
• Using real analyticity ($ \mathscr{C}^\omega $), the paper ensures that the CR structure is Zariski-generic, allowing for the construction of a unique minimal complex-analytic strip $ M^{i_c} $ containing $ M $, of complex dimension $ n_M = \text{rank}_{\mathbb{C}}(TM + J(TM)) $.
• The classification is based on the rank of $ TM + J(TM) $, which determines the intrinsic CR dimension and leads to six distinct classes in dimension 5.
• The authors perform explicit coordinate computations to construct representatives of each class, particularly focusing on the new class III₂, which arises from a previously overlooked configuration of the Levi form and complex tangent space.
• The framework relies on the dimension formula $ \text{dim}_{\mathbb{R}}(E + F) = \text{dim}_{\mathbb{R}}E + \text{dim}_{\mathbb{R}}F - \text{dim}_{\mathbb{R}}(E \cap F) $ applied to $ TM $ and $ J(TM) $, ensuring consistency in the classification.

Experimental results

Research questions

• RQ1 What are the complete sets of nondegenerate CR structures of dimension 5 in complex Euclidean spaces up to local equivalence?
• RQ2 How can one systematically classify CR manifolds using the interplay between extrinsic geometry and intrinsic CR structure?
• RQ3 What new classes of CR manifolds emerge when considering real analytic submanifolds with nondegenerate Levi forms and complex tangent bundles of specific ranks?
• RQ4 Why was class III₂ previously unobserved in the literature, and what geometric conditions allow its existence?
• RQ5 How does the construction of the minimal complex-analytic strip $ M^{i_c} $ help in distinguishing and classifying CR manifolds of low dimension?

Key findings

• The paper proves the existence of exactly six nondegenerate general classes of 5-dimensional CR manifolds: I, II, III₁, III₂, IV₁, and IV₂, up to local equivalence.
• Class III₂ is rigorously identified and constructed for the first time, filling a gap in the existing classification of CR manifolds in dimension 5.
• The classification is based on the rank of the sum $ TM + J(TM) $, which determines the intrinsic CR dimension $ n_M $, and is shown to be constant on the Zariski-open set where the manifold is CR.
• For each class, the authors construct explicit local models in coordinates, demonstrating that the CR structure is fully determined by the configuration of the complex tangent bundle and the Levi kernel.
• The minimal complex-analytic strip $ M^{i_c} $, of complex dimension $ n_M $, is shown to contain the original manifold $ M $ and satisfy $ T_pM + J(T_pM) = T_pM^{i_c} $ for all $ p \in M $, ensuring CR-genericity.
• The framework confirms that real analyticity ($ \mathscr{C}^\omega $) ensures the CR structure is Zariski-generic, allowing for a uniform treatment across all classes and enabling the use of complex-analytic techniques in the classification.