-
Classification of Affinely Homogeneous Hessian Rank 2 Hypersurfaces S^3 in R^4
Authors:
Julien Heyd,
Joel Merker
Abstract:
We determine all affinely homogeneous hypersurfaces S^3 in R^4 whose Hessian is (invariantly) of constant rank 2, including the simply transitive ones.
We find 34 inequivalent terminal branches yielding each to a nonempty moduli space of homogeneous models of hypersurfaces S^3 in R^4, sometimes parametrized by a certain complicated algebraic variety, especially for the 15 (over 34) families of m…
▽ More
We determine all affinely homogeneous hypersurfaces S^3 in R^4 whose Hessian is (invariantly) of constant rank 2, including the simply transitive ones.
We find 34 inequivalent terminal branches yielding each to a nonempty moduli space of homogeneous models of hypersurfaces S^3 in R^4, sometimes parametrized by a certain complicated algebraic variety, especially for the 15 (over 34) families of models which are simply transitive.
We employ the power series method of equivalence, which captures invariants at the origin, creates branches, and infinitesimalizes calculations.
In Lie's original classification spirit, we describe the found homogeneous models by listing explicit Lie algebras of infinitesimal transformations, sometimes parametrized by absolute invariants satisfying certain algebraic equations.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
On Affinely Homogeneous Submanifolds: The Power Series Method of Equivalence
Authors:
Julien Heyd,
Joel Merker
Abstract:
We determine all affinely homogeneous models for surfaces $S^2 \subset \mathbb{R}^4$, including the simply transitive models. We employ an improved power series method of equivalence, which captures invariants at the origin, creates branches, and infinitesimalizes calculations. We find several inequivalent terminal branches yielding each to some nonempty moduli space of homogeneous models, sometim…
▽ More
We determine all affinely homogeneous models for surfaces $S^2 \subset \mathbb{R}^4$, including the simply transitive models. We employ an improved power series method of equivalence, which captures invariants at the origin, creates branches, and infinitesimalizes calculations. We find several inequivalent terminal branches yielding each to some nonempty moduli space of homogeneous models, sometimes parametrized by a certain invariant algebraic variety. Three main features may be emphasized: 1) Iterated single-pointed jet bundles; 2) Cartan-enhanced power series method of equivalence; 3) Constant ping-pong between normal forms (nf) and vector fields (vf).
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Normal Forms of second order Ordinary Differential Equations $y_{xx}=J(x,y,y_{x})$ under Fibre-Preserving Maps
Authors:
Wei Guo Foo,
Julien Heyd,
Joël Merker
Abstract:
We study the equivalence problem of classifying second order ordinary differential equations $y_{xx}=J(x,y,y_{x})$ modulo fibre-preserving point transformations $x\longmapsto \varphi(x)$, $y\longmapsto ψ(x,y)$ by using Moser's method of normal forms. We first compute a basis of the Lie algebra ${\frak{g}}_{{\{y_{xx}=0\}}}$ of fibre-preserving symmetries of $y_{xx}=0$. In the formal theory of Moser…
▽ More
We study the equivalence problem of classifying second order ordinary differential equations $y_{xx}=J(x,y,y_{x})$ modulo fibre-preserving point transformations $x\longmapsto \varphi(x)$, $y\longmapsto ψ(x,y)$ by using Moser's method of normal forms. We first compute a basis of the Lie algebra ${\frak{g}}_{{\{y_{xx}=0\}}}$ of fibre-preserving symmetries of $y_{xx}=0$. In the formal theory of Moser's method, this Lie algebra is used to give an explicit description of the set of normal forms $\mathcal{N}$, and we show that the set is an ideal in the space of formal power series. We then show the existence of the normal forms by studying flows of suitable vector fields with appropriate corrections by the Cauchy-Kovalevskaya theorem. As an application, we show how normal forms can be used to prove that the identical vanishing of Hsu-Kamran primary invariants directly imply that the second order differential equation is fibre-preserving point equivalent to $y_{xx}=0$.
△ Less
Submitted 5 September, 2021;
originally announced September 2021.
