Researcher profile

Jeaman Ahn

Jeaman Ahn 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)

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)$ is not a Gorenstein sequence, and as a result we classify the sequences of the form $(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 $X$ in a projective space $\mathbb P^{n}$. More concretely, via Generic initial ideals (Gins) method we mainly consider `tailing' Betti numbers, whose homological index is not less than $\mathrm{codim}(X,\mathbb P^{n})$. For this purpose, we first introduce a key definition `$\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 $\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\cap Λ$ with a linear subspace $Λ$ of dimension at least $\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 $\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)$.

preprint2011arXiv

Artinian level algebras of codimension 3

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