Searcharxiv⌕ Search

arXiv subjects

Robin Hartshorne

Publications and source records attributed to Robin Hartshorne.

At least 19 recordsLinked to original sources
arXiv2019

Quasi-cyclic modules and coregular sequences

We develop the theory of coregular sequences and codepth for modules that need not be finitely generated or artinian over a Noetherian ring. We use this theory to give a new version of a theorem of Hellus characterizing set-theoretic complete intersections in terms of local cohomology modules. We also define quasi-cyclic modules as increasing unions of cyclic modules, and show that modules of codepth at least two are quasi-cyclic. We then focus our attention on curves in projective three-space and give a number of necessary conditions for a curve to be a set-theoretic complete intersection. Thus an example of a curve for which any of these necessary conditions does not hold would provide a negative answer to the still open problem, whether every connected curve in projective three-space is a set-theoretic complete intersection

math.AC↗
arXiv2016

Simple D-module components of local cohomology modules

For a projective variety V in P^n over a field of characteristic zero, with homogeneous ideal I in A = k[x0,x1,...,xn], we consider the local cohomology modules H^i_I(A). These have a structure of holonomic D-module over A, and we investigate their filtration by simple D-modules. In case V is nonsingular, we can describe completely these simple components in terms of the Betti numbers of V.

math.AG↗
arXiv2014

Smooth curves specialize to extremal curves

Let $H_{d,g}$ denote the Hilbert scheme of locally Cohen-Macaulay curves of degree $d$ and genus $g$ in projective three space. We show that, given a smooth irreducible curve $C$ of degree $d$ and genus $g$, there is a rational curve $\{[C_t]: t \in \mathbb{A}^1\}$ in $H_{d,g}$ such that $C_t$ for $t \neq 0$ is projectively equivalent to $C$, while the special fibre $C_0$ is an extremal curve. It follows that smooth curves lie in a unique connected component of $H_{d,g}$. We also determine necessary and sufficient conditions for a locally Cohen-Macaulay curve to admit such a specialization to an extremal curve.

math.AG↗
arXiv2013

Twenty Points in P^3

Using the possibility of computationally determining points on a finite cover of a unirational variety over a finite field, we determine all possibilities for direct Gorenstein linkages between general sets of points in P^3 over an algebraically closed field of characteristic 0. As a consequence we show that a general set of d points is glicci (that is, in the Gorenstein linkage class of a complete intersection) if d <= 33 or d=37,38. Computer algebra plays an essential role in the proof. The case of 20 points had been an outstanding problem in the area for a dozen years.

math.AG↗
arXiv2013

Divisors class groups of singular surfaces

We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's theorem for the cubic ruled surface in P^3. We apply these results to limit the possible curves that can be set-theoretic complete intersection in P^3 in characteristic zero.

math.AC↗
arXiv2011

Stable Ulrich bundles

The existence of stable ACM vector bundles of high rank on algebraic varieties is a challenging problem. In this paper, we study stable Ulrich bundles (that is, stable ACM bundles whose corresponding module has the maximum number of generators) on nonsingular cubic surfaces $X \subset \mathbb{P}^3.$ We give necessary and sufficient conditions on the first Chern class $D$ for the existence of stable Ulrich bundles on $X$ of rank $r$ and $c_1=D$. When such bundles exist, we prove that that the corresponding moduli space of stable bundles is smooth and irreducible of dimension $D^2-2r^2+1$ and consists entirely of stable Ulrich bundles (see Theorem 1.1). As a consequence, we are also able to prove the existence of stable Ulrich bundles of any rank on nonsingular cubic threefolds in $\mathbb{P}^4$.

math.AG↗
arXiv2008

Gonality of a general ACM curve in projective 3-space

Let C be an ACM (projectively normal) nondegenerate smooth curve in projective 3-space, and suppose C is general in its Hilbert scheme - this is irreducible once the postulation is fixed. Answering a question posed by Peskine, we show the gonality of C is d-l, where d is the degree of the curve, and l is the maximum order of a multisecant line of C. Furthermore l=4 except for two series of cases, in which the postulation of C forces every surface of minimum degree containing C to contain a line as well. We compute the value of l in terms of the postulation of C in these exceptional cases. We also show the Clifford index of C is equal to the gonality minus 2.

math.AG↗
arXiv2008

ACM bundles on cubic surfaces

In this paper we prove that, for every $r \geq 2$, the moduli space $M^s_X(r;c_1,c_2)$ of rank $r$ stable vector bundles with Chern classes $c_1=rH$ and $c_2=(3r^2-r)/2$ on a nonsingular cubic surface $X \subset \mathbb{P}^3$ contains a nonempty smooth open subset formed by ACM bundles, i.e. vector bundles with no intermediate cohomology. The bundles we consider for this study are extremal for the number of generators of the corresponding module (these are known as Ulrich bundles), so we also prove the existence of indecomposable Ulrich bundles of arbitrarily high rank on $X$.

math.AG↗
arXiv2006

Liaison addition and the structure of a Gorenstein liaison class

We study the concept of liaison addition for codimension two subschemes of an arithmetically Gorenstein projective scheme. We show how it relates to liaison and biliaison classes of subschemes and use it to investigate the structure of Gorenstein liaison equivalence classes, extending the known theory for complete intersection liaison of codimension two subschemes. In particular, we show that on the non-singular quadric threefold in projective 4-space, every non-licci ACM curve can be obtained from a single line by successive liaison additions with lines and CI-biliaisons.

math.AG↗
arXiv2006

Generalized Divisors and Biliaison

We extend the theory of generalized divisors so as to work on any scheme $X$ satisfying the condition $S_2$ of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof in a stronger form of the theorem of Gaeta, that standard determinantal schemes are in the Gorenstein biliaison class of a complete intersection. We also show, for schemes of codimension three in ${\mathbb P}^n$, that the relation of Gorenstein biliaison is equivalent to the relation of even strict Gorenstein liaison.

math.AG↗
arXiv2006

Non-Euclidean Pythagorean triples, a problem of Euler, and rational points on K3 surfaces

We discover suprising connections between three seemingly different problems: finding right triangles with rational sides in a non-Euclidean geometry, finding three integers such that the difference of the squares of any two is a square, and the problem of finding rational points on an algebraic surface in algebraic geometry. We will also reinterpret Euler's work on the second problem with a modern point of view.

math.NT↗
arXiv2005

Liaison with Cohen-Macaulay Modules

We describe some recent work concerning Gorenstein liaison of codimension two subschemes of a projective variety. Applications make use of the algebraic theory of maximal Cohen-Macaulay modules, which we review in an Appendix.

math.AG↗
arXiv2003

Gorenstein Liaison and ACM Sheaves

We study Gorenstein liaison of codimension two subschemes of an arithmetically Gorenstein scheme X. Our main result is a criterion for two such subschemes to be in the same Gorenstein liaison class, in terms of the category of ACM sheaves on X. As a consequence we obtain a criterion for X to have the property that every codimension 2 arithmetically Cohen-Macaulay subscheme is in the Gorenstein liaison class of a complete intersection. Using these tools we prove that every arithmetically Gorenstein subscheme of $\mathbb{P}^n$ is in the Gorenstein liaison class of a complete intesection and we are able to characterize the Gorenstein liaison classes of curves on a nonsingular quadric threefold in $\mathbb{P}^4$.

math.AG↗
arXiv2003

Gorenstein Biliaison and ACM Sheaves

Let $X$ be a normal arithmetically Gorenstein scheme in ${\mathbb P}^n$. We give a criterion for all codimension two ACM subschemes of $X$ to be in the same Gorenstein biliaison class on $X$, in terms of the category of ACM sheaves on $X$. These are sheaves that correspond to the graded maximal Cohen--Macaulay modules on the homogeneous coordinate ring of $X$. Using known results on MCM modules, we are able to determine the Gorenstein biliaison classes of codimension two subschemes of certain varieties, including the nonsingular quadric surface in ${\mathbb P}^3$, and the cone over it in ${\mathbb P}^4$. As an application we obtain a new proof of some theorems of Lesperance about curves in ${\mathbb P}^4$, and answer some questions be raised.

math.AG↗
arXiv2003

On Rao's Theorems and the Lazarsfeld-Rao Property

Let $X$ be an integral projective scheme satisfying the condition $S_3$ of Serre and $H^1({\mathcal O}_X(n)) = 0$ for all $n \in {\mathbb Z}$. We generalize Rao's theorem by showing that biliaison equivalence classes of codimension two subschemes without embedded components are in one-to-one correspondence with pseudo-isomorphism classes of coherent sheaves on $X$ satisfying certain depth conditions. We give a new proof and generalization of Strano's strengthening of the Lazarsfeld--Rao property, showing that if a codimension two subscheme is not minimal in its biliaison class, then it admits a strictly descending elementary biliaison. For a three-dimensional arithmetically Gorenstein scheme $X$, we show that biliaison equivalence classes of curves are in one-to-one correspondence with triples $(M,P,α)$, up to shift, where $M$ is the Rao module, $P$ is a maximal Cohen--Macaulay module on the homogeneous coordinate ring of $X$, and $α: P^{\vee} \to M^* \to 0$ is a surjective map of the duals.

math.AG↗
arXiv2003

Geometry of arithmetically Gorenstein curves in ${\mathbb P}^4$

We characterize the postulation character of arithmetically Gorenstein curves in ${\mathbb P}^4$. We give conditions under which the curve can be realized in the form $mH-K$ on some ACM surface. Finally, we strengthen a theorem of Watanabe by showing that any general arithmetically Gorenstein curve in ${\mathbb P}^4$ can be obtained from a line by a series of ascending complete-intersection biliaisons.

math.AG↗
arXiv2001

Some Examples of Gorenstein Liaison in Codimension Three

Gorenstein liaison seems to be the natural notion to generalize to higher codimension the well-known results about liaison of varieties of codimension~2 in projective space. In this paper we study points in ${\mathbb P}^3$ and curves in ${\mathbb P}^4$ in an attempt to see how far typical codimension~2 results will extend. While the results are satisfactory for small degree, we find in each case examples where we cannot decide the outcome. These examples are candidates for counterexamples to the hoped-for extensions of codimension~2 theorems.

math.AG↗