[논문 리뷰] On freeness of divisors on $\mathbb P^2$

Ştefan Tohǎneanu|arXiv (Cornell University)|2012. 03. 09.

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

한 줄 요약

이 논문은 $ℝ^2$ 내의 준동차 다항식으로 정의된 자유 다항식의 자유성 기준을 제시한다. 이를 위해 몫환 $ℂ[x,y,z]/I$가 산술적으로 코hen-Macaulay임을 보여주고, 이는 다항식환에서 정규열을 이루는 이상의 존재와 동치임을 증명한다. 이 결과는 특히 축약된 곡선의 재미르 아이디얼에 적용되며, 이상의 차수를 통해 자유성의 계산적 검증이 가능하고, 자유 선 배열의 축약된 재미르 스킴 차수에 대한 경계를 제공한다.

ABSTRACT

Let $I\subset \mathbb C[x,y,z]$ be an ideal of height 2 and minimally generated by three homogeneous polynomials of the same degree. If $I$ is a locally complete intersection we give a criterion for $\mathbb C[x,y,z]/I$ to be arithmetically Cohen-Macaulay. Since the setup above is most commonly used when $I=J_F$ is the Jacobian ideal of the defining polynomial of a "quasihomogeneous" reduced curve $Y=V(F)$ in $\mathbb P^2$, our main result becomes a criterion for freeness of such divisors. As an application we give an upper bound for the degree of the reduced Jacobian scheme when $Y$ is a free rank 3 central essential arrangement, as well as we investigate the connections between the first syzygies on $J_F$, and the generators of $\sqrt{J_F}$.

연구 동기 및 목표

• 준동차 다항식으로 정의된 $ℝ^2$ 내 축약된 다항식의 자유성 기준을 제공하는 것.
• 세 개의 동차 다항식으로 최소 생성된 고도 2, 국소 완전교차 아이디얼 $I$에 대해 몫환 $ℂ[x,y,z]/I$가 산술적으로 코hen-Macaulay임을 특징짓는 것.
• 자기 선 배열, 특히 선 배열에 대해 재미르 아이디얼의 이상 차수와 축약된 재미르 스킴의 차수를 연결함으로써 자유 선 배열에 이 기준을 적용하는 것.
• 재미르 아이디얼의 첫 번째 이상 차수와 그 근의 생성자 차수 사이의 관계를 조사하는 것.

제안 방법

• 세 개의 동차 다항식으로 생성된 아이디얼의 구조를 분석하기 위해 힐버트-버르흐 정리를 사용하는 것.
• 이즈버그와 히운케의 결과를 적용하여 이상이 정규열을 이룰 경우 산술적으로 코hen-Macaulay 조건을 확립하는 것.
• 재미르 아이디얼의 이상이 다항식환에서 정규열을 이룬다는 것을 확인하는 것으로 자유성 문제를 환원하는 것.
• 고도 2 아이디얼에 대해 국소 완전교차와 동치인 선형 유형 성질을 사용하여 해상도 분석에 적합한 아이디얼을 보장하는 것.
• 자유 배열의 구조와 이상 차수를 이용하여 $ℂ(\sqrt{J_F})$의 경계를 계산하는 것.
• 경계의 날카움과 가정의 필수성 검증을 위한 예와 반례의 구성, 특히 고차원에서 기준이 실패하는 예제 2.4 포함.

실험 결과

연구 질문

• RQ1 고도 2, 국소 완전교차 아이디얼 $I$가 세 개의 동차 다항식으로 최소 생성되며 동일한 차수를 가질 때, 몫환 $ℂ[x,y,z]/I$가 산술적으로 코hen-Macaulay가 되는 조건은 무엇인가?
• RQ2 재미르 아이디얼 $J_F$의 이상에 어떤 조건이 성립하면 $ℝ^2$ 내 곡선 $V(F) \subset \mathbb{P}^2$가 자유가 되는가?
• RQ3 자유 선 배열의 축약된 재미르 스킴의 차수는 이상 차수로 어떻게 경계할 수 있는가?
• RQ4 정현적인 매끄러운 곡선 배열에 대해 $J_F$의 첫 번째 이상 차수와 $\sqrt{J_F}$의 생성자 차수 사이의 관계는 어떠한가?
• RQ5 자기 배열의 지수 ${1,a,b}$를 가진 경우, $ℂ(\sqrt{J_F}) \leq b^2 + b + 1$의 상한 경계는 날카로운가, 그리고 이를 향상시킬 수 있는가?

주요 결과

• 다음과 동치인 조건에서 몫환 $ℂ[x,y,z]/I$는 산술적으로 코hen-Macaulay이다: 아이디얼 $I$에 대해 정규열을 이룬다.
• 팔레트-더-일반선 유형이 아닌 $n$개의 선으로 이루어진 자유 선 배열 $\mathcal{A}$에 대해 $\deg(\sqrt{J_Q}) \leq (n-3)^2 + (n-3) + 1 = n^2 - 5n + 7$이며, $\deg(\sqrt{J_Q}) \geq n^2 - 5n + 8$이면 $\mathcal{A}$는 자유가 아니다.
• 지수 ${1,a,b}$, $a \leq b$를 가진 자유 배열에 대해 $\deg(\sqrt{J_F}) \leq b^2 + b + 1$의 경계는 성립하며, 일부 경우에서 날카로운 경계이다.
• 정현적인 매끄러운 곡선 배열에 대해 $\alpha(\sqrt{J_F}) \leq \beta(J_F) + 1$이며, 여기서 $\beta(J_F)$는 $J_F$에 대한 이상의 최소 차수이다. 이 경계는 예제 3.4에서 달성된다.
• 자유 다항식 $Y = V(F)$의 축약된 재미르 스킴은 $\{ (A_1,B_1,C_1), (A_2,B_2,C_2) \}$가 첫 번째 이상 모듈러스의 기저일 때 $V(J_F) = V(I^{(A_1,B_1,C_1)}) \cap V(I^{(A_2,B_2,C_2)})$를 만족한다.
• 예제 3.4는 $\beta(J_Q) = 2$이고 $\alpha(\sqrt{J_Q}) = 3$인 경우를 보여주며, 이는 경계 $\alpha(\sqrt{J_F}) \leq \beta(J_F) + 1$의 날카로움을 확인한다.