기술 요약: 다변수 주기 환 (Multivariate Period Rings)

1. 문제 정의

Fontaine이 발전시킨 고전적 $p$-아데닉 호지 이론(p-adic Hodge theory)은 주기 환(예: $B_{dR}, B_{HT}$)을 활용하여 $p$-아데닉 체 $K$의 연속 갈로아 표현을 분류한다. 핵심적인 결과는 $B$-가적(admissible) 표현들의 범주가 모든 표현의 범주의 탄나카 부범주(Tannakian subcategory)를 형성한다는 것이다.

본 논문은 이 프레임워크를 다변수 설정으로 확장하는 문제를 다룬다. $K_1, \dots, K_t$를 기저 체 $K_0$ 위의 $p$-아데닉 체라고 하자. $G_{K,\Delta} = G_{K_1} \times \dots \times G_{K_t}$를 이들의 절대 갈로아 군의 곱으로 정의한다. 목표는 다변수 주기 환 $B_\Delta$를 사용하여 $\text{Rep}_F(G_{K,\Delta})$의 범주를 연구하는 것이다.

식별된 주요 장애물은 고전적인 $(F, G)$-정규 환(Fontaine의 작업에 따른)의 정의가 근저에 있는 환이 정역(integral domain)임을 전제로 한다는 점이다. 다변수 설정에서, 완비된 퍼펙토이드 체들의 완성 텐서 곱을 통해 구성되는 자연스러운 주기 환의 후보는 정역이 아니다. 구체적으로, $C_\Delta$ ( $\mathbb{C}_p$의 다변수 유사체)는 표준 $p$-아데닉 완비를 통해 구성할 경우 무한한 크룰 차원(Krull dimension)을 갖거나, 특정 세미 노름 완비를 통해 구성할 경우 0의 크룰 차원을 갖게 되지만, 두 경우 모두 정역이 아니다. 결과적으로, 고전적인 정의를 다변수 표현의 탄나카 구조를 확립하는 데 직접 적용할 수 없다.

2. 방법론

저자는 정역의 범주에서 벗어나 **폰 노이만 정규 환(von Neumann regular (VNR) rings)**의 성질을 활용하는 새로운 접근 방식을 제안한다.

2.1. 기저 환 $C_\Delta$의 구성

논문은 다변수 퍼펙토이드 체 $C_\Delta$를 특정 세미 노름 $|x|_\Delta$에 대한 텐서 곱 $\mathbb{C} \hat{\otimes}_{K_0} \dots \hat{\otimes}_{K_0} \mathbb{C}$의 완비로 정의한다.

• 핵심 성질: [BCM24]와 같은 이전 연구들에서 사용된 $p$-아데닉 완비와 달리, 이 세미 노름 완비는 $C_\Delta$가 **차원이 0인 축약된 환(reduced ring)**이 되도록 보장하며, 이는 VNR 환임을 의미한다.
• 구조: $C_\Delta$의 소 아이디얼 스펙트럼은 임베딩 가족 $S$와 일대일 대응한다. 모든 소 아이디얼은 극대 아이디얼이며, 소 아이디얼에서의 국소화는 체(field)가 된다.

2.2. 다변수 주기 환의 정의

저자는 VNR 문맥에 적합하도록 조정된 Fontaine의 주기 환($A_{inf}, B_{dR}, B_{HT}$)의 다변수 유사체들을 구성한다.

• $A_{inf, \Delta}$: $W(O_{C, \Delta}^\flat)$인 윗 위터 벡터(Witt vectors)로 정의된다. $\theta_\Delta$ 사상의 커널은 단일 원소 $\xi$에 의해 생성되는 주 아이디얼(principal ideal)임이 증명되며, 이는 여러 생성기를 필요로 했던 이전의 구성들과 차이가 있다.
• $B_{dR, \Delta}$: 극대 아이디얼 가족 $\{\ker \Phi_s\}_{s \in S}$에 대한 **프로파인이트 완비(profinite completion)**로서 프리-드 람(pre-de Rham) 환 $B_{dR, \Delta}^{(p)}$의 완비로 구성된다. 이 구성은 $B_{dR, \Delta}$가 VNR 환으로 남도록 보장한다.
• $B_{HT, \Delta}$: 로랑 급수(Laurent series)의 프로파인이트 완비 내부에서 프리-호지-테이트(pre-Hodge-Tate) 환의 폐쇄(closure)로 정의된다. 본 논문은 $C_\Delta((t_\Delta))$를 직접 사용하는 것을 피하는데, 이는 $|\Delta| > 1$일 때 크룰 차원이 무한하고 잘 정의되지 않기 때문이다. 대신, VNR 환을 보장하기 위해 프로파인이트 완비인 $C_{HT, \Delta}$를 사용한다.

2.3. 정규성 및 가적성

저자는 $(F, G_{K,\Delta})_\Delta$-정규 환이라는 개념을 도입한다. 환 $B$가 정규하다는 것은 다음을 만족함을 의미한다:

1. 그 전체 분수 환(total ring of fractions) $C$가 VNR이다.
2. $B$는 고정 체 $E = B^{G_{K,\Delta}}$ 상에서 충실 평탄(faithfully flat)하다.
3. 영인자(non-zero divisor)와 갈로아 작용에 관한 특정 조건이 성립한다.

이 정의를 사용하여, 저자는 $B$-가적 표현들의 범주가 탄나카 부범주를 형성함을 증명한다.

3. 주요 기여 및 결과

3.1. 다변수 주기 환의 구조적 성질

• VNR 구조: 본 논문은 구성된 다변수 주기 환($B_{dR, \Delta}$ 및 $B_{HT, \Delta}$)이 폰 노이만 정규 환임을 확립한다. 이는 일반적인 환이나 정역에서는 사용할 수 없는 VNR 환 상의 투영 모듈(projective modules)에 대한 하강 이론(descent theory)을 사용할 수 있게 한다.
• 스펙트럼 대응: 임베딩 가족 $S$와 주기 환의 극대 스펙트럼(및 소 스펙트럼) 사이에는 일대일 대응 관계가 존재한다.
• 여과(Filtration): 이 환들은 생성자 $\xi$의 거듭제곱에 의해 정의되는 고전적 사례와 유사한 자연스러운 여과를 갖는다. $B_{dR, \Delta}$의 결합 연관 그래디드 환(associated graded ring)은 $B_{HT, \Delta}$와 동형임이 밝혀졌다.

3.2. 표현의 분류

• 탄나카 부범주: 주요 정리(Theorem 5.12)는 $B$가 $(F, G_{K,\Delta})_\Delta$-정규하면, $B$-가적 표현들의 범주 $\text{Rep}_F^B(G_{K,\Delta})$가 $\text{Rep}_F(G_{K,\Delta})$의 탄나카 부범주임을 증명한다.
• 가적성 기준: 표현 $V$가 $B$-가적할 필요충분조건은 불변 모듈 $D_B(V) = (B \otimes_F V)^{G_{K,\Delta}}$가 $\dim_F V$의 계수를 갖는 자유 모듈인 것이다.
• 특정 환의 정규성: 본 논문은 $B_{HT, \Delta}$와 $B_{dR, \Delta}$가 모두 $(F, G_{K,\Delta})_\Delta$-정규성 조건을 만족함을 증명한다.

3.3. 이전 연구와의 비교

• 구성된 환들은 [BCM24]와 다르다. 저자는 [BCM24]의 환들이 탄나카 분류에 필요한 $(F, G_{K,\Delta})_\Delta$-정규성 조건을 만족하지 못하는 반면, 본 논문의 재구성된 환들은 이를 만족한다고 언급한다.
• $\theta_\Delta$ 사상의 커널은 주 생성원(단일 원소)에 의해 생성되는데, 이는 $t$개의 원소로 생성되었던 [BCM24]와 대조적이다.

3.4. Ax-Sen-Tate 정리

본 논문은 다변수 버전의 Ax-Sen-Tate 정리(Proposition 6.2)를 증명하여, 비틀린 주기 환 $C_\Delta(i)$의 $G_{K,\Delta}$에 의한 불변량이 $i \neq 0$일 때는 0이고, $i=0$일 때는 기저 체들의 완성 텐서 곱과 같음을 확립한다.

4. 의의 및 주장

본 논문은 폰 노이만 정규 환의 프레임워크를 활용함으로써 다변수 주기 환에 대해 더 일관된 접근 방식을 제공한다고 주장한다.

• 정역 문제의 해결: 정역의 요구 조건을 포기하고 VNR 환을 수용함으로써, 저자는 고전적 정의의 직접 적용을 가로막았던 구조적 문제(무한한 크룰 차원, 정역 성질의 결여)를 극복한다.
• 탄나카 프레임워크: 주요 의의는 다변수 표현에 대한 탄나카 구조를 성공적으로 확립했다는 점에 있다. 이는 "가적성(admissible)" 성질을 통해 표현을 분류할 수 있게 하며, 고전적 $p$-아데닉 호지 이론의 성공을 미러링한다.
• 자연스러운 일반화: 이 구성은 고전적 이론으로 환원되는($|\Delta|=1$일 때) 직접적인 일반화 역할을 하며, 조건부적이었던 보조 명제(예: [BCM24]의 Proposition 4.3)에 의존하지 않는다.

저자는 결정적(crystalline) 주기 환 또한 유사하게 구성될 수 있으나, 증명이 주로 고전적 표기법의 적응이며 여기서는 상세히 다루지 않는다고 겸허히 밝힌다. 초점은 다변수 문맥 내에서 기초적인 드 람(de Rham) 및 호지-테이트(Hodge-Tate) 프레임워크를 확립하는 데 맞춰져 있다.