[논문 리뷰] Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

Jean-Benoît Bost, Klaus Kuennemann|ArXiv.org|2007. 01. 12.

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

한 줄 요약

이 논문은 아라켈로프 기하학에서 산술적 확장군 $\widehat{\rm Ext}^{1}_{X}(F,G)$을 도입하며, 산술적 스킴 위의 허미트 벡터(bundle)에 대한 적합한 짧은 정확수열을 통해 이를 정의한다. 이들 확장에 대해 산술 곡선에서 로그 크기 불변량을 정의하고, 기울기 불변량을 이용한 상한을 증명하며, 아벨 확장 또는 특정 격자에 대해 기저 변경에 대해 불변임을 보인다.

ABSTRACT

We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec Ø_K$ of the ring of integers in some number field $K$. Then the study of arithmetic extensions over $X$ is related to old and new problems concerning lattices and the geometry of numbers.

연구 동기 및 목표

• 산술 기하학의 맥락에서 산술적 확장군 $\widehat{\rm Ext}^{1}_{X}(F,G)$을 정의하고 연구하며, 고전적 확장군에 해석적 및 허미트 데이터를 추가하여 의미 있는 산술적 확장군을 구성한다.
• 산술 곡선 ${\rm Spec}\,{\mathcal{O}}_{K}$ 위의 산술적 확장을 수의 기하학 문제, 특히 격자 이론과 보로노이 세포와 연결한다.
• 산술 확장 $\alpha$의 원소에 대해 로그 크기 불변량 ${\mathfrak{s}}_{\overline{F},\overline{G}}(\alpha)$을 도입하고, 기울기 불변량을 사용하여 이를 상한으로 bound한다.
• 확대 수체 $K$에서 $K'$로의 기저 변경에 대해 이 크기의 행동을 조사하며, 특수한 경우에 불변임을 증명한다.
• 산술 체수 $\mathbb{P}^{1}_{\mathbb{Z}}$ 위의 일반화된 확장의 크기를 $PSL_{2}(\mathbb{Z})$의 상반평면 위의 작용과 연결한다.

제안 방법

• 산술적 확장군 $\widehat{\rm Ext}^{1}_{X}(F,G)$을 $\mathcal{C}^\infty$-분할이 복소수 켤리지와 불변인 ${\mathcal{O}}_{X}$-모듈러스의 확장으로 정의한다.
• 허미트 벡터(bundle)의 적합한 확장의 개념을 도입하며, $F$와 $G$의 메트릭이 $E$로부터 유도되어 분할과 호환되도록 보장한다.
• 분할 섹션의 $L^2$-노름을 사용하여 산술 확장 $\alpha$의 로그 크기 ${\mathfrak{s}}_{\overline{F},\overline{G}}(\alpha)$를 정의한다.
• 최대 기울기 $\mu_{\max}(\overline{F})$와 $\mu_{\max}(\overline{G})$에 대한 상한을 ${\mathfrak{s}}_{\overline{F},\overline{G}}(\alpha)$에 대해 증명한다.
• 유클리드 격자의 보로노이 세포의 기하학을 이용해 확장의 크기를 분석하며, 특히 보로노이의 제1종 격자에 대해 다룬다.
• 수체 확장 $K \to K'$에 따른 크기의 변화를 연구함으로써 기저 변경 행동을 분석하고, $K'$가 $K$에 대한 아벨 확장이거나 $\overline{F}^\lor \otimes \overline{G}$가 루트 격자 또는 보로노이 격자의 직합인 경우에 불변임을 증명한다.

실험 결과

연구 질문

• RQ1 산술 기하학에서의 확장군은 어떻게 해석적 및 허미트 데이터를 추가하여 의미 있는 산술적 확장군으로 확장될 수 있는가?
• RQ2 산술 곡선 위의 산술적 확장에 대해 크기 불변량 ${\mathfrak{s}}_{\overline{F},\overline{G}}(\alpha)$의 기하학적 의미는 무엇인가?
• RQ3 산술 확장의 크기는 더 큰 수체 $K'$로의 기저 변경에 대해 어떻게 행동하는가?
• RQ4 산술 체수 $\mathbb{P}^{1}_{\mathbb{Z}}$ 위의 일반화된 확장의 크기는 어떻게 $PSL_{2}(\mathbb{Z})$의 상반평면 위의 작용과 연결될 수 있는가?
• RQ5 언제 산술 확장의 크기가 기저 변경에 대해 불변인가?

주요 결과

• 산술 확장 $\alpha$의 크기 ${\mathfrak{s}}_{\overline{F},\overline{G}}(\alpha)$는 최대 기울기 $\mu_{\max}(\overline{F})$와 $\mu_{\max}(\overline{G})$에만 의존하는 양에 의해 상한으로 bound된다.
• $\mathbb{P}^{1}_{\mathbb{Z}}$ 위의 일반화된 확장에 대해, 그 $\mathbb{P}^{1}(\mathbb{Z})$의 점으로의 제한의 크기는 $PSL_{2}(\mathbb{Z})$의 푸앵카레 상반평면 위의 작용과 관련이 있다.
• 기저 변경에 대해 산술 확장의 크기가 불변임은 $K'$가 $K$에 대한 아벨 확장이거나 $\overline{F}^\lor \otimes \overline{G}$가 루트 격자 또는 보로노이의 제1종 격자의 직합인 경우에 성립한다.
• 양의 세일링 매개수를 가진 보로노이의 제1종 격자의 보로노이 세포는 펌투메도론의 조합적 유형을 가지며, 그 꼭짓점들은 슈퍼베이시스의 전순서 부분집합과 이원론적 대응을 이룬다.
• 적합한 확장의 크기는 관련된 격자의 커버링 반지름에 의해 bound되며, 특정 경우에 이 bound는 최적이다.
• 기저 변경에 대해 유클리드 격자에서의 산술 확장의 크기가 불변임은 확장이 순환적일 경우에 성립하며, 이 불변성은 보로노이 세포의 구조와 관련이 있다.