[논문 리뷰] Quelques remarques sur la notion de modification affine

Adrien Dubouloz|arXiv (Cornell University)|2005. 03. 08.

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

한 줄 요약

이 논문은 칼리만과 자이덴베르크의 아핀 수정 개념에 대한 글로벌 대응을 도입하여, 준사영 다양체로의 일반화를 시도한다. 모든 아핀 비라셜리티 사상은 (이deals sheaf, 효과적 카르티에 암시) 쌍에 의해 정의된 글로벌 아핀 수정으로 나타나며, Rees 대수와 (1−t)에 의해 생성되는 주 아이디얼로 몫을 취하는 표준적인 스킴 이론적 구성에 의해 완전한 구조적 특성화가 이루어진다.

ABSTRACT

We construct a global counterpart to the notion of affine modification due to Kaliman and Zaidenberg. This leads to a simple explicit description of the structure of birational affine morphisms between arbitrary quasi-projective varieties.

연구 동기 및 목표

• 칼리만과 자이덴베르크의 국소적 아핀 수정 개념을 준사영 다양체에 적용 가능한 글로벌 프레임워크로 일반화하기.
• 체 k 위의 임의의 준사영 다양체 사이의 아핀 비라셜리티 사상에 대한 완전한 구조적 기술 제공.
• 이전 접근 방식에서의 비표준 국소 데이터 문제를 해결하기 위해 글로벌이고 내재된 구성 방법 개발.
• 블로우업에서 암시의 정규 전이의 여집합을 Rees 대수의 몫을 통해 아핀 스킴로 특성화하기.
• 클래식한 블로우업을 일반화하는 방식으로, 아핀 비라셜리티 사상과 쌍 (이deals 층, 효과적 카르티에 암시) 사이의 대응 관계 수립.

제안 방법

• X에 대한 쌍 (I, D)에 의한 글로벌 아핀 수정을 정의하되, I는 유한형의 츄코herent 이상 층이고, D는 X 위의 효과적 카르티에 암시이며, I ⊃ O_X(−D)를 만족한다.
• 수식으로는 σ_I,D : Spec(O_X[I/D]) → X로 표현되며, 여기서 O_X[I/D]는 Rees 대수 ⊕_n≥0 (I ⊗ O_X(D))^n t^n 에서 (1−t)에 의해 생성되는 아이디얼로 몫을 취한 것이다.
• 프로젝티브 팩터리얼 밀도인 Proj_X(⊕_n≥0 I^n t^n)에 대한 표준적인 개방 포함을 이용해, 수정이 D의 정규 전이의 여집합임을 식별한다.
• 준사영 X 위에 앰플 라인 번들 존재를 활용해, 분모의 이상 층을 구성할 수 있는 글로벌 단면을 확보한다.
• Rees 대수 이론과 분수 이상 층 이론을 적용하여 구성이 잘 정의되고 국소화와 호환됨을 보장한다.
• 모든 아핀 비라셜리티 사상 π: Y → X가 적절한 I와 D를 통해 이러한 글로벌 수정으로 나타남을 증명하기 위해, O_Y의 푸시포워드로부터 I와 D를 구성한다.

실험 결과

연구 질문

• RQ1 칼리만과 자이덴베르크의 국소적 아핀 수정 개념을 준사영 다양체에 대해 글로벌이고 내재된 구성으로 확장할 수 있는가?
• RQ2 준사영 다양체의 블로우업에서 암시의 정규 전이의 여집합의 정확한 스킴 이론적 구조는 무엇인가?
• RQ3 이상 층과 암시를 이용해 준사영 다양체 사이의 아핀 비라셜리티 사상을 글로벌하게 특성화할 수 있는가?
• RQ4 아핀 수정의 국소적 구성이 글로벌 사상으로 뒤바뀌기 위해 필요한 조건은 무엇인가?
• RQ5 모든 아핀 비라셜리티 사상 π: Y → X에 대해, Y가 아핀 수정 X_I,D와 동형이 되도록 쌍 (I, D)를 표준적으로 연결할 수 있는가?

주요 결과

• 체 k 위의 준사영 다양체 Y에서 준사영 다양체 X로의 모든 아핀 비라셜리티 사상 π: Y → X는 어떤 쌍 (I, D)에 대해 글로벌 아핀 수정 σ_I,D: X_I,D → X 와 동형이다.
• 수식 X_I,D = Spec(O_X[I/D])는 잘 정의되어 있으며, I ⊗ O_X(D)가 구조 층 O_X를 포함하므로 상수 단면 1이 존재함을 보장한다.
• 스킴 X_I,D는 Z = Supp(O_X / I)일 때, Bl_Z X의 D^{pr}의 정규 전이의 여집합과 일치한다.
• 아핀 열린 부분집합 X_i에서 국소적으로, 수정 X_I,D|_X_i는 열린 부분집합 (Proj_{X_i}(O_{X_i}[I_i t]))_f_i 와 동형이며, 이는 D의 국소 방정식 f_i의 영이 아닌 점들의 집합에 해당한다.
• 클래식한 경우를 복원한다: I = O_X이면, 수정 X_{1,D}는 Supp(D)의 여집합, 즉 O_X(D)의 표준 단면이 영이 아닌 열린 부분집합과 동형이다.
• X 위에 앰플 라인 번들의 존재는 분모의 이상 층을 구성할 수 있는 글로벌 단면의 존재를 보장하며, 이는 π_*O_Y를 분수 이상으로 글로벌하게 표현할 수 있게 한다.