[논문 리뷰] Vertexwise criteria for admissibility of alcoves

Thomas J. Haines, Xuhua He|arXiv (Cornell University)|2014. 11. 20.

Geometric and Algebraic Topology참고 문헌 12인용 수 6

한 줄 요약

이 논문은 브라우트 순서와 웨일 군 작용을 통해 정의된 '둔각 콘'들의 교차로써, 확장된 애파인 웨일 군 내의 허용 알코브 집합 ${\rm Adm}(\mu)$의 새로운 정점 기반 특성화를 제안한다. 주요 결과로는 파파스-라포포르-스미스링의 정점 기반 허용성 추측을 증명하여 ${\rm Adm}(\mu)$가 정점 기반 조건에 의해 완전히 결정됨을 보이며, 코트비츠-라포포르 추측의 핵심 요소를 해결하는 더 강력한 파라호릭 등식을 확립한다.

ABSTRACT

We give a new description of the set $Adm(μ)$ of admissible alcoves as an intersection of certain "obtuse cones" of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.

연구 동기 및 목표

• 확장된 애파인 웨일 군 내의 허용 알코브 집합 ${\rm Adm}(\mu)$에 대한 새로운 정점 기반 기술 제공.
• 파파스-라포포르-스미스링의 정점 기반 허용성 추측을 증명하여, ${\rm Adm}(\mu)$가 정점 기반 조건에 의해 특성화됨을 보임.
• 더 강력한 파라호릭 등식 ${\rm Adm}^{st}(\mu) = {\rm Perm}^{st}(\mu) = {\rm Adm}(\mu)$를 확립하여, 코트비츠-라포포르 추측의 핵심 요소를 해결함.
• 정점에 관련된 국소 모델을 통해 체계적 닫힘과 일관성에 기반해 ${\rm Adm}(\mu)$가 복원 가능함을 보임.

제안 방법

• 기저 알코브에 대한 브라우트 순서를 이용해, 모든 충분히 정규적인 ${\bf b} \subset w\bar{\mathcal{C}}$에 대해 $x(\bar{\bf a}) \leq_{\bf b} t_{w\mu}(\bar{\bf a})$를 만족하는 알코브 $x$의 집합인 $B(t_{w\mu}(\bar{\bf a}), w)$를 정의함.
• 강력한 허용 집합 ${\rm Adm}^{st}(\mu) = \bigcap_{w \in W} B(t_{w\mu}(\bar{\bf a}), w)$를 도입하며, 이는 알코브들의 '둔각 콘'들의 교차로 표현됨.
• 파라호릭 형태의 허용 집합 ${\rm Adm}^J(\{\mu\}) = W_J {\rm Adm}(\{\mu\}) W_J$를 사용하여 정점 기반 조건을 임의의 피처에 일반화함.
• 모든 부분집합 $J \subseteq S_{\rm aff}$로 이루어진 집합 $\mathcal{J}$에 대해, $K = \bigcap_{J \in \mathcal{J}} J$일 때 ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$의 등식이 성립함을 증명하며, 이는 토션 없는 몫 $\widetilde{W}(G)^\flat$로의 환원을 통해 이루어짐.
• ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$의 등식이 성립함을 보이며, 이는 $\widetilde{W}(G)$에서 $x \leq y$이면 $\widetilde{W}(G)^\flat$에서 $x^\flat \leq y^\flat$임을 이용해, 문제를 단순화된 루트 자료 설정으로 환원함.

실험 결과

연구 질문

• RQ1 허용 집합 ${\rm Adm}(\mu)$는 전적으로 전역 브라우트 순서 고려 없이 정점 기반 조건으로 기술될 수 있는가?
• RQ2 ${\rm Adm}^{st}(\mu) = {\rm Perm}^{st}(\mu)$의 등식이 일반적으로 성립하여 정점 기반 허용성 추측을 증명할 수 있는가?
• RQ3 파라호릭 형태의 허용 집합이 강력한 교차 공식 ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$을 만족하는가, 여기서 $K = \bigcap J$인가?
• RQ4 체계적 닫힘에 기반한 국소 모델 $M^\text{loc}_K$는 자연스러운 사상 $\pi_{K,\{i\}}$에 의한 $M^\text{loc}_{\{i\}}$의 역상들의 교차와 일치하는가?
• RQ5 일관성 추측이 정점 기반 국소 모델들로부터 진정한 국소 모델을 복원하는 데에 충분한가?

주요 결과

• ${\rm Adm}(\mu)$는 기울은 콘을 통한 정점 기반 조건으로 정의되는 $\bigcap_{w \in W} B(t_{w\mu}(\bar{\bf a}), w)$와 동일하며, 이는 애파인 웨일 군 내에서의 정점 기반 특성화를 제공한다.
• 파파스-라포포르-스미스링의 정점 기반 허용성 추측이 증명됨: ${\rm Adm}(\mu)$는 정점 기반 조건에 의해 완전히 특성화됨.
• ${\rm Adm}^{st}(\mu) = {\rm Perm}^{st}(\mu)$의 등식이 성립하며, 이 둘은 모두 ${\rm Adm}(\mu)$와 동일함. 이는 코트비츠-라포포르 추측의 핵심 요소를 해결함.
• 모든 부분집합 $J \subseteq S_{\rm aff}$로 이루어진 집합 $\mathcal{J}$에 대해 $K = \bigcap J$일 때, 파라호릭 등식 ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$가 성립함을 증명하여 강력한 구조 정리가 됨.
• 진정한 국소 모델 $M^\text{loc}_K$는 체계적 닫힘 교차 $\bigcap_{i \in K} \pi^{-1}_{K,\{i\}}(M^\text{loc}_{\{i\}})$와 동일하며, 이는 피처에 대한 국소 모델이 정점 기반 모델들로부터 복원 가능함을 보여줌.