AI 中文总结
本文证明对任意高度和素数，Lubin-Tate 空间中 Morava 稳定化群开子群不变素理想恰为高度理想，并由此推出 Hovey-Strickland 分类。
AI 中文摘要
设 $H_n$ 为 $\mathbf F_{p^n}$ 上高度为 $n$ 的一维 Honda 形式群，并设 \\[ R_n=W(\mathbf F_{p^n})[[u_1,\ldots,u_{n-1}]],\qquad A_n=R_n/(p). \\] 我们证明，对于每个高度 $n$ 和每个素数 $p$，$A_n$ 中在 Morava 稳定化群的一个开子群作用下不变的素理想恰好是高度理想 $(u_1,\ldots,u_j)$。我们还证明，$R_n$ 中避开 $p$ 的不变素理想为零。由此得到的根理想分类，通过 Barthel-Heard-Naumann 的正向蕴含，蕴含了可对偶化 $K(n)$-局部谱范畴中厚张量理想的 Hovey-Strickland 分类。特殊纤维的论证是局部且几何的。在用一个单参数曲线截取一个不变素理想后，我们从 Cartier 结构方程构造一个光滑形式商 $\mathcal{Q}$ 和一个显著子群 $\mathcal{H}$。$\mathcal{H}$ 的通用纤维被等同于连通-étale 扩张的形变空间。一个从完整 Honda 自同态序出发的 Cartier 障碍映射，通过与 Tate 向量在完备万有覆盖上的求值进行比较。Fargues-Fontaine 向量丛给出一个周期检测陈述。Chai 的刚性定理随后在重新归一化赋值后，将同态检测提升为形式 Zariski 稠密性。一个一致的固定喷流论证将此稠密性转移到 Morava 稳定化群轨道上。通用纤维断言与 Gross-Hopkins 周期映射分开证明。
英文摘要
Let $H_n$ be the one-dimensional Honda formal group of height $n$ over $\mathbf F_{p^n}$ and let \[ R_n=W(\mathbf F_{p^n})[[u_1,\ldots,u_{n-1}]],\qquad A_n=R_n/(p). \] We prove, for every height $n$ and every prime $p$, that the prime ideals of $A_n$ stable under an open subgroup of the Morava stabilizer group are exactly the height ideals $(u_1,\ldots,u_j)$. We also prove that a stable prime of $R_n$ avoiding $p$ is zero. The resulting radical-ideal classification implies the Hovey-Strickland classification of thick tensor ideals in the category of dualizable $K(n)$-local spectra via the forward implication of Barthel-Heard-Naumann. The special-fiber argument is local and geometric. After cutting an invariant prime by a one-parameter curve, we construct from the Cartier structure equation a smooth formal quotient $\mathcal{Q}$ and a distinguished subgroup $\mathcal{H}$. The generic fiber of $\mathcal{H}$ is identified with the deformation space of connected-étale extensions. A Cartier obstruction map from the full Honda endomorphism order is compared with evaluation on Tate vectors through completed universal covers. Fargues-Fontaine vector bundles give a period-detection statement. Chai's rigidity theorem then promotes detection by homomorphisms to formal Zariski density after a renormalization of the valuation. A uniform fixed-jet argument transfers this density to Morava-stabilizer orbits. The generic-fiber assertion is proved separately from the Gross-Hopkins period map.
Comments35 pages, comments welcome!
