Researcher profile

Sijong Kwak

Sijong Kwak contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

Determinantal characterization of higher secant varieties of minimal degree

A variety of minimal degree is one of the basic objects in projective algebraic geometry and has been classified and characterized in many aspects. On the other hand, there are also minimal objects in the category of higher secant varieties, and their algebraic and geometric structures seem to share many similarities with those of varieties of minimal degree. We prove in this paper that higher secant varieties of minimal degree have determinantal presentation of two types, i.e. scroll type and Veronese type. Our result generalizes the del Pezzo-Bertini classification for varieties of minimal degree. Also, as a consequence, we show that for any smooth projective variety having higher secant variety of minimal degree, the embedding line bundle admits a special decomposition into two line bundles as so do those of the well-known examples: varieties of minimal degree, smooth del Pezzo varieties, Segre varieties and 2-Veronese varieties.

preprint2021arXiv

Componentwise linearity of projective varieties with almost maximal degree

The degree of a projective subscheme has an upper bound in term of the codimension and the reduction number. If a projective variety has an almost maximal degree, that is, the degree equals to the upper bound minus one, then its Betti table has been described explicitly. We build on this work by showing that for most of such varieties, the defining ideals are componentwise linear and in particular the componentwise linearity is suitable for classifying the Betti tables of such varieties. As an application, we compute the Betti table of all varieties with almost maximal degree and componentwise linear resolution.

preprint2014arXiv

On Syzygies, degree, and geometric properties of projective schemes with property $\textbf{N}_{3,p}$

For an algebraic set $X$ (union of varieties) embedded in projective space, we say that $X$ satisfies property $\textbf{N}_{d,p}$, $(d\ge 2)$ if the $i$-th syzygies of the homogeneous coordinate ring are generated by elements of degree $< d+i$ for $0\le i\le p$ (see \cite{EGHP2} for details). Much attention has been paid to linear syzygies of quadratic schemes $(d=2)$ and their geometric interpretations (cf. \cite{AK},\cite{EGHP1},\cite{HK},\cite{GL2},\cite{KP}). However, not very much is actually known about the case satisfying property $\textbf{N}_{3,p}$. In this paper, we give a sharp upper bound on the maximal length of a zero-dimensional linear section of $X$ in terms of graded Betti numbers (Theorem 1.2 (a)) when $X$ satisfies property $\textbf{N}_{3,p}$. In particular, if $p$ is the codimension $e$ of $X$ then the degree of $X$ is less than or equal to $\binom{e+2}{2}$, and equality holds if and only if $X$ is arithmetically Cohen-Maucalay with $3$-linear resolution (Theorem 1.2 (b)). This is a generalization of the results of Eisenbud et al. (\cite{EGHP1,EGHP2}) to the case of $\textbf{N}_{3,p}$, $(p\leq e)$.

preprint2013arXiv

Sharp bounds for higher linear syzygies and classifications of projective varieties

In the present paper, we consider upper bounds of higher linear syzygies i.e. graded Betti numbers in the first linear strand of the minimal free resolutions of projective varieties in arbitrary characteristic. For this purpose, we first remind `Partial Elimination Ideals (PEIs)&#39; theory and introduce a new framework in which one can study the syzygies of embedded projective schemes well using PEIs theory and the reduction method via inner projections. Next we establish fundamental inequalities which govern the relations between the graded Betti numbers in the first linear strand of an algebraic set $X$ and those of its inner projection $X_q$. Using these results, we obtain some natural sharp upper bounds for higher linear syzygies of any nondegenerate projective variety in terms of the codimension with respect to its own embedding and classify what the extremal case and next-to-extremal case are. This is a generalization of Castelnuovo and Fano&#39;s results on the number of quadrics containing a given variety and another characterization of varieties of minimal degree and del Pezzo varieties from the viewpoint of `syzygies&#39;. Note that our method could be also applied to get similar results for more general categories (e.g. connected in codimension one algebraic sets).

preprint2011arXiv

Generic Initial ideals of Singular Curves in Graded Lexicographic Order

In this paper, we are interested in the generic initial ideals of \textit{singular} projective curves with respect to the graded lexicographic order. Let $C$ be a \textit{singular} irreducible projective curve of degree $d\geq 5$ with the arithmetic genus $ρ_a(C)$ in $\p^r$ where $r\ge 3$. If $M(I_C)$ is the regularity of the lexicographic generic initial ideal of $I_C$ in a polynomial ring $k[x_0,..., x_r]$ then we prove that $M(I_C)$ is $1+\binom{d-1}{2}-ρ_a(C)$ which is obtained from the monomial $$ x_{r-3} x_{r-1}\,^{\binom{d-1}{2}-ρ_a(C)}, $$ provided that $\dim\Tan_p(C)=2$ for every singular point $p \in C$. This number is equal to one plus the number of non-isomorphic points under a generic projection of $C$ into $\p^2$. %if $°(C)=3,4$ then $M(I_C)= °(C)$ by the direct computation. Our result generalizes the work of J. Ahn for \textit{smooth} projective curves and that of A. Conca and J. Sidman \cite{CS} for \textit{smooth} complete intersection curves in $\p^3$. The case of singular curves was motivated by \cite[Example 4.3]{CS} due to A. Conca and J. Sidman. We also provide some illuminating examples of our results via calculations done with {\it Macaulay 2} and \texttt {Singular} \cite{DGPS, GS}.

preprint2011arXiv

The Degree Complexity of Smooth Surfaces of codimension 2

D.Bayer and D.Mumford introduced the degree complexity of a projective scheme for the given term order as the maximal degree of the reduced Gröbner basis. It is well-known that the degree complexity with respect to the graded reverse lexicographic order is equal to the Castelnuovo-Mumford regularity (\cite{BS}). However, little is known about the degree complexity with respect to the graded lexicographic order (\cite{A}, \cite{CS}). In this paper, we study the degree complexity of a smooth irreducible surface in $\p^4$ with respect to the graded lexicographic order and its geometric meaning. Interestingly, this complexity is closely related to the invariants of the double curve of a surface under the generic projection. As results, we prove that except a few cases, the degree complexity of a smooth surface $S$ of degree $d$ with $h^0(\mathcal I_S(2))\neq 0$ in $\p^4$ is given by $2+\binom{°Y_1(S)-1}{2}-ρ_{a}(Y_{1}(S))$, where $Y_1(S)$ is a double curve of degree $\binom{d-1}{2}-ρ_{a}(S \cap H)$ under a generic projection of $S$ (Theorem \ref{mainthm2}). Exceptional cases are either a rational normal scroll or a complete intersection surface of $(2,2)$-type or a Castelnuovo surface of degree 5 in $\p^4$ whose degree complexities are in fact equal to their degrees. This complexity can also be expressed only in terms of the maximal degree of defining equations of $I_S$ (Corollary \ref{cor:01} and \ref{cor:02}). We also provide some illuminating examples of our results via calculations done with {\it Macaulay 2} (Example \ref{Exam:01}).