[논문 리뷰] Maximal tori determining the algebraic group

Shripad M. Garge|arXiv (Cornell University)|2004. 09. 23.

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

한 줄 요약

이 논문은 유한체, 전역체 또는 국소 비아르키메데스 체 위의 두 개의 분할, 연결, 단순 대수적 군이 그들의 공통된 최대 $k$-토루스 집합(모듈로 $k$-이sov)에 의해 유일하게 결정됨을 증명한다. 핵심 결과는 이러한 군들이 이sov된 웨일 군을 가지며, $B_n$과 $C_n$ 성분이 서로 바뀔 수 있음을 나타낸다. 이는 갈루아 코hom로지와 $GL_n(\mathbb{Z})$ 내 웨일 군 원소의 특성다항식 분석을 통해 확립된다. 최근 피에르 루이 질레의 정리에 의해, 임의의 순환 확장을 허용하는 체로의 결과가 확장된다.

ABSTRACT

Let k be a finite field, a global field or a local non-archimedean field. Let H_1 and H_2 be two split, connected, semisimple algebraic groups defined over k. We prove that if H_1 and H_2 share the same set of maximal k-tori up to k-isomorphism, then the Weyl groups W(H_1) and W(H_2) are isomorphic, and hence the algebraic groups modulo their centers are isomorphic except for a switch of a certain number of factors of type B_n and C_n. We remark that due to a recent result of Philippe Gille, above result holds for fields which admit arbitrary cyclic extensions.

연구 동기 및 목표

• 필드 $k$ 위의 분할, 연결, 단순 대수적 군이 최대 $k$-토루스의 $k$-이sov 클래스에 의해 어느 정도 결정되는가를 규명하는 것.
• 두 군이 동일한 최대 $k$-토루스 집합(모듈로 $k$-이sov)을 공유할 경우, 그들의 웨일 군이 이sov됨을 증명하는 것.
• 특히 $B_n$과 $C_n$ 유형의 존재 여부가 최대 $k$-토루스의 $k$-이sov 클래스로부터 얼마나 복원 가능한지 조사하는 것.
• 최근 피에르 루이 질레의 정리에 기반해, 임의의 순환 확장을 허용하는 체로의 결과를 확장하는 것.

제안 방법

• 고정된 최대 토루스의 정규화군 위의 갈루아 작용을 통해 $k$-이sov 클래스를 갈루아 코호몰로지로 기술한다.
• 분할된 최대 토루스의 캐릭터 군 위의 작용을 통해 웨일 군을 $GL_n(\mathbb{Z})$의 부분군으로 표현한다.
• 정수 위에서의 특성다항식을 비교하여 웨일 군 원소의 공轭류를 분석한다.
• 특정 웨일 군 성분의 존재를 추적하기 위해 다중도 불변량 $\mathfrak{m}_i(W)$, $\mathfrak{m}_i'(W)$, 및 $\mathfrak{m}_{i,j}(W)$를 정의한다.
• 단순 성분의 최대 랭크에 대한 귀납적 추론을 통해, 다중도 데이터를 분석하여 문제를 낮은 랭크의 경우로 환원한다.
• 단순 성분의 웨일 군 성분이 동일한 다중도 데이터를 가질 경우 이sov임을 보여주는 정리 4.2를 적용한다. 특히 $A_m$ 및 $B_n/C_n$ 유형에 대해.

실험 결과

연구 질문

• RQ1 유한체, 전역체 또는 국소 비아르키메데스 체 위에서 두 분할, 연결, 단순 대수적 군이 동일한 최대 $k$-토루스 집합(모듈로 $k$-이sov)을 공유할 경우, 그들의 웨일 군은 이sov되는가?
• RQ2 분할 단순 군의 웨일 군은 그 최대 $k$-토루스의 $k$-이sov 클래스로부터 재구성 가능한가?
• RQ3 $B_n$과 $C_n$ 유형의 군들이 최대 $k$-토루스를 통해 얼마나 오랫동안 구분되지 않는가? 언제 구분될 수 있는가?
• RQ4 결과는 임의의 순환 확장을 허용하는 체로 확장되는가? 만약 그렇다면, 어떤 코호몰로지 조건에서 성립하는가?
• RQ5 다중도 불변량 $\mathfrak{m}_i(W)$, $\mathfrak{m}_i'(W)$, 및 $\mathfrak{m}_{i,j}(W)$는 웨일 군의 단순 성분 분해를 유일하게 결정하는가?

주요 결과

• 유한체, 전역체 또는 국소 비아르키메데스 체 위의 두 분할, 연결, 단순 대수적 군이 동일한 최대 $k$-토루스 집합(모듈로 $k$-이sov)을 공유할 경우, 그들의 웨일 군 $W(H_1)$과 $W(H_2)$는 이sov된다.
• $W(H_1)$과 $W(H_2)$의 단순 웨일 군 성분으로의 분해는 순열을 제외하고 동일하며, $B_n$과 $C_n$ 성분은 서로 바뀔 수 있다.
• 자기 중심이 자명한 군의 경우, 각 단순 성분의 이sov 유형은 $B_n/C_n$ 대칭성에 따라 결정되며, 이는 $H_1$과 $H_2$가 중심을 제외하고는 이sov되며, $B_n$과 $C_n$ 성분에 대해서만 예외가 될 수 있음을 의미한다.
• 다중도 불변량 $\mathfrak{m}_i(W)$, $\mathfrak{m}_i'(W)$, 및 $\mathfrak{m}_{i,j}(W)$는 분해 내 각 단순 웨일 군 성분의 존재 여부와 다중도를 유일하게 결정한다.
• 최근 피에르 루이 질레의 정리에 의해, 임의의 순환 확장을 허용하는 체로의 결과가 확장되어 원래의 체의 범주를 초월해 적용 가능성이 보장된다.
• 증명은 $GL_n(\mathbb{Z})$ 내 웨일 군 원소의 특성다항식 분석에 기반하며, 다중도 데이터를 통한 귀납적 웨일 군 성분 재구성에 의존한다.