技術要約：多変数周期環 (Multivariate Period Rings)

1. 問題提起

Fontaineによって開発された古典的な$p$進ホッジ理論は、周期環（$B_{dR}$や$B_{HT}$など）を用いて、$p$進体$K$の連続なガロア表現を分類する。中心的な結果は、$B$-許容な表現の圏が、すべての表現の圏のタナキ的（Tannakian）な部分圏を形成することである。

本論文は、この枠組みを多変数設定へと拡張することを目的としている。$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$進完備化を用いて構成するとクリル次元が無限大になり、特定の準ノルム完備化を用いて構成するとクリル次元がゼロになるが、いずれの場合も整域ではない。したがって、古典的な定義を多変数表現のタナキ的構造の確立に直接適用することはできない。

2. 手法

著者は、整域のクラスから脱却し、代わりにフォン・ノイマン正則（von Neumann regular, VNR）環の性質を利用する新しいアプローチを提案している。

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$が**次元ゼロの簡約環（reduced ring）**であることを保証し、これがVNR環となる。
• 構造: $C_\Delta$の素イデアルのスペクトルは、埋め込み族$S$と全単射である。すべての素イデアルは極大イデアルであり、素イデアルにおける局所化は体となる。

2.2. 多変数周期環の定義

Fontaineの周期環（$A_{inf}, B_{dR}, B_{HT}$）の多変数版を、VNRの文脈に適応させて構成する：

• $A_{inf, \Delta}$: $W(O_{C, \Delta}^\flat)$であるウィット・ベクトルとして定義される。$\theta_\Delta$写像の核は、以前の構成では複数の生成元を必要としたのに対し、単一の元$\xi$によって生成される主イデアルであることが示されている。
• $B_{dR, \Delta}$: 前デ・ラム（pre-de Rham）環$B_{dR, \Delta}^{(p)}$を、極大イデアルの族$\{\ker \Phi_s\}_{s \in S}$に関するプロ有限完備化として構成する。この構成により、$B_{dR, \Delta}$がVNR環であり続けることが保証される。
• $B_{HT, \Delta}$: プロ有限完備化のローラン級数の内部における、前ホッジ・タテ（pre-Hodge-Tate）環の閉包として定義される。本稿では、$|\Delta| > 1$の場合にクリル次元が無限大となり挙動が不安定になるため、$C_\Delta((t_\Delta))$を直接的に用いることを避けている。代わりに、結果となる環がVNRとなるよう、プロ有限完備化$C_{HT, \Delta}$を使用している。

2.3. 正則性と許容性

本論文では、$(F, G_{K,\Delta})_\Delta$-正則環という概念を導入する。環$B$が正則であるとは、以下の条件を満たすことである：

1. その全分数環$C$がVNRである。
2. $B$は固定体$E = B^{G_{K,\Delta}}$上で忠実平坦である。
3. 非零因子およびガロア作用に関する特定の条件が成立する。

この定義を用いて、$B$-許容な表現の圏がタナキ的（Tannakian）な部分圏を形成することを証明する。

3. 主要な貢献と結果

3.1. 多変数周期環の構造的性質

• VNR構造: 本論文は、構成された多変数周期環（$B_{dR, \Delta}$および$B_{HT, \Delta}$）がフォン・ノイマン正則環であることを確立している。これは、一般的な環や整域に対しては利用できない、VNR環上の射影加群の降下理論（descent theory）の使用を可能にするため、極めて重要である。
• スペクトルの対応: 埋め込み族$S$と、周期環の極大スペクトル（および素イデアルスペクトル）との間には一対一の対応が存在する。
• フィルタリング: これらの環は、$\xi$のべき乗によって定義される、古典的なケースと同様の自然なフィルタリングを持つ。$B_{dR, \Delta}$の随伴次数環（associated graded ring）は、$B_{HT, \Delta}$と同型であることが示されている。

3.2. 表現の分類

• タナキ的部分圏: 主定理（定理 5.12）は、もし$B$が$(F, G_{K,\Delta})_\Delta$-正則であれば、$B$-許容な表現の圏$\text{Rep}_F^B(G_{K,\Delta})$は、$\text{Rep}_F(G_{K,\Delta})$のタナキ的（Tannakian）な部分圏であることを証明している。
• 許容性の判定基準: 表現$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$写像の核は、[BCM24]では$t$個の元によって生成されていたのに対し、本稿では主イデアル（一つの元によって生成される）であることが示されている。

3.4. Ax-Sen-Tateの定理

本論文は、Ax-Sen-Tateの定理の多変数版（命題 6.2）を証明しており、ねじれた周期環$C_\Delta(i)$の$G_{K,\Delta}$の下での不変量が、$i \neq 0$のときはゼロであり、$i=0$のときは底数の完備テンソル積に等しいことを確立している。

4. 意義と主張

本論文は、フォン・ノイマン正則環の枠組みを利用することで、古典的な理論により良く適合する、より一貫した多変数周期環へのアプローチを提供すると主張している。

• 整域問題の解決: 整域であるという要求を放棄し、VNR環を受け入れることで、古典的な定義の直接適用を妨げていた構造的な課題（無限のクリル次元、整域性の欠如）を克服している。
• タナキ的枠組み: 最大の意義は、多変数表現に対するタナキ的構造の確立である。これにより、古典的な$p$進ホッジ理論の成功と同様に、「許容性」という性質を通じた表現の分類が可能となる。
• 自然な一般化: この構成は、古典的な理論の直接的な一般化として機能し（$|\Delta|=1$のとき古典的なケースに帰着する）、補助的な命題（[BCM24]の命題 4.3のような）への依存を回避している。

著者は、結晶的（crystalline）な周期環も同様に構成可能であることを控えめに述べているが、その証明は主に古典的な記法の適応であり、ここでは詳細には追及していない。焦点は、多変数コンテキストにおける基礎的なデ・ラムおよびホッジ・タテの枠組みを確立することに置かれている。