[논문 리뷰] A bound for Castelnuovo-Mumford regularity by double point divisors

Sijong Kwak, Jinhyung Park|arXiv (Cornell University)|2014. 06. 28.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 9

한 줄 요약

이 논문은 내부 및 외부 사영에서 유도된 이중점 분할선을 사용하여 매끄럽고 사영적인 다양체의 Castelnuovo-Mumford 정규성에 대한 날카로운 경계를 확립한다. 비퇴화된 매끄러운 다양체에서 차수 d와 여차원 e에 대해 reg(O_X) ≤ d − e 를 증명하고, 극한 케이스를 분류하며, 쇄도 정리와 일반화된 Mumford 유형의 접근을 활용하여 기존의 경계를 향상시킨다.

ABSTRACT

Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $ ext{reg} (\mathcal{O}_X) \leq d-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth noting that McCullough-Peeva recently constructed counterexamples to the regularity conjecture by showing that $ ext{reg} (\mathcal{O}_X)$ is not even bounded above by any polynomial function of $d$ when $X$ is not smooth. For a normality bound in the smooth case, we establish that $ ext{reg}(X) \leq n(d-2)+1$, which improves previous results obtained by Mumford, Bertram-Ein-Lazarsfeld, and Noma. Finally, by generalizing Mumford's method on double point divisors, we prove that $ ext{reg}(X) \leq d-1+m$, where $m$ is an invariant arising from double point divisors associated to outer general projections. Using double point divisors associated to inner projection, we also obtain a slightly better bound for $ ext{reg}(X)$ under suitable assumptions.

연구 동기 및 목표

• 비퇴화된 매끄러운 사영 다양체에 대해 Eisenbud-Goto 정규성 추측을 해결하기 위해 reg(O_X) ≤ d − e 를 증명한다.
• 정규성 경계에서 등호가 성립하는 극한 및 다음 극한 케이스를 분류한다.
• 기존의 Mumford, Bertram-Ein-Lazarsfeld, Noma의 결과를 향상시켜 매끄러운 다양체에 대해 reg(X) ≤ n(d − 2) + 1 를 새롭게 확립한다.
• 내부 및 외부 사영에서 유도된 이중점 분할선에 대한 Mumford의 방법을 일반화하여, 기초 불변량을 활용한 효과적인 경계를 도출한다.
• 매끄러운 경우에 정규성 추측을 정규성 문제로 환원할 수 있는 프레임워크를 제공한다.

제안 방법

• δ-차수 ∆(X, H)를 사용하여 효과적인 쇄도 경계를 유도한다: k ≥ ∆(X, H) + 1 이면, i > 0 에 대해 H^i(X, O_X((k−i)H)) = 0 이다.
• 외부 및 내부 사영에서 유도된 이중점 분할선 D_out 및 D_in 을 정의하여 핵심 선다발을 구성한다.
• 적절한 조건 하에서 D_out = −K_X + (d − n − e − 1)H 와 D_in = −K_X + (d − n − e − 1)H 가 반반산가능하다는 것을 증명한다.
• 비유리 기하학과 조정 공식을 활용하여, ℓ ≤ 0 에 대해 제약 사상 H^0(Pr, I_D|Pr(d−e−2+ℓ)) → H^0(X, I_D|X(d−e−2+ℓ)) 의 상사성(onto)을 확립한다.
• 기저 집합과 다발의 네파성에서 유도된 불변량 m 과 m′ 을 도입하여, 곱셈 사상들을 통한 정규성 경계를 유계화한다.
• 일반화된 Mumford의 보조정리 적용: 특정 곱셈 사상이 상사적이면, X 는 (d−e−2+k)-정규가 되며, 이로 인해 최종 정규성 경계가 도출된다.

실험 결과

연구 질문

• RQ1 비퇴화된 매끄러운 사영 다양체에 대해 차수 d 와 여차원 e 를 변수로 하는 reg(O_X) 의 날카로운 상한 경계는 무엇인가?
• RQ2 어떤 매끄러운 다양체가 reg(O_X) = d − e 를 달성하며, 그 기하학적 특성은 무엇인가?
• RQ3 정규성 추측은 매끄러운 경우에 정규성 문제로 환원될 수 있는가? 만약 가능하면, 어떻게 이루어지는가?
• RQ4 내부 및 외부 사영에서 유도된 이중점 분할선은 정규성에 대한 효과적인 경계에 어떻게 기여하는가?
• RQ5 δ-차수 ∆(X, H) 는 구조층의 정규성 제어에 어떤 역할을 하는가?

주요 결과

• 논문은 임의의 비퇴화된 매끄러운 사영 다양체 X ⊆ Pr 에 대해 reg(O_X) ≤ d − e 를 증명한다. 여기서 X 는 차수 d 와 여차원 e 를 가진다.
• 등호 reg(O_X) = d − e 가 성립하는 것은 X 가 초평면이거나, d = e+1 또는 e+2 인 선형적으로 정규인 경우에 국한된다.
• 다음 극한 케이스인 reg(O_X) = d − e − 1 는 정확히 다음의 경우에 발생한다: 극한 케이스의 다양체의 동형 사영, d = e+3 이고 e ≥ 2 인 선형적으로 정규인 다양체, 또는 (2,3) 유형의 완전교차이다.
• 매끄러운 다양체에 대해 reg(X) ≤ n(d − 2) + 1 경계를 확립하였으며, 이는 Mumford, Bertram-Ein-Lazarsfeld, Noma 의 이전 결과를 향상시킨다.
• 내부 사영을 활용하여, 기저 점 자유성 및 상사성 조건 하에서 reg(X) ≤ d − 1 + m′ 를 얻는 보다 정교한 경계를 도출한다. 여기서 m′ 은 이중점 분할선 D_in 에서 유도된 불변량이다.
• 주요 결과는 모든 ℓ ≥ m′ 에 대해 reg(X) ≤ d − e − 2 + ℓ 이며, 이와 Theorem B 를 조합함으로써 전체 정규성 경계를 확보하고 Theorem E 를 증명한다.