[논문 리뷰] Corrigendum: The base change fundamental lemma for central elements in parahoric Hecke algebras

Thomas J. Haines|ArXiv.org|2009. 10. 26.

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

한 줄 요약

이 수정문은 Haines(2009) 논문에서 파라호릭 히케 대수에서 군 스킴 $\tau_{{\bf a}_J}$에 대한 잘못된 식별을 수정하며, 브루하트-티스 이론에서 정의된 바와 같이 $\mathcal{G}_{{\bf a}_J}$가 전체 고정군 $\widehat{\mathcal{G}}_{{\bf a}_J}$의 적절한 부분군임을 명확히 한다. 주요 기여는 이러한 군 스킴의 정확한 식별과 기본 변화 기본 논리에서의 역할이며, 특히 $G$가 스플릿이고 $G_{\rm der} = G_{\rm sc}$ 또는 면이 특수 점을 포함할 경우 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$가 성립하는 조건을 규명한다.

ABSTRACT

This note corrects a minor misstatement in section 2 of the paper in the title (arXiv:0808.3426). It also addresses some related issues. The error does not affect the main results of that paper, but nevertheless this corrigendum seems necessary to avoid potential confusion.

연구 동기 및 목표

• Haines(2009) 논문에서 군 스킴 $\mathcal{G}_{{\bf a}_J}$를 전체 고정군 $\widehat{\mathcal{G}}_{{\bf a}_J}$의 부분군으로 잘못 식별한 점을 수정한다.
• 파라호릭 히케 대수와 기본 변화의 맥락에서 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$과 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$의 구별을 명확히 한다.
• 브루하트-티스(1972), 절 5.2.4에서 '모자' 기호가 잘못 사용된 인쇄 오류를 수정한다.
• 특히 $G$가 스플릿이고 $G_{\rm der} = G_{\rm sc}$이거나 면이 특수 점을 포함할 경우, $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$가 성립하는 충분한 조건을 규명한다.
• 수정된 표기법과 군 스킴 해석을 반영한 후, Haines(2009)의 주요 결과, 즉 정리 2.3.1, 추론 2.3.2, 그리고 보조정리 2.9.1의 타당성을 확인한다.

제안 방법

• 브루하트-티스(1972), 절 4.6.26에서 정의된 군 스킴을 $\mathcal{G}_{{\bf a}_J}$로 재해석하며, 전체 고정군 $\widehat{\mathcal{G}}_{{\bf a}_J}$가 아니라 이를 대체한다. 이는 4.6.26–28에서 정의된 바이다.
• Kottwitz 호모모르피즘을 사용하여 $G(L)_1$과 $G(L)^1$을 연결하고, $X^*(Z(\widehat{G})^\mathcal{I})$가 토크션 자유일 경우 $G(L)_1 = G(L)^1$임을 보인다.
• 확장된 애프린드 와일 군 $X_*(T) \rtimes W$의 구조를 적용하여 특수 점 $v$를 고정하는 원소들이 코루트 격자 $Q^\vee$에 속함을 보이고, 이로 인해 $G(L)_1$에 속함을 보장한다.
• 특히 $G$가 스플릿이고 $G_{\rm der} = G_{\rm sc}$일 경우, $G(L)_1 = G(L)^1$임을 보이고 [BT2]의 고정군 기술을 활용하여 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L) = \mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$임을 증명한다.
• ${\bf a}_J$의 폐포에 특수 점이 포함될 경우, 정규화군이 $G(L)_1$에 속함을 보이며, 코루트 격자 조건을 통해 고정군이 $G(L)_1$에 속함을 보이고, 이로써 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L) = \mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$임을 증명한다.
• 일반적으로 '비효율적'인 이와하리 부분군 $\widetilde{I}$, '진정한' 이와하리 부분군 $I = \mathcal{G}^\circ_{{\bf a}}(\mathcal{O}_F)$, 그리고 $\widehat{\mathcal{G}}_{{\bf a}}(\mathcal{O}_F)$를 비교하여 $I \subseteq \widehat{\mathcal{G}}_{{\bf a}}(\mathcal{O}_F) \subseteq \widetilde{I}$임을 보이고, 비분기 또는 특수 점 조건에서 등식이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 Haines(2009)에서 $\mathcal{G}_{{\bf a}_J}$의 군 스킴으로서 올바른 식별은 무엇이며, 전체 고정군 $\widehat{\mathcal{G}}_{{\bf a}_J}$와 어떻게 다를까?
• RQ2 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$가 일반적으로 성립하지 않는 이유는 무엇이며, 언제 성립하는가?
• RQ3 브루하트-티스([BT2]), 절 5.2.4에서 '모자' 기호가 잘못 사용된 인쇄 오류는 표시된 식의 타당성에 어떤 영향을 미치며, 어떤 수정이 정확성을 회복하는가?
• RQ4 $G$와 면 ${\bf a}_J$에 어떤 조건이 성립할 경우 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$과 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$이 일치하는가?
• RQ5 '진정한' 이와하리 부분군 $I$, '비효율적' 이와하리 $\widetilde{I}$, 그리고 $\widehat{\mathcal{G}}_{{\bf a}}(\mathcal{O}_F)$는 어떻게 관련되어 있으며, 언제 등식이 성립하는가?

주요 결과

• $\mathcal{G}_{{\bf a}_J}$는 Haines(2009)에서 $G(L)_1$ 내에서 ${\bf a}_J^{\rm ss}$의 고정군의 $\mathcal{O}_L$-점으로 해석되어야 하며, 전체 고정군 $\widehat{\mathcal{G}}_{{\bf a}_J}$가 아니라, 브루하트-티스 이론에 따라 정의된 바이다.
• $G$가 스플릿이고 $G_{\rm der} = G_{\rm sc}$일 경우 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L) = \widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$가 성립한다. 이는 $G(L)_1 = G(L)^1$이 성립하고 [BT2]의 고정군 기술을 활용하기 때문이다.
• 또한 ${\bf a}_J$의 폐포에 특수 점이 포함될 경우, 정규화군이 고정된 원소들이 코루트 격자 조건을 통해 $G(L)_1$에 속하므로 등식이 성립한다.
• 일반적으로 '비효율적' 이와하리 부분군 $\widetilde{I}$는 '진정한' 이와하리 부분군 $I = \mathcal{G}^\circ_{{\bf a}}(\mathcal{O}_F)$를 진하게 포함하지만, $G$가 $F$에 대해 비분기일 경우 두 군은 일치한다.
• 브루하트-티스([BT2]), 절 5.2.4에서 '모자' 기호가 잘못 사용된 인쇄 오류는 표시된 식을 무효화한다. '모자'를 제거함으로써 정확성이 복구되며, 이는 ${\rm PSp}(4)$의 반례로 확인된다.
• Haines(2009)의 보조정리 2.9.1의 증명은 $\mathcal{G}_{{\bf a}_J}(\mathcal{O}_L)$과 $\mathcal{G}_{{\bf a}^M_J}(\mathcal{O}_L)$을 각각 $\widehat{\mathcal{G}}_{{\bf a}_J}(\mathcal{O}_L)$과 $\widehat{\mathcal{G}}_{{\bf a}^M_J}(\mathcal{O}_L)$로 대체할 경우 여전히 타당하다.