고전 대수군의 최대 계급 최대 부분군 전면 분석

초록

본 논문은 임의의 체 k 위의 고전형 절대단순 대수군 G에 대해, 최대 토러스(즉, 최대 계급)를 포함하는 최대 가환군 H를 ‘지수‑공액(index‑conjugacy)’이라는 새로운 동형 관계 아래 완전히 분류한다. 각 경우에 대한 구체적 조합표(표 2–6)를 제시하고, 이러한 부분군이 유한체, 실수체, p‑adic 체 위에서 실현 가능한지 여부를 판정한다. 또한 차수가 n인 G에 대해 이러한 부분군의 수가 O(n log n) (또는 분리폐쇄체에서는 O(n)) 성장함을 보인다. 계산 검증을 위해 Julia와 Oscar 기반의 코드도 공개한다.

상세 분석

이 연구는 기존의 ‘최대 부분군’ 분류 프로그램을 전면 확장한다. 먼저 저자들은 ‘지수‑공액(index‑conjugacy)’이라는 동치 관계를 도입한다. 이는 G(k̄)‑공액보다 미세하고, G(k)‑공액보다 거친 관계로, 두 부분군 H₁, H₂가 동일한 ‘지수 삽입(embedding of indices)’을 가질 때 성립한다. 지수 삽입은 (I(G), I(H), θ) 삼중항으로 정의되며, 여기서 I(·)는 Tits‑Satake 지수를, θ는 문자 격자 사이의 선형 사상이다. 이 삼중항은 체 확장에 대해 불변이며, combinatorial isomorphism을 통해 완전히 기술될 수 있다.

고전형(Aₙ, Bₙ, Cₙ, Dₙ) 각각에 대해 저자들은 가능한 지수 삽입을 전부 나열한 표 2–6을 만든다. 표는 ‘almost primitive subsystems’ 이론을 활용한다. 즉, 루트 시스템 Φ의 거의 원시 부분시스템 Ψ를 조사하고, 그에 대응하는 정규화군(Stab W(Δ), Stab Iso(Φ)(Δ))를 계산한다. 이 과정에서 기존 문헌(