Generic Projection Methods in Castelnuovo Regularity of Projective Varieties

We study the continuous CM-regularity of torsion-free coherent sheaves on polarized irregular smooth projective varieties $(X,\mathcal{O}_X(1))$, and its relation with the theory of generic vanishing. This continuous variant of the Castelnuovo-Mumford regularity was introduced by Mustopa, and he raised the question whether a continuously $1$-regular such sheaf $\mathcal{F}$ is GV. Here we answer the question in the affirmative for many pairs $(X,\mathcal{O}_X(1))$ which inclu...

We show that a bound of the Castelnuovo-Mumford regularity of any power of the ideal sheaf of a smooth projective complex variety $X\subseteq\mathbb{P}^r$ is sharp exactly for complete intersections, provided the variety $X$ is cut out scheme-theoretically by several hypersurfaces in $\mathbb{P}^r$. This generalizes a result of Bertram-Ein-Lazarsfeld.

Classical Castelnuovo's Lemma shows that the number of linearly independent quadratic equations of a nondegenerate irreducible projective variety of codimension $c$ is at most ${{c+1} \choose {2}}$ and the equality is attained if and only if the variety is of minimal degree. Also a generalization of Castelnuovo's Lemma by G. Fano implies that the next case occurs if and only if the variety is a del Pezzo variety. For curve case, these results are extended to equations of arbi...

This paper gives explicit formulas for the reduction number and the Castelnuovo-Mumford regularity of projective monomial curves.

It is well known that the Eisenbud-Goto regularity conjecture is true for arithmetically Cohen-Macaulay varieties, projective curves, smooth surfaces, smooth threefolds in $\mathbb{P}^5$, and toric varieties of codimension two. After J. McCullough and I. Peeva constructed counterexamples in 2018, it has been an interesting question to find the categories such that the Eisenbud-Goto conjecture holds. So far, counterexamples of projective surfaces have not been found while coun...

In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in $\mathbb{P}^n$ and the homogeneous coordinate ring of a collection of lines in general linear position in $\mathbb{P}^n.$ We show that if $\mathcal{M}$ is a collection of $m$ lines in general linear position in $\mathbb{P}^n$ with $2m \leq n+1$ and $R$ is the coordinate ring of $\mathcal{M},$ then $R$ is Koszul. Further, if $\mathcal{M}$ is a generic collection o...

In order to study projections of smooth curves, we introduce multifiltrations obtained by combining flags of osculating spaces. We classify all configurations of singularities occurring for a projection of a smooth curve embedded by a complete linear system away from a projective linear space of dimension at most two. In particular, we determine all configurations of singularities of non-degenerate degree d rational curves in $\mathbb{P}^n$ when $d - n \leq 3$ and $d < 2n$. A...

A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their singular locus. A subscheme of the projective space is said to be invariant under the Pfaff field, if the latter induces a Pfaff field on the subscheme. We give bounds for the Castelnuovo-Mumford regularity of invariant complete intersection ...

In this paper we improve the known bound for the $X$-rank $R_{X}(P)$ of an element $P\in {\mathbb{P}}^N$ in the case in which $X\subset {\mathbb P}^n$ is a projective variety obtained as a linear projection from a general $v$-dimensional subspace $V\subset {\mathbb P}^{n+v}$. Then, if $X\subset {\mathbb P}^n$ is a curve obtained from a projection of a rational normal curve $C\subset {\mathbb P}^{n+1}$ from a point $O\subset {\mathbb P}^{n+1}$, we are able to describe the prec...

In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly presented $\mathfrak{m}$-primary ideal. This result implies in particular that the image is scheme defined by equations of degree at most $n$. In this text we prove that the ideal of maximal minors of the Jacobian dual matrix associated to ...