[논문 리뷰] Invariants of algebraic varieties over imperfect fields

Hiromu Tanaka|arXiv (Cornell University)|2019. 03. 25.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 5

한 줄 요약

이 논문은 특성 0이 아닌 필드 위의 대수기하 구조체를 체계적으로 연구하기 위해, 비정규화 기저 변화의 용량, 기하학적 비정규성의 프로베누스 길이, 기하학적 비단순성의 프로베누스 길이, 두껍게 하기 지수라는 네 가지 불변량을 도입한다. 이들 불변량의 기본 성질을 확립하고, 곡선에 대한 종 수 변화 공식을 증명하며, 종 수가 1인 비정칙 정칙 곡선의 유계성을 보이며, 특성에 따라 명시적인 기하적 임bedding을 제공한다.

ABSTRACT

We introduce four invariants of algebraic varieties over imperfect fields, each of which measures either geometric non-normality or geometric non-reducedness. The first objective of this article is to establish fundamental properties of these invariants. We then apply our results to curves over imperfect fields. In particular, we establish a genus change formula and prove the boundedness of non-smooth regular curves of genus one. We also compute our invariants for some explicit examples.

연구 동기 및 목표

• 비완전 필드 위의 대수기하 구조체에서 기하학적 비정규성과 비단순성을 체계적으로 연구하기 위한 프레임워크를 개발한다.
• 특성 0이 아닌 필드에서 기하학적 특이성을 측정하는 네 가지 새로운 불변량을 정의하고 분석한다.
• 이들 불변량을 곡선에 적용하여, 종 수가 1인 비정칙 정칙 곡선의 유계성을 증명한다.
• 종 수 변화 공식을 수립하고, 불변량을 통해 곡선의 기하학적 임베딩을 특성화한다.
• 비완전 필드 위에서 최소 모델 프로그램의 캐논리컬 딜라이터에 관한 기존 결과를 정교화한다.

제안 방법

• 기하학적 특이성을 분석하기 위한 핵심 기술 도구로 순순수 비단순 기저 변화인 원소적 확장(elemental extensions)을 도입한다.
• 네 가지 불변량 γ(X/k), ℓ_F(X/k), m_F(X/k), ε(X/k)를 정의하며, 각각 기하학적 비정규성 또는 비단순성의 다른 측면을 측정한다.
• 프로베누스 분해와 기저 변화 기법을 사용하여, 필드 확장에 따른 불변량의 행동을 연구한다.
• 웨일 딜라이터 이론과 캐논리컬 번들 이론을 적용하여, 불변량이 정규화와 기저 변화의 감소에 기인한 딜라이터의 선형 동치와 관련이 있음을 규명한다.
• 스네이크 보조정리와 코homological 기법을 사용하여 곡선 위의 선다발의 매우 충분성(vanishing)을 증명한다.
• 선다발의 0-정규성 개념을 활용하여 제약 사상의 상사성(surjectivity)을 확보하고, 매우 충분성(vanishing)을 증명한다.

실험 결과

연구 질문

• RQ1 비완전 필드 위의 대수기하 구조체에서 기하학적 비정규성과 비단순성을 어떻게 체계적으로 측정할 수 있는가?
• RQ2 γ(X/k), ℓ_F(X/k), m_F(X/k), ε(X/k) 간의 관계는 무엇인가?
• RQ3 특성 0이 아닌 필드에서 특성 0이 아닌 곡선에 대해 종 수 변화 공식을 수립할 수 있는가?
• RQ4 비완전 필드 위의 종 수가 1인 비정칙 정칙 곡선은 기하학적 임베딩 측면에서 어떻게 유계적인가?
• RQ5 특성 2인 비완전 필드 위의 곡선이 P² 또는 P³에 닫힌 매장(closed immersion)을 갖기 위한 조건은 무엇인가?

주요 결과

• γ(X/k), ℓ_F(X/k), m_F(X/k), ε(X/k)는 기하학적 비정규성과 비단순성을 측정하는 음이 아닌 정수이다.
• 기하학적 정규성은 γ(X/k) = 0 및 ℓ_F(X/k) = 0과 동치이며, 기하학적 단순성은 ε(X/k) = 0 및 m_F(X/k) = 0과 동치이다.
• 부등식 ℓ_F(X/k) ≤ γ(X/k) 및 m_F(X/k) ≤ ℓ_F(X/k)가 성립하며, [k:k^p] < ∞일 경우 m_F(X/k) ≤ m_F(X/k)(log_p[k:k^p] − 1)도 성립한다.
• 특성 p > 0인 필드 k 위의 온전한 정규 대수기하 구조체 X에 대해, 캐논리컬 딜라이터는 K_Y + (p−1)∑C_i ∼ f^*K_X를 만족하며, 여기서 C_i는 유효 딜라이터이고, γ(X/k)는 이러한 딜라이터의 수를 세는 데 쓰인다.
• 비완전 필드 위의 종 수가 1인 비정칙 정칙 프로젝티브 곡선은 유계적이다: p = 3이면 P²에서 삼차 곡선으로 임베드되며, p = 2이면 P³에서 두 개의 이차 곡면의 완전 교차로 임베드된다.
• 특성 2인 필드 위의 종 수가 1인 곡선은 오직 그 곡선이 k-유리점(k-rational point)을 가질 때에만 P²에서 삼차 곡선과 동형이다.