The main results of this thesis describe a relationship between two families of arithmetic divisors on an integral model of a Shimura curve. The first family, studied by Kudla, Rapoport and Yang, parametrizes abelian surfaces with specified endomorphism structure. The second family is comprised of pullbacks of arithmetic cycles on integral models of Shimura varieties associated to unitary groups of signature (1,1). In the thesis, we construct these families of cycles, and describe their relationship, which is expressed in terms of the ``Shimura lift", a classical tool in the theory of modular forms of half-integral weight. This relations can be viewed as further evidence for the modularity of generating series of arithmetic "special cycles" for U(1,1), and fits broadly into Kudla's programme for unitary groups.

Doctor of Philosophy (PhD) / In this work, we investigate methods for computing explicitly with homomorphisms (and particularly endomorphisms) of Jacobian varieties of algebraic curves. Our principal tool is the theory of correspondences, in which homomorphisms of Jacobians are represented by divisors on products of curves. We give families of hyperelliptic curves of genus three, five, six, seven, ten and fifteen whose Jacobians have explicit isogenies (given in terms of correspondences) to other hyperelliptic Jacobians. We describe several families of hyperelliptic curves whose Jacobians have complex or real multiplication; we use correspondences to make the complex and real multiplication explicit, in the form of efficiently computable maps on ideal class representatives. These explicit endomorphisms may be used for efficient integer multiplication on hyperelliptic Jacobians, extending Gallant--Lambert--Vanstone fast multiplication techniques from elliptic curves to higher dimensional Jacobians. We then describe Richelot isogenies for curves of genus two; in contrast to classical treatments of these isogenies, we consider all the Richelot isogenies from a given Jacobian simultaneously. The inter-relationship of Richelot isogenies may be used to deduce information about the endomorphism ring structure of Jacobian surfaces; we conclude with a brief exploration of these techniques.

Le théorème de Gauss sur les sommes de 3 carrés relie le nombre de points entiers primitifs sur la sphère de rayon la racine carrée de n au nombre de classes d'un ordre quadratique imaginaire. En 2011, Edixhoven a esquissée une preuve du théorème de Gauss en utilisant une approche de la géométrie arithmétique. Il a utilisé l'action du groupe orthogonal spécial sur la sphère et a donné une bijection entre l'ensemble des SO3(Z)-orbites de tels points, si non vide, avec l'ensemble des classes d'isomorphisme de torseurs sous le stabilisateur. Ce dernier ensemble est un groupe, isomorphe au groupe des classes d'isomorphisme de modules projectifs de rang 1 sur l'anneau Z[1/2, √- n], ce qui donne une structure d'espace affine sur l'ensemble des SO3(Z)-orbites sur la sphère. Au chapitre 3 de cette thèse, nous donnons une démonstration complète du théorème de Gauss suivant les travaux d'Edixhoven. Nous donnons aussi une nouvelle preuve du théorème de Legendre sur l'existence d'une solution entière primitive de l'équation x2 + y2 + z2 = n en utilisant la théorie des faisceaux. Nous montrons au chapitre 4 comment obtenir explicitement l'action, donnée par la méthode des faisceaux, du groupe des classes sur l'ensemble des SO3(Z)-orbites sur la sphère en termes de SO3(Q). / Gauss's theorem on sums of 3 squares relates the number of primitive integer points on the sphere of radius the square root of n with the class number of some quadratic imaginary order. In 2011, Edixhoven sketched a different proof of Gauss's theorem by using an approach from arithmetic geometry. He used the action of the special orthogonal group on the sphere and gave a bijection between the set of SO3(Z)-orbits of such points, if non-empty, with the set of isomorphism classes of torsors under the stabilizer group. This last set is a group, isomorphic to the group of isomorphism classes of projective rank one modules over the ring Z[1/2, √- n]. This gives an affine space structure on the set of SO3(Z)-orbits on the sphere. In Chapter 3 we give a complete proof of Gauss's theorem following Edixhoven's work and a new proof of Legendre's theorem on the existence of a primitive integer solution of the equation x2 + y2 + z2 = n by sheaf theory. In Chapter 4 we make the action given by the sheaf method of the Picard group on the set of SO3(Z)-orbits on the sphere explicit, in terms of SO3(Q). / De stelling van Gauss over sommen van 3 kwadraten relateert het aantal primitieve gehele punten op de bol van straal de vierkantswortel van n aan het klassengetal van een bepaalde imaginaire kwadratisch orde. In 2011 schetste Edixhoven een ander bewijs van deze stelling van Gauss metbehulp van aritmetische meetkunde. Hij gebruikte de actie van de special orthogonale groep op de bol en gaf een bijectie tussen de verzameling van SO3(Z)-banen van dergelijke punten, als die niet leeg is, met de verzameling van isomor_e klassen van torsors onder de stabilisator groep. Deze laatste verzameling is een groep, isomorf met de groep van isomor_e klassen van projectieve rang _e_en modulen over de ring Z[1/2, √- n]. Dit geeft een a_ene ruimte structuur op de verzameling van SO3(Z)-banen op de bol. In Hoofdstuk 3 geven we een volledig bewijs van de stelling van Gauss zoals geschetst door Edixhoven, en een nieuw bewijs van Legendre's stelling over het bestaan van een primitieve gehele oplossing van de vergelijking x2 +y2 +z2 = n met schoven theorie. In hoofdstuk 4 maken we de werking gegeven door de schoven theorie van de Picard groep op de verzameling van SO3(Z)-banen op de bol expliciet, in termen van SO3(Q).

We provide an explicit algorithm for computing the trace of an endomorphism of an elliptic curve which is given by a chain of small-degree isogenies. We analyze its complexity, determining that if the length of the chain, the degree of the isogenies, and the log of the field-size are all O(n), the trace of the endomorphism can be computed in O(n⁶) bit operations. This makes explicit a theorem of Kohel which states that such a polynomial time algorithm exists. The given procedure is based on Schoof's point-counting algorithm. / Master of Science / The developing technology of quantum computers threatens to render current cryptographic systems (that is, systems for protecting stored or transmitted digital information from unauthorized third parties) ineffective. Among the systems proposed to ensure information security against attacks by quantum computers is a cryptographic scheme known as SIKE. In this thesis, we provide and analyze an algorithm that comprises one piece of a potential attack against SIKE by a classical computer. The given algorithm is also useful more generally in the field of arithmetic geometry.

Thesis advisor: Benjamin Howard / This dissertation gives a description of the GL(4) Rapoport-Zink space, including the connected components, irreducible components, intersection behavior of the irreducible components, and Ekedahl-Oort stratification. As an application of this, this dissertation also includes a description of the supersingular locus of the Shimura variety for the group GU(2,2) over a prime split in the relevant imaginary quadratic field. / Thesis (PhD) — Boston College, 2019. / Submitted to: Boston College. Graduate School of Arts and Sciences. / Discipline: Mathematics.

The birational variant of Grothendieck's section conjecture proposes a characterisation of the rational points of a curve over a finitely generated field over Q in terms of the sections of the absolute Galois group of its function field. While the p-adic version of the birational section conjecture has been proven by Jochen Koenigsmann, and improved upon by Florian Pop, the conjecture in its original form remains very much open. One hopes to deduce the birational section conjecture over number fields from the p-adic version by invoking a local-global principle, but if this is achieved the problem remains to deduce from this that the conjecture holds over all finitely generated fields over Q. This is the problem that we address in this thesis, using an approach which is inspired by a similar result by Mohamed Saïdi concerning the section conjecture for étale fundamental groups. We prove a conditional result which says that, under the condition of finiteness of certain Shafarevich-Tate groups, the birational section conjecture holds over finitely generated fields over Q if it holds over number fields.

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.

Dans cette thèse on étudie certains phénomènes d'interactions entre caractéristique positive et caractéristique nulle. Dans un premier temps on s'occupe du problème de relèvement locale d'actions de groupes. On y montre des conditions nécessaires pour l'existence de relèvement de certains actions du groupe Z/pZ x Z/pZ. Pour une action d'un groupe fini quelconque, on y étudie les arbres de Hurwitz, en montrant que chaque arbre de Hurwitz admet un plongement dans le disque unitaire fermé de Berkovich et que ses données de Hurwitz peuvent être décrites de façon analytique. Dans une deuxième partie nous construisons un analogue de la représentation de Weil à coefficients dans un anneau intègre, et nous montrons que cela satisfait les mêmes propriétés que dans le cas de coefficients complexes / In this thesis, we study the interplay between positive and zero characteristic. In a first instance, we deal with the local lifting problem of lifting actions of curves. We show necessary conditions for the existence of liftings of some actions of Z/pZ x Z/pZ. Then, for an action of a general finite group, we study the associated Hurwitz tree, showing that every Hurwitz tree has a canonical metric embedding in the Berkovich closed unit disc, and that the Hurwitz data can be described analytically.In the last chapter, we define an analog of the Weil representation with coefficients in an integral domain, showing that such representation satisfies the same properties than in the case with complex coefficients

京都大学 / 新制・課程博士 / 博士(理学) / 甲第24395号 / 理博第4894号 / 新制||理||1699(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 玉川 安騎男, 教授 並河 良典, 教授 望月 新一 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

We define and study the fundamental pro-finite 2-groupoid of varieties X defined over a field k. This is a higher algebraic invariant of a scheme X, analogous to the higher fundamental path 2-groupoids as defined for topological spaces. This invariant is related to previously defined invariants, for example the absolute Galois group of a field, and Grothendieck’s étale fundamental group. The special case of Brauer-Severi varieties is considered, in which case a “sections conjecture” type theorem is proved. It is shown that a Brauer-Severi variety X has a rational point if and only if its étale fundamental 2-groupoid has a special sort of section.