Source author record

Jeaman Ahn

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
2topics
4close collaborators

Published work

6 publications

preprint2016arXiv

Green's theorem and Gorenstein sequences

We study consequences, for a standard graded algebra, of extremal behavior in Green's Hyperplane Restriction Theorem. First, we extend his Theorem 4 from the case of a plane curve to the case of a hypersurface in a linear space. Second, assuming a certain Lefschetz condition, we give a connection to extremal behavior in Macaulay's theorem. We apply these results to show that (1,19,17,19,1)(1,19,17,19,1) is not a Gorenstein sequence, and as a result we classify the sequences of the form (1,a,a−2,a,1)(1,a,a-2,a,1) that are Gorenstein sequences.

preprint2014arXiv

Linear normality of general linear sections and some graded Betti numbers of 3-regular projective schemes

In this paper we study graded Betti numbers of any nondegenerate 3-regular algebraic set XX in a projective space Pn\mathbb P^{n}. More concretely, via Generic initial ideals (Gins) method we mainly consider `tailing' Betti numbers, whose homological index is not less than codim(X,Pn)\mathrm{codim}(X,\mathbb P^{n}). For this purpose, we first introduce a key definition `ND(1)\mathrm{ND(1)} property', which provides a suitable ground where one can generalize the concepts such as `being nondegenerate' or `of minimal degree' from the case of varieties to the case of more general closed subschemes and give a clear interpretation on the tailing Betti numbers. Next, we recall basic notions and facts on Gins theory and we analyze the generation structure of the reverse lexicographic (rlex) Gins of 3-regular ND(1)\mathrm{ND(1)} subschemes. As a result, we present exact formulae for these tailing Betti numbers, which connect them with linear normality of general linear sections of X∩ΛX\cap Λ with a linear subspace ΛΛ of dimension at least codim(X,Pn)\mathrm{codim}(X,\mathbb P^{n}). Finally, we consider some applications and related examples.

preprint2014arXiv

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

For an algebraic set XX (union of varieties) embedded in projective space, we say that XX satisfies property Nd,p\textbf{N}_{d,p}, (d≥2)(d\ge 2) if the ii-th syzygies of the homogeneous coordinate ring are generated by elements of degree <d+i< d+i for 0≤i≤p0\le i\le p (see \cite{EGHP2} for details). Much attention has been paid to linear syzygies of quadratic schemes (d=2)(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 N3,p\textbf{N}_{3,p}. In this paper, we give a sharp upper bound on the maximal length of a zero-dimensional linear section of XX in terms of graded Betti numbers (Theorem 1.2 (a)) when XX satisfies property N3,p\textbf{N}_{3,p}. In particular, if pp is the codimension ee of XX then the degree of XX is less than or equal to (e+22)\binom{e+2}{2}, and equality holds if and only if XX is arithmetically Cohen-Maucalay with 33-linear resolution (Theorem 1.2 (b)). This is a generalization of the results of Eisenbud et al. (\cite{EGHP1,EGHP2}) to the case of N3,p\textbf{N}_{3,p}, (p≤e)(p\leq e).

preprint2011arXiv

Artinian level algebras of codimension 3

In this paper, we continue the study of which hh-vectors =˝(1,3,...,hd−1,hd,hd+1)\H=(1,3,..., h_{d-1}, h_d, h_{d+1}) can be the Hilbert function of a level algebra by investigating Artinian level algebras of codimension 3 with the condition β2,d+2(Ilex)=β1,d+1(Ilex)β_{2,d+2}(I^{\rm lex})=β_{1,d+1}(I^{\rm lex}), where IlexI^{\rm lex} is the lex-segment ideal associated with an ideal II. Our approach is to adopt an homological method called {\it Cancellation Principle}: the minimal free resolution of II is obtained from that of IlexI^{\rm lex} by canceling some adjacent terms of the same shift. We prove that when β1,d+2(Ilex)=β2,d+2(Ilex)β_{1,d+2}(I^{\rm lex})=β_{2,d+2}(I^{\rm lex}), R/IR/I can be an Artinian level kk-algebra only if either hd−1<hd<hd+1h_{d-1}<h_d<h_{d+1} or hd−1=hd=hd+1=d+1h_{d-1}=h_d=h_{d+1}=d+1 holds. We also apply our results to show that for =˝(1,3,...,hd−1,hd,hd+1)\H=(1,3,..., h_{d-1}, h_d, h_{d+1}), the Hilbert function of an Artinian algebra of codimension 3 with the condition hd−1=hd<hd+1h_{d-1}=h_d<h_{d+1}, (a) if hd≤3d+2h_d\leq 3d+2, then hh-vector $\H$ cannot be level, and (b) if hd≥3d+3h_d\geq 3d+3, then there is a level algebra with Hilbert function $\H$ for some value of hd+1h_{d+1}.

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 CC be a \textit{singular} irreducible projective curve of degree d≥5d\geq 5 with the arithmetic genus ρa(C)ρ_a(C) in $\p^r$ where r≥3r\ge 3. If M(IC)M(I_C) is the regularity of the lexicographic generic initial ideal of ICI_C in a polynomial ring k[x0,...,xr]k[x_0,..., x_r] then we prove that M(IC)M(I_C) is 1+(d−12)−ρa(C)1+\binom{d-1}{2}-ρ_a(C) which is obtained from the monomial xr−3xr−1 (d−12)−ρa(C), x_{r-3} x_{r-1}\,^{\binom{d-1}{2}-ρ_a(C)}, provided that $\dim\Tan_p(C)=2$ for every singular point p∈Cp \in C. This number is equal to one plus the number of non-isomorphic points under a generic projection of CC into $\p^2$. %if °(C)=3,4°(C)=3,4 then M(IC)=°(C)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 SS of degree dd with h0(IS(2))≠0h^0(\mathcal I_S(2))\neq 0 in $\p^4$ is given by 2+(°Y1(S)−12)−ρa(Y1(S))2+\binom{°Y_1(S)-1}{2}-ρ_{a}(Y_{1}(S)), where Y1(S)Y_1(S) is a double curve of degree (d−12)−ρa(S∩H)\binom{d-1}{2}-ρ_{a}(S \cap H) under a generic projection of SS (Theorem \ref{mainthm2}). Exceptional cases are either a rational normal scroll or a complete intersection surface of (2,2)(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 ISI_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}).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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