Related papers: Computing Picard Schemes

We show that the categories of smooth ${\rm SL}_2({\mathbb Q}_p)$-representations (resp. ${\rm GL}_2({\mathbb Q}_p)$-representations) of level $1$ on $p$-torsion modules are equivalent with certain explicitly described equivariant…

Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in…

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal…

For a homogeneous space X of a connected algebraic group G (with connected stabilizers) over a field k of characteristic zero, we construct a canonical complex of Galois modules of length 3 and a canonical isomorphism between an…

We define and study a biadditive symmetric (not necessarily perfect) pairing on the torsion part $\mathrm{Pic}(X)_{\mathrm{tors}}$ of the Picard group of a smooth projective curve $X$ over a field $k$ with values in $k^\times \otimes…

Let $X$ be a normal noetherian scheme and $Z \subseteq X$ a closed subset of codimension $\geq 2$. We consider here the local obstructions to the map $\hat{\pi}_{1}(X\backslash Z) \to \hat{\pi}_{1}(X)$ being an isomorphism. Assuming $X$ has…

Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective…

We consider the distribution of p-power group schemes among the torsion of abelian varieties over finite fields of characteristic p, as follows. Fix natural numbers g and n, and let $\xi$ be a non-supersingular principally quasipolarized…

We present twelve numerical methods for evaluation of objects and concepts from Poisson geometry. We describe how each method works with examples, and explain how it is executed in code. These include methods that evaluate Hamiltonian and…

In this paper we describe an algorithm based on the Picard-Vessiot theory that constructs, given any curve invariant under a finite linear algebraic group over the complex numbers, an ordinary linear differential equation whose Schwarz map…

A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is…

The aim of the present paper is to study the (abstract) Picard group and the Picard group scheme of the moduli stack of stable pointed curves over an arbitrary scheme. As a byproduct, we compute the Picard groups of the moduli stack of…

The objective of this paper is to study the anabelian object referred to as \emph{pointed virtual curves}. Namely, given a family of curves $Y \rightarrow X$ over a field $k$ under suitable conditions, we consider the…

To a symmetric, relatively ample line bundle on an abelian scheme one can associate a linear combination of the determinant bundle and the relative canonical bundle, which is a torsion element in the Picard group of the base. We improve the…

We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations…

Given a smooth compact complex surface together with a holomorphic line bundle on it, using the theory of Hodge modules, we compute the twisted Hodge groups/numbers of Hilbert schemes (or Douady spaces) of points on the surface with values…

Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers.

Let $X$ be a $\Q$-factorial complete toric variety over an algebraic closed field of characteristic $0$. There is a canonical injection of the Picard group ${\rm Pic}(X)$ in the group ${\rm Cl}(X)$ of classes of Weil divisors. These two…

We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to…

We study the unipotent completion $\Pi^{DR}_{un}(x_0, x_1, X_K)$ of the de Rham fundamental groupoid [De] of a smooth algebraic variety over a local non-archimedean field K of characteristic 0. We show that the vector space…