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

The notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over $\zp$ (the ring of $p$-adic integers), as well as an alternative…

Let X be a smooth proper curve over a finite field of characteristic p. We prove a product formula for p-adic epsilon factors of arithmetic D-modules on X. In particular we deduce the analogous formula for overconvergent F-isocrystals,…

We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To…

Given a compact Riemann surface $X$ with an action of a finite group $G$, the group algebra Q[G] provides an isogenous decomposition of its Jacobian variety $JX$, known as the group algebra decomposition of $JX$. We consider the set of…

Let $X$ be an algebraic scheme over an algebraically closed field and $\ell$ a prime number invertible on $X$. According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the \'etale cohomology groups…

The absolute Galois group of the cyclotomic field $K={\mathbb Q}(\zeta_p)$ acts on the \'etale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for…

We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $p$-adic cohomology. This includes new bounds for the $p$-adic and $t$-adic precisions…

Let p be an odd prime number and g $\ge$ 2 be an integer. We present an algorithm for computing explicit rational representations of isogenies between Jacobians of hyperelliptic curves of genus g over an extension K of the field of p-adic…

We use topological methods to compute the mod p cohomology of certain p-groups. More precisely we look at central Frattini extensions of elementary abelian by elementary abelian groups such that their defining k-invariants span the entire…

In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and…

We study torsors under finite group schemes over the punctured spectrum of a singularity $x\in X$ in positive characteristic. We show that the Dieudonn\'e module of the (loc,loc)-part $\mathrm{Picloc}^{\mathrm{loc},\mathrm{loc}}_{X/k}$ of…

We present efficient algorithms for counting points on a smooth plane quartic curve $X$ modulo a prime $p$. We address both the case where $X$ is defined over $\mathbb F_p$ and the case where $X$ is defined over $\mathbb Q$ and $p$ is a…

The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is desirable to…

In 2003, Kedlaya gave an algorithm to compute the zeta function associated to a hyperelliptic curve over a finite field, by computing the rigid cohomology of the curve. Edixhoven remarked that it is actually possible to compute the…

Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $G$ be a finite $p$-group. The results of Harbater, Katz and Gabber associate a $G$-cover of the projective line ramified only over $\infty$ to every $k$-linear…

We present an algorithm for the computation of the topological type of a real compact Riemann surface associated to an algebraic curve, i.e., its genus and the properties of the set of fixed points of the anti-holomorphic involution $\tau$,…

Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These…

For a reductive group $G$ over a finite field $k$, and a smooth projective curve $X/k$, we give a motivic counting formula for the number of absolutely indecomposable $G$-bundles on $X$. We prove that the counting can be expressed via the…

The discrete logarithm problem in Jacobians of curves of high genus $g$ over finite fields $\FF_q$ is known to be computable with subexponential complexity $L_{q^g}(1/2, O(1))$. We present an algorithm for a family of plane curves whose…

The Ekedahl-Oort type is a combinatorial invariant of a principally polarized abelian variety $A$ defined over an algebraically closed field of characteristic $p > 0$. It characterizes the $p$-torsion group scheme of $A$ up to isomorphism.…