No label defined (Q4461464)

Let \(K\) be a local field, meaning that \(K\) is complete with respect to a discrete nonarchimedean valuation with valuation ring \({\mathcal O}_K\). The residue field \(k\) (of characteristic \(p> 0\)) is \textit{not} assumed to be perfect. In the case where \(k\) is perfect, \textit{X. Xarles} [J. Reine Angew. Math. 437, 167--179 (1993; Zbl 0764.14009)] studied Néron models of algebraic \(K\)-tori and in particular the group \(\Phi\) of components of the special fibre \(T_k\). The results found here, without that restriction, are inevitably less clean, and the methods are highly technical; but there is a significant gain in generality. Many of the results hold not just for tori but for arbitrary smooth commutative algebraic \(K\)-groups. In particular the component group of a local Néron model of such a \(K\)-group is shown to be finitely generated, answering a question posed by \textit{Q. Liu} and \textit{D. Lorenzini} [J. Reine Angew. Math. 532, 179--222 (2001; Zbl 0970.14025)]. Chapter 0 covers local and global Néron models, Weil restriction and other basic constructions. Chapter 1 is concerned with some special cases where Néron models of tori can be more or less explicitly given. Among these is the case of a norm torus associated with a cyclic extension of prime degree, which shows that the results of Xarles cannot hold in general. In chapter 2 the author considers arbitrary commutative algebraic \(K\)-groups and their Néron models, as above. Chapter 3 is devoted to integral models of \(K\)-tori: these are flat separated \({\mathcal O}_K\)-groups, and include the \textit{ft}-Néron models of \textit{C.-L. Chai} and \textit{J.-K. Yu} [Ann. Math. (2) 154, No. 2, 347--382 (2001; Zbl 1098.14014)] and the standard models of \textit{V. E. Voskresenskij}, \textit{B. È. Kunyavskij} and \textit{B. Z. Moroz} [St. Petersburg. Math. J. 14, 35--52 (2003); translation from Algebra Anal. 14, No. 1, 46--70 (2002; Zbl 1060.20042)]. Chapter 4 is a technical preparation, describing \(j_*\) and \(R^1j_*\) for \(j\colon \text{ Spec} K\hookrightarrow \text{ Spec}{\mathcal O}_K\) in the étale and smooth topologies. In chapter 5 the author obtains the exact sequence \[ 0\longrightarrow X(T)^I\longrightarrow \text{Hom}_{\mathbb Z}(\Phi,{\mathbb Z})\longrightarrow E(T)\longrightarrow 0 \] (attempting to control the torsionfree part of \(\Phi\) as Xarles does), where \(X(T)\) is the character group and \(I\) is the inertia subgroup of a separable closure of \(K\). \(E(T)\) is a correction term, shown to vanish in many cases. Finally, in chapter 6 the component groups are described as far as possible. \(E(T)\) is \(p\)-torsion, so \(X(T)^I\cong \text{Hom}_{\mathbb Z}(\Phi,{\mathbb Z})\) as groups, but the Galois module structures can differ, and the \(p\)-torsion part remains not fully determined.