Low pole order frames on vertical jets of the universal hypersurface

Merker, Joël

doi:10.5802/aif.2458

¹tabacckludge ’Ecole Normale Supérieure UMR 8553 du CNRS Département de Mathématiques et Applications 45 rue d’Ulm 75230 Paris Cedex 05 (France)

Annales de l'Institut Fourier, Volume 59 (2009) no. 3, pp. 1077-1104

Abstract (Original language)
Résumé

For low order jets, it is known how to construct meromorphic frames on the space of the so-called vertical $k$ -jets $J_{vert}^{k} (𝒳)$ of the universal hypersurface

𝒳 \subset ℙ^{n + 1} \times ℙ^{\frac{(n + 1 + d)!}{((n + 1)! d!)} - 1}

parametrizing all projective hypersurfaces $X \subset ℙ^{n + 1} (ℂ)$ of degree $d$ . In 2004, for $k = n$ , Siu announced that there exist two constants $c_{n} \geq 1$ and $c_{n}^{'} \geq 1$ such that the twisted tangent bundle

T_{J_{vert}^{n} (𝒳)} \otimes 𝒪_{ℙ^{n + 1}} (c_{n}) \otimes 𝒪_{ℙ^{\frac{(n + 1 + d)!}{((n + 1)! d!)} - 1}} (c_{n}^{'})

is generated at every point by its global sections. In the present article, we establish this property outside a certain exceptional algebraic subset $Σ \subset J_{vert}^{n} (𝒳)$ defined by the vanishing of certain Wronskians, with the effective pole order $c_{n} = \frac{1}{2} (n^{2} + 5 n)$ , thus recovering $c_{2} = 7$ (Paŭn), $c_{3} = 12$ (Rousseau), and with $c_{n}^{'} = 1$ .

Moreover, at the cost of raising $c_{n}$ up to $c_{n} = n^{2} + 2 n$ , the same generation property holds outside the smaller set $\tilde{Σ} \subset Σ \subset J_{vert}^{n} (𝒳)$ which is defined by the vanishing of all first order jets. Applications to weak (with $Σ$ ) and to strong (with $\tilde{Σ}$ ) algebraic degeneracy of entire holomorphic curves $ℂ \to X$ are upcoming.

Pour des ordres de jets petits, on sait construire des repères méromorphes sur l’espace des jets verticaux $J_{vert}^{k} (𝒳)$ de l’hypersurface universelle

𝒳 \subset ℙ^{n + 1} \times ℙ^{\frac{(n + 1 + d)!}{(n + 1)! d!} - 1}

qui paramétrise toutes les hypersurfaces projectives $X \subset ℙ^{n + 1} (ℂ)$ de degré $d$ . Siu a annoncé en 2004 que, pour $k = n$ , il existe deux constantes $c_{n} \geq 1$ et $c_{n}^{'} \geq 1$ telles que le fibré tangent tensorisé

T_{J_{vert}^{n} (𝒳)} \otimes 𝒪_{ℙ^{n + 1}} (c_{n}) \otimes 𝒪_{ℙ^{\frac{(n + 1 + d)!}{((n + 1)! d!)} - 1}} (c_{n}^{'})

est engendré par ses sections globales. Nous établissons cette propriété hors d’un certain ensemble algébrique exceptionnel $Σ \subset J_{vert}^{n} (𝒳)$ défini par l’annulation de certains wronskiens, avec l’ordre de pôles effectif $c_{n} = \frac{1}{2} (n^{2} + 5 n)$ , retrouvant ainsi $c_{2} = 7$ (Paŭn), $c_{3} = 12$ (Rousseau), et avec $c_{n}^{'} = 1$ .

De plus, quitte à augmenter $c_{n}$ jusqu’à $c_{n} = n^{2} + 2 n$ , la même propriété d’engendrement est satisfaite hors du plus petit sous-ensemble $\tilde{Σ} \subset Σ \subset J_{vert}^{n} (𝒳)$ qui est défini par l’annulation de tous les jets d’ordre $1$ . Des applications à la dégénérescence algébrique faible (avec $Σ$ ) et forte (avec $\tilde{Σ}$ ) des courbes holomorphes entières $ℂ \to X$ en découleront prochainement.

Article information
Cite this article

MR Zbl

DOI: 10.5802/aif.2458

Classification: 32Q45, 14N05, 14J70
Keywords: Multivariate Faà di Bruno formula, projective algebraic hypersurfaces, jets of holomorphic curves, weak and strong Green-Griffiths algebraic degeneracy
Mots-clés : formule de Faà di Bruno à plusieurs variables, hypersurfaces projectives algébriques, jets de courbes holomorphes, dégénérescence algébrique faible et forte au sens de Green-Griffiths

Author's affiliations:

Merker, Joël ¹

¹ tabacckludge ’Ecole Normale Supérieure UMR 8553 du CNRS Département de Mathématiques et Applications 45 rue d’Ulm 75230 Paris Cedex 05 (France)

Merker, Joël. Low pole order frames on vertical jets of the universal hypersurface. Annales de l'Institut Fourier, Volume 59 (2009) no. 3, pp. 1077-1104. doi: 10.5802/aif.2458

@article{AIF_2009__59_3_1077_0,
     author = {Merker, Jo\"el},
     title = {Low pole order frames on vertical jets of the universal hypersurface},
     journal = {Annales de l'Institut Fourier},
     pages = {1077--1104},
     year = {2009},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {59},
     number = {3},
     doi = {10.5802/aif.2458},
     mrnumber = {2543663},
     zbl = {1172.32005},
     language = {en},
     url = {https://aif.centre-mersenne.org/articles/10.5802/aif.2458/}
}

TY  - JOUR
AU  - Merker, Joël
TI  - Low pole order frames on vertical jets of the universal hypersurface
JO  - Annales de l'Institut Fourier
PY  - 2009
SP  - 1077
EP  - 1104
VL  - 59
IS  - 3
PB  - Association des Annales de l’institut Fourier
UR  - https://aif.centre-mersenne.org/articles/10.5802/aif.2458/
DO  - 10.5802/aif.2458
LA  - en
ID  - AIF_2009__59_3_1077_0
ER  -

%0 Journal Article
%A Merker, Joël
%T Low pole order frames on vertical jets of the universal hypersurface
%J Annales de l'Institut Fourier
%D 2009
%P 1077-1104
%V 59
%N 3
%I Association des Annales de l’institut Fourier
%U https://aif.centre-mersenne.org/articles/10.5802/aif.2458/
%R 10.5802/aif.2458
%G en
%F AIF_2009__59_3_1077_0

References
Cited by

[1] Clemens, H. Curves on generic hypersurfaces, Ann. Sci. École Norm. Sup., Volume 19 (1986), pp. 629-636 | Zbl | MR | Numdam

[2] Constantine, G. M.; Savits, T. H. A multivariate Faà di Bruno formula with applications, Trans. Amer. Math. Soc., Volume 348 (1996), pp. 503-520 | DOI | Zbl | MR

[3] Demailly, J.-P. Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials, Proc. Sympos. Pure Math. Amer. Math. Soc., Volume 62 (1997), pp. 285-360 | Zbl | MR

[4] Diverio, S. Existence of global invariant jet differentials on projective hypersurfaces of high degree (to appear in Math. Ann., arxiv.org/abs/0802.0045/)

[5] Diverio, S. Differential equations on complex projective hypersurfaces of low dimension, Compos. Math., Volume 144 (2008), pp. 920-932 (arxiv.org/abs/0706.1051/) | DOI | MR

[6] Diverio, S.; Merker, J.; Rousseau, E. Effective algebraic degeneracy (nov. 2008) (preprint, arxiv.org/abs/0811.2346/)

[7] Duval, J. Sur le lemme de Brody, Invent. Math., Volume 173 (2008), pp. 305-314 | DOI | Zbl | MR

[8] Ein, L. Subvarieties of generic complete intersections, Invent. Math., Volume 94 (1988), pp. 163-169 II. Math. Ann. 289 (1991), p.465–471 | DOI | Zbl | MR

[9] Green, M.; Griffiths, P. Two applications of algebraic geometry to entire holomorphic mappings, The Chern Symposium 1979, Proc. Inter. Sympos. Berkeley, CA, 1979 (1980), pp. 41-74 | Zbl | MR

[10] Merker, J. An algorihm to generate all polynomials in the $k$ -jet of a holomorphic disc $D \to ℂ^{n}$ that are invariant under source reparametrization (arxiv.org/abs/0808.3547/)

[11] Merker, J. Four explicit formulas for the prolongations of an infinitesimal Lie symmetry and multivariate Faà di Bruno formulas (arxiv.org/abs/math/0411650)

[12] Merker, J. Jets de Demailly-Semple d’ordres 4 et 5 en dimension 2, Int. J. Contemp. Math. Sciences, Volume 3 (2008), pp. 861-933 (arxiv.org/abs/0710.2393) | MR

[13] Paŭn, M. Vector fields on the total space of hypersurfaces in the projective space and hyperbolicity, Math. Ann., Volume 340 (2008), pp. 875-892 | DOI | Zbl | MR

[14] Rousseau, E. Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space, Osaka J. Math., Volume 44 (2007), pp. 955-971 | Zbl | MR

[15] Rousseau, E. Weak analytic hyperbolicity of generic hypersurfaces of high degree in $ℙ^{4}$ , Ann. Fac. Sci. Toulouse, Volume XIV (2007), pp. 369-383 | DOI | Zbl | MR | Numdam

[16] Rousseau, Erwan Équations différentielles sur les hypersurfaces de $ℙ^{4}$ , J. Math. Pures Appl. (9), Volume 86 (2006), pp. 322-341 | Zbl | MR

[17] Rousseau, Erwan Étude des jets de Demailly-Semple en dimension 3, Ann. Inst. Fourier, Volume 56 (2006), pp. 397-421 | DOI | Zbl | MR | Numdam

[18] Siu, Y.-T. Hyperbolicity in complex geometry, p.543-566, The legacy of Niels Henrik Abel, Springer-Verlag, Berlin, 2004 | Zbl | MR

[19] Trapani, S. Numerical criteria for the positivity of the difference of ample divisors, Math. Z., Volume 219 (1995), pp. 387-401 | DOI | Zbl | MR

[20] Voisin, C. On a conjecture of Clemens on rational curves on hypersurfaces, J. Diff. Geom., Volume 44 (1996), pp. 200-213 A correction: “On a conjecture of Clemens on rational curves on hypersurfaces”, J. Diff. Geom. 49 (1998), p.601–611 | Zbl | MR

Cited by Sources:

ANNALES DE L'INSTITUT FOURIER

ARTICLES TO APPEAR

BROWSE ISSUES

ABOUT THE JOURNAL

EDITORIAL BOARD

SUBMIT A PAPER

SUBSCRIPTION