[논문 리뷰] Non-existence of exceptional collections on twisted flags and categorical representability via noncommutative motives

Saša Novaković|arXiv (Cornell University)|2016. 07. 04.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 8

한 줄 요약

이 논문은 유한한 왜곡된 플래그의 곱(고전적 유형 $A_n$ 및 $C_n$), 일반화된 브라우어-세버리 다양체, 그리고 특성 ≠ 2인 체 위의 왜곡된 이차곡면이 전형적 예외적 집합을 가질 조건은 그것이 분할되어 있음(즉, 사영 공간 또는 그라스만이안과 동형임)일 때이고, 중심 단순 대수의 지수 $\leq 3$인 왜곡된 이차곡면과 관련된 분류적 표현 차원 $ \mathrm{rdim}(X)$는 $ \mathrm{ind}(A) - 1$과 일치함을 규명한다. 이러한 결과는 비가환 모티프와 유도 범주의 준직교 분해를 통해 도출된다.

ABSTRACT

In this paper we prove that a finite product of Brauer--Severi varieties is categorical representable in dimension zero if and only if it admits a $k$-rational point if and only if it is rational over $k$. The same is true for certain isotropic involution varieties over a field $k$ of characteristic different from two. For finite products of generalized Brauer--Severi varieties, categorical representability in dimension zero is equivalent to the existence of a full exceptional collection. In this case however categorical representability in dimension zero is not equivalent to the existence of a rational point. We also show that non-trivial twisted flags of classical type $A_n$ and $C_n$ cannot have full exceptional collections, enlarging in this way the set of previous known examples. Finally, we determine the categorical representability dimension $\mathrm{rdim}(X)$ for generalized Brauer--Severi varieties of index $\leq 3$ and for certain twisted forms of smooth quadrics (involution varieties).

연구 동기 및 목표

• 왜곡된 유형 $A_n$ 및 $C_n$ 플래그가 전형적 예외적 집합을 가질 조건을 규명하는 것.
• 영차원에서 $k$-유리점의 존재, 유리성, 그리고 분류적 표현 가능성 간의 관계를 명확히 하는 것.
• 지수 $\leq 3$인 일반화된 브라우어-세버리 다양체 및 특정 왜곡된 이차곡면에 대해 분류적 표현 차원 $\mathrm{rdim}(X)$를 계산하는 것.
• Raedschelders의 비분할 브라우어-세버리 다양체 결과를 비가환 모티프를 활용해 곱과 기타 왜곡 형태로 확장하는 것.

제안 방법

• 왜곡된 다양체의 유도 범주를 분석하기 위해 비가환 모티프를 활용한다.
• 유도 범주의 준직교 분해를 적용하여 분류적 표현 가능성을 연구한다.
• 분류적 표현 차원 $ \mathrm{rdim}(X)$를 $D^b(X)$가 차원 $\leq m$인 매끄럽고 사영인 $Y_i$의 적합한 부분범주 $D^b(Y_i)$와 동치인 성분들을 가진 준직교 분해를 갖는 최소 $m$로 정의한다.
• 왜곡된 이차곡면에 대해 $D^b(X) \simeq \langle D^b(k), D^b(A), \dots \rangle$의 분해를 사용하여 $ \mathrm{rdim}(X)$를 기저 대수의 지수와 연결한다.
• 비가환 모티프와 $K_0$-이론에 관한 [37], [32], [27]의 결과를 활용하여 비분할 케이스를 배제한다.
• 대수적 폐쇄체로의 기저 변경과 Wedderburn 정리를 적용하여 준직교 분해 내 분할 대수 성분을 분석한다.

실험 결과

연구 질문

• RQ1 유한한 왜곡된 플래그의 곱(유형 $A_n$ 또는 $C_n$)이 전형적 예외적 집합을 가질 조건은 무엇인가?
• RQ2 지수 $\leq 3$인 일반화된 브라우어-세버리 다양체에 대해 분류적 표현 차원 $ \mathrm{rdim}(X)$는 무엇인가?
• RQ3 왜곡된 플래그와 이차곡면에서 $k$-유리점의 존재는 전형적 예외적 집합의 존재와 어떤 관계가 있는가?
• RQ4 일반화된 브라우어-세버리 다양체에 대해 영차원에서 분류적 표현 가능성은 유리성 또는 유리점의 존재와 동치인가?
• RQ5 비가환 모티프로 비분할 왜곡 형태에서 전형적 예외적 집합이 존재하지 않음을 감지할 수 있는가?

주요 결과

• 브라우어-세버리 다양체의 유한한 곱은 영차원에서 분류적으로 표현 가능할 조건은 그것이 $k$에 대해 유리일 때이며, 이는 그것이 $k$-유리점을 가질 때에만 성립한다.
• 특성 0인 체 위의 일반화된 브라우어-세버리 다양체에 대해, 영차원에서의 분류적 표현 가능성은 전형적 예외적 집합의 존재와 동치이다.
• 비자명한 유형 $A_n$ 및 $C_n$의 왜곡된 플래그(단, $n \neq 4$)는 비가환 모티프와 1-코호몰로지의 자명성에 의해 전형적 예외적 집합을 갖지 않는다.
• 지수 기저가 1 또는 $\mathbb{R}$에서의 직교적 역할 대수와 관련된 왜곡된 이차곡면의 경우, 전형적 예외적 집합이 존재하는 것은 모든 인자들이 분할되어 있을 때(즉, 매끄러운 이차곡면과 동형일 때)에만 성립한다.
• 중심 단순 대수 $A$와 관련된 왜곡된 이차곡면 $X$의 분류적 표현 차원 $ \mathrm{rdim}(X)$는 $ \mathrm{ind}(A) - 1$을 만족하며, 이는 $ \mathrm{ind}(A) \leq 3$일 때 확인된다.
• 지수 $ \mathrm{ind}(A) = 3$인 경우, $ \mathrm{rdim}(X) = 2$는 모순에 의한 증명으로 증명된다: $ \mathrm{rdim}(X) \leq 1$이라 가정하면 비가환 모티프 분해에서 지수 조건을 위반하는 모순이 발생한다.