On dual groups of symmetric varieties and distinguished representations of $p$-adic groups

이 논문은 $p$-adic 체 위의 대칭 다양체 (symmetric variety) $X = H \backslash G$와 관련된 **이중 군 (dual group)**의 구성과 **구별된 표현 (distinguished representations)**의 성질을 연구한 수학적 논문입니다. 저자 Shuichiro Takeda 는 Sakellaridis-Venkatesh 와 Knop-Schalke 가 제안하고 증명한 일반적인 구형 다양체 (spherical variety) 이론을, 대칭 다양체라는 특수한 경우에 대해 더 개념적이고 직관적인 방법으로 재구성하고, 이를 바탕으로 구별된 표현에 대한 새로운 가설들을 제시합니다.

다음은 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

1. 문제 제기 (Problem Statement)

• 배경: $F$를 비아르키메데스 국소체 (0 특성) 라고 하고, $G$를 $F$ 위에서 분할된 (split) 연결 재규약성 군 (connected reductive group) 이며, $\theta$를 $G$ 위의 $F$-부동점 (involution) 이라고 합시다. $H$를 $\theta$의 고정점 부분군이라 하면 $X = H \backslash G$는 대칭 다양체가 됩니다.
• 구별된 표현: $G$의 기약 아디시블 표현 $\pi$가 $H$-구별된 (H-distinguished) 이라는 것은 $\text{Hom}_H(\pi, 1) \neq 0$인 것을 의미합니다. 즉, $\pi$ 위에 0 이 아닌 $H$-불변 선형 형식이 존재합니다.
• Langlands 매개변수와의 관계: Langlands 프로그램에 따르면, $\pi$의 국소 Langlands 매개변수 $\phi_\pi: W_F \to \hat{G}$는 $\hat{G}$의 어떤 더 작은 부분군을 통해 인수분해될 것으로 예상됩니다.
• 기존 연구의 한계: Sakellaridis-Venkatesh [SV17] 는 구형 다양체에 대해 $\hat{G}_X$라는 "이중 군"과 사상 $\hat{G}_X \times SL_2(\mathbb{C}) \to \hat{G}$를 제안했습니다. Knop-Schalke [KS17] 는 이를 조합론적 분류를 통해 완전히 증명했습니다. 그러나 그들의 접근법은 매우 기술적이고 복잡하여, 대칭 다양체와 같은 구체적인 경우에 대해 더 개념적인 이해를 제공하기 어렵다는 문제가 있었습니다.

2. 방법론 (Methodology)

저자는 대칭 다양체의 특수한 구조, 즉 부동점 (involution) $\theta$와 **근계 (root datum)**의 성질을 직접 활용하여 $\hat{G}_X$와 사상 $\hat{\phi}_X$를 구성합니다.

1. 근계의 분할:

   • $\theta$는 $G$의 근계 $\Phi$에 작용하며, 이를 통해 $\theta$-불변 근 ($\Phi_0$) 과 $\theta$-분할 근 ($\Phi \setminus \Phi_0$) 으로 나뉩니다.
   • 이에 대응하여 쌍대 군 $\hat{G}$의 쌍대 토러스 $\hat{T}$를 $\hat{T}^+ = \{t \in \hat{T} : \theta(t)=t\}^\circ$와 $\hat{T}^- = \{t \in \hat{T} : \theta(t)=t^{-1}\}^\circ$로 분할합니다.
   • 이를 통해 $\hat{G}$의 두 부분군 $\hat{G}^+$ ($\theta$-불변 근계로 생성) 와 $\hat{G}^-$ ($\theta$-분할 근계로 생성) 를 정의합니다.

2. 접기 (Folding) 기법의 적용:

   • Knop-Schalke 의 "접기 (folding)" 방법을 사용하여, $\theta$-분할 근계에서 짧은 근 (short roots) 을 제거한 축소된 근계를 기반으로 $\hat{G}^-$를 구성합니다.
   • 특히, $\theta$-분할 근계의 비축소성 (non-reducedness, type $BC_n$) 을 처리하기 위해 짧은 근을 제거하는 과정을 거칩니다.

3. 주요 $SL_2$ 사상의 교환성 증명:

   • $\hat{G}^+$의 주 $SL_2$ 사상 (principal $SL_2$-homomorphism) $\hat{\phi}_+: SL_2(\mathbb{C}) \to \hat{G}^+$를 정의합니다.
   • 핵심적인 기술적 난제는 $\hat{G}^-$와 $\hat{\phi}_+(SL_2(\mathbb{C}))$가 서로 **교환 (commute)**함을 보이는 것입니다.
   • 저자는 근의 유형 (Type 1, 2, 3) 을 분류하고, 특정 디킨 도표 (Dynkin diagram) 들을 제외함으로써 이 교환성이 성립함을 증명합니다.

4. 이중 군의 정의:

   • 최종적으로 $\hat{G}_X := \hat{G}^-$로 정의하고, 교환성을 이용하여 사상 $\hat{\phi}_X: \hat{G}_X \times SL_2(\mathbb{C}) \to \hat{G}$를 구성합니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

A. 개념적 구성 (Conceptual Construction)

• Knop-Schalke 의 복잡한 조합론적 분류 대신, 부동점 $\theta$와 근계의 대칭성만을 입력으로 사용하여 $\hat{\phi}_X$를 구성했습니다. 이는 대칭 다양체의 구조를 더 명확하게 드러냅니다.
• 특히, $\hat{G}^-$와 주 $SL_2$ 사상의 교환성을 증명하여 $\hat{G}_X \times SL_2(\mathbb{C})$가 $\hat{G}$로 자연스럽게 매핑됨을 보였습니다.

B. 가설 (Conjectures)

저자는 구성된 사상 $\hat{\phi}_X$를 통해 $H$-구별된 표현 $\pi$의 성질을 다음과 같이 예측하는 가설을 제시합니다.

• 가설 1 (I): $G$의 $H$-구별된 표현 $\pi$의 Langlands 매개변수 $\phi_\pi$는 $\hat{\phi}_X$를 통해 인수분해됩니다.
  • 즉, $\phi_\pi: W_F \to \hat{G}_X \times SL_2(\mathbb{C}) \xrightarrow{\hat{\phi}_X} \hat{G}$.
  • 여기서 $W_F \to SL_2(\mathbb{C})$는 노름의 제곱근을 통해 주어집니다.
• 가설 2 (II): (I) 가 성립한다고 가정할 때, $\pi$의 상대적 성질 (relatively cuspidal, square integrable, tempered) 은 $\hat{G}_X$ 내에서의 이미지와 $SL_2(\mathbb{C})$의 작용에 의해 결정됩니다.
  • 상대적 극소 (Relatively Cuspidal): $W_F \to \hat{G}_X$의 이미지가 $\hat{G}_X$의 적절한 Levi 부분군에 포함되지 않고, $SL_2(\mathbb{C})$ 성분이 자명할 때.
  • 상대적 제곱 적분 가능 (Relatively Square Integrable): $W_F \to \hat{G}_X$의 이미지가 $\hat{G}_X$의 적절한 Levi 부분군에 포함되지 않을 때.
  • 상대적 온 (Relatively Tempered): $W_F \to \hat{G}_X$의 이미지가 중심 modulo 로 유계일 때.

C. 주요 정리 (Theorem)

• 자명 표현 (Trivial Representation): $G$의 자명 표현 $1$은 모든 대칭 다양체$X$에 대해$H$-구별됩니다. 저자는 Theorem 8.2를 통해 자명 표현의 Langlands 매개변수 $\phi_1$이 항상 $\hat{\phi}_X$를 통해 인수분해됨을 증명했습니다. 이는 가설 (I) 의 일관성을 검증하는 중요한 결과입니다.

D. 예시 검증 (Examples)

논문 9 장에서는 다양한 구체적인 사례를 통해 가설들이 기존 결과와 일치함을 확인했습니다.

• Group Case ($G=H \times H$): Prasad 의 추측과 동치임을 보였습니다.
• Linear Period ($GL_{2n}$): $\hat{G}_X = Sp_{2n}$이며, 구별된 표현이 대칭적 (symplectic) 타입임을 확인했습니다.
• Symplectic Period ($Sp_{2n} \backslash GL_{2n}$): $\hat{G}_X = GL_n$이며, Kato-Takano 와 Smith 의 기존 결과 (상대적 극소성, 제곱 적분 가능성 등) 와 완벽하게 일치함을 보였습니다.
• Orthogonal Period: 자명 표현의 역방향 가설이 실패할 수 있는 경우 (중심 캐릭터 조건) 를 지적하고, 덮개 군 (covering groups) 의 이론을 도입해야 할 필요성을 언급했습니다.

4. 의의 (Significance)

1. 이론의 통합: Sakellaridis-Venkatesh 의 광범위한 구형 다양체 이론을 대칭 다양체라는 중요한 하위 클래스에 대해 더 간결하고 구조적인 언어로 재해석했습니다.
2. 구별된 표현의 분류: $p$-adic 군의 구별된 표현을 Langlands 매개변수의 기하학적 성질 (이미지가 속한 부분군, $SL_2$의 역할) 과 연결함으로써, 표현론적 성질 (cuspidality, square integrability) 을 Langlands 프로그램의 틀 안에서 체계적으로 이해할 수 있는 길을 열었습니다.
3. Kato-Takano-Lagier 이론과의 연결: Kato 와 Takano 가 개발한 상대적 극소성 및 제곱 적분 가능성에 대한 Casselman-type 기준을 Langlands 매개변수의 언어로 번역하는 데 성공했습니다.
4. 향후 연구의 방향: 역방향 가설 (Converse) 이 항상 성립하지는 않음을 보였으며 (특히 L-packet 내부의 표현들 간의 차이), 이를 수정하기 위해 L-packet 전체를 고려하거나 덮개 군 이론을 도입해야 함을 제안했습니다.

요약하자면, 이 논문은 대칭 다양체 위의 구별된 표현을 연구하는 데 있어 Langlands 이중 군의 구체적인 구성을 제공하고, 이를 통해 표현의 성질을 예측하는 강력한 도구와 가설을 제시한 중요한 연구입니다.