Not available / text

Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.

In recent years the field of real numbers expanded by a multiplicative subgroup has been studied extensively. In this thesis, the known results will be extended to expansions of the real field. I will consider the structure R consisting of the field of real numbers and an irrational power function. Using Schanuel conditions, I will give a first-order axiomatization of expansions of R by a dense multiplicative subgroup which is a subset of the real algebraic numbers. It will be shown that every definable set in such a structure is a boolean combination of existentially definable sets and that these structures have o-minimal open core. A proof will be given that the Schanuel conditions used in proving these statements hold for co-countably many real numbers. The results mentioned above will also be established for expansions of R by dense multiplicative subgroups which are closed under all power functions definable in R. In this case the results hold under the assumption that the Conjecture on intersection with tori is true. Finally, the structure consisting of R and the discrete multiplicative subgroup 2^{Z} will be analyzed. It will be shown that this structure is not model complete. Further I develop a connection between the theory of Diophantine approximation and this structure.

In the first part of this thesis, we present the first non-trivial small value estimate that applies to an algebraic group of dimension 2 and which involves large sets of points. The algebraic group that we consider is the product ℂ× ℂ*, of the additive group ℂ by the multiplicative group ℂ*. Our main result assumes the existence of a sequence (PD)D ≥1 of non-zero polynomials in ℤ [X1, X2] taking small absolute values at many translates of a fixed point (ξ, η) in ℂ × ℂ* by consecutive multiples of a rational point (r, s) ∈ (ℚ*)2 with s = ±1. Under precise conditions on the size of the coefficients of the polynomials PD, the number of translates of (ξ, η) and the absolute values of the polynomials PD at these points, we conclude that both ξ and η are algebraic over ℚ. We also show that the conditions that we impose are close from being best possible upon comparing them with what can be achieved through an application of Dirichlet’s box principle. In the second part of the thesis, we consider points of the form θ = (1,θ1 , . . . ,θd-1 ,ξ) where {1,θ1 , . . . ,θd-1 } is a basis of a real number field K of degree d ≥ 2 over ℚ and where ξ is a real number not in K. Our main results provide sharp upper bounds for the uniform exponent of approximation to θ by rational points, denoted λ ̂(θ), and for its dual uniform exponent of approximation, denoted τ ̂(θ). For d = 2, these estimates are best possible thanks to recent work of Roy. We do not know if they are best possible for other values of d. However, in Chapter 2, we provide additional information about rational approximations to such a point θ assuming that its exponent λ ̂(θ) achieves our upper bound. In the course of the proofs, we introduce new constructions which are interesting by themselves and should be useful for future research.

L'étude de la distribution des points rationnels sur les variétés algébriques est un sujet classique de la géométrie diophantienne. Le programme proposé par V. Batyrev et Y. Manin dans des années 90 donne une prédiction sur l'ordre de croissance tandis que sa version ultérieure dûe à E. Peyre conjecture l'existence d'une distribution globale. Dans cette thèse nous nous proposons une étude de la distribution locale des points rationnels de hauteur bornée sur les variétés algébriques. Ceci envisage une description plus fine que celle globale en dénombrant les points le plus proche d'un point fixé. Nous nous plaçons sur le cadre récent du travail de D. McKinnon et M. Roth qui met en évidence que la géométrie de la variété gouverne l'approximation diophantienne sur elle et nous reprenons les résultats de S. Pagelot. L'ordre de croissance espéré et l'existence d'une mesure asymptotique sur certaines surfaces toriques sont démontrés, alors que démontrons-nous un résultat totalement différent pour une autre surface sur laquelle il n'y pas de mesure asymptotique et les meilleurs approximants génériques s'obtiennent sur des courbes rationnelles nodales. Ces deux phénomènes sont de nature radicalement différente au point de vu de l'approximation diophantienne. / The study of the distribution of rational points on algebraic varieties is a classic subject of Diophantine geometry. The program proposed by V. Batyrev and Y. Manin in the 1990s gives a prediction on the order of growth whereas its later version due to E. Peyre conjectures the existence of a global distribution. In this thesis we propose a study of the local distribution of rational points of bounded height on algebraic manifolds. This aims at giving a description finer than the global one by counting the points closest to a fixed point. We set ourselves on the recent framework of the work of D. McKinnon and M. Roth who prefers that the geometry of the variety governs the Diophantine approximation on it and we take up the results of S. Pagelot. The expected order of growth and the existence of an asymptotic measure on some toric surfaces are demonstrated, while we demonstrate a totally different result for another surface on which there is no asymptotic measure and the best generic approximates are obtained on nodal rational curves. These two phenomena are of a radically different nature from the point of view of the Diophantine approximation.

In the first part of this thesis, we present the first non-trivial small value estimate that applies to an algebraic group of dimension 2 and which involves large sets of points. The algebraic group that we consider is the product ℂ× ℂ*, of the additive group ℂ by the multiplicative group ℂ*. Our main result assumes the existence of a sequence (PD)D ≥1 of non-zero polynomials in ℤ [X1, X2] taking small absolute values at many translates of a fixed point (ξ, η) in ℂ × ℂ* by consecutive multiples of a rational point (r, s) ∈ (ℚ*)2 with s = ±1. Under precise conditions on the size of the coefficients of the polynomials PD, the number of translates of (ξ, η) and the absolute values of the polynomials PD at these points, we conclude that both ξ and η are algebraic over ℚ. We also show that the conditions that we impose are close from being best possible upon comparing them with what can be achieved through an application of Dirichlet’s box principle. In the second part of the thesis, we consider points of the form θ = (1,θ1 , . . . ,θd-1 ,ξ) where {1,θ1 , . . . ,θd-1 } is a basis of a real number field K of degree d ≥ 2 over ℚ and where ξ is a real number not in K. Our main results provide sharp upper bounds for the uniform exponent of approximation to θ by rational points, denoted λ ̂(θ), and for its dual uniform exponent of approximation, denoted τ ̂(θ). For d = 2, these estimates are best possible thanks to recent work of Roy. We do not know if they are best possible for other values of d. However, in Chapter 2, we provide additional information about rational approximations to such a point θ assuming that its exponent λ ̂(θ) achieves our upper bound. In the course of the proofs, we introduce new constructions which are interesting by themselves and should be useful for future research.

: La théorie géométrique des invariants constitue un domaine central de la géométrie algébrique d'aujourd'hui : développée par Mumford au début des années soixante, elle a conduit à des progrès considérables dans l'étude des variétés projectives, notamment par la construction d'espaces de modules. Dans les vingt dernières années des interactions entre la théorie géométrique des invariants et la géométrie arithmétique -- plus précisément la théorie des hauteurs et la géométrie d'Arakelov -- ont été étudiés par divers auteurs (Burnol, Bost, Zhang, Soulé, Gasbarri, Chen). Dans cette thèse nous nous proposons d'un côté d'étudier de manière systématique la théorie géométrique des invariants dans le cadre de la géométrique d'Arakelov ; de l'autre de montrer que ces résultats permettent une nouvelle approche géométrique (distincte aussi de la méthode des pentes développée par Bost) aux résultats d'approximation diophantienne, tels que le Théorème de Roth et ses généralisations par Lang, Wirsing et Vojta. / Geometric invariant theory is a central subject in nowadays' algebraic geometry : developed by Mumford in the early sixties, it enhanced the knowledge of projective varieties through the construction of moduli spaces. During the last twenty years, interactions between geometric invariant theory and arithmetic geometric --- more precisely, height theory and Arakelov geometry --- have been exploited by several authors (Burnol, Bost, Zhang, Soulé, Gasbarri, Chen). In this thesis we firstly study in a systematic way how geometric invariant theory fits in the framework of Arakelov geometry; then we show that these results give a new geometric approach to questions in diophantine approximation, proving Roth's Theorem and its recent generalizations by Lang, Wirsing and Vojta.

Neste trabalho estudamos o célebre Teorema de Klaus F. Roth para aproximações diofantinas, também conhecido como Teorema de Thue-Siegel-Roth. Nossos objetivos consistem em fazer um estudo abrangente da evolução do problema, que se iniciou com um resultado de Liouville em 1844, e chegar à completa compreensão das ideias e das técnicas utilizadas na demonstração do Teorema de Roth. / In this work we study the celebrated Klaus F. Roth\'s Theorem in Diophantine approximations, also known as the Thue-Siegel-Roth Theorem. Our goals are to make a comprehensive study of the evolution of the problem that started with a result of Liouville in 1844 and achieve full understanding of ideas and techniques used in the proof of the Roth\'s Theorem.

Neste trabalho estudamos o célebre Teorema de Klaus F. Roth para aproximações diofantinas, também conhecido como Teorema de Thue-Siegel-Roth. Nossos objetivos consistem em fazer um estudo abrangente da evolução do problema, que se iniciou com um resultado de Liouville em 1844, e chegar à completa compreensão das ideias e das técnicas utilizadas na demonstração do Teorema de Roth. / In this work we study the celebrated Klaus F. Roth\'s Theorem in Diophantine approximations, also known as the Thue-Siegel-Roth Theorem. Our goals are to make a comprehensive study of the evolution of the problem that started with a result of Liouville in 1844 and achieve full understanding of ideas and techniques used in the proof of the Roth\'s Theorem.

For a dynamical system on a metric space a shrinking-target set consists of those points whose orbit hit a given ball of shrinking radius infinitely often. Historically such sets originate in Diophantine approximation, in which case they describe the set of well-approximable numbers. One aspect of such sets that is often studied is their Hausdorff dimension. We will show that an analogue of Bowen's dimension formula holds for such sets when they are generated by conformal non-autonomous iterated function systems satisfying some natural assumptions.