Additive reduction of algebraic tori (Q1204067): Difference between revisions

For a prime number \(p\), let \(K\) be a finite extension of the \(p\)-adic number field \(\mathbb{Q}_ p\). Denote by \({\mathfrak o}\) the local ring of integers in \(K\) with the residue field \(k\). An algebraic torus \(T\) over \(K\) has the Néron model \({\mathcal T}\) over \({\mathfrak o}\) by a theorem of \textit{M. Raynaud} [C. R. Acad. Sci., Paris, Sér. A 262, 345-347 (1966; Zbl 0141.182); see also \textit{S. Bosch}, \textit{W. Lütkebohmert} and \textit{M. Raynaud}, ``Néron models'', Ergebn. Math., 3. Folge 21 (1990; Zbl 0705.14001)]. The Néron model \({\mathcal T}\) is a smooth group scheme locally of finite type over \({\mathfrak o}\). The connected component \({\mathcal T}^ \circ\) of the identity section of \({\mathcal T}\) is a smooth affine group scheme of finite type over \({\mathfrak o}\) with generic fiber \(T\). The special fiber \({\mathcal T}_ k\) is a connected commutative affine algebraic group over the finite field \(k\), hence is the product of an algebraic torus and a commutative unipotent group \(U\) over \(k\). Among other things, the authors show the following: If the ramification index \(e\) of the maximal ideal of \({\mathfrak O}\) in the minimal splitting field of \(T\) satisfies \(e<p\), then \(U\) is additive, that is, is a product of copies of the additive group \(\mathbb{G}_ a\). For the proof they use the Weil restriction of the multiplicative group \(\mathbb{G}_ m\) and a theorem of \textit{T. Ono} [Ann. Math., II. Ser. 74, 101-139 (1961; Zbl 0119.278)].