ネロンモデル
層のことばでは、Spec(K) 上の任意のスキーム A は平坦グロタンディークトポロジーの層を表わし、Spec(K) から Spec(R) への単射写像によるプッシュフォワードを持っている。よってこの層は Spec(R) 上の層である。このプッシュフォワードがスキームにより表現されると、このスキームが A のネロンモデルである。
アーベル多様体に対して、ネロンモデルは存在し、(同型を除き)一意的であり、R 上の可換な準射影的な群スキーム(英語版)(group scheme)である。Spec(R) の閉点上のネロンモデルのファイバーは、滑らかな可換代数群であるが、アーベル多様体である必要はない。たとえば、非連結であったり、トーラスであったりすることもある。ネロンモデルは、トーラスのようなアーベル多様体に対してというよりも可換な群に対して存在するが、局所的有限のタイプしかない。ネロンモデルは加法的群に対しては存在しない。