--- title: Lubin-Tate Tower & Local Correspondences url: https://www.emergentmind.com/topics/lubin-tate-tower type: topic --- # Lubin-Tate Tower & Local Correspondences The Lubin-Tate tower is a projective system of deformation spaces attached to a one-dimensional formal module of finite height over a non-archimedean local field, equipped with increasingly fine Drinfeld level structure. In the formulations used across the literature, it appears as a tower of formal schemes, rigid-analytic spaces, adic spaces, perfectoid spaces, or diamonds, depending on the level and the geometric framework. Its central arithmetic role is that its cohomology realizes local Langlands- and Jacquet-Langlands-type correspondences, while its geometry connects deformation theory, local Shimura varieties, Fargues-Fontaine geometry, perfectoid methods, and \( (\varphi,\Gamma) \)-module formalisms [1001.3226] [2503.09352]. ## 1. Moduli problem and tower structure At finite level, the tower parametrizes deformations of a fixed one-dimensional formal \(\mathcal{O}_F\)-module, or formal \(\mathcal{O}_K\)-module, of prescribed height together with Drinfeld level structure. One standard description is that the Lubin-Tate deformation spaces parametrize deformations of a one-dimensional formal module of height \(h\) together with level structure [1001.3226]. In the notation of the infinite-level de Rham comparison paper, \(M_{LT,0}\) parametrizes deformations of a one-dimensional compatible \(\mathcal{O}_L\)-module \(H_0\) of \(\mathcal{O}_L\)-height \(d+1\), and each \(M_{LT,n}\) is an étale Galois covering of \(M_{LT,0}\) with group \(\mathrm{GL}_{d+1}(\mathcal{O}_L/\varpi^n\mathcal{O}_L)\) [2503.09352]. The tower carries commuting symmetries. In the \(\ell\)-adic formulation, the rigid generic fibers \(M_K\) admit an admissible smooth action of \(\mathrm{GL}_d(F)\times D^\times\), where \(D\) is the central division algebra over \(F\) of invariant \(1/d\) [1106.0076]. In the first-cover de Rham setting, there are commuting actions of \(G=\mathrm{GL}_{d+1}(K)\), \(D^*\), and \(W_K\) [2207.01006]. These actions are the representation-theoretic mechanism by which cohomology of the tower encodes local correspondences. The deformation rings themselves also support a field-theoretic avatar of the tower. Starting from universal deformation rings \(R_n\) for deformations with Drinfeld level-\(n\) structure, one can choose compatible height-one primes \(\mathfrak p_n\mid (p)\), localize and complete to obtain fields \(K_n'\), and then form a tower \(K_n=K_n'K_0\). This tower is strictly deeply ramified in the sense of Scholl; when \(h=2\), the paper further studies whether it is Kummer and proves a negative result for \(p>3\) in the strong form where one seeks a single element generating all levels simultaneously [1605.00615]. This suggests that the geometric Lubin-Tate tower has a parallel arithmetic incarnation in fields-of-norms theory, but with ramification behavior subtler than the classical height-one case. ## 2. Infinite-level geometry, period maps, and perfectoid quotients At infinite level, the inverse limit of the tower becomes a perfectoid space. This is explicit in several formulations: the infinite-level Lubin-Tate space \(M_{LT,\infty}\) exists as a perfectoid space over \(C\), and it carries continuous actions of \(\mathrm{GL}_{d+1}(L)\) and \(D_{L,1/(d+1)}^\times\) [2503.09352]. The infinite-level geometry is organized by period maps. The Gross-Hopkins period map \[ \pi_{LT,GM}\colon M_{LT,\infty}\to \check F \] targets the adic flag variety associated to the division algebra side, while the Hodge-Tate period map \[ \pi_{LT,\mathrm{HT}}\colon M_{LT,\infty}\to F \] targets the adic flag variety for the linear group side [2503.09352]. A major development is that certain non-compact quotients of the infinite-level tower still exist as perfectoid spaces. For \(\mathrm{GL}_2(\mathbb Q_p)\), the quotient \(M_\infty/B(\mathbb Q_p)\) by the upper-triangular Borel subgroup exists as a perfectoid space, and the induced morphism to \(\mathbb P^1_{C_p}\) is quasi-compact with affinoid perfectoid fibers [1611.03685]. More generally, for \(K/\mathbb Q_p\) finite and \(n\ge 2\), the quotient \(\mathcal M_1/P(K)\) by the maximal parabolic subgroup of block form \((n-1,1)\) is a perfectoid space of Krull dimension \(n-1\) [1812.08203]. These quotient constructions are not uniform across all parabolics. In the local description given in the appendix to the parabolic quotient paper, the quotient by a maximal parabolic \(P_{n-d,d}(K)\) is perfectoid only for \(d=1\) or \(d=n-1\); for \(12(n-1)\), are admissible as \(D^\times\)-representations, and carry a continuous action of \(\mathrm{Gal}_F\). This yields a canonical functor from admissible \(p\)-adic representations of \(\mathrm{GL}_n(F)\) to admissible representations of \(\mathrm{Gal}_F\times D^\times\), together with a local-global compatibility statement and compatibility with patching constructions of Caraiani-Emerton-Gee-Geraghty-Paskunas-Shin [1506.04022]. Integral and mod-\(\ell\) refinements sharpen this picture. Boyer proves that the \(\overline{\mathbb Z}_\ell\)-cohomology of the Lubin-Tate tower is free of \(\ell\)-torsion by a global argument using vanishing cycles on Kottwitz-Harris-Taylor Shimura varieties and the comparison between the \(p\) and \(p+\) perverse \(t\)-structures [1309.1946]. Dat’s integral non-abelian Lubin-Tate theory then realizes Langlands and Jacquet-Langlands correspondences for flat families of irreducible supercuspidal representations over a \(\mathbb Z_\ell\)-algebra \(R\), gives a cohomological realization of the Langlands-Vignéras correspondence when \(R\) is a field of characteristic \(\ell\), and produces bijections between deformations of matching mod-\(\ell\) representations [1011.1887]. The mod-\(p\) picture is qualitatively different. For \(\mathrm{GL}_2(\mathbb Q_p)\), Chojecki proves that supersingular representations do not occur in \(H^1_c\) of the Lubin-Tate tower, whereas the mod-\(p\) local Langlands correspondence and a mod-\(p\) Jacquet-Langlands correspondence do appear in \(H^1\) without compact support [1303.4589]. Under the Buzzard-Diamond-Jarvis conjecture and related hypotheses, an analogous realization of the conjectural mod-\(p\) local Langlands correspondence for \(\mathrm{GL}_2\) over totally real fields is obtained in the mod-\(p\) cohomology of Lubin-Tate towers [2206.09706]. This marks a clear distinction between compactly supported and non-compactly supported mod-\(p\) cohomology. ## 4. de Rham and analytic cohomology The de Rham theory of the Lubin-Tate tower is now developed both at finite and infinite level. For the first cover \(\mathrm{LT}^1\), the supercuspidal part of de Rham cohomology realizes the local Jacquet-Langlands correspondence for \(\mathrm{GL}_{d+1}(K)\) by comparison with rigid cohomology of Deligne-Lusztig varieties. For a primitive character \(\theta\), \[ \mathrm{Hom}_{D^*}(\rho(\theta), H^i_{\mathrm{dR}}(\mathrm{LT}^1/\varpi)) \cong \begin{cases} \mathrm{DL}(\theta)^{d+1} & \text{if } i=d,\\ 0 & \text{otherwise,} \end{cases} \] providing a purely local proof for the supercuspidal level-zero part [2207.01006]. At infinite level, Chojecki proves that the \(p\)-adic local Langlands correspondence for \(\mathrm{GL}_2(\mathbb Q_p)\) appears in étale cohomology: \[ B(\rho_p)\otimes_E \rho_p \hookrightarrow H^1(\mathcal M_{LT,\infty},E), \] for \(\rho_p\) arising as the restriction of a global pro-modular Galois representation with absolutely irreducible local restriction. The proof uses global methods, Emerton’s local-global compatibility, and \(p\)-adic uniformization of Rapoport-Zink at infinite level [1402.5606]. The same paper formulates a de Rham analogue, but with a crucial perfectoid correction. For a perfectoid space \(X\), one has \[ H^i(X,\Omega_X^j)=0 \qquad (j>0), \] so de Rham cohomology reduces to analytic cohomology of the structure sheaf: \[ H^i_{dR}(X)=H^i_{\mathrm{an}}(X,\mathcal O_X). \] This motivates the conjectural injection \[ B(\rho_p)\hookrightarrow H^1_{\mathrm{an}}(\mathcal M_{LT,\infty},\mathcal O_{\mathcal M_{LT,\infty}}) \] for continuous de Rham \(\rho_p\). The same source stresses that analytic cohomology of the Lubin-Tate perfectoid is not always admissible, so the étale-cohomological machinery does not transfer formally [1402.5606]. A separate infinite-level result identifies Lubin-Tate and Drinfeld de Rham cohomology directly. Using methods introduced by Lue Pan, the compactly supported de Rham cohomology of Lubin-Tate towers and Drinfeld towers are canonically isomorphic as \(\mathrm{GL}_{d+1}(L)\times D_{L,1/(d+1)}^\times\)-modules: \[ H^i_{\mathrm{dR},c}(M_{LT,\infty}) \cong H^i_{\mathrm{dR},c}(M_{Dr,\infty}). \] The proof proceeds through locally analytic sheaves, explicit expansions of locally analytic sections, and a double-complex interpolation between the two de Rham complexes [2503.09352]. ## 5. Explicit local geometry, reductions, and purely local methods A striking feature of the Lubin-Tate tower is that very explicit affinoid neighborhoods can already encode deep representation theory. In equal characteristic, Weinstein constructs affinoids in the Lubin-Tate tower with good reduction around unramified canonical points. Their special fibers are smooth hypersurfaces given by an explicit determinant equation: \[ \det\begin{pmatrix} V_1^{q^h}-V_1 & V_2^{q^h}-V_2 & \cdots & V_h^{q^h}-V_h \\ 1 & V_1^q & \cdots & V_{h-1}^q \\ 0 & 1 & \cdots & V_{h-2}^{q^2} \\ \vdots & & \ddots & \vdots \\ 0 & 0 & \cdots & 1 \end{pmatrix}=0. \] Granting a conjecture on the associated \(L\)-functions, the resulting \(\ell\)-adic cohomology links the Deligne-Carayol theorem to Bushnell-Kutzko types for certain wildly ramified supercuspidal representations of small conductor [1001.3226]. For \(\mathrm{GL}_2\) in odd equal characteristic, Tsushima develops this local geometry further by constructing affinoids near CM points with both unramified and ramified level structures, computing their reductions, and showing via Huber’s étale cohomology of adic spaces that the cohomology of the reductions contributes to the cohomology of the Lubin-Tate curve. The reductions include Artin-Schreier curves such as \[ X^{q^2}-X=(Y^{q(q+1)}-Y^{q+1})^{q^{n-1}-1} \] and \[ a^q-a=s^{2q^m}, \] as well as a depth-zero Deligne-Lusztig curve. These explicit models yield a purely local proof of non-abelian Lubin-Tate theory for \(\mathrm{GL}_2\) in the odd equal characteristic case, and conversely recover explicit Bushnell-Henniart descriptions geometrically [1604.08857]. These constructions clarify that the tower’s cohomology can often be accessed by carefully chosen local pieces rather than by a full global description of stable reduction. A plausible implication is that explicit affinoid analysis remains one of the most effective routes toward purely local proofs of correspondence-theoretic statements beyond the cases currently known. ## 6. Relations to other towers, arithmetic formalisms, and stack-theoretic reformulations The Lubin-Tate tower sits inside broader geometric frameworks. On the Fargues-Fontaine curve, Shtukas for general simple basic unramified EL-type Rapoport-Zink spaces are related to Lubin-Tate by a geometric formula \[ \mathrm{Sht}(G,\mu,b)\times_{Z_G(\mathbb Q_p)} \mathrm{Sht}(Z_G,\lambda) \cong \mathrm{Sht}(G,\mu\cdot \lambda, bb_\lambda). \] When \((G,\mu,b)\) is Lubin-Tate data, this expresses general EL-type spaces as twisted products of Lubin-Tate with central Shtukas, and yields explicit cohomological formulas reducing the general case to the Lubin-Tate case [1904.12381]. On the Galois-theoretic side, Lubin-Tate extensions \(L_\infty/L\) generated by torsion points of a Lubin-Tate formal module give rise to the group \(\Gamma_L=\mathrm{Gal}(L_\infty/L)\) and to Lubin-Tate \( (\varphi_L,\Gamma_L) \)-modules. Schneider and Venjakob generalize Fontaine’s cyclotomic description of local Iwasawa cohomology to arbitrary Lubin-Tate towers through an exact sequence controlled by \(\psi_L-1\), and establish explicit reciprocity laws involving Coleman power series and generalized Coates-Wiles homomorphisms [1511.04922]. A later comparison of Lubin-Tate \( (\varphi_L,\Gamma_L) \)-module categories proves that the Lubin-Tate tower is weakly decompleting but not decompleting in the sense of Kedlaya-Liu, so descent over imperfect period rings fails in general even though Herr complexes still compute Galois cohomology [2301.11617]. The tower also admits stack-theoretic and topological reinterpretations. In the stacky viewpoint, the Lubin-Tate action of the automorphism group of a formal group is encoded by quotient stacks, with \[ H^*(X/G,\mathcal F)\simeq H^*_{\mathrm{cts}}(G,\mathcal F(X)), \] and a “two tower method” relating Lubin-Tate and Drinfeld quotients through torsor stacks [2507.00309]. In a different direction, the classical Lubin-Tate tower embeds into a “degenerating Lubin-Tate tower” that admits a compatible system of presheaves of \(E_\infty\)-ring spectra, leading to an \(\ell\)-adic topological Jacquet-Langlands duality connecting representations of \(\mathrm{Aut}(\mathbb G)\) and supercuspidal representations of \(GL_n\) in chromatic homotopy theory [2311.10225]. Taken together, these developments show that the Lubin-Tate tower is not merely a deformation-theoretic moduli object. It is simultaneously a source of local Langlands realizations, a perfectoid local Shimura space, a testbed for analytic and de Rham methods, a generator of Lubin-Tate \( (\varphi,\Gamma) \)-structures, and a geometric core from which more general Rapoport-Zink, stack-theoretic, and even topological constructions can be reduced or modeled. Source: https://www.emergentmind.com/topics/lubin-tate-tower