Application of computational invariant theory to Kobayashi hyperbolicity and to Green-Griffiths algebraic degeneracy

DOI10.1016/J.JSC.2010.06.023zbMATH Open1202.32020arXiv0808.3547OpenAlexW2044605926MaRDI QIDQ992806FDOQ992806

Joël Merker

Publication date: 10 September 2010

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: A major unsolved problem (according to Demailly 1997) towards the Kobayashi hyperbolicity conjecture in optimal degree is to understand jet differentials of germs of holomorphic discs that are invariant under any reparametrization of the source. The underlying group action is not reductive, but we provide a complete algorithm to generate all invariants, in arbitrary dimension n and for jets of arbitrary order k. Two main new situations are studied in great details. For jets of order 4 in dimension 4, we establish that the algebra of Demailly-Semple invariants is generated by 2835 polynomials, while the algebra of bi-invariants is generated by 16 mutually independent polynomials sharing 41 groebnerized syzygies. Nonconstant entire holomorphic curves valued in an algebraic 3-fold (resp. 4-fold) X^3 in P^4 (C) (resp. X^4 in P^5(C)) of degree d satisfy global differential equations as soon as d > 71 (resp. d > 258). A useful asymptotic formula for the Euler-Poincare characteristic of Schur bundles in terms of Giambelli's determinants is derived. For jets of order 5 in dimension 2, we establish that the algebra of Demailly-Semple invariants is generated by 56 polynomials, while the algebra of bi-invariants is generated by 17 mutually independent polynomials sharing 105 groebnerized syzygies.

Full work available at URL: https://arxiv.org/abs/0808.3547

zbMATH Keywords

algorithm[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+bases&go=Go Gr��bner bases]Euler characteristiccommutative algebrajet spacefinitely generated ringsalgebraic theory of invariantsnonreductive group actionSchur bundle

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Hyperbolic and Kobayashi hyperbolic manifolds (32Q45) (3)-folds (14J30) Hypersurfaces and algebraic geometry (14J70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Multivariate Faa di Bruno Formula with Applications
• Lie groups. An approach through invariants and representations
• Computational invariant theory
• Polynomial automorphisms and the Jacobian conjecture
• Algebraic theory of locally nilpotent derivations
• Algorithms in invariant theory
• Hyperbolicity of the complement of a generic smooth curve of high degree in the complex projective plane
• Differential equations on complex projective hypersurfaces of low dimension
• Demailly-Semple jets of orders 4 and 5 in dimension 2
• Effective algebraic degeneracy
• Differential equations on hypersurfaces in \(\mathbb P^4\).
• Lie symmetries and CR geometry
• Weak analytic hyperbolicity of generic hypersurfaces of high degree in \(\mathbb P^4\)
• Vector fields on the total space of hypersurfaces in the projective space and hyperbolicity
• Hyperbolicity of generic surfaces of high degree in projective 3-space
• Computing invariants of algebraic groups in arbitrary characteristic
• Low pole order frames on vertical jets of the universal hypersurface
• The Hilbert polynomial of the sheaf \(\Omega^ T\) of germs of \(T\)-symmetrical tensor differential forms on complete intersections
• Demailly-Semple jets in dimension 3

Cited In (4)

• Rationality in Differential Algebraic Geometry
• GRADED UNIPOTENT GROUPS AND GROSSHANS THEORY
• Recent results on the Kobayashi and Green-Griffiths-Lang conjectures
• Fiber integration on the Demailly tower

Uses Software

• CoCoA
• Macaulay2
• Magma

This page was built for publication: Application of computational invariant theory to Kobayashi hyperbolicity and to Green-Griffiths algebraic degeneracy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q992806)