Lifting banal representations of classical groups

이 논문은 국소 비아르키메데스 체 (local non-archimedean field) $F$ 위의 심플렉틱 군 (symplectic group) 또는 분할 직교 군 (split orthogonal group) $G$에 대한 $\ell$-banal 소수 (banal prime) 조건 하에서, $F_\ell$ 계수를 갖는 매끄러운 기약 표현 (smooth irreducible representation) 이 $\mathbb{Q}_\ell$ 계수로 리프트 (lift) 될 수 있음을 증명하는 것을 주된 목적으로 합니다. 또한, 이를 응용하여 심플렉틱 - 직교 쌍 (symplectic-orthogonal) 및 유니터리 쌍 (unitary dual pairs) 에 대한 모듈러 하우 쌍대성 (modular Howe-duality) 을 강한 banal 조건에서 증명합니다.

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

1. 문제 제기 (Problem Statement)

• 배경: 국소 비아르키메데스 체 위의 재대수군 (reductive group) $G(F)$의 표현론은 국소 랭글랜즈 프로그램 (Local Langlands program) 의 자동형 측면 (automorphic side) 의 핵심입니다. 일반선형군 ($GL_n$) 의 경우, Bernstein-Zelevinsky (복소수 계수) 와 Vignéras, Mínguez, Sécherre ($F_\ell$ 계수) 에 의해 표현 분류가 잘 정립되어 있습니다.
• 미해결 과제: 일반선형군과 달리, 고전군 (classical groups: 심플렉틱, 직교, 유니터리) 의 경우, 계수 체의 표수가 0 이 아닌 경우 ($F_\ell$ 계수) 의 표현 거동은 여전히 미스터리로 남아 있습니다.
• 핵심 질문: $F_\ell$ 위의 기약 표현 $\pi$가 존재할 때, 이를 $\mathbb{Q}_\ell$ 위의 기약 표현 $\tilde{\pi}$로 "리프트"할 수 있는가? 즉, $\tilde{\pi}$ 내의 $\mathbb{Z}_\ell$-격자 (lattice) 를 $F_\ell$로 축소했을 때 $\pi$가 나오는가?
• 조건: 이 논문은 소수 $\ell$가 $G$의 banal prime일 때를 다룹니다. $\ell$가 $G$의 환원군 (residue field $k$ 위의 점의 개수 $|G(k)|$) 을 나누지 않을 때 $\ell$를 banal prime 이라고 정의합니다. 이는 유한군 표현론에서 $\ell$가 군의 크기를 나누지 않을 때 ($\ell \nmid |W|$) $F_\ell$ 표현과 $\mathbb{C}$ 표현의 거동이 유사해지는 조건과 유사합니다.

2. 방법론 (Methodology)

저자는 $F_\ell$와 $\mathbb{Q}_\ell$ 표현을 재귀적으로 구성하고, 각 단계에서 $\ell$에 대한 축소 (reduction mod $\ell$) 가 예상대로 작동하는지 확인하는 전략을 사용합니다. 이를 위해 네 가지 주요 도구를 결합합니다.

1. 교차 연산자 (Intertwining Operators):

   • 임의의 대수적으로 닫힌 체 $R$ ($F_\ell$ 또는 $\mathbb{Q}_\ell$) 위에서 정의된 교차 연산자 이론을 활용합니다.
   • 파볼릭 유도 표현 (parabolically induced representations) 사이의 사상을 정의하며, 특히 Lemma 3.7을 통해 $\mathbb{Q}_\ell$ 표현의 정수 구조 (integral structure) 가 교차 연산자에 의해 보존되고, 그 축소가 $F_\ell$ 표현의 이미지와 일치함을 보입니다.
   • Banality의 역할: $\ell$가 banal 일 때, 특정 교차 연산자가 동형사상 (isomorphism) 이 되거나 특정 조건을 만족함을 보장하여 리프트의 존재성을 증명하는 데 결정적인 역할을 합니다.

2. 미분 (Derivatives):

   • 일반선형군과 고전군에 대한 미분 이론 (derivatives theory, [20], [23] 기반) 을 사용합니다.
   • $\rho$-reduced 표현 (특정 cuspidal 표현 $\rho$와 관련된 부분인자가 없는 표현) 을 정의하고, 임의의 표현을 $\rho$-reduced 표현과 $\rho$의 거듭제곱의 유도 표현으로 분해합니다.
   • 이를 통해 복잡한 표현을 더 단순한 구성 요소로 환원하여 리프트 문제를 해결합니다.

3. Arthur 형식의 표현 (Representations of Arthur type):

   • Arthur 의 분류 정리를 활용하여, 모든 tempered 표현이 특정 파볼릭 유도 표현의 부분 표현으로 나타날 수 있음을 이용합니다.
   • 특히, 자기-이중 (self-dual) cuspidal 표현 $\sigma$를 가진 Levi 부분군의 유도 표현 $\text{Ind}_P^G(\sigma)$의 구조를 분석함으로써, 리프트 문제를 이 특정 클래스로 축소합니다.

4. Progenerators (프로생성자):

   • Bernstein 의 관찰과 [19], [28] 의 결과를 활용합니다.
   • $\ell$가 banal 일 때, cuspidal 표현은 해당 블록 (block) 에서 사영적 (projective) 이라는 성질을 이용합니다.
   • 유도 표현의 엔드모피즘 대수 (endomorphism algebra) 가 특정 블록의 프로생성자 (progenerator) 로 작용함을 보여, 표현 범주의 구조를 명확히 하고 리프트의 유일성과 존재성을 확보합니다.

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

A. 리프트 정리 (Lifting Theorem)

• 주요 정리 (Theorem 1, Corollary 6.1, 6.3): $G$가 심플렉틱 군 또는 분할 직교 군이고 $\ell$가 $G$에 대한 banal 소수일 때, $G(F)$의 임의의 매끄러운 기약 $F_\ell$-표현 $\pi$는 $\mathbb{Q}_\ell$-표현 $\tilde{\pi}$로 리프트됩니다.
  • 이는 $\tilde{\pi}$가 정수 구조를 가지며, 이를 $F_\ell$로 축소하면 $\pi$와 동형이 됨을 의미합니다.
  • 또한, $\mathbb{Q}_\ell$ 위의 정수 표현의 축소 (mod $\ell$) 가 기약임을 증명합니다.
• 범위 확장: 이 결과는 일반선형군뿐만 아니라, 비분할 (non-split) 인 경우와 유니터리 군을 포함한 더 일반적인 고전군으로 확장됩니다.
• Banal 표현의 정의: 비분할 군의 경우, cuspidal support 가 banal 방식으로 리프트될 수 있는 표현을 "banal 표현"으로 정의하고, 모든 기약 표현이 $\ell$가 banal 일 때 이 조건을 만족함을 보입니다 (Lemma 2.7, Corollary 6.4).

B. 모듈러 하우 쌍대성 (Modular Howe Duality)

• 응용 (Section 7): 위 결과를 사용하여 심플렉틱 - 직교 쌍 및 유니터리 쌍에 대한 강한 banal (strongly banal) 조건에서의 모듈러 하우 쌍대성을 증명합니다.
• Hypothesis (H) 의 증명: [29] 에서 하우 쌍대성 증명의 핵심 장애물이었던 "특정 주계열 표현 (principal series representation) 의 기약성" 가설을 증명합니다.
  • Proposition 7.1: $\ell$가 strongly banal 일 때, Weil 표현의 Theta 리프트 $\Theta_{V, W+W^-}(\chi_W)$는 기약입니다.
  • 이는 Corollary 6.3 (리프트 정리) 과 MVW-involution 을 통해 증명됩니다.
• 결론 (Theorem 7.1): 강한 banal 소수 $\ell$에 대해, Theta 대응의 cosocle 이 기약이거나 0 이며, 비영 (non-zero) 인 경우 대응이 일대일 (injective) 임을 보입니다.

C. 새로운 증명 기법

• 기존 일반선형군의 리프트 결과 ([24]) 를 새로운 방법론 (교차 연산자와 미분의 재귀적 구성) 으로 재증명하며, 이 기법이 고전군으로 자연스럽게 확장됨을 보여줍니다.

4. 의의 및 중요성 (Significance)

1. 표현론의 완성: 고전군에 대한 $F_\ell$ 계수 표현론의 중요한 공백을 메웠습니다. $\ell$가 banal 일 때, $F_\ell$ 표현과 $\mathbb{Q}_\ell$ (및 $\mathbb{C}$) 표현 사이의 연결고리가 명확히 확립되었습니다.
2. Local Langlands Program: 비아르키메데스 체 위의 고전군에 대한 모듈러 Langlands 대응 연구의 기초를 다졌습니다. 특히, $\ell$가 표수 $p$와 다를 때 ($\ell \neq p$) 의 표현 거동을 이해하는 데 필수적인 단계입니다.
3. Theta Correspondence: 모듈러 Theta 대응 (modular theta correspondence) 에서 오랫동안 미해결이었던 하우 쌍대성 문제를 해결했습니다. 이는 수론적 응용 (예: 모듈러 형식과 자동형 표현의 연결) 에 중요한 영향을 미칩니다.
4. 방법론적 혁신: 교차 연산자의 정수 구조 보존 성질과 미분 이론을 결합한 재귀적 구성 방법은 향후 다른 군이나 계수 체에서의 표현론 연구에 강력한 도구가 될 것입니다.

요약

이 논문은 banal 소수 조건 하에서 고전군의 $F_\ell$ 표현이 $\mathbb{Q}_\ell$로 리프트될 수 있음을 증명하고, 이를 통해 모듈러 하우 쌍대성을 확립합니다. 이는 교차 연산자, 미분, Arthur 분류, 그리고 progenerator 이론을 정교하게 결합하여 달성되었으며, 국소 랭글랜즈 프로그램의 모듈러 측면 연구에 있어 중요한 이정표가 됩니다.