Let X denote a reduced algebraic variety and D a Weil divisor on X. The pair (X,D) is said to be semi-simple normal crossings (semi-snc) at a in X if X is simple normal crossings at a (i.e., a simple normal crossings hypersurface, with respect to a local embedding in a smooth ambient variety), and D is induced by the restriction to X of a hypersurface that is simple normal crossings with respect to X. For a pair (X,D), over a field of characteristic zero, we construct a composition of blowings-up f:X'-->X such that the transformed pair (X',D') is everywhere semi-simple normal crossings, and f is an isomorphism over the semi-simple normal crossings locus of (X,D). The result answers a question of Kolla'r.

Let X denote a reduced algebraic variety and D a Weil divisor on X. The pair (X,D) is said to be semi-simple normal crossings (semi-snc) at a in X if X is simple normal crossings at a (i.e., a simple normal crossings hypersurface, with respect to a local embedding in a smooth ambient variety), and D is induced by the restriction to X of a hypersurface that is simple normal crossings with respect to X. For a pair (X,D), over a field of characteristic zero, we construct a composition of blowings-up f:X'-->X such that the transformed pair (X',D') is everywhere semi-simple normal crossings, and f is an isomorphism over the semi-simple normal crossings locus of (X,D). The result answers a question of Kolla'r.

京都大学 / 新制・課程博士 / 博士(理学) / 甲第24387号 / 理博第4886号 / 新制||理||1699(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 森脇 淳, 教授 雪江 明彦, 教授 吉川 謙一 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

Le comptage des points rationnels est un problème classique en géométrie diophantienne. On s’intéresse à des majorations du nombre des points rationnels de hauteur bornée qui sont valables pour toute hypersurface arithmétique de degré fixé d’un espace projectif. Dans ce but, on construit une famille d’hypersurfaces auxiliaires qui contiennent tous les points rationnels de hauteur bornée mais ne contiennent pas le point générique de l’hypersurface initiale. Plusieurs outils géométriques sont développés ou adaptés dans le cadre de la géométrie d’Arakelov et de la géométrie diophantienne afin d’appliquer la méthode des déterminants par la langage de la géométrie d’Arakelov, notamment une majoration et une minoration explicite uniforme de la fonction de Hilbert-Samuel arithmétrique d’une hypersurface. Pour un schéma projectif réduit de dimension pure sur un anneau d’entiers algébriques, on donne une majoration du nombre des places sur lesquelles la fibre ne soit pas réduite. Cette majoration est utile pour la construction des hypersurfaces auxiliaires mentionnées au-dessus. De plus, la géométrie sur un corps fini joue un rôle important dans ce problème. Dans ce travail, l’un des ingrédients clé dans ce travail est une majoration effective liée à une fonction de comptage des multiplicités des points rationnels dans une hypersurface projective réduite définie sur un corps fini, qui donne une description de la complexité de son lieu singulier. Pour ce problème de comptage de multiplicités, l’outil principal est la théorie d’intersection sur un espace projectif. / Counting rational points is a classical problem in Diophantine geometry. We are interested inupper bounds for the number of rational points of bounded height of an arithmetic hypersurface with bounded degree in a projective space. For this propose, we construct a family of auxiliary hypersurfaces which contain all these rational points of bounded height but don’t contain the generic point of this hypersurface. Several tools of Arakelov geometry and Diophantine geometry are developed or adapted in this work in order to apply the determinant method by the approach of Arakelov geometry, especially a uniform explicit upper bound and a uniform explicit lower bound of the arithmetic Hilbert-Samuel function of a hypersurface. For a reduced pure dimensional projective scheme over a ring of algebraic integers, we give an upper bound of the number of places over which the fiber is not reduced any longer. This upper bound is useful for the construction of these auxilary hypersurfaces mentioned above. In addition, the geometry over a finite field plays an important role in this problem. One of the key ingredients in this work is an e_ective upper bound for a counting function of multiplicities of rational points in a reduced projective hypersurface defined over a finite field, which gives a description of the complexity of its singular locus. For this problem of counting multiplicities, the major tool is intersection theory on a projective space