SearcharxivSearch

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