Let’s start with the exciting news that today I broke 100,000 views!! Thanks to all my long-time and new subscribers. I’ve decided to talk about Néron models. The other idea was just too overwhelmingly big that I’d probably use that as an excuse not to post. Let’s start with the general idea of Néron models. Suppose you start with some abelian variety, , over a number field . You could view this as an abelian variety that is defined generically over the ring of integers of , say . From this you can “spread out” the variety and get a smooth scheme over an open subset of . You could define the spread out over all of , but it won’t be smooth because it will have bad reduction at finitely many places.

The definition of Néron model will not require that be an abelian variety. For this series of posts we’ll probably keep switching between and for the notation. It essentially won’t make any difference whether or not the scheme has a group structure. The reason for the confusion is that most applications right now have to do with abelian varieties.

The idea of a Néron model is to construct an honest smooth, separated, finite type scheme over which will be canonical in some sense and also has the property that for any smooth -scheme and any morphism there is a unique -morphism extending (the Néron mapping property).

For the rest of the post we’ll just describe properties we want the Néron model to have along with some related remarks. The generality that we will mostly work with is to let be an arbitrary Dedekind scheme with field of fractions . Given any scheme over we call a scheme over an -model for if . Without specifying more properties, we clearly won’t have a unique or canonical model since we can just change in sufficiently high codimension away from the generic fiber and get non-isomorphic -models.

One property we will want our Néron model to satisfy is that is surjective. One way to think about this property is that every rational point on our starting variety has some integral point on the model that specializes to it. Later we might relate this to a notion of boundedness.

We can say that Néron models are “minimal” in the sense that if you have any other -model , then there is a unique morphism restricting to the identity on the generic fiber. Unravelling this further we find that the Néron model is canonical in the sense that is uniquely determined up to canonical isomorphism by . One interesting question that you should be asking is if we are given some arbitrary , can we tell if it is a Néron model of its generic fiber? A quick condition to check is that this happens if and if only for all closed points , the -scheme is a Néron model of its generic fiber.

Going back to the abelian variety examples. If we build a Néron model of , the group scheme structure uniquely extends to the model. This is further reason to not worry about abelian varieties in the general theory. The previous paragraph simplifies greatly when we work with a group scheme. If is an abelian scheme, then it is always a Néron model of its generic fiber. This just follows from the criterion given and Weil’s extension theorem.

The last thing to point out today is that Néron models are often not the obvious choice of model. For example, take . The variety is a smooth, separated, finite type -model of , so we might hope that it is the Néron model, but it isn’t. It even satisfies this extension property for étale points (a consequence of the Néron mapping property, but not equivalent to it). Next post we’ll have a technique to actually check this isn’t the Néron model, but for now just take it as a word of caution.