Change of weights operations for triangulated $({\varphi},{\Gamma})$-modules

기술 요약: 삼각측량된 $(\varphi, \Gamma)$-모듈의 가중치 변화 연산

문제 정의
본 논문은 유한 확장 $\mathbb{Q}_p$ 위에서의 아핀로이드 대수 $A$와 로브링(Robba ring) $R_{K,A}$ 상의 계수 $n$인 $(\varphi, \Gamma_K)$-모듈에서 "가중치 변화(change of weights)" 연산의 존재성과 성질을 다룬다. Wu [Wu]가 일반적인 $(\varphi, \Gamma)$-모듈 패밀리에 대해 이러한 연산의 존재성을 확립했으나, 특히 삼각측량된(trianguline) 경우에서 이러한 연산의 구체적인 거동—특히 삼각측량(필트레이션)의 선택에 따른 의존성—은 미묘한 문제로 남아 있었다.

핵심적인 어려움은 가중치 이동 연산(pullbacks)이 일반적으로 모듈에 선택된 특정 삼각측량에 의존한다는 점이다. 예를 들어, 분할된(split) 모듈에서 가중치를 이동시키는 것은 어떤 계수(rank-1 subquotients)를 대상으로 하느냐에 따라 서로 다른 결과를 낳을 수 있다. 본 논문은 이러한 연산들이 삼각측량의 선택으로부터 독립적일 수 있는 조건을 식별하고, $p$-진 랑글랜즈 대응 관계 하에서 오토모픽 측의 번역 함자(translation functors)와 이들의 호환성을 확립하고자 한다.

방법론
저자는 스택 이론적 기하학, $(\varphi, \Gamma)$-모듈의 코호몰로지 분석, 그리고 변형 이론(deformation theory)의 조합을 활용한다:

1. 스택 이론적 정식화: 본 논문은 $n$차 $(\varphi, \Gamma_K)$-모듈을 매개변수화하는 Emerton-Gee 스택 $X_n$과 삼각측량된 모듈을 매개변수화하는 $X_B$를 활용한다. 저자는 Sen 가중치의 순서가 삼각측량의 선택에 관계없이 불변인 **가중치 균일 삼각측량 부스택(weight-uniform trianguline substacks, $X^{S\text{-}wu}_n$)**을 도입한다.
2. 풀백 연산 및 Sen 다항식: 저자는 "가중치 변화"를 캐릭터 트위스트 $t_\sigma$에 따른 풀백 연산 $p_{i,\sigma}$로 해석한다. Wu의 결과 [Wu, Prop. 3.16]를 사용하여, 모듈의 Sen 다항식 $P_{Sen}(T)$가 공약수적 인수분해(comaximal factorization) $Q(T)S(T)$를 갖는다면, 수정된 Sen 다항식 $Q(T-1)S(T)$를 갖는 유일한 $(\varphi, \Gamma)$-부분 모듈이 존재함을 입증한다.
3. 삼각측량 독립성: Sen 가중치들이 충분히 분리되어 있는(가중치 공간의 "벽(walls)"을 피하는) 부스택으로 제한함으로써, 저자는 유도된 풀백 맵들이 선택된 특정 삼각측량에 독립적임을 증명한다.
4. 변형 이론 및 Ding의 대응: 국소 아르틴 대수 $A \in \mathcal{C}_E$ 상의 $(\varphi, \Gamma)$-모듈의 변형을 분석한다. 저자는 비임계 크리스탈라벨린(non-critical crystabelline) 모듈과 연관된 국소 아날리틱 표현 $\pi_{min}(D)$ 및 $\pi_{fs}(D)$의 Ding의 구성 [Din25]을 활용한다. 저자는 $D$의 삼각측량된 변형과 이러한 표현들의 확장 사이의 대응 관계를 확립한다.

주요 기여 및 결과

• 정리 A (기하적 동형): 특정 Sen 가중치를 증가시키는 풀백 연산 $p_{i,\sigma}$는 가중치 균일 삼각측량 부스택 $X^{\sigma\text{-}wu, i}_n$으로 잘 정의된 사상(morphism)으로 내려온다. 구체적으로, 정수 튜플 $k$에 대하여, 맵
  $$p_k: X^{S\text{-}wu, I, k}_n \xrightarrow{\sim} X^{S\text{-}wu, I, -k}_n$$
  는 가중치 변화가 가중치의 정규성(regularity)을 보존하는 한 스택의 동형 사상이다. 이는 "가중치 변화"가 이러한 특정 로커스(loci) 내에서 삼각측량 선택에 독립적인 기하적 연산임을 확인해 준다.
• 정리 B (번역 함자와의 인터트위닝): 정규 Sen 가중치 $h$를 갖는 비임계 크리스탈라벨린 $(\varphi, \Gamma_K)$-모듈 $D$에 대하여, $h'$로 가중치를 이동시킨 모듈을 $p_k(D)$라 하자. $\pi_{\bullet}(D)$ ($\bullet \in \{min, fs\}$)를 $GL_n(K)$의 Ding의 연관된 국소 $\mathbb{Q}_p$-아날리틱 표현이라 할 때, 다음이 성립함을 증명한다:
  $$T^{\lambda'}_{\lambda}(\pi_{\bullet}(D)) \cong \pi_{\bullet}(p_k(D))$$
  여기서 $T^{\lambda'}_{\lambda}$는 "오토모픽 가중치" $\lambda = h - \theta$와 $\lambda' = h' - \theta$에 의해 결정되는 무한 소 캐릭터(infinitesimal characters) 사이의 표현 범주 간의 번역 함자이다.
• 코호몰로지 동형: 저자는 가중치 균일성 조건 하에서 풀백 연산이 Ext 그룹과 코호몰로지에 동형을 유도하여 삼각측량된 변형의 구조를 보존함을 보여줌으로써, Colmez의 점별(pointwise) 결과를 아핀로이드 계수로 일반화한다.

의의 및 주장
본 논문은 삼각측량된 설정에서 "가중치 변화" 연산에 대한 엄밀한 기하적 프레임워크를 제공하여, 삼각측량 의존성에 관한 모호함을 해결한다고 주장한다. 본 논문의 주요 의의는 정리 B에 있으며, 이는 갈로아 측의 연산( $(\varphi, \Gamma)$-모듈의 풀백)과 오토모픽 측의 연산(국소 아날리틱 표현 상의 번역 함자) 사이의 정확한 가환 관계를 확립한다.

이 결과는 JLS [JLS24]와 Ding [Dina]의 연구를 $GL_2(\mathbb{Q}_p)$에서 $GL_n(K)$의 비임계 크리스탈라벨린 모듈로 확장한다. 저자는 증명이 정규 가중치 사이의 번역 함자가 제공하는 범주의 동등성과 Ding의 표현의 특정한 구성 방식에 의존함을 명시적으로 밝힌다. 본 논문은 임계 가중치나 비-크리스탈라벨린 모듈에 대한 일반적인 경우를 해결하거나 새로운 실험적 응용을 제안하는 것이 아니라, 삼각측량 영역에서 $(\varphi, \Gamma)$-모듈의 변형 이론과 $p$-진 군의 표현 이론 사이의 이론적 연결을 공고히 하는 데 목적이 있다.