Néron models in the setting of formal and rigid geometry (Q1345928): Difference between revisions

\(K\) is the field of fractions of a discrete and complete valuation ring \(R\). For a smooth \(K\)-scheme \(X\) one introduces the notion of Néron model. This notion is translated into terms of formal and rigid geometry over \(R\) and \(K\). A main result is the extension of Néron's existence theorem (of such a model) to the case where \(X\) is a rigid group such that the point set \(X_K(K^{sh})\) is bounded. Here \(K^{sh}\) denotes the field of fractions of the first henselization of \(R\). Also the relation between the Néron model of a finite type \(K\)-group scheme and the Néron model of the associated rigid \(K\)-group is studied. Some applications of this theory of Néron models of rigid groups are mentioned.