파생 범주에서의 나카이 모이셰조니 기준 유도

초록

저자들은 적당한 라인 번들 ℒ이 텐서 거듭으로 파생 범주 𝐷 QCoh(𝑋)를 생성하는지를 완전히 판정하는 기준을 제시한다. 이는 모든 폐쇄 부분다양체 𝑍⊂𝑋에 대해 ℒ|𝑍 혹은 ℒ⁻¹|𝑍가 큰(bigness)인지 여부와 동등하며, 일반 스키마에 대해서는 전역 절단이 존재해 그 개방 부분이 비어 있지 않고 아핀인 조건으로 기술된다. 이 기준을 이용해 다양한 비증폭·비반증폭 라인 번들의 존재를 보이고, 특히 정칙성 재구성 정리의 적용 범위를 넓힌다.

상세 분석

이 논문은 “⊗‑생성(line bundle ℒ이 텐서 거듭으로 파생 범주를 생성한다는 의미)”이라는 개념을 정밀히 정의하고, 이를 고전적인 양극성 기준인 나카이‑모이셰조니 정리와 직접 연결한다. 핵심은 두 가지 정리이다. 첫 번째 정리(Theorem 1.1)는 𝑋가 필드 위의 적당히 정칙(proper) 스키마일 때, ℒ이 ⊗‑생성 ⇔ 모든 폐쇄 부분다양체 𝑍⊂𝑋에 대해 ℒ|𝑍 혹은 ℒ⁻¹|𝑍가 ‘큰’(big)이라는 조건이다. 여기서 ‘큰’은 전통적인 정의와 동치이며, ℒ|𝑍가 충분히 많은 전역 절단을 가져 그 개방 부분이 비어 있지 않고 아핀임을 의미한다. 두 번째 정리(Theorem 1.2)는 Noetherian 스키마 전반에 적용되는 보다 일반적인 버전으로, ℒ가 ⊗‑생성 ⇔ 모든 정수 폐쇄 부분스키마 𝑍에 대해 어떤 정수 n과 전역 절단 s∈Γ(𝑍,ℒⁿ|𝑍) 가 존재해 𝑍ₛ={s≠0}가 비어 있지 않고 아핀이라는 조건을 제시한다. 이는 전통적인 ‘big’ 개념을 스키마 전반으로 확장한 형태이며, 증명 과정에서 Deligne 공식과 아핀 보완(affine complement) 기법을 활용한다.

논문은 또한 ⊗‑생성 라인 번들의 기본 성질을 정리한다. Corollary 1.3은 ⊗‑생성은 텐서 거듭, 불변성(ℒⁿ도 ⊗‑생성), 구성 성분 제한, 그리고 유한 전사 사상에 대한 풀백(f⁎ℒ)에도 보존된다는 사실을 보여준다. 이는 전통적인 증폭성(ample)과 유사한 ‘숫자적’ 성질을 가짐을 시사한다.

섹션 4에서는 Néron‑Severi 실 공간 N¹(𝑋) 위에 ⊗‑생성 ℝ‑디바이저들의 원뿔을 정의하고, 이 원뿔이 수치적으로 정의된다는 Proposition 4.12를 증명한다. 이를 통해 교차 이론을 이용한 판정법(Lemma 5.3, 5.4)과 구체적인 예시(예: 기하학적으로 구부러진 표면, 블로업, 두 배 원점이 있는 아핀 공간 등)을 제시한다.

특히, 이 기준을 이용해 Bondal‑Orlov 재구성 정리의 적용 범위를 확대한다. Theorem 1.5에서는 ωₓ가 ⊗‑생성인 경우(예: ωₓ 혹은 ωₓ⁻¹가 큰 경우, 특정 블로업, 비증폭 삼차원 등) X가 자신의 파생 범주로부터 완전히 복원될 수 있음을 보이며, 이는 기존에 알려진 사례를 일반화한다.

마지막으로 Theorem 1.6은 다수의 라인 번들을 동시에 고려한 일반화된 ⊗‑생성 기준을 제시한다. 이는 ‘다중 라인 번들’이 생성하는 서브카테고리가 전체 파생 범주와 동등함을 보이면서, 앞선 정리들의 증명 구조를 그대로 확장한다. 전체적으로 논문은 라인 번들의 전역 절단과 아핀 보완을 통해 파생 범주의 생성성을 완전히 판정하는 새로운 도구를 제공하고, 이를 통해 여러 비전통적 예시와 재구성 문제에 새로운 시각을 제시한다.