[논문 리뷰] No full exceptional collections on non-split Brauer--Severi varieties of dimension $\leq 3$

Saša Novaković|arXiv (Cornell University)|2016. 03. 28.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 프로젝티브 공간 위의 전형적 예외적 수집의 브레인 군의 추이적 작용을 이용하여, 차원이 3 이하인 비분할 Brauer–Severi 다양체는 전형적 예외적 수집을 가지지 못함을 증명한다. 핵심 결과는 이러한 다양체가 전형적 예외적 수집을 가질 수 있음이 유일하게 그것이 기본 체 위에서 프로젝티브 공간과 동형일 때, 즉 분할되어 있을 때이다.

ABSTRACT

In an earlier paper we showed that non-split Brauer--Severi curves do not admit full strong exceptional collections. In the present note we extend this observation and prove that there cannot exist full exceptional collections on non-split Brauer--Severi varieties of dimension $\leq 3$.

연구 동기 및 목표

• 비분할 Brauer–Severi 다양체가 전형적 예외적 수집을 가지지 않는다는 추측을 해결하기 위해.
• 유도된 범주와 수직직교 분해를 이용하여 Brauer–Severi 다양체 위에서 전형적 예외적 수집의 존재 조건을 설정하기 위해.
• 유도된 범주 기법을 통해 Brauer–Severi 다양체의 유리성과 전형적 예외적 수집의 존재성 간의 연관성을 규명하기 위해.
• 이전의 Brauer–Severi 곡선에 대한 결과를 브레인 군 작용을 통한 예외적 수집에 기반하여 2차원 및 3차원으로 확장하기 위해.

제안 방법

• Brauer–Severi 다양체 $X$ 위의 코herent sheaf의 유도 범주 $D^b(X)$를 중심 틀로 사용한다.
• 수직직교 분해를 적용한다: $D^b(X) = \langle D^b(k), D^b(A), \dots, D^b(A^\bigotimes n) \rangle$, 여기서 $A$는 $X$에 관련된 중심 단순 대수이다.
• 기본 체 $\bar{k}$ 위로의 기저 전환에 의존하며, $X_{\bar{k}} \simeq \mathbb{P}^n_{\bar{k}}$ 이고, $\mathbb{P}^n_{\bar{k}}$ 위에 알려진 전형적 강한 예외적 수집 $\mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n)$ 을 사용한다.
• 브레인 군 $B_{n+1}$ 이 $\mathbb{P}^n_{\bar{k}}$ 위의 전형적 예외적 수집 집합에 대해 $n \leq 3$ 일 때 추이적으로 작용한다는 가정을 사용한다.
• 기저 전환과 가환하는 변형 함수를 적용하여, $X$ 위의 임의의 전형적 예외적 수집은 변형을 제외하고 $\mathcal{O}, \mathcal{O}(1), \dots, \mathcal{O}(n)$ 과 동치임을 보인다.
• 결론적으로 $D^b(k) \simeq D^b(A)$ 를 유도하며, 알려진 결과에 의해 이는 $A$ 가 분할되어 있음을 의미하므로 $X$ 도 분할되어 있음을 유도한다.

실험 결과

연구 질문

• RQ1 차원 ≤3인 비분할 Brauer–Severi 다양체는 전형적 예외적 수집을 가질 수 있는가?
• RQ2 Brauer–Severi 다양체 위에서 전형적 예외적 수집의 존재성을 이용하여 그것이 분할되어 있는지 여부를 판단할 수 있는가?
• RQ3 $n \leq 3$ 일 때, $\mathbb{P}^n_{\bar{k}}$ 의 전형적 예외적 수집 집합에 대한 브레인 군 작용이 추이적인가?
• RQ4 Brauer–Severi 다양체의 유도 범주 구조를 이용하여 그것이 기본 체 위에서 유리한지 여부를 감지할 수 있는가?
• RQ5 $D^b(X)$ 의 수직직교 분해와 관련된 중심 단순 대수 $A$ 의 대수적 구조 간의 관계는 무엇인가?

주요 결과

• 차원 $n \leq 3$ 인 Brauer–Severi 다양체는 임의의 대상으로 이루어진 전형적 예외적 수집을 가질 수 있음이 유일하게 그것이 분할되어 있을 때이다.
• Brauer–Severi 곡선과 표면의 경우, 전형적 예외적 수집의 존재는 다양체가 $\mathbb{P}^n_k$ 와 동형임과 동치이다.
• Brauer–Severi 삼중체의 경우, 벡터 번들의 전형적 예외적 수집의 존재는 다양체가 분할되어 있음을 의미한다.
• 이 증명은 브레인 군 $B_{n+1}$ 이 $n \leq 3$ 일 때 $\mathbb{P}^n_{\bar{k}}$ 위의 전형적 예외적 수집 집합에 대해 추이적으로 작용한다는 사실에 크게 의존한다.
• 전형적 예외적 수집에 의해 유도되는 유도 범주 동치 $D^b(k) \simeq D^b(A)$ 는 중심 단순 대수 $A$ 가 분할되어 있음을 의미한다.
• 따라서 차원 ≤3인 Brauer–Severi 다양체의 유리성은 그 유도 범주 내 전형적 예외적 수집의 존재성과 동치이다.