[논문 리뷰] Une formule pour le groupe de Brauer algébrique d'un torseur

Cyril Demarche|arXiv (Cornell University)|2010. 11. 23.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 특성 0의 체 위에서 연결 대수적 군에 대한 동차공간에 대한 대수적 브라우어 군과 갈루아 모듈의 삼항 복합체의 초동차를 간단한 동형사상으로 연결하며, 이는 이전의 보로보이와 반 하멜의 결과를 비선형 대수적 군과 초월 브라우어 원소로 일반화한다. 주요 기여는 연결 대수적 군에 대한 동차공간의 대수적 브라우어 군에 대한 명시적 공식을, 안정자 부분군의 재구성 및 단순 연결 부분군의 특성 모듈을 사용하여 제시하는 것이다.

ABSTRACT

For a homogeneous space X of a connected algebraic group G (with connected stabilizers) over a field k of characteristic zero, we construct a canonical complex of Galois modules of length 3 and a canonical isomorphism between an hypercohomology group of this complex and an explicit subgroup of the Brauer group of X. This result is obtained as a consequence of a formula describing the "algebraic Brauer group of a torsor", and it generalizes recent results by Borovoi and van Hamel, by considering non-linear groups G and by taking into account some transcendental elements in the Brauer group of X.

연구 동기 및 목표

• 특성 0의 체 위에서 연결 대수적 군에 대한 동차공간에 대한 대수적 브라우어 군의 명시적 기술을 제공한다.
• 이전의 보로보이와 반 하멜의 결과를 선형 군에 국한된 바를 비선형 대수적 군으로 확장한다.
• 브라우어 군에 초월 원소를 체계적으로 포함시키기 위해 Br₁(X,G)라는 보다 정교한 부분군을 도입하여 대수적 원소와 일부 초월 클래스를 모두 포괄한다.
• Brₐ(X,G), 즉 Br₁(X,G)와 Br(k)의 몫을 계산하는 갈루아 모듈의 삼항 복합체를 구성한다.
• 호모로지 대수학과 갈루아 코hom로그리를 사용하여 기존의 대수적 군과 그 동차공간의 브라우어 군에 관한 결과들을 통합하고 일반화한다.

제안 방법

• 안정자 부분군의 재구성 및 단순 연결 덮개의 특성 모듈을 사용하여 갈루아 모듈의 복합체 Ĉ_X를 정의한다.
• 유리점에 의해 유도되는 자연스러운 사상 π: G̅ → X̅를 사용하여 Br₁(X,G) ⊆ Br(X)를 Br(X) → Br(X̅) → Br(G̅)의 합성의 핵으로 정의한다.
• 두 가지 버전의 복합체를 구성한다: Pic(G̅) = 0 조건 하에 Z̅_H^red 와 Z̅_H^sc 를 사용하는 복합체; X(k) ≠ ∅ 조건 하에 G, G^sc, H의 최대 토리들을 사용하는 복합체.
• 적절한 조건 하에서 초동차 H²(k, Ĉ_X)를 적용하여 대수적 브라우어 군을 계산하며, Brₐ(X,G)와의 동형사상을 보인다.
• 기존의 대수적 군 이론(예: 샌수크의 구조 정리)을 활용하여 G를 선형 부분군과 아벨 부분군으로 분해함으로써 특성 모듈의 사용을 가능하게 한다.
• Brₐ(X,G)와 H²(k, Ĉ_X) 사이의 자연스러운 동형사상을 이용하여 X의 산술적 성질과 구성된 복합체의 갈루아 코호몰로지 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 G가 반드시 선형일 필요가 없는 특성 0의 체 위에서 연결 대수적 군 G에 대한 동차공간 X에 대한 대수적 브라우어 군을 갈루아 코호몰로지의 관점에서 어떻게 기술할 수 있는가?
• RQ2 특히 H가 선형이 아닐 경우 안정자 부분군 H가 X의 브라우어 군을 결정하는 데 어떤 역할을 하는가?
• RQ3 브라우어 군의 초월 원소들을 코호몰로지 구조를 통해 체계적으로 포착하고 기술할 수 있는가?
• RQ4 갈루아 모듈의 삼항 복합체의 초동차가 언제 Brₐ(X,G)를 계산하는가?
• RQ5 새로운 갈루아 모듈 복합체는 선형 경우의 UPic(X̅) 또는 피카르 복합체와 어떻게 관련이 있는가?

주요 결과

• 논문은 X(k) ≠ ∅일 경우 대수적 브라우어 군 Brₐ(X,G)를 계산하는 간단한 삼항 갈루아 모듈 복합체 Ĉ_X를 구성하며, 그 초동차 H²(k, Ĉ_X)가 Brₐ(X,G)를 계산한다.
• Pic(G̅) = 0 조건 하에 복합체는 Ĉ_X = [Ĝ → Ẑ_H^red → Ẑ_H^sc] 로 주어지며, X(k) ≠ ∅ 또는 H³(k, Gₘ) = 0 이면 H²(k, Ĉ_X)는 Brₐ(X,G)와 동형이다.
• X(k) ≠ ∅ 조건 하에 복합체는 Ĉ'_X = [T̂_G → Pic(G̅^ab) ⊕ T̂_G^sc ⊕ T̂_H → T̂_H^sc] 로 주어지며, H²(k, Ĉ'_X)는 Brₐ(X,G)와 자연스럽게 동형이다.
• 이 구성은 토리 및 단순형 군에 대한 산수크의 공식을 일반화하고 보로보이–반 하멜의 결과를 선형 군을 초월하여 확장한다.
• Br₁(X,G)를 Br₁(X)를 포함하고 그보다 더 큰 부분군으로 정의함으로써 초월 브라우어 원소를 고려한다.
• H³(k, Gₘ) = 0 이면 동형사상이 성립하며, 이는 전역 체, p진 체, 또는 X가 차수 1의 영주기열을 가질 경우에 성립한다.