Some explicit counter-examples to Weibel's conjecture

技術要約：Weibelの予想に対する明示的な反例

問題設定
本論文は、1980年にWeibelが提起した、可換Noether型環における負のK理論の消滅に関する問いを扱っている。具体的には、問い1は次のようなものである：「$R$ をクリール次元 $d$ の可換Noether型環とする。このとき、$* < -d$ において $K_*(R) = 0$ となるか？」

Kerz–Strunk–Tammeの定理（2018年）は、Noether型環に対してはこの問いへの決定的な肯定的な回答を与えたが、非Noether型環に関するこの問いのステータスは未解決のままであった。先行研究では、クリール次元を「価数次元（valuative dimension）」（すべての真の双有理的変形におけるクリール次元の赤最大値）に置き換えるならば、消滅が成立することが示唆されていた。しかし、本論文は、非Noether型環においては、クリール次元が価数次元よりも厳密に小さくなり得ることを指摘している。ここでの中心的な問題は、負のK理論の消滅において、Noether条件が不可欠であるかどうかである。

手法
著者は、円盤 $D^d$ の境界 $\partial D^d$ による商として球面 $S^d$ を構成する位相幾何学的な構成法に類似した、幾何学的戦略を用いて明示的な反例を構築している。この構成は、主に以下の3つの要素に基づいている：

1. ミルナー・スクエア（Milnor Squares）: 環 $R$ は、$R = R_\infty \times_{R_\infty/I_\infty} k$ という形のプルバック（ミルナー・スクエア）として構成される。ここで $k$ は体である。このセットアップにより、「境界」が一点に潰された「商」スキームが作成される。
2. 正則スキームのフィルタ化された極限: $R_\infty$ は、正則スキーム（$X_n$ またはトーリック多様体 $X_\Sigma$）の局所化のフィルタ化された余極限（直極限）として定義される。これらの構成要素となる環は正則であるため、負のK理論を持たない。$K_*(R)$ の非消滅は、専ら $R_\infty$ とその商 $R_\infty/I_\infty$ の間の相互作用から生じる。
3. 反復的な吹出し（Blow-ups）とトロピカル幾何学:
   • $d=2$ の場合: 構成は、単純正規交差（snc）因子を含む滑らかな曲面から始まる。この因子は三角形状に配置されている。著者は、ディバイザーの分岐点の交点における無限回の吹出しの列を実行する。このプロセスは、角の部分をより小さな面へと反復的に置き換え、無限個の面を持つ多面体のような極限構造を作り出す。
   • $d \ge 2$ の場合: トーリック多様体を利用する。著者は、扇（fan）の細分化によって得られる滑らかな射影トーリック多様体のフィルタ化された系を考える。「境界」は、稠密なトーラス軌道の補集合に対応する。境界成分の交差パターンはトロピカル多様体を用いて追跡される。これにより、境界の構成が組合せ論的に $(d-1)$ 次元の多面体のように振る舞うことを保証している。

主要な結果

• 定理2（主結果）: すべての $d \ge 2$ に対して、$\text{Spec } R$ がちょうど2つの点、$\text{Krull dim } R = 1$ を持ち、かつ $K_{-d}(R) \cong \mathbb{Z}$ となるような環 $R$ が存在する。
• 命題4（$d=2$ のケース）: $R$ が、sncディバイザーの交点における曲面 $X_0$ の一連の吹出しから形成される場合の具体的な構成が提供されている。この結果得られる環 $R$ はクリール次元1であり、$K_{-2}(R) \cong \mathbb{Z}$ である。
• 命題6（$d \ge 2$ のケース）: トーリック多様体を用いた一般化が提示されている。トーリック多様体 $X_\Sigma$ とその境界の半局所化のフィルタ化された極限を取ることにより、著者はクリール次元1で $K_{-d}(R)$ が消滅しない環 $R$ を構成している。

非消滅の技術的メカニズム
$K_{-d}(R)$ の非消滅は、ミルナー・スクエアに関連するK理論の長完全系列から導かれる。$R_\infty$ および $k$ は正則であるため、それらの負のK群は消滅する。したがって、この列は次の同型へと簡約される：
$$K_{-d}(R) \cong K_{1-d}(R_\infty/I_\infty)$$
この項 $K_{1-d}(R_\infty/I_\infty)$ は、cdhコホモロジー群 $H^{d-1}_{cdh}(\text{Spec } R_\infty/I_\infty, \mathbb{Z})$ と同型である。境界の組合せ論的構造（$(d-1)$ 次元球面または多面体のように構成されている）により、このコホモロジー群は対応する多面体の特異コホモロジー群と同型となり、次数 $d-1$ において $\mathbb{Z}$ を与える。

意義および主張
本論文は、Weibelの問いの非Noether型バージョンに対する、既知の最初の反例を提示していると主張している。具体的には、環がNoether型でない場合、「クリール次元 $d$」という条件だけでは $K_*(R)$ の消滅（$* < -d$）を保証するには不十分であることを示している。

著者は、ミルナー・スクエアや有限多角形を用いて負のK理論のクラスを生成する手法（Bassのコンダクター公式に暗黙的に含まれる）はよく知られているものの、無限多角形（$d=2$ の場合）およびトロピカルな追跡を伴うトーリック多様体（$d \ge 2$ の場合）を用いた具体的な構成こそが、新規の貢献であると述べている。本論文は、これらの例が、消滅定理が成立するためにはNoether仮定（あるいはクリール次元を価数次元に置き換えること）が必要であることを明示的に示している。

ツールの謝辞
著者は、既存の文献（Lazard）における無限多角形の構成の特定や、トロピカル多様体を介したトーリック交差に関する技術的な詳細の検証において、例の開発にコンピュータによる支援を用いたことを透明に認めている。しかし、核となる概念的枠組みおよび $d \ge 2$ のトーリック構成に関する具体的な証明は、著者によるものであるとしている。