Source author record

Rachel Davis

Rachel Davis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.AG math.AT

Catalog footprint

What is connected

4works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

The Galois action on the lower central series of the fundamental group of the Fermat curve

Information about the absolute Galois group $G_K$ of a number field $K$ is encoded in how it acts on the étale fundamental group $π$ of a curve $X$ defined over $K$. In the case that $K=\mathbb{Q}(ζ_n)$ is the cyclotomic field and $X$ is the Fermat curve of degree $n \geq 3$, Anderson determined the action of $G_K$ on the étale homology with coefficients in $\mathbb{Z}/n \mathbb{Z}$.The étale homology is the first quotient in the lower central series of the étale fundamental group.In this paper, we determine the structure of the graded Lie algebra for $π$. As a consequence, this determines the action of $G_K$ on all degrees of the associated graded quotient of the lower central series of the étale fundamental group of the Fermat curve of degree $n$, with coefficients in $\mathbb{Z}/n \mathbb{Z}$.

preprint2020arXiv

Cohomology groups of Fermat curves via ray class fields of cyclotomic fields

The absolute Galois group of the cyclotomic field $K={\mathbb Q}(ζ_p)$ acts on the étale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for $K$-rational points on $X$. We analyze a $2$-nilpotent extension of $K$ which contains the information needed for measuring this obstruction. We determine a large subquotient of this Galois cohomology group which arises from Heisenberg extensions of $K$. For $p=3$, we perform a Magma computation with ray class fields, group cohomology, and Galois cohomology, which determines it completely.

preprint2016arXiv

Arithmetic properties of the Frobenius traces defined by a rational abelian variety (with two appendices by J-P. Serre)

Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $ρ_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. We investigate the arithmetic of the traces $a_{1, p}$ of the Frobenius at $p$ in $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ under $ρ_A$, modulo varying primes $p$. In particular, we obtain upper bounds for the counting function $\#\{p \leq x: a_{1, p} = t\}$ and we prove an Erdös-Kac type theorem for the number of prime factors of $a_{1, p}$. We also formulate a conjecture about the asymptotic behaviour of $\#\{p \leq x: a_{1, p} = t\}$, which generalizes a well-known conjecture of S. Lang and H. Trotter from 1976 about elliptic curves.

preprint2015arXiv

Galois action on the homology of Fermat curves

In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$. If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{Q}(ζ_p)$ is an elementary abelian $p$-group of rank $(p+1)/2$. Using an explicit basis for this Galois group, we completely compute the relative homology, the homology, and the homology of an open subset of the degree $3$ Fermat curve as Galois modules. We then compute several Galois cohomology groups which arise in connection with obstructions to rational points.