[논문 리뷰] Regularity and non-emptyness of linear systems in $\mathbb P^n$

Marcin Dumnicki|ArXiv.org|2008. 02. 07.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 11

한 줄 요약

이 논문은 일반적인 점에서 주어진 다중성을 갖는 $\mathbb{P}^n$ 속의 초곡면의 선형 계수에 대해 정규성($\tau_n$)과 비어있지 않은 임계값($\alpha_n$)을 유 bounds하기 위한 새로운 알고리즘 NSglue를 소개한다. 새로운 분할 정리(정리 1)와 비유리 변환을 활용하여, 특히 준동차 계수에 대해 $\alpha_2$, $\tau_2$, $\alpha_3$, $\alpha_4$의 기존의 bound를 향상시키며, $\mathbb{P}^2$ 상의 다중점 Seshadri 상수에 대한 새로운 추정치를 도출한다. 이 방법은 이전에 해결이 어려웠던 많은 경우에서 기존 알고리즘을 능가한다.

ABSTRACT

The main goal of this paper is to present a new algorithm bounding the regularity and ``alpha'' (the lowest degree of existing hypersurface) of a linear system of hypersurfaces (in $\mathbb P^n$) passing through multiple points in general position. To do the above we formulate and prove new theorem, which allows to show non-specialty of linear system by splitting it into non-special (and simpler) systems. As a result we give new bounds for multiple point Seshadri constants on $\PP^2$.

연구 동기 및 목표

• 일반적인 점에서 주어진 다중성을 갖는 $\mathbb{P}^n$ 속의 초곡면 선형 계수에 대해 정규성($\tau_n$)과 비어있지 않은 임계값($\alpha_n$)을 유 bounds하기 위한 새로운 알고리즘을 개발하는 것.
• 더 단순한 비특수 성분들로 분해함으로써 특수성 증명이 가능한 새로운 분할 정리(정리 1)를 통해 이론적 기반을 마련하는 것.
• 특히 기존 방법이 종종 실패하는 준동차 계수에 대해 $n=2,3,4$에 대해 $\alpha_n$과 $\tau_n$의 기존 bound를 향상시키는 것.
• 비유리 변환과 Eckl 기준을 활용하여 $\mathbb{P}^2$ 상의 다중점 Seshadri 상수에 대한 새로운 정량적 bound를 도출하는 것.

제안 방법

• 핵심 방법은 새로운 분할 정리(정리 1)로, 두 개의 더 작은 계수 $L_1$과 $L_2$가 비특수이면서 그들의 가상 차원이 $(\operatorname{vdim}L_1+1)(\operatorname{vdim}L_2+1) \geq 0$를 만족할 경우, 시스템 $\mathcal{L}_n(d;m_1,\dots,m_r)$가 비특수임을 증명하는 것.
• NSglue 알고리즘은 정리 1을 활용해 호환 가능한 차수와 다중성을 갖는 다중성을 '접합'함으로써, 더 단순한 계수에서 알려진 비특수성 기준을 적용할 수 있도록 한다.
• NSsplit 알고리즘은 복잡한 계수를 더 낮은 차수와 다중성을 갖는 여러 개의 더 작은 계수로 분해하려는 시도를 하여, 비특수성 기준을 적용할 확률을 높인다.
• 비유리 변환(예: 세 점의 조합을 이용한 Nagata의 기법)을 적용하여 음수 다중성을 갖는 계수를 줄이고, 이로써 Eckl 기준을 사용해 공집합임을 증명한다.
• 고차원에 적합하게 조정된 [md]와 [CMirdeg]의 감소 기법을 조합하여, 가상 차원과 기대 차원을 통해 선형 계수의 차원을 분석한다.
• FreePascal로 구현된 알고리즘은 사용자 정의 클래스(Eclass와 Gclass)를 통해 대규모 계수 집합에 대해 비특수성과 $\alpha_n$, $\tau_n$의 bound를 자동으로 테스트할 수 있다.

실험 결과

연구 질문

• RQ1 일반적인 점과 주어진 다중성을 갖는 $\mathbb{P}^n$ 속 선형 계수에 대해 $\alpha_n$과 $\tau_n$을 유 bounds하기 위한 새로운 알고리즘을 개발할 수 있는가?
• RQ2 정리 1을 어떻게 활용하여 복잡한 계수를 더 단순하고 비특수인 성분들로 분해함으로써 계수의 비특수성을 증명할 수 있는가?
• RQ3 기존 알고리즘과 비교해 $\alpha_2$, $\tau_2$, $\alpha_3$, $\alpha_4$의 bound에 어떤 향상이 이루어지는가? 특히 준동차 계수에 대해.
• RQ4 이 방법을 사용해 $\mathbb{P}^2$ 상의 다중점 Seshadri 상수에 대한 새로운 하한을 계산할 수 있는가?

주요 결과

• 계수 $\mathcal{L}_2(31;22,9^{\times 4},4^{\times 3})$에 대해, 알고리즘은 알려진 비특수 계수인 $\mathcal{L}_2(13;4^{\times 4})$로의 감소를 통해 비특수성을 확인한다.
• 197d - 42(21m + h) < 0일 경우, 13회의 비유리 변환을 거쳐 가상 차원이 음수가 되도록 감소시킴으로써, $\mathcal{L}_2(d;m^{\times 21},h)$의 공집합임을 성공적으로 증명한다.
• 제곱수가 아닌 $r=10,\dots,99$에 대해 90개의 동차 계수 중 64개에 대해 NSglue는 기존의 추측된 공집합 또는 비공집합 상태를 확인하며, 이전 방법보다 뛰어난 성능을 보였다.
• 표 1에서 NSglue는 Harbourne–Roé 또는 Monserrat의 방법보다도 더 추측된 값에 가까운 $\alpha_2$와 $\tau_2$의 bound를 확보하였으며, 많은 경우에서 오차가 ±1 이내였다.
• 정리 1과 Eckl 기준을 조합함으로써, 예제 11에서 보여지듯이 $\mathbb{P}^2$ 상의 다중점 Seshadri 상수에 대한 새로운 bound를 도출하였다.
• 시각화 결과는 $1 \leq m \leq 150$, $10 \leq r \leq 450$ 범위에서 $\tau_2$와 $\alpha_2$에 대해 높은 성공률을 보였으며, 대부분의 계수에서 추측된 값과 일치하는 bound를 확보하였다.