Good reduction of affinoids on the Lubin-Tate tower (Q621420)

Let \(F\) be a non-archimedean field. According to the conjecture of Deligne-Carayol [see \textit{H. Carayol}, Automorphic forms, Shimura varieties, and L-functions. Vol. II, Proc. Conf., Ann Arbor/MI (USA) 1988, Perspect. Math. 11, 15--39 (1990; Zbl 0704.11049)], the local Langlands correspondance may be realized in the cohomology of the Lubin-Tate tower. This was proved by \textit{P. Boyer} when \(F\) has positive characteristic [see Invent. Math. 138, No. 3, 573--629 (1999; Zbl 1161.11408)] and by Harris and Taylor when \(F\) is \(p\)-adic [see \textit{M. Harris} and \textit{R. Taylor}, The geometry and cohomology of some simple Shimura varieties. With an appendix by Vladimir G. Berkovich. Annals of Mathematics Studies 151. Princeton, NJ: Princeton University Press (2001; Zbl 1036.11027)], in both cases using methods that first require to embed \(F\) into a global field. In order to give a purely local proof of the conjecture of Deligne-Carayol, one could try to find a semistable model of the Lubin-Tate tower and then compute its cohomology using the weight spectral sequence of Rapoport-Zink. In the paper under review, the author takes a first step in that direction by finding, in the case where \(F\) has positive characteristic, a family of open affinoids with good reduction sitting inside the Lubin-Tate tower \((\mathfrak{X}(\pi^n))_{n\geq 0}\). These affinoids are neigbhborhoods in \(\mathfrak{X}(\pi^2)\) of canonical points associated to unramified extensions and are obtained through explicit calculations with coordinates. In particular, their reductions are hypersurfaces whose equations are given explicitely. To calcule the \(\ell\)-adic cohomology with compact supports of the affinoids, the author needs to make a conjecture on some \(L\)-function on \(\mathbb{A}^{h-1}\) (which he was able to verify when \(h=2\) and numerically in some other cases). It implies that this cohomology realizes certain Bushnell-Kutzko types.