The cyclosyntomic regulator of a number field

この論文「THE CYCLOSYNTOMIC REGULATOR OF A NUMBER FIELD（数体の循環シントミックレギュレーター）」は、Tess Bouis と Quentin Gazda によって執筆されたもので、数論的対象に対する $p$ 進レギュレーターの $q$-変形（$q$-deformation）である「循環シントミックレギュレーター（cyclosyntomic regulator）」の構成と計算に関するものです。

以下に、問題意識、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記します。

1. 問題意識と背景

• $p$ 進レギュレーターとレオポルト予想: 数体 $K$ に対して、$p$ 進レギュレーター $\text{reg}_p$ は、古典的なレギュレーターのアナログとして定義され、$p$ 進デデキントゼータ関数の $s=1$ における留数と関連しています。しかし、その像がランク $r_1 + r_2 - 1$ の格子となるかどうかを主張する「レオポルト予想」は、$K$ が $\mathbb{Q}$ または虚二次体のアーベル拡大である場合を除き、未解決のままです。
• シントミックコホモロジーの役割: 現代のレギュレーター理論では、$p$ 進レギュレーターはシントミックコホモロジー（prismatic cohomology を用いた整数論的定義）における第一チェルン類として捉えられています。
• 既存理論の限界: 従来のシントミックコホモロジーは $p$ 完備（$p$-complete）な圏で定義されており、異なる素数 $p$ 間の補間（interpolation）が困難でした。また、$p$ 進レギュレーターは特定の素数 $p$ に依存しています。
• 目標: 著者らは、$p$ 完備性を除去した「decompleted」な理論を構築し、異なる素数 $p$ 間の $p$ 進レギュレーターを補間できるような新しいレギュレーターを導入することを目的としています。

2. 手法と主要な構成要素

この論文の構築は、Garoufalidis–Scholze–Wheeler–Zagier によるHabiro 環（Habiro ring）の概念と、Wagner による$q$-Witt ベクトルの理論、そして Sulyma のノルム写像の精密化に依存しています。

2.1 循環環（Cyclotomic Rings）と Habiro 環

• Habiro 環 ($H_R$): 単位根における「解析関数」の環と見なせるもので、$H_R = \lim_{m \ge 1} R[q]^\wedge_{(q^m-1)}$ と定義されます。
• 循環環 ($C_R$): Habiro 環の簡約版であり、$q$-Witt ベクトルを用いて $C_R := \lim_{m \ge 1} q\text{-}W_m(R)$ と定義されます。ここで極限は Frobenius 写像に沿って取られます。
• $q$-Witt ベクトル: 古典的な Witt ベクトルの $q$-変形であり、$q$-Ghost 写像や Frobenius/Verschiebung 写像を持ちます。

2.2 循環ノルムと循環 Frobenius

• 循環ノルム（Cyclotomic Norms）: 著者らは、Sulyma のノルム写像を $q$-Witt ベクトルの文脈で精密化し、乗法的なノルム写像 $\Pi_{m'/m}: q\text{-}W_m(R) \to q\text{-}W_{m'}(R)$ を構成しました（Proposition 2.20）。これは古典的なべき乗写像と Frobenius 写像の間の補間として機能します。
• 循環 Frobenius（Cyclotomic Frobenius）: $d$ 番目の循環 Frobenius $\text{Frob}^{\text{cyc}}_d$ を定義し、これは $q$-Witt ベクトル系における「普遍的な $q$-リフト」として振る舞います。

2.3 循環対数（Cyclotomic Logarithm）

• 構成: Mao の改良されたプリスマティック対数（prismatic logarithm）のアプローチを踏襲し、Habiro 環と循環ノルムを用いて「循環対数」$d\log^{\text{cyc}}$ を構成しました。
• 技術的課題: 単なる Habiro 環レベルでは非自明な対数を定義できないため、循環環（cyclotomic rings）のレベルで定義する必要があります。これは、$d\log^{\text{cyc}}$ が Habiro 環へのリフトを持たないこと（Remark 3.19）に起因します。

2.4 循環シントミックコホモロジー

• 複体の定義: 整数 $d \ge 2$ に対して、循環シントミック複体 $R\Gamma_{\text{CycSyn}}(R, \mathbb{Z}(1)(d))$ を、Nygaard ねじれ $N_{\ge 1}C_R\{1\}$ と循環ねじれ $C^{(d)}_R\{1\}$ の間にある写像のファイバーとして定義します。
• 写像: この写像は、標準写像（canonical map）と $d$ 番目の循環 Frobenius の差（$\text{can} - \text{Frob}^{\text{cyc}}_d$）によって定義されます。

3. 主要な結果

定理 A: 第一チェルン類の構成

数体 $K$ のエタール $\mathbb{Z}$-代数 $R$ に対して、任意の素数 $p$ に対して $p$ 進実現写像が存在し、$d=p$ の場合、この循環シントミック第一チェルン類 $c^{\text{CycSyn}}_1$ は、従来のシントミック第一チェルン類を復元します。これは、異なる $d$ に対して一貫したレギュレーター理論を提供します。

定理 B: 単位に対する明示的な公式

任意の単位 $u \in R^\times$ に対して、循環シントミック第一チェルン類は以下の式で与えられます：
$$c^{\text{CycSyn}}_1(u) = \frac{1}{d} \log \left( \frac{\tilde{\Pi}_d(\tilde{u})}{\text{Frob}^{\text{Hab}}_d(\tilde{u})} \right)$$
ここで、$\tilde{\Pi}_d$ は $d$ 乗写像の $q$-変形、$\text{Frob}^{\text{Hab}}_d$ は Habiro 環上の $d$ 番目 Frobenius、$\tilde{u}$ は $u$ の Habiro 環へのリフトです。これは Kato による $p$ 進レギュレーターの公式の $q$-変形版です。

定理 C: 第一 $q$-ポリログラムとの関係（主要な計算結果）

$1-\zeta$ （$\zeta$ は 1 以外の単位根）という形の循環単位（cyclotomic units）に対して、循環シントミック第一チェルン類は第一 $q$-ポリログラムと一致します：
$$c^{\text{CycSyn}}_1(1-\zeta) = -\text{Li}^{(d)}_1([\zeta])_q$$
ここで、$\text{Li}^{(d)}_1(z)_q = \sum_{k \ge 1, d \nmid k} \frac{z^k}{[k]_q}$ は第一 $q$-ポリログラムです。
この結果は、$p$ 進シントミックコホモロジーにおける $p$ 進ポリログラムの理論を、$q$-変形を通じて循環単位に拡張したものです。

4. 意義と貢献

1. レギュレーターの $q$-変形の定式化: 数体の $p$ 進レギュレーターを、$p$ 完備性を除去し、異なる素数 $p$ 間で補間可能な「循環シントミックレギュレーター」として再定式化しました。
2. 新しいコホモロジー理論の構築: Habiro 環と $q$-Witt ベクトルを組み合わせ、プリスマティックコホモロジーの「decompleted」なバージョンを構築しました。これは、$p$ 進数論と量子群・カテゴリー論的な構造（$q$-変形）を深く結びつけるものです。
3. 循環単位とポリログラムの統一: 循環単位 $1-\zeta$ に対するレギュレーターの値が、$q$-ポリログラムによって与えられることを示しました。これは、Deligne の混合 Hodge 構造や Coleman の $p$ 進ポリログラムの理論を、$q$-変形の枠組みで一般化した重要な結果です。
4. 今後の展望:
   • 高次 Chern 類と高次 $K$ 群、高次 $q$-ポリログラムとの関係を解明する理論への道筋を示しました。
   • 循環シントミック複体が Tate 対象の拡張を計算する可能性を示唆しており、これは第 2 著者によるエピローグで議論されます。

結論

この論文は、数論的レギュレーター理論に $q$-変形を導入し、Habiro 環とプリスマティックコホモロジーの強力な枠組みを用いて、異なる素数間の補間と循環単位における明示的な計算を成功させた画期的な研究です。特に、$q$-ポリログラムがレギュレーターの値として自然に現れるという発見は、数論と幾何学の深い関係を示唆しており、今後の $p$ 進 Hodge 理論や $K$ 理論の発展に重要な影響を与えると考えられます。