MH once pointed out the “linguistic trap” Grothendieck created when he defined the notion of an excellent ring: “Suppose somebody finds an even better class of rings? Then what?”
It turns out there IS an even better class of rings/schemes, which occurs naturally in some contexts.
Definition. A scheme is marvelous if it is Noetherian and excellent, and if for every irreducible component and every closed point . A ring is marvelous if is marvelous.
You can easily check that any marvelous scheme is finite-dimensional. Moreover, it turns out that a Noetherian quasi-excellent scheme is marvelous if and only if the function is a true dimension function for (in a certain technical sense). This function is of course the most naive and clean possibility for a dimension function on any given scheme, but it doesn’t always have the right properties.
Unfortunately, marvelous schemes are so marvelous that, unlike excellent schemes, they aren’t stable under many natural operations, not even under passing to an open subscheme! In fact, is marvelous if it is covered by marvelous open affines, but the converse fails. You can check that a scheme as simple as isn’t marvelous, even though is marvelous. So regular excellent schemes aren’t always marvelous, and adjoining a polynomial variable can kill marvelousity. I briefly entertained the hope that any Jacobson excellent scheme is marvelous, but this fails too (the scheme considered in EGAIV3 (10.7.3) is a counterexample).
It’s not all bad news, though:
- anything of finite type over or a field is marvelous,
- any excellent local ring is marvelous,
- any ring of finite type over an affinoid -algebra in the sense of rigid geometry is marvelous,
- any scheme proper over a marvelous scheme is marvelous; more generally, if is marvelous and is a finite type morphism which sends closed points to closed points, then is marvelous,
- if is a marvelous domain, then the dimension formula holds: for all prime ideals . (Recall that the dimension formula can fail, even for excellent regular domains.)
You might be wondering why I would care about such a stupid and delicate property. The reason is the following. Fix any marvelous scheme and any invertible on . Then there is a canonical potential dualizing complex (in the sense of Gabber) which restricts to on the regular locus of . Here is the (locally constant) dimension of the regular locus, so this numerology is the same as in the case of varieties. Moreover, for any prime invertible on , there is a good theory of -adic perverse sheaves on with the same numerology as in the case of varieties; in particular, the IC complex restricts to on the regular locus. (See sections 2.2 and 2.4 of Morel’s paper for more. Note in particular the hypothesis on in the first sentence of section 2.2: it is exactly the condition that is marvelous.) This discussion all applies, in particular, when for any -affinoid ring . This turns out to be an important ingredient in my forthcoming paper with Bhargav…
(One more comment: Most real-life examples of marvelous schemes, e.g. examples 1. and 3. above, are also Jacobson. It might be more reasonable to consider the class of marvelous Jacobson schemes, because these are permanent under finite type maps. But on the other hand we lose excellent local rings when we do this.)