[논문 리뷰] Cech Cohomology of Semiring Schemes

Jaiung Jun|arXiv (Cornell University)|2015. 03. 04.

Algebraic structures and combinatorial models참고 문헌 12인용 수 9

한 줄 요약

이 논문은 반장의 스킴에 대해 Čech 코homology 이론과 Picard 군 이론을 확장하여, 반장 위에서의 고전적 대수기하학을 일반화한다. $M$이 전체 순서가 붙은 아이디포턴트 반체일 때, $\mathbb{P}^n_M$ 위의 $\check{H}^p(X, \mathcal{O}_X)$는 $p \geq 1$이면 0이 되며, Picard 군 $\mathrm{Pic}(X)$는 $\mathbb{Z}$와 동형이 된다. 이는 모든 가역성층이 어떤 $m \in \mathbb{Z}$에 대해 $\mathcal{O}_X(m)$와 동형이라는 것을 의미한다. 이러한 결과는 특별한 경우인 $M = \mathbb{R}_{\max}$에서의 고전적 계산과 일치한다.

ABSTRACT

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize Čech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective space over a totally ordered idempotent semifield $M$, we show that Čech cohomology theory is in agreement with the classical computation. Finally, we classify all invertible sheaves on $X=\mathbb{P}^n_M$ by computing the Picard group of $X$ explicitly.

연구 동기 및 목표

• 반장 스킴에 대해 Čech 코호몰로지 이론과 가역성층 이론을 일반화하여, 고전적 대수기하학을 반장의 맥락으로 확장한다.
• 특히 $F^1$ 기하학과 타로피컬 기하학과 관련하여 반장 위에서의 호모로지 대수학의 틀을 구축한다.
• 전체 순서가 붙은 아이디포턴트 반체 위의 프로젝티브 스킴에 대해 $\mathrm{Pic}(X)$를 명시적으로 계산한다.
• 반장 스킴 $\mathbb{P}^n_M$에서 $\mathcal{O}_X$의 Čech 코호몰로지가 고전적 결과와 일치함을 보이며, $\check{H}^0 \cong M$ 및 $p \geq 1$일 때 $\check{H}^p = 0$을 포함한다.

제안 방법

• Additive inverse가 없는 점을 감안해, Patchkoria의 프레임워크를 활용하여 Čech 코호몰로지 이론을 반장 스킴에 적용함에 있어 단일 코 boundary 사상 대신 두 개의 사상으로 대체한다.
• Pareigis와 Rohrl이 정의한 반모듈러의 텐서곱을 사용하여, 반장 스킴에 대해 Picard 군의 구성 방식을 일반화한다.
• J. Giansiracusa가 제안한 타로피컬 분할 항등식의 방법을 적용하여, 아이디포턴트 설정에서의 코호몰로지 계산을 다룬다.
• 표준적인 열린 덮개 $\mathcal{U} = \{D(x_0), \dots, D(x_n)\}$를 $\mathbb{P}^n_M$에 적용하여 Čech 코호몰로지 군을 계산한다.
• 코ycle 표현을 통해 Čech 코호몰로지 군 $\check{H}^1(X, \mathcal{O}_X^*)$와 Picard 군 $\mathrm{Pic}(X)$ 사이의 동형을 확립한다.
• 곱셈 $x_i^m$을 통한 등장 $\mathcal{O}_X(m)|_{D(x_i)} \cong \mathcal{O}_X|_{D(x_i)}$를 이용해 전이 함수를 정의하고, 가역성층을 분류한다.

실험 결과

연구 질문

• RQ1 덧셈 역원이 존재하지 않는 점을 감안할 때, 반장 스킴에 대해 Čech 코호몰로지를 어떻게 일반화할 수 있는가?
• RQ2 Čech 코호몰로지를 사용하여 반장 스킴의 Picard 군을 정의하고 계산할 수 있는가?
• RQ3 전체 순서가 붙은 아이디포턴트 반체 $M$에 대해 $\check{H}^p(\mathbb{P}^n_M, \mathcal{O}_X)$의 Čech 코호몰로지 군은 무엇인가?
• RQ4 반장 스킴 $\mathbb{P}^n_M$ 위의 가역성층은 어떻게 분류되며, $\mathrm{Pic}(\mathbb{P}^n_M)$은 $\mathbb{Z}$와 동형인가?
• RQ5 고전적 $\mathbb{P}^n$에 대한 코호몰로지 및 Picard 군 계산 결과가 반장 맥락으로 일반화되는가?

주요 결과

• 전체 순서가 붙은 아이디포턴트 반체 $M$ 위의 $X = \mathbb{P}^n_M$에 대해, 0차 Čech 코호몰로지 군 $\check{H}^0(X, \mathcal{O}_X)$는 $M$과 동형이다.
• 모든 고차 코호몰로지 군 $\check{H}^p(X, \mathcal{O}_X)$는 $p \geq 1$일 때 0이 된다.
• Picard 군 $\mathrm{Pic}(X)$는 $\mathbb{Z}$와 동형이며, 이 동형은 $\mathcal{O}_X(m)$의 동치류를 $m \in \mathbb{Z}$로 보내는 것으로 정의된다.
• 모든 $X = \mathbb{P}^n_M$ 위의 가역성층은 어떤 $m \in \mathbb{Z}$에 대해 $\mathcal{O}_X(m)$과 동형이다.
• $\check{H}^1(X, \mathcal{O}_X^*) \cong \mathrm{Pic}(X)$의 동형이 성립하며, 이는 고전 결과를 반장 스킴로 일반화한 것이다.
• 코ycle 표현 $f_{ij} = x_i^m / x_j^m$을 통한 $\check{H}^1(X, \mathcal{O}_X^*)$ 계산은 군의 구조가 $\mathbb{Z}$임을 확인한다.