Related papers: The relative canonical resolution: Macaulay2-packa…

We prove two statements concerning the linear strand of the minimal free resolution of a curve of fixed gonality. Firstly, we show that a general curve C of genus g of non-maximal gonality k\leq (g+1)/2 satisfies Schreyer's Conjecture, that…

Green's canonical syzygy conjecture asserts a simple relationship between the Clifford index of a smooth projective curve and the shape of the minimal free resolution of its homogeneous ideal in the canonical embedding. We prove the…

We compute the class of the locus in M_g of curves having a pencil with two unspecified triple ramification points. This is the first example of a geometric divisor on M_g which is not the pull-back of a divisor on the moduli space of…

We formulate a relative analogue of the Clemens conjectures for 1/2-log Calabi-Yau threefold pairs (X,Y) (where K_X+2Y is isomorphic to O_X). This framework rests on the restoration of a perfect deformation/obstruction duality specific to…

The present work is a user's guide to the results of a previous paper by the second and third authors, where a description of the space of characters of a quasi-projective variety was given in terms of global quotient orbifold pencils.…

The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves…

Based on a recent result of Voisin [2001] we describe the last nonzero syzygy space in the linear strand of a canonical curve C of even genus g=2k lying on a K3 surface, as the ambient space of a k-2-uple embedded P^{k+1}. Furthermore the…

The surfaces considered are real, rational and have a unique smooth real $(-2)$-curve. Their canonical class $K$ is strictly negative on any other irreducible curve in the surface and $K^2>0$. For surfaces satisfying these assumptions, we…

The canonical degree $C.K_X$ of an integral curve on a smooth projective surface $X$ is conjecturally bounded from above by an expression of the form $A(g-1)+B$, where $g$ is the geometric genus of $C$ and $A$, $B$ are constants depending…

We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under…

This note describes a Macaulay2 package for handling divisors. Group operations for divisors are included. There are methods for converting divisors to reflexive or invertible sheaves. Additionally, there are methods for checking whether…

Let F be a smooth surface in a smooth projective threefold T, and let X=2F be the first infinitesimal neighborhood of X in T. A locally Cohen-Macaulay curve C in X gives rise to two effective divisors on F, namely the curve part P of the…

We study linear pencils of curves on normal surface singularities. Using the minimal good resolution of the pencil, we describe the topological type of generic elements of the pencil and characterize the behaviour of special elements. Then…

We prove the effectiveness of the canonical bundle of several Hurwitz spaces of degree k covers of the projective line from curves of genus 13<g<20.

We give a geometric approach to the relation between the irreducible components of the characteristic varieties of local systems on a plane curve arrangement complement and the associated pencils of plane curves discovered recently by M.…

In the Hilbert scheme of curves of degree $d_{r}=\frac{r(r+1)}{2}$ and arithmetic genus $g_{r}=\frac{r(r+1)(2r-5)}{6}+1$ in $\mathbb{P}^{3}$ we prove that there exists a unique component of arithmetically Cohen-Macaulay curves denoted by…

We establish a conjecture of Gukov and Su{\l}kowski in the following three cases: Lambert curve for Hurwitz numbers, framed mirror curve of ${\mathbb C}^3$, and the framed mirror curve of the resolved conifold.

We discuss a rational version of a conjecture of Matiyasevich, Davis, and Putnam on the relative decidability of the finiteness problem for Diophantine equations with respect to the existence problem. We formulate a suspicion that for…

In this paper, we study the existence of high-dimensional, closed, smooth manifolds whose rational homotopy type resembles that of a projective plane. Applying rational surgery, the problem can be reduced to finding possible Pontryagin…

In Riemannian geometry geodesics are integral curves of the Riemannian distance gradient. We extend this classical result to the framework of Information Geometry. In particular, we prove that the rays of level-sets defined by a…