Search arXiv⌕ Search

arXiv subjects

Yong-Su Shin

Publications and source records attributed to Yong-Su Shin.

9 recordsLinked to original sources

The Waldschmidt constant of a standard $\Bbbk$-configuration in $\mathbb P^2$

A $\Bbbk$-configuration of type $(d_1,\dots,d_s)$ is a specific set of points in $\mathbb P^2$ that has a number of algebraic and geometric properties. For example, the graded Betti numbers and Hilbert functions of all $\Bbbk$-configurations in $\mathbb P^2$ are determined by the type $(d_1,\dots,d_s)$. However the Waldschmidt constant of a $\Bbbk$-configuration in $\mathbb P^2$ of the same type may vary. In this paper, we find that the Waldschmidt constant of a $\Bbbk$-configuration in $\mathbb P^2$ of type $(d_1,\dots,d_s)$ with $d_1\ge s\ge 1$ is $s$. We also find the Waldschmidt constant of a standard $\Bbbk$-configuration in $\mathbb P^2$ of type $(a,b,c)$ with $a\ge 1$ except the type $(2,3,5)$. In particular, we prove that the Waldschmidt constant of a standard $\Bbbk$-configuration in $\mathbb P^2$ of type $(1,b,c)$ with $c\ge 2b+2$ does not depend on $c$.

math.AG↗

Young wall construction of level-1 highest weight crystals over $U_q(D_4^{(3)})$ and $U_q(G_2^{(1)})$

With the help of path realization and affine energy function, we give a Young wall construction of level-1 highest weight crystals $B(λ)$ over $U_{q}(G_{2}^{(1)})$ and $U_{q}(D_{4}^{(3)})$. Our construction is based on four different shapes of colored blocks, $\mathbf O$-block, $\mathbf I$-block, $\mathbf L$-block and $\mathbf{LL}$-block, obtained by cutting the unit cube in three different ways.

math.RT↗

Representation theory of symmetric groups and the strong Lefschetz property

We investigate the structure and properties of an Artinian monomial complete intersection quotient $A(n,d)=\mathbf{k} [x_{1}, \ldots, x_{n}] \big / (x_{1}^{d}, \ldots, x_{n}^d)$. We construct explicit homogeneous bases of $A(n,d)$ that are compatible with the $S_{n}$-module structure for $n=3$, all exponents $d \ge 3$ and all homogeneous degrees $j \ge 0$. Moreover, we derive the multiplicity formulas, both in recursive form and in closed form, for each irreducible component appearing in the $S_{3}$-module decomposition of homogeneous subspaces. 4, 5$.

math.RT↗

The symbolic defect of an ideal

Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$. Precisely, $\operatorname{sdefect}(I,m)$ is the minimal number of generators of the $R$-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators one must add to $I^m$ to make $I^{(m)}$. In this paper, we take the first step towards understanding the symbolic defect by considering the case that $I$ is either the defining ideal of a star configuration or the ideal associated to a finite set of points in $\mathbb{P}^2$. We are specifically interested in identifying ideals $I$ with $\operatorname{sdefect}(I,2) = 1$.

math.AC↗

Distinguishing $\Bbbk$-configurations

A $\Bbbk$-configuration is a set of points $\mathbb{X}$ in $\mathbb{P}^2$ that satisfies a number of geometric conditions. Associated to a $\Bbbk$-configuration is a sequence $(d_1,\ldots,d_s)$ of positive integers, called its type, which encodes many of its homological invariants. We distinguish $\Bbbk$-configurations by counting the number of lines that contain $d_s$ points of $\mathbb{X}$. In particular, we show that for all integers $m \gg 0$, the number of such lines is precisely the value of $Δ\mathbf{H}_{m\mathbb{X}}(m d_s -1)$. Here, $Δ\mathbf{H}_{m\mathbb{X}}(-)$ is the first difference of the Hilbert function of the fat points of multiplicity $m$ supported on $\mathbb{X}$.

math.AC↗

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.

math.AC↗

The secant line variety to the varieties of reducible plane curves

Let $λ=[d_1,\dots,d_r]$ be a partition of $d$. Consider the variety $\mathbb{X}_{2,λ} \subset \mathbb{P}^N$, $N={d+2 \choose 2}-1$, parameterizing forms $F\in k[x_0,x_1,x_2]_d$ which are the product of $r\geq 2$ forms $F_1,\dots,F_r$, with deg$F_i = d_i$. We study the secant line variety $σ_2(\mathbb{X}_{2,λ})$, and we determine, for all $r$ and $d$, whether or not such a secant variety is defective. Defectivity occurs in infinitely many "unbalanced" cases.

math.AG↗

The Minimal Free Resolution of A Star-Configuration in $\mathbb{P}^n$

We find the minimal free resolution of the ideal of a star-configuration in $\mathbb{P}^n$ of type $(r,s)$ defined by general forms in $R=\Bbbk[x_0,x_1,\dots,x_n]$. This generalises the results of \cite{AS:1,GHM} from a specific value of $r=2$ to any value of $1\le r\le n$. Moreover, we show that any star-configuration in $\mathbb{P}^n$ is arithmetically Cohen-Macaulay. As an application, we construct a few of graded Artinian rings, which have the weak Lefschetz property, using the sum of two ideals of star-configurations in $\mathbb{P}^n$.

math.AC↗