Related papers: Genus two curves with full $\sqrt{3}$-level struct…
Consider a component of the Hilbert scheme whose general point corresponds to a degree d genus g smooth irreducible and nondegenerate curve in a projective variety X. We give lower bounds for the dimension of such a component when X is P^3,…
We give an explicit characterization of all principally polarized abelian varieties $(A,\Theta)$ such that there is a finite subgroup of automorphisms $G$ of $A$ that preserve the numerical class of $\Theta$, and such that the quotient…
We prove that the geometric genus p of a curve in a very generic Jacobian of dimension g>3 satisfies either p=g or p>2g-3. This gives a positive answer to a conjecture of Naranjo and Pirola. For low values of g the second inequality can be…
We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base…
We prove that when all hyperelliptic curves of genus $n\geq 1$ having a rational Weierstrass point are ordered by height, the average size of the 2-Selmer group of their Jacobians is equal to 3. It follows that (the limsup of) the average…
We construct two different families of properly Alexandrov-immersed surfaces in $\mathbb{H}^2\times \mathbb{R}$ with constant mean curvature $0<H\leq \frac 1 2$, genus one and $k\geq2$ ends ($k=2$ only for one of these families). These ends…
Let E --> C be an elliptic surface defined over a number field K. For each finite covering C' --> C defined over K, let E' --> C' be the pullback. We give a strong upper bound for the rank of E'(C'/K) in the case that C' --> C is an…
For $q\leq 3$ smooth plane algebraic curves $\mathcal{C}_i$ having simple normal crossings, if the invariant logarithmic $2$-jet differential bundle associated to $(\mathbb{P}^2(\mathbb{C}), \sum_{i=1}^q \mathcal{C}_i)$ has a nonzero…
We study the family of irreducible curves with $\delta$ nodes belonging to a free linear system $|C|$ with smooth general member on a surface $S$ such that $|K_S|$ is ample. Under the assumption that $C$ is numerically equivalent to $pK_S$,…
A well-known conjecture asserts that the mapping class group of a surface (possibly with punctures/boundary) does not virtually surject onto $\Z$ if the genus of the surface is large. We prove that if this conjecture holds for some genus,…
The sl_2-triples play a fundamental role for the structure theory of Lie algebras, and representation theory in general. Here we investigate sl_2-triples of global vector fields on schemes X in positive characteristics p>0, and develop a…
We present the results of our search for the orders of Tate-Shafarevich groups for the quadratic twists of elliptic curves. We formulate a general conjecture, giving for a fixed elliptic curve $E$ over $\Bbb Q$ and positive integer $k$, an…
Motivated by a question by D. Mumford : can a computer classify all surfaces with $p_g = 0$ ? we try to show the complexity of the problem. We restrict it to the classification of the minimal surfaces of general type with $p_g = 0, K^2 = 8$…
We study the birational geometry of the Kummer surfaces associated to the Jacobian varieties of genus two curves, with a particular focus on fields of characteristic two. In order to do so, we explicitly compute a projective embedding of…
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…
Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications…
We study the geometry and arithmetic of the curves $C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces $P$. We prove a Torelli theorem in this context and give a geometric proof of the fact that $P$ has quaternionic…
Let $K$ be a number field, let $g \geq 1$ be an integer and let $f(x) = (x - a_1) \cdots (x - a_{2g + 1}) \in O_K[x]$ be a polynomial that splits into $2g + 1$ distinct linear factors. Write $C$ for the hyperelliptic curve given by $C: y^2…
We study embedded rational curves in projective toric varieties. Generalizing results of the first author and Zotine for the case of lines, we show that any degree $d$ rational curve in a toric variety $X$ can be constructed from a special…
Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and…