[논문 리뷰] Absolutely split locally free sheaves on proper $k$-schemes and Brauer--Severi varieties

Saša Novaković|arXiv (Cornell University)|2015. 01. 05.

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

한 줄 요약

이 논문은 절대적으로 분해 가능한(AS) 벡터 복합체가 적절한 $k$-스킴 위에서 분류되며, $ \mathrm{Pic}_{X/k}$의 닫힌 점과 분해 불가능한 AS-복합체의 동형류 사이의 일대일 대응을 수립한다. 이 분류는 일반화된 브라우어-세버리 다양체에 적용되어, AS-유형—분해 불가능한 복합체의 계수들의 순서—이 유비탈 불변량임을 증명하고, 고전적인 $ \mathbb{P}^1$ 및 브라우어-세버리 다양체에 대한 결과를 일반화하여 코homological 조건을 도출한다.

ABSTRACT

We classify absolutely split vector bundles on proper $k$-schemes. More precise, we prove that the closed points of the Picard scheme are in one-to-one correspondence with indecomposable absolutely split vector bundles. Furthermore, we apply the obtained results to study the geometry of (generalized) Brauer--Severi varieties.

연구 동기 및 목표

• 임의의 적절한 $k$-스킴 위에서 절대적으로 분해 가능한(AS) 벡터 복합체를 분류함으로써, 그로텐디크가 $ \mathbb{P}^1$ 위에서 수행한 분류를 일반화한다.
• 실수 위에서의 브라우어-세버리 다양체 위에서의 이전 결과와 1차원의 경우를, 유한한 피카르 군을 가진 임의의 적절한 $k$-스킴으로 일반화한다.
• 브라우어-세버리 다양체의 AS-유형을 분해 불가능한 AS-복합체의 계수들의 순서로 정의하고, 이것이 유비탈 불변량임을 증명한다.
• 오타비아니의 분해 기준을 활용하여, 일반화된 브라우어-세버리 다양체 위의 벡터 복합체가 AS-복합체임을 보장하는 코homological 조건을 유도한다.

제안 방법

• 적절한 $k$-스킴에서 $H^0(X, \mathcal{O}_X) = k$를 만족하는 경우, $ \mathrm{Pic}_{X/k}$의 닫힌 점과 분해 불가능한 AS-복합체의 동형류 사이의 대응을 수립한다.
• 크룰-슈마이트 정리를 사용하여 임의의 AS-복합체를 분해 불가능한 AS-복합체의 유일한 분해로 표현함으로써, 분류 문제를 분해 불가능한 경우로 축소한다.
• 브라우어-세버리 다양체의 주기 $p$에 대해, $0 \leq j \leq p-1$인 각 $j$에 대해 분해 불가능한 AS-복합체 $\mathcal{M}_{\mathcal{L}^{\otimes j}}$의 계수들의 순서인 $(d_0, \dots, d_p)$로 구성된 $p+1$-튜플인 AS-유형을 정의한다.
• 타우토로지컬 쿼티언트 복합체 $\mathcal{Q}^\vee$ 위에서의 슈르 함수의 강하를 이용하여, 그라스만이안에서 오타비아니의 분해 기준을 적용함으로써, $ \mathrm{BS}(d,A)$ 위의 복합체가 AS-복합체임을 보장하는 코homological 조건을 도출한다.
• 종말의 끝점 대칭 대칭 대수 $ \mathrm{End}(\mathcal{M}_{\mathcal{L}})$의 지표를 사용하여, $ \mathrm{rk}(\mathcal{M}_{\mathcal{L}^{\otimes j}}) = \mathrm{ind}(\mathrm{End}(\mathcal{M}_{\mathcal{L}})^{\otimes j})$를 계산한다.
• 브라우어-유사한 대수의 지표와 주기를 비교하여, AS-유형이 유비탈 동치에 대해 불변임을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 적절한 $k$-스킴 위에서 절대적으로 분해 가능한 벡터 복합체는 피카르 스킴의 어떤 성질로 분류될 수 있는가?
• RQ2 대수적으로 닫힌 체 $ \bar{k}$ 위에서 피카르 군이 무한 순환군인 적절한 $k$-스킴 위에서 분해 불가능한 AS-복합체의 구조는 어떻게 되는가?
• RQ3 일반화된 브라우어-세버리 다양체의 AS-유형은 기하학적 성질과 유비탈 불변량과 어떻게 관련되는가?
• RQ4 일반화된 브라우어-세버리 다양체 위의 벡터 복합체가 AS-복합체임을 보장하는 코homological 조건은 무엇인가?
• RQ5 유비탈 동치인 일반화된 브라우어-세버리 다양체의 AS-유형은 동일한가?

주요 결과

• 적절한 $k$-스킴에서 $H^0(X, \mathcal{O}_X) = k$를 만족하는 경우, $ \mathrm{Pic}_{X/k}$의 닫힌 점과 분해 불가능한 AS-복합체의 동형류 사이에 일대일 대응이 존재한다.
• 적절한 $k$-스킴 $X$에서 $ \mathrm{Pic}(X \otimes_k \bar{k}) \simeq \mathbb{Z}$를 만족하는 경우, 모든 분해 불가능한 AS-복합체는 $\mathcal{J}^{\otimes a} \otimes \mathcal{M}_{\mathcal{L}^{\otimes j}}$의 형태를 가지며, 여기서 $a \in \mathbb{Z}$, $0 \leq j \leq r-1$, $r$은 주기이다.
• 분해 불가능한 AS-복합체 $\mathcal{M}_{\mathcal{L}^{\otimes j}}$의 계수는 $\mathrm{rk}(\mathcal{M}_{\mathcal{L}^{\otimes j}}) = \mathrm{ind}(\mathrm{End}(\mathcal{M}_{\mathcal{L}})^{\otimes j})$로 주어진다.
• 브라우어-세버리 다양체의 AS-유형은 $\mathcal{M}_{\mathcal{L}^{\otimes j}}$의 계수들의 $(p+1)$-튜플 $(d_0, \dots, d_p)$로 정의되며, 이는 유비탈 불변량이다.
• 두 일반화된 브라우어-세버리 다양체 $ \mathrm{BS}(d,A)$와 $ \mathrm{BS}(d,B)$는 동치일 필요충분조건이 동일한 AS-유형을 가진다.
• 벡터 복합체 $ \mathcal{E}$가 $ \mathrm{BS}(d,A)$ 위에 있을 때, 모든 $0 < r < \dim \mathrm{BS}(d,A)$, $t \in \mathbb{Z}$, 그리고 $0 \leq \lambda_i \leq n-d$, $s \leq d$를 만족하는 모든 분할 $\lambda_1 \geq \cdots \geq \lambda_s$에 대해 $H^r(\mathrm{BS}(d,A), \mathcal{P}_{\lambda_1} \otimes \cdots \otimes \mathcal{P}_{\lambda_s} \otimes \mathcal{E}(t)) = 0$이면, $ \mathcal{E}$는 AS-복합체이다.