2‑베리 앰플 프로젝트 정규 다양체의 Eisenbud–Goto 정규성 경계

초록

본 논문은 2‑베리 앰플이며 프로젝트 정규인, 그리고 인수, 유리, 초평면 혹은 고립된 Gorenstein 특이점을 갖는 다양체에 대해 Eisenbud–Goto 추측
(\operatorname{reg}X\le \deg X-\operatorname{codim}X+1) 을 증명한다. 주요 결과는 Theorem A 로, 이러한 ‘완만한’ 특이점을 가진 모든 비퇴화 다양체가 추측을 만족함을 보인다.

상세 분석

논문은 먼저 Eisenbud–Goto 추측이 아리시-코헨–마칼라(ACM) 다양체와 곡선, 매끄러운 표면·삼차원 등에서 알려진 사례들을 정리하고, 최근 반례가 존재함에도 불구하고 어떤 특수 클래스에서는 여전히 성립한다는 점에 주목한다. 핵심 가정인 2‑베리 앰플성은 전통적인 very ample 조건보다 강력하여, 임의의 길이 (k+1) 0‑차원 스키마에 대한 전단사성을 보장한다. 이는 Noma의 (E(_m)) 조건과 결합될 때, 내부 사영(projection) 과정에서 발생하는 ‘이중점(divisor)’의 양성(positivity)을 확보하는 데 필수적이다.

섹션 2에서는 locally factorial 스키마에서 반사적(rank 1) 층이 실제 라인 번들임을 이용해, 인수점(factorial point) 근처에서의 이중점 공식(Lemma 4.3)을 정교히 전개한다. 여기서 사용된 birational double point formula는 Lazarsfeld와 Noma의 결과를 일반화한 것으로, 특히 Gorenstein·정규 다양체 사이의 birational 사상에서 예외적(divisorial) 부분이 없을 때 (|\omega_X^{-1}\otimes f^{*}\omega_Y|) 가 비어 있음을 보인다.

섹션 3의 vanishing theorem은 Arapura–Jaffe–Song, 그리고 Esnault–Viehweg의 Kodaïra‑vanishing을 활용해, nef + big 라인 번들을 곱한 뒤의 고차 코호몰로지가 특이점 차원보다 큰 경우 소멸함을 증명한다. 이를 통해 (\operatorname{reg}\mathcal O_X) 를 (\deg X-\operatorname{codim}X) 이하로 제한하는 핵심 부등식 (3)을 얻는다.

마지막으로 섹션 5에서는 Noma의 정리 5.1, Kwak–Park의 정리 5.2, Moraga–Park–Song의 정리 5.3을 종합하고, Lemma 5.4·5.5를 통해 2‑베리 앰플·프로젝트 정규·인수·유리·초평면·고립 Gorenstein 특이점이라는 가정이 모두 (\operatorname{reg}X\le\deg X-\operatorname{codim}X+1) 을 만족하도록 만든다. 특히, 인수점에서의 이중점 divisor 가 효과적이지 않음(즉, 베이스점이 없음)을 보이는 Lemma 4.3이 전체 논증의 핵심 교두보 역할을 한다. 결과적으로, ‘완만한’ 특이점을 가진 2‑베리 앰플 프로젝트 정규 다양체는 Eisenbud–Goto 추측의 새로운 큰 클래스에 포함됨을 확인한다.

이러한 접근법은 기존의 매끄러운 경우와 달리 특이점이 존재하더라도 정규성 경계를 유지할 수 있음을 보여주며, 향후 더 일반적인 특이점(예: log‑canonical, klt)으로의 확대 가능성을 시사한다.