[논문 리뷰] Galois Cohomology of Real Groups

Jeffrey Adams|arXiv (Cornell University)|2013. 10. 29.

Advanced Algebra and Geometry참고 문헌 15인용 수 9

한 줄 요약

이 논문은 실수 재수축군의 갈루아 코hom로지 $ H^1_\theta(\bbZ_2, G) $와 갈루아 코호몰로지 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $ 사이의 표준적 등장사상( canonical isomorphism )을 수립하며, 카르탕의 역할에 의한 $ \theta $-코호몰로지와 고전적 실수 재수축군의 갈루아 코호몰로지 사이의 연결 고리를 제공한다. 주요 기여는 강한 실수 형식과 중심 불변량을 통한 $ H^1(\text{Gal}(\bbC/\bbR), G) $의 계산을 단순화하는 통합된 프레임워크를 제공하는 것이다. 특히, 고전적 및 예외적 군들에 대해 명시적인 계산을 수행하였다.

ABSTRACT

Real forms of a complex reductive group are classified in terms of Galois cohomology $H^1(Γ,G_{ad})$ where $G_{ad}$ is the adjoint group. Alternatively, the theory of the Cartan involution gives a description in terms of cohomology with respect to a holomorphic involution: $H^1(\mathbb Z/2\mathbb Z,G_{ad})$ where the non trivial element acts by a holomorphic involution $θ$. The main theorem is that in general, if $θ$ is the Cartan involution of a real form $σ$, there is a canonical isomorphism $H^1(Γ,G)\simeq H^1(\mathbb Z/2\mathbb Z,G)$. This has applications to the structure and representation theory of real groups. We give two such applications. The first is a simple proof of Matsuki's result on conjugacy classes of tori in real groups. The second is a computation of $H^1(Γ,G)$ in general. The answer is expressed in terms of the notion of strong real forms. We include tables for all simply connected simple groups.

연구 동기 및 목표

• 재수축군의 실수 형식에 대한 두 분류를 통합하기: 하나는 갈루아 코호몰로지 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $를 통한 것이고, 다른 하나는 카르탕의 역할 $ \theta $를 통한 것이다.
• 갈루아 코호몰로지 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $와 $ \theta $-코호몰로지 $ H^1_\theta(\bbZ_2, G) $ 사이의 표준적 등장사상 수립으로, 갈루아 코호몰로지와 역할 작용을 갖는 군 코호몰로지 간의 연결 고리를 제공한다.
• 모든 단순하고 단순연결이며 고도화된 재수축군에 대해 $ \bbR $ 위에서 $ H^1(\text{Gal}(\bbC/\bbR), G) $를 중심 불변량과 강한 실수 형식을 통해 계산한다.
• 강한 실수 형식을 고전적 갈루아 코호몰로지의 관점에서 해석함으로써, 국소 랑글랜드 추측의 정밀한 서술을 뒷받침한다.

제안 방법

• 재수축군 $ G $가 $ \bbR $ 위에 정의되어 있을 때, $ \tau $가 $ G(\bbC) $ 위에서 복소수 켤레로 작용하는 갈루아 코호몰로지 $ H^i_\tau(\text{Gal}(\bbC/\bbR), G) $를 정의한다.
• 카르탕의 역할 $ \theta $를 도입하며, 이는 $ G $의 헬름홀로지적 역할로, $ \tau $와 교환 가능하며, $ G(\bbR)^\theta $가 최대 컴acts부분군이 되도록 한다.
• $ \bbZ_2 $가 $ \theta $를 통해 $ G $에 작용하는 군 코호몰로지 $ H^i_\theta(\bbZ_2, G) $를 정의하고, $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) \to H^1_\theta(\bbZ_2, G) $ 사이의 표준적 등장사상 수립.
• 강한 실수 형식을 분류하기 위해 중심 불변량 $ \text{inv}(\sigma) \in Z^\Gamma / (1 + \sigma)Z $를 사용하고, $ H^1(\Gamma, G) $가 고정된 중심 불변량 $ z \in Z^\Gamma $를 갖는 강한 실수 형식과 전단사임을 보인다.
• 이 등장사상을 적용하여, 고전적 및 예외적 군들에 대해 $ |H^1(\Gamma, G)| $를 계산하고, 표와 소프트웨어(Atlas of Lie Groups)를 활용한다.
• 강한 실수 형식을 통해 $ \bbR $에서의 케니저 정리( Kneser's theorem )를 활용하며, 이는 단순연결된 $ G $에 대해 $ H^1(\Gamma, G) = 1 $임을 보여주고, 이를 등장사상으로 비자명한 경우로 확장한다.

실험 결과

연구 질문

• RQ1 갈루아 코호몰로지 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) $와 $ \theta $-왜곡된 군 코호몰로지 $ H^1_\theta(\bbZ_2, G) $ 사이에 표준적 등장사상이 존재하는가?
• RQ2 강한 실수 형식은 중심 불변량을 통해 갈루아 코호몰로지로 매개화될 수 있는가?
• RQ3 모든 단순하고 단순연결된 재수축군에 대해 $ \bbR $ 위에서 $ H^1(\text{Gal}(\bbC/\bbR), G) $의 크기는 얼마인가?
• RQ4 $ \theta $-코호몰로지 그림은 실수 형식의 고전적 $ \sigma $-코호몰로지 분류와 어떻게 관련되어 있는가?

주요 결과

• 표준적 등장사상 $ H^1_\tau(\text{Gal}(\bbC/\bbR), G) \simeq H^1_\theta(\bbZ_2, G) $가 존재하며, 이는 실수 형식의 두 코호몰로지 분류를 통합한다.
• $ SL(n,\bbR) $, $ GL(n,\bbR) $, $ Sp(2n,\bbR) $에 대해 $ |H^1(\Gamma, G)| = 1 $이며, 이는 내부 쌍대형식을 제외한 유일한 실수 형식을 의미한다.
• $ SU(p,q) $에 대해 $ |H^1(\Gamma, G)| = \lfloor p/2 \rfloor + \lfloor q/2 \rfloor + 1 $이며, 이는 질량 $ p+q $의 헤르미트 형식과 판별식 $ (-1)^q $에 대응한다.
• $ SL(n,\bbH) $에 대해 $ |H^1(\Gamma, G)| = 2 $이며, 이는 줄임표준형 사상 $ \mathbb{H}^* \to \mathbb{R}^* $의 상에 대응한다.
• $ SO(p,q) $에 대해 $ |H^1(\Gamma, G)| = \lfloor p/2 \rfloor + \lfloor q/2 \rfloor + 1 $이며, 이는 질량 $ p+q $의 실수 대칭 이차형식과 판별식 $ (-1)^q $를 매개한다.
• $ Spin(p,q) $에 대해 $ |H^1(\Gamma, G)| = \lfloor (p+q)/4 \rfloor + \delta(p,q) $이며, 여기서 $ \delta(p,q) $는 $ p,q \mod 4 $에 따라 $ \{0,1,2,3\} $의 값을 갖는다.