Related papers: Computing Crystalline Cohomology and p-Divisible G…

We present a specialized point-counting algorithm for a class of elliptic curves over F\_{p^2} that includes reductions of quadratic Q-curves modulo inert primes and, more generally, any elliptic curve over F\_{p^2} with a low-degree…

Suppose X is a (smooth projective irreducible algebraic) curve over a finite field k. Counting the number of points on X over all finite field extensions of k will not determine the curve uniquely. Actually, a famous theorem of Tate implies…

Let $Y\to X$ be an unramified Galois cover of curves over a perfect field $k$ of characteristic $p>0$ with $\mathrm{Gal}(Y/X)\cong\mathbb{Z}/p\mathbb{Z}$, and let $J_X$ and $J_Y$ be the Jacobians of $X$ and $Y$ respectively. We consider the…

Motivated by quotient algorithms, such as the well-known $p$-quotient or solvable quotient algorithms, we describe how to compute extensions $\tilde H$ of a finite group $H$ by a direct sum of isomorphic simple $\mathbb{Z}_p H$-modules such…

We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…

We present algorithms which, given a genus 2 curve $C$ defined over a finite field and a quartic CM field $K$, determine whether the endomorphism ring of the Jacobian $J$ of $C$ is the full ring of integers in $K$. In particular, we present…

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…

For a curve $X$ over a $p$-adic field $k$, using the class field theory of $X$ due to S. Bloch and S. Saito we study the abelian geometric fundamental group $\pi_1^{\mathrm{ab}}(X)^{\mathrm{geo}}$ of $X$. In particular, it is investigated a…

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 [CS01, Page 109] Grothendieck sketches the construction of a complex J_*(X) or commutative pro-algebraic groups, associated to a smooth variety X, and for which each J_i(X) is a product of local factors called the local generalized…

The purpose of this article is to show how one might compute the \'etale cohomology groups $H^p_{\acute{e}t}(X,G_m)$ in degrees $p=0$, $1$ and $2$ of a toric variety $X$ with coefficients in the sheaf of units. The method is to reduce the…

We construct a map from the classifying space of a discrete Kac-Moody group over the algebraic closure of the field with p elements to the classifying space of a complex topological Kac-Moody group and prove that it is a homology…

We compute the p-torsion and p-adic etale cohomologies with compact support of period domains over local fields in the case of basic isocrystals for quasi-split reductive groups. For the p-torsion case, we follow the method used by Orlik in…

In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of…

For a smooth and proper variety $X$ over an algebraically closed field $k$ of characteristic $p>0$, the group $Br(X)[p^\infty]$ is a direct sum of finitely many copies of $\mathbb{Q}_p/\mathbb{Z}_p$ and an abelian group of finite exponent.…

We describe algorithms for computing the intersection numbers of divisors and of Chern classes of the Hodge bundle on the moduli spaces of stable pointed curves. We also discuss the implementations and the results obtained. There are…

The tempered fundamental group of a p-adic analytic space classifies coverings that are dominated by a topological covering (for the Berkovich topology) of a finite etale covering of the space. Here we construct cospecialization…

A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.

We develop a cohomological description of various explicit descents in terms of generalized Jacobians, generalizing the known description for hyperelliptic curves. Specifically, given an integer $n$ dividing the degree of some reduced…

This article extends the study of cyclic ramified covers of the projective line defined by Kummer equations. We consider the most general case of such covers, allowing arbitrary orders in the roots of the generating radicant. The primary…