[논문 리뷰] Plane Cremona maps: saturation and regularity of the base ideal

Seyed Hamid Hassanzadeh, Aron Simis|arXiv (Cornell University)|2011. 09. 13.

Commutative Algebra and Its Applications인용 수 4

한 줄 요약

이 논문은 기저 이상 $I$, 그 포화 $I^{\text{sat}}$, 그리고 정수적 폐쇄와 $\mu$-지방 이상과 같은 관련 이상들 사이의 상호작용에 초점을 맞추어 평면 크레모나 사상의 호모로지적 및 이상 이론적 성질을 조사한다. 두 차원 이상에서 동일한 차수 $d \geq 2$를 가진 세 개의 형식으로 생성된 이상에 대해 정규성과 비티 수의 날카운 경계를 확립하며, 차수 $\leq 4$인 크레모나 사상은 항상 포화임을 증명하고, $R/J^2$의 코hen–맥컬레이 성질을 통한 대수적 기준을 제시한다. 주요 기여는 크레모나 사상의 호모로지적 분류를 그들의 동형형 유형을 통해 수행하는 것이다.

ABSTRACT

One studies plane Cremona maps by focusing on the ideal theoretic and homological properties of its homogeneous base ideal ("indeterminacy locus"). The {\em leitmotiv} driving a good deal of the work is the relation between the base ideal and its saturation. As a preliminary one deals with the homological features of arbitrary codimension 2 homogeneous ideals in a polynomial ring in three variables over a field which are generated by three forms of the same degree. The results become sharp when the saturation is not generated in low degrees, a condition to be given a precise meaning. An implicit goal, illustrated in low degrees, is a homological classification of plane Cremona maps according to the respective homaloidal types. An additional piece of this work relates the base ideal of a rational map to a few additional homogeneous "companion" ideals, such as the integral closure, the $\boldsymbolμ$-fat ideal and a seemingly novel ideal defined in terms of valuations.

연구 동기 및 목표

• 평면 크레모나 사상의 기저 이상의 호모로지적 및 이상 이론적 구조를 이해하고, 특히 그 포화 및 정수적 폐쇄와의 관계를 분석한다.
• 정규성 및 비티 수와 같은 호모로지 불변량을 사용하여 크레모나 사상의 동형형 유형을 통한 분류를 수행한다.
• 기저 이상과 그 포화 사이에 위치하는 새로운 동차 이상—예를 들어 $\mu$-지방 이상과 체적 기반 이상—을 도입하고 연구한다.
• 기저 이상의 제곱 이상 $J^2$의 코hen–맥컬레이 성질에 기반한 크레모나 사상 식별을 위한 대수적 기준을 제공한다.
• 특히 $\mu$-지방 이상의 맥락에서 기저 이상의 포화가 정수적 폐쇄와 일치하는 조건을 명확히 한다.

제안 방법

• 동일한 차수 $d \geq 2$를 가진 세 개의 형식으로 생성된 $k[x,y,z]$ 내의 두 차원 동차 이상을 분석하며, 국소 코hom로지와 스펙트럴 시퀀스를 사용하여 정규성과 비티 수에 대한 경계를 유도한다.
• 기저 이상의 포화와의 차수인 $I^{\text{sat}}/I$의 최초 차수 $\geq d+1$라는 조건을 가정하여, 비포화 이상에 대해 $d$의 날카운 하한과 포화 지수의 상한을 도출한다.
• $\mu$-지방 이상을 도입하여, 무한히 가까운 기저 점을 포함하는 고전적 지방 이상의 일반화로 삼는다.
• 리스 대수와 싸이지지 행렬을 사용하여 $J^2$의 구조, 특히 싸이지지의 차수를 분석하여 크레모나 사상에 대한 기준을 도출한다.
• [9, Proposition 3.9]를 적용하여, $J^2$ 내 특정 차수의 선형 싸이지지가 존재할 경우 사상이 크레모나임을 증명한다.
• 해부적 전개와 분석적 전개를 통해 허드슨의 기준을 암묵적으로 적용하여 비유리성 여부를 테스트한다.

실험 결과

연구 질문

• RQ1 평면 크레모나 사상의 기저 이상이 언제 포화되는가? 이는 $R/I$의 코hen–맥컬레이 성질과 어떻게 관련되는가?
• RQ2 기저 이상의 포화가 언제 정수적 폐쇄와 일치하는가? 이 과정에서 $\mu$-지방 이상은 어떤 역할을 하는가?
• RQ3 $R/J^2$의 코hen–맥컬레이 성질이 제안된 2.17조에서처럼 비유리 사상이 크레모나임을 보장하는 충분조건이 될 수 있는가?
• RQ4 어떤 호모로지적 성질이 $J$의 $J^m$ ($m \geq 2$) 내에서 유일한 선형 싸이지지를 가질 수 있도록 보장하는가? 이는 비유리성에 어떤 영향을 미치는가?
• RQ5 $R/I$의 비티 수와 정규성은 차수 $d$와 $I^{\text{sat}}/I$의 최초 차수에 따라 어떻게 달라지는가?

주요 결과

• Theorem 1.5와 Proposition 1.6에 의해, $d \leq 7$일 때, $I$가 두 차원 이상이고 세 형식으로 생성되며 $\text{indeg}(I^{\text{sat}}/I) \geq d+1$이면, $R/I$의 비티 수는 완전히 결정된다.
• 차수 $\leq 4$인 크레모나 사상은 항상 포화되어 있으며, 이 사실을 호모로지적 방법을 통해 간결하게 증명한다.
• $R/J^2$가 코hen–맥컬레이일 때, $\text{rank}(\varphi^{[2]}) = 5$면 $J^2$의 싸이지지는 차수 $1,1,2,2,2$를 가진다. 이는 Proposition 2.17를 증명하는 데 핵심적인 단계이다.
• $J^2$의 싸이지지 행렬 $\varphi^{[2]}$는 최대 질량 5를 가지며, 행렬식은 $\pm\gamma_1(\beta_1\gamma_2 - \beta_2\gamma_1)^2$ 및 $\pm\gamma_2(\beta_1\gamma_2 - \beta_2\gamma_1)^2$이며, 이는 싸이지지 행렬이 최대 질량을 가짐을 보장한다.
• $\mathcal{R}_R(J)$의 리스 대수는 이중 차수 $(1,2)$에서 생성되는 두 차원의 부분 이상을 가지며, 이는 [9, Proposition 3.9]를 적용하여 비유리성을 확인하는 데 핵심적이다.
• 기저 이상 $J$가 루트일지라도 $R/J^2$가 코hen–맥컬레이가 아니게 되는 비포화 이상이 존재한다. 이는 $J$가 차수 $\leq 2$에서만 크레모나 사상을 정의할 수 있을 때에도 성립하며, 이는 $R/J^2$의 코hen–맥컬레이 조건이 민감하고 비자명함을 보여준다.