[논문 리뷰] An analogue of the Cartan decomposition for p-adic reductive symmetric spaces

Patrick Delorme, Vincent Sécherre|ArXiv.org|2006. 12. 19.

Advanced Algebra and Geometry참고 문헌 16인용 수 11

한 줄 요약

이 논문은 비아르키메데스 현수체 $k$ 에 대한 재수성 군 $\mathrm{G}$ 와 $\sigma$ 를 고정하는 군의 열린 부분군인 $\mathrm{H}$ 에 대해, $p$-진 재수성 대칭 공간 $\mathrm{H}_k\backslash\mathrm{G}_k$ 에 대한 카르탕 분해의 유사체를 수립한다. 분해는 $\mathrm{H}_k$-동치류로 표현되는 최대의 $\sigma$-반대-불변 $k$-분해 가능 토르스에 의해 매개화되며, $\mathrm{G}$ 가 $k$-분해 가능일 경우 브라하트-티츠 빌딩의 특수 점의 안정화군을 이용한 보완된 형태를 포함한다.

ABSTRACT

Let F be a non Archimedean locally compact field of residue characteristic different from 2, let G be a connected reductive group defined over F, let s be an involutive F-automorphism of G and H an open F-subgroup of the fixed points group of s. We denote by G(F) (resp. H(F)) the group of F-points of G (resp. H). In this paper, we obtain an analogue of the Cartan decomposition for the reductive symmetric space G(F)/H(F). More precisely, we obtain a decomposition of G(F) as a union of H(F)-cosets which is related to the H(F)-conjugacy classes of maximal s-anti-invariant F-split tori in G. When G is F-split, we get a more precise result, involving the stabilizer of a special point of the Bruhat-Tits building of G over F.

연구 동기 및 목표

• 기존의 카르탕 분해를 $p$-진 재수성 대칭 공간 $\mathrm{H}_k\backslash\mathrm{G}_k$ 의 맥락으로 확장한다.
• 재수성 군의 $\sigma$-반대-불변 토르스의 구조를 반영하는 $\mathrm{H}_k$-여러분류의 형태로 $\mathrm{G}_k$ 의 기하적 분해를 제공한다.
• $\mathrm{G}$ 가 $k$-분해 가능일 경우, $\mathrm{G}$ 의 브라하트-티츠 빌딩에서의 특수 점의 안정화군을 이용하여 분해를 보완한다.
• $\mathrm{H}_k$-동치류로 표현되는 $\sigma$-포라보릭 부분군과 최대의 $\sigma$-반대-불변 토르스에 관련된 웨일 군 간의 관계를 규명한다.

제안 방법

• $\mathrm{G}$ 에서의 최대의 $\sigma$-반대-불변 $k$-분해 가능 토르스의 $\mathrm{H}_k$-동치류를 이용해 분해를 매개화한다.
• 각 대표 토르스 $\mathrm{A}^j$ 에 대해 웨일 군 $\mathrm{W}_{\mathrm{G}_k}(\mathrm{A}^j)$ 와 그의 $\mathrm{H}_k$-부분군인 $\mathrm{W}_{\mathrm{H}_k}(\mathrm{A}^j)$ 를 활용한다.
• $\mathrm{W}_{\mathrm{H}_k}(\mathrm{A}^j)\backslash\mathrm{W}_{\mathrm{G}_k}(\mathrm{A}^j)$ 의 이중여러분류를 위한 대표원 $\mathscr{N}_j$ 를 구성한다.
• $\mathrm{G}_k$ 가 특수 점에 작용하는 브라하트-티츠 빌딩의 구조를 활용하여 $k$-분해 가능일 경우 분해를 보완한다.
• 비분해 가능 예제에서 $\mathrm{H}^1(\mathrm{N}_k)$ 를 분석하고 이중여러분류와 관련지어 공호모로지 기법을 적용한다.
• $\mathrm{GL}_n$ 의 경우 명시적인 행렬 구성(예: $u_i$)을 사용하여 코호모로지의 자명성을 검증하고 코호모로지 족을 실현한다.

실험 결과

연구 질문

• RQ1 기존의 카르탕 분해는 어떻게 $p$-진 재수성 대칭 공간으로 일반화될 수 있는가?
• RQ2 $\mathrm{H}_k$-동치류로 표현되는 최대의 $\sigma$-반대-불변 $k$-분해 가능 토르스는 $\mathrm{G}_k$ 의 분해를 매개화하는 데 어떤 역할을 하는가?
• RQ3 $\mathrm{G}$ 가 $k$-분해 가능일 경우, 브라하트-티츠 빌딩을 이용하여 분해를 더 정밀하게 만들 수 있는가?
• RQ4 $\mathrm{G}_k$ 의 이중여러분류의 구조와 포라보릭 부분군의 코호모로지 사이의 관계는 무엇인가?
• RQ5 비분해 가능성의 경우 분해가 실패할 수 있으며, 그 경우의 기하적 조건은 무엇인가?

주요 결과

• $\mathrm{G}_k$ 는 $\mathrm{G}$ 에서의 최대의 $\sigma$-반대-불변 $k$-분해 가능 토르스의 $\mathrm{H}_k$-동치류에 의해 인덱스화된 유한한 $\mathrm{H}_k$-여러분류의 합집합으로 분해된다.
• 각 토르스 $\mathrm{A}^j$ 에 대해 이중여러분류 공간 $\mathrm{W}_{\mathrm{H}_k}(\mathrm{A}^j)\backslash\mathrm{W}_{\mathrm{G}_k}(\mathrm{A}^j)$ 는 분해 내의 $\mathrm{H}_k$-궤도를 매개화한다.
• $\mathrm{G}$ 가 $k$-분해 가능일 경우, $\mathrm{G}$ 의 브라하트-티츠 빌딩에서의 특수 점의 안정화군을 이용하여 분해가 보완된다.
• $\mathrm{GL}_n$ 의 경우, 이중체 확장에 대해 $\mathrm{G}_k = \bigcup_{i=0}^{[n/2]} \mathrm{H}_k u_i \mathrm{Z}_k \mathrm{K}$ 로 주어지며, 여기서 $u_i$ 는 $\sigma$-코호모로지 족 $\tau_i$ 를 실현한다.
• $\mathrm{H}^1(\mathrm{N}_k)$ 는 $({\rm H}_k,\mathrm{N}_k)$-이중여러분류를 분류하며, 모든 코호모로지 족이 자명한 족과 코호모로지 동치이므로 분해의 구조가 확인된다.
• 반례를 통해 특수 점이 $\sigma$-불변이 아닐 경우, 예를 들어 $k'$ 가 $k$ 에 대해 완전히 분리된 이중체일 때 $\mathrm{G} = \mathrm{Res}_{k'/k}\mathrm{GL}_2$ 이면 분해가 실패함을 보였다.