arXiv:1708.06494v1 [math.AG] 22 Aug 2017 Proof. of yn oooia pc sNehra eg n oteinshm)h scheme) Noetherian any (e.g. Noetherian is point. space topological lying point. closed a of consisting lsdsubset closed o) o ntne ealta vr ffieshm a lsdpo closed a choice). has of scheme axiom affine the every to equivalent that is recall instance, For not). ..eeypitof point every i.e. ihcoe ons is,sm oin frdnac o noe c open an for redundancy of notions Definition. some First, points. closed with { a nqegnrcpit h olwn swell-known: is following 1. The Proposition point. generic unique a has so ecnigcano lsdsubsets closed of chain descending Proof. ffiecvrof cover affine pnan oe of cover affine open of 2. Theorem x } S X Let ic cee r oe,ti hw npriua htayshm w scheme any that particular in shows this sober, are schemes Since ngnrl ti fbsciprac oko htashm a closed has scheme a that know to importance basic of is it general, In nti ieto,oecngv ipetplgclcaatrzto o characterization topological simple a give can one direction, this In 2010 1 = (1) ealfo 1 htbiga ffieshm satplgclproperty. topological a is scheme affine an being that [1] from Recall { b Let (b) (a) (3) (2) (1) x otisacoe on of point closed a contains .Cos noe ffieneighborhood affine open an Choose ). in ⊇ } X If 3 = (3) X ahmtc ujc Classification. Subject Mathematics U hr xssa pnan oe of cover affine open an exists There hr xssa pncvrof cover open an exists There X U fteshmswt a es n)coe point. closed one) least (at with topologi schemes elementary the an of including schemes, on points closed Abstract. ⇒ eatplgclsae o subset a For space. topological a be { ealta oooia pc is space topological a that Recall . ssi obe to said is ⊆ { x a lsdpoint closed a has x } 3:Let (3): P V 1 ⇒ Let = Y } U\{ ∈ h olwn r qiaetfrascheme a for equivalent are following The X eapoet ftplgclspaces. topological of property a be If . [ { since 2:cerfo definitions. from clear (2): x X Let hti o oal eudn,since redundant, totally not is that Y } hsbifnt ie uvyo eut eaigt existen to relating results on survey a gives note brief This U x X eatplgclsae and space, topological a be then sgnrc so generic, is } x LSDPIT NSCHEMES ON POINTS CLOSED 1 X V X ∈ { \ sntacoe on,te otnigi hswygvsa gives way this in continuing then point, closed a not is oal redundant totally eaNehra oe oooia pc,and space, topological sober Noetherian a be o every for X sNehra.Then Noetherian. is x x } sacoe on.Ohrieteeexists there Otherwise point. closed a is eacoe on.Then point. closed a be rcl htoe ffie omabssfrtetopology the for basis a form affines open that (recall X . Y U UTNCHEN JUSTIN { sirdcbe Since irreducible. is U ∈ x ⊇ } X 42,54F65. 14A25, 1 ihproperty with hti o affine-redundant not is that if { U x U sober X 1 S ⊆ ⊇ } Y of ⊆ hti o oal redundant. totally not is that U V stecoueo n fispoints, its of any of closure the is x X U\{ ∈ feeyirdcbecoe subset closed irreducible every if { noe oe of cover open an Then . [ x let , X U 2 x ⊇ } U { \ ssi obe to said is ∈ P } X S X x V . U a characterization cal U = . . . } ssober, is : o every for \ soe,s let so open, is := S V hc tblzst a to stabilizes which [ X ∈V { ∪ V eoeteclosure the denote V n ide,this (indeed, int Y x . X P-redundant over: U 1 x U h schemes the f sasingleton a is . eof ce } ∈ oeunder- hose ∈ saclosed a as U ∈ sa open an is ons(or points { X x V { \ } Then . . ean be x  } if , 2 JUSTIN CHEN

(2) ⇒ (1): Let U be an open cover of X that is not affine-redundant. For U ∈U affine with U 6⊆ [ V , set Z := X \ [ V = U \ [ V . Then Z is V ∈ U\{U} V ∈ U\{U} V ∈ U\{U} X Z a nonempty closed subset of X, so for any x ∈ Z, {x} = {x} . Also Z is a closed subset of U, hence Z is an affine scheme (e.g. with the reduced induced subscheme structure). Thus Z has a closed point, which is then also a closed point of X.  Another way of stating Theorem 2 is that a scheme has no closed points iff every open cover is affine-redundant iff every open affine cover is totally redundant. Such schemes do exist, cf. [2] for a quasi-affine example and [3] for a general gluing construction. The following is an immediate consequence of Theorem 2: Corollary 3. Let X be a quasicompact scheme. Then X has a closed point. Proof. If X is quasicompact, then X has a finite cover by open affines, and any finite cover has a subcover that is not totally redundant.  Since a closed subset of a quasicompact space is quasicompact, Corollary 3 im- plies that every nonempty closed subscheme of a quasicompact scheme X contains a closed point of X. This leads to a characterization of the quasicompact schemes with as few closed points as possible: Proposition 4. The following are equivalent for a scheme X: (1) X is quasicompact and X has a unique closed point (2) X = Spec R for some local ring R Proof. (2) =⇒ (1): an affine scheme is quasicompact. (1) =⇒ (2): let x be the unique closed point, and U an open affine neighborhood of x. Then X \U is closed, so if X \ U were nonempty then it would contain a closed point of X, contradicting uniqueness of x. Thus X = U is affine.  In particular, spectra of local rings can be distinguished among all schemes purely by their topology. Finally, as an extension of Proposition 1, it is also true that every locally Noe- therian scheme has a closed point (cf. [4, Lemma 02IL]). Thus Theorem 2 implies that any locally Noetherian scheme has an open cover by spectra of Noetherian rings that is not totally redundant (although this is not so obvious from the definitions).

References

[1] Hochster, M. Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969), 43–60. [2] Ogus, A. https://math.berkeley.edu/~ogus/Math%20_256A--08/bigval.pdf [3] Schwede, K. Gluing schemes and a scheme without closed points, Recent progress in arithmetic and algebraic geometry (2005), 157–172. [4] Stacks Project. https://stacks.math.columbia.edu/

Department of Mathematics, University of California, Berkeley, California, 94720 U.S.A E-mail address: [email protected]