Related papers: Fast Arithmetics in Artin-Schreier Towers over Fin…

Inspired by previous work of Shoup, Lenstra-De Smit and Couveignes-Lercier, we give fast algorithms to compute in (the first levels of) the ell-adic closure of a finite field. In many cases, our algorithms have quasi-linear complexity.

Given a prime number $p$, we consider the tower of finite fields $F_p=L_{-1}\subset L_0\subset L_1\subset\cdots$, where each step corresponds to an Artin-Schreier extension of degree $p$, so that for $i\geq 0$, $L_{i}=L_{i-1}[c_{i}]$, where…

We fix a monic polynomial $\bar f(x) \in \mathbb{F}_q[x]$ over a finite field of characteristic $p$, and consider the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower defined by $\bar f(x)$; this is a tower of curves $\cdots \to C_m \to…

We fix a monic polynomial $f(x) \in \mathbb F_q[x]$ over a finite field of characteristic $p$ of degree relatively prime to $p$. Let $a\mapsto \omega(a)$ be the Teichm\"uller lift of $\mathbb F_q$, and let $\chi:\mathbb{Z}\to \mathbb…

This paper concerns towers of curves over a finite field with many rational points, following Garcia--Stichtenoth and Elkies. We present a new method to produce such towers. A key ingredient is the study of algebraic solutions to Fuchsian…

We fix a monic polynomial $f(x) \in \mathbb F_q[x]$ over a finite field and consider the Artin-Schreier-Witt tower defined by $f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb A^1$, with total Galois…

In this article we study the behavior of Newton polygons along $\mathbb{Z}_p$-towers of curves. Fix an ordinary curve $X$ over a finite field $\mathbb{F}_q$ of characteristic $p$. By a $\mathbb{Z}_p$-tower $X_\infty/X$ we mean a tower of…

As a subproduct of the Schoof-Elkies-Atkin algorithm to count points on elliptic curves defined over finite fields of characteristic p, there exists an algorithm that computes, for l an Elkies prime, l-torsion points in an extension of…

The p-class tower $F_p^\infty(k)$ of a number field k is its maximal unramified pro-p extension. It is considered to be known when the p-tower group, that is the Galois group $G:=Gal(F_p^\infty(k)/k)$, can be identified by an explicit…

We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an isogeny of degree $\ell$ ($\ell$ different from the…

Let us consider an algebraic function field defined over a finite Galois extension $K$ of a perfect field $k$. We give some conditions allowing the descent of the definition field of the algebraic function field from $K$ to $k$. We apply…

We introduce a new construction of towers of algebraic curves over finite fields and provide a simple example of an optimal tower.

For a fixed prime p, the p-class tower F(p,infinity,K) of a number field K is considered to be known if a pro-p presentation of the Galois group H = Gal( F(p,infinity,K)/K ) is given. In the last few years, it turned out that the Artin…

We propose a systematic method to produce potentially good recursive towers over finite fields. The graph point of view, so as some magma and sage computations are used in this process. We also establish some theoretical functional…

For a finite extension $F$ of ${\mathbf Q}_p$, Drinfeld defined a tower of coverings of ${\mathbb P}^1\setminus {\mathbb P}^1(F)$ (the Drinfeld half-plane). For $F = {\mathbf Q}_p$, we describe a decomposition of the $p$-adic geometric…

The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In…

Let f(x) = x^d + a_{d-1}x^{d-1} + ... + a_0 be a polynomial of degree d in Q[x]. For every prime number p coprime to d and f(x) in (Z_p \cap Q)[x], let X/F_p be the Artin-Schreier curve defined by the affine equation y^p - y = f(x) mod p.…

Using the theory of pro-p groups and relative Poincar\'{e} duality, we define a type of cobordism category well suited to arithmetic topology. We completely classify topological quantum field theories on these two-dimensional versions of…

In this note we consider certain elliptic curves defined over real quadratic fields isogenous to their Galois conjugate. We give a construction of algebraic points on these curves defined over almost totally real number fields. The main…

In this paper we construct Galois towers with good asymptotic properties over any non-prime finite field $\mathbb F_{\ell}$; i.e., we construct sequences of function fields $\mathcal{N}=(N_1 \subset N_2 \subset \cdots)$ over $\mathbb…