Search

In 1986, Green-Lazarsfeld raised the gonality conjecture asserting that the gonality $\operatorname{gon}(C)$ of a smooth projective curve $C$ of genus $g\geq 2$ can be read off from weight-one syzygies of a sufficiently positive line bundle $L$ on $C$, and also proposed possible least degree of such a line bundle. In 2015, Ein-Lazarsfeld proved the conjecture when $\operatorname{deg} L$ is sufficiently large, but the effective part of the conjecture remained widely open and was reformulated explicitly by Farkas-Kemeny. In this paper, we establish an effective vanishing theorem for weight-one syzygies, which implies that the gonality conjecture holds if $\operatorname{deg} L \geq 2g+\operatorname{gon}(C)$ or $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$ and $C$ is not a plane curve. As Castryck observed that the gonality conjecture may not hold for a plane curve when $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$, our theorem is the best possible and thus gives a complete answer to the gonality conjecture., Comment: 21 pages, comments are welcome

The gonality conjecture, proved by Ein--Lazarsfeld, asserts that the gonality of a nonsingular projective curve of genus $g$ can be detected from its syzygies in the embedding given by a line bundle of sufficiently large degree. An effective result obtained by Rathmann says that any line bundle of degree at least 4g-3 would work in the gonality theorem. In this note, we improve the degree bound to 4g-4 with two exceptional cases., Comment: 8 pages, comments are welcome

We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order Gauss map and higher order tangent varieties., Comment: 21 pages, comments welcome

The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\text{reg}(X) \leq d-1$, and we also classify the extremal cases. To achieve these results, we bound the regularity of fibers of a generic projection of $X$ by using Loewy length, and also bound the dimension of the varieties swept out by secant lines through the singular locus of $X$., Comment: 17 pages, to appear in Adv. Math

In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfies the property $N_{k+2, p}$. In addition, the singularities of the secant varieties are further classified according to the genus of the curve, and the Castelnuovo--Mumford regularities are also obtained as well. As one of the main technical ingredients, we establish a vanishing theorem on the Cartesian products of the curve, which may have independent interests and may find applications elsewhere., Comment: 36 pages. Comments are welcome

We show that the log canonical threshold of a generic determinantal variety and its generic link are the same., Comment: revision

In this paper, we prove a formula of Grauert-Riemenschneider canonical sheaf and log canonical thresholds for a general residual intersection as well as an equality of minimal log discrepancies under a general link. We also prove an evidence that MJ-singularities can be preserved under a general residual intersection., Comment: 13 pages, to appear in Contemp. Math

Let $X \subseteq \mathbb{P}^r$ be a scroll of codimension $e$ and degree $d$ over a smooth projective curve of genus $g$. The purpose of this paper is to prove a linear Castelnuovo-Mumford regularity bound that reg$(X) \leq d-e+1+g(e-1)$. This bound works over an algebraically closed field of arbitrary characteristic., Comment: 10 pages. to appear in J. Algebra

In this paper, we prove that Mather-Jacobian (MJ) singularities are preserved under the process of generic linkage. More precisely, let $X$ be a variety with MJ-canonical (resp. MJ-log canonical) singularities. Then a generic link of $X$ is also MJ-canonical (resp. MJ-log canonical). This further leads us to a result on minimal log discrepancies under generic linkage., Comment: Comments are welcome, results are updated

In this paper, we establish several results related to vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety, including an injectivity theorem, a Nadel-type vanishing theorem, a Griffith-type vanishing theorem for vector bundles, and a vanishing theorem for the asymptotic Mather-Jacobian multiplier ideals., Comment: 11 pages, comments welcome

We provide a bound on the $\Theta$-regularity of an arbitrary reduced and irreducible curve embedded in a polarized abelian variety in terms of its degree and codimension. This is an "abelian" version of Gruson-Lazarsfeld-Peskine's bound on the Castelnuovo--Mumford regularity of a non-degenerate curve embedded in a projective space. As an application, we provide a Castelnuovo type bound for the genus of a curve in a (non necessarily principally) polarized abelian variety. Finally, we bound the $\Theta$-regularity of a class of higher dimensional subvarieties in Jacobian varieties, i.e. the Brill-Noether loci associated to a Petri general curve, extending earlier work of Pareschi-Popa., Comment: 19 pages. Sections 2 and 3 replace our older preprint arXiv:1209.4404. The material in sections 4 and 5 is new

By using Mather-Jacobian multiplier ideals, we first prove a formula on comparing Grauert-Riemenschneider canonical sheaf with canonical sheaf of a variety over an algebraically closed field of characteristic zero. Then we turn to study Mather-Jacobian multiplier ideals on algebraic curve, in which case the definition of Mather-Jacobian multiplier ideal can be extended to a ground field of any characteristic. We show that Mather-Jacobian multiplier ideal on curves is essentially the same as an integrally closed ideal. Finally by comparing conductor ideal with Mather-Jacobian multiplier ideal, we give a criterion when an algebraic curve is a locally complete intersection., Comment: 11 pages, comments are welcome

We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree., Comment: 11 pages, title changed; Mathematische Zeitschrift, 2015

In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather multiplier ideal, has been developed independently by Ein-Ishii-Mustata, and de Fernex-Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstellensatz due to Ein-Lazarsfeld in nonsingular case to any projective varieties. Then we prove a result on comparison of symbolic powers with ordinary powers on any varieties, which extends results of Ein-Lazarsfeld-Smith and Hochster-Huneke., Comment: 11 pages, main theorems are improved, comments are welcome

Inspired by a theorem of Gruson-Lazarsfeld-Peskine bounding the Castelnuovo-Mumford regularity of curves in projective spaces, we bound the Theta-regularity of curves in polarized abelian varieties., Comment: 6 pages, comments welcome

Let $Y$ be a generic link of a subvariety $X$ of a nonsingular variety $A$. We give a description of the Grauert-Riemenschneider canonical sheaf of $Y$ in terms of the multiplier ideal sheaves associated to $X$ and use it to study the singularities of $Y$. As the first application, we give a criterion when $Y$ has rational singularities and show that log canonical threshold increases and log canonical pairs are preserved in generic linkage. As another application we give a quick and simple liaison method to generalize the results of de Fernex-Ein and Chardin-Ulrich on the Castelnuovo-Mumford regularity bound for a projective variety., Comment: 21 pages, all comments welcome

Let $\mathscr{I}$ be an ideal sheaf on $P^n$ defining a subscheme $X$. Associated to $\mathscr{I}$ there are two elementary invariants: the invariant $s$ which measures the positivity of $\mathscr{I}$, and the minimal number $d$ such that $\mathscr{I}(d)$ is generated by its global sections. It is now clear that the asymptotic behavior of $\reg \mathscr{I}^t$ is governed by $s$ but usually not linear. In this paper, we first describe the linear behavior of the asymptotic regularity by showing that if $s=d$, i.e., $s$ reaches its maximal value, then for $t$ large enough $\reg \mathscr{I}^t=dt+e$ for some positive constant $e$. We then turn to concrete geometric settings to study the asymptotic regularity of $\mathscr{I}$ in the case that $X$ is a nonsingular variety embedded by a very ample adjoint line bundle. Our approach also gives regularity bounds for $\mathscr{I}^t$ once we know $\reg \mathscr{I}$ and assume that $X$ is a local complete intersection., Comment: 15 pages, all comments welcome

Let $\mathscr{I}$ be an ideal sheaf on $P^n$. In the first part of this paper, we bound the asymptotic regularity of powers of $\mathscr{I}$ as $ps-3\leq \reg \mathscr{I}^p\leq ps+e$, where $e$ is a constant and $s$ is the $s$-invariant of $\mathscr{I}$. We also give the same upper bound for the asymptotic regularity of symbolic powers of $\mathscr{I}$ under some conditions. In the second part, by using multiplier ideal sheaves, we give a vanishing theorem of powers of $\mathscr{I}$ when it defines a local complete intersection subvariety with log canonical singularities., Comment: 13 pages; Corrected typos, added references, improve one of the main theorems

In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal $I$ in terms of the degrees of its generators. We assume that $I$ defines a local complete intersection with log canonical singularities., Comment: 14 pages; Title changed; Typos corrected; To appear in Journal of Pure and Applied Algebra