Source author record

Jeffrey Yelton

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
1close collaborators

Published work

3 publications

preprint2020arXiv

Prime-to-pp étale fundamental groups of punctured projective lines over strictly Henselian fields

Let KK be the fraction field of a strictly Henselian DVR of characteristic p≥0p \geq 0 with algebraic closure Kˉ\bar{K}, and let α1,...,αd∈PK1(K)α_{1}, ..., α_{d} \in \mathbb{P}_{K}^{1}(K). In this paper, we give explicit generators and relations for the prime-to-pp étale fundamental group of PK1∖{α1,...,αd}\mathbb{P}_K^1\smallsetminus\{α_1,...,α_d\} that depend (solely) on their intersection behavior. This is done by a comparison theorem that relates this situation to a topological one. Namely, let a1,...,ada_{1}, ..., a_{d} be distinct power series in C[[x]]\mathbb{C}[[x]] with the same intersection behavior as the αiα_i's, converging on an open disk centered at 00, and choose a point z0≠0z_{0} \neq 0 lying in this open disk. We compare the natural action of Gal(K)\mathrm{Gal}(K) on the prime-to-pp étale fundamental group of PKˉ∖{α1,...,αd}\mathbb{P}_{\bar{K}} \smallsetminus \{α_{1}, ..., α_{d}\} to the topological action of looping z0z_0 around the origin on the fundamental group of PC1∖{a1(z0),...,ad(z0)}\mathbb{P}_{\mathbb{C}}^1 \smallsetminus \{a_1(z_0),...,a_d(z_0)\}. This latter action is, in turn, interpreted in terms of Dehn twists. A corollary of this result is that every prime-to-pp GG-Galois cover of PKˉ1∖{α1,...,αd}\mathbb{P}_{\bar K}^1 \smallsetminus \{α_1,...,α_d\} satisfies that its field of moduli (as a GG-Galois cover) has degree over KK dividing the exponent of G/Z(G)G / Z(G).

preprint2014arXiv

Dyadic torsion of 2-dimensional hyperelliptic Jacobians

Let kk be a field of characteristic 00, and let α1α_{1}, α2α_{2}, ..., α5α_{5} be algebraically independent and transcendental over kk. Let KK be the transcendental extension of kk obtained by adjoining the elementary symmetric functions of the αiα_{i}'s. Let JJ be the Jacobian of the hyperelliptic curve defined over KK which is given by the equation y2=∏i=15(x−αi)y^{2} = \prod_{i = 1}^{5} (x - α_{i}). We define a tower of field extensions K=K0′⊂K1′⊂K2′⊂...K = K_{0}' \subset K_{1}' \subset K_{2}' \subset ... by giving recursive formulas for the generators of each Kn′K_{n}' over Kn−1′K_{n - 1}', and let K∞′=⋃n=0∞Kn′K_{\infty}' = \bigcup_{n = 0}^{\infty} K_{n}'. We show that K∞′(μ2)K_{\infty}'(μ_{2}) is the subextension of the field K(J[2∞]):=⋃n=0∞K(E[2n])K(J[2^{\infty}]) := \bigcup_{n = 0}^{\infty} K(E[2^{n}]) corresponding to a central order-22 Galois subgroup of Gal(K(J[2∞])/K(μ2))\mathrm{Gal}(K(J[2^{\infty}]) / K(μ_{2})), and a generator of K(J[2∞])K(J[2^{\infty}]) over K∞′(μ2)K_{\infty}'(μ_{2}) is given.

preprint2014arXiv

Images of 2-adic representations associated to hyperelliptic Jacobians

Let kk be a subfield of C\mathbb{C} which contains all 22-power roots of unity, and let K=k(α1,α2,...,α2g+1)K = k(α_{1}, α_{2}, ... , α_{2g + 1}), where the αiα_{i}'s are independent and transcendental over kk, and gg is a positive integer. We investigate the image of the 22-adic Galois action associated to the Jacobian JJ of the hyperelliptic curve over KK given by y2=∏i=12g+1(x−αi)y^{2} = \prod_{i = 1}^{2g + 1} (x - α_{i}). Our main result states that the image of Galois in Sp(T2(J))\mathrm{Sp}(T_{2}(J)) coincides with the principal congruence subgroup Γ(2)⊲Sp(T2(J))Γ(2) \lhd \mathrm{Sp}(T_{2}(J)). As an application, we find generators for the algebraic extension K(J[4])/KK(J[4]) / K generated by coordinates of the 44-torsion points of JJ.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.