Arithmetic Cycles with Modulus

"모듈러스가 있는 산술 사이클(Arithmetic Cycles with Modulus)" 기술 요약

문제 제기
본 논문은 두 가지 확립된 이론 사이의 간극을 다룬다: 경계 다이버서 $D$에 대해 기하학적 정보를 포착하는 모듈러스가 있는 Chow 군(Chow groups with modulus)의 이론과, 산술 다양체 상의 교차 이론을 정의하기 위해 Green current를 통해 해석적 데이터를 통합한 Gillet과 Soulé의 산술 Chow 군(arithmetic Chow groups) 이론이다.

모듈러스가 있는 Chow 군 $CH^p(X|D)$는 매끄러운 준투영 다양체 $X$를 유효 다이버서 $D$에 대해 확장하여 고전적인 교차 이론을 성공적으로 수행하지만(적절한 설정에서 차수 사상 및 Albanese variety와 같은 성질들을 복원함), 해석적 성분이 결여되어 있다. 반대로, 산술 Chow 군 $\widehat{CH}^p(X)$는 Green current와 대수적 사이클을 쌍으로 결합하여 산술 다양체를 위한 정교한 교차 이론을 제공하지만, 경계 다이버서 $D$를 따른 모듈러스 조건을 본질적으로 고려하지 않는다. 저자들은 다음과 같은 질문을 던진다: Gillet과 Soulé 이론의 해석적 구조를 유지하면서 $D$를 따른 소멸 조건을 준수하는 $\widehat{CH}^p(X|D)$를 어떻게 정의할 것인가?

방법론
저자들은 상대적 설정에 산술 Chow 군의 정의를 적응시킴으로써 $\widehat{CH}^p(X|D)$를 구성한다. 핵심 방법론은 다음과 같다:

1. 해석적 설정: $X$를 수체 $k$ 위의 매끄러운 준투영 다양체라 하고, $D$를 그 축소된 지지집합(reduced support) $D_{red}$가 단순 정규 교차 다이버서(sncd)인 유효 다이버서라고 하자. 저자들은 연관된 해석적 공간 $X(\mathbb{C})$ 상에서 $D_{red}$ 위에서 소멸하는 매끄러운 미분 형식의 복소체 $\Sigma_{D_{red}}A^*(X)$를 활용한다.
2. 확장 보조정리(Extension Lemma): 핵심적인 기술적 도구인 보조정리 2.5는 sncd 상에서 소멸하는 형식들의 포함이 상대적 코호몰로지 맥락에서 준동형(quasi-isomorphism)임을 입증한다. 이를 통해 저자들은 상대적 코호몰로지 클래스들을 $D$ 위에서 소멸하는 매끄러운 형식들로 표현할 수 있다.
3. 모듈러스가 있는 Green Current: $D$와 이산(disjoint)인 대수적 사이클 $Z \in Z^p(X|D)$에 대하여, 저자들은 미분 방정식 $\partial\bar{\partial}g_Z + \delta_Z = [\omega_Z]$를 만족하는 Green current $g_Z$의 존재를 증명한다. 여기서 연관된 매끄러운 형식 $\omega_Z$는 $D_{red}$ 위에서 소멸하는 형식들의 부분 공간에 속한다. 이는 해석적 수준에서도 "모듈러스" 조건이 충족됨을 보장한다.
4. 군(Group)의 정의: 모듈러스가 있는 산술 유리 동치(arithmetic rational equivalences)에 의해 생성되는 부분군에 의한 몫으로서 $\widehat{CH}^p(X|D)$를 정의한다. 이러한 동치는 $D$를 따른 단위(modulus condition $f \equiv 1 \mod \mathcal{I}_D$를 만족함)인 유리 함수 $f$의 다이버서와 그에 연관된 current $-\log|f|^2$, 그리고 특정 소멸 조건을 만족하는 $u, v$에 의한 current $\partial u + \bar{\partial} v$들에 의해 생성된다.

주요 기여 및 결과
본 논문은 다음과 같은 주요 결과를 확립한다:

• 정리 A (Green Current의 존재성): 모듈러스를 가진 임의의 사이클 $Z$에 대하여, 연관된 형식 $\omega_Z$가 $D_{red}$ 위에서 소멸하는 Green current $g_Z$가 존재한다. 이는 해당 군의 정의를 정당화한다.
• $\widehat{CH}^p(X|D)$의 정의: 이 군은 $\widehat{Z}^p$ (소멸 조건을 가진 쌍 $(Z, g_Z)$들의 집합)와 $\widehat{R}^p$ (모듈러스가 있는 산술 유리 동치들의 부분군)의 몫으로 공식 정의된다.
• 함자성(Functoriality) 및 완전열(Exact Sequences): $\widehat{CH}^p(X|D)$는 자연스러운 함자적 성질(매끄러운 사상에 대한 pullback, 적절한 사상에 대한 pushforward)을 만족하며, 고전적인 산술 Chow 군과 유사한 자연스러운 완전열에 포함된다:
  $$CH^{p,p-1}(X|D) \to \widehat{A}^{p-1,p-1}(X_{\mathbb{R}}, \text{vanishing}) \to \widehat{CH}^p(X|D) \to CH^p(X|D) \to 0$$
• 모듈 구조 (정리 B): 고전적인 산술 Chow ring $\widehat{CH}^*(X)$는 캡 곱(cap product)을 통해 모듈러스가 있는 산술 Chow 군 $\widehat{CH}^*(X|D)$ 위에 작용하며, 투영 공식(projection formula)을 만족한다. 이는 알려진 대수적 모듈러스 Chow 군의 모듈 구조를 들어 올린 것이다.
• 상대적 헤르미트 피카르 군과의 동형 (정리 C): 저자들은 Chern form $c_1(L, \|\cdot\|)$가 $D_{red}$ 위에서 소멸하는 trivialization을 $D$를 따라 갖는 헤르미트 선다발(Hermitian line bundles) $(L, \|\cdot\|)$로 구성된 상대적 헤르미트 피카르 군 $\widehat{\text{Pic}}(X, D)$를 정의한다. 그들은 다음의 동형 관계를 증명한다:
  $$\widehat{\text{Pic}}(X, D) \cong \widehat{CH}^1(X|D)$$
  이 동형은 고전적인 피카르 군과 제1차 Chow 군 사이의 알려진 동형 관계와 교환 가능하다.

의의
저자들은 이 연구를 Gillet과 Soulé의 산술 교차 이론과 모듈러스가 있는 Chow 군 이론의 "매우 자연스러운 결합(very natural amalgamation)"이라고 설명한다. 이 구성은 모듈러스가 있는 산술 모티브 코호몰로지(arithmetic motivic cohomology)의 구체적인 실현을 제공한다.

본 논문은 이러한 결과들을 다음의 기초 단계로 위치시킨다:

1. 상대적 Grothendieck 군 $K_0(X, D)$의 산술적 아날로그 정의.
2. 고차원 전역 체론(global class-field theory)의 산술적 아날로그 발전.

저자들은 $K_0(X, D)$의 산술적 아날로그를 정의하고 $\widehat{CH}^p(X|D)$와의 연결성을 연구하는 것이 다음 논문의 주제임을 명시하며, 현재 작업의 즉각적인 응용 범위에 대해 겸허한 태도를 유지한다.