Sur l'approximation algébrique en degré de transcendance un

Michel Laurent; Damien Roy

Annales de l'institut Fourier (1999)

  • Volume: 49, Issue: 1, page 27-55
  • ISSN: 0373-0956

Abstract

top
Let 𝒞 be an affine algebraic curve in ℂ m defined over ℚ and let θ _ be a point on 𝒞 which is not algebraic. We assert the existence of infinitely many “good” approximations of θ _ by algebraic points on 𝒞 with bounded size and degree, the upper bounds of the degree and the size belonging to sequences satisfying some growth conditions. We also prove some lower bound for the degree of these approximations, refining a result due to Wirsing. As a corollary, we obtain a criterion of algebraic independence with multiplicities along the curve 𝒞 . The paper is completed by an appendix of differential calculus containing an explicit formula for the Taylor’s coefficients of an implicit function.

How to cite

top

Laurent, Michel, and Roy, Damien. "Sur l'approximation algébrique en degré de transcendance un." Annales de l'institut Fourier 49.1 (1999): 27-55. <http://eudml.org/doc/75336>.

@article{Laurent1999,
abstract = {Soient $\{\cal C\}$ une courbe algébrique affine de $\{\Bbb C\}^m$ définie sur $\{\Bbb Q\}$, et $\underline\{\theta \}$ un point de $\{\cal C\}$ qui n’est pas algébrique. On démontre l’existence d’une infinité de “bonnes” approximations de $\underline\{\theta \}$ par des points algébriques de $\{\cal C\}$ de degré et taille bornés, les majorants du degré et de la taille étant choisis à l’intérieur de suites satisfaisant certaines conditions de croissance modérée. On établit aussi une minoration du degré de ces bonnes approximations, raffinant ainsi un résultat de Wirsing. Comme corollaire, nous obtenons un critère d’indépendance algébrique avec multiplicités le long de la courbe $\{\cal C\}$. L’article est complété par un appendice de calcul différentiel contenant une formule explicite pour les coefficients de Taylor d’une fonction implicite.},
author = {Laurent, Michel, Roy, Damien},
journal = {Annales de l'institut Fourier},
keywords = {diophantine approximation; algebraic independence; transcendence; affine algebraic curve; logarithmic height; upper estimates on heights; Taylor coefficients of an implicit function},
language = {fre},
number = {1},
pages = {27-55},
publisher = {Association des Annales de l'Institut Fourier},
title = {Sur l'approximation algébrique en degré de transcendance un},
url = {http://eudml.org/doc/75336},
volume = {49},
year = {1999},
}

TY - JOUR
AU - Laurent, Michel
AU - Roy, Damien
TI - Sur l'approximation algébrique en degré de transcendance un
JO - Annales de l'institut Fourier
PY - 1999
PB - Association des Annales de l'Institut Fourier
VL - 49
IS - 1
SP - 27
EP - 55
AB - Soient ${\cal C}$ une courbe algébrique affine de ${\Bbb C}^m$ définie sur ${\Bbb Q}$, et $\underline{\theta }$ un point de ${\cal C}$ qui n’est pas algébrique. On démontre l’existence d’une infinité de “bonnes” approximations de $\underline{\theta }$ par des points algébriques de ${\cal C}$ de degré et taille bornés, les majorants du degré et de la taille étant choisis à l’intérieur de suites satisfaisant certaines conditions de croissance modérée. On établit aussi une minoration du degré de ces bonnes approximations, raffinant ainsi un résultat de Wirsing. Comme corollaire, nous obtenons un critère d’indépendance algébrique avec multiplicités le long de la courbe ${\cal C}$. L’article est complété par un appendice de calcul différentiel contenant une formule explicite pour les coefficients de Taylor d’une fonction implicite.
LA - fre
KW - diophantine approximation; algebraic independence; transcendence; affine algebraic curve; logarithmic height; upper estimates on heights; Taylor coefficients of an implicit function
UR - http://eudml.org/doc/75336
ER -

References

top
  1. [1] J.B. BOST, H. GILLET et C. SOULÉ, Heights of projective varieties and positive Green forms, J. Amer. Math. Soc., 7 (1994), 903-1022. Zbl0973.14013MR95j:14025
  2. [2] D. BROWNAWELL, Sequences of Diophantine approximations, J. Number Theory, 6 (1974), 10-21. Zbl0275.10019MR49 #2572
  3. [3] M. CHARDIN, Contributions à l'algèbre commutative effective et à la théorie de l'élimination, Thèse de doctorat de l'Université Pierre et Marie Curie (1990). 
  4. [4] G.V. CHOODNOVSKY, Contributions to the theory of transcendental numbers, Math. Surveys and Monographs, 19, A.M.S. (1984). Zbl0594.10024MR87a:11004
  5. [5] L. COMTET, Analyse combinatoire, tome premier, Collection Sup. Le mathématicien, Presses Universitaires de France, 1970. Zbl0221.05001MR41 #6697
  6. [6] G. DIAZ, Une nouvelle propriété d'approximation diophantienne, C. R. Acad. Sci. Paris, 324 (1997), 969-972. Zbl0899.11033MR98d:11080
  7. [7] R. HARTSHORNE, Algebraic Geometry, Graduate Texts in Mathematics, 52, Springer-Verlag, 1977. Zbl0367.14001
  8. [8] A. JOYAL, Une théorie combinatoire des séries formelles, Advance in Math., 42 (1981), 1-82. Zbl0491.05007MR84d:05025
  9. [9] G. LABELLE, Une combinatoire sous-jacente au théorème des fonctions implicites, J. Comb. Theory Ser. A, 40 (1985), 377-393. Zbl0613.05006MR87c:05007
  10. [10] M. LAURENT, New methods in algebraic independence, in: Number Theory, Eds.: Györy, Pethö and Sos, Walter de Gruyter, Berlin, 1998, 311-330. Zbl0933.11039MR99e:11100
  11. [11] M. LAURENT et D. ROY, Criteria of algebraic independence with multiplicities and interpolation determinants, Trans. Amer. Math. Soc., à paraître. Zbl0923.11106
  12. [12] K. MAHLER, On some inequalities for polynomials in several variables, J. London Math. Soc., 37 (1962), 341-344. Zbl0105.06301MR25 #2036
  13. [13] D. MUMFORD, Algebraic geometry I: Complex Projective Varieties, 2-ième éd., Springer-Verlag, 1995. Zbl0821.14001
  14. [14] P. PHILIPPON, Critères pour l'independance algébrique, Pub. Math. IHES, 64 (1986), 5-52. Zbl0615.10044MR88h:11048
  15. [15] P. PHILIPPON, Sur les hauteurs alternatives III, J. Math. Pures Appl., 74 (1994), 345-365. Zbl0878.11025MR97a:11098
  16. [16] P. PHILIPPON, Une approche méthodique pour la transcendance et l'indépendance algébrique de valeurs de fonctions analytiques, J. Number Theory, 64 (1997), 291-338. Zbl0901.11026MR98i:11052
  17. [17] D. ROY et M. WALDSCHMIDT, Approximation diophantienne et indépendance algébrique de logarithmes, Ann. Sci. École Norm. Sup., 30 (1997), 753-796. Zbl0895.11030MR98f:11077
  18. [18] D. ROY et M. WALDSCHMIDT, Simultaneous approximation and algebraic independence, Ramanujan Math. J., 1 (1997), 379-430. Zbl0916.11042MR99a:11090
  19. [19] M. WALDSCHMIDT, Suites colorées, exposé 21, Séminaire Delange-Pisot-Poitou, (Groupe d'étude de théorie des nombres), 17-ième année, 1975/1976, n° G21, 11p. Zbl0348.10024
  20. [20] M. WALDSCHMIDT, Linear independence of logarithms of algebraic numbers, The institute of Mathematical Sciences, Madras, IMSc. Report 116, 1992, http://www.math.jussieu.fr/~miw. Zbl0809.11038
  21. [21] E. WIRSING, Approximation mit algebraischen Zahlen beschränkten Grades, J. reine angew. Math., 206 (1961), 67-77. Zbl0097.03503MR26 #79

NotesEmbed ?

top

You must be logged in to post comments.