Diophantine Geometry: An Introduction
《Diophantine Geometry: An Introduction》 · 第 162 页 · Section A.9.4「Néron Model of an Abelian Variety」，Definition
Let $V/K$ be a variety. A scheme $\mathcal V\to S$ is a Néron model of $V/K$ if it is smooth over $S$ and if for every smooth scheme $\mathcal X\to S$ with generic fiber $X/K$ and every morphism $f:X/K\to V/K$ it is possible to extend $f$ to a morphism of schemes $\mathcal X\to\mathcal V$.