[Paper Review] Centro-affine hypersurface immersions with parallel cubic form

Roland Hildebrand|arXiv (Cornell University)|Aug 6, 2012

Homotopy and Cohomology in Algebraic Topology27 references3 citations

TL;DR

This paper establishes a bijective correspondence between non-degenerate centro-affine hypersurface immersions in ℝⁿ with parallel cubic form (with respect to the Levi-Civita connection of the affine metric) and ω-domains in real semi-simple Jordan algebras. It proves that every such immersion arises as a level surface of the ω-function in an ω-domain, and conversely, every such level surface is a proper affine hypersphere with center at the origin and parallel cubic form, leading to a complete classification via the classification of semi-simple real Jordan algebras.

ABSTRACT

We consider non-degenerate centro-affine hypersurface immersions in R^n whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a bijective correspondence between homothetic families of proper affine hyperspheres with center in the origin and with parallel cubic form, and K\\"ochers conic omega-domains, which are the maximal connected sets consisting of invertible elements in a real semi-simple Jordan algebra. Every level surface of the omega function in an omega-domain is an affine complete, Euclidean complete proper affine hypersphere with parallel cubic form and with center in the origin. On the other hand, every proper affine hypersphere with parallel cubic form and with center in the origin can be represented as such a level surface. We provide a complete classification of proper affine hyperspheres with parallel cubic form based on the classification of semi-simple real Jordan algebras. Centro-affine hypersurface immersions with parallel cubic form are related to the wider class of real unital Jordan algebras. Every such immersion can be extended to an affine complete one, whose conic hull is the connected component of the unit element in the set of invertible elements in a real unital Jordan algebra. Our approach can be used to study also other classes of hypersurfaces with parallel cubic form.

Motivation & Objective

• To classify non-degenerate centro-affine hypersurface immersions in ℝⁿ whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric.
• To establish a correspondence between such immersions and ω-domains in real semi-simple Jordan algebras.
• To show that every proper affine hypersphere with center at the origin and parallel cubic form arises as a level surface of the ω-function in an ω-domain.
• To provide a complete classification of proper affine hyperspheres with parallel cubic form using the classification of real semi-simple Jordan algebras.
• To extend the framework to include all centro-affine immersions with parallel cubic form, showing they can be extended to affine-complete ones whose conic hull lies in the connected component of invertible elements in a real unital Jordan algebra.

Proposed method

• Utilizes the geometric structure of centro-affine hypersurfaces and the properties of the affine metric and cubic form under the Levi-Civita connection.
• Applies the theory of real semi-simple Jordan algebras, particularly the ω-domains, which are the connected components of invertible elements in such algebras.
• Establishes a bijective correspondence between homothetic families of proper affine hyperspheres centered at the origin and ω-domains via the ω-function.
• Employs the ω-function's homogeneity to define a radial projection from the ω-domain to the hypersphere, ensuring each ray intersects the hypersphere exactly once.
• Derives and analyzes a system of quasi-linear PDEs governing the condition ∇K = 0 for the difference tensor K, linking it to Jordan algebraic identities.
• Uses the algebraic structure of the cubic form and its covariant derivative to show that the underlying algebra must be a quadratic factor or central-simple, leading to the conclusion that the algebra is a Jordan algebra.

Experimental results

Research questions

• RQ1 Can all non-degenerate centro-affine hypersurface immersions with parallel cubic form be classified via algebraic structures in ℝⁿ?
• RQ2 Is there a canonical correspondence between such immersions and domains in real semi-simple Jordan algebras?
• RQ3 Do all proper affine hyperspheres with center at the origin and parallel cubic form arise as level surfaces of the ω-function in an ω-domain?
• RQ4 What algebraic constraints arise from the condition ∇K = 0 on the difference tensor for centro-affine immersions?
• RQ5 Can every centro-affine immersion with parallel cubic form be extended to an affine-complete one whose conic hull lies in the invertible component of a real unital Jordan algebra?

Key findings

• There exists a bijective correspondence between homothetic families of proper affine hyperspheres centered at the origin with parallel cubic form and ω-domains in real semi-simple Jordan algebras.
• Every level surface of the ω-function in an ω-domain is a non-degenerate, affine-complete, Euclidean-complete proper affine hypersphere with center at the origin and parallel cubic form.
• Conversely, every proper affine hypersphere with center at the origin and parallel cubic form arises as a level surface of the ω-function in some ω-domain.
• The classification of proper affine hyperspheres with parallel cubic form reduces completely to the classification of real semi-simple Jordan algebras.
• Every centro-affine immersion with parallel cubic form can be extended to an affine-complete one, whose conic hull is the connected component of the unit element in the set of invertible elements of a real unital Jordan algebra.
• The condition ∇K = 0 on the difference tensor implies that the underlying algebraic structure is a Jordan algebra, and the immersion lies in a quadratic factor or central-simple algebra.