Related papers: Surface bundles and the section conjecture
Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…
Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the \'etale fundamental group of $X$ onto the absolute Galois group of $k$ has a…
We prove a conjecture of Maulik, Pandharipande, and Thomas expressing the Gromov--Witten invariants of K3 surfaces for divisibility two curve classes in all genus in terms of weakly holomorphic quasimodular forms of level two. Then, we…
For X a compact Riemann surface of positive genus, the strange duality conjecture predicts that the space of sections of certain theta bundle on moduli of bundles of rank r and level k is naturally dual to a similar space of sections of…
Grothendieck gave two forms of his "main conjecture of anabelian geometry", i.e. the section conjecture and the hom conjecture. He stated that these two forms are equivalent and that if they hold for hyperbolic curves then they hold for…
We give restrictions on the existence of families of curves on smooth projective surfaces $S$ of nonnegative Kodaira dimension all having constant geometric genus $g \geq 2$ and hyperelliptic normalizations. In particular, we prove a…
In 1932 F. Severi claimed, with an incorrect proof, that every smooth minimal projective surface $S$ such that the bundle $\Omega^1_S$ is generically generated by global sections satisfies the topological inequality $2c_1^2(S)\ge c_2(S)$.…
The toric fundamental group is the Tannaka dual of a category of vector bundles which become direct sums of line bundles on a finite \'etale cover. It is an extension of the \'etale fundamental group scheme by a projective limit of tori.…
It has been a long-standing problem to find an adequate definition of a Clifford index for higher rank vector bundles on curves, which should capture the complexity of the curve in its moduli space. An interesting proposal in rank 2 has…
For a smooth and geometrically irreducible variety X over a field k, the quotient of the absolute Galois group G_{k(X)} by the commutator subgroup of G_{\bar k(X)} projects onto G_k. We investigate the sections of this projection. We show…
The geometric torsion conjecture asserts that the torsion part of the Mordell--Weil group of a family of abelian varieties over a complex quasiprojective curve is uniformly bounded in terms of the genus of the curve. We prove the conjecture…
Let X be a smooth projective curve of genus g \geq 2 defined over a field of characteristic two. We give examples of stable orthogonal bundles with unstable underlying vector bundles and use them to give counterexamples to Behrend's…
Assume that the section conjecture holds over number fields. We prove then that it holds for a broad class of curves defined over finitely generated extensions of $\mathbb{Q}$. This class contains every projective, hyperelliptic curve,…
We prove the $p$-curvature conjecture for rank two vector bundles with connection on generic curves, by combining deformation techniques for families of varieties and topological arguments.
A viable and still unproved conjecture states that, if $X$ is a smooth algebraic surface and $C$ is a smooth algebraic curve in $X$, then $C$ realizes the smallest possible genus amongst all smoothly embedded $2$-manifolds in its homology…
Assuming the finiteness of the Shafarevich-Tate group of elliptic curves over number fields we make several observations on the birational Grotendieck anabelian setion conjecture. We prove that the birational setion conjecture for curves…
We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of…
Let $C$ be a smooth projective curve of genus $g\ge2$ and let $N$ be the moduli space of stable rank $2$ vector bundles on $C$ of odd degree. We construct a semi-orthogonal decomposition of the bounded derived category of $N$ conjectured by…
We prove that any class $VII$ surface with $b_2=1$ has curves. This implies the "Global Spherical Shell conjecture" in the case $b_2=1$: Any minimal class $VII$ surface with $b_2=1$ admits a global spherical shell, hence it is isomorphic to…
Let S be a K3 surface and assume for simplicity that it does not contain any (-2)-curve. Using coherent systems, we express every non-simple Lazarsfeld-Mukai bundle on S as an extension of two sheaves of some special type, that we refer to…