arXiv:2101.02126v1 [math.AG] 6 Jan 2021 hae frns nlclyrne pcs brpout r much product are tensor products the fiber is spaces, rings ringed fibe locally of that On sheaf is rings. t the one of is and first sheaves space topological spaces The underlying topological the spac spaces. of ringed describe: ringed to of easy locally category and the of natural there view, category but of the schemes), point over affine a out of in From contain, category them. them the between of (or Both rings spaces. of ringed category locally of that with aspects t why motivate us Let spaces. space ringed interest. finite analytic are or spaces manifolds ringed those th these differentiable to By (or properties schemes universal grassmannians. analogous grassmannian or have spaces that spaces projective ringed spaces, affine as such precise. more their be play us algebro-g q they Let distinct finite that where interplay. show framework do of a we methods terms provide spaces, and usin other in spaces than of formulations ringed rather study of paper, Other the this for In 12]. tool [4]. 11, a in 10, found schemes be [9, to may the in applications representations references their th found the and in be and spaces also may ringed 8] appear finite [1, spaces of example ringed treatment for finite g on (see Certain sheaves spaces literature [3]. certain ringed natorics example describe other for to of see posets study idea, finite the over in sheaves useful of be use to proved been have h uhr eespotdb eerhpoetMTM2017-860 project research by supported were authors The phrases. and words Key 2020 igdsae esslclyrne spaces ringed locally versus spaces Ringed some spaces, ringed of category the in construct, to is aim main Our behav simple particularly a with spaces ringed are spaces ringed Finite ahmtc ujc Classification. Subject Mathematics oyo igdsae.W hwhwfiiepst n hae frin of sheaves and posets finite how way. show natural We a spaces. ringed of gory Abstract. ecntutan pcs rjciesae n grassmannian and spaces projective spaces, affine construct We .S J. NHZGONZ ANCHEZ ´ igdsae nt oe,an pc,poetv pc,grass space, projective space, affine poset, finite space, ringed NVRA IGDSPACES RINGED UNIVERSAL Introduction LZADF ACOD SALAS DE SANCHO F. AND ALEZ ´ 42,0E9 61,1F5. 13F55 06A11, 05E99, 14A20, h aeoyo igdsae hrscertain shares spaces ringed of category The . 1 2P(MEC). 42-P r losrosdifferences serious also are ftean,poetv or projective affine, the of new a not is spaces eneral en.Amr systematic more A rein). so hmapa in appear them on gs eodnr brproduct fiber ordinary he sw enconstructing mean we is oercadtopological and eometric pcal cee.The schemes. specially , w oei h category the in role own eeojcsaeo some of are objects hese nt igdsae as spaces ringed finite g oedffiut(e [5]); (see difficult more ftercorresponding their of shstoadvantages two has es rohrrne spaces ringed other or ul atflwy the way, faithful fully ) ttrsotthat out turns It s). rdcsaevery are products r leri combi- algebraic e ntecate- the in s tnadobjects standard iesadtheir and uivers or n they and iour, mannian. 2 J.SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS even for schemes, their existence is not immediate. The second and major advantage is that the category of ringed spaces contains, fully faithfully, that of topological spaces, since any topological space may be considered as a ringed space by taking the constant sheaf Z as the sheaf of rings. Many general concepts or constructions on ringed spaces are signi- ficant at the topological level. Just to give an example, on any ringed space (S, OS) one can consider the category of quasi-coherent modules; in the topological case (i.e., OS = Z) this category is (under mild topological hypothesis) the category of representations of the fundamental group of S. As a general philosophy, ringed spaces are a framework where techniques from both algebraic geometry (schemes) and topology come to interplay. On the contrary, the category of topological spaces is not a fully faithful subcategory of that of locally ringed spaces. Despite all this, one may argue that the main geometric spaces (as affine or projective spaces) are locally ringed spaces (in their different contexts: algebraic, differentiable, analytic) and that they represent well described functors (functions, inver- tible quotients), where morphisms are those of locally ringed spaces. Our aim is to show that there exist natural ringed spaces that deserve the name of affine space or projective space. In order to illustrate this, let us focus our attention by the moment on the projective Pn k-scheme k−sch := Proj k[x1,...,xn+1], where k is a ring. This scheme represents the functor, over the category of k-schemes, of invertible quotients of the free module of rank n + 1; moreover, it is not difficult to prove that it represents this functor over the category of all locally ringed spaces over k. Furthermore, this functor still makes sense over the Pn category of all ringed spaces over k, hence we may ask if there is a ringed space k representing this functor. The answer is no, and this could convince someone of the advantage of the category of locally ringed spaces over that of ringed spaces; but there is a slight and natural modification of the functor that makes it representable. For this, let us first see at a glance why one cannot expect this functor to be representable on ringed spaces. Assume that S is a ringed space representing the functor of invertible quotients of n+1 the free module of rank n+1. Then, there would exist the universal quotient ǫ: OS →L, which may be thought as n + 1 sections si of L. Each of these sections define an open ′ subset Usi of S (the open subset where si is invertible). Now let h: S → S be a morphism ∗ n+1 ∗ of ringed spaces, which should be equivalent to the invertible quotient h (ǫ): OS′ → h L ∗ ′ given by the sections h (si). We have two collections of open subsets on S . On the one −1 ∗ hand, the open subsets Uh (si); on the other hand, the open subsets h (Usi ). If h is a −1 ∗ morphism of locally ringed spaces, these two coincide, i.e., Uh (si) = h (Usi ); but if h −1 ∗ is just a morphism of ringed spaces, one only has the inclusion h (Usi ) ⊆ Uh (si); this −1 ∗ means that the open subsets h (Usi ) are not determined by the sections h (si) and thus h cannot be equivalent to h∗(ǫ). This indicates how to modify the functor in order to expect representability: we have to add a topological datum (n + 1 open subsets) to the algebraic datum given by the invertible quotient. To be more precise, one must consider the functor F on ringed spaces defined as follows: F (S) is the set of couples ([L], U) where [L] is n+1 an invertible quotient of OS , given by n + 1 sections si of L, and U = {U1,...,Un+1} UNIVERSAL RINGED SPACES 3

is a covering of S satisfying Ui ⊆ Usi . This functor is representable by a ringed space Pn k , which is a ¡finite ringed space!, i.e., the underlying topological space is finite (a finite Pn Pn poset). Moreover, one has a natural morphism of ringed spaces π : k−sch → k and the ∗ Pn Pn induced morphism π : Qcoh( k ) → Qcoh( k−sch) between the categories of quasi-coherent modules is an equivalence. Finally, the non-representable original functor F ′ (of invertible ′ quotients) is π0-representable, in the sense that F (S) is identified with the set of connected components of F (S) (this set has a natural partial order, hence a topology). An An An analogous digress can be made in order to construct ringed spaces k , k−{0}, Grk(r, n) that have analogous behaviour in the category of ringed spaces to that of the affine scheme, the punctured affine scheme or the grassmannian scheme in the category of schemes (or locally ringed spaces). All these ringed spaces have, as underlying topological ∗ space, either Pn = poset of subsets of a finite set ∆n = {1,...,n}, or the poset Pn of non-empty subsets of ∆n. Taking into account that Pn is the realm of abstract simplicial complexes (in the sense that finite abstract simplical complexes are closed subsets of Pn), this gives a new light of the interplay between simplicial complexes an algebro-geometric spaces. We see in section 5 how Stanley-Reisner theory fits naturally in this context. Let us give now a more detailed description of the different parts of the paper. Section 1 is devoted to give elementary general facts about ringed spaces, locally ringed spaces, distributive lattices and the space of parts. There are no original results. If there is any proof is just for the reader convenience. An Section 2 is devoted to the affine ringed space that we have denoted k . It also could be named the n-dimensional Stanley-Reisner ringed space, since the underlying topological space is Pn, the standard combinatorial n − 1-simplex, and the sheaf of rings is given by square-free monomial localizations of the polinomial ring k[x1,...,xn]. We also introduce what we have called the algebraic and the topological n-dimensional affine ringed spaces, An An respectively denoted by alg and top. The concepts underlying these spaces are what we have called algebraic, topological and algebro-topological functions. An algebraic function on a ringed space (S, OS) is just an element of OS(S); a topological function is an open subset of S (equivalenty, a continous map S → P1); an algebro-topological function is a couple (f, U) where f is an algebric function, U an open subset and f|U is invertible. This elementary notion plays a central role in the paper. Throughout the paper, an algebro- topological concept means a couple made of the usual algebraic concept plus a topological An An An datum (usually a covering) related to it. The ringed spaces top, alg, k represent, res- pectively, the functor of n topological, algebraic and algebro-topological functions. The comparison between them and with the n-dimensional affine k-scheme is made in subsec- tion 2.4. We also introduce in subsection 2.5 the multiplicative group ringed space Gm and its actions on ringed spaces. The following subsection 2.6 is devoted to the punctured An affine ringed space k−{0}. It represents the functor of n non simultaneouly vanishing algebro-topological functions. It is the first example where we meet the problem that we outlined above for the projective scheme: The functor on locally ringed spaces represen- ted by the punctured affine scheme is no longer representable on ringed spaces. In this 4 J.SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS case, the necessary modification of the functor is just to replace algebraic functions by algebro-topological ones. Pn Section 3 is devoted to the projective n-dimensional ringed space k . It is constructed An G as the quotient of the ringed space k−{0} by the multiplicative group m. We prove in Theorem 3.0.12 that it represents the functor of algebro-topological invertible quotients of the free module of rank n + 1 (see Definition 3.0.11). Section 4 deals with the grassmannian ringed space Grk(r, n) representing the functor of algebro-topological quotients of rank r of the free module of rank n (see Definition 4.4.5). For its construction, we first construct the ringed space of algebro-topological epimorphisms kn → kr; the grassmannian is defined as the quotient of this ringed space by the linear group GLr (this group and its actions is studied in subsection 4.2). We conclude this section by constructing the Pl¨ucker embedding for the grassmannian and showing its compatibility with the Pl¨ucker embedding of the grassmannian scheme. Section 5 is only devoted to show how Stanley-Reisner theory may be reinterpreted in a natural way from our perspective. We do not give new results; we just mention some natural new problems in Stanley-Reisner theory arising from this perpective. Section 6 is intended to show some elementary functors on ringed spaces which are representable by a ringed space which does not have an analogous locally ringed space; in other words, the above examples (affine space, projective space, grassmannian) may be viewed as finite ringed spaces associated to the affine, projective or grassmannian schemes with respect to standard coverings on them; in this section we give examples of finite ringed spaces representing natural functors and that are not the finite ringed space associated to any scheme.

1. Generalities 1.1. Representable functors. In this paper we shall make without mention an extensive use of Yoneda’s lemma; thus, we shall frequently define a morphism between ringed spaces by defining the morphism between the functors that they represent. This is Grothendieck’s standard technique of the functor of points of schemes. Let C be a category. Recall that a contravariant functor F : C →{Sets} is called representable if there exists an object R of C and an element ξ ∈ F (R) such that the map

HomC(A, R) → F (A) f 7→ F (f)(ξ) is bijective for any A ∈ C. In this case we say that F is representable by R and that ξ is the universal object on R. Yoneda’s lemma states that if F, F ′ are two representable functors (with representants R and R′ respectively), then one has a bijection

′ ′ Hom(F, F ) = HomC(R, R ) where Hom(F, F ′) denotes the set of morphisms of functors bewtween F and F ′. UNIVERSAL RINGED SPACES 5

1.2. Ringed spaces over k. Throughout this paper k denotes a commutative ring with unit. The topological space with one element shall be denoted by ∗.

Definition 1.2.1. A ringed space over k is a ringed space (S, OS) such that OS is a sheaf of k-algebras. In other words, it is a ringed space over the ringed space(∗,k). A morphism of ′ ringed spaces over k is a morphism of ringed spaces (f, f#): (S , OS′ ) → (S, OS) such that f# : OS → f∗OS′ is a morphism of sheaves of k-algebras. In other words, it is a morphism ′ of ringed spaces over (∗,k). Given two ringed spaces over k, (S , OS′ ) and (S, OS), we ′ ′ shall denote by Homk(S ,S) the set of morphisms of ringed spaces over k from (S , OS′ ) to (S, OS). Any open subset U of a ringed space S inherits a ringed space structure by taking OU = OX |U , and we say that it is an open ringed subspace. ′ ′ The fiber product S ×T S of two morphisms of ringed spaces S → T and S → T over k is the ringed space ′ ′ ′ S ×T S := (S ×T S , OS×T S ) ′ −1 −1 ′ −1 ′ where S ×T S is the topological fiber product and OS×T S = π OS ⊗ π ′ OS , with S πT OT S ′ πS : S ×T S → S (resp. πS′ , πT ) the natural map. For any ringed space Z over k one has ′ ′ Homk(Z,S ×T S ) = Homk(Z,S) ×Homk(Z,T ) Homk(Z,S ). Examples 1.2.2. (1) Let us consider the forgetful functor {Ringed spaces over k}→{Topological spaces} . (T,k) 7→ T This functor has a right adjoint: any topological space T may be viewed as a ringed space over k, by taking OT = k the constant sheaf on T . We have a fully faithful functor {Topological spaces}→{Ringed spaces over k} T 7→ (T,k) which is a right adjoint of the forgetful functor; thus, for any ringed space S and any topological space T , one has

Homk(S, (T,k)) = Homcont(S, T ). The forgetful functor also has a left adjoint: any topological space T may be viewed as a ringed space over k, by taking OT = 0. We have a fully faithful functor {Topological spaces}→{Ringed spaces over k} T 7→ (T, 0) which is a left adjoint of the forgetful functor; thus, for any ringed space S and any topological space T , one has

Homk((T,k),S) = Homcont(T,S). 6 J.SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

(2) Any k-algebra A may be viewed as a ringed space over k: the punctual ringed space (∗, A). We have a fully faithful functor {k − algebras}→{Ringed spaces over k} A 7→ (∗, A) which has a left adjoint: (S, OS) 7→ OS(S). Thus, for any ringed space S and any k-algebra A one has

Homk(S, (∗, A)) = Homk-alg(A, OS(S)). This says that the punctual ringed space (∗, A) plays the role in the category of ringed spaces that the affine scheme Spec A does in the category of locally ringed spaces. More- over, one has a canonical morphism of ringed spaces Spec A → (∗, A).

(3) Ringed posets. Let (S, OS) be a ringed space such that S is a poset, i.e., the topology on S is given by a partial order ≤ on S (a subset U of S is open if and only if s ∈ U and ′ ′ s ≥ s implies s ∈ U). A sheaf of rings OS on S is equivalent to the following data: - a ring Os for each s ∈ S, ′ - a morphism of rings rss′ : Os → Os′ for any s ≤ s , ′ ′′ such that rss = idOs and rs′s′′ ◦ rss′ = rss′′ for any s ≤ s ≤ s . When S is a finite poset, then we say that (S, OS) is a finite ringed space. These appear in a natural way when considering a finite covering of a ringed space: (3.1) Finite ringed space associated to a finite covering of a ringed space (see [11], [12]). Let (S, OS) be a ringed space and let U = {U1,...,Un} be a finite open covering of S. For s each s ∈ S, let U = ∩ Ui and let us define the equivalence relation ∼ on S by: Ui∋s

′ s ∼ s′ ⇔ U s = U s Let X be the (finite) quotient set X := S/ ∼, and let us consider the topology on X given s1 s2 by the partial order [s1] ≤ [s1] iff U ⊇ U ; The quotient map π : S → X is continuous and we define OX := π∗OS; thus (X, OX ) is a finite ringed space and π is a morphism of ringed spaces. If U = {S}, then the associated finite ringed space is (∗, OS(S)).

Definition 1.2.3. A quasi-coherent module on a ringed space (S, OS) is an OS -module M which is locally a cokernel of free modules; i.e., there exists an open covering {Ui} of S and, for each i, an exact sequence of OUi -modules

⊕ OUi → ⊕ OUi →M|Ui → 0 j∈J j∈J′ for some sets of indexes J, J ′.

Definition 1.2.4. A locally free OS-module of rank r on a ringed space S is an OS-module r E which is locally isomorphic to OS , i.e., there exists an open covering {Ui} of S such that r E|Ui ≃ OUi (isomorphism of OUi -modules). If r = 1, we say that it is an invertible OS- module. UNIVERSAL RINGED SPACES 7

r Definition 1.2.5. For each OS-module M, ∧ M denotes its r-th exterior power. If E is r locally free of rank r, then ∧ E is an invertible OS-module. A morphism φ: M→N of r r r OS-modules induces a morphism ∧ φ: ∧ M → ∧ N between their exterior powers. 1.3. Locally ringed spaces.

Definition 1.3.1. A locally ringed space over k is a ringed space (X, OX ) over k such that OX,x is a local ring for any x ∈ X. A morphism of locally ringed spaces over k is a morphism of ringed spaces f : X → Y over k such that OY,f(x) → OX,x is a local morphism between local rings for any x ∈ X. Any k-scheme is a locally ringed space over k, and a morphism of k-schemes is just a morphism of locally ringed spaces over k.

′ ′ For any locally ringed spaces S,S over k, we denote by Homk−loc(S,S ) the set of morphisms of locally ringed spaces over k between them. If they are schemes, it is also ′ denoted by Homk−sch(S,S ).

1.3.1. Affine schemes. Let A be a k-algebra and Spec A its associated affine scheme. For any scheme S over k one has

Homk−sch(S, Spec A) = Homk−alg(A, OS(S)).

In other words, Spec A represents the functor S 7→ Homk−alg(A, OS(S)) over the category of k-schemes. In fact, Spec A represents this functor over the category of all locally ringed spaces over k; that is:

Proposition 1.3.2 (EGA I, 1.6.3). For any locally ringed space (S, OS) over k one has

Homk−loc(S, Spec A) = Homk−alg(A, OS(S)). An In particular, the affine n-dimensional k-scheme k−sch := Spec k[x1,...,xn] represents the functor n S 7→ OS (S) × ···×OS(S) over the category of locally ringed spaces. Gk−sch −1 Analogously, the multiplicative group k-scheme m := Spec k[t, t ] represents the functor × S 7→ OS(S) × over the category of locally ringed spaces, where OS(S) denotes the group of units of the An ring OS (S). More generally, the scheme k−sch−{0} (the complement of the zero section An 0: Spec k → k−sch) represents the functor over locally ringed spaces over k: n S 7→ {Epimorphisms of modules OS → OS} n = {(f1,...,fn) ∈ OS(S) : Uf1 ,...,Ufn is a covering} where, for any f ∈ OS(S), Uf denotes the (open) subset of S where f is a unit. 8 J.SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Pn 1.3.2. Projective and grassmannian schemes. Let us denote k−sch := Proj k[x0,...,xn] the n-dimensional projective scheme over k. For any k-scheme S one has Pn n+1 Homk−sch(S, k−sch)= {Invertible quotients of OS }. Pn n+1 Moreover, k−sch represents the functor of invertible quotients of k over the category of all locally ringed spaces over k; that is:

Proposition 1.3.3. For any locally ringed space (S, OS) over k one has Pn n+1 Homk−loc(S, k−sch)= {Invertible quotients of OS }.

Analogous result holds for grassmannians. Let Grk−sch(r, n) the scheme representing (over the category of k-schemes) the functor of locally free of rank r quotients of kn. Then

Proposition 1.3.4. For any locally ringed space (S, OS) over k one has n Homk−loc(S, Grk−sch(r, n)) = {Locally free of rank r quotients of OS}. Propositions 1.3.3 and 1.3.4 are not necessary for the rest of the paper and they are probably known. They are more intended as a motivation. We leave the proofs—rather easy anyway—to the reader.

1.4. Distributive lattices. All the results of this subsection may be found in [13]. They are not necessary for the rest of the paper, but we think that they give a very interesting point of view. Definition 1.4.1. A distributive lattice is a set A with two binary composition laws (ad- dition and product) satisfying: (1) A is a commutative semigroup under both operations (we denote by 0 and 1 the neutral element relative to the addition and the product respectively). (2) The product is distributive over the addition. (3) One has a · 0 = 0, a2 = a,1+ a = a for any a ∈ A. A morphism f : A → B of distributive lattices is a map satisfying f(0) = 0, f(1) = 1 and f(a + a′)= f(a)+ f(a′), f(a · a′)= f(a) · f(a′) for any a, a′ ∈ A. The set of morphisms of distributive lattices shall be denoted by Homd.l(A, B). Our main example is the following: for any topological space S, the set A(S) of all closed subsets in S, with + and · interpreted as intersection and union respectively, is a distributive lattice. A continuous map f : T → S induces a morphism of distributive lattices f ∗ : A(S) → A(T ), a 7→ f ∗(a) := f −1(a). One can also consider the set Open(S) of all open subsets in S, with + and · interpreted as union and intersection respectively; it is also a distributive lattice, which is isomorphic to A(S) (by sending each open subset to its complementary closed subset). On a distributtive lattice A, it makes sense to define ideals and prime ideals. We shall denote by Spec A the set of prime ideals of A. It is a topological space with the Zariski topology. UNIVERSAL RINGED SPACES 9

Theorem 1.4.2. (topological analog of Proposition 1.3.2) For any topological space S one has

Homcont(S, Spec A) = Homd.l.(A, A(S)). This theorem says that the functor A 7→ Spec A is right adjoint of the functor S 7→ A(S). In particular, one has a canonical morphism S → Spec A(S). If S is a finite poset, then S → Spec A(S) is an isomorphism. Analogously, if A is a finite distributive lattice, the natural morphism A →A(Spec A) is an isomorphism. For any distributive lattices A, B, we shall denote A ⊗ B its tensor product; one has Spec(A ⊗ B)= Spec A × Spec B. We shall denote by K the distributive lattice K = {0, 1} = A(∗); then one has

Spec A = Homd.l.(A, K). Let K[x] be the “free” distributive lattice generated by an element x; it is a distributive lattice with 3 elements: K[x]= {0, x, 1}. This plays the role of polynomials in one variable for distributive lattices, because

Homd.l(K[x], A)= A for any distributive lattice A. Thus, for any topological space one has

Homcont(S, Spec K[x]) = A(S).

Now, let us denote K[x1,...,xn] the “free” distributive lattice generated by n elements; in other words

K[x1,...,xn]= K[x1] ⊗···⊗ K[xn]. Then, for any topological space one has n Homcont(S, Spec K[x1,...,xn]) = A(S) × ···×A(S).

1.5. The space of parts. For any set X, we shall denote by P(X) the set of subsets of X and by P∗(X) the set of non-empty subsets of X. P(X) is a poset with the partial order given by inclusion: δ ≤ δ′ ⇔ δ ⊆ δ′. Hence it has a topology (a subset U of P(X) is open if δ ∈ U and δ′ ≥ δ implies δ′ ∈ U). It is clear that P∗(X) is an open subset of P(X). For our purposes, the set X will be finite, and then P(X) is a finite poset. Definition 1.5.1. The following notations will be widely used in the paper:

∆n = {1,...,n}

Pn = P(∆n) ∗ ∗ Pn = P (∆n). 10 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

For each i ∈ ∆n, let U{i} be the smallest open subset of Pn containing {i}; that is, U{i} is the set of subsets of ∆n containing i. It is immediate that U{1},...,U{n} is a covering of ∗ Pn. In section 4 we shall also use the following notations:

∆r,n = set of subsets of r elements of ∆n

Pr,n = P(∆r,n) ∗ ∗ Pr,n = P (∆r,n).

The universal property of Pn in the category of all topological spaces is given by the following theorem; for each topological space S, let us denote Open(S) the set of open subsets of S. A continuous map f : S′ → S induces a map f ∗ : Open(S′) → Open(S) such that U 7→ f −1(U), hence we have a contravariant functor, Open, from the category of topological spaces to the category of sets. Theorem 1.5.2. For any topological space S one has a functorial isomorphism n Homcont(S, Pn) = Open(S) × ···× Open(S). n That is, one has an isomorphism of functors: Homcont( , Pn) = Open ×···× Open.

Proof. For each continuous map f : S → Pn, we have the n open subsets −1 −1 f (U{1}),...,f (U{n}).

Conversely, given n open subsets U1,...,Un of S, we define the map f : S → Pn by f(s)= {i ∈ ∆n : s ∈ Ui}. It is easy to see that f is continous and that these assignations are functorial and mutually inverse. 

Remark 1.5.3. (1) The proof of the Theorem 1.5.2 shows that the open subsets U{1},...,U{n} are the universal object of Pn. (2) For n =1, ∆1 = ∗ and P1 is the totally ordered poset of two elements 0 < 1, where 0 represents the empty subset of ∗ and 1 the total subset. The equality

Homcont(S, P1) = Open(S) −1 maps f ∈ Homcont(S, P1) to f (1); conversely an open subset U of S corresponds with the continous map fU : S → P1 defined by 1, if s ∈ U f (s)= U 0, if s∈ / U (3) For n ≥ 1 one has n Pn = P1 × ···×P1. n (4) Let us denote by Covn the subfunctor of Open ×···× Open defined as n n Cov (S)= {(U1,...,Un) ∈ Open(S) : U1 ∪···∪ Un = S}. UNIVERSAL RINGED SPACES 11

Then ∗ n Homcont(S, Pn) = Cov (S). n ∗ ∗ in other words, Cov is representable by Pn; the covering U{1},...,U{n} of Pn is the universal object. (5) Theorem 1.5.2 can be generalized to any set Λ instead of ∆n in the following way: The functor OpenΛ(S) = Maps(Λ, Open(S)), is representable by the topological space P(Λ) = parts of Λ. Analogously, CovΛ is repre- sentable by P∗(Λ) = non empty parts of Λ. Remark 1.5.4. For any topological space S, one has an identification A(S) = Open(S), by sending each closed subset to its complementary open subset. Hence, one has a natural homeomorphism (see subsection 1.4)

Pn = Spec K[x1,...,xn] and an isomorphism of distributive lattices A(Pn)= K[x1,...,xn]. An 2. The affine space k Let S be a ringed space over k. 2.1. Algebraic functions.

Definition 2.1.1. An algebraic function on S is an element of OS(S). A morphism of ringed spaces over k h: S′ → S induces a morphism of k-algebras ∗ ′ h : OS(S) → OS′ (S ) between their algebraic functions; thus we have a functor 1 Aalg : {Ringed spaces over k}→{k-algebras} 1 S 7→ Aalg(S)= OS(S) 1 Proposition 2.1.2. Aalg is representable by the punctual ringed space over k A1 alg := (∗,k[x]). The universal object is given by the algebraic function x.

Proof. Homk(S, (∗,k[x]) = Homk−alg(k[x], OS (S)) = OS(S).  A1 The following remark is just to emphasize that alg is indeed the algebraic affine line: Remark 2.1.3. For any open subset U of S, one has an isomorphism of k-algebras A1 OS(U) = Homk(U, alg). Definition 2.1.4. The n-dimensional algebraic affine space over k is An A1 n A1 alg := alg ×k ···×k alg =(∗,k[x1,...,xn]) n 1 n 1 and it represents the functor Aalg = Aalg × ···× Aalg. The universal object is given by the algebraic functions x1,...,xn. 12 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

AΛ Remark 2.1.5. For any set Λ, one can define alg as the punctual ringed space AΛ alg =(∗,k[XΛ]) where k[XΛ] is the polynomial ring over k in as many variables as elements of Λ. Then, AΛ Homk(S, alg) = Maps(Λ, OS(S)). A1 Definition 2.1.6. Each algebraic function f : S → alg (i.e., f ∈ OS(S)), defines an open subset Uf := {s ∈ S : fs is a unit of OS,s}, where fs denotes the image of f in OS,s, i.e., fs is the germ of f at s. 2.2. Topological functions. Definition 2.2.1. Let us denote A(S) the set of closed subsets of S, which is a distributive lattice. A topological function on S is an element of A(S), i.e., a closed subset of S. A morphism of ringed spaces h: S′ → S induces a morphism of distributtive lattices h∗ : A(S) →A(S′); thus we have a functor 1 Atop : {Ringed spaces over k}→{Distributive lattices} 1 S 7→ Atop(S)= A(S) 1 Proposition 2.2.2. Atop is representable by the ringed space over k A1 top := (P1,k). A1 S K By Remark 1.5.4, one has top =( pec [x],k). Proof. Since taking complementary yields a functorial isomorphism A(S) = Open(S), one concludes that A(S) = Homcont(S, P1) = Homk(S, (P1,k)) by Theorem 1.5.2 and Remark 1.2.2, (1). 

Recall that P1 is a totally ordered poset of two elements, and we write P1 = {0 < 1}. A1 −1 Thus, a topological function κ: S → top corresponds to the closed subset Cκ = κ (0) of −1 ∗ S or to the open subset Uκ = κ (1). The open subset P1 of P1 is the universal object. Remark 2.2.3. In order to emphasize the analogy with the algebraic case, let us mention that the open subset Uκ can also be interpreted as the open subset of points where the germ of κ is a unit: for each s ∈ S, let us denote A1 As := lim A(U) = lim Homk(U, top) → → U U A1 where U runs over the open neighbourhoods of s. For any κ: S → top, let us denote κs the image of κ in As. Then

Uκ = {s ∈ S : κs is a unit}. UNIVERSAL RINGED SPACES 13

Definition 2.2.4. We shall define An A1 n A1 top := top ×k ···×k top =(Pn,k).

n 1 n 1 It represents the functor Atop = Atop × ···× Atop. The universal object is given by the open subsets U{1},...,U{n} of Pn. By Remark 1.5.4, one has An S K top =( pec [x1,...,xn],k). AΛ Remark 2.2.5. For any set Λ one can define top := (P(Λ),k) and one has AΛ Homk(S, top) = Maps(Λ, A(S)). An Definition 2.2.6. top has a unique closed point (the empty subset of ∆n or the maximal An ideal (x1,...,xn)), whose complement shall be denoted by top−{0}. Thus An ∗ top−{0} =(Pn,k) and it represents the functor n S 7→{(a1,...,an) ∈A(S) : a1 + ··· + an =1} n ={(U1,...,Un) ∈ Open(S) : U1 ∪···∪ Un = S}. ∗ The universal object is given by the covering U{1},...,U{n} of Pn. 2.3. Algebro-topological functions. Let S be a ringed space. An algebraic function A1 A1 f : S → alg defines an open subset Uf , hence a topological function κf : S → top. ′ However, the assignation f 7→ κf is not functorial: if h: S → S is a morphism of ringed −1 spaces, then the equality h (Uf )= Uh∗(f) does not hold (though it does if h is a morphism −1 of locally ringed spaces); only the inclusion h (Uf ) ⊆ Uh∗(f) is satisfied. Thus, in order to have a functorial behaviour, we shall define Definition 2.3.1. An algebro-topological function on S is a couple θ =(f, κ), where f is an algebraic function on S and κ is a topological function on S, such that Uf ⊇ Uκ. In other words, it is a couple (f, U) ∈ OS(S) × Open(S) such that f|U is a unit. We say that f (resp. U) is the algebraic part (resp. the topological part) of θ. Let us denote A1(S) the set of algebro-topological functions on S. It is a commutative monoid with multiplication (f, κ) · (f ′, κ′)=(f · f ′, κ · κ′) and unit (1, 1). A morphism h: S′ → S of ringed spaces induces a monoid homomorphism A1(S) → A1(S′) (f, κ) 7→ (h∗(f), h∗(κ))

−1 −1 because Uh∗(f) ⊇ h (Uf ) ⊇ h (Uκ)= Uh∗(κ). 14 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Theorem 2.3.2. The functor A1 is representable by a ringed space 1 A := (P , OA1 ), k 1 k where P = {0 < 1} and OA1 is the sheaf of rings on P given by the rings 1 k 1 −1 OA1 = k[x], OA1 = k[x, x ] k,0 k,1 and the natural inclusion k[x] → k[x, x−1].

Proof. A morphism of ringed spaces S → (P , OA1 ) is a couple (κ, κ ), where κ: S → P 1 k # 1 is a continuous map (i.e., κ is a topological function) and κ : OA1 → κ O is a morphism # k ∗ S of sheaves of k-algebras. Now, κ# is equivalent to giving morphisms of k-algebras −1 k[x]= OA1 → (κ O ) = O (S), k[x, x ]= OA1 → (κ O ) = O (U ) k,0 ∗ S 0 S k,1 ∗ S 1 S κ such that the diagram / k[x] / OS(S)

  −1 / k[x, x ] / OS (Uκ) is commutative; thus κ# is equivalent to giving an element f ∈ OS(S) (the image of x)  such that f|Uκ is a unit. A1 Remark 2.3.3. The universal object of k is given by the couple (x, U{1}), and one has A1 Ux = U{1}. Notice that x is the universal object of alg and U{1} the universal object of A1 top. Definition 2.3.4. We shall denote An A1 n A1 k := k ×k ···×k k. n It represents the functor An = A1 × ···× A1. By definition, n A An k =(Pn, O k ) An where O k is the sheaf of rings on Pn defined as follows: for each δ ∈ Pn,

An O k ,δ = k[x1,...,xn]xδ ′ An An ′ where xδ = xi, and for any δ ≤ δ the morphism O k ,δ → O k ,δ is the natural morphism iQ∈δ k[x1,...,xn]xδ → k[x1,...,xn]xδ′ , xj 7→ xj for any j.

Remark 2.3.5. Since δ = ∅ is a minimum of Pn, one has n An A An O k ( k )= O k ,∅ = k[x1,...,xn]. An The universal object of k is given by the algebro-topological functions

(x1, U{1}),..., (xn, U{n}) and one has Uxi = U{i}. UNIVERSAL RINGED SPACES 15

Λ Remark 2.3.6. For any set Λ one can define A =(P(Λ), OAΛ ), where OAΛ is defined by k k k

OAΛ = k[x ] k ,δ Λ xδ for each subset δ of Λ. Thus, one has AΛ 1 Homk(S, k ) = Maps(Λ, A (S)). An An An An 2.4. Comparison between k , alg, top and k−sch. An The algebraic functions x1,...,xn on k define a morphism An An πalg : k → alg whose functorial description is (θ1,...,θn) 7→ (f1,...,fn), with fi = algebraic part of θi. This morphism is an homotopy equivalence (in the sense of [11]). In particular, An An Qcoh( alg) ≃ Qcoh( k ). An Moreover, let us see that alg may be viewed as the space of “connected components” An An of k . For any ringed space S over k, the set Homk(S, k ) has a natural partial order An (essentially induced by the partial order of the underlying topological space Pn of k ), hence a topology. The partial order is: ′ ′ ′ ′ (θ1,...,θn) ≤ (θ1,...,θn) ⇔ fi = fi and Ui ⊆ Ui for every i =1, . . . , n, ′ ′ ′ where θi =(fi, Ui), θi =(fi , Ui ). Let us consider the map An An i(S): Homk(S, alg) → Homk(S, k )

(f1,...,fn) 7→ (θ1,...,θn), with θi =(fi, Ufi ).

The composition πalg(S) ◦ i(S) is the identity and i(S) ◦ πalg(S) ≤ id. This means that An An Homk(S, alg), with the discrete topology, is a deformation retract of Homk(S, k ). The An elements in the image of i(S) are precisely the maximal elements of Homk(S, k ) (for the partial order) and each (θ1,...,θn) is dominated by a unique maximal element. Thus An Homk(S, alg) is identified with both the set of irreducible components and the set of An connected components of Homk(S, k ). In conclusion: An An Homk(S, alg)= π0 Homk(S, k ). An The open subsets U{1},...,U{n} of k define a morphism An An πtop : k → top functorially described as (θ1,...,θn) 7→ (U1,...,Un), with Ui = topological part of θi. This morphism is the identity at the topological level. An Now, let us consider the k-scheme k−sch := Spec[t1,...,tn]. The algebro-topological An functions (ti, Uti ), i =1,...,n, of k−sch define a morphism of ringed spaces over k An An π : k−sch → k . For any locally ringed space S over k, the induced morphism (composition with π) An An Homk−loc(S, k−sch) → Homk(S, k ) 16 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

is just the map (f1,...,fn) 7→ (θ1,...,θn), with θi = (fi, Ufi ). The morphism π has the following universal property: For any locally ringed space S and any morphism of ringed An An spaces f : S → k there exists a unique morphism of locally ringed spaces floc : S → k−sch such that f ≤ π ◦ floc. An An Finally, k is the finite ringed space associated to the scheme k−sch and the open An covering { k−sch, Ux1 ,...,Uxn }. In particular (see [11]), one obtains an equivalence An An Qcoh( k ) ≃ Qcoh( k−sch).

2.5. The multiplicative group. Definition 2.5.1. The multiplicative group over k is the ringed space over k: Gk −1 m := (∗,k[x, x ]). The name is justified by the universal property: Gk × Homk(S, m)= OS(S) × for any ringed space S over k, where OS(S) denotes the set of units of OS(S). For G Gk simplicity, we shall denote m = m, since k is usually understood.

Remark 2.5.2. Since Gm represents the units of the set OS(S) of algebraic functions, it Galg would have been more natural, as before, to denote it by m and name it the algebraic multiplicative group. Let us do so for the moment. One can also ask for the representability × Gtop of the the functor S 7→ A(S) of topological units and denote its representant by m . In fact, since a distributive lattice has only one unit, one has A(S)× = {1}, and this functor Gtop 1 × is representable by m := (∗,k). Finally, one might consider the functor S 7→ A (S) of algebro-topological units, ask for its representability and denote by Gm its representant. But one has an isomorphism × ∼ 1 × OS(S) → A (S) f 7→ (f, 1) G Galg Gtop Galg and hence m = m ×k m = m . × Remark 2.5.3. The functor S 7→ OS(S) is a functor in (commutative) groups. Thus, Gm has a (commutative) group structure: one has a multiplication law

ν : Gm ×k Gm → Gm, a rational point (∗,k) → Gm, and an inversion morphism Gm → Gm, satisfying the (commutative) group axioms. It is well known that giving a Z-gradation on a k-algebra A is equivalent to giving an action of the multiplicative group scheme Spec k[t, t−1] on the affine k-scheme Spec A. Let us see that this also happens for ringed spaces. UNIVERSAL RINGED SPACES 17

Definition 2.5.4. Let S be a ringed space over k. An action of the multiplicative group Gm on S is a morphism µ: Gm ×k S → S of ringed spaces over k satisfying the standard axioms of an action; in other words, for any ringed space T over k, the map × µ(T ): OT (T ) × Homk(T,S) → Homk(T,S) × is an action of the group OT (T ) on the set Homk(T,S). −1 −1 Remark 2.5.5. Since Gm =(∗,k[t, t ]), one has Gm ×k S =(S, OS[t, t ]) and the action −1 morphism µ: (S, OS[t, t ]) → (S, OS) is the identity at the topological level (since it must be the identity when taking t = 1). Thus, the morphism µ is equivalent to a morphism of −1 sheaves of k-algebras µ# : OS → OS[t, t ] and the action axioms can be translated into the following conditions: µ# −1 t7→1 (1) (neutral element acts by the identity): The composition OS → OS[t, t ] → OS is the identity. (2) (associativity): the diagram

µ # / −1 OS / OS[x, x ]

µ# µ#⊗id  ν  −1 # / −1 −1 OS[t, t ] / OS[y,y ] ⊗OS OS[x, x ]

i i is commutative, where (µ# ⊗ id)(fx ) = µ#(f) ⊗ x and ν# is the multiplication of Gm, i.e., ν#(t)= y · x. Definition 2.5.6. Let A be a k-algebra. A Z-graded structure on A is a decomposition A = ⊕ Ai of k-modules, such that k → A maps into A0 and ai · aj ∈ Ai+j for any i∈Z ai ∈ Ai, aj ∈ Aj. Let S be a ringed space over k. A Z-graded structure on OS means a Z-graded structure on each k-algebra OS(U)(U open subset of S) such that the restriction morphisms OS(U) → OS(V ) preserve the gradation, for any V ⊆ U. Thus OS becomes a sheaf of Z-graded k-algebras. The following proposition is now clear from Remark 2.5.5:

Proposition 2.5.7. An action of Gm on S is equivalent to a Z-graded structure on OS. G G m Definition 2.5.8. Let us consider an action of m on S. The sheaf of invariants OS is defined by: Gm OS := Ker(µ# − i) −1 where i: OS → OS[t, t ] is the natural inclusion. In other words, for any open subset U of S Gm OS (U) = [OS(U)]0 18 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS where [ ]0 means the subalgebra of degree zero elements. We shall define the quotient S/Gm as the ringed space G G m S/ m := (S, OS ) and one has a natural morphism S → S/Gm which is Gm-equivariant (considering the trivial action of Gm on S/Gm).

Remark 2.5.9. Let π : Gm ×k S → S be the natural projection (this is the trivial action G −1 of m on S). Notice that π# : OS → π∗(OGm×kS) = OS[t, t ] is the natural inclusion (denoted by i in Definition 2.5.8). Then one has an exact sequence of ringed spaces over k µ G −→ G m ×k S −→ S → S/ m. π 1 Example 2.5.10. G acts on A =(P , OA1 ) by homotheties: For each ringed space T over m k 1 k k one has × 1 1 OT (T ) × A (T ) → A (T ) (λ, (f, κ)) 7→ λ · (f, κ) := (λf,κ) which is clearly functorial on T . G An An A1 A1 In the same way, m acts by homotheties on k : since k = k ×k ···×k , the action An on k is induced by the above action on each factor. Thus, for each T the action is given by the map × n n OT (T ) × A (T ) → A (T )

(λ, (θ1,...,θn)) 7→ λ · (θ1,...,θn) := (λ · θ1,...,λ · θn). An 2.6. The punctured affine space k−{0}. An An Definition 2.6.1. We shall denote by k−{0} the open ringed subspace of k whose un- ∗ derlying topological space is Pn. That is n ∗ A −{0} An k =(Pn, O k−{0}) ∗ An An where O k−{0} is the restriction of O k to Pn. G A1 Remark 2.6.2. One has m = k−{0} (as one would desire). n n n n A −{0} A An A −{0} A −{0} Remark 2.6.3. By definition, k = k × top top . Hence k represents the functor of n algebro-topological functions whose topological part is a covering; i.e., one has An n Homk(S, k−{0})= {(θ1,...,θn) ∈ A (S): Uθ1 ,...,Uθn is a covering of S}. An An The universal object is the restriction of the universal object of k to k−{0}. Remark 2.6.4. [Non-representability] On locally ringed spaces, the functor n F (S)= {(f1,...,fn) ∈ OS(S) : Uf1 ,...,Ufn is a covering of S} coincides with the functor ′ n F (S)= {Epimorphisms OS → OS} UNIVERSAL RINGED SPACES 19

An and they are both representable by the punctured scheme k−sch−{0} which is the comple- An ment of the zero section Spec k → k−sch. On ringed spaces, these functors do not coincide (F is only a subfunctor of F ′) and they are not longer representable (for n > 1, since for ′ n = 1 both are representable by Gm). Indeed, assume that F is representable by a ringed space (X, OX ). For any topological space T one has

′ n Homcont(T,X) = Homk((T, 0), (X, OX )) = F ((T, 0)) = {Epimorphisms 0 → 0} = ∗. Hence X = ∗, i.e., the representant of F ′ should be a punctual ringed space (∗, A). Then, for any locally ringed space S An ′ Homk−loc(S, k−sch−{0})= F (S) = Homk(S, (∗, A)) = Homk−loc(S, Spec A) An An and then k−sch−{0} = Spec A, which is absurd because k−sch−{0} is not an affine scheme for n> 1. The proof for F is completely analogous. An Remark 2.6.5 (π0-representability). The set Homk(S, k−{0}) has a natural partial order, An which is the restriction of the partial order given in Homk(S, k ) (see 2.4). In the same way as in 2.4, one has a natural morphism An π : Homk( , k−{0}) → F and an inclusion An i(S): F (S) → Homk(S, k−{0}) such that the composition π(S) ◦ i(S) is the identity and i(S) ◦ π(S) ≤ id. Again, F (S) is identified with both the set of irreducible components and the set of connected components An An of Homk(S, k−{0}). In conclusion, F is π0-representable by k−{0}: An F (S)= π0 Homk(S, k−{0}). An Remark 2.6.6 (Comparison with the punctured scheme k−sch−{0}). The algebro-topological An functions (xi, Uxi ), i =1,...,n, of the scheme k−sch−{0} define a morphism An An π : k−sch−{0} → k−{0}. For any locally ringed space over S k, the induced morphism (composition with π) An An Homk−loc(S, k−sch−{0}) → Homk(S, k−{0}) is just the map (f1,...,fn) 7→ (θ1,...,θn), with θi = (fi, Ufi ). For each morphism of An ringed spaces f : S → k−{0} there exists a unique morphism of locally ringed spaces An floc : S → k−sch−{0} such that f ≤ π ◦ floc. An An Finally, k−{0} is the finite ringed space associated to k−sch−{0} and the affine open covering Ux1 ,...,Uxn . Hence one has an equivalence An An Qcoh( k−sch−{0}) ≃ Qcoh( k−{0}) 20 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Pn 3. The projective space k . G An+1 Definition 3.0.1. Let us consider the action of m on k by homotheties (see Example An 2.5.10). It is immediate to see that the open ringed subspace k−{0} is invariant by this × 1 action (notice that Uλθ = Uθ for any λ ∈ OT (T ) , θ ∈ A (T )). We shall define the n-dimensional projective space over k as: Pn An+1 G k := ( k −{0})/ m. By definition, n ∗ P Pn k =(Pn+1, O k ) Gm ∗ with OPn =(OAn+1 ) ; thus, for each δ ∈ P k k −{0} n+1

Gm OPn,δ =(OAn+1 ) = [k[x1,...,xn+1]x ]0, k k −{0},δ δ ′ Pn Pn ′ and for each δ ≤ δ the morphism O k ,δ → O k ,δ is obtained by taking [ ]0 in the morphism k[x1,...,xn+1]xδ → k[x1,...,xn+1]xδ′ .

Pn 3.0.1. The canonical invertible module O k (1).

Definition 3.0.2. Pn Pn The canonical O k -module O k (1) is defined as the 1-degree elements ∗ of OAn+1 ; that is, for each δ ∈ P : k −{0} n+1

[OPn (1)]δ := [OAn+1 ]1 = [k[x1,...,xn]x ]1 k k −{0},δ δ ′ Pn Pn ′ and for each δ ≤ δ the morphism [O k (1)]δ → [O k (1)]δ is obtained by taking [ ]1 in the morphism OAn+1 → OAn+1 ′ . It is clear that OPn (1) is an OPn -module. k −{0},δ k −{0},δ k k

·xi Pn Pn Remark 3.0.3. Each variable xi defines by multiplication a morphism O k → O k (1), i.e., Pn a global section of O k (1). This morphism is an isomorphism when restricting to U{i}, Pn hence O k (1) is an invertible module (Definition 1.2.4). Moreover, Uxi = U{i}. Thus, the triplet Pn (O k (1), (x1,...,xn+1), {U{1},...,U{n+1}}) n+1 defines what we shall call an algebro-topological invertible quotient of OPn . k 3.0.2. Invertible quotients and strict invertible quotients.

Definition 3.0.4. Let e ∈L(S) be a global section of an invertible OS-module L; it may be thought as a morphism of OS-modules e: OS →L. We define

Ue := {s ∈ S : es : OS,s →Ls is an isomorphism}.

Is is immediate to see that Ue is an open subset. More generally, giving a morphism of n+1 OS-modules OS → L is equivalent to giving n + 1 global sections en+1 = (e1,...,en+1) of L, and we shall denote

Uen+1 := {Ue1 ,...,Uen+1 }. UNIVERSAL RINGED SPACES 21

Definition 3.0.5. We say that en+1 is an epimorphism if for any s ∈ S, the morphism n+1 OS,s → Ls is an epimorphism. We say that en is an strict epimorphism if Uen+1 is a covering of S. Any strict epimorphism is an epimorphism, and the converse holds if S is a locally ringed space. Definition 3.0.6. Let us consider couples

(L, en+1) where L is an invertible OS-module and en+1 are n + 1 global sections of L. Let us define the equivalence relation: ′ ′ (L, en+1) ∼ (L , en+1) ′ ′ if there exists an isomorphism φ: L→L such that φ(ei) = ei. We shall denote [L, en+1] the equivalence class of a couple (L, en+1). ′ ′ It is immediate to see that if (L, en+1) and (L , en+1) are equivalent, then en+1 is an ′ epimorphism (resp. a strict epimorphism) if and only if en+1 is so. Thus, the following definition makes sense n+1 Definition 3.0.7. An invertible quotient (resp. a strict invertible quotient) of OS is an equivalence class [L, en+1] such that en+1 is an epimorphism (resp. a strict epimorphism). On locally ringed spaces, one has: Pn Proposition 3.0.8. Let k−sch = Proj k[x1,...,xn+1] be the n-dimensional projective scheme over k. For any locally ringed space S over k one has Pn n+1 Homk−loc(S, k−sch)= {Invertible quotients of OS } n+1 = {Strict invertible quotients OS }

= {[L, en+1]: Uen+1 is a covering}. Pn Our aim now is to show that an analogous proposition holds for k after replacing invertible quotients by algebro-topological invertible quotients. 3.0.3. Algebro-topological invertible quotients. We see here how to reproduce the results of subsection 3.0.2 by replacing the sections of the invertible module by what we shall call the algebro-topological sections, in an analogous way as when we replaced algebraic functions by algebro-topological ones.

Definition 3.0.9. An algebro-topological section of an invertible OS-module L is a couple

θ =(e,U) where e ∈ L(S) and U is an open subset such that Ue ⊇ U (i.e., e|U : OU → L|U is an isomorphism). We shall denote Uθ := U = Ue ∩ U and name it the topological part of θ, while e is called the algebraic part of θ. If h: S′ → S is a morphism of ringed spaces, then h∗θ := (h∗(e), h−1(U)) is an algebro- topological section of h∗L. 22 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Definition 3.0.10. Let us consider couples

(L, θn+1) where L is an invertible OS-module and θn+1 =(θ1,...,θn+1) are n + 1 algebro-topological ′ ′ sections of L. Two couples (L, θn+1) and (L , θn+1) are said to be equivalent if they have ′ the same topological part (i.e., Uθi = Uθi for every i) and they have equivalent algebraic ′ ′ ′ parts (i.e., there exists an isomorphism φ: L→L such that φ(ei)= ei for any i, with ei, ei ′ the algebraic parts of θi, θi). We shall denote

[L, θn+1] the equivalence class of a couple (L, θn+1) under this equivalence relation.

Notation. For each θn+1 =(θ1,...,θn+1) we shall denote

Uθn+1 := {Uθ1 ,...,Uθn+1 }. n+1 Definition 3.0.11. An algebro-topological invertible quotient of OS is an equivalence class [L, θn+1] such that Uθn+1 is a covering of S. In other words, it is a couple

([L, en+1], Un+1) n+1 where [L, en+1] is a strict invertible quotient of OS (Definition 3.0.7) and Un+1 is a covering by n + 1 open subsets refining Uen+1 (i.e., Ui ⊆ Uei for every i =1,...,n). ′ If h: S → S is a morphism of ringed spaces and [L, θn+1] is an algebro-topological n+1 ∗ ∗ n+1 quotient of OS , then [h L, h (θn+1)] is an algebro-topological quotient of OS′ . Thus we have a functor of algebro-topological quotients and we shall see now that it is representable Pn by k . Theorem 3.0.12. (compare with Proposition 3.0.8) For any ringed space S over k one has: Pn n+1 Homk(S, k )= {Algebro-topological invertible quotients of OS }

= {[L, θn+1]: Uθn+1 is a covering}.

Pn Proof. The triplet τ = (O k (1), (x1,...,xn+1), {U{1},...,U{n+1}}) (see Remark 3.0.3) de- n+1 fines an algebro-topologial invertible quotient of OPn . By Yoneda, this defines a functorial k morphism n n+1 Homk(S, P ) →{Algebro-topological invertible quotients of O } S . h 7→ [h∗τ]

Let us define the inverse. Let ψ = [L, θn+1] be an algebro-topological invertible quotient n+1 of OS . Put θi =(ei, Ui), i =1,...,n + 1.

Let us fix i ∈{1,...,n +1}. By definition, ei|Ui : OUi →L|Ui is an isomorphism. Hence f i := e −1 ◦ e is an algebraic function on U that only depends of the isomorphism class j i|Ui j|Ui i [L, θn+1]. We have then n + 1 algebro-topological functions on Ui i i i i θ1,...,θn+1, θj := (fj , Uj ∩ Ui) UNIVERSAL RINGED SPACES 23

An+1 that define a morphism hi : Ui → k −{0}, hence a morphism Pn π ◦ hi : Ui → k , An+1 Pn where π : k −{0} → k is the quotient morphism. On the intersections Ui ∩ Uj one has that h = λ·h , with λ = e −1 ◦e ∈ O (U ∩U )×. Hence π◦h and π◦h i|Ui∩Uj j|Ui∩Uj i|Ui∩Uj j|Ui∩Uj S i j i j coincide on U ∩ U . This gives a unique morphism h : S → Pn such that h = π ◦ h . i j ψ k ψ|Ui i ∗ We leave to the reader to check that the assignations h 7→ [h τ] and ψ 7→ hψ are mutually inverse.  Pn Remark 3.0.13. [Non-representability, π0-representability and comparison with k−sch] (1) The functors F, F ′ : {Ringed spaces over k}→{Sets} defined by n+1 F (S)= {Invertible quotients of OS } ′ n+1 F (S)= {Strict invertible quotients of OS } P0 are not representable (for n> 0, since for n = 0 they are both representable by k =(∗,k)). The proof is completely analogous to that of Remark 2.6.4. Pn (2) The set Homk(S, k ) has a natural partial order: ′ ′ ′ ′ ′ [L, θn+1] ≤ [L , θn+1] iff [L, en+1] = [L , e n+1] and Uθi ⊆ Uθi for every i =1,...,n +1, ′ ′ Pn where ei (resp. ei) is the algebraic part of θi (resp. θi). Thus, Homk( , k ) is a functor from ringed spaces to posets. Now, one has a natural morphism Pn ′ π : Homk( , k ) → F defined as: π(S)([L, θn+1]) = [L, en+1], with ei the algebraic part of θi. Moreover, one has an inclusion ′ Pn i(S): F (S) → Homk(S, k ) defined as i(S)([L, en+1]) = [L, θn+1], with θi = (ei, Uei ). The composition π(S) ◦ i(S) is the identity and i(S) ◦ π(S) ≤ id. This means that F ′(S), with the discrete topology, is a Pn deformation retract of Homk(S, k ). The elements in the image of i(S) are precisely the Pn maximal elements of Homk(S, k ) (for the partial order) and each [L, θn+1] is dominated by a unique maximal element. Thus F ′(S) is identified with both the set of irreducible Pn ′ components and the set of connected components of Homk(S, k ). In conclusion F is Pn π0-representable by k : ′ Pn F (S)= π0 Homk(S, k ). Pn (3) Let k−sch := Proj k[x1,...,xn] be the n-dimensional projective space over k. The triplet (OPn (1), (x ,...,x ), {U ,...,U }) k−sch 1 n+1 x1 xn+1 gives a morphism Pn Pn π : k−sch → k . 24 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

For any locally ringed space S over k, the induced morphism (composition with π) Pn Pn Homk−loc(S, k−sch) → Homk(S, k ) is just the map [L, en+1] 7→ [L, θn+1], with θi = (ei, Uei ). For each morphism of ringed Pn Pn spaces f : S → k there exists a unique morphism of locally ringed spaces floc : S → k−sch such that f ≤ π ◦ floc. Pn Pn Finally, k is the finite ringed space associated to the scheme k−sch and its standard affine covering Ux1 ,...,Uxn+1 . Thus, we have an equivalence Pn Pn Qcoh( k ) ≃ Qcoh( k−sch).

4. Grassmannian

In this section we shall construct the grassmannian ringed space Grk(r, n) and show that has a universal property on ringed spaces analogous to that of the grassmannian scheme on schemes. We shall first introduce the ringed space of epimorphisms kn → kr; the grassmannian will be the quotient of this space by the action of the linear group. 4.1. Algebro-topological epimorphisms of type (r, n).

n r Definition 4.1.1. We shall denote by Homk(k ,k ) the ringed space representing de func- tor n r S 7→ HomOS (OS, OS).

n r It is a punctual ringed space and OHomk(k ,k ) is the polinomial ring in r × n variables. One H n An H n has natural isomorphisms omk(k,k )= alg = om(k ,k).

Definition 4.1.2. Recall that we denote by ∆r,n the set of subsets of r elements of ∆n. n r n−r n Each δ ∈ ∆r,n induces a decomposition k = k ⊕ k (if e1,...,en is the basis of k , then r n−r n r n−r k =< ej >j∈δ, k =< ej >j∈ /δ), hence a decomposition OS = OS ⊕ OS for each ringed n r space S over k. For each morphism of OS-modules φ: OS → OS and each δ ∈ ∆r,n we shall denote r r n−r r φδ : OS → OS, φδc : OS → OS n r n−r the restrictions of φ to the factors of the decomposition OS = OS ⊕ OS induced by δ. ∗ Finally, let us recall that we denote by Pr,n the space of parts of ∆r,n and by Pr,n the open subset of non-empty parts of ∆r,n.

Definition 4.1.3. Let δ ∈ ∆r,n. We define the algebraic function H n r H A1 detδ : omk(k ,k ) → omk(k,k)= k−alg r . φ 7→ detδφ := ∧ φδ n r Definition 4.1.4. We say that φ: OS → OS is an epimorphism if it is an stalkwise r ∆r,n epimorphism. We say that φ is an strict epimorphism if ∧ φ: OS → OS is a strict r epimorphism, i.e. U∧rφ is a covering of S (see Definition 3.0.5). Notice that ∧ φ is given by the collection of algebraic functions {detδ φ}δ∈∆r,n . UNIVERSAL RINGED SPACES 25

Any strict epimorphism is an epimorphism. The converse holds if S is a locally ringed space. Definition 4.1.5. An algebro-topological epimorphism of type (r, n) on S is a couple

(φ, U∆r,n ) where: n r (1) φ: OS → OS is a morphism of modules,

(2) U∆r,n = {Uδ} is an open covering of S (indexed by ∆r,n), and r (3) U∆r,n ⊆ U∧ φ (i.e., Uδ ⊆ Udetδ φ for each δ ∈ ∆r,n). Notice that conditions (2) and (3) imply that φ is a strict epimorphism. We shall denote alg-top n r EpimOS (OS, OS) the set of algebro-topological epimorphism of type (r, n) on S. A morphism of ringed spaces h: T → S induces a map alg-top n r alg-top n r EpimOS (OS, OS) → EpimOT (OT , OT ) ∗ −1 ∗ ∗ by sending (φ, U∆r,n ) to (h φ, h (U∆r,n )) (notice that detδ(h φ)= h (detδ φ)). Theorem 4.1.6. The functor F : {Ringed spaces over k}→ Sets alg-top n r S 7→ F (S) = EpimOS (OS, OS) is representable. Proof. Let us consider the morphisms H n r H ∆r,n A∆r,n omk(k ,k ) → omk(k ,k)= k−alg φ 7→ ∧rφ A∆r,n A∆r,n k −{0} → k−alg (f, U) 7→ f Then F is representable by the fibred product H n r A∆r,n omk(k ,k ) ×A∆r,n k −{0}. k−alg 

E alg-top n r Definition 4.1.7. We shall denote by pimk (k ,k ) the representant of F . The proof of the theorem shows that E alg-top n r ∗ pimk (k ,k )=(Pr,n, OEpim) ∗ where OEpim is the sheaf of rings on Pr,n (see Definition 4.1.2) defined as follows: for each ∗ n r δ = {δ1,...,δl} ∈ Pr,n, OEpim,δ is the localization of the polynomial ring OHomk(k ,k ) by ′ ′ the algebraic functions detδ1 ,..., detδl . For each δ ≤ δ the morphism OEpim,δ → OEpim,δ is the natural one.

The universal object is the couple (Φ, U∆r,n ) where: 26 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

n r (1) Φ: OEpim → OEpim is a strict epimorphism, which is the pullback of the universal H n r E alg-top n r H n r object of omk(k ,k ) by the natural morphism pimk (k ,k ) → omk(k ,k ). ∗ (2) U∆r,n = {Uδ} is the universal covering of Pr,n; that is, Uδ = U{δ}. r One has U∆r,n = U∧ Φ. 4.2. Linear group. Definition 4.2.1. The functor GLr : {Ringed spaces over k}→{Groups} r S 7→ AutOS (OS)=GLr(OS(S)) is representable by the punctual ringed space over k

GLr := (∗,k[xij]det) where xij are r × r variables and det is the determinant of the matrix (xij).

Definition 4.2.2. An action of GLr on a ringed space S over k is a morphism of ringed spaces µ: GLr ×k S → S satisfying the standard axioms of an action. Since GLr is a punctual ringed space, the action µ is equivalent to a morphism of sheaves of algebras

µ# : OS → OS ⊗k k[xij]det.

GLr The sheaf of invariants OS is defined by: GLr OS := Ker(µ# − i) where i: OS → OS ⊗k k[xij ]det is the natural inclusion (i.e., i(a)= a ⊗ 1). We shall define the quotient S/GLr as the ringed space G G Lr S/ Lr := (S, OS ) and one has a natural morphism S → S/GLr which is GLr-equivariant (considering the trivial action of GLr on S/GLr).

Examples 4.2.3. (1) The left action of GLr on itself is defined by the multiplication law ′ ′ of GLr: µ(g,g )= g ◦ g . One has that

GLr/GLr =(∗,k)

GLr since (k[xij]det) = k. We shall always assume this action of GLr on itself unless otherwise specified. (2) Let Strivial be a ringed space over k endowed with the trivial action of GLr. Then

(GLr ×k Strivial)/GLr = Strivial.

If S is a ringed space with an action of GLr, then one has an equivariant isomor- ∼ −1 phism GLr ×k S → GLr ×k Strivial, given by (g,s) 7→ (g,g · s), and then

(GLr ×k S)/GLr ≃ Strivial. UNIVERSAL RINGED SPACES 27

n r (3) GLr acts on Homk(k ,k ) by left composition: µ(g,φ)= g ◦ φ. 4.3. Grassmannian. G E alg-top n r Definition 4.3.1. One has a natural action of Lr on pimk (k ,k ), namely G E alg-top n r E alg-top n r Lk ×k pimk (k ,k ) → pimk (k ,k ) (g, (φ, U)) 7→ (g ◦ φ, U)

(notice that U∧r(g◦φ) = U∧rφ). We define the grassmannian ringed space Grk(r, n) as the quotient E alg-top n r G Grk(r, n) := pimk (k ,k )/ Lr. By definition, ∗ Grk(r, n)=(Pr,n, OGrk(r,n))

GLr where OGrk(r,n) = OEpim. E alg-top n r Let us see the local structure of the quotient morphism π : pimk (k ,k ) → Grk(r, n). ∗ Definition 4.3.2. Pr,n is covered by the open subsets U{δ}, δ ∈ ∆r,n. We shall denote by E δ n r E alg-top n r pimk(k ,k ) the open ringed subspace of pimk (k ,k ) whose underlying topological space is U{δ}: δ n r Epim (k ,k ) := (U{δ}, OEpim ). k |U{δ} δ Analogously, Grk(r, n) denotes the open ringed space of Grk(r, n) with underlying topo- logical space U{δ}.

E δ n r E alg-top n r Remark 4.3.3. pimk(k ,k ) represents the subfunctor of pimk (k ,k ) of the couples alg-top n r G (φ, U∆r,n ) ∈ EpimOS (OS, OS) such that Uδ = S. In particular, it is a Lr-invariant open E alg-top n r ringed subspace of pimk (k ,k ) and E δ n r G δ pimk(k ,k )/ Lk = Grk(r, n).

Proposition 4.3.4. One has a GLr-equivariant isomorphism E δ n r G pimk(k ,k ) ≃ Lr ×k Xδ where Xδ is a ringed space endowed with the trivial action of GLr (the explicit description of Xδ shall be given in the proof). Consequently

δ Grk(r, n) ≃ Xδ E alg-top n r and the quotient morphism π : pimk (k ,k ) → Grk(r, n) is locally trivial: −1 δ G δ π (Grk(r, n)) ≃ Lr ×k Grk(r, n). 28 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

H n r A1 Proof. Let us consider the algebraic function detδ : omk(k ,k ) → alg and let us denote δ n r n r n r Hom (k ,k )= Hom (k ,k )×A1 G . It represents the subfunctor of Hom (k ,k ) given k k alg m k n r G H δ n r by the morphisms φ: OS → OS such that φδ is an isomorphism. Lr acts on omk(k ,k ) by left composition. One has an isomorphism H δ n r G H n−r r omk(k ,k ) → Lr ×k omk(k ,k ) −1 φ 7→ (φδ,φδ ◦ φδc ) g + g · ψ ← (g, ψ)

n−r r which is GLr-equivariant, considering the trivial action on Homk(k ,k ). For every ′ ′ φ = g + g · ψ, the condition Uδ ⊆ Udetδ′ φ is equivalent to the condition Uδ ⊆ Udetδ′ (1+ψ). E δ n r Thus we have a bijection between the set of couples (φ, {Uδ′ }δ′∈∆r,n ) ∈ pimk(k ,k ) and ′ ′ ′ the set of triplets (g, ψ, {Uδ }δ 6=δ) such that Uδ ⊆ Udetδ′ (1+ψ), whose inverse maps a triplet (g, ψ, {Uδ′ }δ′6=δ) to the couple (g + g · ψ, {Uδ′ }δ′6=δ ∪{Uδ = S}). Hence, if we consider the morphisms H n−r r A∆r,n−{δ} omk(k ,k ) → k−alg

ψ 7→ (detδ′ (1 + ψ))δ′6=δ

A∆r,n−{δ} A∆r,n−{δ} k → k−alg (f, U) 7→ f it suffices to define Xδ as their fibred product H n−r r A∆r,n−{δ} Xδ := omk(k ,k ) ×A∆r,n−{δ} k . k−alg 

4.4. Algebro-topological quotients of rank r. Let E be a locally free module of rank n r ∆r,n r r on a ringed space S. Let φ: OS →E be a morphism of modules and ∧ φ: OS → ∧ E the induced morphism. Notice that ∧rE is an invertible module.

r Notation. For each δ ∈ ∆r,n, let φδ : OS → E be the restriction of φ to the factor r n r n−r r ∆r,n r OS of the decomposition OS = OS ⊕ OS induced by δ. Then ∧ φ: OS → ∧ E is the r r collection of sections ∧ φδ of ∧ E. Definition 4.4.1. We say that φ is an epimorphism if it is a stalkwise epimorphism, This is equivalent to say that ∧rφ is an epimorphism. We say that φ is a strict epimorphism r if ∧ φ is a strict epimorphism, i.e. if U∧rφ is a covering (see Definition 3.0.5). Any strict epimorphism is an epimorphism, and the converse holds if S is a locally ringed space. Definition 4.4.2. Let us consider couples (E,φ) UNIVERSAL RINGED SPACES 29

n where E is a locally free module of rank r and φ: OS →E is a morphism of modules. Let us define the equivalence relation: (E,φ) ∼ (E ′,φ′) ⇔ there exists an isomorphism ψ : E→E ′ such that ψ ◦ φ = φ′ We shall denote [E,φ] the equivalence class of a couple (E,φ) under this equivalence rela- tion. It is immediate to see that if (E,φ) and (E ′,φ′) are equivalent, then φ is an epimorphism (resp. a strict epimorphism) if and only if φ′ is so. Thus, the following definition makes sense.

n Definition 4.4.3. A locally free quotient of rank r of OS (resp. an strict locally free n quotient of rank r of OS ) is an equivalence class [E,φ] such that φ is an epimorphism (resp. a strict epimorphism).

Proposition 4.4.4. Let Grk−sch(r, n) be the grassmannian scheme over k. For any locally ringed space S over k one has n Homk−loc(S, Grk−sch(r, n))) = {Locally free quotients of rank r of OS} n = {Strict locally free quotients of rank r of OS}

= {[E,φ]: U∧rφ is a covering}. n Definition 4.4.5. An algebro-topological quotient of rank r of OS is a couple

([E,φ], U∆r,n ) where: n (1) [E,φ] is an equivalence class (with E a locally free module of rank r and φ: OS →E a morphism of modules),

(2) U∆r,n = {Uδ} is a covering of S, indexed by ∆r,n, and r r (3) U∆r,n ≤ U∧ φ, that is, Uδ ⊆ U∧ φδ for every δ ∈ ∆r,n.

[E,φ] is called the algebraic part of the algebro-topological quotient and U∆r,n the topo- logical part. Notice that conditions (2) and (3) imply that [E,φ] is a strict locally free n quotient of rank r of OS. ′ If h: S → S is a morphism of ringed spaces, and ψ = ([E,φ], U∆r,n ) is an algebro- n topological quotient of rank r of OS then ∗ ∗ −1 h ψ := (h [E,φ], h (U∆r,n )) n is an algebro-topological quotient of rank r of OS′ .

4.5. The universal bundle on Grk(r, n). Let us denote, for short, E E alg-top n r pim = pimk (k ,k ) and let (Φ, U∆r,n ) be the universal object; recall that n r Φ: OEpim → OEpim 30 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

is a strict epimorphism, U∆r,n = {U{δ}} and U{δ} = Udetδ Φ. The epimorphism Φ may be viewed as a morphism over Epim:

n Φ / r Epim ×k A / Epim ×k A k−❖alg k−alg ❖❖❖ ♦♦♦ ❖❖❖ ♦♦♦ ❖❖❖ ♦♦♦ ❖' w♦♦ Epim which is described by the morphism of functors ((φ, U), f) 7→ ((φ, U),φ ◦ f) An H n Ar (we are thinking f ∈ k−alg = omk(k,k ) and analogously for k−alg) This triangle G An Ar H r is Lr-equivariant, acting trivially on k−alg and by the left on k−alg = omk(k,k ). Moreover, each δ induces a morphism over Epim E Ar E An 1 × δ : pim ×k k−alg → pim ×k k−alg G Ar which is Lr-equivariant (acting trivially on k−alg) and whose composition with Φ is an isomorphism over Epimδ. Taking the quotient by GLr one obtains morphisms over Grk(r, n):

¯ Ar 1×δ / An Φ / E Ar G Grk(r, n) ×k k−alg / Grk(r, n) ×k k−alg / ( pim ×k k−alg)/ Lr ❚❚❚❚ ✐✐✐ ❚❚❚ ✐✐✐✐ ❚❚❚❚ ✐✐✐ ❚❚❚ ✐✐✐✐ ❚*  t✐✐ Grk(r, n)

δ and the composition Φ ◦ 1 × δ is an isomorphism over Grk(r, n). E Ar G Definition 4.5.1. Let us denote Q = ( pim ×k k−alg)/ Lr and let Q be the sheaf of sections of Q → Grk(r, n). Then Q is a locally free OGrk(r,n)-module of rank r. The morphism Φ may be viewed as a morphism of modules Φ: On → Q and it satisfies Grk(r,n) r U{δ} = U∧ Φδ . In conclusion

([Q, Φ], U∆r,n ) is an algebro-topological quotient of rank r of On . This is called the universal algebro- Grk(r,n) topological quotient on the grassmannian.

Theorem 4.5.2. (compare with Proposition 4.4.4) Grk(r, n) represents the functor of algebro-topological quotients of rank r of the free module of rank n. That is n Homk(S, Grk(r, n)) = {Algebro-topological quotients of rank r of OS}.

Proof. By Yoneda, the universal algebro-topological quotient u = ([Q, Φ], U∆r,n ) defines a functorial morphism n Homk(S, Grk(r, n)) →{Algebro-topological quotients of rank r of OS} h 7→ h∗u. UNIVERSAL RINGED SPACES 31

Let us construct the inverse. Let θ = ([E,φ], U∆r,n )] be an algebro-topological quotient of n r rank r of OS. For each δ ∈ ∆r,n, φδ : OS →E is an isomorphism on Uδ. Hence we have a strict epimorphism −1 φδ ◦φ|U n |Uδ δ r OUδ −→ OUδ which, together with the covering Uδ ∩ U∆r,n , defines a morphism E alg-top n r hδ : Uδ → pimk (k ,k ) ′ and, then a morphism π ◦ hδ : Uδ → Grk(r, n). If we take a different δ , then hδ and hδ′ differ, on Uδ ∩ Uδ′ , in an element of GLr(OS(Uδ ∩ Uδ′ )); hence π ◦ hδ and π ◦ hδ′ agree on ′ Uδ ∩ Uδ . This defines a morphism hθ : S → Grk(r, n) (unique such that hθ|Uδ = π ◦ hδ). We ∗ leave the reader to check that the assignations h 7→ h u, θ 7→ hθ are mutually inverse. 

Remark 4.5.3 (Non-representability, π0-representability and comparison with Grk−sch(r, n)). We reproduce Remarks 2.6.4 and 3.0.13 for the grassmannian. The proofs are completely analogous. (1) The functors F, F ′ : {Ringed spaces over k}→ Sets defined by n F (S)= {Locally free quotients of rank r of OS} ′ n F (S)= {Strict locally free quotients of rank r of OS} are not representable (for n>r, since for n = r they are both representable by (∗,k)). (2) The set Homk(S, Grk(r, n)) has a natural partial order (the partial order induced by inclusion of the topological parts and equality of the algebraic parts); one has a natural morphism ′ π : Homk( , Grk(r, n)) → F ′ and F is π0-representable by Grk(r, n): ′ F (S)= π0 Homk(S, Grk(r, n)).

(3) Let Grk−sch(r, n) be the grassmannian scheme representing (in the category of k- schemes) the functor of locally free quotients of rank r of the free module of rank n. Let Φ : On → Q be the universal quotient and {Grδ (r, n)} the standard sch Grk−sch(r,n) sch k−sch δ∈∆r,n δ affine open covering (Grk−sch(r, n) is the set of points where (Φsch)δ is an isomorphism). These data define a morphism

π : Grk−sch(r, n) → Grk(r, n). For any locally ringed space S over k, the induced morphism

Homk−loc(S, Grk−sch(r, n)) → Homk(S, Grk(r, n)) is just the map [E,φ] 7→ ([E,φ], U∧rφ). For each morphism of ringed spaces f : S → Grk(r, n) there exists a unique morphism of locally ringed spaces floc : S → Grk−sch(r, n) such that f ≤ π ◦ floc. 32 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Finally, Grk(r, n) is the finite ringed space associated to the scheme Grk−sch(r, n) and δ the affine covering {Grk−sch(r, n)}δ∈∆r,n . Thus, we have an equivalence

Qcoh(Grk(r, n)) ≃ Qcoh(Grk−sch(r, n)). 4.6. The Pl¨ucker embedding. We have already considered the morphism Hom (kn,kr) → Hom (k∆r,n ,k)= A∆r,n k k k−alg. φ 7→ ∧rφ In the same way we may define the Pl¨ucker-type morphism E n r E ∆r,n A∆r,n P : pimk(k ,k ) → pimk(k ,k)= k −{0} (φ, U) 7→ (∧rφ, U). G E n r G A∆r,n Lr acts on pimk(k ,k ) by the left and m acts on k −{0} by homotheties. Moreover one has the morphism of groups

Det: GLr → Gm g 7→ det g. P is equivariant with respect to Det. That is, one has P (g · (φ, U)) = (det g) · P (φ, U). Thus, one obtains a morphism between the quotients n −1 P(r) P : Grk(r, n) → k which is called the Pl¨ucker embedding of the grassmannian. Its functorial description is P ([E,φ], U) = ([∧rE, ∧rφ], U). Notice that P and P are the identity on the underlying topological spaces. The Pl¨ucker embedding P is compatible with the usual Pl¨ucker embedding of schemes n −1 P(r) P sch : Grk−sch → k−sch ; that is, one has a commutative diagram / Grk−sch(r, n) / Grk(r, n)

P sch   P n −1 n −1 P(r) / P(r) k−sch / k since, for any locally ringed space S over k, the diagram / Homk−loc(S, Grk−sch(r, n)) / Homk(S, Grk(r, n))

  n −1 n −1 P(r) / P(r) Homk−loc(S, k−sch ) / Homk(S, k ) is commutative. UNIVERSAL RINGED SPACES 33

5. Stanley-Reisner theory

For all this section, k denotes a field. Let us recall some notations: Pn is the set of subsets of ∆n = {1,...,n}, with the topology associated to the partial order given by ∗ inclusion, and Pn is the set of non-empty subsets of ∆n, which is an open subset of Pn. For each i ∈ ∆n, U{i} denotes the smallest open subset of Pn containing {i}. Thus, U{i} is ∗ the set of subsets of ∆n containing the element i and Pn is covered by U{1},...,U{n}. Definition 5.0.1. By a simplicial complex we shall mean a finite abstract simplicial com- plex, i.e., a non empty closed subset K of Pn, for some n. Bya reduced simplicial complex ∗ ∗ we mean a non empty closed subset K of Pn. Obviously, any simplical complex K pro- duces a reduced one K∗ = K − {∗} (except when K = {∗}) and conversely, a reduced simplicial complex K∗ gives a simplicial complex K = K∗ ∪ {∗}.

Definition 5.0.2. Let K be a simplicial complex. For each p ∈ K we shall denote by Up (resp. Cp) the smallest open (resp. closed) subset of K containing p. In other words

Up = {q ∈ K : q ≥ p}, Cp = {q ∈ K : q ≤ p}. The link of p is ∗ linkK (p)= {q ∈ K : Up ∩ Uq =6 ∅ and Cp ∩ Cq = {∗}}. It is a closed subset of K∗. If K∗ is a reduced simplicial complex, for each p ∈ K∗ we shall denote ∗ linkK∗ (p) = linkK(p) (K = K ∪ {∗}). A simplicial complex K is called Cohen-Macaulay (over k) if for any p ∈ K

Hi(linkK (p),k)=0, for every i< dim linkK(p),

∗ where Hi denotes reducede homology. A reduced simplicial complex K is called Cohen- Macaulay (over k) if it is pure and for any p ∈ K∗ e Hi(linkK∗ (p),k)=0, for every i< dim linkK∗ (p). An Let us consider theen-dimensional affine k-scheme k−sch = Spec k[x1,...,xn]. The open subsets Ux1 ...,Uxn define a continuous surjective map An π : k−sch → Pn. −1 Definition 5.0.3. Let K be a closed subset of Pn. Then π (K) is a closed subset An −1 An of k−sch, which defines a—unique—reduced closed subscheme π (K)sch of k−sch. This closed subscheme is defined by a radical ideal I of k[x1,...,xn]. This is the Stanley-Reisner ideal associated to the abstract simplicial complex K, and it is ususally denoted by IK. Thus −1 π (K)sch = Spec k[x1,...,xn]/IK and k[x1,...,xn]/IK is the Stanley-Reisner ring (over k) of K. 34 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Reisner Theorem states that K is a Cohen-Macaulay simplical complex if and only if −1 π (K)sch is a Cohen-Macaulay scheme. An Now let us consider the punctured scheme k−{0}; the covering Ux1 ,...,Uxn defines a continuous surjective map An ∗ π : k−sch−{0} → Pn. ∗ ∗ −1 ∗ An As before, if K is a closed subset of Pn, then π (K ) is a closed subset of k−{0} which −1 ∗ An defines a - unique - reduced closed subscheme π (K )sch of k−{0}. Then one has (see [2, Exercise 5.3.15]) ∗ −1 ∗ K is Cohen-Macaulay ⇔ π (K )sch is a Cohen-Macaulay scheme. Pn−1 Now, let us take the projective scheme k−sch = Proj k[x1,...,xn]. The standard affine Pn−1 covering Ux1 ,...,Uxn of k−sch defines a continuous surjective map Pn−1 ∗ π : k → Pn and one has a commutative diagram An π / ∗ −{0} / Pn k ②< ②② ②② ②②  ② π Pn−1 k−sch ∗ ∗ −1 ∗ Pn−1 A closed subset K of Pn defines a reduced closed subscheme π (K )sch of k−sch and one has: ∗ −1 ∗ K is Cohen-Macaulay ⇔ π (K )sch is a Cohen-Macaulay scheme −1 ∗ −1 ∗ since π (K )sch is Cohen-Macaulay if and only if π (K )sch is so.

5.1. A general problem. Let X be a smooth k-scheme and let U1,...,Un be affine open (non empty) subsets. Let us denote Di = X − Ui the complementary closed subset, with the reduced scheme structure, which is a reduced positive divisor. Let

π : X → Pn be the continuous map associated to U1,...,Un. Let us asume that π is surjective and let −1 K be a closed subset of Pn. Let π (K)sch be the associated reduced closed subscheme of X. In this case, the Reisner ideal is

IK = IDq , with Dq = Di. qX∈ /K Xi∈q −1 The natural question is how the Cohen-Macaulicity of K is related to that of π (K)sch. Does Reisner criterion hold? Some obvious transversality hypothesis on the divisors Di are necessary to be assumed: since for any p ∈ Pn, Cp is a Cohen-Macaulay simplicial −1 complex, one should ask π (Cp)sch to be Cohen-Macaulay; now −1 π (Cp)sch = Di; \i/∈p UNIVERSAL RINGED SPACES 35

−1 Hence, if we want π (Cp)sch to be Cohen-Macaulay for any p ∈ Pn, we must ask the divisors Di to meet transversally: for any x ∈ X, the divisors Di passing through x meet transversally at x (i.e., the local equations of these Di at x form a regular sequence). Now the question is: if Di meet transversally, does Reisner criterion hold? Very probably, the answer is no with this generality. Some natural questions would be: (1) what further hypothesis (on X and on the divisors Di) are necessary to be assumed such that Reisner criterion holds? −1 (2) what simplicial complexes K of Pn satisfy that π (K)sch is Cohen-Macaulay for any X and any transversal divisors D1,...Dn (assuming for instance that n = dim X)? −1 In our opinion, the natural way to relate the Cohen-Macaulicity of K to that of π (K)sch is via duality, at least for proper schemes, in the following way. Let DK be the dualizing complex of K, which is a complex of sheaves of k-vector spaces on K. On the other hand, −1 let us denote XK = π (K)sch and let DXK be the dualizing complex of XK, which is a complex of quasi-coherent (in fact, coherent) OXK -modules on X. Let O = π∗OXK , which is a sheaf of k-algebras on K. Then, the category of quasi-coherent modules on XK is equivalent to the category of quasi-coherent modules on the finite ringed space (K, O).

In particular, the dualizing complex DXK agrees (via this equivalence) with the dualizing complex of (K, O). Now, one has a natural morphism of ringed spaces

I : (K, O) → (K,k) which is given by the identity at the topological level and the natural morphism of sheaves k → O. Despite the validity of Reisner criterion, we think that it is worthy to study how the morphism I relates the dualizing complex DK (which is the dualizing complex in the category of sheaves of modules on (K,k)) to the dualizing complex of (K, O) (which is the dualizing complex in the category of quasi-coherent modules on (K, O)). This will be done in a future paper.

6. Non schematic ringed spaces This section aims to give elementary examples of functors on ringed spaces that are representable by finite ringed spaces which are not schematic (see [12]) and hence they are not the finite ringed space associated to some affine covering of a scheme (in contrast with An Pn k , k or Grk(r, n)). We leave the proofs to the reader, since they are quite elementary. One of the most elementary and natural functors to be considered on ringed spaces, by the very definition of ringed space, is the following: Let S be a ringed space over k, and let us consider couples (U, f) where U is an open subset of S and f ∈ OS(U) is an angebraic function on U. If h: S′ → S is a morphism of ringed spaces, then (h−1(U), h∗(f)) is a couple on S′. Thus, we have a functor F : {Ringed spaces over k}→{Sets}

S 7→ F (S)= {(U, f): U ∈ Open(S), f ∈ OS(U)} 36 J. SANCHEZ´ GONZALEZ´ AND F. SANCHO DE SALAS

Proposition 6.0.1. F is representable by the ringed space over k:

(P1, O), where O is the sheaf of rings on P1 = {0 < 1} defined as follows:

O0 = k, O1 = k[x] and the morphism O0 → O1 is the natural inclusion. n Now let us consider the functor F n = F × ···× F , which assigns to each ringed space S the set of n open subsets of S and n algebraic functions on them. Then: Corollary 6.0.2. F n is representable by the ringed space

(Pn, O) where O is the sheaf of rings on Pn defined as follows: for each δ = {i1,...,ir} ∈ Pn, ′ ′ Oδ = k[xi1 ,...,xir ] and for each δ ≤ δ , the morphism Oδ → Oδ is the natural inclusion. Finally, let us consider the following subfunctor H of F n: X = U ⊇ U ⊇···⊇ U , n 1 2 n H(S)= (U1, f1),..., (Un, fn) ∈ F (S):  fi|Ui+1 is invertible, for any i =1,...,n − 1 Proposition 6.0.3. H is representable by the ringed space top (∆n , O), top where ∆n is the totally ordered poset {1 < 2 < ··· < n} and O is the sheaf of rings on it defined by:

O1 = k[x1], O2 = k[x1, x2]x1 ,..., On = k[x1,...,xn]x1·····xn−1 and Oi → Oi+1 is the natural inclusion. top Remark 6.0.4. The ringed spaces (Pn, O) and (∆n , O) are not schematic, hence they are not the finite ringed space associated to a finite affine covering of a scheme.

References [1] G. Barthel, J.P. Brasselet, K.-H. Fieseler and L. Kaup, Combinatorial intersection cohomology for fans, Tohoku Math. J. (2) 54, no. 1, 1–41 (2002). [2] W. Bruns, J. Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, 39. Cam- bridge University Press, Cambridge, 1993. xii+403. [3] P. Deligne, M. Goresky and R. MacPherson, L’alg`ebre de cohomologie du compl´ement, dans un espace affine, d’une famille finie de sous-espaces affines, Michigan Math. J. 48, 121–136. Dedicated to William Fulton on the occasion of his 60th birthday (2000). [4] E. Enochs and S. Estrada, Relative homological algebra in the category of quasi-coherent sheaves, Adv. Math. 194, no. 2, 284-295 (2005). [5] W. Gillam, Localization of Ringed Spaces, Advances in Pure Mathematics, Vol. 1 No. 5, 2011, pp. 250-263. doi: 10.4236/apm.2011.15045. UNIVERSAL RINGED SPACES 37

[6] A. Grothendieck and J.A. Dieudonn´e, El´ements´ de g´eom´etrie alg´ebrique. II, Etude´ globale ´el´ementaire de quelques classes de morphismes. (French) Inst. Hautes Etudes´ Sci. Publ. Math. No. 8 (1961), 222 pp. [7] A. Grothendieck, Fondements de la g´eom´etrie alg´ebrique. [Extraits du S´eminaire Bourbaki, 1957–1962.] (French) Secr´etariat math´ematique, Paris 1962 ii+205 pp. [8] K. Karu, Hard Lefschetz theorem for nonrational polytopes, Invent. Math. 157, no. 2, 419–447 (2004). [9] F. Sancho de Salas, Affine ringed spaces and Serre’s criterion, Rocky Mountain J. Math. 47 (2017), no. 6, 2051–2081. [10] F. Sancho de Salas and J.F. Torres Sancho, Derived categories of finite spaces and Grothendieck duality, Mediterr. J. Math. 17 (2020), no. 3, Paper No. 80, 22 pp. [11] F. Sancho de Salas, Homotopy of finite ringed spaces, J. Homotopy Relat. Struct. 13 (2018), no. 3, 481–501. [12] F. Sancho de Salas, Finite spaces and schemes, J. Geom. Phys. 122 (2017), 3–27. [13] M.T. Sancho de Salas, Methods of commutative algebra for topology, iv+105 pp. Publicaciones del Departamento de Matem´aticas, Universidad de Extremadura, 17. Universidad de Extremadura, Facul- tad de Ciencias, Departamento de Matem´aticas, Badajoz; Universidad de Salamanca, Departamento de Matem´aticas, Salamanca (1987).

Departamento de Matematicas,´ Universidad de Plaza de la Merced 1-4, 37008 Sala- manca, Spain Email address: [email protected]

Departamento de Matematicas´ and Instituto Universitario de F´ısica Fundamental y Matematicas´ (IUFFyM), Universidad de Plaza de la Merced 1-4, 37008 Salamanca, Spain Email address: [email protected]