모드 p 표현의 새로운 범주, 작은 부분군으로 완전 판별

초록

p > 3, f ≥ 1인 경우 GL₂(ℚ_{p^f})와 그 사원수 대수의 단위군에 대한 매끄러운 가법 모드 p 표현들의 특정 전완 부류 𝒞를 정의한다. 저자는 𝒞에 속하는지 여부가 임의로 작은 열린 부분군에 대한 제한만으로 완전히 결정된다는 정리를 증명한다.

상세 분석

본 논문은 p > 3, f ≥ 1인 경우에 대해 두 종류의 p‑adic Lie 군 G — GL₂(K)의 상삼각 프로‑피와wahori 부분군 I₁을 중심 Z₁으로 나눈 군, 그리고 K 위의 사원수 대수 D의 단위군 U₁을 중심 Z₁으로 나눈 군—에 대한 매끄러운 가법 모드 p 표현들을 연구한다. 기존 연구(Breuil‑Herzig‑Hu‑Morra‑Schraen, Hu‑Wang)에서 도입된 전완 부류 𝒞는, 표현 π의 이중(dual) π^∨를 완비 군링 F⟦G⟧‑모듈로 보고, 그에 대한 m_G‑adic 필터링을 통해 얻어지는 연관된 그레이드 대수 gr F⟦G⟧와 그레이드 모듈 gr π^∨가 특정 양의 거듭제곱 J_𝒞 에 의해 소멸되는지를 기준으로 정의된다. 여기서 J_𝒞는 GL₂‑case에서는 I_G, quaternion case에서는 I_D라 불리는 양변이념이며, 이들의 구체적 형태는 논문에 상세히 제시되지 않더라도, gr F⟦G⟧/J_𝒞가 교환 대수임만은 충분히 사용된다.

핵심 아이디어는 π|H (임의의 열린 부분군 H)의 제한 정보를 이용해 π^∨ 의 m_G‑adic 필터링을 재구성하고, 이를 통해 gr π^∨ 와 동일한 소멸 조건을 갖는 새로운 그레이드 모듈 gr_N, res π^∨ 을 정의하는 것이다. 이를 위해 저자는 G에 대한 포화된 p‑valuation ω를 구축하고, G가 차원 3f 인 프로‑p 군임을 이용해 정렬된 기저(g₁,…,g{3f})를 선택한다. 이 기저를 통해 완비 군링 F⟦G⟧는 다항식 대수 F⟦X₁,…,X_{3f}⟧와 동형이며, valuation ν 을 정의해 m_G‑adic 필터링을 명시적으로 기술한다. 특히, G_{p^N} = {g^{p^N} | g∈G}는 ω의 포화성에 의해 열린 정상 부분군이며, 이들의 완비 군링 F⟦G_{p^N}⟧는 F⟦G⟧의 자연스러운 하위 대수이다.

그 후, gr F⟦G_{p^N}⟧는 p^N‑그레이드 구조를 가지며, 이는 gr F⟦G⟧/J_𝒞가 교환 대수라는 사실과 결합해, J_𝒞 의 p^N‑거듭제곱 J_N이 역시 교환이며, gr_N, res π^∨ 에 의해 완전히 포착될 수 있음을 보인다. 핵심 보조정리인 Lemma 1은 F⟦G⟧‑모듈 M이 𝒞에 속함 ⇔ gr M가 J_N 의 거듭제곱에 의해 소멸한다는 동치성을 확립한다. 이를 통해, π와 π′가 동일한 중앙 문자와 동일한 H‑제한을 가질 때, π′∈𝒞이면 π도 𝒞에 속한다는 메인 정리(Theorem 1)를 증명한다.

이 정리는 𝒞가 “지역적”이라는 중요한 성질을 부여한다. 즉, 전역적인 구조를 알 필요 없이 충분히 작은 열린 부분군에 대한 제한만으로 𝒞에 속하는지를 판정할 수 있다. 이는 모드 p Langlands 프로그램에서 GL₂(K)와 D^×에 대한 후보 표현들을 구분하는 데 실용적인 도구가 된다. 또한, 저자는 J_𝒞의 구체적 형태에 의존하지 않고, 단지 gr F⟦G⟧/J_𝒞가 교환 대수라는 조건만으로 정리를 일반화할 수 있음을 강조한다. 이는 향후 다른 이상적인 J′에 대해서도 동일한 “부분군 판별” 성질이 적용될 가능성을 열어준다.

전체적으로, 논문은 고전적인 p‑adic Lie 군 이론(정렬된 기저, p‑valuation, 완비 군링)과 현대의 모드 p 표현 이론을 결합해, 복잡한 전완 부류 𝒞를 보다 직관적이고 계산 가능한 형태로 재해석한다. 이는 향후 모드 p Langlands 대응을 구체화하거나, 𝒞 내부 구조(예: Gelfand‑Kirillov 차원 ≤ f와의 관계)를 탐구하는 연구에 중요한 기술적 토대를 제공한다.