[논문 리뷰] Groupe de Brauer non ramifié algébrique des espaces homogènes (The unramified algebraic Brauer group of homogeneous spaces)

Giancarlo Lucchini Arteche|arXiv (Cornell University)|2013. 12. 11.

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

한 줄 요약

이 논문은 유한체 및 특성 0 체 위에서 단순 연결 반단순인 $G'$에 대한 동차 공간 $V = G\backslash G'$의 비분할 대수기 브라우어 군을 계산하는 명시적 공식을 제공한다. 안정자 군 $G$의 갈루아 코hom로를 유한 부분상자로 환원함으로써, 저자들은 브라우어 군이 성분군과 최대 토루스의 $m$- torsion으로 구성된 유한부분군에 의해 완전히 결정됨을 보이며, 이는 이전 결과를 비연결 안정자로 일반화한다.

ABSTRACT

Using a reduction of the Galois cohomology of a linear algebraic group $G$ to that of a certain finite subquotient, we give different formulas allowing the calculation of the unramified algebraic Brauer group of a homogeneous space $V=G\backslash G'$ with $G'$ semisimple and simply connected, both over a finite field and over an arbitrary field of characteristic $0$.

연구 동기 및 목표

• 기존의 비분할 대수기 브라우어 군 공식을 유한 또는 아벨 군이 아닌 일반 안정자 군에까지 확장한다.
• 비연결 안정자에 대해 브라우어 군이 안정자의 유한 부분상자에만 의존함을 보여, 비연결 안정자 경우를 해결한다.
• 갈루아 코호몰로지의 유한군으로의 환원을 통해 $\mathrm{Br}_{\mathrm{nr,al}}V$를 계산하는 일반적인 방법을 수립한다.
• 브라우어 군에 필요한 코호몰로지 정보가 성분군과 토루스 토르션으로 구성된 유한부분군에 의해 포괄됨을 증명한다.
• 이전의 [BDH13] 및 [LA14] 결과를 유한군에 의해 분할된 토루스로 확장된 안정자, 즉 일반선형대수군의 경우를 포함하는 일반적인 경우로 일반화한다.

제안 방법

• 선형대수군 $G$의 갈루아 코호몰로지를, $G$가 유한군 $F$에 의해 분할 토루스 $T$로 확장된 구조를 이용해 유한 부분상자로 환원한다.
• 유한체 $k$-부분군 $H \subset G$를 구성하여, $T^{nd} \to H \to F$ 및 $T \to G \to F$의 가환대각선을 이루도록 하며, 여기서 $n = |F|$, $d = [L:k]$는 $T$의 분할체 $L$에 대한 것이다.
• 곱셈-by-$m$ 사상 $\phi_m: T \to T$를 사용하고 $m = nd$로 정의하며, $H$를 $H_0$와 $\phi_m^{-1}(H_0 \cap T)$의 생성으로 정의함으로써 $H$가 유한임을 보장한다.
• $k' \supset k$인 모든 체 확장에 대해 자연사상 $H^1(k', H) \to H^1(k', G)$가 전사임을 증명함으로써, $H$가 브라우어 군에 관련된 갈루아 코호몰로지 자료를 모두 포괄함을 보인다.
• [CGR08]의 결과(정리 3.1)를 적용하여 브라우어 군이 이 유한부분군의 코호몰로지에 의해 결정됨을 보인다.
• $\mathrm{Br}_{\mathrm{nr,al}}V$의 계산을 유한군의 갈루아 코호몰로지로 환원함으로써, 유한체 및 특성 0 체에서의 명시적 계산이 가능해진다.

실험 결과

연구 질문

• RQ1 안정자 $G$가 비연결이고 'ssumult' 유형이 아닐 경우, 동차 공간 $V = G\backslash G'$의 비분할 대수기 브라우어 군을 계산할 수 있는가?
• RQ2 안정자 $G$가 유한군에 의해 분할된 토루스로 확장되어 있더라도, 브라우어 군이 안정자의 유한 부분상자에만 의존하는가?
• RQ3 특성 0 체 위에서도 $\mathrm{Br}_{\mathrm{nr,al}}V$의 계산을 갈루아 코호몰로지의 유한군으로 환원할 수 있는가?
• RQ4 안정자 $G$가 유한군 $F$에 의해 분할된 토루스 $T$로 확장되어 있을 때, 브라우어 군을 제어하는 유한부분군 $H \subset G$를 어떻게 구성할 수 있는가?
• RQ5 갈루아 코호몰로지 환원을 통해 [LA14]의 결과(유한 안정자에 대한 것)가 얼마나 일반 안정자로까지 확장되는가?

주요 결과

• 특성과 무관하게 $k$ 위에서 유한군 $F$의 순서가 $n$인 (특성과 서로소인) 분할 토루스 $T$로 확장된 안정자 $G$에 대해, 비분할 대수기 브라우어 군 $\mathrm{Br}_{\mathrm{nr,al}}V$는 $G$의 유한 $k$-부분군 $H \subset G$의 갈루아 코호몰로지에 의해 결정된다.
• 유한부분군 $H$는 $F$의 $G$ 위로의 릿지 $H_0 \subset G$와 $T$의 $m$- torsion의 생성으로 구성되며, $m = nd$, $d = [L:k]$로 정의되며, $1 \to T^{nd} \to H \to F \to 1$의 정확열이 성립한다.
• $k' \supset k$인 모든 $k'$에 대해 $H^1(k', H) \to H^1(k', G)$의 전사성은 $H$가 브라우어 군에 관련된 갈루아 코호몰로지 자료를 모두 포괄함을 의미하므로, $\mathrm{Br}_{\mathrm{nr,al}}V$는 $H$에만 의존한다.
• $\mathrm{Br}_{\mathrm{nr,al}}V$의 공식은 $H^1(k, H)$와 $H^2(k, H)$로 표현되며, 이는 계산을 유한군 코호몰로지로 환원한다.
• 이 결과는 [BDH13] 및 [LA14]의 이전 공식을 유한군에 의해 분할된 토루스로 확장된 안정자로 일반화하며, 일반선형대수군의 경우를 포함한다.
• 이 방법은 유한체 및 특성 0 체에서 동일하게 적용되며, 이러한 동차 공간의 비분할 대수기 브라우어 군에 대한 통일된 계산 프레임워크를 제공한다.