[논문 리뷰] Topics in algebraic geometry

Caucher Birkar|arXiv (Cornell University)|2011. 04. 26.

Commutative Algebra and Its Applications참고 문헌 9인용 수 9

한 줄 요약

이 논문은 스킴 위의 준일관층의 평탄성에 대한 기준을 구조 환에 대한 관련 모듈의 평탄성에 관해 수립한다. 기저 변경과 국소화 기법을 사용하여 문제를 모듈 이론적 평탄성 조건으로 환원함으로써, f: Spec(B) → Spec(A)에 의한 사상 하에서 Spec(B) 위의 일관층 F = ~M 이 Spec(A) 위에서 평탄한지 여부는 B-모듈 M 이 A-모듈로서 평탄한지 여부에 따라 결정됨을 증명한다.

ABSTRACT

Lecture notes of an algebraic geometry graduate course. The topics covered are as follows. Cohomology: ext sheaves and groups, cohomology with support, local cohomology, local duality. Duality: relative duality, Cohen-Macaulay schemes. Morphisms of schemes: flatness and base change and related topics. Hilbert and Quotient schemes.

연구 동기 및 목표

• 스킴 위의 준일관층의 평탄성을 모듈 이론적 평탄성에 관해 기술하는 것.
• B-모듈 M 이 주어졌을 때, 그에 관련된 일관층 F = ~M 이 기저 스킴 Spec(A) 위에서 평탄해지는 정확한 대수적 조건을 설정하는 것.
• 일관층의 기하학적 평탄성 개념과 환 위의 평탄 모듈의 대수적 개념을 연결하는 것.
• 모듈 이론을 이용하여 대수기하학에서 평탄 사상 연구를 위한 기초 결과를 제공하는 것.

제안 방법

• Spec(B) 위의 일관층 F = ~M 과 관련된 일관층의 모듈의 이sov(등장)을 사용하는 것.
• 일관층 F 가 Y 위에서 평탄한지 여부는 Y 의 해당 국소환 위에서의 그 굳이(스톡)가 평탄한지 여부에 따라 결정됨을 보여주는 기준을 적용하는 것.
• 일관층 F 의 평탄성 조건을 각 점 x ∈ X 에서의 국소화 M_x 에 대한 조건으로 환원하는 것.
• A_{f(x)} 위에서 M_x 의 평탄성을 아이디얼과의 텐서곱 사상의 단사성으로 변환하는 것.
• 기저 변경과 등장식 (M ⊗_A J) ⊗_B B_x ≅ (M ⊗_A A) ⊗_B B_x 을 사용하여 단사성 조건을 재표현하는 것.
• 평탄성이 기저와 모듈에 대해 국소적임을 이용하여 문제를 아이디얼에 특화된 단사성 조건으로 환원하는 것.

실험 결과

연구 질문

• RQ1 B-모듈 M 이 어떤 대수적 조건을 만족할 경우, 사상 f: X = Spec(B) → Y = Spec(A) 에 따라 관련 일관층 F = ~M 이 Y 위에서 평탄한가?
• RQ2 스킴 위의 일관층의 평탄성은 어떻게 기저 환 위의 모듈의 평탄성 조건으로 환원될 수 있는가?
• RQ3 A 위에서의 모듈 M 의 평탄성과 Spec(A) 위에서의 일관층 ~M 의 평탄성 사이의 정확한 관계는 무엇인가?
• RQ4 기저 환의 아이디얼과의 특정 텐서곱 사상의 단사성에 의해 일관층의 평탄성이 기술될 수 있는가?

주요 결과

• 일관층 F = ~M 이 Y = Spec(A) 위에서 평탄한 것은 B-모듈 M 이 A-모듈로서 평탄한 것과 동치이다.
• F 의 평탄성은 모든 A_{f(x)} 의 아이디얼 I 와 모든 x ∈ X 에 대해 M_x ⊗_{A_{f(x)}} I → M_x ⊗_{A_{f(x)}} A_{f(x)} 의 단사성과 동치이다.
• F 의 평탄성 조건은 모든 A 의 아이디얼 J 와 모든 x ∈ X 에 대해 (M ⊗_A J) ⊗_B B_x → (M ⊗_A A) ⊗_B B_x 의 단사성으로 환원된다.
• 증명 과정은 국소화와 기저 변경을 통해 일관층 이론적 평탄성과 모듈 이론적 평탄성 사이의 등가 조건들의 사슬을 수립한다.