Searcharxiv⌕ Search

arXiv subjects

Sijong Kwak

Publications and source records attributed to Sijong Kwak.

23 records · Page 2Linked to original sources

Graded mapping cone theorem, multisecants and syzygies

Let $X$ be a reduced closed subscheme in $\mathbb P^n$. As a slight generalization of property $\textbf{N}_p$ due to Green-Lazarsfeld, we can say that $X$ satisfies property $\textbf{N}_{2,p}$ scheme-theoretically if there is an ideal $I$ generating the ideal sheaf $\mathcal I_{X/¶^n}$ such that $I$ is generated by quadrics and there are only linear syzygies up to $p$-th step (cf. \cite{EGHP1}, \cite{EGHP2}, \cite{V}). Recently, many algebraic and geometric results have been proved for projective varieties satisfying property $\textbf{N}_{2,p}$(cf. \cite{CKP}, \cite{EGHP1}, \cite{EGHP2} \cite {KP}). In this case, the Castelnuovo regularity and normality can be obtained by the blowing-up method as $\reg(X)\le e+1$ where $e$ is the codimension of a smooth variety $X$ (cf. \cite{BEL}). On the other hand, projection methods have been very useful and powerful in bounding Castelnuovo regularity, normality and other classical invariants in geometry(cf. \cite{BE}, \cite{K}, \cite{KP}, \cite{L} \cite {R}). In this paper, we first prove the graded mapping cone theorem on partial eliminations as a general algebraic tools and give some applications. Then, we bound the length of zero dimensional intersection of $X$ and a linear space $L$ in terms of graded Betti numbers and deduce a relation between $X$ and its projections with respect to the geometry and syzygies in the case of projective schemes satisfying property $\textbf{N}_{2,p}$ scheme-theoretically. In addition, we give not only interesting information on the regularity of fibers and multiple loci for the case of $\textbf{N}_{d,p}, d\ge 2$ but also geometric structures for projections according to moving the center.

math.AG↗

Some effects of property $N_p$ on the higher normality and defining equations of nonlinearly normal varieties

For a smooth projective variety $X\subset ¶^r$ embedded by the complete linear system, Property $N_p$ has been studied for a long time. On the other hand, Castelnuovo-Mumford regularity conjecture and related problems have been focused for a projective variety which is not necessarily linearly normal. This paper aims to explain the influence of Property $N_p$ on higher normality and defining equations of a smooth variety embedded by sub-linear system. Also we prove a claim about Property $N_p$ of surface scrolls which is a generalization of Green's work in \cite{Green} about Property $N_p$ for curves.

math.AG↗

Generic Projection Methods in Castelnuovo Regularity of Projective Varieties

Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety X is less than or equal to deg(X)-codimension(X)+1. Generic projection methods proved to be effective for the study of regularity of smooth projevtive varieties of dimension at most four(cf.[BM},[K2],[L],[Pi] and [R1]) because there are nice vanishing theorems for cohomology of vector bundles (e.g. the Kodaira-Kawamata-Viehweg vanishing theorem) and detailed information about the fibers ofgeneric projections from X to a hypersurface of the same dimension. Here we show by using methods similar to those used in [K2] that $\reg{X}\le(deg(X)-codimension(X)+1)+10$ for any smooth fivefold and $\reg{X}\le(deg(X)-codimension(X)+1)+20$ for any smooth sixfold. Furthermore, using similar methods we give a bound for the regularity of an arbitrary (not necessarily locally Cohen-Macaulay) projective surface X in P^N. To wit, we show that $\reg{X}\le(d-e+1)d-(2e+1)$, where d=deg(X) and e=codimension(X). This is the first bound for surfaces which does not depend on smoothness.

math.AG↗

Castelnuovo-Mumford Regularity of Smoth Threefolds in P^5

Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety $X$ is less than or equal to $deg(X)-codim(X)+1$. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that $reg(X) \le deg(X)-1$ for smooth threefolds $X$ in P^5 and that the only varieties on the boundary are the Segre threefold and the complete intersection of two quadrics. Furthermore, every smooth threefold $X$ in P^5 is $k$-normal for all $k \ge deg(X)-4$, which is the optimal bound as the Palatini 3-fold of degree 7 shows.

math.AG↗

Castelnuovo regularity for smooth projective varieties of dimensions 3 and 4

Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree. This conjecture is known to be true for curves (Gruson-Lazarsfeld-Peskine) and smooth surfaces (Pinkham, Lazarsfeld), but not in general. The purpose of this paper is to give new bounds for the regularity of smooth varieties in dimensions 3 and 4 that are only slightly worse than the optimal ones suggested by the conjecture. Our method yields new bounds up to dimension 14, but as they get progressively worse for higher dimensions, we have not written them down here.

math.AG↗