Solution d'une conjecture de C. Berenstein - A. Yger et invariants de contact à l'infini

Hickel, Michel

doi:10.5802/aif.1834

Hickel, Michel ¹

¹ Université Bordeaux I, Laboratoire de Mathématiques Pures, 351 cours de la Libération, 33405 Talence Cedex (France)

Annales de l'Institut Fourier, Tome 51 (2001) no. 3, pp. 707-744.

Résumé
Abstract

Soient $k$ un corps commutatif et $I = (p_{1}, \dots, p_{m}) k_{n} [X]$ un idéal de l’anneau des polynômes $k [X_{1}, \dots, X_{n}]$ (éventuellement $I = k_{n} [X]$ ). Nous prouvons une conjecture de C. Berenstein - A. Yger qui affirme que pour tout polynôme $p$ , élément de la clôture intégrale $\bar{I}$ de l’idéal $I$ , on a une représentation

p^{m} = \sum_{1 \leq i \leq m} p_{i} q_{i}, avec max deg (q_{i} p_{i}) \leq m deg p + m d_{1} \dots d_{m},

où

d_{i} = deg p_{i}, 1 \leq i \leq m

Let $k$ be a commutative field and $I = (p_{1}, \dots, p_{m}) k_{n} [X]$ an ideal of the polynomial ring $k [X_{1}, \dots, X_{n}]$ (possibly $I = k_{n} [X]$ ). We prove a conjecture of C. Berenstein - A. Yger asserting that for every $p$ in the integral closure of the ideal $I$ , one has a representation

p^{m} = \sum_{1 \leq i \leq m} p_{i} q_{i}, with max deg (q_{i} p_{i}) \leq m deg p + m d_{1} \dots d_{m},

where

d_{i} = deg p_{i}, 1 \leq i \leq m

MR Zbl | 2 citations dans Numdam

DOI : 10.5802/aif.1834

Classification : 14A05, 13A15, 32C99
Mot clés : Nullstellensatz effectif, clôture intégrale des idéaux, inégalités de Łojasiewicz
Keywords: effective Nullstellensatz, integral closure of ideals, global Łojasiewicz inequalities

Affiliations des auteurs :

Hickel, Michel ¹

¹ Université Bordeaux I, Laboratoire de Mathématiques Pures, 351 cours de la Libération, 33405 Talence Cedex (France)

@article{AIF_2001__51_3_707_0,
     author = {Hickel, Michel},
     title = {Solution d'une conjecture de {C.} {Berenstein} - {A.} {Yger} et invariants de contact \`a l'infini},
     journal = {Annales de l'Institut Fourier},
     pages = {707--744},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {51},
     number = {3},
     year = {2001},
     doi = {10.5802/aif.1834},
     mrnumber = {1838463},
     zbl = {0991.13009},
     language = {fr},
     url = {http://www.numdam.org/articles/10.5802/aif.1834/}
}

TY  - JOUR
AU  - Hickel, Michel
TI  - Solution d'une conjecture de C. Berenstein - A. Yger et invariants de contact à l'infini
JO  - Annales de l'Institut Fourier
PY  - 2001
SP  - 707
EP  - 744
VL  - 51
IS  - 3
PB  - Association des Annales de l’institut Fourier
UR  - http://www.numdam.org/articles/10.5802/aif.1834/
DO  - 10.5802/aif.1834
LA  - fr
ID  - AIF_2001__51_3_707_0
ER  -

%0 Journal Article
%A Hickel, Michel
%T Solution d'une conjecture de C. Berenstein - A. Yger et invariants de contact à l'infini
%J Annales de l'Institut Fourier
%D 2001
%P 707-744
%V 51
%N 3
%I Association des Annales de l’institut Fourier
%U http://www.numdam.org/articles/10.5802/aif.1834/
%R 10.5802/aif.1834
%G fr
%F AIF_2001__51_3_707_0

Hickel, Michel. Solution d'une conjecture de C. Berenstein - A. Yger et invariants de contact à l'infini. Annales de l'Institut Fourier, Tome 51 (2001) no. 3, pp. 707-744. doi : 10.5802/aif.1834. http://www.numdam.org/articles/10.5802/aif.1834/

Bibliographie
Cité par

[A1] F. Amoroso Tests d'appartenance d'après un théorème de J. Kollár, C.R. Acad. Sci. Paris, Série I, Math., Volume 309 (1989), pp. 691-694 | MR | Zbl

[A2] F. Amoroso; éd. P. Philippon Membership Problem, Approximation diophantienne et nombres Transcendants, Luminy 1990 (1992), pp. 1-13 | Zbl

[A3] F. Amoroso On a conjecture of C. Berenstein and A. Yger, Progress in Mathematics, vol. 143, Birkhäuser verlag, 1996 | MR | Zbl

[AHV1] J.M. Aroca; H. Hironaka; J.L. Vicente The theory of the maximal contact, Memorias de Mathematica del Instituto ``Jorge Juan'', Madrid (1975) no. 29 | MR | Zbl

[AHV2] J.M. Aroca; H. Hironaka; J.L. Vicente Desingularization theorems, Memorias de Matematica del Instituto ``Jorge Juan'', Madrid (1977) no. 30 | Zbl

[B1] W.D. Brownawell Bounds for the degrees in the Nullstellensatz, Ann. of Math, Volume 126 (1987), pp. 577-591 | DOI | MR | Zbl

[B2] W.D. Brownawell A prime product version of the Nullstellensatz, Michigan Math. Journal, Volume 45 (1998), pp. 581-597 | DOI | MR | Zbl

[BS] J. Briançon; H. Skoda Sur la clôture intégrale d'un idéal de germes de fonctions holomorphes en un point de $ℂ^{n}$ , C.R. Acad. Sci. Paris, Série A, Math., Volume 278 (1974), pp. 949-951 | MR | Zbl

[BY1] C.A. Berenstein; A. Yger Bounds for the degrees in the division Problem, Michigan Math. J, Volume 37 (1990) no. 1, pp. 25-43 | DOI | MR | Zbl

[BY2] C.A. Berenstein; A. Yger; éd. P. Philippon Formules de représentation intégrale et problèmes de division, Approximation diophantiennes et nombres transcendants Luminy 1990 (1992), pp. 16-37 | Zbl

[BY3] C.A. Berenstein; A. Yger Residue calculus and effective Nullstellensatz, American Journal of Mathematics, Volume 121 (1999), pp. 723-796 | DOI | MR | Zbl

[CKT] E. Cygan; I. Krasinski; P. Tworzewski Separation of algebraic sets and the Łojasiewicz exponent of polynomial mappings, Invent. Math, Volume 136 (1999), pp. 75-87 | DOI | Zbl

[EL] L. Ein; R. Lazarsfeld A Geometric effective Nullstellensatz, Invent. Math, Volume 137 (1999), pp. 427-448 | DOI | MR | Zbl

[F] W. Fulton Intersection theory, Ergebnisse der mathematic und ihrer Grenzgebiete, 3 Folge, band, Springer Verlag, 1984 | MR | Zbl

[H] G. Hermann Die Frage der endlich vielen Schritter in der theorie polynomial ideale, Math. Ann, Volume 95 (1926), pp. 736-788 | DOI | JFM | MR

[Hi1] M. Hickel Fontion de Artin et germes de courbes tracées sur un germe d'espace analytique, American Journal of Mathematics, Volume 115 (1993) no. 6, pp. 1299-1335 | DOI | MR | Zbl

[Hi2] M. Hickel Sur l'ubiquité d'un théorème de J. Briançon-H. Skoda, Effectivity problems algebraic and analytic methods, University of Calabria (Italie) (juin 1998), pp. 22-28

[HIO] M. Herman; S. Ikoda; U. Orbanz Equimultiplicity and blowing up. An algebraic study with an appendice by B. Moonen, Springer-Verlag, 1988 | MR | Zbl

[Hir] H. Hironaka Introduction to the theory of infinitely near singular points, Memorias de Mathematica del Instituto ``Jorge Juan'', Madrid (1974) no. 28 | MR | Zbl

[JKS] S. Ji; J. Kollár; B. Shiffman A global Łojasiewicz inéquality for algebraic varieties, Transactions of the American Mathematical Society, Volume 129 (1992) no. 2, pp. 813-818 | DOI | Zbl

[K1] J. Kollár Sharp effective Nullstenellensatz, Journal of the American Mathematical Society, Volume 1 (1988), pp. 963-975 | MR | Zbl

[K2] J. Kollár Effective Nullstellensatz for arbitrary ideals, J. Eur. Math. Soc., Volume 1 (1999), pp. 313-337 | DOI | MR | Zbl

[LS] J. Lipman; A. Sathaye Jacobian ideals and a theorem of J. Briançon-H. Skoda, Michigan Math. J, Volume 28 (1981), pp. 199-222 | DOI | MR | Zbl

[LT] M. Lejeune; B. Teissier Clôture intégrale des idéaux et équisingularité, Séminaire Lejeune-Tessier, centre de Mathématiques école Polytechnique, Volume chapitre 1 (1974)

[LTe] J. Lipman; B. Teissier Pseudo-Rational local rings and a theorem of Briançon-Skoda about integral closure of ideals, Michigan Math. J, Volume 28 (1981), pp. 97-116 | DOI | MR | Zbl

[M] H. Matsumura Commutative ring theory, Cambridge Studies in Advanced Mathematics, no 8, Cambridge University Press, 1989 | MR | Zbl

[MM] E. Mayr; A. Meyer The complexity of the word problem for commutative semi-groups and polynomial ideals, Adv. in Math, Volume 46 (1982), pp. 305-329 | DOI | MR | Zbl

[NR] D.G. Northcott; D. Rees Reductions of Ideals in local rings, Proceedings of the Cambridge Philosophical Society, Volume 50 (1984) no. part 2, pp. 145-158 | MR | Zbl

[P] P. Philippon Théorème des zéros effectifs d'après J. Kollár, Problèmes diophantiens 1987/88, Volume no 88 (1988)

[Ray] M. Raynaud Contre exemple au "Vanishing theorem" en caractéristique positive, C.P. Ramanujan a tribute (Tata Inst. Res. Studies in Math.), Volume no 8, pp. 273-278 | Zbl

[Re] D. Rees Lectures on the asymptotic theory of ideals, London mathematical Society Lectures Notes Series, 113, Cambridge University Press | Zbl

[S] P. Samuel Some asymptotic properties of ideals, Ann. of Math, Volume 56 (1952), pp. 11-21 | DOI | MR | Zbl

[Te1] B. Teissier Variétés polaires I, Invariants polaires des singularités d'hypersurfaces, Invent. Math, Volume 40, pp. 267-292 | MR | Zbl

[Te2] B. Teissier Variétés polaires II, Multiplicités polaires, sections planes et conditions de Whitney, proceedings La Rabida (L.N. in Mathematics), Volume no 961 (1981) | Zbl

[Te3] B. Teissier Résultats récents d'algèbre commutative effective, Séminaire Bourbaki 1989-90, Volume no 178 (42ème année) | Numdam | Zbl

[ZS] O. Zariski; P. Samuel Commutative algebra, vol. 1 ; vol. 2, Van Nostrand, New York, 1958 ; 1960 | Zbl

Cité par Sources :