Computations of orbits for the Lubin-Tate ring (Q2274454)

The main contribution of this article is to provide evidence for the Chromatic Vanishing Conjecture (Conjecture 1.1). Let \(\mathbb{H}_n\) be the Honda formal group law of height \(n\), \(R_n\) the associated Lubin-Tate ring satisfying \(R_n \cong \mathbb{W}[[u_1,\ldots,u_{n-1}]]\) where \(\mathbb{W}\) denotes the Witt vectors on \(\mathbb{F}_{p^n}\), \(\mathbb{S}_n\) the group of automorphisms of \(\mathbb{H}_n\) over \(\mathbb{F}_{p^n}\), and \(\mathbb{G}_n\) the extension of \(\mathbb{S}_n\) by the Galois group \(Gal(\mathbb{F}_{p^n}/\mathbb{F}_p)\). \textbf{Conjecture 1.1} Let \(\mathbb{W} \to R_n\) and \(\mathbb{F}_{p^n} \to R_n /p\) be the natural maps. 1. (Integral) The continuous cohomology and homology of \(R_n/\mathbb{W}\) vanish in all degrees so that \[H^*(\mathbb{G}_n, R_n) \cong H^*(\mathbb{G}_n,\mathbb{W}) \quad H_*(\mathbb{G}_n,R_n) \cong H_*(\mathbb{G}_n,\mathbb{W}).\] 2. (Reduced) The continuous cohomology and homology of \((R_n/p)/\mathbb{F}_{p^n}\) vanish in all degrees so that \[H^*(\mathbb{G}_n,R_n/p) \cong H^*(\mathbb{G}_n,\mathbb{F}_{p^n}) \quad H_*(\mathbb{G}_n,R_n/p) \cong H_*(\mathbb{G}_n,\mathbb{F}_{p^n}).\] As explained in Remark 1.3, the integral, cohomological version of the Chromatic Vanishing Conjecture would imply Hopkins' Chromatic Splitting Conjecture [\textit{M. Hovey}, Contemp. Math. 181, 225--250 (1995; Zbl 0830.55004)] holds rationally. The authors also note that at sufficiently large primes, the reduced, homological Chromatic Vanishing Conjecture implies the integral, cohomological version. At sufficiently large primes, the integral, cohomological version of the conjecture implies the integral version of the Chromatic Splitting Conjecture. The authors prove that the natural map \(\mathbb{F}_{p^2} \to R_2/p\) induces an isomorphism \[H_0(\mathbb{G}_2, R_2/p) \cong H_0(\mathbb{G}_2, \mathbb{F}_{p^2})\] for all primes \(p\). This is the degree-zero part of the reduced, homological Chromatic Vanishing Conjecture for \(n=2\). The result follows from a direct calculation of the orbits \((R_2/p)_{\mathbb{G}_2}\), which hinges on a detailed understanding of the action of \(\mathbb{S}_n\) on \(R_n\) using the analysis of the universal deformation \(F(x,y)\) modulo \((x,y)^{p^2+1}\) from Lader's thesis [\textit{O. Lader}, Une résolution projective pour le second groupe de {M}orava pour $p \geq 5$ et applications. Université de Strasbourg (PhD Thesis) (2013)]. The authors partially translate this thesis from French to English and extend its results to all primes. Notably, the authors also rely on computer assisted calculations to compute coefficients in certain formal power series.