[논문 리뷰] On positivity and semistability of vector bundles in finite and mixed characteristics

Adrián Langer|arXiv (Cornell University)|2013. 01. 18.

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

한 줄 요약

이 논문은 유한 및 혼합 특성에서 벡터(bundle)의 양성과 반안정성의 상호작용을 조사하며, 네파성, 반완전성, 강한 반안정성의 행동을 통합하는 추측을 제안한다. 양성과 정수론적 성질 사이의 연결고리를 제시하며, 프로베누스 역행과 모노드로미를 통해 산술기하학과 호지 이론을 연결하는 프레임워크를 제공한다.

ABSTRACT

We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to behavior of strong semistability of vector bundles, which is another main topic of the paper.

연구 동기 및 목표

• 유한체 위의 다양체에서 선다발의 양성(네파성, 반완전성, 효과성)의 행동을 이해하기 위해.
• 유한 특성에서 양성 선다발에 대한 퇴화정리(vanishing theorems)를 조사하고, 그 코homological 성질에 대한 함의를 밝히기 위해.
• 특성 0에서의 양성과 유한 특성에서의 양성 간의 관계를, 특히 감소 기법을 통해 탐색하기 위해.
• 에탈리티(trivializability)와 모노드로미를 통해 혼합 특성에서의 강한 반안정성 벡터(bundle)의 성질을 설명하는 추측을 제안하기 위해.
• 유한 특성에서 프로베누스 역행과 수치적 동치를 통해 산술적 및 기하학적 성질을 통합하기 위해.

제안 방법

• Néron–Severi 정리와 교차 이론을 사용하여 $N^1(X)_\mathbb{Q}$ 내에서 다발과 선다발의 수치적 클래스를 정의한다.
• Keel의 기준을 적용: $\bar{\mathbb{F}}_p$ 위의 다양체에서 네파성 선다발 $L$은 $L^\perp$ 에서의 제약이 반완전이면 반완전이다.
• 프로베누스 역행을 사용하여 강한 반안정성을 정의한다: 벡터(bundle) $E$ 는 모든 $n \geq 0$ 에 대해 $(F^n)^*E$ 가 기울기 반안정이면 강한 반안정이다.
• 혼합 특성에서의 다양체의 감소를 분석하며, 일반성 섬과 닫힌 점을 통한 섬들 간의 양성과 반안정성의 관계를 규명한다.
• Simpson의 대응을 사용하여 평탄한 접속과 유한 모노드로미를 가진 다발이 유한 특성에서 에탈리티(trivializable) 다발과 연결됨을 분석한다.
• Elkies의 초특성 감소 정리와 같은 산술기하학의 결과를 활용하여, 비자명한 프로베누스 작용을 갖는 소수의 무한 집합에 대한 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 유한체 위의 다양체에서 선다발에 대해 네파성, 반완전성, 효과성, 준효과성의 관계는 무엇인가?
• RQ2 유한 특성에서 적절히 양성인 선다발에 대해 어떤 코데라 타입의 퇴화정리가 성립하는가?
• RQ3 감소를 통해 특성 0에서의 양성과 유한 특성에서의 양성은 어떻게 관련되는가?
• RQ4 혼합 특성 스킴 위의 가중치에서 벡터(bundle)의 양성과 반안정성의 변화는 어떠한가?
• RQ5 혼합 특성에서 어떤 조건에서 벡터(bundle)가 에탈리티(trivializable)가 되며, 이는 모노드로미와 프로베누스 작용과 어떻게 관련되는가?

주요 결과

• 유한체의 대표적 폐포 $\bar{\mathbb{F}}_p$ 위의 프로젝티브 곡선에서 네파성 선다발은 반완전하다. 수치적으로 자명한 선다발은 토크션(기약)이기 때문이다.
• $\bar{\mathbb{F}}_p$ 위의 매끄러운 프로젝티브 표면에서 네파성이고 큰 선다발은 반완전하다. 그 이유는 $L^\perp$ 에서의 제약이 수치적으로 자명하고, 따라서 토크션(기약)이기 때문이다.
• Keel의 반완전성 기준은 특성 0에서는 실패한다. 곡선에서 차수 0이지만 기약이 아닌 선다발이 존재하기 때문이다.
• 추측 7.7은 만약 가중치 $\operatorname{Spec} R$ 위의 매우 일반적인 점 $s$ 에서 다발 $\mathcal{E}_s$ 가 에탈리티(trivializable)가 아니면, 그러한 $s$ 의 집합은 무한하다고 주장한다.
• 특성 0에서, 국소 자유층 $\mathcal{E}$ 가 기저의 밀도 있는 열린 부분집합에서 에탈리티(trivializable)이면, 그 일반성 섬이 열린다면 그 일반성 섬은 에탈리티(trivializable)이다.
• 추측 7.7의 유사체는 유한 특성에서 실패한다: 모든 섬이 에탈리티(trivializable)이지만 일반성 섬은 그렇지 않은 가중치가 존재한다. 그 이유는 모노드로미 차수에 특성이 포함되어 있기 때문이다.