Моде́ль Неро́на абелева многообразия, групповая схема, сопоставляемая абелеву многообразию и обладающая некоторым свойством минимальности. Если $R$ – локальное гензелево кольцо дискретного нормирования с полем вычетов $k$ и полем частных $K$, $A$ – абелево многообразие размерности $d$ над полем $K$, то моделью Нерона многообразия $A$ называется гладкая коммутативная групповая схема $\mathfrak{A}$ над кольцом $R$, общий слой которой $\mathfrak{A}_k$ изоморфен многообразию $A$, а канонический гомоморфизм $\mathfrak{A}(R) \rightarrow \mathfrak{A}_k(K)$ является изоморфизмом. Это понятие было введено А. Нероном (Néron. 1964) в случае совершенного поля $k$. В локальном случае модель Нерона существует и определена однозначно с точностью до $R$-изоморфизма. Модель Нерона обладает следующим свойством минимальности: для любой гладкой $R$-схемы $\mathfrak{X}$ и любого морфизма $\varphi: \mathfrak{A}_k \rightarrow \mathfrak{X}$ общих слоёв существует однозначно определённый морфизм $\bar{\varphi}: \mathfrak{A} \rightarrow \mathfrak{X}$ схем, индуцирующий морфизм $\varphi$.

Если $S$ – одномерная регулярная нётерова схема, $\eta$ – её общая точка, $i: \eta \rightarrow S$ – её каноническое вложение, $A$ – абелево многообразие над $k(\eta)$, то модель Нерона многообразия $A$ определяется как гладкая квазипроективная групповая схема $\mathfrak{A}$ над $S$, представляющая пучок $i_* A$ относительно плоской топологии Гротендика на $S$ (см. Raynaud. 1968).

Об обобщении понятия модели Нерона на произвольные схемы см. (Raynaud. 1966).