-
Global sections of the positively twisted Green-Griffiths bundles
Authors:
Victor Chen,
Joel Merker
Abstract:
With various jet orders $k$ and weights $n$, let $E_{k,n}^{\rm GG}$ be the Green-Griffiths bundles over the projective space $\mathbb{P}^N (\mathbb{C})$. Denote by $\mathcal{O} (d)$ the tautological line bundle over $\mathbb{P}^N (\mathbb{C})$.
Although only negative twists are of interest for applications to complex hyperbolicity (above general type projective submanifolds…
▽ More
With various jet orders $k$ and weights $n$, let $E_{k,n}^{\rm GG}$ be the Green-Griffiths bundles over the projective space $\mathbb{P}^N (\mathbb{C})$. Denote by $\mathcal{O} (d)$ the tautological line bundle over $\mathbb{P}^N (\mathbb{C})$.
Although only negative twists are of interest for applications to complex hyperbolicity (above general type projective submanifolds $Y \subset \mathbb{P}^N (\mathbb{C})$), it is known that the positive twists $E_{k,n}^{\rm GG} \otimes \mathcal{O} (d)$ enjoy nontrivial global sections.
In this article, we establish that for every $d \geqslant 1$ and for every jet order $k \geqslant d-1$: \[ \dim\, H^0 \bigg( \mathbb{P}^N,\,\, \bigoplus_{n=1}^{\infty} E_{k, n}^{\text{GG}} \otimes \mathcal{O}(d) \bigg) =
(N+1)^d. \]
This theorem is actually a corollary of a recent work of Etesse, devoted to a proof, from the point of view of differentially homogeneous polynomials, of the so-called Schmidt-Kolchin-Reinhart conjecture, by means of (advanced) Representation Theory. As Etesse discovered a (simple) tight link with the Green-Griffiths bundles, both statements are in fact equivalent.
Our objective is to set up an alternative proof of the above precise dimension estimate, from the Green-Griffiths point of view (only). More precisely, we find an explicit description of all concerned global sections. Our arguments are elementary, and use only determinants, linear algebra, monomial orderings.
One old hope is to discover some explicit formulas for global sections of negatively twisted Green-Griffiths bundles over projective general type submanifolds $Y \subset \mathbb{P}^N (\mathbb{C})$, a problem still open.
△ Less
Submitted 16 October, 2024;
originally announced October 2024.
-
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.
-
Infinitesimal CR Symmetries of Accidental CR Structures
Authors:
C. Denson Hill,
Joël Merker,
Zhaohu Nie,
Paweł Nurowski
Abstract:
In this companion paper to our article {\em Accidental CR structures} (arxiv.org, January 2023), thought of as an appendix not submitted for publication, we provide complete explicit lists of infinitesimal CR automorphisms for the concerned CR models having respective Lie algebra structures: $${\bf E}_{II}, \qquad\ {\bf E}_{III}, \qquad\ \mathfrak{so}(\ell-1,\ell+1), \qquad\ \mathfrak{su}(p,q).$$…
▽ More
In this companion paper to our article {\em Accidental CR structures} (arxiv.org, January 2023), thought of as an appendix not submitted for publication, we provide complete explicit lists of infinitesimal CR automorphisms for the concerned CR models having respective Lie algebra structures: $${\bf E}_{II}, \qquad\ {\bf E}_{III}, \qquad\ \mathfrak{so}(\ell-1,\ell+1), \qquad\ \mathfrak{su}(p,q).$$ We start from our lists of {\em quadric} CR submanifolds $M^{2n+c} \subset \mathbb{C}^{n+c}$ of codimension $c >1$ which are shown to be {\em accidental}, in the sense that their CR symmetry groups are {\em equal to} (and not smaller than) the symmetry groups of the underlying real distribution structures -- after forgetting the complex structure. Thanks to intensive symbolic computer explorations, we then determine embedded vector field generators of these CR symmetries Lie algebras, and we express them in {\em extrinsic} holomorphic coordinates, because intrinsic formulas would be too extended to be shown.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Accidental CR structures
Authors:
C. Denson Hill,
Joël Merker,
Zhaohu Nie,
Paweł Nurowski
Abstract:
We noticed a discrepancy between Élie Cartan and Sigurdur Helgason about the lowest possible dimension in which the simple exceptional Lie group ${\bf E}_8$ can be realized. This raised the question about the lowest dimensions in which various real forms of the exceptional groups ${\bf E}_\ell$ can be realized. Cartan claims that ${\bf E}_6$ can be realized in dimension 16. However Cartan refers t…
▽ More
We noticed a discrepancy between Élie Cartan and Sigurdur Helgason about the lowest possible dimension in which the simple exceptional Lie group ${\bf E}_8$ can be realized. This raised the question about the lowest dimensions in which various real forms of the exceptional groups ${\bf E}_\ell$ can be realized. Cartan claims that ${\bf E}_6$ can be realized in dimension 16. However Cartan refers to the complex group ${\bf E}_6$, or its split real form $E_I$. His claim is also valid in the case of the real form denoted by $E_{IV}$. We find however that the real forms $E_{II}$ and $E_{III}$ of ${\bf E}_6$ can not be realized in dimension 16 à la Cartan. In this paper we realize them in dimension 24 as groups of CR automorphisms of certain CR structures of higher codimension.
As a byproduct of these two realizations, we provide a full list of CR structures $(M,H,J)$ and their CR embeddings in an appropriate ${\bf C}^N$, which satisfy the following conditions:
(1) they have real codimension $k>1$,
(2) the real vector distribution $H$ proper for the action of the complex structure $J$ is such that $[H,H]+H=TM$,
(3) the local group $G_J$ of CR automorphisms of the structure $(M,H,J)$ is simple, acts transitively on $M$ and has isotropy $P$ being a parabolic subgroup in $G_J$,
(4) the local symmetry group $G$ of the vector distribution $H$ on $M$ coincides with the group $G_J$ of CR automorphisms of $(M,H,J)$. Because all the CR structures from our list satisfy the last property we call them accidental. Our CR structures of higher codimension with the exceptional symmetries $E_{II}$ and $E_{III}$ are particular entries in this list.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Classification of Hessian Rank 1 Affinely Homogeneous Hypersurfaces H^n in R^{n+1} in Dimensions n = 2, 3, 4
Authors:
Joel Merker
Abstract:
In a previous memoir 2202.03030, we showed that in every dimension $n \geq 5$, there exists (unexpectedly) no affinely homogeneous hypersurface $H^n \subset \mathbb{R}^{n+1}$ having Hessian of constant rank 1 (and not being affinely equivalent to a product with $\mathbb{R}^{m \geqslant 1}$). The present work is devoted to determine all non-product constant Hessian rank 1 affinely homogeneous hyper…
▽ More
In a previous memoir 2202.03030, we showed that in every dimension $n \geq 5$, there exists (unexpectedly) no affinely homogeneous hypersurface $H^n \subset \mathbb{R}^{n+1}$ having Hessian of constant rank 1 (and not being affinely equivalent to a product with $\mathbb{R}^{m \geqslant 1}$). The present work is devoted to determine all non-product constant Hessian rank 1 affinely homogeneous hypersurfaces $H^n \subset \mathbb{R}^{n+1}$ in dimensions $n = 2, 3, 4$, the cases $n = 1, 2$ being known. With complete details in the case $n = 2$, we illustrate the main features of what can be termed the "Power Series Method of Equivalence". The gist is to capture invariants at the origin only, to create branches, and to infinitesimalize calculations. In dimension $n = 3$, we find a single homogeneous model: \[ u \,=\, \frac{1}{3\,z^2} \Big\{ \big( 1-2\,y+y^2-2\,xz \big)^{3/2} - (1-y)\, \big( 1-2\,y+y^2-3\,xz \big) \Big\}, \] the singularity $\frac{1}{3z^2}$ being illusory. In dimension $n = 4$, without reaching closed forms, we find two simply homogeneous models, differing by some $\pm$ sign.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Inexistence of Non-Product Hessian Rank 1 Affinely Homogeneous Hypersurfaces $H^n$ in $\mathbb{R}^{n+1}$ in Dimension $n \geqslant 5$
Authors:
Joel Merker
Abstract:
Equivalences under the affine group ${\rm Aff} (\mathbb{R}^3)$ of constant Hessian rank $1$ surfaces $S^2 \subset \mathbb{R}^3$, sometimes called parabolic, were, among other objects, studied by Doubrov, Komrakov, Rabinovich, Eastwood, Ezhov, Olver, Chen, Merker, Arnaldsson, Valiquette. Especially, homogeneous models and algebras of differential invariants in various branches have been fully under…
▽ More
Equivalences under the affine group ${\rm Aff} (\mathbb{R}^3)$ of constant Hessian rank $1$ surfaces $S^2 \subset \mathbb{R}^3$, sometimes called parabolic, were, among other objects, studied by Doubrov, Komrakov, Rabinovich, Eastwood, Ezhov, Olver, Chen, Merker, Arnaldsson, Valiquette. Especially, homogeneous models and algebras of differential invariants in various branches have been fully understood.
Then what about higher dimensions? We consider hypersurfaces $H^n \subset \mathbb{R}^{n+1}$ graphed as $\{ u = F(x_1, \dots, x_n) \}$ whose Hessian matrix $(F_{x_i x_j})$, a relative affine invariant, is, similarly, of constant rank $1$. Are there homogeneous models?
Complete explorations were done by the author on a computer in dimensions $n = 2, 3, 4, 5, 6, 7$. The first, expected outcome, was to obtain a complete classification of homogeneous models in dimensions $n = 2, 3, 4$ (forthcoming article, case $n = 2$ already known). The second, unexpected outcome, was that in dimensions $n = 5, 6, 7$, there are no affinely homogenous models!
(Except those that are affinely equivalent to a product of $\mathbb{R}^m$ with a homogeneous model in dimensions $2, 3, 4$.)
The present article establishes such a non-existence result in every dimension $n \geqslant 5$, based on the production of a normal form for $\{ u = F(x_1, \dots, x_n) \}$ under ${\rm Aff} (\mathbb{R}^{n+1})$, up to order $\leqslant n+5$, valid in any dimension $n \geqslant 2$.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
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.
-
Homogeneous C21 Models
Authors:
Wei-Guo Foo,
Joel Merker,
Pawel Nurowski,
The-Anh Ta
Abstract:
Fels-Kaup (Acta Mathematica 2008) classified homogeneous $\mathfrak{C}_{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$ and discovered that they are all biholomorphic to tubes $S^2 \times i \mathbb{R}^3$ over some affinely homogeneous surface $S^2 \subset \mathbb{R}^3$. The second and third authors in 2003.08166, by performing highly non-straightforward calculations, conducted the Cartan method of…
▽ More
Fels-Kaup (Acta Mathematica 2008) classified homogeneous $\mathfrak{C}_{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$ and discovered that they are all biholomorphic to tubes $S^2 \times i \mathbb{R}^3$ over some affinely homogeneous surface $S^2 \subset \mathbb{R}^3$. The second and third authors in 2003.08166, by performing highly non-straightforward calculations, conducted the Cartan method of equivalence to classify homogeneous models of PDE systems related to such $\mathfrak{C}^{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$. Kolar-Kossovskiy 1905.05629 and the authors 2003.01952 constructed a formal and a convergent Poincaré-Moser normal form for $\mathfrak{C}_{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$. But this was only a first, preliminary step. Indeed, the invariant branching tree underlying Fels-Kaup's classification was still missing in the literature, due to computational obstacles. The present work applies the power series method of equivalence, confirms Fels-Kaup 2008, and finds a differential-invariant tree. To terminate the middle (thickest) branch, it is necessary to compute up to order $10$ with $5$ variables. Again, calculations, done by hand, are non-straightforward.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Equivalences of PDE systems associated to degenerate para-CR Structures: foundational aspects
Authors:
Joel Merker
Abstract:
Let $K = R$ or $C$. We study basic invariants of submanifolds of solutions $\mathcal{M} = \{ y = Q(x,a,b)\} = \{b = P(a,x,y)\}$ in coordinates $x \in K^{n\geqslant 1}$, $y \in K$, $a \in K^{m\geqslant 1}$, $b \in K$ under split-diffeomorphisms $(x,y,a,b) \,\longmapsto\, \big( f(x,y),\,g(x,y),\,\varphi(a,b),\,ψ(a,b) \big)$. Two Levi forms exist, and have the same rank $r \leqslant \min (n,m)$. If…
▽ More
Let $K = R$ or $C$. We study basic invariants of submanifolds of solutions $\mathcal{M} = \{ y = Q(x,a,b)\} = \{b = P(a,x,y)\}$ in coordinates $x \in K^{n\geqslant 1}$, $y \in K$, $a \in K^{m\geqslant 1}$, $b \in K$ under split-diffeomorphisms $(x,y,a,b) \,\longmapsto\, \big( f(x,y),\,g(x,y),\,\varphi(a,b),\,ψ(a,b) \big)$. Two Levi forms exist, and have the same rank $r \leqslant \min (n,m)$. If $\mathcal{M}$ is $k$-nondegenerate with respect to parameters and $l$-nondegenerate with respect to variables, $\mbox{Aut}(\mathcal{M})$ is a local Lie group of dimension: \[ \dim\, \mbox{Aut} (\mathcal{M}) \,\,\leqslant\,\, {\textstyle{\binom{n+1+2k+2l}{2k+2l}}}\,\, \min\, \big\{ (n+1),\, (m+1) \big\}. \] Mainly, our goal is to set up foundational material addressed to CR geometers. We focus on $n = m = 2$, assuming $r = 1$. In coordinates $(x,y,z, a,b,c)$, a local equation is: \[ z \,=\, c + xa + β\,xxb + \underlineβ\,yaa + c\,{\rm O}_{x,y,a,b}(2) + {\rm O}_{x,y,a,b,c}(4), \] with $β$ and $\underlineβ$ representing the two $2$-nondegeneracy invariants at $0$. The associated para-CR PDE system: \[ z_y \,=\, \big(x,y,z,z_x,z_{xx}\big) \ \ \ \ \ \ \ \ \ \ \ \ \ \& \ \ \ \ \ \ \ \ \ \ \ \ \ z_{xxx} \,=\, H\big(x,y,z,z_x,z_{xx}\big), \] satisfies $F_{z_{xx}} \equiv 0$ from Levi degeneracy. We show in details that the hypothesis of $2$-nondegeneracy with respect to variables is equivalent to $F_{z_x z_x} \neq 0$. This gives CR-geometric meaning to the first two para-CR relative differential invariants encountered independently in arXiv:2003.08166 .
△ Less
Submitted 3 November, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Classification of simply-transitive Levi non-degenerate hypersurfaces in $\mathbb{C}^3$
Authors:
Boris Doubrov,
Joël Merker,
Dennis The
Abstract:
Holomorphically homogeneous CR real hypersurfaces $M^3 \subset \mathbb{C}^2$ were classified by Élie Cartan in 1932. In the next dimension, we complete the classification of simply-transitive Levi non-degenerate hypersurfaces $M^5 \subset \mathbb{C}^3$ using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordina…
▽ More
Holomorphically homogeneous CR real hypersurfaces $M^3 \subset \mathbb{C}^2$ were classified by Élie Cartan in 1932. In the next dimension, we complete the classification of simply-transitive Levi non-degenerate hypersurfaces $M^5 \subset \mathbb{C}^3$ using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordinate-free formula for the fundamental (complexified) quartic tensor. Our final result has a unique (Levi-indefinite) non-tubular model, for which we demonstrate geometric relations to planar equi-affine geometry.
△ Less
Submitted 8 May, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Affine Homogeneous Surfaces with Hessian rank 2 and Algebras of Differential Invariants
Authors:
Zhangchi Chen,
Joël Merker
Abstract:
Consider a graphed holomorphic surface $u=F(x,y)$ in $\mathbb{C}^3_{x,y,u}$ under the action of the affine transformation group $A(3)$. In 1999, Eastwood and Ezhov obtained a list of homogeneous models by determining possible tangential vector fields. Inspired by Olver's recurrence formulas, we study the algebra of $A(3)$ differential invariants of surfaces. We obtain necessary conditions for homo…
▽ More
Consider a graphed holomorphic surface $u=F(x,y)$ in $\mathbb{C}^3_{x,y,u}$ under the action of the affine transformation group $A(3)$. In 1999, Eastwood and Ezhov obtained a list of homogeneous models by determining possible tangential vector fields. Inspired by Olver's recurrence formulas, we study the algebra of $A(3)$ differential invariants of surfaces. We obtain necessary conditions for homogeneity of algebraic nature. Solving these conditions, we organise homogeneous models in inequivalent branches.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Five-dimensional para-CR manifolds and contact projective geometry in dimension three
Authors:
Joel Merker,
Pawel Nurowski
Abstract:
We study invariant properties of $5$-dimensional para-CR structures whose Levi form is degenerate in precisely one direction and which are $2$-nondegenerate. We realize that two, out of three, primary (basic) para-CR invariants of such structures are the classical differential invariants known to Monge (1810) and to Wuenschmann (1905) \[ M(G) := 40G_{ppp}^3-45G_{pp}G_{ppp}G_{pppp}+9G_{pp}^2G_{pppp…
▽ More
We study invariant properties of $5$-dimensional para-CR structures whose Levi form is degenerate in precisely one direction and which are $2$-nondegenerate. We realize that two, out of three, primary (basic) para-CR invariants of such structures are the classical differential invariants known to Monge (1810) and to Wuenschmann (1905) \[ M(G) := 40G_{ppp}^3-45G_{pp}G_{ppp}G_{pppp}+9G_{pp}^2G_{ppppp}, \quad W(H) := 9D^2H_r-27DH_p-18H_rDH_r+18H_pH_r+4H_r^3+54H_z. \] The vanishing $M(G) \equiv 0$ provides a local necessary and sufficient condition for the graph of a function in the $(p,G)$-plane to be contained in a conic, while the vanishing $W(H) \equiv 0$ gives an if-and-only-if condition for a 3rd order ODE to define a natural Lorentzian geometry on the space of its solutions.
Mainly, we give a geometric interpretation of the third basic invariant of our class of para-CR structures, the simplest one, of lowest order, and of mixed nature $N(G,H):=2G_{ppp}+G_{pp}H_{rr}$. We establish that the vanishing $N(G,H) \equiv 0$ gives an if-and-only-if condition for the two $3$-dimensional quotients of the para-CR manifold by its two canonical integrable rank-$2$ distributions, to be equipped with contact projective geometries. A curious transformation between the Wuenschmann invariant and the Monge invariant, first noted by us in arXiv:2003.08166, is also discussed, and its mysteries are further revealed.
△ Less
Submitted 28 June, 2020;
originally announced June 2020.
-
On degenerate para-CR structures: Cartan reduction and homogeneous models
Authors:
Joel Merker,
Pawel Nurowski
Abstract:
Motivated by recent works in Levi degenerate CR geometry, this article endeavours to study the wider and more flexible para-CR structures for which the constraint of invariancy under complex conjugation is relaxed. We consider $5$-dimensional para-CR structures whose Levi forms are of constant rank $1$ and that are $2$-nondegenerate both with respect to parameters and to variables. Eliminating par…
▽ More
Motivated by recent works in Levi degenerate CR geometry, this article endeavours to study the wider and more flexible para-CR structures for which the constraint of invariancy under complex conjugation is relaxed. We consider $5$-dimensional para-CR structures whose Levi forms are of constant rank $1$ and that are $2$-nondegenerate both with respect to parameters and to variables. Eliminating parameters, such structures may be represented modulo point transformations by pairs of PDEs $z_y=F(x, y, z, z_x)$ $\,\,\&\,\,$ $z_{xxx}=H(x,y,z,z_x,z_{xx})$, with $F$ independent of $z_{xx}$ and $F_{z_xz_x} \neq 0$, that are completely integrable $D_x^3 F=Δ_y H$,
Performing at an advanced level Cartan's method of equivalence, we determine all concerned homogeneous models, together with their symmetries:
(i) $z_y=\tfrac14 (z_x)^2\quad \&\quad z_{xxx}=0$;
(ii) $z_y=\tfrac14 (z_x)^2\quad \& \quad z_{xxx}=(z_{xx})^3$;
(iiia) $z_y=\tfrac14 (z_x)^b\,\, \& \,\,z_{xxx} = (2-b)\frac{(z_{xx})^2}{z_x}$ with $z_x>0$ for any real $b\in[1,2)$;
(iiib) $z_y = f(z_x)\quad \& \quad z_{xxx}=h(z_x)\big(z_{xx}\big)^2$, where the function $f$ is determined by the implicit equation: \[ (z_x^2+f(z_x)^2)\, \mathrm{exp} \left( 2b\,\mathrm{arctan}\tfrac{bz_x-f(z_x)}{z_x+bf(z_x)} \right) = 1+b^2 \] and where: \[ h(z_x) := \frac{(b^2-3)z_x-4bf(z_x)}{(f(z_x)-bz_x)^2}, \] for any real $b>0$.
△ Less
Submitted 15 April, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Philosophical Reflections on Intrinsic Differential Geometry around the Gauss-Bonnet Theorem
Authors:
Joel Merker,
Jean-Jacques Szczeciniarz
Abstract:
The statement of the Gauss-Bonnet theorem brings up an unexpected form of reflexivity (major concept of philosophy of mathematics), so that geometry contemplates itself in it. It is therefore the revolutionary and multifaceted concept of Gaussian curvature that triggers a new conceptuality above Euclidean geometry. Here, the equality between integral of total curvature and Euler characteristic ind…
▽ More
The statement of the Gauss-Bonnet theorem brings up an unexpected form of reflexivity (major concept of philosophy of mathematics), so that geometry contemplates itself in it. It is therefore the revolutionary and multifaceted concept of Gaussian curvature that triggers a new conceptuality above Euclidean geometry. Here, the equality between integral of total curvature and Euler characteristic indicates that a concept of topological nature is equal to a number which expresses a concept of geometric nature. This further demonstrates that mathematics develops through the intervention of different disciplines on top of each other, as observation tools, formal structuring, new unifying points of view.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
On Convergent Poincaré-Moser Reduction for Levi Degenerate Embedded $5$-Dimensional CR Manifolds
Authors:
Wei Guo Foo,
Joel Merker,
The-Anh Ta
Abstract:
Applying Lie's theory, we show that any $\mathcal{C}^ω$ hypersurface $M^5 \subset \mathbb{C}^3$ in the class $\mathfrak{C}_{2,1}$ carries Cartan-Moser chains of orders $1$ and $2$.
Integrating and straightening any order $2$ chain at any point $p \in M$ to be the $v$-axis in coordinates $(z, ζ, w = u + i\, v)$ centered at $p$, we show that there exists a (unique up to 5 parameters) convergent ch…
▽ More
Applying Lie's theory, we show that any $\mathcal{C}^ω$ hypersurface $M^5 \subset \mathbb{C}^3$ in the class $\mathfrak{C}_{2,1}$ carries Cartan-Moser chains of orders $1$ and $2$.
Integrating and straightening any order $2$ chain at any point $p \in M$ to be the $v$-axis in coordinates $(z, ζ, w = u + i\, v)$ centered at $p$, we show that there exists a (unique up to 5 parameters) convergent change of complex coordinates fixing the origin in which $γ$ is the $v$-axis so that $M = \{u=F(z,ζ,\overline{z},\overlineζ,v)\}$ has Poincaré-Moser reduced equation: \begin{align} u & = z\overline{z} + \tfrac{1}{2}\,\overline{z}^2ζ+ \tfrac{1}{2}\,z^2\overlineζ + z\overline{z}ζ\overlineζ + \tfrac{1}{2}\,\overline{z}^2ζζ\overlineζ + \tfrac{1}{2}\,z^2\overlineζζ\overlineζ + z\overline{z}ζ\overlineζζ\overlineζ \\ & + 2{\rm Re} \{ z^3\overlineζ^2 F_{3,0,0,2}(v) + ζ\overlineζ ( 3\,{z}^2\overline{z}\overlineζ F_{3,0,0,2}(v) ) \} \\ & + 2{\rm Re} \{ z^5\overlineζ F_{5,0,0,1}(v) + z^4\overlineζ^2 F_{4,0,0,2}(v) + z^3\overline{z}^2\overlineζ F_{3,0,2,1}(v) + z^3\overline{z}\overlineζ^2 F_{3,0,1,2}(v) + z^3{\overlineζ}^3 F_{3,0,0,3}(v) \} \\ & + z^3\overline{z}^3 {\rm O}_{z,\overline{z}}(1) + 2{\rm Re} ( \overline{z}^3ζ{\rm O}_{z,ζ,\overline{z}}(3) ) + ζ\overlineζ\, {\rm O}_{z,ζ,\overline{z},\overlineζ}(5). \end{align}
The values at the origin of Pocchiola's two primary invariants are: \[ W_0 = 4\overline{F_{3,0,0,2}(0)}, \quad\quad J_0 = 20\, F_{5,0,0,1}(0). \]
The proofs are detailed, accessible to non-experts. The computer-generated aspects (upcoming) have been reduced to a minimum.
△ Less
Submitted 16 December, 2021; v1 submitted 4 March, 2020;
originally announced March 2020.
-
A Lie-theoretic Construction of Cartan-Moser Chains
Authors:
Joel Merker
Abstract:
Let $M^3 \subset \mathbb{C}^2$ be a $\mathcal{C}^ω$ Levi nondegenerate hypersurface. In the literature, Cartan-Moser chains are detected from rather advanced considerations: either from the construction of a Cartan connection associated with the CR equivalence problem; or from the construction of a formal or converging Poincaré-Moser normal form.
This note provides an alternative direct elementa…
▽ More
Let $M^3 \subset \mathbb{C}^2$ be a $\mathcal{C}^ω$ Levi nondegenerate hypersurface. In the literature, Cartan-Moser chains are detected from rather advanced considerations: either from the construction of a Cartan connection associated with the CR equivalence problem; or from the construction of a formal or converging Poincaré-Moser normal form.
This note provides an alternative direct elementary construction, based on the inspection of the Lie prolongations of $5$ infinitesimal holomorphic automorphisms to the space of second order jets of CR-transversal curves. Within the $4$-dimensional jet fiber, the orbits of these $5$ prolonged fields happen to have a simple cubic $2$-dimensional degenerate exceptional orbit, the chain locus: \[ Σ_0 \,:=\, \big\{ (x_1,y_1,x_2,y_2) \in \mathbb{R}^4 \colon\,\, x_2 = -2x_1^2y_1-2y_1^3,\,\,\, y_2 = 2x_1y_1^2 + 2x_1^3 \big\}. \] By plain translations, we may capture all points by working only at one point, the origin, and computations, although conceptually enlightening, become disappointingly simple.
△ Less
Submitted 8 July, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Normal Forms for Rigid $\mathfrak{C}_{2,1}$ Hypersurfaces $M^5 \subset \mathbb{C}^3$
Authors:
Zhangchi Chen,
Wei-Guo Foo,
Joel Merker,
The-Anh Ta
Abstract:
Consider a $2$-nondegenerate constant Levi rank $1$ rigid $\mathcal{C}^ω$ hypersurface $M^5 \subset \mathbb{C}^3$ in coordinates $(z, ζ, w = u + iv)$: \[ u = F\big(z,ζ,\bar{z},\barζ\big). \] The Gaussier-Merker model $u=\frac{z\bar{z}+ \frac{1}{2}z^2\barζ+\frac{1}{2} \bar{z}^2 ζ}{1-ζ\barζ}$ was shown by Fels-Kaup 2007 to be locally CR-equivalent to the light cone $\{x_1^2+x_2^2-x_3^2=0\}$. Another…
▽ More
Consider a $2$-nondegenerate constant Levi rank $1$ rigid $\mathcal{C}^ω$ hypersurface $M^5 \subset \mathbb{C}^3$ in coordinates $(z, ζ, w = u + iv)$: \[ u = F\big(z,ζ,\bar{z},\barζ\big). \] The Gaussier-Merker model $u=\frac{z\bar{z}+ \frac{1}{2}z^2\barζ+\frac{1}{2} \bar{z}^2 ζ}{1-ζ\barζ}$ was shown by Fels-Kaup 2007 to be locally CR-equivalent to the light cone $\{x_1^2+x_2^2-x_3^2=0\}$. Another representation is the tube $u=\frac{x^2}{1-y}$.
Inspired by Alexander Isaev, we study rigid biholomorphisms: \[ (z,ζ,w) \longmapsto \big( f(z,ζ), g(z,ζ), ρ\,w+h(z,ζ) \big) =: (z',ζ',w'). \] The G-M model has 7-dimensional rigid automorphisms group.
A Cartan-type reduction to an e-structure was done by Foo-Merker-Ta in 1904.02562. Three relative invariants appeared: $V_0$, $I_0$ (primary) and $Q_0$ (derived). In Pocchiola's formalism, Section 8 provides a finalized expression for $Q_0$.
The goal is to establish the Poincaré-Moser complete normal form: \[ u = \frac{z\bar{z}+\frac{1}{2}\,z^2\barζ +\frac{1}{2}\,\bar{z}^2ζ}{ 1-ζ\barζ} + \sum_{a,b,c,d \atop a+c\geqslant 3}\, G_{a,b,c,d}\, z^aζ^b\bar{z}^c\barζ^d, \] with $0 = G_{a,b,0,0} = G_{a,b,1,0} = G_{a,b,2,0}$ and $0 = G_{3,0,0,1} = {\rm Im}\, G_{3,0,1,1}$.
We apply the method of Chen-Merker 1908.07867 to catch (relative) invariants at every point, not only at the central point, as the coefficients $G_{0,1,4,0}$, $G_{0, 2, 3, 0}$, ${\rm Re} G_{3,0,1,1}$. With this, a brige Poincaré $\longleftrightarrow$ Cartan is constructed.
In terms of $F$, the numerators of $V_0$, $I_0$, $Q_0$ incorporate 11, 52, 824 differential monomials.
△ Less
Submitted 6 January, 2020; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Holomorphic immersions of bi-disks into $9$ dimensional real hypersurfaces with Levi signature $(2, 2)$
Authors:
Wei Guo Foo,
Joel Merker
Abstract:
Inspired by an article of R. Bryant on holomorphic immersions of unit disks into Lorentzian CR manifolds, we discuss the application of Cartan's method to the question of the existence of bi-disk $\mathbb{D}^{2}$ in a smooth $9$-dimensional real analytic real hypersurface $M^{9}\subset\mathbb{C}^{5}$ with Levi signature $(2,2)$ passing through a fixed point. The result is that the lift to…
▽ More
Inspired by an article of R. Bryant on holomorphic immersions of unit disks into Lorentzian CR manifolds, we discuss the application of Cartan's method to the question of the existence of bi-disk $\mathbb{D}^{2}$ in a smooth $9$-dimensional real analytic real hypersurface $M^{9}\subset\mathbb{C}^{5}$ with Levi signature $(2,2)$ passing through a fixed point. The result is that the lift to $M^{9}\times U(2)$ of the image of the bi-disk in $M^{9}$ must lie in the zero set of two complex-valued functions in $M^{9}\times U(2)$. We then provide an example where one of the functions does not identically vanish, thus obstructing holomorphic immersions.
△ Less
Submitted 22 September, 2020; v1 submitted 22 August, 2019;
originally announced August 2019.
-
On Differential Invariants of Parabolic Surfaces
Authors:
Zhangchi Chen,
Joël Merker
Abstract:
The algebra of differential invariants under $SA_3(\mathbb{R})$ of generic parabolic surfaces $S^2 \subset \mathbb{R}^3$ with nonvanishing Pocchiola $4^{\text{th}}$ invariant $W$ is shown to be generated, through invariant differentiations, by only one other invariant, $M$, of order $5$, having $57$ differential monomials. The proof is based on Fels-Olver's recurrence formulas, pulled back to the…
▽ More
The algebra of differential invariants under $SA_3(\mathbb{R})$ of generic parabolic surfaces $S^2 \subset \mathbb{R}^3$ with nonvanishing Pocchiola $4^{\text{th}}$ invariant $W$ is shown to be generated, through invariant differentiations, by only one other invariant, $M$, of order $5$, having $57$ differential monomials. The proof is based on Fels-Olver's recurrence formulas, pulled back to the parabolic jet bundles.
△ Less
Submitted 30 July, 2020; v1 submitted 21 August, 2019;
originally announced August 2019.
-
New Explicit Lorentzian Einstein-Weyl Structures in 3-Dimensions
Authors:
Joël Merker,
Paweł Nurowski
Abstract:
On a $3$D manifold, a Weyl geometry consists of pairs $(g, A) =$ (metric, $1$-form) modulo gauge $\widehat{g} = {\rm e}^{2\varphi} g$, $\widehat{A} = A + {\rm d}\varphi$. In 1943, Cartan showed that every solution to the Einstein-Weyl equations $R_{(μν)} - \frac{1}{3} R g_{μν} = 0$ comes from an appropriate $3$D leaf space quotient of a $7$D connection bundle associated with a 3$^{\rm rd}$ order O…
▽ More
On a $3$D manifold, a Weyl geometry consists of pairs $(g, A) =$ (metric, $1$-form) modulo gauge $\widehat{g} = {\rm e}^{2\varphi} g$, $\widehat{A} = A + {\rm d}\varphi$. In 1943, Cartan showed that every solution to the Einstein-Weyl equations $R_{(μν)} - \frac{1}{3} R g_{μν} = 0$ comes from an appropriate $3$D leaf space quotient of a $7$D connection bundle associated with a 3$^{\rm rd}$ order ODE $y''' = H(x,y,y',y'')$ modulo point transformations, provided $2$ among $3$ primary point invariants vanish $$ \text{Wünschmann}(H) \equiv 0\equiv \text{Cartan}(H). $$We find that point equivalence of a single PDE $z_y = F(x,y,z,z_x)$ with para-CR integrability $DF := F_x + z_x F_z \equiv 0$ leads to a completely similar $7$D Cartan bundle and connection. Then magically, the (complicated) equation $\text{Wünschmann}(H) \equiv 0$ becomes $$0\equiv\text{Monge}(F):=9F_{pp}^2F_{ppppp}-45F_{pp}F_{ppp}F_{pppp}+40F_{ppp}^3,\qquad p:=z_x, $$ whose solutions are just conics in the $\{p, F\}$-plane. As an ansatz, we take $$F(x,y,z,p):= \frac{α(y)(z-xp)^2+β(y)(z-xp)p+γ(y)(z-xp) +δ(y)p^2+\varepsilon(y)p+ζ(y)}{λ(y)(z-xp)+μ(y) p+ν(y)}, $$ with $9$ arbitrary functions $α, \dots, ν$ of $y$. This $F$ satisfies $DF \equiv 0 \equiv \text{Monge}(F)$, and we show that the condition $\text{Cartan}(H) \equiv 0 $ passes to a certain $\boldsymbol{K}(F) \equiv 0$ which holds for any choice of $α(y), \dots, ν(y)$. Descending to the leaf space quotient, we gain $\infty$-dimensional functionally parametrized and explicit families of Einstein-Weyl structures $\big[ (g, A) \big]$ in $3$D. These structures are nontrivial in the sense that ${\rm d}A \not\equiv 0$ and $\text{Cotton}([g]) \not \equiv 0$.
△ Less
Submitted 17 June, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Nonvanishing of Cartan CR curvature on boundaries of Grauert tubes around hyperbolic surfaces
Authors:
Wei Guo Foo,
Joel Merker,
The-Anh Ta
Abstract:
We show that the boundaries of thin strongly pseudoconvex Grauert tubes, with respect to the Guillemin-Stenzel Kähler metric canonically associated with the Poincaré metric on closed hyperbolic real-analytic surfaces, has nowhere vanishing Cartan CR-curvature. This result provides a wealth of examples of compact $3$-dimensional Levi nondegenerate CR manifolds having no CR-umbilical point.
We pro…
▽ More
We show that the boundaries of thin strongly pseudoconvex Grauert tubes, with respect to the Guillemin-Stenzel Kähler metric canonically associated with the Poincaré metric on closed hyperbolic real-analytic surfaces, has nowhere vanishing Cartan CR-curvature. This result provides a wealth of examples of compact $3$-dimensional Levi nondegenerate CR manifolds having no CR-umbilical point.
We provide two proofs utilizing two recent formulas for determining the Cartan CR-curvature of any local $\mathcal{C}^6$-smooth hypersurfaces in $\mathbb{C}^2$. One was obtained in 2012 by the second named author joint with Sabzevari, and it is an expanded explicit formula, valid for locally graphed hypersurfaces, containing millions of terms. The other formula, which we published in 2018 when studying Webster's ellipsoidal hypersurfaces, is not expanded, but more suitable for calculations with a hypersurface in $\mathbb{C}^2$ that is represented as the zero locus of some implicit (but simple in some sense, e.g. quadratic) defining function.
We also discuss Grauert tubes constructed with respect to extrinsic metrics depending on embeddings in complex surfaces, together with a certain combinatorics of product metrics.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Rigid equivalences of $5$-dimensional $2$-nondegenerate rigid real hypersurfaces $M^5 \subset \mathbb{C}^ 3$ of constant Levi rank $1$
Authors:
Wei Guo Foo,
Joel Merker,
The-Anh Ta
Abstract:
We study the local equivalence problem for real-analytic ($\mathcal{C}^ω$) hypersurfaces $M^5 \subset \mathbb{C}^3$ which, in coordinates $(z_1, z_2, w) \in \mathbb{C}^3$ with $w = u+i\, v$, are rigid: \[ u \,=\, F\big(z_1,z_2,\overline{z}_1,\overline{z}_2\big), \] with $F$ independent of $v$. Specifically, we study the group ${\sf Hol}_{\sf rigid}(M)$ of rigid local biholomorphic transformations…
▽ More
We study the local equivalence problem for real-analytic ($\mathcal{C}^ω$) hypersurfaces $M^5 \subset \mathbb{C}^3$ which, in coordinates $(z_1, z_2, w) \in \mathbb{C}^3$ with $w = u+i\, v$, are rigid: \[ u \,=\, F\big(z_1,z_2,\overline{z}_1,\overline{z}_2\big), \] with $F$ independent of $v$. Specifically, we study the group ${\sf Hol}_{\sf rigid}(M)$ of rigid local biholomorphic transformations of the form: \[ \big(z_1,z_2,w\big) \longmapsto \Big( f_1(z_1,z_2), f_2(z_1,z_2), a\,w + g(z_1,z_2) \Big), \] where $a \in \mathbb{R} \backslash \{0\}$ and $\frac{D(f_1,f_2)}{D(z_1,z_2)} \neq 0$, which preserve rigidity of hypersurfaces.
After performing a Cartan-type reduction to an appropriate $\{e\}$-structure, we find exactly two primary invariants $I_0$ and $V_0$, which we express explicitly in terms of the $5$-jet of the graphing function $F$ of $M$. The identical vanishing $0 \equiv I_0 \big( J^5F \big) \equiv V_0 \big( J^5F \big)$ then provides a necessary and sufficient condition for $M$ to be locally rigidly-biholomorphic to the known model hypersurface: \[ M_{\sf LC} \colon \ \ \ \ \ u \,=\, \frac{z_1\,\overline{z}_1 +\frac{1}{2}\,z_1^2\overline{z}_2 +\frac{1}{2}\,\overline{z}_1^2z_2}{ 1-z_2\overline{z}_2}. \] We establish that $\dim\, {\sf Hol}_{\sf rigid} (M) \leq 7 = \dim\, {\sf Hol}_{\sf rigid} \big( M_{\sf LC} \big)$ always.
If one of these two primary invariants $I_0 \not\equiv 0$ or $V_0 \not\equiv 0$ does not vanish identically, we show that this rigid equivalence problem between rigid hypersurfaces reduces to an equivalence problem for a certain $5$-dimensional $\{e\}$-structure on $M$.
△ Less
Submitted 24 December, 2019; v1 submitted 4 April, 2019;
originally announced April 2019.
-
On the real-analyticity of rigid spherical hypersurfaces in ${\mathbb C}^2$
Authors:
Alexander Isaev,
Joël Merker
Abstract:
We prove that every smooth rigid spherical hypersurface in ${\mathbb C}^2$ is in fact real-analytic. As an application of this result, it follows that the classification of real-analytic rigid spherical hypersurfaces in ${\mathbb C}^2$ found by V. Ezhov and G. Schmalz applies in the smooth case.
We prove that every smooth rigid spherical hypersurface in ${\mathbb C}^2$ is in fact real-analytic. As an application of this result, it follows that the classification of real-analytic rigid spherical hypersurfaces in ${\mathbb C}^2$ found by V. Ezhov and G. Schmalz applies in the smooth case.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
Affine Rigidity Without Integration
Authors:
Joel Merker
Abstract:
Real analytic ($\mathcal{C}^ω$) surfaces $S^2$ in $\mathbb{R}^3 \ni (x,y,u)$ graphed as $\big\{ u = F(x,y) \big\}$ with $F_{xx} \neq 0$ whose Gaussian curvature vanishes identically: \[ 0 \,\equiv\, F_{xx}\,F_{yy} - F_{xy}^2, \] possess, under the action of the affine transformation group ${\sf Aff}_3(\mathbb{R}) = {\sf GL}_3(\mathbb{R}) \ltimes \mathbb{R}^3$, a basic invariant analogous to $2$-no…
▽ More
Real analytic ($\mathcal{C}^ω$) surfaces $S^2$ in $\mathbb{R}^3 \ni (x,y,u)$ graphed as $\big\{ u = F(x,y) \big\}$ with $F_{xx} \neq 0$ whose Gaussian curvature vanishes identically: \[ 0 \,\equiv\, F_{xx}\,F_{yy} - F_{xy}^2, \] possess, under the action of the affine transformation group ${\sf Aff}_3(\mathbb{R}) = {\sf GL}_3(\mathbb{R}) \ltimes \mathbb{R}^3$, a basic invariant analogous to $2$-nondegeneracy for $\mathcal{C}^ω$ real hypersurfaces $M^5 \subset \mathbb{C}^3$: \[ S_{\sf aff} \,:=\, \frac{F_{xx}\,F_{xxy}-F_{xy}\,F_{xxx}}{ F_{xx}^2}. \] It is known (or easily recovered) that $S$ is affinely equivalent to $\big\{ u = x^2 \big\}$ if and only if $S_{\sf aff} \equiv 0$.
Assuming that $S_{\sf aff} \neq 0$ everywhere, two deeper affine invariants inspired from Pocchiola's Ph.D. are $W_{\sf aff}$ and $J_{\sf aff}$. Explicit expressions are given in this article.
Theorem. $S$ is affinely equivalent to $\big\{ u = \frac{x^2}{1-y} \big\}$ if and only if $W_{\sf aff} \equiv 0 \equiv J_{\sf aff}$.
As a direct corollary of the (brief) proof, affine rigidity of CR-flat $2$-nondegenerate $\mathcal{C}^ω$ Levi rank $1$ hypersurfaces $M^5 \subset \mathbb{C}^3$ is deduced. The arguments rely on pure affine geometry, avoid any tool from Analysis, and simplify A.V. Isaev, J. Differential Geom. 104 (2016), 111--141.
An independent article will show, in a more general context, how $\mathcal{C}^\infty$ (even $\mathcal{C}^7$) $F(x,y)$ can be handled.
△ Less
Submitted 15 March, 2021; v1 submitted 3 March, 2019;
originally announced March 2019.
-
Degrees $d \geqslant \big( \sqrt{n}\, \log\, n\big)^n$ and $d \geqslant \big( n\, \log\, n\big)^n$ in the Conjectures of Green-Griffiths and of Kobayashi
Authors:
Joel Merker,
The-Anh Ta
Abstract:
Once first answers in any dimension to the Green-Griffiths and Kobayashi conjectures for generic algebraic hypersurfaces $\mathbb{X}^{n-1} \subset \mathbb{P}^n(\mathbb{C})$ have been reached, the principal goal is to decrease (to improve) the degree bounds, knowing that the `celestial' horizon lies near $d \geqslant 2n$.
For Green-Griffiths algebraic degeneracy of entire holomorphic curves, we obt…
▽ More
Once first answers in any dimension to the Green-Griffiths and Kobayashi conjectures for generic algebraic hypersurfaces $\mathbb{X}^{n-1} \subset \mathbb{P}^n(\mathbb{C})$ have been reached, the principal goal is to decrease (to improve) the degree bounds, knowing that the `celestial' horizon lies near $d \geqslant 2n$.
For Green-Griffiths algebraic degeneracy of entire holomorphic curves, we obtain: \[ d \,\geqslant\, \big(\sqrt{n}\,{\sf log}\,n\big)^n, \] and for Kobayashi-hyperbolicity (constancy of entire curves), we obtain: \[ d \,\geqslant\, \big(n\,{\sf log}\,n\big)^n. \] The latter improves $d \geqslant n^{2n}$ obtained by Merker in arxiv.org/1807/11309/. Admitting a certain technical conjecture $I_0 \geqslant \widetilde{I}_0$, the method employed (Diverio-Merker-Rousseau, Bérczi, Darondeau) conducts to constant power $n$, namely to: \[ d\ ,\geqslant\, 2^{5n} \qquad \text{and, respectively, to:} \qquad d \,\geqslant\, 4^{5n}. \] In Spring 2019, a forthcoming prepublication based on intensive computer explorations will present several subconjectures supporting the belief that $I_0 \geqslant \widetilde{I}_0$, a conjecture which will be established up to dimension $n = 50$.
△ Less
Submitted 13 January, 2019;
originally announced January 2019.
-
Differential $\{e\}$-structures for equivalences of $2$-nondegenerate Levi rank $1$ hypersurfaces $M^5 \subset \mathbb{C}^3$
Authors:
Wei Guo Foo,
Joel Merker
Abstract:
The class ${\sf IV}_2$ of $2$-nondegenerate constant Levi rank $1$ hypersurfaces $M^5 \subset \mathbb{C}^3$ is governed by Pocchiola's two primary invariants $W_0$ and $J_0$. Their vanishing characterizes equivalence of such a hypersurface $M^5$ to the tube $M_{\sf LC}^5$ over the real light cone in $\mathbb{R}^3$. When either $W_0 \not\equiv 0$ or $J_0 \not\equiv 0$, by normalization of certain t…
▽ More
The class ${\sf IV}_2$ of $2$-nondegenerate constant Levi rank $1$ hypersurfaces $M^5 \subset \mathbb{C}^3$ is governed by Pocchiola's two primary invariants $W_0$ and $J_0$. Their vanishing characterizes equivalence of such a hypersurface $M^5$ to the tube $M_{\sf LC}^5$ over the real light cone in $\mathbb{R}^3$. When either $W_0 \not\equiv 0$ or $J_0 \not\equiv 0$, by normalization of certain two group parameters ${\sf c}$ and ${\sf e}$, an invariant coframe can be built on $M^5$, showing that the dimension of the CR automorphism group drops from $10$ to $5$.
This paper constructs an explicit $\{e\}$-structure in case $W_0$ and $J_0$ do not necessarily vanish. Furthermore, Pocchiola's calculations hidden on a computer now appear in details, especially the determination of a secondary invariant $R$, expressed in terms of the first jet of $W_0$. All other secondary invariants of the $\{e\}$-structure are also expressed explicitly in terms of $W_0$ and $J_0$.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Kobayashi hyperbolicity in degree > n^{2n}
Authors:
Joël Merker
Abstract:
For a generic hypersurface $\mathbb{X}^{n-1} \subset \mathbb{P}^n(\mathbb{C})$ of degree \[ d \,\geqslant\, n^{2n} \] (1) $\mathbb{P}^n \big\backslash \mathbb{X}^{n-1}$ is Kobayashi-hyperbolically imbedded in $\mathbb{P}^n$;
(2) $\mathbb{X}^{n-1}$ is Kobayashi($\Leftrightarrow$ Brody)-hyperbolic.
(1) improves Brotbek-Deng 1804.01719:…
▽ More
For a generic hypersurface $\mathbb{X}^{n-1} \subset \mathbb{P}^n(\mathbb{C})$ of degree \[ d \,\geqslant\, n^{2n} \] (1) $\mathbb{P}^n \big\backslash \mathbb{X}^{n-1}$ is Kobayashi-hyperbolically imbedded in $\mathbb{P}^n$;
(2) $\mathbb{X}^{n-1}$ is Kobayashi($\Leftrightarrow$ Brody)-hyperbolic.
(1) improves Brotbek-Deng 1804.01719: $d \geqslant (n+2)^{n+3}\, (n+1)^{n+3} = n^{2n}\,n^6\, \big(e^3+{\rm O}(\frac{1}{n}) \big)$.
(2) supersedes Demailly 1801.04765: $d \geqslant \frac{1}{3}\, \big( e^1(n-1) \big)^{2n} = n^{2n}\, e^{2n}\, \big( \frac{1}{3\, e^2} + {\rm O} (\frac{1}{n}) \big)$.
The method gives in fact $d \geqslant \frac{n^{2n}}{{\sf const}^n}$ for $n \geqslant N({\sf const})$ with any ${\sf const} > 1$.
△ Less
Submitted 30 July, 2018;
originally announced July 2018.
-
Parametric CR-umbilical Locus of Ellipsoids in $\mathbb{C}^2$
Authors:
Wei-Guo Foo,
Joel Merker,
The-Anh Ta
Abstract:
For every real numbers $a \geqslant 1$, $b \geqslant 1$ with $(a,b) \neq (1,1)$, the curve parametrized by $θ\in \mathbb{R}$ valued in $\mathbb{C}^2 \cong \mathbb{R}^4$ \[ γ\, \colon \ \ \ θ\,\,\,\longmapsto\,\,\, \big( x(θ)+{\scriptstyle{\sqrt{-1}}}\,y(θ),\,\, u(θ)+{\scriptstyle{\sqrt{-1}}}\,v(θ) \big) \] with components: \[ x(θ) \,:=\, {\textstyle{\sqrt{\frac{a-1}{a\,(ab-1)}}}}\, \cos\,θ, \ \ \…
▽ More
For every real numbers $a \geqslant 1$, $b \geqslant 1$ with $(a,b) \neq (1,1)$, the curve parametrized by $θ\in \mathbb{R}$ valued in $\mathbb{C}^2 \cong \mathbb{R}^4$ \[ γ\, \colon \ \ \ θ\,\,\,\longmapsto\,\,\, \big( x(θ)+{\scriptstyle{\sqrt{-1}}}\,y(θ),\,\, u(θ)+{\scriptstyle{\sqrt{-1}}}\,v(θ) \big) \] with components: \[ x(θ) \,:=\, {\textstyle{\sqrt{\frac{a-1}{a\,(ab-1)}}}}\, \cos\,θ, \ \ \ \ \ y(θ) \,:=\, {\textstyle{\sqrt{\frac{b\,(a-1)}{ab-1}}}}\, \sin\,θ, \ \ \ \ \ u(θ) \,:=\, {\textstyle{\sqrt{\frac{b-1}{b\,(ab-1)}}}}\, \sin\,θ, \ \ \ \ \ v(θ) \,:=\, -\, {\textstyle{\sqrt{\frac{a\,(b-1)}{ab-1}}}}\, \cos\,θ, \] has image contained in the CR-umbilical locus: \[ γ(\mathbb{R}) \,\subset\, {\sf UmbCR} \big({\sf E}_{a,b}\big) \,\subset\, {\sf E}_{a,b} \] of the ellipsoid ${\sf E}_{a,b} \subset \mathbb{C}^2$ of equation $a\,x^2+y^2+b\,u^2+y^2 = 1$.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
Rationality in Differential Algebraic Geometry
Authors:
Joel Merker
Abstract:
Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.
Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
Canonical Cartan Connections on Maximally Minimal Generic Submanifolds M^5 in C^4
Authors:
Joel Merker,
Samuel Pocchiola,
Masoud Sabzevari
Abstract:
On a real analytic 5-dimensional CR-generic submanifold M^5 in C^4 of codimension 3, hence of CR dimension 1, which enjoys the generically satisfied nondegeneracy condition that Lie brackets up to length 3 of T^{1,0}M generate CTM, a canonical Cartan connection is constructed after reduction to a certain partially explicit e-structure of the concerned local biholomorphic equivalence problem. More…
▽ More
On a real analytic 5-dimensional CR-generic submanifold M^5 in C^4 of codimension 3, hence of CR dimension 1, which enjoys the generically satisfied nondegeneracy condition that Lie brackets up to length 3 of T^{1,0}M generate CTM, a canonical Cartan connection is constructed after reduction to a certain partially explicit e-structure of the concerned local biholomorphic equivalence problem. More advanced explorations of the incoming differential invariants due to the first and to the third authors already appeared in January 2014, hence the purpose is to show, while studying this specific Class III-1 of 5-dimensional CR structures, why and how the construction of Cartan geometries usually provides less information than a complete ramified discussion of potentially normalizable essential torsion coefficients.
△ Less
Submitted 21 May, 2014;
originally announced May 2014.
-
Extrinsic projective curves X^1 in P^2(C): harmony with intrinsic cohomology
Authors:
Joel Merker
Abstract:
On a geometrically smooth complex algebraic curve X^1 in P^2(C), represented in complex affine coordinates (x,y) as the zero-locus R(x,y) = 0 of some polynomial R of degree d >= k+3, an explicit family of generating independent holomorphic jet differentials J_R^1, ..., J_R^k expressed in terms of R and its partial derivatives is exhibited with its new precious nonlinearity features as a complete e…
▽ More
On a geometrically smooth complex algebraic curve X^1 in P^2(C), represented in complex affine coordinates (x,y) as the zero-locus R(x,y) = 0 of some polynomial R of degree d >= k+3, an explicit family of generating independent holomorphic jet differentials J_R^1, ..., J_R^k expressed in terms of R and its partial derivatives is exhibited with its new precious nonlinearity features as a complete explicitation of all holomorphic sections of the Green-Griffiths bundle of m-homogeneous polynomialized order k jets of local holomorphic maps from a complex disc into X^1.
△ Less
Submitted 5 February, 2014;
originally announced February 2014.
-
Curvature of surfaces in euclidean 3-space: philosophical analysis of Gauss' Theorema Egregium
Authors:
Joel Merker
Abstract:
This essay, an excerpt of the author's Ph.D. in Philosophy of mathematics (2012) thought of as being a companion to recent discoveries of new explicit Cartan geometry curvatures, analyzes how Gauss, after having devised the isometrically invariant character of curvature, struggled with elimination computations in order to transform the available extrinsic expression of curvature into a new beautif…
▽ More
This essay, an excerpt of the author's Ph.D. in Philosophy of mathematics (2012) thought of as being a companion to recent discoveries of new explicit Cartan geometry curvatures, analyzes how Gauss, after having devised the isometrically invariant character of curvature, struggled with elimination computations in order to transform the available extrinsic expression of curvature into a new beautifully general differential expression which depends only on second order derivatives of the coefficients E, F, G of the intrinsic metric. Systematic speculations about the essence of impersonal mathematical necessitation are steadily inserted.
△ Less
Submitted 5 February, 2014;
originally announced February 2014.
-
Cartan equivalences for 5-dimensional CR-manifolds in C^4 belonging to General Class III_1
Authors:
Masoud Sabzevari,
Joel Merker
Abstract:
We reduce to various absolute parallelisms, namely to certain {e}-structures on manifolds of dimensions 7, 6, 5, the biholomorphic equivalence problem or the intrinsic CR equivalence problem for generic submanifolds M^5 in C^4 of CR dimension 1 and of codimension 3 that are maximally minimal and are geometry-preserving deformations of one natural cubic model of Beloshapka, somewhere else called th…
▽ More
We reduce to various absolute parallelisms, namely to certain {e}-structures on manifolds of dimensions 7, 6, 5, the biholomorphic equivalence problem or the intrinsic CR equivalence problem for generic submanifolds M^5 in C^4 of CR dimension 1 and of codimension 3 that are maximally minimal and are geometry-preserving deformations of one natural cubic model of Beloshapka, somewhere else called the General Class III-1 of 5-dimensional CR manifolds. Some inspiration links exist with the treatment of the General Class II previously done in 2007 by Beloshapka, Ezhov, Schmalz, and also with the classification of nilpotent Lie algebras due to Goze, Khakimdjanov, Remm.
△ Less
Submitted 17 January, 2014;
originally announced January 2014.
-
Cartan equivalences for Levi-nondegenerate hypersurfaces M^3 in C^2 belonging to General Class I
Authors:
Masoud Sabzevari,
Joel Merker
Abstract:
We develope in great computational details the classical Cartan equivalence problem for Levi-nondegenerate C^6-smooth real hypersurfaces M^3 in C^2, performing all calculations effectively in terms of a (local) graphing function \varphi. In particular, we present explicitly the unique (complex) essential invariant J of the problem. Its expansion in terms of the 3-variables function \varphi incorpo…
▽ More
We develope in great computational details the classical Cartan equivalence problem for Levi-nondegenerate C^6-smooth real hypersurfaces M^3 in C^2, performing all calculations effectively in terms of a (local) graphing function \varphi. In particular, we present explicitly the unique (complex) essential invariant J of the problem. Its expansion in terms of the 3-variables function \varphi incorporates millions of differential monomials, while, when \varphi is assumed to depend only on 2 variables (rigid case), J writes out in two lines (7 monomials).
△ Less
Submitted 13 January, 2014;
originally announced January 2014.
-
Siu-Yeung jet differentials on complete intersection surfaces X^2 in P^4(C)
Authors:
Joel Merker
Abstract:
On a generic complete intersection surface X^2 in P^4(C) having polynomial equations z^d = R(x,y) and t^e = S(x,y) with 752 <= d <= e <= d^2/648, there exist extrinsic meromorphic jet differentials of the form J(x,y,x',y') / [y^d z^{m(d-1)} t^{m(e-1)}] where J(x,y,x',y') = sum_{j+k+p+q=m} A_{j,k,p,q}(x,y) (x')^j (y')^k (R')^p (S')^q (R)^{m-p} (S)^{m-q} with the complex coefficients of the polynomi…
▽ More
On a generic complete intersection surface X^2 in P^4(C) having polynomial equations z^d = R(x,y) and t^e = S(x,y) with 752 <= d <= e <= d^2/648, there exist extrinsic meromorphic jet differentials of the form J(x,y,x',y') / [y^d z^{m(d-1)} t^{m(e-1)}] where J(x,y,x',y') = sum_{j+k+p+q=m} A_{j,k,p,q}(x,y) (x')^j (y')^k (R')^p (S')^q (R)^{m-p} (S)^{m-q} with the complex coefficients of the polynomials A_{j,k,p,q}(x,y) satisfying a certain system of linear equations depending explicitly on R, S, the restriction to X^2 of which provides nonzero intrinsic global holomorphic sections of the bundle of symmetric m-differentials Sym^m T_X^*.
△ Less
Submitted 19 December, 2013;
originally announced December 2013.
-
Equivalences of 5-dimensional CR-manifolds V: Six initial frames and coframes; Explicitness obstacles
Authors:
Joel Merker
Abstract:
Local CR-generic submanifolds of C^N are in one-to-one correspondence with their respective graphing functions, but it is well known that (despite their importance) the Cartan-Hachtroudi-Chern-Moser invariants and coframes for Levi nondegenerate hypersurfaces M in C^(n+1) have been fully computed in CR dimension n >= 2 only in special cases which show off a tremendous collapse of computational com…
▽ More
Local CR-generic submanifolds of C^N are in one-to-one correspondence with their respective graphing functions, but it is well known that (despite their importance) the Cartan-Hachtroudi-Chern-Moser invariants and coframes for Levi nondegenerate hypersurfaces M in C^(n+1) have been fully computed in CR dimension n >= 2 only in special cases which show off a tremendous collapse of computational complexity in comparison to the general case. One of the goals of this Part V is to set up systematic initial data that are essentially explicit in terms of the concerned graphing functions, for the six already studied general classes I, II, III-1, III-2, IV-1, IV-2. Incredibly, for Class III-1 CR-generic submanifolds M^5 in C^4 that are the geometry-preserving deformations of one of the natural models of Beloshapka, even the initial frame and coframe are not absorbable by an individual personal computer, for some of the concerned coefficient-functions incorporate nearly 100 000 000 of monomials in 165 jet variables, not to mention that the exploration of biholomorphic equivalences yet requires to differentiate such functions at least four times. As will appear later on, deep (archaic) mathematical links are extant between the effective Cartan theory and the famous hyperbolicity conjecture of Kobayashi.
△ Less
Submitted 12 December, 2013;
originally announced December 2013.
-
Equivalences of 5-dimensional CR-manifolds IV: Six ambiguity matrix groups (Initial G-structures)
Authors:
Joel Merker
Abstract:
Class I CR manifolds have initial G-structure a certain 4-dimensional subgroup of GL_3(C). Class II CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_4(C). Class III-1 CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_5(C). Class III-2 CR manifolds have initial G-structure a certain 18-dimensional subgroup of GL_5(C). Class IV-1 CR manifolds…
▽ More
Class I CR manifolds have initial G-structure a certain 4-dimensional subgroup of GL_3(C). Class II CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_4(C). Class III-1 CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_5(C). Class III-2 CR manifolds have initial G-structure a certain 18-dimensional subgroup of GL_5(C). Class IV-1 CR manifolds have initial G-structure a certain 13-dimensional subgroup of GL_5(C). Class IV-2 CR manifolds have initial G-structure a certain 10-dimensional subgroup of GL_5(C).
△ Less
Submitted 4 December, 2013;
originally announced December 2013.
-
Equivalences of 5-dimensional CR manifolds III: Six models and elementary normalizations
Authors:
Joel Merker
Abstract:
The six nondegeneracy conditions of geometric nature that are satisfied by the only six possibly existing nondegenerate general classes I, II, III-1, III-2, IV-1, IV-2 of 5-dimensional CR manifolds are shown to be readable instantaneously from their elementarily normalized respective defining graphed equations, without advanced Moser theory.
The six nondegeneracy conditions of geometric nature that are satisfied by the only six possibly existing nondegenerate general classes I, II, III-1, III-2, IV-1, IV-2 of 5-dimensional CR manifolds are shown to be readable instantaneously from their elementarily normalized respective defining graphed equations, without advanced Moser theory.
△ Less
Submitted 29 November, 2013;
originally announced November 2013.
-
Equivalences of 5-dimensional CR manifolds (II): General classes I, II, III-1, III-2, IV-1, IV-2
Authors:
Joel Merker,
Samuel Pocchiola,
Masoud Sabzevari
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-con…
▽ More
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.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.
-
On transfer of biholomorphisms across nonminimal loci
Authors:
Joel Merker
Abstract:
A connected real analytic hypersurface M in C^(n+1) whose Levi form is nondegenerate in at least one point - hence at every point of some Zariski-open subset - is locally biholomorphic to the model Heisenberg quadric pseudosphere of signature (k, n-k) in one point if and only if, at every other Levi nondegenerate point, it is also locally biholomorphic to some Heisenberg pseudosphere, possibly hav…
▽ More
A connected real analytic hypersurface M in C^(n+1) whose Levi form is nondegenerate in at least one point - hence at every point of some Zariski-open subset - is locally biholomorphic to the model Heisenberg quadric pseudosphere of signature (k, n-k) in one point if and only if, at every other Levi nondegenerate point, it is also locally biholomorphic to some Heisenberg pseudosphere, possibly having different signature (l, n-l).
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Lie algebras of infinitesimal CR-automorphisms of finite type, holomorphically nondegenerate, weighted homogeneous CR-generic submanifolds of C^N
Authors:
Masoud Sabzevari,
Amir Hashemi,
Benyamin M. -Alizadeh,
Joel Merker
Abstract:
We consider the significant class of holomorphically nondegenerate CR manifolds of finite type that are represented by some weighted homogeneous polynomials and we derive some useful features which enable us to set up a fast effective algorithm to compute their Lie algebras of infinitesimal CR-automorphisms. This algorithm mainly relies upon a natural gradation of the sought Lie algebras, and it a…
▽ More
We consider the significant class of holomorphically nondegenerate CR manifolds of finite type that are represented by some weighted homogeneous polynomials and we derive some useful features which enable us to set up a fast effective algorithm to compute their Lie algebras of infinitesimal CR-automorphisms. This algorithm mainly relies upon a natural gradation of the sought Lie algebras, and it also consists in treating separately the related graded components. While some other methods are based on constructing and solving an associated pde systems which become time consuming as soon as the number of variables increases, the new method presented here is based on plain techniques of linear algebra. Furthermore, it benefits from a divide-and-conquer strategy to break down the computations into some simpler sub-computations. Moreover, we consider the new and effective concept of comprehensive Gröbner systems which provides us some powerful tools to treat the computations in the parametric cases. The designed algorithm is also implemented in the Maple software.
△ Less
Submitted 19 January, 2014; v1 submitted 10 April, 2013;
originally announced April 2013.
-
Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms
Authors:
Masoud Sabzevari,
Amir Hashemi,
Benyamin M. -Alizadeh,
Joel Merker
Abstract:
We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple package DifferentialAlgebra -- in order to automate the handling of the arising highly complex linear systems of pde's. Before treating these new examples which…
▽ More
We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple package DifferentialAlgebra -- in order to automate the handling of the arising highly complex linear systems of pde's. Before treating these new examples which prolong previous works of Beloshapka, of Shananina and of Mamai, we provide general formulas for the explicitation of the concerned pde systems that are valid in arbitrary codimension k >= 1 and in any CR dimension n >= 1. Also, we show how Ritt's reduction algorithm can be adapted to the case under interest, where the concerned pde systems admit so-called complex conjugations.
△ Less
Submitted 13 December, 2012;
originally announced December 2012.
-
Multizeta Calculus (I)
Authors:
Joel Merker
Abstract:
According to Hoffman's (2,3)-conjecture, the so-called double shuffle relations should imply that every multiple zeta value should express effectively in terms of multizetas whose entries are equal to either 2 or 3, with some explicitly computable rational coefficients. In February 2011, the existence of such Q-linear combinations was established by Francis Brown in all weights. Still, a desire ex…
▽ More
According to Hoffman's (2,3)-conjecture, the so-called double shuffle relations should imply that every multiple zeta value should express effectively in terms of multizetas whose entries are equal to either 2 or 3, with some explicitly computable rational coefficients. In February 2011, the existence of such Q-linear combinations was established by Francis Brown in all weights. Still, a desire exists to have effective access to these coefficients. In 2008, Masanobu Kaneko, Masayuki Noro and Ken'ichi Tsurumaki showed, up to weight 20, that in fact, double shuffle relations with first member equal to zeta(1), to zeta(2), to zeta(3) or to zeta(2,1) suffice. We provide general closed formulas for such four families of double shuffle relations, with second member being an arbitrary multizeta. The longest formulas, for zeta(3) and for zeta(2,1), are 2 pages long each. This prepublication is just a first step in this direction.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
A Groebner-bases algorithm for the computation of the cohomology of Lie (super) algebras
Authors:
Benyamin M. -Alizadeh,
Joel Merker,
Masoud Sabzevari
Abstract:
We present an effective algorithm for computing the standard cohomology spaces of finitely generated Lie (super) algebras over a commutative field K of characteristic zero. In order to reach explicit representatives of some generators of the quotient space Z^k/B^k of cocycles Z^k modulo coboundaries B^k, we apply Groebner bases techniques (in the appropriate linear setting) and take advantage of t…
▽ More
We present an effective algorithm for computing the standard cohomology spaces of finitely generated Lie (super) algebras over a commutative field K of characteristic zero. In order to reach explicit representatives of some generators of the quotient space Z^k/B^k of cocycles Z^k modulo coboundaries B^k, we apply Groebner bases techniques (in the appropriate linear setting) and take advantage of their strength. Moreover, when the considered Lie (super) algebras enjoy a grading -- a case which often happens both in representation theory and in differential geometry --, all cohomology spaces Z^k/B^k naturally split up as direct sums of smaller subspaces, and this enables us, for higher dimensional Lie (super) algebras, to improve the computer speed of calculations. Lastly, we implement our algorithm in the Maple software and evaluate its performances via some examples, most of which have several applications in the theory of Cartan-Tanaka connections.
△ Less
Submitted 28 April, 2011;
originally announced April 2011.
-
Effective Cartan-Tanaka connections on C6-smooth strongly pseudoconvex hypersurfaces M3 of C2
Authors:
Mansour Aghasi,
Joel Merker,
Masoud Sabzevari
Abstract:
In a recent expository article (Notices of the AMS, 58 (2011), no. 1, 20-27), Ezhov, McLaughlin and Schmalz showed how to perform in an effective way Tanaka's prolongation procedure valid generally for filtered structures of constant type when the distribution is equipped with an integrable complex structure, so as to derive the principal curvature invariants and (co)frame(s) associated to strongl…
▽ More
In a recent expository article (Notices of the AMS, 58 (2011), no. 1, 20-27), Ezhov, McLaughlin and Schmalz showed how to perform in an effective way Tanaka's prolongation procedure valid generally for filtered structures of constant type when the distribution is equipped with an integrable complex structure, so as to derive the principal curvature invariants and (co)frame(s) associated to strongly pseudoconvex real hypersurfaces M3 in C2, an approach which is alternative and complementary to the `hyperspherical' connection of Elie Cartan, and to the so-called calculi of Fefferman, of Chern-Moser, of Webster. By choosing an initial frame for TM which is explicit in terms of a local graphing function v = f(x, y, u) for M, we provide a Cartan-Tanaka connection all elements of which are completely explicit in terms of f(x, y, u), assuming only C6-smoothness of M. The Gaussian requirement for systematic computational effectiveness then shows - a bit unexpectedly - that the two main curvatures are rational differential expressions in the sixth-order jet of f(x, y, u), the lengths of which are about 1000 pages long on a computer - just for the simplest instance of local embedded CR geometry. Large parts of the memoir aim at formulating general statements that will be useful for further constructions of Cartan-Tanaka connections related to the equivalence problem for (local) embedded CR manifolds whose CR-automorphism group is not semi-simple, cf. e.g. some model lists by Beloshapka.
△ Less
Submitted 8 April, 2011;
originally announced April 2011.
-
Complex projective hypersurfaces of general type: toward a conjecture of Green and Griffiths
Authors:
Joel Merker
Abstract:
Let X be a geometrically smooth n-dimensional projective algebraic complex hypersurface in P^{n+1}(C). Using Green-Griffiths jets, we establish the existence of nonzero global algebraic differential equations that must be satisfied by every nonconstant entire holomorphic curve C -> X if X is of general type, namely if its degree d satisfies the optimal possible lower bound: d >= n + 3. The case n…
▽ More
Let X be a geometrically smooth n-dimensional projective algebraic complex hypersurface in P^{n+1}(C). Using Green-Griffiths jets, we establish the existence of nonzero global algebraic differential equations that must be satisfied by every nonconstant entire holomorphic curve C -> X if X is of general type, namely if its degree d satisfies the optimal possible lower bound: d >= n + 3. The case n = 2 dates back to Green-Griffiths 1979, while according to very recent advances (Invent. Math. 180, pp. 161-223, February 2010), the best (and only) lower degree bound known previously in arbitrary dimension n was, using instead Demailly-Semple jets, something like d >= 2^{n^4} . n^{5n^3}, which, visibly, was far from the conjectured n + 3.
△ Less
Submitted 18 June, 2014; v1 submitted 3 May, 2010;
originally announced May 2010.
-
Theory of Transformation Groups, by S. Lie and F. Engel (Vol. I, 1888). Modern Presentation and English Translation
Authors:
Joel Merker
Abstract:
The goal of this modern presentation, followed by an English translation from the German, is to make available some parts of Lie's very systematic mathematical thought which deserve to join the contemporary literature, and above all also, to be read.
The goal of this modern presentation, followed by an English translation from the German, is to make available some parts of Lie's very systematic mathematical thought which deserve to join the contemporary literature, and above all also, to be read.
△ Less
Submitted 16 March, 2010;
originally announced March 2010.
-
Vanishing Hachtroudi curvature and local equivalence to the Heisenberg sphere
Authors:
Joel Merker
Abstract:
To any completely integrable second-order system of real or complex partial differential equations in n > 1 independent variables and in one dependent variable, Mohsen Hachtroudi associated in 1937 a normal projective (Cartan) connection, and he computed its curvature. By means of a natural transfer of jet polynomials to the associated submanifold of solutions, what the vanishing of the Hachtrou…
▽ More
To any completely integrable second-order system of real or complex partial differential equations in n > 1 independent variables and in one dependent variable, Mohsen Hachtroudi associated in 1937 a normal projective (Cartan) connection, and he computed its curvature. By means of a natural transfer of jet polynomials to the associated submanifold of solutions, what the vanishing of the Hachtroudi curvature gives can be precisely translated in order to characterize when both families of Segre varieties and of conjugate Segre varieties associated to a Levi nondegenerate real analytic hypersurface M in C^{n+1} can be straightened to be affine complex (conjugate) hyperplanes. In continuation to a previous paper devoted to the quite distinct C^2-case, this then characterizes in an effective way those hypersurfaces of C^{n+1} in higher complex dimension n+1 > 2 that are locally biholomorphic to a piece of the (2n+1)-dimensional Heisenberg sphere, without any special assumption on their defining equations.
△ Less
Submitted 26 November, 2009; v1 submitted 15 October, 2009;
originally announced October 2009.
-
Nonrigid spherical real analytic hypersurfaces in C^2
Authors:
Joel Merker
Abstract:
A Levi nondegenerate real analytic hypersurface M of C^2 represented in local coordinates (z, w) in C^2 by a complex defining equation of the form w = Theta (z, \bar z, \bar w) which satisfies an appropriate reality condition, is spherical if and only if its complex graphing function Theta satisfies an explicitly written sixth-order polynomial complex partial differential equation. In the rigid…
▽ More
A Levi nondegenerate real analytic hypersurface M of C^2 represented in local coordinates (z, w) in C^2 by a complex defining equation of the form w = Theta (z, \bar z, \bar w) which satisfies an appropriate reality condition, is spherical if and only if its complex graphing function Theta satisfies an explicitly written sixth-order polynomial complex partial differential equation. In the rigid case (known before), this system simplifies considerably, but in the general nonrigid case, its combinatorial complexity shows well why the two fundamental curvature tensors constructed by Elie Cartan in 1932 in his classification of hypersurfaces have, since then, never been reached in parametric representation.
△ Less
Submitted 3 February, 2010; v1 submitted 9 October, 2009;
originally announced October 2009.
