Existence of global Néron models beyond semi-abelian varieties

Otto Overkamp,Takashi Suzuki
2024-07-31
Abstract:We first prove Bosch-Lütkebohmert-Raynaud's conjectures on existence of global Néron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the imperfect residue fields case. Finally, as a complement to the conjectures, we classify unirational wound unipotent groups "up to relative perfection", again in the perfect residue fields case. The key ingredient for all these is the duality for relatively perfect unipotent groups.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The main problems that this paper attempts to solve mainly focus on the existence of Néron models, especially in algebraic groups beyond semi - abelian varieties. Specifically: 1. **Verification of the Bosch - Lütkebohmert - Raynaud Conjecture**: - First, the author proves that in the case of a perfect residue field, for algebraic groups which are not necessarily semi - abelian varieties, the Bosch - Lütkebohmert - Raynaud conjecture (Conjecture 1.1) regarding the existence of global Néron models holds. - Then, the author gives a counter - example where the Néron model does not exist in the case of a non - perfect residue field. 2. **Relative completely unirational scarred one - parameter classification**: - As a supplement to the above - mentioned conjecture, in the case of a perfect residue field, the author classifies the "relatively complete" unirational scarred one - parameter groups. ### Main Conclusions - **Theorem 1.2**: 1. If the residue field of \( S \) at a closed point is perfect, then the Bosch - Lütkebohmert - Raynaud conjecture (including both statements) holds. 2. If the characteristic of \( K \) is positive and has a finite purely inseparable residue field, and \( S \) has infinitely many points, then there exists a unirational scarred one - parameter group \( G_K \) which has no Néron model. - **Theorem 1.3**: - For a field \( K \) with characteristic \( p>0 \) and \( [K : K^p]=p \), there is a canonical equivalence between the relatively complete version of unirational scarred one - parameter groups and the category of finite étale group schemes. ### Key Methods - **Relatively complete one - parameter groups and duality theory**: - The author makes use of relatively complete one - parameter groups and their duality theory developed by Kato et al., especially by studying the relative Frobenius isomorphism and Weil restriction to deal with these objects. - Use sheaf - Hom in duality theory to the logarithmic Hodge - Witt sheaf \( \nu_n(r) \) and, under certain conditions, relate it to \( (Res_{K^{1/p^n}/K}\mathbb{G}_m)/\mathbb{G}_m \). ### Applications - **Oesterlé's Results**: - As an application of Theorem 1.2, Oesterlé's results can be applied to the Néron model of a connected unirational scarred one - parameter group with no non - zero unirational subgroups to express its Tamagawa number. In conclusion, through in - depth study of relatively complete one - parameter groups and their duality theory, this paper solves the problem of the existence of Néron models in a broader context and provides new classification results.