Related papers: Green's Conjecture for the generic canonical curve
We consider all genus 2 curves over Q given by an equation y^2 = f(x) with f a squarefree polynomial of degree 5 or 6, with integral coefficients of absolute value at most 3. For each of these roughly 200000 isomorphism classes of curves,…
In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be…
The Grothendieck-Katz $p$-curvature conjecture is an analogue of the Hasse Principle for differential equations. It states that a set of arithmetic differential equations on a variety has finite monodromy if its $p$-curvature vanishes…
Let $k$ be a field. Let $X/k$ be a stable curve whose geometric irreducible components are smooth rational curves. Taking Stein factorization of its normalization, we get a conic. We show the conic is non-split in certain cases. As an…
The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by…
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 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,…
We prove the Lipman-Zariski conjecture for complex surface singularities with $p_g - g - b \le 2$. Here $p_g$ is the geometric genus, $g$ is the sum of the genera of the exceptional curves and $b$ is the first Betti number of the dual…
The Oort conjecture (now a theorem of Obus-Wewers and Pop) states that if k is an algebraically closed field of characteristic p, then any cyclic branched cover of smooth projective k-curves lifts to characteristic zero. This is equivalent…
Eisenbud and Harris conjectured in 1982 that an algebraic curve of high genus lies on a surface of low degree (which they proved for curves of very large degree). They observed constraints on the Hilbert function of a general hyperplane…
Building on results of Koll\'ar, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.
A proof of Petri's general conjecture on the unobstructedness of linear systems on a general curve is proposed, using only the local properties of the deformation space of the pair (curve, line bundle).
For a line bundle L on a smooth surface S, it is now known that the degree of the Severi variety of cogenus-d curves is given by a universal polynomial in the Chern classes of L and S if L is d-very ample. For S rational, we relax the…
The class-breadth conjecture of Leedham-Green, Neumann and Wiegold states that for each $p$-group, $cl(G)\leq b(G) + 1$, where $cl(G)$, $b(G)$ denote the nilpotency class and the breadth of $G$. While several counter-examples to this…
We prove Larsen's conjecture for elliptic curves over $\mathbb{Q}$ with analytic rank at most $1$. Specifically, let $E/\mathbb{Q}$ be an elliptic curve over $\mathbb{Q}$. If $E/\mathbb{Q}$ has analytic rank at most $1$, then we prove that…
Let $\alpha: X \to Y$ be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under $\alpha$ is semistable if the genus of $Y$ is at least $1$ and stable if the genus of $Y$ is at least $2$.…
We prove the following statement, predicted by Clemens' conjecture: A generic quintic threefold contains only finitely many smooth rational curves of degree 12.
An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…
Consider an elliptic curve, defined over the rational numbers, and embedded in projective space. The rational points on the curve are viewed as integer vectors with coprime coordinates. What can be said about a rational point if a bound is…
We give a simple combinatorial proof of the $\lambda_g$ conjectue in genus 2. We use a description of the class $\lambda_2$ as a linear combination of boundary strata, and show the conjecture follows inductively from applications of the…