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

A harmonic cover of graphs $p:\widetilde{X}\to X$ induces a surjective pushforward morphism $p_*:\operatorname{Jac}(\widetilde{X})\to \operatorname{Jac}(X)$ on the critical groups. In the case when $p$ is Galois with abelian Galois group,…

Let $X$ be a proper, smooth, and geometrically connected curve of genus $g(X)\ge 1$ over a $p$-adic local field. We prove that there exists an effectively computable open affine subscheme $U\subset X$ with the property that $period (X)=1$,…

We have written a computer program that implements Deligne's pullback and pushforward weight spectral sequences to compute the weight graded pieces of the rational cohomology of moduli spaces of pointed smooth curves (as well as curves of…

Let p be a prime and let C be a genus one curve over a number field k representing an element of order dividing p in the Shafarevich-Tate group of its Jacobian. We describe an algorithm which computes the set of D in the Shafarevich-Tate…

Let $K$ be the function field of a smooth projective geometrically integral curve over a finite extension of $\mathbb{Q}_p$. Following the works of Harari, Scheiderer, Szamuely, Izquierdo, and Tian, we study the local-global and weak…

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…

For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th…

We propose a new point of view on quantum cohomology, strongly motivated by the work of Givental and Dubrovin, but closer to differential geometry than the existing approaches. The central object is the D-module which "quantizes" a…

We study the arithmetic of curves and Jacobians endowed with the action of a finite group $G$. This includes a study of the basic properties, as $G$-modules, of their $\ell$-adic representations, Selmer groups, rational points and…

Let X be a complex affine curve (not isomorphic to the affine line), and let Pic(D) be the group of autoequivalences of the category of D(X)-modules. Cannings and Holland have shown that Pic(D) fits into an exact sequence in which the other…

This paper describes a quantum algorithm for efficiently decomposing finite Abelian groups. Such a decomposition is needed in order to apply the Abelian hidden subgroup algorithm. Such a decomposition (assuming the Generalized Riemann…

We describe efficient differentiation methods for computing Jacobians and gradients of a large class of matrix functions including the matrix logarithm $\log(A)$ and $p$-th roots $A^{\frac{1}{p}}$. We exploit contour integrals and conformal…

In this work, we present an efficient method for computing in the generalized Jacobian of special singular curves, nodal curves. The efficiency of the operation is due to the representation of an element in the Jacobian group by a single…

We present an algorithm for determining the set of $S$-integral points on an affine curve based on the Affine Chabauty method developed in the first part of this series. We achieve this by constructing explicit logarithmic differentials…

Let $F$ be a field and $E$ an extension of $F$ with $[E:F]=d$ where the characteristic of $F$ is zero or prime to $d$. We assume $\mu_{d^2}\subset F$ where $\mu_{d^2}$ are the $d^2$th roots of unity. This paper studies the problem of…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of…

We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be…

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic \'etale…