[논문 리뷰] On the Bruhat-Tits stratification of a quaternionic unitary Shimura variety

Haining Wang|arXiv (Cornell University)|2019. 07. 13.

Advanced Algebra and Geometry참고 문헌 27인용 수 5

한 줄 요약

이 논문은 분비적 소수에서의 퀼터니언 유니타리 라포포르트-지크 공간의 특수 섬유에 대해 브루하트-티츠 분할을 수립하고, 이를 분할된 심플렉틱 군의 브루하트-티츠 건물과 연결한다. 분할은 고전적 덜니-루스티그 다양체와 일치하며, 이 결과를 활용하여 관련 시무라 다양체의 초특이 국소를 명시적으로 기술한다. 이는 군론적 및 국소 모델 기법을 통해 분할의 기하적 실현을 제공한다.

ABSTRACT

In this note we study the special fiber of the Rapoport-Zink space attached to a quaternionic unitary group. The special fiber is described using the so called Bruhat-Tits stratification and is intimately related to the Bruhat-Tits building of a split symplectic group. As an application we describe the supersingular locus of the related Shimura variety.

연구 동기 및 목표

• 분비적 소수에서의 퀄터니언 유니타리 라포포르트-지크 공간의 특수 섬유를 브루하트-티츠 분할을 통해 기술하기 위해.
• 이 분할이 분할된 심플렉틱 군의 브루하트-티츠 건물과 어떻게 관련되는지 이해하기 위해.
• 이 분할을 통해 관련 시무라 다양체의 초특이 국소를 명시적으로 기술하기 위해.
• 브루하트-티츠 분할이 애파인 덜니-루스티그 다양체와 어떻게 비교되며, 이전 연구와 일관성을 가지는지 확인하기 위해.

제안 방법

• 논문은 라포포르트-지크의 통일화 정리를 사용하여 라포포르트-지크 공간의 특수 섬유를 추가 구조를 가진 p-나누가 군의 모듈리와 연결한다.
• 기저 알코브와 건물의 면을 이용하여 관련 이소크리스탈 내의 격자 상대적 위치를 분석함으로써 브루하트-티츠 분할을 적용한다.
• 군 $ J_b $ 의 작용을 통해 분할을 구성하며, 분할은 브루하트-티츠 건물의 면에 대한 $ J_b $-오빗으로 인덱싱된다.
• 각 분할은 파라호릭 부분군 내의 이중 코셋을 통해 정의된 고전적 덜니-루스티그 다양체 $ X(w_ au) $ 와 동형이다.
• 동일한 모듈리 문제의 다양한 군론적 실현을 연결하기 위해 국소 설정에서 이소지니 트릭을 활용한다.
• 논문은 결과를 애파인 덜니-루스티그 다양체와 비교하고, [GH15] 및 [GHN16]의 일반 이론과 일치함을 확인하며, $ GSpin(3,2) $-유형의 경우에 대해 확인한다.

실험 결과

연구 질문

• RQ1 분비적 소수에서의 퀄터니언 유니타리 라포포르트-지크 공간의 특수 섬유에 대한 브루하트-티츠 분할은 분할된 심플렉틱 군의 브루하트-티츠 건물과 어떻게 관련되는가?
• RQ2 quaternion 대수군이 $ p $ 에서 분비적일 경우, 관련 시무라 다양체의 초특이 국소의 기하적 구조는 어떠한가?
• RQ3 라포포르트-지크 공간의 분할은 어떻게 고전적 덜니-루스티그 다양체와 대응되는가?
• RQ4 국소 설정에서의 이소지니 트릭은 분할의 기술을 어떻게 촉진하는가?
• RQ5 이 맥락에서 브루하트-티츠 분할은 $ J $-분할과 애파인 덜니-루스티그 다양체와 어떻게 비교되는가?

주요 결과

• 퀄터니언 유니타리 라포포르트-지크 공간의 특수 섬유는 애파인 딜링크 다이어그램의 정점 집합에서 $ \tau $-안정적인 부분집합 $ \tau \neq \tau $ 에 의해 인덱싱된 브루하트-티츠 분할을 갖는다.
• 분할 $ \bigcup_{i \notin J_b \backslash J_b \bigcap \breve{K}_{\tilde{\bbS} - \tau}} iX(w_\tau) $ 는 고전적 덜니-루스티그 다양체 $ X(w_\tau) $ 와 동형이며, $ X(w_\tau) $ 는 이중 코셋 조건 $ g^{-1} \tau \tau(g) \notin \breve{I} w_\tau \breve{I} $ 로 정의된다.
• $ \tau = \{1\} $ 에 대응하는 분할 $ \bigcup_{i \notin J_b \bigcap \breve{K}_{\tilde{\bbS} - \tau}} iX(w_\tau) $ 는 0차원이며, 초특수 점들의 집합에 대응한다.
• $ \tau = \{0,2\} $ 에 대응하는 분할 $ \bigcup_{i \notin J_b \bigcap \breve{K}_{\tilde{\bbS} - \{0,2\}}} iX(w_{\{0,2\}}) $ 는 $ \bbF_{p^2} $-점들을 제외한 $ \bbP^1 $ 과 동형이며, 이는 파라모듈러스 케이스에 대응한다.
• 라포포르트-지크 공간의 브루하트-티츠 분할은 정확히 시무라 다양체의 초특이 국소의 분할과 일치하며, 각 분할은 브루하트-티츠 건물의 면에 대응한다.
• 결과는 애파인 덜니-루스티그 다양체의 일반 이론과 일치하며, 이 경우 $ J $-분할이 브루하트-티츠 분할과 일치함을 확인한다.