[논문 리뷰] Finite subgroups of PGL(2,K)

Arnaud Beauville|ArXiv.org|2009. 09. 22.

Finite Group Theory Research참고 문헌 3인용 수 6

한 줄 요약

이 논문은 군의 순서가 체 K의 표수에 나누어지지 않는 조건 하에서, Galois 코hom로 PGL₂(K)의 유한부군을 동치류로 분류한다. 순환군, 이면군, 그리고 대칭군(A₄, S₄, A₅)의 실현을 위한 명시적 기준을 제공하며, (Z/2Z)²와 Dᵣ의 동치류를 코homological invariant과 근 자료 위의 Galois 작용을 통해 완전히 기술한다.

ABSTRACT

We classify, up to conjugacy, the finite subgroups of PGL(2,K) of order prime to char(K).

연구 동기 및 목표

• 군의 순서가 char(K)에 서로소일 때 PGL₂(K)의 모든 유한부군을 동치류로 분류하는 것.
• 기본적인 유한부군(Z/rZ, Dᵣ, A₄, S₄, A₅) 중 어떤 것이 임의의 체 K에 대해 PGL₂(K)에 임베딩되는지 확인하는 것.
• Galois 코호몰로지와 Galois 내림을 이용하여 이러한 부군의 전체 동치류 집합을 기술하는 것.
• (Z/2Z)²의 경우 두 번째 Galois 코호몰로지의 역할을 명확히 하여 이전 연구에서 제기된 질문을 해결하는 것.

제안 방법

• 유한군 H가 G(K)에 임베딩되는 경우를 G(K)-동치류로 분류하기 위해 비아벨리안 Galois 코호몰로지를 적용한다.
• K³ 위의 이차형식 q에 대해 PGL₂(K) ≅ SO(K, q)의 동형을 이용하여 군 작용과 이차형식을 연결한다.
• 동치류의 분류를 G(Kₛ) 내에서 H의 중심화자 Z의 H¹(K, Z) → H¹(K, G)의 핵을 계산하는 것으로 환원한다.
• (Z/2Z)²의 경우, Hilbert 기호 (α, β)₂ = 0 인 (K*/K*²)² 내의 쌍 (α, β)를 통해 동치류를 매개변수화한다.
• PGL₂(Kₛ) 내에서 H의 정규화자 N이 코호몰로지 클래스 위에 작용하는 방식을 분석하여 서로 다른 동치류를 결정한다.
• 예를 들어 순환군의 경우 z ↦ (λ+1)z−1 / z+1 와 같은 유리 호모그래피를 명시적으로 구성하여 부군의 실현을 제공한다.

실험 결과

연구 질문

• RQ1 K가 표수가 군의 순서에 나누어지지 않는 임의의 체일 때, PGL₂(K)의 어떤 유한부군이 나타나는가?
• RQ2 각 유한부군((Z/2Z)², Dᵣ, A₅ 등)의 PGL₂(K) 내 동치류는 몇 개인가, 그리고 어떻게 매개변수화되는가?
• RQ3 특히 (Z/2Z)²의 경우 Galois 코호몰로지가 이러한 동치류 분류에 어떤 역할을 하는가?
• RQ4 어떤 체 이론적 조건이 A₅가 PGL₂(K)에 임베딩되는가?
• RQ5 정규화자 작용이 코호몰로지 클래스 위에 작용함으로써 서로 다른 동치류의 수가 어떻게 결정되는가?

주요 결과

• 표수가 군의 순서에 나누어지지 않는 PGL₂(K)의 유한부군은 Z/rZ, Dᵣ, A₄, S₄, 또는 A₅와 동형이다.
• Z/rZ는 K가 원분단위근 ζ에 대해 ζ + ζ⁻¹를 포함할 때에만 PGL₂(K)에 임베딩된다.
• A₄와 S₄는 K에서 −1이 두 제곱수의 합일 때에만 PGL₂(K)에 임베딩된다.
• A₅는 K에서 −1이 두 제곱수의 합이고 5가 제곱수일 때에만 PGL₂(K)에 임베딩된다.
• (Z/2Z)²의 PGL₂(K) 내 동치류는 (−α, −β)₂ = 0 인 모든 α, β ∈ G에 대해 성립하는 K*/K*²의 순서 ≤4인 부분군 G ⊂ K*/K*²에 의해 매개변수화된다.
• Dᵣ의 경우 동치류는 H¹(K, Z/2Z)에 의해 매개변수화되며, 정규화자 작용은 매개변수를 η²로 곱함으로써 수정한다. 여기서 η는 원분 2r차 단위근이다.