[論文レビュー] The Chromatic Nullstellensatz

Robert Burklund, Tomer M. Schlank+1 more|arXiv (Cornell University)|Jul 20, 2022

Advanced Topics in Algebra被引用数 6

ひとこと要約

この論文は、安定ホモトピー理論におけるヒルベルトのノルムシュテラトツァーの彩色的類似を確立し、代数的に閉じた体上のルビン–テイトスペクトルが、ノルムシュテラトツァー条件を満たす唯一の $T(n)$-局在的 $\textrm{E}_\infty$-環であることを示している。$T(n)$-局在的 $\textrm{E}_\infty$-環の幾何的点に、構成可能位相を導入し、その上でネイピオテンスがこれらのルビン–テイト理論への写像によって検出されることを証明しており、彩色ホモトピー理論および $K$-理論への応用が得られる。

ABSTRACT

We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$, the collection of $\mathbb{E}_\infty$-ring maps from $R$ to such Lubin-Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$ admits an $\mathbb{E}_\infty$-ring map to such a Lubin-Tate theory. As consequences, we construct $\mathbb{E}_{\infty}$ complex orientations of algebraically closed Lubin-Tate theories, compute the strict Picard spectra of such Lubin-Tate theories, and prove redshift for the algebraic $\mathrm{K}$-theory of arbitrary $\mathbb{E}_{\infty}$-rings.

研究の動機と目的

• 代数的に閉じた体を圏論的ノルムシュテラトツァー条件によって特徴付けることで、ヒルベルトのノルムシュテラトツァーを彩色的安定ホモトピー理論の文脈に拡張すること。
• 代数的幾何におけるザリスキスペクトルに類似した、$T(n)$-局在的 $\textrm{E}_\infty$-環の幾何的点に構成可能位相を定義すること。
• $T(n)$-局在的 $\textrm{E}_\infty$-環におけるネイピオテンスが、代数的に閉じた体上のルビン–テイト理論への写像によって検出されることを証明すること。
• この検出法を応用し、複素方向性の構成、厳密ピックャールスプエクトルの計算、および $\textrm{E}_\infty$-環の代数的 $K$-理論におけるレッドシフトの証明を行うこと。

提案手法

• プレゼンタブル $\infty$-圏におけるノルムシュテラトツァー的対象を、コンパクトかつ非終端的であれば初期対象へ写像をもつものとして定義する。
• $T(n)$-局在的 $\textrm{E}_\infty$-環の分類を用いて、ノルムシュテラトツァー条件を満たすのは代数的に閉じた体上のルビン–テイトスペクトルのみであることを示す。
• $T(n)$-局在的 $\textrm{E}_\infty$-環の構成可能スペクトルを、ルビン–テイト理論への写像の同値類（幾何的点）の集合として定義し、代数の写像によって誘導される像によって定義される位相を備える。
• $T(n)$-局在的 $\textrm{E}_\infty$-環のスペクトル上の構成可能位相が、古典的ザリスキ構成可能位相を一般化してコンパクトハウスドルフ空間であることを証明する。
• マーレのネイピオテンス予想とネイピオテンス保存性を用いて、ルビン–テイト理論への写像の集合が、$T(n)$-局在的 $\textrm{E}_\infty$-環におけるネイピオテンスを共同で検出できることを確立する。
• 結果を応用し、代数的に閉じたルビン–テイト理論の $\textrm{E}_\infty$-複素方向性を構成し、その厳密ピックャールスプエクトルを計算する。

実験結果

リサーチクエスチョン

• RQ1 どの $T(n)$-局在的 $\textrm{E}_\infty$-環がヒルベルトのノルムシュテラトツァーのホモトピー的類似を満たすか？
• RQ2 $T(n)$-局在的 $\textrm{E}_\infty$-環の幾何的点を位相空間化することで、ザリスキスペクトルに類似したコンパクトハウスドルフ空間が得られるか？
• RQ3 $T(n)$-局在的 $\textrm{E}_\infty$-環におけるネイピオテンスは、代数的に閉じた体上のルビン–テイト理論への写像によって検出可能か？
• RQ4 代数的に閉じた体上のルビン–テイト理論の厳密ピックャールスプエクトルは何か？
• RQ5 彩色ノルムシュテラトツァーは、任意の $\textrm{E}_\infty$-環の代数的 $K$-理論におけるレッドシフトを示唆するか？

主な発見

• 彩色ノルムシュテラトツァーは、代数的に閉じた体上のルビン–テイトスペクトルが、ノルムシュテラトツァー条件を満たす唯一の $T(n)$-局在的 $\textrm{E}_\infty$-環であることを特徴づける：$T(n)$-局在的 $\textrm{E}_\infty$-環がノルムシュテラトツァー的であるのは、代数的に閉じた体 $L$ に対して $E(L)$ に同型であるときかつそのときに限り、そのような環が成り立つ。
• $T(n)$-局在的 $\textrm{E}_\infty$-環の構成可能スペクトルは、コンパクトハウスドルフ位相空間であり、閉集合は代数の写像によって誘導される像として定義される。
• $T(n)$-局在的 $R$-モジュールにおけるネイピオテンスは、$R$ から代数的に閉じた体上のルビン–テイト理論への $\textrm{E}_\infty$-環写像の集合によって検出される。
• 任意の非ゼロの $T(n)$-局在的 $\textrm{E}_\infty$-環は、代数的に閉じた体上のルビン–テイト理論への $\textrm{E}_\infty$-環写像をもつ。
• 代数的に閉じた体上のルビン–テイト理論の厳密ピックャールスプエクトルは、構成可能スペクトルと初期対象への写像のネイピオテンス保存性を用いて計算される。
• 任意の $\textrm{E}_\infty$-環の代数的 $K$-理論におけるレッドシフトは、ネイピオテンス検出と $T(n)$-局在的設定における構成可能スペクトルの構造により、示される。