Regulators in the Arithmetic of Function Fields

문제 제로 (Problem Statement)

본 논문은 수체(number fields)의 산술에서 알려진 베일린슨 추측(Beilinson's conjectures)의 유사물을 확립하는 것을 목표로, 함수체(function fields) 상의 안데르손 $A$-모티브(Anderson $A$-motives)에 대한 레귤레이터 이론(regulator theory)의 발전을 다룬다. 구체적으로, 저자는 강체 해석적으로 자명한(rigid analytically trivial) 안데르손 $A$-모티브를 위한 레귤레이터 사상(regulator morphism)을 정의하고, 이와 관련된 모티브 코호몰로지 군(motivic cohomology groups)의 유한성 및 계수(rank) 성질을 조사하고자 한다.

수체라는 고전적인 설정에서, 베일린슨 추측은 혼합 모티브(mixed motives, 구체적으로 $\text{Ext}^1_{\mathbb{Z}}(1, M)$)의 확장 군의 차원을 호지 실현 공간(Hodge realization spaces)으로의 레귤레이터 사상을 통해 $L$-함수의 특수값과 연결한다. 함수체 설정에서는, 저자의 이전 연구([Gaz22])가 $A$-모티브 코호몰로지 연구를 시작했으나 장애물에 부딪혔다. 즉, 자연스러운 확장 모듈인 $\text{Ext}^1_{A}(1, M)$이 일반적으로 유한 생성(finitely generated)되지 않는다는 점이다. 이러한 실패는 두 가지 원인에서 기인한다: 호지 여과(Hodge filtration)를 취하는 과정의 비정확성(non-exactness)과 무한대(infinity)에서의 절대 갈로아 군 $G_\infty$의 무한한 성질이다. 본 논문은 "해석적 감소(analytic reduction)"를 갖는 정교화된 확장 모듈을 정의하고, 이에 대응하는 호지-핑크 구조(Hodge-Pink structures)로의 레귤레이터를 구성함으로써 이 문제들을 해결하고자 한다.

방법론 (Methodology)

저자는 강체 해석적 기하학(rigid analytic geometry), 갈로아 코호몰로지(Galois cohomology), 그리고 슈투카 모델(shtuka models) 이론을 종합하여 활용한다. 방법론은 다음과 같은 몇 가지 핵심 단계로 진행된다:

1. 강체 해석적으로 자명한 $A$-모티브와 베티 실현(Betti Realization): 연구는 강체 해석적으로 자명한 $A$-모티브($\text{AMot}^{\text{rat}}_K$) 부분 범주로 제한된다. 이러한 모티브의 경우, 베티 실현 함자(functor) $M \mapsto M_B$는 정확하다(exact). 저자는 $M_B$가 프로파인 갈로아 군 $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$의 자연스러운 연속 작용을 가짐을 입증한다.
2. 해석적 감소와 조절된 확장(Regulated Extensions): 유한 생성성의 결여를 해결하기 위해, 저자는 확장의 "무한대에서의 해석적 감소"를 정의한다. 확장이 해석적 감소를 갖는다는 것은 그것이 $G_\infty$의 표현으로서 분리(split)됨을 의미한다. 이는 조절된 확장들로부터 갈로아 코호몰로지 $H^1(G_\infty, M_B)$로 가는 사상의 커널인 모듈 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M)의 정의로 이어진다.
3. 무한 프로베니(Infinite Frobenii)를 갖는 호지-핑크 구조: 본 논문은 호지-핑크 격자(Hodge-Pink lattice)와 호환되는 $G_\infty$의 연속 표현인 "무한 프로베니"를 도입함으로써 핑크(Pink)의 호지-핑크 구조 이론을 확장한다. 이를 통해 $\text{AMot}^{\text{rat}}_K$에서 무한 프로베니를 갖는 호지-핑크 구조의 범주($\text{HdgPk}^+$)로 가는 호지-핑크 실현 함자 $H^+$를 구성할 수 있다.
4. 슈투카 모델(Shtuka Models): 핵심적인 기술적 도구는 $A$-모티브를 슈투카 모델과 연관시키는 것이다.
   • $C$-슈투카 모델: 곡면 $(\text{Spec } A) \times C$ 상의 임의의 $A$-모티브에 대응된다.
   • $C \times C$-슈투카 모델: $C \times C$ 상의 음의 가중치(negative weights)를 갖는 $A$-모티브에 대응된다.
     저자는 모티브 코호몰로지를 계산하는 복합체($G_M$)가 이러한 슈투카 모델들의 코히어런트 코호몰로지(coherent cohomology)와 준동형(quasi-isomorphic)임을 증명한다. 이 연결을 통해 그로텐디크의 형식 함수 정리(Grothendieck's theorem on formal functions)와 프로퍼 스킴(proper schemes) 상에서의 코히어런트 코호몰로지의 유한성을 사용하여 유한성 결과를 도출할 수 있다.
5. 레귤레이터 구성: 호지-핑크 실현 함자의 정확성은 $A$-모티브의 조절되고 해석적으로 감소된 확장들의 모듈로부터 호지-가산적(Hodge-additive)이고 해석적으로 감소된 호지-핑크 구조들의 확장 공간으로의 사상(레귤레이터)을 유도한다.

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

본 논문은 $A$-모티브 코호몰로지의 구조와 레귤레이터의 성질에 관한 두 가지 주요 정리를 확립한다:

1. 유한성 정리 (Theorem 6.1):

   • $A$-모듈 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) (정수적, 조절된 확장 및 해석적 감소를 갖는 확장)과 클래스 모듈 $\text{Cl}(M)$ (해석적 감소 사상의 코커넬)은 유한 생성된다.
   • 만약 $M$의 가중치가 모두 음수라면, 클래스 모듈 $\text{Cl}(M)$은 유한하다.
   • 이 결과는 $\text{Ext}^1_{\mathbb{Z}}(1, M)$이 수체 설정에서 유한 차원일 것이라는 기대에 대한 함수체 상의 유사물 역할을 한다.

2. 계수 일치 정리 (Theorem 6.2):

   • $M$의 가중치가 모두 음수라고 가정할 때, $A$-모듈로서의 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M)의 계수는 $K_\infty$-벡터 공간으로서의 타겟 공간 \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M))의 차원과 같다.
   • 이 차원은 $M$의 양의 호지-핑크 가중치에 의해 명시적으로 계산 가능하다.

3. 전체 계수(Full Rank)의 실패:

   • 레귤레이터가 조밀하거나(dense) 전체 계수를 가질 것으로 기대되는 수체의 추측적 그림과는 대조적으로, 저자는 호지-핑크 레귤레이터 $\text{Reg}(M)$의 상(image)이 그 타겟 내에서 전체 계수를 갖지 못할 수 있음을 보여준다.
   • 이러한 실패는 $p$차 칼리츠 트위스트(Carlitz twist)와 같은 단순한 사례에서도 관찰된다. 결과적으로, 이미지의 조밀성에 관한 베일린슨 추측의 직접적인 유사물은 이 설정에서 성립하지 않는다.

의의 및 주장 (Significance and Claims)

본 논문은 이전의 공식화에서 나타난 무한 생성 문제를 극복함으로써 함수체 설정에서의 모티브 코호몰로리에 대한 엄밀한 틀을 제공한다고 주장한다. 해석적 감소의 개념을 도입하고 슈투카 모델을 활용함으로써, 저자는 고전적인 기대와 일치하는 유한성 결과들을 성공적으로 증명하였다.

그러나 본 논문은 수체의 비유와 구별되는 중요한 차이점을 겸허하게 언급한다: 레귤레이터가 반드시 전체 계수를 갖는 것은 아니다. 저자는 이러한 불일치가 표준적인 호지-핑크 구조가 함수체에서 완전한 베일린슨 유형의 추측을 공식화하기 위한 올바른 대상이 아닐 수도 있음을 시사한다고 제안한다. 대신, 저자는 전체 계수를 갖는 레귤레이터를 정의하기 위해 "함수체 호지 구조"(격자 데이터를 제외한)가 재건되어야 할 수도 있다고 제안한다. 본 논문은 계수 일치(Theorem 6.2)는 성립하지만, 레귤레이터 이미지와 특수 $L$-값(special $L$-values)을 연결하는 베일슨 추측의 정확한 유사물에 대한 공식화는 추가적인 연구가 필요한 미결 과제로 남아 있다고 결론짓는다. 이 연구는 [Gaz22]의 자연스러운 후속작으로서, 안데르손 $A$-모티브와 혼합 모티브의 추측적 경관 사이의 간극을 메우는 작업으로 제시된다.