[논문 리뷰] Inclics, galaxies, star configurations and Waldschmidt constants

Giuliana Fatabbi, Brian Harbourne외 1명|arXiv (Cornell University)|2013. 04. 08.

Commutative Algebra and Its Applications참고 문헌 14인용 수 3

한 줄 요약

이 논문은 다중성의 할당이 있는 선형 다양체의 합집합인 inclic 체계를 소개하며, 다중성의 선택과 관계없이 그 정의 아이디얼의 힐베르트 함수를 계산하는 인도적 방법을 제공한다. 주요 응용으로는 프로젝티브 기하학에서 갈락티크 inclic의 월드슈나이트 상수를 명시적으로 계산하여 기존의 기호적 거듭제곱과 별형 구성에 대한 결과를 확장한다.

ABSTRACT

This paper introduces complexes of linear varieties, called inclics (for INductively Constructible LInear ComplexeS). As examples, we study galaxies (these are constructed starting with a star configuration to which we add general points in a larger projective space). By assigning an order of vanishing (i.e., a multiplicity) to each member of the complex, we obtain fat linear varieties (fat points if all of the linear varieties are points). The scheme theoretic union of these fat linear varieties gives an inclic scheme $X$. For such a scheme, we show there is an inductive procedure for computing the Hilbert function of its defining ideal $I_X$, regardless of the choice of multiplicities. As an application, we show how our results allow the computation of the Hilbert functions of, for example, symbolic powers $(I_X)^{(m)}$ for arbitrary $m$ of many new examples of radical ideals $(I_X)$, and we explicitly compute the Waldschmidt constants $γ(I_X)$ for galactic inclics $X$.

연구 동기 및 목표

• 선형 다양체의 합집합에 대해 임의의 다중성을 가진 아이디얼의 힐베르트 함수를 계산하기 위한 일반적인 인도적 프레임워크를 개발하는 것.
• 기존의 사례를 넘어서 루트 아이디얼에 대해 계산 가능한 기호적 거듭제곱 힐베르트 함수의 범위를 확장하는 것.
• 별형 구성과 일반 점들로부터 구성된 특수한 inclic 클래스인 갈락티크 inclic 체계를 정의하고 연구하는 것.
• 갈락티크 inclic의 월드슈나이트 상수를 명시적으로 계산하여 기호적 거듭제곱의 최초 차수의 점근적 측도를 제공하는 것.
• 기존의 기호적 거듭제곱과 월드슈나이트 상수 결과를 고차원 프로젝티브 공간의 새로운 구성으로 일반화하는 것.

제안 방법

• 프로젝티브 공간 내에서 특정 포함 및 상호배타성 조건을 만족하는 선형 부분다양체의 인도적으로 구성 가능한 복합체로 inclic을 도입하는 것.
• 각 성분에 다중성(소멸 순서)을 할당하여 피카르-기하학적 합집합을 형성하는 피카르-기하학적 합집합으로 inclic 체계를 정의하는 것.
• 임의의 다중성 할당에 대해 inclic 체계 X의 정의 아이디얼 $I_X$의 힐베르트 함수를 계산하는 재귀적 절차를 수립하는 것.
• 기존의 인도적 힐베르트 함수 계산 절차를 루트 아이디얼 $I_X$의 기호적 거듭제곱 $(I_X)^{(m)}$에 적용하여 임의의 $m$에 대해 그 힐베르트 함수를 계산할 수 있도록 하는 것.
• 하이퍼평면 내의 별형 구성과 더 큰 프로젝티브 공간 내의 $h$개의 일반 점들로 이루어진 inclic으로 갈락티크 inclic을 정의하며, 주요 결과에서는 $h=N$으로 둔다.
• 코로나리 3.5와 추가된 점의 수에 대한 귀납법을 사용하여 $α((I_X)^{(j)})$ — $j$번째 기호적 거듭제곱의 최초 차수 — 를 계산하고, 월드슈나이트 상수 $\gamma(I_X)$에 대한 명시적 공식을 도출하는 것.

실험 결과

연구 질문

• RQ1 임의의 다중성을 가진 선형 다양체로 이루어진 체계의 정의 아이디얼의 힐베르트 함수를 계산하기 위한 인도적 절차를 개발할 수 있는가?
• RQ2 이 인도적 방법이 기존의 사례를 넘어서, 특히 루트 아이디얼의 기호적 거듭제곱의 힐베르트 함수 계산에 얼마나 널리 적용될 수 있는가?
• RQ3 고차원 프로젝티브 공간 내에서 별형 구성과 $N$개의 일반 점들로 이루어진 갈락티크 inclic 체계의 월드슈나이트 상수는 무엇인가?
• RQ4 갈락티크 inclic 아이디얼의 $j$번째 기호적 거듭제곱의 최초 차수는 점근적으로 어떻게 증가하는가?
• RQ5 인도적 계산 $α((I_X)^{(j)})$가 월드슈나이트 상수에 대한 닫힌 표현식을 도출하기 위해 안정화되는 조건은 무엇인가?

주요 결과

• 임의의 다중성 할당에 대해 어떤 inclic 체계의 정의 아이디얼의 힐베르트 함수를 계산하는 인도적 절차가 확립되었다.
• 이 방법은 많은 새로운 예시의 루트 아이디얼 $I_X$에 대해 임의의 $m$에 대해 기호적 거듭제곱 $(I_X)^{(m)}$의 힐베르트 함수를 명시적으로 계산할 수 있도록 한다.
• 갈락티크 inclic $X = γ(n,N,e,u,N;S(n,e,u),\mathcal{H})$에 대해 월드슈나이트 상수가 명시적으로 계산되었으며, $\gamma(I_X) = \frac{(N+1)u - Ne}{Nu - (N-1)e}$ 로 주어진다.
• 기호적 거듭제곱의 최초 차수 $\alpha((I_X)^{(j)})$ 는 $j$에 대해 선형으로 증가하며, 수열 $a_i = iru - (i-1)re$ 는 $a_{i+1} = 2a_{i+1} - a_i$ 를 만족한다. 여기서 $a_i = \alpha((I_{G_i})^{(a_i)})$ 이다.
• 만약 $e = n$ 이면 아이디얼 $I_G$의 정규성은 $u - n + 1$ 이고, $\alpha(I_G) = 2$ 이다. 이는 월드슈나이트 상수를 유계화하는 데 도움이 된다.
• 결과는 핵심 관찰에 기반한다: $\alpha(I_{a_i G_i}) = a_i + d$, 여기서 $d = a_i - a_{i-1}$ 이며, 이는 $a_{i+1} = a_i + (a_i - a_{i-1})$ 를 유도하여 $\gamma(I_X)$에 대한 닫힌 표현식을 도출한다.