arXiv:2106.01270v2 [math.AG] 10 Sep 2021 nlgeo eua medn.Tesrtg sdi odsrb t describe to is used strategy The Bl of embedding. points regular a of analogue edt osdrgae lerso rjciespectra. projective or algebras graded consider to need pcr eentaalbei h eie etn ttetm fti wr this of time the at setting derived the in projective available the not alge of were graded means surprisingly, by spectra perhaps Since, case algebra. general Rees the associated in schemes derived of noti osrcin us-oeet rddagba n pro and algebras graded algebras. quasi-coherent, these construction: this into to associated lsdimmersion closed osrce n[R8 ntecs that case the in [KR18] in constructed Date .Gae lersand algebras Graded geometry 4. Equivariant 3. h olo hsatcei odfietebo-po lsdimmersion closed a of blow-up the define to is article this of goal The eety h lwu Bl blow-up the Recently, .TeRe ler facoe meso 33 immersion A. closed Appendix a Blow-ups of algebra Rees 7. The spectra 6. Projective 5. 2. Introduction 1. lwusaeuiutu nagbacgoer.Oecntut the constructs One geometry. algebraic in ubiquitous are Blow-ups pedxB elatcmnsadfiieescniin 54 conditions finiteness and attachments Cell References B. Appendix M etme 3 2021. 13, September : RDDAGBA,POETV PCR AND SPECTRA PROJECTIVE ALGEBRAS, GRADED LWUSI EIE LERI GEOMETRY ALGEBRAIC DERIVED IN BLOW-UPS Abstract. eie scheme derived hc r ffieover affine are which iesetu Proj spectrum tive Proj eeaiigtedfraint h omlcn otederiv the to cone normal restriction the Weil to using deformation setting, the generali derived clos by generalizing the the done a to with is algebra of construction coincide Rees blow-up The will the case. construction quasi-smooth define Our the to schemes. used derived then of is spectra projective fpit fProj of points of gae algebras -graded Z B X f srpeetbeb eie ceeover scheme derived a by representable is eeaetu w eybsctoso leri emtyta go that geometry algebraic of tools basic very two thus are Here . n hnt hwta ti ersnal,tu icmetn the circumventing thus representable, is it that show to then and f M edfiegae,quasi-coherent graded, define We : -graded Z S B n hwta hs r qiaett derived to equivalent are these that show and , → ntrso iebnls h hoyo rddagba and algebras graded of theory The bundles. line of terms in B X S fagae algebra graded a of ete s this use then We . G Z R ytkn h rjciesetu fteRe algebra Rees the of spectrum projective the taking by m X agba spoutpeevn rsevs52 presheaves product-preserving as -algebras -actions 1. EONHEKKING JEROEN fadrvdscheme derived a of Introduction Contents Z → 1 X B G sqaisot,wihi h derived the is which quasi-smooth, is m,S saqoin tc,so that show stack, quotient a as O S ato odfieteprojec- the define to -action S agba vragvnbase given a over -algebras n ecietefunctor the describe and , X .W ls yalso by close We s. nacentre a in igteextended the zing dsetting. ed xsigoefor one existing G dimmersion ed m,S rsadprojective and bras etv pcr of spectra jective pcrmo the of spectrum -schemes efntrof functor he lwu fa of blow-up Z a been has tn,an iting, Z → 17 45 26 20 60 X 8 1 intermediate goal is to first develop these concepts, which are also interesting in their own right. A large part of the work has gone into understanding derived graded algebras, about which we will first say a few words. 1.1. Graded algebras. Classically, for a scheme S, the following categories are, possibly contravariantly, equivalent:

(1) Z-graded, quasi-coherent OS-algebras, (2) Schemes affine over S with a Gm,S-action, ±1 (3) OS[t ]-comodules in the symmetric monoidal category of quasi-coherent OS-algebras,

(4) Quasi-coherent OBGm,S -algebras, Z (5) Commutative monoids in the symmetric monoidal category QCoh (S) of Z-graded, quasi-coherent OS-modules, (6) Lax symmetric monoidal functors Z → QCoh(S). The equivalences between (1),(2),(3) are either done by hand, or using the Barr– Beck theorem. For (2) ⇐⇒ (4), one uses that T → BGm,S is affine if and only if the pullback P → S along S → BGm,S is as well. Finally, (5) and (6) are equivalent, as shown by hand or by using Day convolution, and both are easily seen to be equivalent to (1). This list induces six equivalent kinds of input for the Proj-construction, by taking N-graded objects in (1) and their counterparts in the other categories. Therefore, in generalizing the Proj-construction to the derived setting, one is now faced with the question which of these inputs to take as the starting position. The derived versions of (2),(3) and (4) turn out to be equivalent to one another, as we shall see. In setting up the theory of Z-graded, quasi-coherent OS-algebras in the context of derived algebraic geometry, it is reasonable to ask that the result is also equivalent to the derived version of (2). Indeed, suppose that S is affine, say S = Spec A. Then a simplicial A-algebra with a levelwise A[t±1]-coaction gives rise to a simplicial graded A-algebra, by applying the classical construction levelwise. We have therefore taken the equivalence between (1) and (2) as design criterion in generalizing (1) to the derived setting. And indeed, the first main result of this paper is the following: Theorem 4.6.2. Let S be a derived scheme. Then there is a contravariant equiva- lence between the category of quasi-coherent, Z-graded OS -algebras and the category of Gm,S-schemes affine over S. Although the derived versions of (5) and (6) are also equivalent to one another, we show that in general these are not equivalent to the derived versions of (1)–(4). We then use this equivalence to define the projective spectrum of an N-graded, quasi-coherent OS-algebra B generated in degree 1, over a derived scheme S, as the quotient stack [(Spec B r V (B+))/Gm,S]. The second main result is then:

Theorem 5.1.3. For S, B as above, Proj B := [(Spec B r V (B+))/Gm,S] is repre- sentable by a derived scheme over S. Furthermore, for S, B as above, we recover three results from the classical case. First, we give an exact functor from quasi-coherent, graded B-modules to quasi- coherent OProj B-modules. Next, we introduce Serre’s twisting sheaves and check familiar behaviour of these sheaves. Third, we show that for a given map of derived schemes ψ : T → S, the space of maps T → Proj B over S is the space of graded ∗ homomorphisms ψ B→M, where M is an N-graded OT -algebra freely generated ∗ by a line bundle in degree 1, and ψ B→M is a homomorphism of graded OT - ∗ algebras for which the induced map π0(ψ B1) → π0(M1) is surjective. This recovers OProj B(1) as universal line bundle. 2 1.2. The problem in the derived setting. Let S be a derived scheme. Morally, a Z-graded, quasi-coherent OS-algebra B should be a quasi-coherent OS-algebra B together with a decomposition B≃ d Bd in QCoh(S) such that the multiplication ⊗n maps B →B induce homotopy-coherent systems Bd1 ⊗···⊗Bdn →Bd1+···+dn . Writing down this infinite amountL of coherency data by hand is not easy. It needs to guarantee that on the one hand the concept is flexible enough so that quasi- ±1 coherent OS-algebras A with an OS [t ]-coaction, which are given as homotopy coherent cosimplicial diagrams of the form A ⇒ A[t±1] ... , give rise to Z-graded, quasi-coherent OS-algebras. On the other hand, it needs to be strict enough so that forgetting the grading gives us a quasi-coherent OS-algebra, i.e., locally a simplicial commutative ring and not only an E∞-ring. One approach is via model categories. Let C be the category of simplicial objects in the category of Z-graded rings. We could define a model structure on C by declaring a morphism B → B′ to be a fibration, resp. a weak equivalence, when it is so on the underlying simplicial set. Then for a simplicial commutative ring R, we let the category CR of Z-graded R-algebras be the coslice category CR/, where C is the ∞-category associated to C, and R is endowed with the trivial grading. A Z-graded OS-algebra B would then locally on S be given by a Z-graded simpli- ±1 cial OS(U)-algebras, for U ⊂ S affine open. To define an OS[t ]-coaction on such ±1 d a B, we need a morphism B→B[t ] of OS-algebras which sends Bd to Bdt . First assume that S = Spec R, and that B is given by a Z-graded simplicial R-algebra B. To give something which is homotopically well-defined, B[t±1] must be the derived ±1 tensor product B ⊗R R[t ]. The question is then whether we can compute this derived tensor product and replace B in such a way that B → B[t±1] can be defined by the classical construction levelwise, i.e., by sending a homogeneous simplex b of degree d to btd. We can answer this last question affirmatively, but only after we have shown Theorem 4.6.2. To use only the model-categorical approach from the start seems to be intractable even in the local picture. What is more, to glue such a construction ±1 into an OS [t ]-coaction on all of B would involve gluing different cofibrant models on affine patches. Making this into an ∞-functor from Z-graded OS-algebras to ±1 OS-algebras with OS [t ]-coaction seems hopeless. What is therefore needed is a functor, intrinsic to the language of ∞-categories, from the ∞-category Alg of simplicial commutative rings to the ∞-category of ∞- Z Z categories, sending R ∈ Alg to the ∞-category AlgR of -graded R-algebras. Better yet, this should come with a universal property for colimit-preserving functors out Z Z of AlgR. We will indeed give such a construction. The universal property of AlgR Z Gm will allow us to give a functor F from AlgR to the ∞-category AlgR of R-algebras ±1 Z with R[t ]-coaction. Functoriality of AlgR in R will allow us to globalize this to any base derived scheme. Z Gm The mapping spaces of AlgR and AlgR are too different from one another to show that F is fully faithful by hand. Luckily, it will turn out that the functor Z Gm F : AlgR → AlgR is a left adjoint for abstract reasons, using the universal property Z of AlgR, which will give us a candidate for the inverse of F . This is good, because Gm Z writing down an inverse functor AlgR → AlgR by hand is again not so easy. Gm Indeed, an object B in AlgR is given by a cosimplicial diagram C(B) of the form B ⇒ B[t±1] ... in the ∞-category of R-algebras. If this diagram was a strictly commutative diagram in the 1-category of simplicial commutative rings, then we could apply the classical construction levelwise, to get a grading on B. Unfortunately, standard strictification techniques do not guarantee that C(B) can be strictified, without changing the objects Cn(B) up to homotopy. Indeed, it will

3 Gm ±1 be a consequence that one can actually strictify any AlgR to a levelwise R[t ]- coaction.

1.3. Rees algebras and blow-ups. Let Z → X be a closed immersion of derived scheme. Since we will define the blow-up BlZ X as the projective spectrum of the Rees algebra RZ/X , the behaviour of BlZ X is thus completely controlled by that of RZ/X . Thus, the question whether our construction of BlZ X is ‘correct’ is reduced to the same question about RZ/X . To this end, let us first consider a universal property of the extended Rees algebra in the classical case. ext Let A → B be a surjection of (discrete) rings with kernel I, and RB/A the n n ±1 −m extended Rees algebra n∈Z I t ⊂ A[t ], where I = A for m ≥ 0. Let Q be a Z-graded A[t−1]-algebra for which t−1 ∈ Q is not a zero divisor. Here and in L what follows, we take deg t−1 = −1. We then have an isomorphism of sets Z ext ∼ Z −1 AlgA[t−1](RB/A,Q) = AlgA(B,Q/(t )) between Z-graded A[t−1]-algebra maps and Z-graded A-algebra maps, natural in Q. Indeed, there is a graded A-algebra map B → Q/(t−1) if and only if the structure −1 ext map A → Q maps I into (t ). It thus suffices to show that a map ϕ : RB/A → Q of Z-graded A[t−1]-algebras is determined by its restriction to degree 0. And indeed −1 ext ×t −1 this is so: the composition RB/A → Q −−−→ (t ) shows that ϕ|It is determined by ϕ0, and similarly for higher degrees. Let now A → B be a map of simplicial rings, surjective on π0. We will define the derived version of the extended Rees algebra in such a way that it satisfies a somewhat more robust version of this universal property: it will turn out that we have an equivalence of spaces Z ext ∼ −1 AlgA[t−1](RB/A,Q) = AlgA(B, (Q/(t ))0)

−1 −1 for any Z-graded A[t ]-algebra Q. Observe that Q 7→ (Q/(t ))0 is easily defined. ext One could therefore hope to define R(−)/A by means of this universal property via some adjoint functor theory. This universal property will however not lead to an adjunction as stated, since in general only a map A → B which is surjective on π0 will have an extended Rees algebra. We can remedy this by restricting the category AlgA to the category of Z Z −1 surjections A → B, and AlgA[t−1] to the category of those -graded A[t ]-algebras −1 Q for which A[t ] → Q≤0 is an equivalence. However, by doing so we leave the world of presentable ∞-categories. Because for general ∞-categories, adjoint ext functor theorems are less powerful, the strategy to define R(−)/A as a left adjoint −1 to Q 7→ (Q/(t ))0 by means of an adjoint functor theorem did not succeed. The solution was found using Weil restrictions. To sketch the idea, let z : X → A1 X be the zero section. Then the theory of Weil restrictions says that pulling back stacks along z has a right adjoint, written Res A1 . We thus have a natural X/ X equivalence

St A1 (T, Res A1 (Z)) ≃ St (T ×A1 X,Z) / X X/ X /X X 1 of mapping spaces of stacks. If Res A1 (Z) is affine over A , say Res A1 (Z) = X/ X X X/ X Spec R, then for T = Spec Q we will get

−1 A −1 A lgOX [t ](R, Q) ≃ lgOX (B, Q/(t )) where B is such that Z = Spec B. This is almost the universal property that we want, save that we have lost the grading on R. 4 To recover the grading, one starts not with z but with the induced map ζ : G A1 G G B m,X → [ X / m,X ]. We define DZ/X as the pullback of Resζ ([Z/ m,X ]) along A1 A1 G X → [ X / m,X ]. We then show the following: A1 Theorem 6.3.3. The stack DZ/X is representable by a scheme affine over X . ext ext Z By construction, DZ/X will then be of the form Spec RZ/X , where RZ/X is a - −1 graded OX [t ] algebra which satisfies the desired universal property. We will take ext ext this RZ/X as the extended Rees algebra of Z over X, and put BlZ X := Proj RZ/X . We present two additional reasons why our recipe for blowing up in the derived setting is ‘correct’. First, for Z → X a closed immersion of classical schemes, we can recover the classical extended Rees algebra of Z over X by forcing t−1 to be ext regular on π0RZ/X , thereby capturing the classical picture in a controlled fashion. Second, for Z → X a closed immersion of derived schemes, a virtual Cartier divisor (S,D) over (X,Z) is a scheme S over X together with morphisms D −→h SZ → S such that D → S is locally on S of the form Spec R → Spec R/(f), and such that OSZ → h∗OD is an isomorphism on π0 and surjective on π1. Let vDivZ X be the space of virtual Cartier divisors over (X,Z). In [KR18], the blow-up of X in Z is defined as vDivZ X in the case that Z → X is quasi-smooth, in which case it is shown to be representable by a derived scheme. We will then show: ext −1 Theorem 7.5.3. There is a virtual Cartier divisor (BlZ X, ProjZ (RZ/X /(t ))) over (X,Z). If Z → X is quasi-smooth, then the induced map hZ/X : BlZ X → vDivZ X is an equivalence. We will now introduce some terminology and notation. After this, we give a summary of this paper in §1.6, where we also outline the solution to the problems discussed in §1.2. 1.4. Elements of derived algebraic geometry. We use the language of ∞- category theory and derived algebraic geometry as in [To¨e14], [HAGI], [SAG], [GR17]. The ∞-category of spaces is denoted by S. Write Alg for the ∞-category of simplicial commutative rings, simply called rings. One way to construct Alg is by endowing the category of simplicial objects in the category of commutative rings with a simplicial model structure, where weak equivalences and fibrations are taken on the underlying simplicial sets. Then Alg is the ∞-category associated to this model category. Alternatively, Alg is the ∞- category of product-preserving functors Polyop → S, where Poly is category of 1 polynomial algebras Z[T1,...,Tn] and algebra maps between them. For R ∈ Alg, we let cnModR be the ∞-category associated to the model category of simplicial R-modules, and ModR the stabilization of cnModR. Alternatively, ModR is the ∞-category of modules of R considered as an E∞-algebra, which is automatically stable. Then cnModR consists of the connective R-modules M, i.e., those for which πnM = 0 for all n< 0. Still for R ∈ Alg, we write AlgR for the ∞-category AlgR/. Points in AlgR are called R-algebras. Likewise, points in ModR are called R-modules. When we work in the point-set models of these ∞-categories, we indicate this by talking about simplicial R-algebras resp. simplicial R-modules (in the connective case). We write Sch for the ∞-category of derived schemes. For X a derived scheme, we let QCoh(X) be the ∞-category of quasi-coherent OX -modules, which has a full subcategory cnQCoh(X) spanned by the connective OX -modules. The category QCoh(X) is closed symmetric monoidal, presentable and stable [SAG, Prop. 2.2.4.1; 2.2.4.2, Rem. 6.5.3.8], with left- and right-complete t-structure [SAG, Prop. 2.2.5.4].

1Here, as always, we consider 1-categories as ∞-categories via the nerve construction. 5 If X is affine, say X = Spec A, then we have QCoh(X) ≃ ModA. In general, it holds that QCoh(X) ≃ limSpec A→X ModA as ∞-categories, where the indexing category runs over all open immersions Spec A → X, and the limit is taken in the ∞-category of stable ∞-categories. A point M in QCoh(X) is thus a homotopy- coherent system of OX (U)-modules M(U) indexed by the affine open subsets U ⊂ X. If all of these modules are connective, such a system thus gives rise to a sheaf (in the homotopical sense, explained below) of simplicial abelian groups on the underlying space of X, with action OX ×M→M, which makes M(V ) into an OX (V )-module for each V open in X. Similarly, we define the ∞-category Alg(X) of quasi-coherent OX -algebras for a derived scheme X as the limit limSpec A→X AlgA over all affine open subsets of X. By stack we mean a sheaf Alg → S for the ´etale topology. We write St for the full subcategory of presheaves on Algop spanned by stacks. For a stack X we let QCoh(X) be the limit limSpec R→X ModR over all maps Spec R → X. When X is a derived scheme, then this notion agree with the previous definition. For a map of stacks ϕ : X → Y, we have an adjunction ∗ ϕ :QCoh(Y) ⇄ QCoh(X): ϕ∗ See e.g. [GR17, §I.3.2]. Roughly speaking, a derived algebraic stack is a stack X that allows a smooth atlas. The precise definition is not important for us. What matters is the following fact: let algSt be the ∞-category of derived algebraic stacks, and PrL be the ∞- category of presentable ∞-categories with left-adjoint functors between them. Then any functor F : Alg → PrL can be right-Kan extended to a functor Fˆ : algSt → PrL. This is because for X algebraic, the indexing category to compute Fˆ(X) consisting of maps of the form Spec R → X can be taken to be small, and PrL is closed under small limits. 1.5. Conventions. The term ‘levelwise’ will refer to the simplicial level. Since we will be dealing with graded simplicial objects, we reserve the subscript notation Bd for the graded piece of degree d. For any simplicial object X, we reserve the notation x ∈ X to mean points (i.e., zero-simplices) x in X. From here on, everything is derived, by which we mean that all (co)limits are homotopy (co)limits c.q. (co)limits in the ∞-sense, all functors are ∞-functors, all schemes are derived, all diagrams commute up to homotopy, etc., unless otherwise stated. In particular, sheaves are taken in the homotopical sense, meaning that for a cover {Uα → V }α the sheaf condition reads that

F(V ) → lim [n] 7→ F(Uα0 ×V ···×V Uαn ) n∈∆ (α0,...,αn)   should be an equivalence. Observe:Y if this limit is taken in a 1-category, then it can be computed on the subcategory [1] ⇒ [0], which retrieves the classical notion of a sheaf. Colimits of simplicial diagrams are called geometric realizations. Dually, limits of cosimplicial diagram are called totalizations. Functors that preserve colimits are called cocontinuous. Maps of rings, algebras, modules,... are called surjective if they are so on π0. ′ For ϕ : M → M a map of R-modules, the fibre is always taken in ModR. If ϕ is surjective, then this coincides with the fibre in cnModR. 1.6. Summary. Let S be a scheme and R a ring. In §2 we introduce the category of M-graded R-algebras, for any discrete commutative monoid M. Z A key insight in the proof of Theorem 4.6.2 is that the category Alg of Z-graded rings can be constructed in two ways. It is either the category of those presheaves on 6 Z the category Poly of Z-graded polynomial rings over Z that send tensor products to products, or it is the category associated to a model 1-category of simplicial graded rings. Thus, in the first incarnation, one does not start with an ring B and a decomposition B ≃ d Bd in ModZ as in §1.2. Instead, one only specifies the graded pieces Bd, and defines the algebraic structure by giving ‘substitution maps’ L Z Bd1 ×···× Bdn → Bd1+···+dn , for any graded polynomial P (X1,...,Xn) over that has Xi in degree di, in a homotopy coherent way. Z Z We then define the category AlgR of -graded R-algebras as the slice category Z Z AlgR/. We show that the construction of AlgR is functorial in R in Proposition 2.3.1, which allows us to globalize the notion of graded algebras in §2.4 to a category Z Alg (S). We recall group actions and principal bundles in the setting of derived algebraic Gm geometry in §3. Here we also introduce the category Aff (S) of Gm-schemes affine G over S. Objects of Aff m (S) will be cosimplicial diagrams in the category of quasi- coherent OS-algebras which satisfy the derived analogue of coaction axioms. It is Gm shown that Aff (S) is equivalent to the category Alg(BGm,S). Section §4 is more technical, and contains the proof of Theorem 4.6.2. The Z G strategy is as follows. First we give an adjunction Φ : Alg ⇄ Alg m :Ψ. A Z- graded algebra can be strictified to a simplicial object in the 1-category of discrete Z-graded algebras. Although on these algebras Φ will coincide with the classical construction levelwise, we will not use this description to introduce Φ. Indeed, the reason that we first do the absolute case, is that colimit-preserving functors out of Z Z Alg are classified by coproduct-preserving functors out of the 1-category Poly , which is a tractable problem. After this construction, we show that Φ is fully faithful in Proposition 4.4.1, by showing that the unit is invertible. We then show that Ψ is conservative, by showing that it commutes with the forgetful functors to Alg. We then globalize to Z Gm,S an adjunction equivalence ΦS ⊣ ΨS : Alg (S) ⇄ Alg (S) in §4.6. In §5 we introduce the projective spectrum of a quasi-coherent, N-graded OS- algebra B generated in degree 1 as Proj B := [(Spec B r V (B+))/Gm,S]. We show that Proj B is representable by giving an open cover of affine schemes of the form Spec B(f). Here, B(f) is the degree-zero part of the graded localization Bf , where B is an N-graded algebra, and f is a homogeneous element of B in degree 1. Lemma 2.7.4 is crucial in this approach, which says that the induced Gm-action on Spec Bf is free. In §6 we introduce the extended Rees algebra of a closed immersion Z → X as a Z −1 ext -graded, quasi-coherent OX [t ]-algebra RZ/X , using Weil restrictions. We show that this construction is stable under base-change, and give an explicit formula for the Rees algebra in the case that Z → X is a finite quotient. This is a closed immersion of the form Spec B → Spec A, where B is obtained from A by a single finite cell attachment. Then in §6.10 we recover the adjunction mentioned in §1.3. We close with applying our formula to a regular embedding of classical schemes. Finally, in §7 we introduce the blow-up BlZ X := Proj RZ/X of arbitrary closed immersions Z → X, show that our description coincides with vDiv in the quasi- smooth case, and show that we recover the classical picture as the underlying clas- sical scheme of BlZ X. We close by proposing a generalization of the deformation to the normal cone to the derived setting in §7.6. Not everything in the body text is strictly necessary to show the main results. Most readers can safely skim over §3: this section is mostly there to fix notation. There are some smaller results, like the adjunction involving the Rees algebra in §6.10, which were only relevant as intermediate results in earlier versions. However, they now serve to give a more complete picture of the theory, and are thus left in.

7 Some results that were needed in earlier versions but became obsolete in the current version have been collected in the appendix, since they seemed interesting in their own right, but did not add to the present story.

1.7. Acknowledgements. I would like to thank David Rydh for fruitful discus- sions and for extensive comments on previous versions. The key idea in the con- struction of Rees algebras, namely to use Weil restrictions, is his. I would also like to thank Adeel Khan for his helpful feedback and for several encouraging Zoom sessions. Lastly, I would like to thank Tyler Lawson for our e-mail conversation that gave me the main ideas for the proof of Proposition B.8.3.

2. M-graded algebras Recall that Alg is the category of functors Polyop → S that preserve products, where Poly is the 1-category of finitely generated polynomial rings of the form Z[x1,...,xn]. One can strictify these objects in the sense that Alg is equivalent to the ∞-category associated to the model 1-category of simplicial commutative rings. We now generalize this picture to the graded setting.

2.1. Graded rings. Throughout, fix a commutative monoid M (always discrete). Let PolyM be the 1-category of graded polynomial rings which are of the form Z[x(d1),...,x(dn)], where x(di) is of degree di ∈ M, and with graded ring homo- morphisms between them.2 For any category C, let P(C) be the category of presheaves on C, and PΣ(C) the full subcategory of P(C) spanned by the finite product-preserving presheaves on C, i.e. those functors Cop → S that send finite coproducts in C to finite products in S.

M M Definition 2.1.1. The category Alg := PΣ(Poly ) is the category of M-graded rings. Remark 2.1.2. Let A be the 1-category of simplicial objects in the 1-category of M-graded, discrete rings. Objects of A are called simplicial, M-graded rings. Then A has a simplicial model structure, where a map B → B′ is a weak equivalence ′ resp. a fibration if the maps Bd → Bd are weak equivalences resp. fibrations of simplicial sets, for all d ∈ M. Consider PolyM as a full subcategory of A. Let A be the ∞-category associated to A. Then the natural map A → AlgM is an equivalence by [HTT, Cor. 5.5.9.3], since discrete M-graded rings are product- preserving 1-presheaves on PolyM . This map A → AlgM is induced by the Yoneda embedding: we send a fibrant-cofibrant object B in A to the functor Z Z [x(d1),...,x(dn)] 7→ MapA( [x(d1),...,x(dn)],B) ≃ Bd1 ×···× Bdn

M which is an object of PΣ(Poly ). See loc. cit. for details. 2.2. Graded R-algebras. Throughout, fix R ∈ Alg. Let ǫ : Poly → PolyM be the functor that sends Z[x] to Z[x(0)] and which preserves finite coproducts. Write PolyR for the full subcategory of AlgR spanned by R-algebras of the form Z R[x1,...,xn], and let δ : Poly → PolyR be the functor that sends [x] to R[x] and M which preserves finite coproducts. Let (−)0 be the functor Alg → Alg which is given by precomposing with ǫ, i.e., this functor sends an M-graded ring B to its degree-zero part B0.

2 It would be more precise to write x(di) as xi(di), since the degrees are not assumed to be different. The double index will be suppressed nonetheless. 8 Example 2.2.1. We consider R as an M-graded ring with trivial grading as follows. Taking a model for R, we may assume that R is a simplicial ring. Then endow this simplicial object in the 1-category of discrete rings level-wise with the trivial grading (i.e., concentrated in degree 0). This gives a simplicial object in the 1-category of discrete graded rings, hence an object of AlgM by Remark 2.1.2. We will see in Example 2.3.5 the following more intrinsic definition of the trivial grading, without involving simplicial models. Namely, we can consider R as a functor Polyop → S. Then R endowed with trivial grading is the left Kan extension of R along ǫ. M Definition 2.2.2. The category AlgR of M-graded R-algebras is the fibre product M Alg ×Alg AlgR of (−)0 along the forgetful functor U : AlgR → Alg.

Remark 2.2.3. Observe that U : AlgR → Alg is a fibration in the Joyal model M structure by [HTT, Cor. 2.4.6.5]. It follows that AlgR is the underived fibre product M of simplicial sets. Hence, AlgR is the category of pairs (B, R → B0), where B is M an M-graded ring and R → B0 a ring map. In other words, AlgR is the coslice M category AlgR/, where R is endowed with the trivial grading. Remark 2.2.4. From Remark 2.2.3 and Remark 2.1.2 it follows that, for B ∈ R AlgM , we have a decomposition B ≃ d∈M Bd with Bd ∈ QCoh(R) the graded piece of degree d. L M Let R[x(d1),...,x(dn)] be the tensor product R ⊗Z Z[x(d1),...,x(dn)] in Alg , M for d1,...,dn ∈ M. Then R[x(d1),...,x(dn)] gives an object of AlgR in an obvious M M way. Let PolyR be the full subcategory of AlgR spanned by the objects of this form. We need the following two notions from [HTT, §5.5.8]. A non-empty simplicial set K is sifted if the diagonal d : K → K × K is cofinal, that is, if precomposition with d preserves colimits. Now an object c in a category C is compact projective if it corepresents a functor C → S that preserves sifted colimits. For example, for a category D with finite coproducts, the image of d ∈ D under the map D → PΣ(D) is compact projective. M Lemma 2.2.5. The functor U : AlgR → Alg and the functor (−)0 : Alg → Alg preserve sifted colimits.

Proof. By [HTT, Prop. 5.5.8.10], sifted colimits in PΣ(C) are computed as colimits in P(C), i.e., pointwise, for any category C. It follows that for any functor ϕ : C → D ∗ which preserves finite coproducts, the map ϕ : PΣ(D) → PΣ(C) preserves sifted ∗ colimits. Now the claim follows since the forgetful functor AlgR → Alg is δ , and M ∗ (−)0 : Alg → Alg is ǫ .  M M Lemma 2.2.6. The objects in PolyR are compact projective in AlgR . M ′ ′ M Proof. Consider objects in AlgR as pairs (B,B ) with B ∈ AlgR and B ∈ Alg . M By [Cis19, Prop. 6.2.19] and Lemma 2.2.5, the colimit of a sifted diagram in AlgR of ′ ′ M the form {(Bα,Bα)}α is (colim Bα, colim Bα). In particular, the projection AlgR → M M Alg preserves sifted colimits. For any d ∈ M, the functor Alg → S : B 7→ Bd also preserves sifted colimits, since Z[x(d)] is compact projective in AlgM . It follows that the composition M M AlgR → Alg → S : B 7→ Bd M preserves sifted colimits, i.e., that R[x(d)] is compact projective in AlgR . By M M [HTT, Prop. 5.5.8.25], all objects in PolyR are now compact projective in AlgR , since these objects are coproducts of the form R[x(d1)] ⊔···⊔ R[x(dn)].  9 M M Remark 2.2.7. We can in fact show that the inclusion PolyR → AlgR induces an M M equivalence PΣ(PolyR ) ≃ AlgR . Since the proof is somewhat technical, and the result is not essential in what follows, the argument can be found in Appendix A. 2.3. Change of rings and of monoids. Let Mon be the 1-category of dis- crete commutative monoids and monoid homomorphisms between them. Following [HTT], we write PrL resp. PrR for the category that has presentable categories as objects and functors which are left resp. right adjoints as morphisms. Proposition 2.3.1. For j : M → M ′ a homomorphism of commutative monoids and ϕ : R → R′ a ring map, we have an adjunction M M ′ ! ! ϕ!j! : AlgR ⇄ AlgR′ : j ϕ ′ ! ! M M where j ϕ is given on objects by precomposing with a map PolyR → PolyR′ that ′ sends R[x(d)] to R [x(j(d))], and ϕ!j! is given by left Kan extension. These adjunctions are natural in M and R in the sense that we have a functor A (−) A op M op P R ! ! lg(−) : lg × on → r which is given by (ϕ, j) 7→ j ϕ on morphisms. Proof. We first give the adjunction in the following two special cases: (i) Where ϕ is the identity on Z and j : M → M ′ is arbitrary; (ii) Where ϕ : R → R′ is arbitrary and j is the identity on M, for some M. Case (i). We first define the finite coproduct-preserving functor ′ [j]: PolyM → PolyM : Z[x(d)] 7→ Z[x(j(d))] It suffices to decide how [j] acts on the following hom-sets M M ′ Poly (Z[x(d)], Z[x(e1),...,x(en)]) → Poly (Z[x(j(d))], Z[x(j(e1)),...,x(j(en))]) Now since M Poly (Z[x(d)], Z[x(e1),...,x(en)]) ≃ Z[x(e1),...,x(en)]d it suffices to give natural maps Z[x(e1),...,x(en)]d → Z[x(j(e1)),...,x(j(en))]j(d). m m For this, we take the map of Z-modules which is given by x(ei) 7→ x(j(ei)) . ′ Since PolyM , PolyM are discrete categories, naturality is unproblematic. ′ Write now j! for the functor P(PolyM ) → P(PolyM ), given by precomposing ′ with [j]: PolyM → PolyM . Since [j] preserves tensor products, j! restricts to a ′ ′ functor j! : AlgM → AlgM , by definition of AlgM and AlgM . M By the dual of [Cis19, Prop. 6.4.9], we have a left adjoint j! : P(Poly ) → ′ P(PolyM ), which is given on objects by pointwise left Kan extension. From the latter fact and the proof of [HTT, Prop. 5.5.8.15], [SAG, Prop. 25.1.1.5], it follows M M ′ that j! restricts to the unique cocontinuous functor Alg → Alg , which on ′ ′ PolyM is given by [j] followed by the inclusion PolyM → AlgM . ! Case (ii). We have an adjunction ϕ! : AlgR ⇄ AlgR′ : ϕ , where the left adjoint is given by taking tensor products and the right adjoint by precomposition with ϕ. The right adjoint ϕ! commutes with the forgetful functors to Alg. On the other ′ ′ M hand, we also have endofunctors (−) ⊗R R on Alg and Alg . Together with ϕ!, M M these give a morphism of cospans from Alg → Alg ← AlgR to Alg → Alg ← AlgR′ . We can thus take fibre products on both sides of the adjunction over Alg with AlgM , to get the adjunction M M ! ϕ! : AlgR ⇄ AlgR′ : ϕ Observe that by Remark 2.2.3, we can still describe ϕ! via precomposition with ϕ. 10 ′ M M ! Now for the general case, consider the adjunction j! : Alg ⇄ Alg : j from the first case. Observe that j! sends R ∈ Alg with trivial M grading to R with trivial ′ ′ M M ! M grading. Hence, taking coslices gives an adjunction j! : AlgR ⇄ AlgR : j by Remark 2.2.3. Composing with the second case gives us the adjunction

M M ′ M ′ ! ! ϕ!j! : AlgR ⇄ AlgR ⇄ AlgR′ : j ϕ Since for R → R′ in Alg and j : M → M ′ in Mon it holds for all d ∈ M that ′ ′ M R [x(j(d))] ≃ R[x(j(d))] ⊗R R , we have that ϕ!j! restricts to the functor PolyR → ′ M ′ ! ! ! ! PolyR′ : R[x(d)] 7→ R [x(j(d))]. From the adjunction ϕ!j! ⊣ j ϕ it follows that j ϕ is given by precomposition with ϕ!j!. ′ It remains to show naturality in M and R. The functors [j]: PolyM → PolyM from the first case give a functor H : Mon → Cat : M 7→ PolyM . Since H lands in 1-categories, naturality is unproblematic. Now composition with H induces a functor Monop → PrR : M 7→ AlgM

′ which on morphisms is given by sending j : M → M ′ to j! : AlgM → AlgM , as in the first case. Taking coslice categories, we get a functor

op R M Mon → Pr : M 7→ AlgR for any R ∈ Alg. By naturality of the coslice construction, this gives us a functor Algop → Fun(Monop, PrR), and thus a functor

op op R M Alg × Mon → Pr : (R,M) 7→ AlgR which sends (ϕ, j) : (R,M) → (R′,M ′) to the functor j!ϕ!, which is what we wanted. 

A (−) A M P L Remark 2.3.2. Taking adjoints, we also get a functor lg(−) : lg × on → r , which on morphisms is given by sending (ϕ, j) to ϕ!j!. Remark 2.3.3. Let p : C → Alg × Mon be the Cartesian fibration associated to op op R M ! ! the functor Alg × Mon → Pr which sends (R,M) to AlgR and (ϕ, j) to j ϕ . We can describe C as the category of triples (R,M,B), where M is a commutative monoid, R a ring, and B an M-graded R-algebra. A morphism (R,M,B) → (R′,M ′,B′) is given by a ring map ϕ : R → R′, a monoid homomorphism j : M → ′ ! ! ′ M M and a morphism h : B → j ϕ B in AlgR . Then p is the forgetful functor.

Notation 2.3.4. As in the proof of Lemma 2.3.1, we write the adjunction id! j! ⊣ ! ! ! ! ! ! j id as j! ⊣ j , and ϕ! id! ⊣ id ϕ as ϕ! ⊣ ϕ . Example 2.3.5. We recover the following adjunctions from Proposition 2.3.1. (1) For j the trivial map 0 → 0 we recover the extension-restriction by scalars adjunction. ′ ′ ! M (2) For j the inclusion 0 → M we have that j : AlgR → AlgR is the functor (−)0. From the adjunction, it follows that j!R[x] is R[x(0)]. Since AlgR is generated by polynomial algebras under colimits, in general j! therefore sends an R-algebra A to the graded algebra which is A concentrated in degree 0. We say that j! endows A with the trivial grading. (3) For j the map M → 0 it holds that j!R[x(d)] = R[x], which follows from the proof of Proposition 2.3.1. Since j! is cocontinuous, it follows that j! is the functor which forgets the grading. Observe that j!A is the derived analogue of the monoid algebra A[M]. 11 ′ ′ M (4) For general ϕ : R → R and j : M → M , given B in AlgR , the underlying ′ ′ R -algebra of ϕ!j!B is B ⊗R R . This follows from the naturality of the adjunctions and the previous examples. 2.4. Graded, quasi-coherent algebras on algebraic stacks. Throughout, fix an algebraic stack X and a scheme S. Using Proposition 2.3.1, we now define the relative case. We are mostly interested in graded, quasi-coherent algebras on schemes: we only need to consider graded, quasi-coherent algebras in one case, namely on the algebraic stack BGm. We therefore only generalize to algebraic stacks when needed or when it is as much effort as the case of schemes. A (−) A M P L Definition 2.4.1. Extend the functor lg(−) : lg × on → r to a functor algStop × Mon → PrL, written (X,M) 7→ AlgM (X), by right Kan extension along the inclusion Alg×Mon → algStop ×Mon (allowed by [HTT, Prop. 5.5.3.13]). For a stack X and a monoid M, we call AlgM (X) the category of M-graded, quasi-coherent OX-algebras. For f : X′ → X a morphism of stacks, and j : M → M ′ a morphism of com- ′ ∗ ! M M ′ mutative monoids, we have an adjunction f j! ⊣ j f∗ : Alg (X) ⇄ Alg (X ), by A (−) construction of lg(−).

Remark 2.4.2. Let C, D, E be categories, C0 a subcategory of C, with E cocomplete, and F0 : C0 × D → E a functor. Write h for the inclusion C0 → C, and let F be the left Kan extension of F0 along (h × idD). Observe that for any (c, d) ∈ C × D, the functor C0/c → (C0 × D)/(c,d) that sends f : c0 → c to the pair (f, idd) is a right adjoint, hence cofinal by [Cis19, Cor. 6.1.13].3 The functor F (−, d): C ×{d} → E is therefore the left Kan extension of F0 : C0 ×{d} → E along (h × id{d}). From Remark 2.4.2 it follows that AlgM (X) is the right Kan extension of AlgM (−) op M M along Alg → algSt , i.e. Alg (X) is the limit limSpec R→X AlgR of categories, with M M ′ transition maps AlgR → AlgR′ for Spec R → Spec R over X induced by pulling back. Remark 2.4.3. Call a morphism of algebraic stacks X′ → X affine if for any scheme U over X the morphism UX′ → U is affine. For the trivial monoid {0}, we {0} get that Alg(X) := Alg (X) is (contravariantly) equivalent to the category Aff/X of algebraic stacks affine over X. This known fact can roughly be seen as follow. We have a functor Aff/X → Alg(X) induced by the functors Aff/X → AlgR, indexed over maps Spec R → X, ′ ′ that send X → X to the R-algebra A such that Spec A = XR. To check that this functor is an equivalence, we use that St/X ≃ limSpec R→X St/ Spec R. Thus the statement can be checked affine-locally on X, which is clear. f g For a composition X −→ Y −→ Z with g and gf affine it holds that f is affine as well. Indeed, f factorizes as the closed immersion X → X ×Z Y, which is affine, followed by the projection X ×Z Y → Y. The latter map is also affine, since being affine is stable under base change. For A a quasi-coherent OX-algebra, we write the corresponding stack over X as Spec A.

Let B be an M-graded, quasi-coherent OX-algebra. Write j for the map M → 0. Then the underlying quasi-coherent OX-algebra j!B, written simply as B, comes with a decomposition B≃ d∈M Bd in QCoh(X), such that affine-locally Bd is the

3In [Cis19], what we call a cofinalL functor is called a final functor. 12 ∗ graded piece of degree d of B. This follows from the fact that j! commutes with f , for any f : Spec R → X, together with Remark 2.2.4. Notation 2.4.4. We call Z-graded rings and Z-graded algebras simply graded rings and graded algebras. Z Example 2.4.5. For j : N → Z the inclusion, the functor j! : Alg (X) → N Alg (X) sends A to an N-graded algebra which has underlying OX-module A≥n := n≥0 An.

ExampleL 2.4.6. Consider the adjunction SymR ⊣ U, where U is the forgetful N functor AlgR → cnModR. Let j be the map → 0. ! N d ! Writing the presheaf j A on PolyR as R[x(d)] 7→ Ax(1) , we get j A ≃ A[x(1)] in the obvious way, for any R-algebra A. Using the adjunctions, we thus get natural equivalences N ! AlgR(SymR(UR), A) ≃ A ≃ A[x(1)]1 ≃ AlgR(R[x(1)], A[x(1)]) ≃ AlgR(j!j R, A) ! for all A in AlgR. It follows that SymA(A) ≃ j!j A for any R-algebra A, by [SAG, Prop. 25.2.3.1], by naturality of the adjunctions in Proposition 2.3.1, and since j! commutes with base-change. We write this R-algebra as A[t]. ±1 −1 ! Inverting t gives us A[t ] := A[t,t ], which is equivalent to i!i A where i is the map Z → 0. Globalizing gives us graded, quasi-coherent OS-algebras A[t] and ±1 A[t ], for any quasi-coherent OS-algebra A. Since A[t] ≃ A ⊗Z Z[t] and Z → Z[t] is a cofibration, we can compute A[t] by adjoining the free variable t levelwise to a simplicial model for A. This shows that π∗(A[t]) =∼ π∗(A)[t] as π0(A)-modules. From [DAGV, Prop. 4.1.18] it follows that ±1 ±1 also π∗(A[t ]) =∼ π∗(A)[t ] as π0(A)-modules. Lemma 2.4.7. Let f : X → Y be a morphism of algebraic stacks. Write j for the map Z → 0, so that j! is the functor that forgets the grading. Then the following diagram commutes Z ϕ Z Alg (X) ∗ Alg (Y)

j! j! ϕ Alg(X) ∗ Alg(Y)

! Z Proof. Consider the unit η : id → j j! on Alg (X). Upon applying ϕ∗ to both sides, ! ! A (−) we get a map ϕ∗ → ϕ∗j j! ≃ j ϕ∗j!, where we have used naturality of lg(−) in the equivalence. Now taking the adjoint of this map gives us a natural transformation

σ : j!ϕ∗ → ϕ∗j! between the two ways around the square. We claim that σ is an equivalence. Since the question is smooth-local on both X and Y, we may assume that f is of the form Spec B → Spec A. The latter case is obvious. 

2.5. Graded, quasi-coherent modules on algebraic stacks.

Definition 2.5.1. The category of M-graded, quasi-coherent OX-modules is de- fined as QCohM (X) :=QCoh(X)×M .

We often abuse notation, and introduce an M-graded, quasi-coherent OX-module {Nd}d∈M by only introducing the underlying quasi-coherent OX-module N := d∈M Nd. We say N is connective when the underlying OX-module is so, and write the category of connective objects as cnQCohM (X). L 13 Lemma 2.5.2. For any M-graded, quasi-coherent, connective OX-module N , and ∼ all k ≥ 0, we have a natural isomorphism πkN = d∈M πk(Nd). It follows that π∗(N ) is M-graded as π0(OX)-module, with graded pieces of degree d of the form L π∗(Nd). Proof. Use the Dold-Kan correspondence.  Remark 2.5.3. The category QCohM (X) is symmetric monoidal in the following way. Informally, for given M-graded, quasi-coherent OX-modules N , N ′, we let ′ ′ N ⊗ N be the graded module which is e+f=d Ne ⊗ Nf in degree d. Formally, we let M ⊗ be the symmetric monoidal category associated to M, where L the tensor product is given by addition in M, and with only identity morphisms. Then QCohM (X) is the category of functors M → QCoh(X). Thus, by Day convo- lution we get a symmetric monoidal structure on QCohM (X), which is also available in the ∞-setting by [Gla13]. Since M has no non-identity morphisms, this monoidal structure is particularly easy to compute, which recovers the informal description. M M Remark 2.5.4. When S = Spec R, then cnModR := cnQCoh (Spec R) can be computed as the ∞-category associated to the model category of M-graded simpli- cial R-modules.

2.6. Graded, connective E∞-algebras. For a symmetric monoidal category C, write Alg(C) for the category of commutative algebra objects in C as in [HA, Def. M 2.1.3.1]. Then Alg(cnQCoh (S)) is the category of M-graded, connective E∞- algebras over OS. By [Gla13, Prop. 2.12], this category is equivalent to the category of lax symmetric monoidal functors M ⊗ → cnQCoh(S). If M = {0} and S = Spec R, this recovers the notion of connective E∞-algebras over R by the proof of [SAG, Prop. 2.5.1.2]. M M Lemma 2.6.1. The map Alg(cnQCoh (S)) → limSpec R→S Alg(cnModR ), given by restriction, is an equivalence. Proof. A lax symmetric monoidal functor M ⊗ → cnQCoh(S) is the same thing as ⊗ a compatible family of lax symmetric monoidal functors M → cnModR, indexed by all maps Spec R → S, in the category C of symmetric monoidal categories and lax monoidal functors between them.  Remark 2.6.2. We have a map F : AlgM (S) → Alg(cnQCohM (S)). Indeed, by Lemma 2.6.1, it suffices to give maps when S = Spec R, natural in R. But this is straightforward: given an M-graded R-algebra B, we may assume that the underlying M-graded ring is a simplicial M-graded ring. Then we have a strictly commutative diagram in the category of M-graded, simplicial R-modules, which gives a commutative algebra object in cnQCohM (R). The map F is in general not an equivalence by [SAG, §25.1.2]. For example, when M = {0}, we know that F in general is only an equivalence in characteristic 0. Composing the functor F : AlgM (S) → Alg(cnQCohM (S)) with the forgetful functor Alg(cnQCohM (S)) → cnQCohM (S) gives us a functor U : AlgM (S) → cnQCohM (S). For B ∈ AlgM (S) we call UB the underlying graded, quasi-coherent OS-algebra. As in the ungraded case, we might suppress the notation U. 2.7. Homogeneous localization. Let R be a ring and B an N-graded R-algebra. We will recover the following classical picture: Remark 2.7.1. If B is discrete and M is a discrete, graded R-module, then for f ∈ R homogeneous of degree 1, the underived tensor product Mf := M ⊗R Rf 14 is graded, where the homogeneous elements of degree d − k are of the form m/f k, with m ∈ M homogeneous of degree d. We write the graded piece of degree 0 as M(f). ±1 For a non-graded discrete R-module N, the underived tensor product N⊗RR[t ] is graded in the obvious way. For M as above and f ∈ R homogeneous of degree ±1 n n 1, the map M(f) ⊗R R[t ] → Mf : x ⊗ t 7→ xf is an isomorphism. Recall that the ungraded case of localization has been generalized to the derived setting in [DAGV, Prop. 4.1.18]. Our approach will be similar. × ±1 × ∼ Let A be an R-algebra, and put A := AlgR(R[t ], A). Recall that π0(A ) = × × × π0(A) , and that πn(A ) =∼ πn(A) for n> 0. Hence A → A is monic in S. Definition 2.7.2. Let f be a homogeneous point in B. A map of Z-graded R- algebras λ : B → B′ exhibits B′ as the homogeneous localization of B at f if for any other Z-graded R-algebra C it holds that composition with λ induces an equivalence Z ′ Z AlgR(B , C) ≃ AlgR,f (B, C), Z Z where AlgR,f (B, C) is the subspace of AlgR(B, C) spanned by those maps that send f into C×. Proposition 2.7.3. Let f be a homogeneous point in B of degree d. Then there is a homogeneous localization of B at f, written B → Bf . Moreover, this localization Z is unique in AlgR up to contractible choice, and the underlying R-algebra of Bf corresponds to the ungraded localization at f.

Proof. For existence, we define Bf as the pushout

s7→f R[s] B

±1 R[s ] Bf

Z in AlgR, with deg(s)= d. We claim that Bf is the homogeneous localization of B at f. Z Z ±1 For C ∈ AlgR we have have that AlgR(R[s ], C) is equivalent to the subspace of Cd spanned by those elements which are invertible in π0C, i.e., Z ±1 × AlgR(R[s ], C) ≃ Cd ×C C

By construction of Bf and by composing pullback squares, we thus get that

Z × AlgR(Bf , C) C

Z AlgR(B, C) C is Cartesian. The claim follows from the fact that the bottom horizontal arrow maps ϕ to ϕ(f), and that the right vertical arrows is monic. Unicity is clear. Let j be the map Z → 0. It remains to show that j!(Bf ) ≃ (j!B)f . To this ends, by adjunction and the universal property of graded localiza- tion, we have that Z ±1 AlgR(j!(Bf ), A) ≃ AlgR,f (B, A[t ]) Z ±1 where deg(t) = 1. Now the equivalence AlgR(j!B, A) ≃ AlgR(B, A[t ]) gives an Z ±1 equivalence AlgR,f (j!B, A) ≃ AlgR,f (B, A[t ]). Indeed, for a given ϕ : j!B → A 15 ±1 d with transposeϕ ¯ : B → A[t ], the map π0(¯ϕ) sends f to ϕ(f)t . Now since ±1 ±1 d π0(A[t ]) =∼ π0(A)[t ] by Example 2.4.6, the element ϕ(f)t is invertible in ±1 π0(A[t ]) if and only if ϕ(f) is invertible in π0(A). 

For f a homogeneous point in B of degree 1, write B(f) for the degree zero part of Bf . We then have the following. ±1 Lemma 2.7.4. The natural map B(f)[t ] → Bf , sending t to f, is an equivalence of graded R-algebras. ±1 ∼ ±1 Proof. Consider π∗(B) as π0(B)-module. Then π∗(B(f)[t ]) = π∗(B(f))[t ] by Example 2.4.6, and we have the isomorphisms ±1 ±1 ∼ ±1 ∼ ∼ π∗(B(f))[t ]= π∗((Bf )0)[t ] = (π∗(B)f )0[t ] = π∗(B)f = π∗(Bf )

Here, we have used: the definition of B(f); Lemma 2.5.2; Remark 2.7.1 and [DAGV, Prop. 4.1.18].  2.8. Irrelevant ideal. Let i be the map 0 → N and j the map N → 0. We can ! ! summarize the adjunctions i! ⊣ i and j! ⊣ j as explained in Example 2.3.5 in the following diagram trivial forget i j ! N ! Alg(S) Alg (S) Alg(S) ! i! j

(−)0 (−)[t] ! ! Throughout, write ι : i!i → id for the counit of the adjunction i! ⊣ i . In the classical case, the map ιB : B0 →B has a retraction B→B0 with fibre the irrelevant ! ideal B+. This map B→B0 comes about since there is also an adjunction i ⊣ i!. We will now generalize this to the derived picture. Recall that a functor is conservative if it reflects equivalences.

! N Proposition 2.8.1. There is an adjunction i : Alg (S) ⇄ Alg(S): i! with counit ! π : id → i!i such that π ◦ ι ≃ id. Proof. We first do the case S = Spec Z. N Write sAlg resp. sAlg for the model 1-category of simplicial rings resp. simpli- N cial, N-graded rings. Write τ for the inclusion sAlg → sAlg that endows A ∈ sAlg N with the trivial grading. Then the functor σ :sAlg → sAlg that sends B to B0 is both a left and right adjoint to τ. In fact, τ is both left and right Quillen. Indeed, it is right Quillen since it preserves fibrations and trivial fibrations, and it is left Quillen since σ preserves fibrations and trivial fibrations. Both statements follow from the fact that fibrations N and weak equivalences in sAlgR are defined degree-wise. Consequently, both τ and σ preserve cofibrations and trivial cofibrations. There- fore, the left derived functor of τ can be computed by composition with a fibrant- cofibrant replacement, and thus coincides with the right derived functor. The same holds for σ. By [Hin16, Prop. 1.5.1], the derived functors of a Quillen adjunction induce an adjunction on the associated ∞-categories. Since the derived functor of τ is i! and ! ! of σ is i , we indeed have an adjunction i ⊣ i!. ! As in the proof of Proposition 2.3.1, Claim (ii), we promote i ⊣ i! to an ad- N junction AlgR ⇄ AlgR with counit π, for any R ∈ Alg. To globalize this to S, observe that j!i! is the identity on Alg(S), and that j! is conservative, hence that i! preserves all limits and colimits. We therefore have an adjunction ♯ N i ⊣ i! : Alg (S) ⇄ Alg(S)

16 Now i♯ coincides with i! because this is true affine-locally by the case S = Spec R, and since left adjoints are unique up to contractible choice. N It remains to show that for B ∈ Alg (S), the composition πBιB : B0 →B→B0 is an equivalence. This can be checked locally, so we assume that S = Spec R and N that B corresponds to B ∈ Alg (R). N Consider B as a pair (B0,B) ∈ AlgR ×Alg Alg . Then πBιB is the composition

(B0,B0) → (B0,B) → (B0,B0) induced by the identity on B0 and by the maps B0 → B → B0 from the adjunctions in the case R = Z. Hence, it suffices to do the case R = Z. But this case follows from the classical case, together with the fact that both τ and σ preserve trivial fibrations and trivial cofibrations. 

N Definition 2.8.2. For B ∈ Alg (S), write B+ for the graded, quasi-coherent OS- module n>0 Bn. We call B+ the irrelevant ideal.

πB PropositionL 2.8.3. The sequence B+ →B −−→B0 is a fibre sequence. Proof. The question is local on S, so assume that S = Spec R and that B corre- N sponds to B ∈ AlgR. Since B0 → B → B0 is a sequence of graded maps which composes into the identity, the map B → B0 is given by the projection on the underlying graded R-modules. Let F be the fibre of B → B0. Since the map

πn(B) =∼ πn(Bd) → πn(B0) d≥0 is given by the projection, it is surjective.M The claim now follows by considering the long exact sequence in homotopy groups associated to F → B → B0. 

The surjection B→B0 gives us a closed immersion Spec B0 → Spec B, which we write as V (B+) → Spec B.

3. Equivariant geometry We review some theory on group actions, following [HTT, §6.1.2], [NSS15].

3.1. Groupoids and groups. Let C be a category with fibre products. We say that a simplicial object X : ∆op → C satisfies the Segal condition if for all n ≥ 1 the map Xn → X1 ×X0 ···×X0 X1 induced by the spine inclusion is an equivalence, and 2 that morphisms are invertible if the map X2 → X1 ×X0 X1 induced by Λ [2] → ∆[2] is an equivalence. A groupoid object in C is a functor G : ∆op → C which satisfies the Segal condition and such that morphisms are invertible. The category of groupoid objects in C is the full subcategory of Fun(∆op, C) spanned by groupoid objects.

Definition 3.1.1. A group object in C is a groupoid object G in C such that G0 is contractible.

We write a group object G in C with G1 = G as B(∗, G). We often suppress notation and refer to G by G. Example 3.1.2. Let H be an abstract group. Consider H as a one-point category. Then the nerve of H gives us a group object in Set. Applying the same procedure to a classical group scheme G gives us a simplicial diagram in St which sends [n] to Gn. This is a group object in St, and it has the property that the colimit of this diagram is the familiar stack BG. 17 3.2. Group actions. Let C still be a category with fibre products, and let G be a group object in C. Definition 3.2.1. A G-object in C is a groupoid object in C of the form B(P, G): ∆op → C :[n] 7→ Gn × P such that d1 : G × P → P is the projection, and such that the levelwise projection B(P, G) → B(∗, G) is a morphism of groupoid objects. We call d0 : G × P → P the action of G on P and P the underlying object of B(P, G). The category CG of G-objects is the full subcategory of groupoid objects over G spanned by G-objects. Morphisms of G-objects are called G-equivariant maps. We refer to a G-object B(P, G) as P when convenient, similarly as in the classical case. Example 3.2.2. Let G be a classical group scheme acting on a classical scheme X. Then consider the action category, which has the points of X as objects and as morphisms x → y those g ∈ G such that gx = y. The nerve of this category is the quotient groupoid B(X, G), which sends [n] to Gn × X. We thus think of a one-simplex (g, x) in B(X, G) as an edge from x to gx. Let us spell out the general formulas for the face and degeneracy maps for future reference and to fix the precise indexing. For 0 ≤ i ≤ n, we have that n (n−1) di : G × X → G × X

(g1,...,gn−1,gnx) if i =0 (g1,...,gn, x) 7→ (g1,...,gn−ign−i+1,...,gn, x) if 0

e1 en−1 d t1 ··· tn−1 d bdtn if i =0 e en−1 en−1 bt 1 ··· t 7→ bte1 ··· (t t )en−i ··· t if 0

3.3. Principal bundles. Suppose now that G is a group object in St. For example, G can be any classical group scheme. Then for B(P, G) a given G-action in St, we define the corresponding quotient stack [P/G] as the colimit of B(P, G) in St. Definition 3.3.1. Let T be a stack. A principal G-bundle over T is a morphism B(P, G) → T together with a G-action B(P, G) such that P → T is colimiting, i.e., gives an equivalence [P/G] ≃ T . A morphism of principal G-bundles is a morphism of G-objects B(P, G) → B(P ′, G) that fixes T . This gives the category Bun(T, G) of principal G-bundles over T . 18 The main result here is that ∗ → BG classifies principal G-bundles. That is, by [NSS15] we have an equivalence of categories

St(T,BG) → Bun(T, G) : (T → BG) 7→ (T ×BG B(∗, G) → T )

G In fact, pulling back along B(∗, G) → BG gives us an equivalence St/BG → St . Example 3.3.2. Let S be a scheme. Let G be a group scheme over S acting on a scheme X over S. Then for T → S in Sch it holds that St/S (T, [X/G]) is equivalent to the space of diagrams P X

T S where P → T is a principal G-bundle and P → X is G-equivariant. Indeed, for given T → [X/G] we can form the pullback diagrams P X S

T [X/G] BG

Remark 3.3.3. Let X be a G-object in any category, with d0 = σ the action. Write n the face maps of G as δi. From the Segal condition it follows that di : G × X → n−1 G × X is homotopic to (idGn−1 , σ) if i = 0, and to (δi, idX ) otherwise. Likewise, it follows that sj is homotopic to the map which is the unit of G in the j-th coordinate, and the identity on the other coordinates.

3.4. BGm,S-algebras. Let S be a scheme. Consider Gm,S := Gm × S as a group ′ object in St/S . For S = Spec R we write Gm,S as Gm,R. For ϕ : S → S a morphism of schemes we have that BGm,S′ is the pullback of BGm,S along ϕ. This is because pullbacks commute past colimits in St, as they do in any topos by universality of colimits.

Gm Definition 3.4.1. The category Aff (S) of Gm,S-schemes affine over S is the G S m,S G full subcategory of t/S spanned by those m,S-stacks which are schemes affine over S. G G G Z m m m When S = Spec R or when S = Spec we write Aff (S) as AffR or as Aff G G respectively. Write Alg m for the opposite of Aff m , i.e., this is the category of G G G G 4 m m op m rings with a m-coaction. Likewise, define AlgR := (AffR ) and Alg (S) := G Aff m (S)op.

Proposition 3.4.2. Pulling back along the quotient map ρ : S → BGm,S induces Gm,S an equivalence Alg(BGm,S) → Alg (S). Proof. Recall from §3.3 that pulling back along ρ gives us an equivalence

Gm,S S G S ( t/S )/B m,S → t/S

Since ρ is affine, it holds that X → BGm,S is affine if and only if XS → S is, for any algebraic stack X. Thus the claim follows from Remark 2.4.3. 

Gm When convenient, we will tacitly identify Alg (S) with Alg(BGm,S) via the equivalence above.

4 It would be more correct to call this a Γ(Gm)-coaction. We have suppressed the Γ to ease notation. 19 G Gm op L m,S Remark 3.4.3. We actually have a functor Alg (−): Sch → Pr , since StS is functorial in S and since being affine is stable under pullbacks. The equivalence G in Proposition 3.4.2 is natural in S, hence Alg m (−): Schop → PrL is the right G Kan extension of the restriction Alg m (−): Alg → PrL. It follows that the map Gm Gm H : Aff (S) → limSpec R→S AffR is an equivalence.

Example 3.4.4. Let ρ : S → BGm,S be the projection map and π : BGm,S → S ±1 Gm,S the structure map. Then ρ∗ sends R ∈ Alg(S) to R[u ] ∈ Alg (S) with ∗ diagonal coaction of Gm,S, and ρ is the functor which forgets the coaction. The ∗ Gm,S functor π endows R ∈ Alg(S) with trivial action, and π∗ sends A ∈ Alg (S) G to the invariants A m .

4. Graded algebras and Gm-actions Fix a base scheme S. The goal of this section is to show the following. Theorem 4.6.2. There is a contravariant equivalence from the category of quasi- coherent, Z-graded OS-algebras to the category of Gm,S-schemes affine over S.

We write the simplicial diagram of a Gm,S-scheme X = Spec A affine over S as B(X) = {Bn(X)}n. Recall that B(X) lives over the trivial Gm,S-scheme B(S) = B(S, Gm,S). Observe that B(X) determines and is determined by a cosimplicial n diagram in Alg(S), which we write as C(A) = {C (A)}n. Then C(A) lives under the cosimplicial diagram C(OS ) corresponding to the trivial Gm,S-action B(S) on n ±1 ±1 S. We write C (A) as A[t1 ,...,tn ], where the indexing is as in Example 3.2.2. We use the obvious similar notation in the affine case. In particular, the cosimplicial diagram associated to the trivial Gm-action on Spec Z is written as C(Z). Gm As for Gm-schemes, we often abuse notation by introducing objects of Alg by saying that A is a ring with Gm-coaction, with associated cosimplicial diagram C(A).

Gm 4.1. The affine Gm-scheme associated to a graded ring. Observe that Alg ∆ ∆ is a full subcategory of AlgC(Z)/, and that AlgC(Z)/ is cocomplete by [HTT, Cor. Gm ∆ 5.1.2.3]. For a given diagram F : K → Alg , the colimit in AlgC(Z)/ is computed G pointwise, and lands in Alg m , since (−) ⊗ Z[t±1] commutes with colimits. Hence G Alg m is cocomplete. Z G We have an obvious coproduct-preserving map Poly → Alg m , which sends Z[x(d)] to the cosimplicial diagram associated to the coaction Z[x(d)] → Z[x(d),t±1] determined by x(d) 7→ x(d)td. By left Kan extension, we get a functor Z G Φ: Alg → Alg m Z Since Φ preserves finite coproducts in Poly , this functor Φ preserves all small colimits. See [HTT, Prop. 5.5.8.15], [SAG, Prop. 25.1.1.5] and their proofs. Remark 4.1.1. We can describe Φ explicitly on fibrant-cofibrant simplicial graded rings. Let B be such an object. Then the grading is levelwise, hence we have a levelwise coaction of Gm, which extends levelwise to a cosimplicial diagram in the category of discrete rings. Combining these levels gives us a cosimplicial diagram in Alg, which recovers Φ(B). Proposition 4.1.2. The cocontinuous functor Φ has a right adjoint. Z Proof. This follows from [HTT, Cor. 5.5.2.9, Rem. 5.5.2.10], since Alg is pre- sentable and Φ cocontinuous.  From here on, take a right adjoint Ψ to Φ, so that we are in the situation Z G (4.1) Φ: Alg ⇄ Alg m :Ψ 20 G 4.2. Twisted coaction. In this paragraph, fix A in Alg m with cosimplicial dia- gram C(A). Remark 4.2.1. Recall that if A is classical, then we know that it has a Z-grading. ±1 The graded piece Ad is the (underived) equaliser of A ⇒ A[t ], where one map is the coaction A → A[t±1] multiplied with t−d, and the other map is the inclusion. We will generalize this formula for Ad to the derived setting, which will help us both in showing that Φ is fully faithful and in showing that Ψ is conservative. Definition 4.2.2. Let C(A[u±1]) be the cosimplicial diagram in Alg associated to ±1 the diagonal Gm-action on Spec A × Spec Z[u ]. We grade the rings Cn(A[u±1]) via the grading on Z[u±1] which has u in degree Z −1. Then C(A[u±1]) is actually a cosimplicial diagram in Alg . Definition 4.2.3. For d ∈ Z define the d-th twist of A as the cosimplicial space Z C(A(d)) : ∆ → S :[n] 7→ Alg Z[x(d)], Cn(A[u±1]) where the cosimplicial structure is induced by C(A[u±1]).  Observe that C(A(d)) sends [n] to Cn(A). It also has the same coface and codegeneracy maps as C(A), except that the maps d0 : Cn−1(A(d)) → Cn(A(d)) −d are multiplied with tn , for all n. Recall that a coaugmentation of a cosimplicial diagram X : ∆ → C in a given category C is an extension of X to a diagram on the category ∆+ of finite ordi- nals and order-preserving maps. A coagumentation is limiting if the induced map X(∅) → lim X is an equivalence. Definition 4.2.4. Let d ∈ Z. The map G Z Alg m (Φ(Z[x(d)]), A) → Alg(Z[x(d)], A) ≃ Alg (Z[x(d)], C0(A[u±1])) that sends f to f 0 induces a coaugmentation

Gm αA,d : Alg (Φ(Z[x(d)]), A) → C(A(d)) Z in S. Since the αA,d are natural in d, by definition of Alg and the adjunction Φ ⊣ Ψ, these maps induce a coaugmentation ±1 αA : Ψ(A) → C(A[u ]) Z in Alg . G 4.3. Equivariant mapping spaces. Let still A ∈ Alg m be given. Observe: if we know that Φ ⊣ Ψ is an adjoint equivalence, then the grading on A must be such that

Z Gm Ad ≃ Alg (Z[x(d)], Ψ(A)) ≃ Alg (Φ(Z[x(d)]), A)

Gm We will show that Alg (Φ(Z[x(d)]), A) is indeed a model for Ad, by showing that it is a limit of C(A(d)), which generalizes the classical picture by Remark 4.2.1.

Gm Proposition 4.3.1. For any A in Alg and d ∈ Z, the coaugmentation αA,d : G Alg m (Φ(Z[x(d)]), A) → C(A(d)) is limiting in S. G To show this, we want to describe the mapping spaces in Alg m as a certain end, which will be a limit over a twisted arrow category. Let us recall the terminology and result. For a 1-category I, the twisted arrow category T (I) of I is the 1-category where the objects are arrows x → y in I, and a morphism from x → y to x′ → y′ is a pair of morphisms x′ → x, y → y′ which make the obvious ‘twisted’ square commute. More abstractly, T (I) is the category of elements of the functor I(−, −): Iop × I → Set. 21 Lemma 4.3.2. Let I be a 1-category. For F, G : I → C two I-indexed diagrams in a category C, the mapping space CI (F, G) is the limit of the diagram T (I) → S : (x → y) 7→ C(F (x), G(y)) Proof. See e.g. [GHN20].  Proof of Proposition 4.3.1. Write C(Z[x(d)]) for the cosimplicial diagram associ- ated to Φ(Z[x(d)]). Observe that G ∆ m Z Z Alg (Φ( [x(d)]), A)= AlgC(Z)/(C( [x(d)]), C(A)) ∆ Z ∆ Z = Alg (C( [x(d)]), C(A)) ×Alg (C(Z),C(A)) {C( ) → C(A)} ∆ Now we apply Lemma 4.3.2 to the mapping spaces Alg (−, −). Using that limits commute past each other, it holds that G Alg m (Φ(Z[x(d)]), A) ≃ lim H [n]→[m]∈T (∆) for the functor H that sends the object [n] → [m] in T (∆) to n m n m Alg(C (Z[x(d)]), C (A)) ×Alg(Cn(Z),Cm(A)) {C (Z) → C (Z)} (4.2) Z m Z ±1 ±1 ≃ Alg( [x(d)], C (A)) ≃ Alg( [x], A[t1 ,...,tm ]) We will now describe what H does on morphisms. Let a morphism γ in T (∆) from θ1 :[n1] → [m1] to θ2 :[n2] → [m2] be given by maps α :[n2] → [n1] and β :[m1] → [m2]. For i = 1, 2, let γi be the map in

T (∆) from id[mi] to θi determined by θi. Also, let σ be the map from θ1 to θ1α determined by α, and let τ be the map from θ1α to θ2 determined by β. This gives a factorization τσ = γ. mi Observe that H(γi) is determined by precomposing a given map C (Z[x(d)]) → mi ni mi C (A) with the map (θi)∗ : C (Z[x(d)]) → C (Z[x(d)]). Likewise, H(σ) is n2 n1 given by precomposition with α∗ : C (Z[x(d)]) → C (Z[x(d)]), and H(τ) by m1 m2 postcomposition with β∗ : C (A) → C (A). mi mi The map H(γi), when considered as map C (A) → C (A) by (4.2), is given θi(0) ′ by multiplying with tmi , which is invertible. We can thus define a diagram H : T (∆) → S that sends θ :[n] → [m] to H(id[m]), and any map γ : θ1 → θ2 to −1 ′ H(γ2) H(γ)H(γ1), with notation as before. Then lim H ≃ lim H . Now let p be the functor T (∆) → ∆ that sends [n] → [m] to [m]. Consider H′(γ) as map Cm1 (A) → Cm2 (A). Then it holds ′ −1 H (γ) ≃ H(γ2) ◦ H(τ) ◦ H(σ) ◦ H(γ1)

−θ2(0) α(0) θ1(0) ≃ (×tm2 ) ◦ C(A)(β) ◦ (×tm1 ) ◦ (×tm1 )

α(0)+θ1(0)−θ2(0) −β(0) ≃ C(A)(β) × tm2 = C(A)(β) × tm2 = C(A(d))(β) The precomposition of C(A(d)) : ∆ → S with p is thus homotopic to H. We claim that the functor p is final, meaning that composition with p does not change limits. By [HTT, Prop. 4.1.3.1], it suffices to show that p/[m] is contractible, for any m ≥ 0. We write objects of p/[m] as [n1] → [m1] → [m]. Consider the functor F : p/[m] → p/[m] that sends [n1] → [m1] → [m] to [n1] → [m] = [m]. Then there is a natural transformation idp/[m] → F , and the essential image of F is equivalent to ∆/[m]. It thus suffices to show that ∆/[m] is contractible, which is clear. It now follows that lim H ≃ lim C(A(d)). This equivalence identifies f ∈ lim H ≃ Gm ′ n Alg (Φ(Z[x(d)]), A) with the point in lim H given by the family {ϕ }n, where ϕn is the composition f n ϕn : Z[x(d)] ⊂ Cn(Z[x(d)]) −−→ Cn(A)

22 The equivalence is thus compatible with the coaugmentation, which remained to be shown. 

4.4. From graded rings to affine Gm-schemes is fully faithful.

Proposition 4.4.1. The unit η : idAlgZ → ΨΦ is invertible. Z Proof. Let B in Alg be given, and consider the map ηB : B → ΨΦ(B). Since we can check the statement degree-wise, by adjunction it suffices to show that Z G F : Alg (Z[x(d)],B) → Alg m (Φ(Z[x(d)]), Φ(B)) is an equivalence, for fixed d ∈ Z. Write C(B) for the cosimplicial diagram associated to Φ(B), let C(B(d)) be the d-th twist of Φ(B), and let G be the coaugmentation αΦ(B),d from Proposition 4.3.1. We will see that F is a map of limiting coaugmentations, one of which is G. In other Z words, we will give a limiting coaugmentation H : Alg (Z[x(d)],B) → C(B(d)) which commutes with F and G. Taking a model of B, we assume that B is a simplicial graded ring. Consider the obvious coaugmentation H : Bd → C(B(d)), which is just the inclusion Bd ⊂ B. Z Observe that GF ≃ H. Indeed, since Z[x(d)] is cofibrant in Alg and any object Z Z in Alg is fibrant, the mapping spaces Alg (Z[x(d)], Cn(B[u±1])) can be computed as underived mapping spaces. Now GF sends a point b ∈ Bd represented by a morphism Z[x(d)] → B to the map Z[x(d)] → B[u±1] given by x(d) 7→ bu−d. It follows that GF =∼ H. We claim that H is limiting. To this end, consider the Bousfield-Kan spectral se- quence for computing the homotopy groups of lim C(B(d)). This spectral sequence 2 u has Euv = π (πvC(B(d))) on the second page. Here, for a cosimplicial abelian group P we write πu(P ) for the u-th cohomology group of the cochain complex 0 1 n n n+1 n n i i P → P → ... with differentials ∂ : P → P given by ∂ = i=0(−1) d . Let v be given. Write P for the cochain complex associated to the cosimplicial n ±1 ±1P abelian group πvC(B(d)). We identify P with πv(B)[t1 ,...,tn ]. We write the cochain complex which has πv(Bd) concentrated in degree 0 simply as πv(Bd). The projection πv(B) → πv(Bd) induces a map P → πv(Bd), and the inclusion πv(Bd) → πv(B) induces a map πv(Bd) → P . We will show that the composition z : P → πv(Bd) → P is homotopic to the identity on P . This implies that the 2 spectral sequence degenerates and that E0v = πv(Bd). Together this implies that πv lim C(B(d)) =∼ πv(Bd), which will thus finish the proof. We will give maps σn : P n → P n−1 of abelian groups for n ≥ 0, where P −1 := 0, n k1 kn which satisfy ∂σ +σ∂ = id −z. We define σ on an element of the form bet1 ··· tn , with be ∈ πv(B) homogeneous of degree e, as

k1 kn−1 n k1 kn bet1 ··· tn−1 if e − d = kn σ (bet1 ··· tn )= (0 otherwise n ∼ ±1 ±1 Since P = e πv(Be)[t1 ,...,tn ], this gives a unique well-defined map. To check that ∂σ + σ∂ = id −z, let p = btk1 ··· tkn ∈ P n be given, with n ≥ 1. L 1 n Without loss of generality, assume that b is homogeneous of degree e. Observe that

n k1 kn e−d k1 kn n+1 k1 kn ∂ (p)= b(t1 ··· tn tn+1 − t1 ··· (tntn+1) + ··· + (−1) t2 ··· tn+1) n−1 We have a similar description for ∂ . Now a case distinction on whether e−d = kn shows that (∂n−1σn + σn+1∂n)(p)= p = (id −z)(p). For b ∈ P 0 homogeneous of degree e, it holds that (∂−1σ0 + σ1∂0)(b)= σ1∂0(b)= σ1(bte−d − b) = (id −z)(b) which again follows from a simple case distinction on whether d = e.  23 Proposition 4.4.1 implies that Φ is fully faithful. From here on, we thus consider Z G Alg as a full subcategory of Alg m . In particular, we will omit Φ from our notation when convenient. Then we can describe Ψ as the restricted Yoneda embedding. G G Z Indeed, for A ∈ Alg m , we have that Ψ(A)= Alg m (−, A) as presheaves on Poly , by adjunction.

4.5. From affine Gm-schemes to graded rings is conservative. Let us briefly consider the classical setting. Let A be a discrete ring with Gm-coaction. Then we have a diagram A[u±1] ⇒ A[u±1,t±1], where one map is induced by the diagonal Gm-action on Spec A × Gm and the other map is the inclusion. This is a diagram of graded rings, with u in degree −1. The limit of this diagram in the category of discrete, graded rings is the graded ring associated to A. We have a similar description available in the derived setting, which will im- ply that Ψ is conservative. For this, we need Gm-coactions on Z-graded rings. Z To this end, consider C(Z) as diagram in Alg by endowing it with the trivial Z grading. Identify the category Alg (BGm) with the category of those cosimplicial Z diagrams in Alg under C(Z) that, after forgetting the grading, give diagrams cor- Z responding to Gm-coactions. In other words, Alg (BGm) is the fibre product of Gm Z the inclusion Alg ⊂ Fun(∆, Alg)C(Z)/ with the functor Fun(∆, Alg )C(Z)/ → Z Fun(∆, Alg)C(Z)/ induced by the forgetful functor U : Alg → Alg, and is thus a Z full subcategory of Fun(∆, Alg )C(Z)/. G Example 4.5.1. For A ∈ Alg m the object C(A[u±1]), that has u in degree −1, Z lives in Alg (BGm). Lemma 4.5.2. The functor Ψ is equivalent to the composition of the functor ±1 Gm Z Z Z C(−[u ]) : Alg → Alg (BGm) with lim : Alg (BGm) → Alg .

Gm Proof. For A ∈ Alg , the coaugmentation of Z-graded rings αA : Ψ(A) → Z C(A[u±1]) from Definition 4.2.4 is limiting. Indeed, applying Alg (Z[x(d)], −) to αA yields the limiting coaugmentation of spaces αA,d from Proposition 4.3.1. Since all the αA,d are also natural in A, the map αA is natural in A, whence the claim follows. 

∗ Recall that for π : BGm → Spec Z the structure map, the adjunction π ⊣ π∗ : Gm Alg ⇄ Alg(BGm) corresponds to the adjunction Alg ⇄ Alg , where the left adjoint endows a ring with trivial action and the right adjoint is taking invariants. Z Z Lemma 4.5.3. The functor π∗ : Alg (BGm) → Alg is homotopic to the functor Z Z lim : Alg (BGm) → Alg . Likewise, π∗ : Alg(BGm) → Alg is homotopic to lim : Alg(BGm) → Alg. Z Z Proof. Write C for the category Fun(∆, Alg )C(Z)/, and let F : Alg → C be the Z functor which sends B ∈ Alg to the cosimplicial diagram B ⇒ B[t±] ... of Z- graded B-algebras corresponding to the trivial Gm-coaction on B. Z Z The functor F is left adjoint to lim : C → Alg . Indeed, for B ∈ Alg and C ∈ C, by purely formal arguments, it holds that Z Z C(FB,C) ≃ Fun(∆, Alg )(∆B, C) ≃ Alg (B, lim C) where ∆B is the constant diagram. ∗ Now π endows a Z-graded ring with trivial Gm-coaction. Thus the composition ∗ Z ∗ of π with the inclusion Alg (BGm) → C is F . From π ⊣ π∗ and F ⊣ lim it follows Z that π∗ is the restriction of lim to Alg (BGm). The argument that π∗ : Alg(BGm) → Alg is lim : Alg(BGm) → Alg is the same.  24 Z G Write U : Alg → Alg and V : Alg m → Alg for the forgetful functors.

Proposition 4.5.4. The functor Ψ commutes with U and V .

Proof. Consider the following diagram

C(−)[u±1] Gm Z π∗ Z Alg Alg (BGm) Alg

U U C(−)[u±1] π∗ Alg(BGm) Alg

It is clear that the triangle on the left commutes. The square on the right commutes by Lemma 2.4.7. Now b y Lemma 4.5.2 and 4.5.3, the composition of the top arrows is Ψ, and the composition of the diagonal arrow with the bottom arrow is V . 

Corollary 4.5.5. The functor Ψ is conservative, and hence Φ ⊣ Ψ is an adjoint equivalence.

Proof. Since V is conservative, the first statement follows from UΨ ≃ V . Now the second statement is purely formal: since the unit is invertible by Proposition 4.4.1, it suffices to show that the map Ψ(ǫA) : ΨΦΨ(A) → Ψ(A) induced by the counit Gm is invertible, for any A ∈ Alg . By adjunction, we have idΨ(A) ≃ Ψ(ǫA) ◦ ηΨ(A). Since ηΨ(A) is invertible, the claim follows. 

4.6. Globalizing the adjoint equivalence Φ ⊣ Ψ. Consider now the adjunctions

triv Z Φ G Alg Alg Alg m (−)0 Ψ where triv ⊣ (−)0 is the adjunction from Example 2.3.5 induced by j :0 → Z. By ∗ composing, we recover the adjunction π ⊣ π∗ from Example 3.4.4. G m,R Gm Lemma 4.6.1. We have equivalences AlgR → Alg ×Alg AlgR, for any ring R, where the fibre product is taken with respect to π∗.

Proof. Write C(R) for the cosimplicial diagram associated to R endowed with the G m,R Gm trivial coaction. Observe that AlgR is then the under-category (Alg )C(R)/. ∗ The equivalence follows from the adjunction π ⊣ π∗, by [RV18, Prop. 4.1.1]. 

Theorem 4.6.2. For any scheme S, we have an adjoint equivalence

Z Gm,S ΦS ⊣ ΨS : Alg (S) ⇄ Alg (S)

For S = Spec R we write ΦS ⊣ ΨS as ΦR ⊣ ΨR.

Proof. The case S = Spec R follows from Lemma 4.6.1 and the case S = Spec Z. This also shows that the adjunctions ΦR ⊣ ΨR are natural in R ∈ Alg. Then, Z Gm,S Z for general S, we write Alg (S) and Alg (S) as a limit of the categories AlgR Gm,R and AlgR , indexed over all maps Spec R → S by Definition 2.4.1 and Remark 3.4.3. 

The proof shows that ΦS ⊣ ΨS is natural in S. We will henceforth identify the Z G functor Alg (−) with Alg m (−). 25 4.7. Graded algebras as Gm-comodules. We record a result which is interesting in its own right, concerning an application of the Barr–Beck–Lurie theorem as in [HA, §4.7]. Since we will not use the result in what follows, we will not unpack all definitions from [HA] that we use. Recall that a monad on a category C is an algebra object T in the monoidal category Fun(C, C) under composition. For such T , we let ModT (C) be the category of left T -modules. The objects of ModT (C) are objects c ∈ C together with a homotopy coherent action T (c) → c. Let F : C ⇄ D : G be a given adjunction. Then T := GF is a monad on C, and ′ G factors as G : D → ModT (C) followed by the forgetful functor ModT (C) → C. Now F ⊣ G is called monadic if G′ is an equivalence. The Barr–Beck–Lurie theorem says that F ⊣ G is monadic if and only if G is conservative and geometric realizations of G-split simplicial objects exist in D and are preserved by G. Here, a G-split simplicial object X : ∆op → D means that GX has a contracting homotopy in C. Z Consider the adjunction U ⊣ (−)[t±1]: Alg (S) → Alg(S) from Example 2.3.5 induced by the map j : Z → 0, where U is the forgetful functor. This corresponds, ∗ Gm,S under the adjoint equivalence ΦS ⊣ ΨS, to the adjunction ρ ⊣ ρ∗ : Alg (S) ⇄ Alg(S) from Example 3.4.4. Taking opposites on both sides gives us the adjunction

Gm,S (−) × Gm ⊣ V : Aff(S) ⇄ Aff (S) where V is the forgetful functor.

Lemma 4.7.1. The adjunction (−) × Gm ⊣ V is monadic. Proof. Clearly V is conservative, so by the Barr–Beck–Lurie theorem it suffices to show that V preserves V -split geometric realizations. So let Y• be a V -split G simplicial diagram in Aff m,S (S). G S m,S Let Y be the colimit of Y• in t/S . Since colimits commute past each other, we have G G G [Y/ m,S] = [colim Y•/ m,S] ≃ colim[Y•/ m,S]

Also, since colimits in St/S are universal, the map G G colim([Y•/ m,S] ×BGm,S S) → colim([Y•/ m,S]) ×BGm,S S is an equivalence, where the colimits are taken in St/S . We thus have an equivalence ′ G G (4.3) g : colim Y• ≃ colim([Y•/ m,S] ×BGm,S S) → [Y/ m,S] ×BGm,S S ≃ Y G where again the colimit is taken in St/S, after forgetting the m,S-action on Y• and on Y . G Now let Y−1 be the colimit of V Y• in Aff(S). After forgetting the m,S-action on Y• and Y , we have a morphism h : Y−1 → Y under Y• in St/S. Now since Y• is

V -split, Y• → Y−1 is colimiting in St/S. Also, Y• → Y is colimiting in St/S by (4.3). It follows that h is an equivalence. Consequently, Y is affine over S and is thus the Gm,S colimit of Y• in Aff (S), from which the claim follows. 

5. Projective spectra

Throughout, let B be an N-graded, quasi-coherent OS-algebra on a scheme S, N with underlying -graded OS -module d Bd, such that π0B is generated as a π0OS- algebra by π0B1, locally on S. We refer to this latter condition by saying that B is generated in degree 1. L The goal of this section is to define the projective spectrum Proj B and show that it is representable by a scheme. After this, we want to give a description of the functor of points of B. This will lead us to recover the universal line bundle on 26 Proj B, for which we will first need Serre’s twisting sheaf, which in turn is based on the exact functor (−)∼ from graded, quasi-coherent B-modules to quasi-coherent OProj B-modules. Remark 5.0.1. The assumption that B is generated in degree 1 will give us a nice affine cover of Proj B of the form Spec B(f), for f homogeneous of degree 1. It is also used in the proof of Lemma 5.4.2, where we show that the twisted modules OProj B(n) are invertible. As in the classical case, the assumption is not as strict as it may seem. N Z Z For δ ∈ and R ∈ Alg, let σδ be the functor PolyR → PolyR that sends R[x(d1),...,x(dk)] to R[x(δd1),...,x(δdk)]. Precomposing with σδ gives us a func- tor Z Z (δ) AlgR → AlgR : B 7→ B (δ) Z Z where Bd = Bdδ. Since this is natural in R, we get a functor Alg (S) → Alg (S): (δ) (δ) B 7→ B , where again Bd = Bδd Now suppose that B is an N-graded, quasi-coherent OS-algebra such that π0B is a finitely generated π0OS-algebra. For simplicity, assume that S is affine. Then there is some δ ∈ N such that B(δ) is generated in degree 1, and we simply define Proj B as Proj B(δ). To see that this agrees with the classical case, see e.g. [GW10, Rem. 13.11]. This strategy can be extended to quasi-compact S by taking a finite cover of affine subschemes. 5.1. Construction and representability. Recall from §2.8 that we defined the irrelevant ideal of B as B+ = n>0 Bn, which comes with a fibre sequence B+ → B→B0. The closed immersion Spec B0 → Spec B is written as V (B+) → Spec B. L The Gm,S-action on Spec B restricts to a Gm,S-action on Spec B r V (B+). In- deed, the pullback along V (B+) → Spec B of the action Spec B×S Gm,S → Spec B is V (B+) ×S Gm,S → V (B+), since B →B0 is a homogeneous map. Therefore (Spec B r V (B+)) ×S Gm,S → Spec(B) lands in Spec B r V (B+). Definition 5.1.1. The relative projective spectrum Proj B of B over S is the stack [(Spec B r V (B+))/Gm,S] defined over S. We are going to show that the relative projective spectrum is a scheme. We want to argue locally, for which we need that the projective spectrum commutes with Z Z pullbacks. Note that, for given g : T → S, the pullback g∗ : Alg (S) → Alg (T ) ∗ ∗ maps N-graded objects to N-graded objects, and is such that (g B)0 ≃ g (B0). Lemma 5.1.2. The Proj-construction is stable under pullbacks. That is, if g : ∗ T → S is given, then Proj g B≃ Proj B×S T . ∗ ∗ Proof. We have that V ((g B)+) ≃ Spec g B0 ≃ V (B+) ×S T , since the relative spectrum commutes with pullbacks. From the pasting lemma for pullbacks, it ∗ ∗ follows that V (g B+) ≃ Spec g B×Spec B V (B+). We then get ∗ ∗ ∗ Proj g B = [(Spec g B r V (g B+))/Gm,T ] ∗ ∗ ≃ [g (Spec B r V (B+))/g Gm,S] ≃ Proj B×S T ∗ For the last equivalence we have used that g : St/S → St/T commutes with quotient stacks. Indeed, g∗ commutes with all colimits since colimits in topoi are universal. 

Theorem 5.1.3. Proj B is representable by a scheme over S. Proof. Since being schematic is local, by Lemma 5.1.2 we may assume that Spec B → S corresponds to a map R → B in Alg with B a graded R-algebra. 27 Note that {Spec Bf | f ∈ B1} is an open cover of Spec B rV (B+) by equivariant maps, and thus that {[Spec Bf /Gm,S] | f ∈ B1} is an open cover of Proj B, as holds in general for such a situation. It thus suffices to show that [Spec Bf /Gm,S] ≃ Spec B(f). And indeed this holds, by Lemma 2.7.4 and the fact that the diagonal ∼ Gm,S-action on Spec Bf = Spec B(f) ×S Gm,S is given by only acting on Gm,S.  Notation 5.1.4. From here on, write Proj B and its structure map as Y := Proj B −→τ S

Affine-locally on S, we write D+(f) for the affine open subsets of the form Spec B(f) ⊂ Y , for f a homogeneous point in B of degree 1. 5.2. Functoriality. We will show that the derived Proj construction has familiar functorial behaviour. First we record: Lemma 5.2.1. The underlying classical scheme of Proj B is the classical projective spectrum of π0B over Scl. When S, B are classical, then so is Proj B. Proof. Using the gluing description of Proj, it suffices to observe that for a graded A-algebra B, A ∈ Alg, and f ∈ B1, we have π0(B(f)) ≃ π0(B)(f), where we have written the connected component containing f just as f ∈ π0B. The second claim also follows from the local picture. 

′ Now let ϕ : B→B be a morphism of graded OS-algebras. Let U(ϕ) be the open complement of the fibre product ′ F := Spec B ×Spec B V (B+) ′ ′ Since V (B+) → Spec B factors through F , it holds that U(ϕ) is contained in ′ ′ Spec B \V (B+). The induced map U(ϕ) → Spec B\V (B+) is moreover equivariant, so we get a morphism

Proj(ϕ):[U(ϕ)/Gm] → [(Spec B\ V (B+))/Gm] ′ ′ ′ If ϕ is a surjective map, then U(ϕ) is all of Spec B \ V (B+). If B, B are generated in degree 1, we thus in this case get a morphism Proj(ϕ) : Proj B′ → Proj B 5.3. Graded B-modules. By Remark 2.6.2, we can consider B as an algebra ob- N ject in the symmetric monoidal category cnQCoh (S), and therefore as an algebra Z object in QCoh (S).

Definition 5.3.1. The category GrModB of graded, quasi-coherent B-modules is Z the category of modules in QCoh (S) over B. Such a module is connective if the underlying Z-graded OS-module is connective. We write cnGrModB for the category of connective objects in GrModB. Remark 5.3.2. Informally, a graded, quasi-coherent B-module is thus a quasi- coherent module M over the underlying algebra of B, together with a decomposition C M≃ d∈Z Md in Q oh(S), such that the maps Bd ⊗OS Me →M factor through Md+e for all d, e, in a homotopically coherent way. L The category GrModB is stable by [HA, Prop. 7.1.1.4]. Furthermore, it is sym- metric monoidal by [HA, Thm. 4.5.2.1], where the monoidal structure is given by the relative tensor product (−) ⊗B (−), which preserves colimits in each variable separately by [HA, Cor. 4.4.2.15]. We will sketch the construction of a functor ∼ cnGrModB → cnQCoh(Y ): M 7→ M

28 ∼ We first give a local description of M for given M ∈ GrModB. Take an open Z immersion Spec R → X, and let B ∈ AlgR correspond to the pullback of B to Spec R. Then Proj B ≃ Proj B×X Spec R has an affine open cover by schemes of ∼ the form Spec B(f), where f ∈ B1. On such Spec B(f), the module M is given by M(f), where M is the pullback of M to Spec R, and M(f) is the degree-zero part of Mf := M ⊗B Bf . In the classical case, it is not hard to see that this local description glues into ∼ a quasi-coherent OY -module M , functorial in M. One can use the Grothendieck construction in the derived setting. Recall that this entails an equivalence, for any category C, between Fun(C, Cat) and the category of coCartesian fibrations over C. See e.g. [BS18] for an exposition. For a given functor F : C → Cat, we write the associated coCartesian fibration as F → C. N Let A be the category Alg associated to the functor Alg → Cat that sends (−) R A N A A A N R to lgR. Then objectsR of are pairs (R,B) with R ∈ lg and B ∈ lgR. A morphism (R,B) → (R′,B′) consists of a ring map R → R′ and a map of N-graded ′ ′ ′ R -algebras B ⊗R R → B . Likewise, let X be the category cnGrMod(−). Observe that X has as ob- jects triples (R,B,M), where (R,B) ∈ A and M ∈ cnGrMod . A morphism R B (R,B,M) → (R′,B′,M ′) is a map (R,B) → (R′,B′) in A together with a mor- ′ ′ phism M ⊗B B → M in GrModB′ . N ≃ Now let A0 be the category (Alg(−)) associated to the functor Alg → S that A A N ≃ A N sends R ∈ lg to the core ( lgR) of lgR (obtained by discarding non-invertible morphisms). This is the subcategory of A spanned by all objects, and by those mor- ′ ′ ′ ′ phisms (R,B) → (R ,B ) for which the induced map B ⊗R R → B is an equiva- lence. Consider the functor A0 → Cat that sends (R,B) to cnQCoh(Proj B), where we temporarily write Proj B for [(Spec B\V (B+))/Gm], even though this might not be a scheme. Observe that this is well-defined by §5.2, since for (R,B) → (R′,B′) ′ ∗ in A0 we have a morphism f : Proj B → Proj B, hence f : cnQCoh(Proj B) → ′ cnQCoh(Proj B ). Write then Y0 for cnQCoh(Proj(−)). ∼ There is a functor F : X0 → Y0 that sends (R,B,M) to (R,B,M ), where the local description of M ∼ is as above.R This can be formalized by reducing to the case where (R,B,M) is of the form R = Z[t1,...,tk], B = R[x(d1),...,x(dn)], and M a finite direct sum of shifted copies of B, i.e. graded B-modules B(e) for which B(e)d = Bd+e. This strategy is similar to the one used in [SAG, §25.2.1]. We omit details. The functor F sends coCartesian edges to coCartesian edges. We thus get func- tors F(R,B) : GrModB → QCoh(Proj B), natural with respect to pairs (R,B) ∈ A. ′ To globalize this to schemes, let A0 be the category of pairs (S, B), where S is N a scheme and B ∈ Alg (S). Morphisms are defined as in A0. Now the func- ′ tor cnGrMod(−) on A0 is the right Kan extensions of its restriction to A0; the same holds for cnQCoh(Proj(−)). The functors F(R,B) thus induce a functor ∼ ′ cnGrModB → cnQCoh(Proj(B)), written M 7→ M , natural in (S, B) ∈ A0, which is locally given by F(R,B).

∼ Remark 5.3.3. Evaluating at affine opens of the form Spec B(f) shows OY ≃B .

∼ Proposition 5.3.4. The functor cnGrModB → cnQCoh(Y ): M 7→ M is exact. Proof. Since the question is local, it suffices to show that M M cnGr odB → cn odB(f) : M 7→ M(f) is exact, for any graded R-algebra B and f ∈ B1. Since the functor cnGrModB → cnGrModBf : M 7→ Mf is exact by [HA, Cor. 4.4.2.15], we only need to show that 29 M M cnGr odBf → cn odB(f) : M 7→ M0 is exact. For this, in turn, it suffices to show that the functor M M H : Gr odBf → odB(f) : M 7→ M0 is exact and t-exact. M ⇄ M We have an adjunction triv ⊣ (−)0 : odB(f) Gr odB(f) , where triv endows a B(f)-module with the trivial grading. The functor M M odB(f) → Gr odBf : N 7→ triv(N) ⊗B(f) Bf M M is then a left adjoint to H. Since Gr odBf and odB(f) are both stable, it follows that H is exact. Now t-exactness follows from the fact that πn(Md) =∼ πn(M)d. 

5.4. Serre’s twisting sheaf. For n ∈ Z, let B(n) be the graded B-module such ∼ that B(n)d = Bn+d. Then put OY (n) := B(n) , which is the derived version of Serre’s twisting sheaf. Remark 5.4.1. Let B be a graded ring. With similar machinery as in §4.1, we could endow B(n) with a Gm-coaction, which gives us a cosimplicial module that has C(B(n)) as underlying cosimplicial space. This justifies the terminology from Definition 4.2.3, but is not needed in what follows. Recall, from §2.5, that Z⊗ is the symmetric monoidal category associated to the monoid (Z, +).

Lemma 5.4.2. The modules OY (n) ∈ QCoh(Y ) are invertible, and induce a lax ⊗ symmetric monoidal functor OY (−): Z → QCoh(Y ) for which the maps OY (n) ⊗ OY (m) → OY (n + m) are invertible. Proof. The first claim is local, so we reduce to a graded R-algebra B. We claim that the D+(f) for points f ∈ B1 form a trivializing open cover for OY (n). To see this, consider the B-module homomorphism ×f n : B → B(n), which gives an equivalence Bf ≃ B(n)f . Moreover, this equivalence preserves the grading, and thus gives an equivalence B(f) ≃ B(n)(f). It follows that OY (n) is a line bundle. For the existence of the functor OY (−), as in §2.6, it suffices to give a Z-graded OY -algebra of the form n∈Z OY (n). We sketch the argument for why such an algebra exists. L Recall the category A0 of pairs (R,B) from 5.3. Let Z be the category of triples Z (R,B, C), where (R,B) ∈ A0 and C ∈ Alg (Proj B). As in the construction of (−)∼, we can define a functor

A0 → Z : (R,B) 7→ R,B, OProj B(n) n∈Z  M  by defining this functor in the case where the object (R,B) ∈ A0 is of the form (Z[t1,...,tk], R[x(d1),...,x(dn)]), which is straightforward. By right Kan extend- Z ing this functor to schemes, we indeed get a -graded OY -algebra n∈Z OY (n). ∨ For the third claim we observe that the dual of OY (n) is OY (n) = OY (−n). L Upon tensoring the map h : OY (n)⊗OY (m) → OY (n+m) with OY (−n) we obtain the identity on OY (m). It follows that h is invertible. 

5.5. Functor of points. In the classical case, we know that Proj B represents the functor that assign to a (classical) scheme f : T → S over S the set of equivalence classes of pairs (L, ψ), where L is a line bundle on T and ψ is a map f ∗B → ⊗n ∗ n≥0 L of graded OT -algebras such that f B1 → L is surjective. Here, two such pairs (L, ψ) and (L′, ψ′) are equivalent if there is an isomorphism of Z-graded L∗ ⊗n ∼ ′ ⊗n f B-algebras n≥0 L = n≥0(L ) . See e.g. [Stcks, Tag 01O4]. 30 L L The goal of this section is to give a similar description in the derived setting. ⊗n We thus want to make sense of graded algebras which are of the form n∈N L , for some line bundle L. We do this as follows. L Definition 5.5.1. Let X be a stack and A an N-graded, quasi-coherent OX-algebra. We say that A is freely generated by a line bundle if the canonical map OX → A0 ⊗n is invertible, A1 is a line bundle on X, and the canonical maps A1 → An are equivalences for all n ∈ N.

Remark 5.5.2. Let A be an N-graded, quasi-coherent OT -algebra on a scheme T . We argue that A is freely generated by a line bundle L if and only if A is equivalent to Sym L. Let first A be freely generated by a line bundle L ≃ A1. Then the inclusion L → A induces an N-graded map Sym L → A by Lemma B.5.1. We claim that this is an equivalence. Since we can check this locally, we may assume that L is free and that X is affine, say X = Spec A, L = A. Then the map Sym(L)n → An is equivalent to the map (At)⊗n → A⊗n, which is an equivalence. The converse, that Sym(L) is freely generated by L, is again straightforward to check locally. Lemma 5.5.3. Let ψ : X′ → X be a morphism of stacks and A an N-graded OX-algebra. If A is freely generated by a line bundle, then so is ψ∗A. Proof. Use that structure sheaves, line bundles and tensor products pull back, to- gether with commutativity of the diagrams

N ψ∗ N Alg (X) Alg (X′)

(−)n (−)n ψ∗ cnQCoh(X) cnQCoh(X′)

N N with vertical arrows induced by the forgetful functors Alg (−) → cnQCoh (−) and N the functors (−)n : cnQCoh (−) → cnQCoh(−). 

Example 5.5.4. Consider the projection map ρ : S → BGm,S. Since ρ is affine, Z it holds S = Spec ρ∗OS. In fact, ρ∗OS is a -graded OBGm,S -algebra such that (ρ∗OS)≥0 is freely generated by a line bundle. Indeed, since S → BGm,S is the pullback of ν : Spec Z → BGm, by Lemma 5.5.3 it suffices to check the statement on ν. In this case it follows from the fact that ν is the universal Gm-torsor in the classical sense, since a Gm-torsor on a classical scheme U is locally of the form U × Gm. Y S op S Y Let : ch/S → be the following functor. For ψ : T → S we let (ψ) be the ∗ space of maps ψ B→M of N-graded OT -algebras, such that M is freely generated ∗ by a line bundle, and such that ψ B1 →M1 is surjective. Thus, Y is a sub-presheaf of S op S ch/S → N ≃ (ψ : T → S) 7→ (Alg (T )ψ∗B/) where (−)≃ means that we discard non-invertible morphisms. Proposition 5.5.5. The functor Y is the functor of points of Y = Proj(B). Proof. Let ψ : T → S be given. We know that Y (T ) is the space of commutative squares 31 P Spec B r V (B+)

ψ T S where P → T is a principal Gm,S-bundle and P → Spec B r V (B+) is Gm,S- equivariant. Recall that P → T is a pullback of S → BGm,S. Therefore, by Lemma 5.5.3 and Example 5.5.4, the bundle P → T is classified by a Z-graded OT -algebra A such that P ≃ Spec A, and such that A≥0 is freely generated by a line bundle. The composition ϕ : P → Spec B r V (B+) → Spec B is equivariant, and thus corresponds to a graded map ψ∗B → A which, by Example 2.4.5, factors through A≥0 since B is N-graded. Now the claim is that ϕ landing outside V (B+) is exactly ∗ ∗ the condition that ψ B → A≥0 induces a surjection ψ B1 → A1. To see this, consider the following diagram of pullback squares in Sch

∗ Q Spec ψ B0 Spec B0 y y

Spec A Spec ψ∗B Spec B

∗ Observe that Q ≃ Spec(A⊗ψ∗B ψ B0) over T . Since V (B+) ≃ Spec B0, we thus ∗ have to show that Q = ∅ if and only if ψ B1 → A1 is surjective. But Q = ∅ if and only if Qcl = ∅, so the statement follows from the classical case. 

Remark 5.5.6. The identity on Y is classified by the principal Gm,S-bundle P = Spec B\ V (B+) over Y , which gives us that P = Spec A for a Z-graded OY -algebra A by Example 5.5.4. The functor of point description of Y gives us a map θ : ∗ τ B → A≥0, which is universal in the sense that ϕ : T → Y corresponds to the T -point of Y given by pulling back θ along ϕ. We can now also make sense of OY (1) as the universal line bundle. In fact, the Z underlying -graded OY -module of A is d∈Z OY (d). To see this, observe that on an affine patch of the form Spec B(f) ⊂ Y we have L OY (d)(D+(f)) = (Bf (d))0 = (Bf )d = Ad(D+(f)) where the last equality follows from P = Spec B\ V (B+) and the proof of Theorem 5.1.3. Example 5.5.7. Let us compare our functor of points description of Proj B with the classical one. So suppose that S, B are classical, and let f : T → S be a scheme over S, also classical. Write Y′ for the functor described in [Stcks, Lem. 01O4]. We will see that Y and Y′ are equivalent. As we shall see below in Lemma 5.2.1, it holds that Proj B is classical. Thus ′ Y(T ) is 0-truncated. It thus suffices to show π0Y(T ) =∼ Y (T ). Any line bundle on T is classical, since T is. Hence Sym L is classical, for any line bundle L on T , by [SAG, Cor. 25.2.3.2]. Thus a morphism f ∗B →M in N Alg (T ) where M is freely generated in degree 1 by a line bundle L is equivalent ∗ ⊗d N to a morphism π0f B → d≥0 L of discrete -graded OT -algebras. Now two ∗ ∗ ′ such f B→M and f B→M are equal in π0Y(T ) if and only if there is a graded L ′ ∗ ′ OT -algebra isomorphism M→M under f B. This gives π0Y(T ) =∼ Y (T ), as we wanted. Example 5.5.8. We return to the derived scheme S. Let E ∈ QCoh(S) be locally free of finite rank. Recall that the projective bundle of E over S is defined as the scheme PS(E) with the following functor of points. For f : T → S, it holds that 32 ∗ PS(E)(T ) is the space of pairs (L, ψ), with L ∈ Pic(T ) and ψ : f E → L a surjective ∗ map of OT -modules. Such a map is equivalent to a graded map f Sym E → Sym L which is surjective in degree 1, and hence PS(E) ≃ Proj(Sym E).

6. The Rees algebra of a closed immersion The goal of this section is to describe the (extended) Rees algebra of a closed immersion, which will be our input for defining blow-ups in the next section. The strategy will be as follows. For any given map Z → X, we will define a A1 G stack DZ/X over X with a m,X action which satisfies a universal property closely related to the one described for the classical case in §6.11. Then we will show that A1 for Z → X a closed immersion, DZ/X is representable by a scheme affine over X . The stack DZ/X will be defined using Weil restrictions, which we will first review. The advantage of this approach is that D(−)/X is functorial by construction, which will allow us to work locally when checking representability in the proof of Theorem 6.3.3.

6.1. Weil restrictions. We recall the relevant theory on Weil restrictions. Let Y ∈ St and X,Z ∈ St/Y . If it exists, we write Map/Y (X,Z) for the in- ternal mapping object, i.e., an object in St/Y together with an evaluation map e : Map/Y (X,Z) ×Y X → Z such that the induced map

St/Y (T, Map/Y (X,Z)) → St/Y (T ×Y X,Z) is an equivalence, for all T ∈ St/Y . For us, a morphism of stacks f : X → Y is affine if for all Spec A → Y the fibre product XA is representable by an affine scheme. If X, Y are algebraic, this coincides with f being affine in the sense of Remark 2.4.3. In general, f being affine implies that it is representable in the sense of [SAG, Con. §19.1.2].5

1 Example 6.1.1. The map f : BGm → [A /Gm] induced by the zero section is 1 1 affine. Indeed, let g : Spec A → [A /Gm] be given. Pulling back g along A → 1 [A /Gm] gives an affine scheme Spec B, where B is a graded algebra endowed with a graded map Z[t] → B. Let b be the image of t in B. Then the pullback of g along f is Spec((B/(b))0). Proposition 6.1.2 ([SAG, Prop. 19.1.2.2]). Let morphisms X → Y ← Z in St be given, with X → Y affine. Then Map/Y (X,Z) exists as a stack. The proof of this proposition involves two things. First, it is shown that the assignment T 7→ St/Y (T ×Y X,Z) is in fact valued in (small) spaces. Second, it is shown that this is a sheaf. Proposition 6.1.3 ([SAG, Con. 19.1.2.3]). Let f : X → Y be an affine morphism ∗ of stacks. Then the pullback functor f : St/Y → St/X has a right adjoint, given by

ResX/Y : St/X → St/Y M M Z 7→ ap/Y (X,Z) × ap/Y (X,X) Y

We call ResX/Y the Weil restriction along f. When convenient, we write Resf for ResX/Y .

5In fact, the theory of Weil restriction is developed in [SAG, Con. §19.1.2] for representable morphisms, but we do not need this generality. 33 Remark 6.1.4. Let Z → X → Y be morphisms of schemes. Observe that for any scheme f : T → Y , we indeed have that

M M ResX/Y (Z)(T )= ap/Y (X,Z)(T ) × ap/Y (X,X)(T ) Y (T ) S = t/Y (T ×Y X,Z) ×St/Y (T ×Y X,X) {f}

≃ St/X (T ×Y X,Z)

In particular, we always have a map ResX/Y (Z) ×Y X → Z over X induced by the identity on ResX/Y (Z). The following shows that Weil restrictions commute with pulling back. Lemma 6.1.5. Let f : X → Y and f ′ : X′ → Y ′ be affine morphisms of stacks. Suppose that we are given a commutative square in St

f ′ Z′ X′ Y ′ (6.1) g f Z X Y with the square on the right Cartesian. Then the universal property of ResX/Y (Z) ′ induces a map ResX′/Y ′ (Z ) → ResX/Y (Z) over Y . If both squares are Cartesian, ′ then this map exhibits ResX′/Y ′ (Z ) as the pullback of ResX/Y (Z) along g. Proof. Observe that ′ ′ ′ ResX/Y (Z)(ResX′/Y ′ (Z )) ≃ St/X (ResX′/Y ′ (Z ) ×Y ′ X ,Z) ′ ′ ′ ′ Hence, composing the map ResX′/Y ′ (Z ) ×Y ′ X → Z with Z → Z induces a map ′ ResX′/Y ′ (Z ) → ResX/Y (Z) over Y , and thus a map ′ ′ h : ResX′/Y ′ (Z ) → ResX/Y (Z) ×Y Y Now if both squares in (6.1) are Cartesian, then h is an equivalence. Indeed, for ′ ′ given T ∈ St/Y ′ , it holds that h(T ) is the map ′ ′ ′ ′ ′ ′ St/X′ (T ×Y ′ X ,Z ) → St(T , ResX/Y (Z)) ×Y (T ′) {T → Y }≃ St/X (T ×Y X,Z) which is an equivalence. 

6.2. The functor GA. We first describe a functor GA, which is used in the con- struction of the Rees algebra. It will turn out that this functor GA is right adjoint to taking the Rees algebra when restricted to the appropriate categories.

−1 Notation 6.2.1. For X a scheme and B a Z-graded OX [t ]-algebra, where the −1 −1 Z degree of t is −1, we write B for the tensor product B⊗OX [t ] OX of -graded −1 −1 OX -algebras, given by the zero section OX [t ] → OX : t 7→ 0. −1 Taking the degree-zero part of the map OX [t ] → B gives us a canonical map Z A1 OX → (B)0. This gives us a functor GX : Alg ( X ) → Alg(X) which sends B to GX (B) := (B)0. In the case that X = Spec A we write GA := GX . An object x in a category C is compact if C(x, −) preserves filtered colimits.

Lemma 6.2.2. For any A ∈ Alg, the functor GA preserves filtered colimits.

Proof. The functor GA factorizes as

Z (−)⊗A[t−1]A Z (−)0 AlgA[t−1] −−−−−−−−→ AlgA −−−→ AlgA

Since the first arrow is cocontinuous, it suffices to show that (−)0 preserves filtered colimits. 34 Since the forgetful functor U : AlgA → S is conservative, it suffices to show that the composition U ◦ (−)0 preserves filtered colimits. But this is the func- Z tor AlgA(A[x(0)], −), which preserves filtered colimits since A[x(0)] is compact by Lemma 2.2.6. 

Remark 6.2.3. The functor GA does not preserve all colimits. Indeed, consider the tensor product −1 −1 −1 A[t ,u] ⊗A[t−1] A[t ,s] ≃ A[t ,s,u] Z in AlgA[t−1], where u is in degree −1 and s in degree 1. Then it holds −1 −1 −1 −1 GA(A[t ,s,u]) ≃ A[su] 6≃ A ⊗A A ≃ GA(A[t ,u]) ⊗GA(A[t ]) GA(A[t ,s]) 6.3. Construction. Let Z → X be a closed immersion. Consider X as scheme A1 A1 −1 −1 over X via the zero section. Identify X with Spec OX [t ], and endow OX [t ] with the grading where t−1 is of degree −1. G A1 G Write ζX for the map B m,X → [ X / m,X ] induced by the zero section.

Definition 6.3.1. Define DZ/X via the following pullback square. G DZ/X ResζX ([Z/ m,X ]) (6.2)

A1 A1 G X [ X / m,X ] G G We endow DZ/X with the m,X -action such that DZ/X → ResζX ([Z/ m,X ]) in- G G duces an equivalence [DZ/X / m,X] ≃ ResζX ([Z/ m,X ]). If Z → X is of the form Spec B → Spec A, we write DB/A := DZ/X . A1 Definition 6.3.2. If DZ/X is affine over X , then by Theorem 4.6.2 it holds that −1 DZ/X = Spec R, where R is a Z-graded OX [t ]-algebra. In this case, we call R ext the extended Rees algebra of Z → X, and write RZ/X := R and RZ/X := R≥0. ext If Z → X is of the form Spec B → Spec A, then we let RB/A and RB/A be the Z ext -graded A-algebras corresponding to RZ/X and RZ/X .

Observe that D(−)/X is functorial on the category of closed immersions Z → X A1 ext for which DZ/X → X is affine. In extension, R(−)/A is functorial on the category of A-algebras B for which Spec B → Spec A is a closed immersion and for which A1 DB/A is affine over A. The main goal of this chapter is to show the following: A1 Theorem 6.3.3. The stack DZ/X is affine over X . Observe that the question is local on X. We will therefore for now assume that Z → X is of the form Spec B → Spec A, where A → B is a surjective ring map. Throughout, we endow Z with trivial Gm,X -action. As such, it holds that [Z/Gm,X ] ≃ Z × BGm. We will stick to the notation [Z/Gm,X ] to emphasize that this stack lives over [X/Gm,X]= BGm,X . −1 Let Q be a Z-graded algebra over A[t ], and write T := [Spec Q/Gm,X]. We make the following key observation:

Gm,X S S 1 G t A1 (Spec Q,DZ/X ) ≃ t/[A /Gm,X ](T, ResζX ([Z/ m,X ])) / X X G G ≃ St/BG (T ×[A1 /G ] B m,X , [Z/ m,X ]) (6.3) m,X X m,X Z ≃ AlgA(B, Q)

≃ AlgA(B, GA(Q)) 35 We used the universal property of the Weil restriction mentioned in Remark 6.1.4, and the fact that taking the zeroth degree of a graded algebra is right adjoint to the functor that endows an algebra with trivial grading. Remark 6.3.4. The question of representability of mapping stacks and of Weil restrictions has a history of different incarnations. We mention one that seems closest to our situation. In [HLP19, Prop. 5.1.14] the following is shown. For a flat morphism π : X → Y of algebraic stacks, satisfying a formal requirement generalizing properness, with Y Noetherian, the Weil restriction Resπ(Z) is affine over Y for Z affine over X. In our case, we are interested in a Weil restriction Resπ(Z) where π is not flat, G A1 G namely where π is the map B m,X → [ X / m,X]. Without the flatness assump- tion, [HLP19] only gives us results on the question of algebraicity of Resπ(Z), meanwhile we are interested in affineness. Our approach is thus independent of theirs. Z Definition 6.3.5. Write HB for the functor AlgA[t−1] → S that sends Q to AlgA(B, GA(Q)).

Remark 6.3.6. Observe that HB is corepresentable if and only if HB preserves limits and κ-filtered colimits for some regular cardinal κ by [HTT, Prop. 5.5.2.7]. −1 Lemma 6.3.7. The functor HB is corepresentable by a Z-graded A[t ]-algebra R −1 if and only if DB/A is affine over Spec A[t ], in which case DB/A ≃ Spec R. Proof. This follows from the observation made in (6.3). 

Corollary 6.3.8. Suppose that B is compact in AlgA. Then DB/A is affine over −1 Spec A[t ] if and only if HB preserves limits.

Proof. Combine Remark 6.3.6 with Lemma 6.3.7 and the fact that GA(−) preserves filtered colimits by Lemma 6.2.2.  We will first do two separate cases of the proof of Theorem 6.3.3. We will then do the general case in §6.6. 6.4. Rees algebra of a finite quotient. A map A → B is a finite quotient if B is obtained from A by attaching cells induced by a finite number of pointed maps ni σi : S → A, with ni ≥ 0 for all i. Using multi-index notation, we write the ni induced map i S → A as σ, and B as A/(σ). See §B.6 for details.

PropositionW 6.4.1. Suppose that B is a finite quotient over A. Then DB/A is affine over Spec A[t−1]. Proof. Write B = A/(σ) for σ : Sn → A the pointed map associated to B. Since B is compact over A, by Corollary 6.3.8 it suffices to show that HB preserves limits. Z −1 Let Q ∈ AlgA[t−1], and write q for the image of t under the structure map A[t−1] → Q. Also, write σ(Q) for the composition of σ with A → Q. ×q We have a fibre sequence Q −−→ Q → Q, and thus a fibre sequence Q1 → Q0 → GA(Q). Therefore, in the following commutative diagram

n AlgA(B, GA(Q)) S∗(S ,Q1) {0}

n n {σ(Q)} S∗(S ,Q0) S∗(S , GA(Q)) 36 the square on the right is Cartesian. By the universal property of B (Lemma B.6.4), the outer square is Cartesian as well. It follows that there is a dashed arrow as indicated that makes the square on the left Cartesian. We just saw that

n A n S lgA(B, GA(−)) ≃{σ(−)}×S∗(S ,(−)0) ∗(S , (−)1) Z Z as functor AlgA[t−1] → S. Since limits in AlgA[t−1] are computed degree-wise, this functor thus preserves limits, which was to be shown. 

6.5. Quasi-smooth A-algebras and their Rees algebras. Recall that a closed immersion Z → X is quasi-smooth if locally on X it is a pullback of the map {0} → An, for some n, along some map X → An. A surjection A → B is quasi- smooth if the corresponding map on spectra is.

Example 6.5.1. Any surjection of the form A → B = A[X]/(f), where f = f1,...,fn is a sequence of points in A[X] = A[X1,...,Xk], is quasi-smooth. In- deed, by [KR18, Prop. 2.3.8], it suffices to show that the shifted cotangent complex LB/A[−1] is a locally free B-module of finite rank. But this follows from [KR18, Prop. 2.3.14] and its proof.

Proposition 6.5.2. If A → B is a quasi-smooth surjection, then DB/A is affine over Spec A[t−1].

Proof. Since the question is local on Spec A, we may assume that A → B is of the form A → A/(a1,...,an) for certain points ai ∈ A. Then the claim follows from Proposition 6.4.1. 

6.6. Rees algebra of a closed immersion. We now show the general case of any closed immersion Z → X. Recall that we may assume Z → X to be of the form Spec B → Spec A. The strategy is roughly as follows. We can obtain B from A by attaching an infinite number of cells, in order of dimension. We show that in each intermediate step A → Bα → B, it holds that DBα/A will be affine over Spec A[t−1]. The corresponding Rext will then assemble into Rext , as the B Bα/A B/A α assemble into B.

−1 n Lemma 6.6.1. Suppose that DB/A is affine over Spec A[t ]. Let σ : S → B be ′ a given pointed map, for n > 0, and put B := B/(σ). Then DB′/A is affine over Spec A[t−1].

Proof. By Remark 6.3.6 and Lemma 6.3.7, we need to show that HB′ preserves limits and κ-filtered colimits for some regular κ. This functor can be written as Z HB′ : AlgA[t−1] → S

A A n Q 7→ lgA(B, GA(Q)) × lgA(A[S ],GA(Q)) {0}

−1 Since DB/A is affine over Spec A[t ], it suffices to show that DA[Sn]/A is so as well. Since A[Sn] ≃ A/(Sn−1 −→0 A), this is indeed so by Proposition 6.4.1. 

Clearly, the proof of Lemma 6.6.1 uses that n> 0. Luckily, it will turn out that this is exactly the case that we need, essentially since in assembling B from A by attaching k-cells, we can work in order of the dimension k.

Lemma 6.6.2. Suppose that B is a colimit of A-algebras Bα such that DBα/A is −1 −1 affine over Spec A[t ], for all α. Then DB/A is affine over Spec A[t ]. 37 Proof. By Lemma 6.3.7, it suffices to show that HB is corepresentable. Let Q ∈ Z AlgA[t−1] be given. Then we have natural equivalences

HB (Q)= AlgA(B, GA(Q)) ≃ lim AlgA(Bα, GA(Q)) Z ext A −1 ≃ lim lgA[t ](RBα/A, GA(Q)) Z ext A −1 ≃ lgA[t ](colim RBα/A, GA(Q)) Hence D is affine over Spec A[t−1], and in fact D = Spec(colim Rext ).  B/A B/A Bα/A

Lemma 6.6.3. For any map A → B, there is a sequence A = B0 → B1 →···→ N Bn → ... in AlgA/B, indexed by n ∈ , such that the map colim Bn → B is an equivalence, and with all Bk → Bk+1 obtained by attaching infinitely many k-cells to Bk. Proof. This follows by a small objects type of argument, which is essentially the same as in [EKMM97, Thm. 2.10]. 

Proof of Theorem 6.3.3. Using Lemma 6.6.3, take a sequence A = B0 → B1 → ···→ Bn → ... , indexed by n ∈ N, such that Bk → Bk+1 is obtained by attaching k-cells to Bk, and with B = colim Bn. A1 We will first show that DB2/A is affine over X . As before, we observe that A → B2 is surjective. Moreover, by assumption this map is of the form A → A[X]/(f) for variables X = X1,X2,... and relations f = f1,f2,... (both possibly infinite).

Let C be the category of sets of the form {Xi1 ,...,Xin ,fj1 ,...,fjm }, where all the fjk are in A[Xi1 ,...,Xin ], and for which A → A[Xi1 ,...,Xin ]/(fj1 ,...,fjm ) is surjective. Morphisms in C are the inclusions. For each such object, we have a factorization of A → B2 as A → A[Xi1 ,...,Xin ]/(fj1 ,...,fjm ) → B2. Now the induced map

colim C A[X ,...,X ]/(f ,...,f ) → B {Xi1 ,...,Xin ,fj1 ,...,fjm }∈ i1 in j1 jm 2 is an equivalence of A-algebras. Indeed, we can write A[X ,...,X ]/(f ,...,f ) ≃ A[X ,...,X ] ⊗ A i1 in j1 jm i1 in A[Fj1 ,...,Fjm ] from which the claim follows by the fact that colimits commute with tensor prod- ucts.

Since all the maps A → A[Xi1 ,...,Xin ]/(fj1 ,...,fjm ) are quasi-smooth by Ex- ample 6.5.1, we have that D is affine over A1 by Propo- (A[Xi1 ,...,Xin ]/(fj1 ,...,fjm ))/A X A1 sition 6.5.2, and thus that DB2/A is affine over X by Lemma 6.6.2. A1 Now let k ≥ 2, and assume that DBk/A is affine over X . We will show that

DBk+1/A is as well. With a similar argument as before, we write Bk+1 as a colimit of Bk-algebras Bα, which are each obtained from Bk by attaching a finite number A1 of k-cell. By Lemma 6.6.1, each DBα/A is affine over X , hence by Lemma 6.6.2 so is DBk+1/A. A1 By induction, we conclude that DBn/A is affine over X , for all n ≥ 0. Since B = colim Bn, the statement follows from another application of Lemma 6.6.2.  6.7. Structural induction. We will isolate the proof strategy used in Theorem 6.3.3, since we will have chance to use it again on several occasions.

Definition 6.7.1. For A ∈ Alg, write SurA for the full subcategory of AlgA spanned by the surjections.

Let P be a property of closed immersions Z → X. For A ∈ Alg, write PA for the corresponding property of objects in the category SurA. Lemma 6.7.2. Suppose that P satisfies the following properties: 38 (1) It is local on X. (2) It holds for any Spec B → Spec A for which A → B is a finite quotient. (3) The property PA is stable under filtered colimits in SurA, for any A ∈ Alg. (4) If PA holds for a surjection A → B, then it also holds for A → B/(σ), for any pointed map σ : Sn → B with n ≥ 1. Then P holds for any closed immersion Z → X. Proof. From (1) and (2) it follows that P holds for any quasi-smooth map Z → X. By (1), we can and will assume that Z → X is of the form Spec B → Spec A. Now write A → B as A = B0 → ··· → Bn → ··· → B, with Bk → Bk+1 obtained by attaching k-cells, and B = colim Bn. By (3), it suffices to show that PA holds for all A → Bn,n ≥ 2. From the proof of Theorem 6.3.3 it follows that B2 is in fact a filtered colimit of A-algebras Bα, such that each A → Bα is surjective and quasi-smooth. It follows that PA holds for all A → Bα, and hence for A → B2 by (3). Now suppose that PA holds for A → Bk with k ≥ 2. Again we can write Bk+1 as a filtered colimit of Bk-algebras Bα, each obtained from Bk by attaching a finite number of k-cells. Since α 7→ Bα is a filtered diagram, it also holds that Bk+1 ≃ colim Bα as A-algebras. Hence, by (3), and by induction on the number of k−1 k-cells, we may assume that Bk+1 is of the form Bk/(σ) for certain σ : S → Bk. By (4), PA now also holds for A → Bk+1. By induction, PA holds for all A → Bn,n ≥ 2, which was to be shown.  6.8. Base change of Rees algebras. Let still Z → X be a closed immersion, ′ ′ ′ let f : X → X be a map of schemes, put Z := Z ×X X . Recall the map G A1 G ζX : B m,X → [ X / m,X ] induced by the zero section from §6.3. Letting X vary in this notation, it holds that ζX′ is the pullback of ζX . Observe that we then have a map

k : DZ′/X′ → DZ/X ′ ′ ′ G ′ G induced by the maps DZ /X → ResζX′ ([Z / m,X ]) → ResζX ([Z/ m,X ]) and A1 A1 DZ′/X′ → X′ → X . A1 Proposition 6.8.1. The map k exhibits DZ′/X′ as pullback of DZ/X along X′ → A1 ext ∗ ext Z X . Consequently, we have an equivalence RZ′/X′ ≃ f RZ/X of -graded OX - algebras. Proof. This follows from Lemma 6.1.5.  ext ∗ ext Z Corollary 6.8.2. The map k induces an equivalence RZ′/X′ ≃ f RZ/X of - graded OX -algebras. Proof. Use Proposition 6.8.1 and the pasting law for pullbacks. 

−1 ext In fact, in §6.10 we will see that OX [t ] → RZ/X is an equivalence in degree ext N ≤ 0. It follows that RZ/X is -graded. 6.9. An explicit formula for the Rees algebra of a finite quotient. The proof of Theorem 6.3.3 shows that for any closed immersion Z → X, the Rees ext algebra RZ/X is locally on X a colimit of Rees algebras of finite quotients. Here we will give an explicit formula for the Rees algebra of finite quotients. Lemma 6.9.1. For a surjection A → B, we have equivalences Z ext Alg −1 (R ,Q) ≃ St A1 G (Spec Q,D ) ≃ Alg (B, GA(Q)) A[t ] B/A /[ X / m,X ] Z/X A Z natural in Q ∈ AlgA[t−1] and B ∈ AlgA. 39 Proof. This follows from Theorem 6.3.3 and the equivalences in (6.3).  Recall that we can adjoin a simplicial set K to an algebra A to get a new algebra A[K]. There is also a graded version of this available. Using this, we define an A- algebra A[v] with v free of degree d and level n, see §B.5 for details. This has the Z universal property that AlgA(A[v],B) is equivalent to the space of pointed maps n S → Bd, for any graded A-algebra B. Z m Notation 6.9.2. For B ∈ Alg and τ : S → Bd a pointed map, we write B/(τ) for Z the pushout in Alg of A[v] → B along the map A[v] → A induced by 0 : Sm → A, where v is free of level m, degree d. Similarly for multi-index notation. Proposition 6.9.3. Let A → B be a finite quotient, say B = A/(σ) for σ = ni σ1,...,σk, with σi : S → A pointed maps. We then have an equivalence ext −1 −1 RB/A ≃ A[v,t ]/(vt − σ) −1 of Z-graded A[t ]-algebras, where v = v1,...,vk with the vi free of degree 1 in level ni. Proof. By Lemma 6.9.1 and the proof of Proposition 6.4.1, we have an equivalence Z ext n A n S lgA[t−1](RB/A, −) ≃{σ(−)}×S∗(S ,(−)0) ∗(S , (−)1) Z as functors AlgA[t−1] → S, where as before σ(Q) means the composition of σ with the structure map A → Q. On the other hand, by construction we have a pullback square

Z −1 −1 n AlgA[t−1](A[v,t ]/(vt − σ),Q) S∗(S ,Q1)

(id,0) −1 n (id,×t −σ) n n S∗(S ,Q1) S∗(S ,Q1) × S∗(S ,Q0)

Z of spaces, for each Q ∈ AlgA[t−1]. We therefore also have an equivalence Z −1 −1 n A n S lgA[t−1](A[v,t ]/(vt − σ), −) ≃{σ(−)}×S∗(S ,(−)0) ∗(S , (−)1) Z as functors AlgA[t−1] → S, from which the claim follows. 

Corollary 6.9.4. The Rees algebra RZ/X is generated in degree 1.

Proof. Say that a closed immersion Z → X has property P if RZ/X is generated in degree 1. We will check that P satisfies the conditions of Lemma 6.7.2. Clearly, P is local on X. Observe that the case where Z → X corresponds to a finite quotient A → B immediately follows from the explicit formula in Proposition 6.9.3. Also, when X = Spec A, then P is stable under filtered colimits in the category SurA of surjections A → B. Now suppose that P holds for Spec B → Spec A, and let σ : Sn → B with n ≥ 1 be a pointed map. Put B′ := B/(σ). From the proof of Lemma 6.6.1 it follows that ext ext −1 ′ n−1 0 R ′ ≃ R ⊗Rext A[t ], where A = A/(S −→ A). Hence by assumption B /A B/A A′/A ext  on B and by the case of finite quotients, RB′/A is generated in degree 1. 6.10. The Rees algebra adjunction. Z Z Definition 6.10.1. Let ReesA be the full subcategory of AlgA[t−1] = (AlgA)A[t−1]/ −1 spanned by those Z-graded A-algebra maps A[t ] → R for which the induced Z≤0- −1 graded map A[t ] → R≤0 is an equivalence. Objects of ReesA are called extended Rees algebras over A. 40 Remark 6.10.2. Neither the category SurA nor ReesA is presentable, since these categories do not have all products.

Remark 6.10.3. Notwithstanding Remark 6.2.3, the restriction GA : ReesA → AlgA does preserves all colimits. Indeed, by [HTT, Prop. 4.4.2.7], it suffices to show that GA preserves pushouts and coproducts of extended Rees algebra. For the claim on pushouts, let R′,R,R′′ be extended Rees algebras. Then since (−) ⊗A[t−1] A preserves colimits, it holds that ′ ′′ ′ ′′ ′ ′′ GA(R ⊗R R ) ≃ (R ⊗R R )0 ≃ GA(R ) ⊗GA(R) GA(R ) ′ ′′ where in the last equivalence we have used that, by Proposition 2.8.1, (B ⊗B B )0 ≃ ′ ′′ Z ′ ′′ B0 ⊗B0 B0 for -graded algebra B ,B,B concentrated in degrees ≥ 0. The claim on coproducts is similar, using that also (−)0 commutes with co- products of Z-graded algebras concentrated in degree ≥ 0, again by Proposition 2.8.1. Z The reason that this argument does not work in the general case GA : AlgA[t−1] → AlgA is because Q ⊗A[t−1] A may not be concentrated in degree ≥ 0 for Q ∈ Z AlgA[t−1], as seen in Remark 6.2.3. ext S ⇄ R Proposition 6.10.4. We have an adjunction R(−)/A ⊣ GA(−): urA eesA. ext S R Proof. By Lemma 6.9.1, it suffices to show that R(−)/A( urA) ⊂ eesA and that GA(ReesA) ⊂ SurA. ext S R To show that R(−)/A( urA) ⊂ eesA, we use the obvious affine version of Lemma 6.7.2. Clearly, the question is local on Spec A and stable under filtered colimits in SurA. The case where A → B is a finite quotient follows from Proposition 6.9.3. The case where A → B is of the form A → B0/(σ), for certain B0 ∈ AlgA for which Rext ∈ Rees and with σ : Sn → B ,n ≥ 1 a pointed map, follows from a similar B0/A A 0 argument as in Corollary 6.9.4. Conversely, let R ∈ ReesA. Then π0GA(R) is the underived quotient π0A/π0R1, −1 since π0R is the underived quotient π0R/(t ), and since (−)0 commutes with π0. It follows that A → GA(R) is surjective. 

ext Next we want to show that R(−)/A is fully faithful. We first record the following variation on the well-know fact that a left adjoint F is fully faithful if and only if the corresponding unit η is an equivalence. The variation seems folklore in the setting of ∞-categories, but see e.g. [Stcks, Tag 07RB] for the corresponding statement on 1-categories. Lemma 6.10.5. Let F ⊣ G : C ⇄ D be an adjunction with unit η. Then F is fully faithful if there is some equivalence idC ≃ GF .

Proof. Suppose that idC ≃ GF , so that GF is fully faithful. Then for x, x′ ∈ C it holds that in the following sequence η∗ (6.4) C(x, x′) −→F D(F x, F x′) −→G C(GF x, GF x′) −→x C(x, GF x′) the composition of the first two arrows is an equivalence. By adjunction, the com- position of the second two arrows is also an equivalence. By two-out-of-six, we conclude that all arrows in the diagram are equivalences. In particular, the first arrow is an equivalence, i.e., F is fully faithful.  ext S R Proposition 6.10.6. The functor R(−)/A : urA → eesA is fully faithful.

Proof. Let B ∈ SurA be given. By Lemma 6.10.5, it suffices to give some equivalence ext ϕB : B → GA(RB/A), natural in B. Write Spec B → Spec A as Z → X. 41 Let π be the structure map BGm,X → X. Recall that π∗ : Alg(BGm,X ) ≃ Z ∗ Alg (X) → Alg(X) corresponds to (−)0, and π to endowing an algebra with the trivial action. Also recall, from Remark 2.4.3, that the relative spectrum functor A G op A furnishes an equivalence from lg(B m,X ) to the category ff/BGm,X of algebraic stacks affine over BGm,X . The inverse of Spec is given by the global sections functors, denoted Γ. Write ν :[X ×A1 X/Gm,X] → BGm,X for the pullback of ζX along itself. By X G G Lemma 6.1.5, and since [DZ/X / m,X ] ≃ ResζX ([Z/ m,X ]), it holds ext G GA(RB/A) ≃ π∗Γ[DZ/X ×A1 X/ m,X ] (6.5) X ≃ π∗ΓResν [Z ×A1 X/Gm,X ] X ∗ Recall from Proposition 2.8.1 that the functors π∗, π restricted to N-graded al- ∗ N gebras also give an adjunction π∗ ⊣ π : Alg (S) ⇄ Alg(S). Observe that 1 Resν [Z ×A1 X/Gm,X] is affine over BGm,X , since D ×A1 X is affine over A . X Z/X X X Therefore, for any A-algebra Q, it holds N ∗ Alg (π∗ΓResν [Z ×A1 X/Gm,X],Q) ≃ Alg (Γ Resν [Z ×A1 X/Gm,X], π Q) A X A X ∗ ≃ Aff G (Spec π Q, Resν [Z ×A1 X/Gm,X]) /B m,X X Now combining this with (6.5) and using the universal property of the Weil restric- tion, we get that Z N Alg (G (Rext ),Q) ≃ Alg (B ⊗ A, Q ⊗ A) ≃ Alg (B,Q ⊗ A) A A B/A A⊗A[t]A A[t] A[t] A A[t] N Now since (−)0 : AlgA → AlgA is a left adjoint, it commutes with pushouts. It follows that ext AlgA(GA(RB/A),Q) ≃ AlgA(B, (Q ⊗A[t] A)0) ≃ AlgA(B,Q) ext By naturality in Q, we thus have an equivalence GA(RB/A) ≃ B. Since all of the above equivalences are also natural in Z, the claim follows. 

Remark 6.10.7. By what we have just seen, the essential image of the functor ext S R R(−)/A : urA → eesA captures the theory of closed immersions into Spec A. In the classical case, the latter is equivalent to the theory of ideals of A, as is well- known. In the derived setting, for a closed immersion A → B, we do have an exact sequence

−1 ext ×t ext ext RB/A −−−→ RB/A → RB/A from which it follows that (RB/A)1 is the fibre of A → B. But observe that in the derived setting there is no obvious way of defining ideals of A, let alone recover B from this. 6.11. Example: Classical Rees algebra of a regular embedding. Let A be classical, a = a1,...,an ∈ A a regular sequence, and B := A/(a). Recall that a ext being regular is equivalent to B being classical. We will show that RB/A is discrete, and that it coincides with the classical extended Rees algebra of A → π0B =∼ B. ext −1 −1 By Proposition 6.9.3, we know that RB/A is the quotient A[v,t ]/(vt − a). −1 −1 Now observe that {vit −ai}i is a regular sequence in A[v,t ] by [Stcks, Tag 0625], since a, v is regular. It follows that the quotient is isomorphic to the underived, hence discrete, quotient. −1 ext Let I be the (underived) kernel of A → B. Then the map A[It,t ] → RB/A −1 of A[t ]-algebras, defined by sending ait to vi, is an isomorphism. It follows that ext RB/A coincides with the classical extended Rees algebra. 42 We also make the following observation:

ext n n+1 cl R ≃ I /I ≃ Sym NB/A B/A n≥0 M where the quotient In/In+1, the symmetric algebra, and the conormal sheaf are classical. The first equivalence follows from the fact that t−1 is regular, and the second from the fact that Spec B → Spec A is a regular embedding in the classical sense.

6.12. Comparison to the classical Rees algebra. We will show how to recover ext the classical extended Rees algebra of π0A → π0B from RB/A. It will turn out that at most two corrections are needed: first, for A → B classical, we currently do not ext know whether RB/A is always discrete; and second, there are A → B classical for −1 ext which t is not regular on π0RB/A. Let k be a discrete ring. A discrete, Z-graded k[t−1]-algebra Q is called t−1- regular if t−1 is a non-zero divisor in Q. We write C for the 1-category of such Q. We then have an adjunction

reg Z (−) : clAlgk[t−1] ⇄ C : ϕ where the right adjoint ϕ is the obvious forgetful functor, and we write clAlg for Z reg the 1-category of discrete algebras. For Q ∈ clAlgk[t−1], we can compute Q either as the image of the natural map Q → Qt−1 , or as Q/K, where K := n≥1 Kn with K the kernel of multiplication by t−n. n S Let now A → B be a surjection in Alg, and write R = clRext for the π0B/π0A −1 −1 classical extended Rees algebra of π0A → π0B. Then R is t -regular, and R/(t ) −1 is π0B in degree zero. We thus have a natural map B → R/(t ), which induces a ext reg ext map α : (π0RB/A) → R by the universal properties of R(−)/A, of π0(−), and of (−)reg. Proposition 6.12.1. The map α : (π Rext )reg → clRext is an equivalence. 0 B/A π0B/π0A

−1 −1 Proof. Let Q be a discrete, Z-graded, t -regular π0A[t ]-algebra, and write C for the 1-category of such Q. Then it holds

ext reg Z ext Z −1 C((π0RB/A) ,Q) ≃ AlgA[t−1](RB/A,Q) ≃ AlgA(B,Q/(t )) A Z −1 ≃ cl lgπ0A(π0B,Q/(t )) where clAlg again means discrete hom-set. Here, the first equivalence follows from reg the universal properties of (−) and π0(−), the second from the universal property ext −1 of R(−)/A from §6.10, and the third from the fact that Q is t -regular. It follows that α exhibits (π Rext )reg as having the same universal property as clRext 0 B/A π0B/π0A as explained in §1.3, and thus that α is an equivalence. 

Corollary 6.12.2. Not for all discrete surjections A → B does it holds that ext −1 π0RB/A is t -regular.

ext −1 Proof. Suppose to the contrary that π0RB/A is t -regular, for all B over A discrete. ′ ′ ′ Consider maps A ← A → B between discrete rings such that B := B ⊗A A is discrete. Let I be the ideal of A → B, and I′ the ideal of A′ → B′. ext ′ We have RB/A ⊗A A ≃ RB′/A′ , by base change of Rees algebras (Proposition n ′ ′ n 6.8.1). Upon applying π0 to this, we get that π0(I ⊗AA ) =∼ (I ) , for any n ≥ 1, by the assumption that both Rees algebras are t−1-regular and by Proposition 6.12.1. ′ n n Now apply (−) ⊗A A to I → A → A/I , and consider the long exact sequence 43 n ′ associated to the resulting fibre sequence. Since π0(A/I ⊗A A ) is the underived quotient A′/(I′)n, this gives us an exact sequence n ′ n ′ ′ n ′ ′ ′ n ( π1(A/I ⊗A A ) → π0(I ⊗A A ) = (I ) ֒→ A → A /(I → 0 →··· n ′ which implies that π1(A/I ⊗A A ) = 0. We give an explicit counter-example to this result. Consider the case where A → B is the map k[x,y,z]/(xy − z2) → k[y] of k[y]- algebras sending x, z to 0, and A′ is A/(y). Then y is a zero-divisor in A/I2 = 2 2 2 ′ π0k[x,y,z]/(x ,xy,xz,z ), hence (A/I ) ⊗A A is non-zero in π1.  ext −1 Here is a concrete example which shows that RB/A might not be t -regular, even if it is discrete.

Example 6.12.3. Let k be a discrete ring, and let A → B be the map k[ǫ0] → k, 2 where k[ǫ0] is the dual numbers, i.e., with ǫ0 = 0. We can obtain B from A by an infinite number of cell attachments as follows. First, put B1 := A/(ǫ0). Then, from ×ǫ the fibre sequence A −−→ A → B1, it follows that π1B1 = k, and that πkB1 = 0 for k > 1. Let ǫ1 be the path ǫ0 ≃ 0, so that ǫ1ǫ0 generates π1B1. By abuse of notation, we write B1 = k[ǫ0,ǫ1], with the understanding that ǫ1 is a path ǫ0 ≃ 0. Inductively, we consider an A-algebra Bn = k[ǫ0,ǫ1,...,ǫn], with for k ≥ 1 each ǫk+1 in level k + 1 and exhibiting a homotopy ǫkǫ0 ≃ 0. Then we define Bn+1 as Bn/(ǫ0ǫn), which we write as k[ǫ0,...,ǫn+1], with the same convention as for Bn. The natural map colim Bn → B is now an equivalence. To compute Rext , we first compute all Rext , inductively on n. We know that B/A Bn/A Rext is A[t−1, v ]/(v t−1 − ǫ ), with v in degree 1 and level 0. It will turn out B1/A 0 0 0 0 that ext −1 RBn/A = A[t , v0, v1,...,vn−1, τ1, τ2,...,τn] where each vi is in degree 1 and level i; each τj is in degree 0 and level j; for all −1 i ≥ 0 we have that vi+1 is a homotopy ǫ0vi ≃ 0; τ1 is a homotopy v0t ≃ ǫ0; and −1 for all j ≥ 1 we have that τj+1 is a homotopy vj t ≃ τj ǫ0. ext Indeed, assume that it is true for n. Then observe that, since R(−)/A commutes with pushouts, we have ext ext −1 R ≃ R ⊗ ext A[t ] Bn+1/A Bn/A RA[Sn]/A −1 −1 −1 −1 ≃ A[t , v0, v1,...,vn−1, τ1, τ2,...,τn] ⊗A[t ,wn−1]/(wn−1t ) A[t ] ext ext where w is free in degree 1, level n − 1, and the map R n → R sends n−1 A[S ]/A Bn/A wn−1 to ǫ0vn−1. We will show that, by pasting pushout diagrams, we get ext ext −1 −1 n RBn+1/A ≃ RBn/A/(ǫ0vn−1) ⊗A[t ,S ] A[t ] Indeed, write Rext /(ǫ v ) as Rext [v ], with the same conventions as before. Bn/A 0 n−1 Bn/A n Then consider the following diagram. −1 A[wn−1t ] A (α) A[t−1, w ] A[t−1, w ]/(w t−1) Rext n−1 n−1 n−1 Bn/A (β) f (γ) A[t−1] A[t−1,Sn] Rext [v ] Bn/A n (δ) A[t−1] Rext Bn+1/A 44 Since (α) and (α) + (β) are both pushouts, it follows that (β) is a pushout, where the map f is the quotient map −1 −1 −1 −1 −1 n A[t , wn−1]/(wn−1t ) → A[t , wn−1]/(wn−1t , wn−1) ≃ A[t ,S ] Since A[t−1, w ]/(w t−1) → Rext sends w to ǫ v , it follows that (β)+ n−1 n−1 Bn/A n−1 0 n−1 (γ), hence (γ), is a pushout. Now, since (γ)+(δ) is a pushout, also (δ) is a pushout, which is what we wanted. Now note that A[t−1,Sn] → Rext [v ] is determined by the two different homo- Bn/A n −1 −1 topies vnt and τnǫ0, both establishing ǫ0vn−1t ≃ 0; glued together they give a map σ : Sn → Rext [v ]. Thus Bn/A n ext ext ext RBn+1/A ≃ RBn/A/(ǫ0vn−1, σ) ≃ RBn/A[vn, τn+1] −1 where τn+1 is a homotopy vnt ≃ τnǫ0. ext −1 Passing to the colimit gives us RB/A ≃ A[t , v0, v1,...,τ1, τ2,... ], with the ext same conventions on the vi and τj . We see that RB/A is discrete, and thus that ext ∼ −1 −1 RB/A = π0A[t , v0]/(v0t − ǫ0,ǫ0v0) −1 2 −1 2 It is however not t -regular, since v0 t = v0ǫ0 = 0, but v0 6= 0. Since the kernel −k 2 of multiplication by t is generated by v0 for any k ≥ 1, we get that ext reg ∼ −1 −1 2 ∼ −1 (RB/A) = π0A[t , v0]/(v0t − ǫ0, v0ǫ0, v0 ) = A[ǫ0t,t ] where the last isomorphism is given by v0 7→ ǫ0t. We thus indeed recover the classical extended Rees algebra. Remark 6.12.4. Let A → B be discrete. Then from the long exact sequence −1 ext ×t ext ext associated to the fibre sequence RB/A −−−→ RB/A → RB/A we deduce two things. ext ext −1 First, that (RB/A)1 is always discrete. Second, that π0RB/A is t -regular, i.e., ext equal to the classical extended Rees algebra, if and only if π1RB/A = 0.

7. Blow-ups We will define the blow-up of an arbitrary closed immersion Z → X using the corresponding Rees algebra, and recover the construction from [KR18] in the quasi- smooth case. We close with the deformation to the normal cone, which generalizes [KR18, Thm. 4.1.13] to arbitrary closed immersions.

7.1. Blow-ups via Rees algebras. Recall that we defined the projective spec- trum for quasi-coherent, N-graded algebras generated in degree 1. Since RZ/X is generated in degree 1 by Corollary 6.9.4, the following thus makes sense. Definition 7.1.1. Let Z → X be a closed immersion. Define the blow-up of Z in X as the scheme BlZ X := Proj RZ/X over X.

cl For Z → X classical, we write BlZ X for the classical blow-up of Z in X. The cl following example show that in general we do not have BlZcl Xcl ≃ (BlZ X)cl. Example 7.1.2. Let A be a discrete ring and B := A/(0) the derived quotient. ext −1 Then R := RB/A is the discrete graded ring A[st,t ]/(s) with deg s = 0 and deg t = 1, since s is regular on the discrete ring A[st,t−1]. However, t−1 is not a regular element of R, and therefore R is not discrete. Indeed, in degree d> 0, we ×t−1 have a fibre sequence Rd −−−→ Rd−1 → Rd−1 of A-modules, which is just the fibre 0 sequence A −→ A → B. Hence the underlying A-module of R is d≥0 B. 45 L To compute the blow-up of Spec B in Spec A, write R as A[v,t−1]/(vt−1), where deg(v)= 1. Then R≥0 =∼ A[v], and hence

BlSpec B Spec A = Proj R≥0 =∼ Proj A[v] =∼ Spec A, since the derived projective spectrum of a discrete ring is given by the classical Proj-construction. Observe that this result is what we expect according to [KR18, Thm. 4.1.5.viii]. Example 7.1.3. Let Z → X be a regular embedding of classical schemes. Then cl BlZ X is classical, and coincides with BlZ X. This follows from the example in §6.11, together with the fact that the projective spectrum of a discrete algebra R coincides with the classical projective spectrum of π0R. Proposition 7.1.4. Blow-ups commute with pullbacks. That is, for Z → X a

′ ′ ′ ′ closed immersion and X → X any map, we have BlZ×X X X ≃ (BlZ X) ×X X . Proof. This follows from Proposition 6.8.1, together with the fact the Proj(−) com- mutes with pullbacks. 

Corollary 7.1.5. For any closed immersion Z → X, the map BlZ X → X is an equivalence on X \ Z.

Proof. Note that (BlZ X) ×X (X \ Z) ≃ Bl∅(X \ Z) by Proposition 7.1.4. It thus ′ ′ ′ suffices to show that for any scheme X , it holds that Bl∅ X → X is an equivalence. The latter follows from the explicit formula in Proposition 6.9.3. Namely, the map A → 0 is equivalent to the quotient A → A/(1). Hence R0/A ≃ A[t], and thus Bl∅ Spec A ≃ Proj A[t] ≃ Spec A. 

Example 7.1.6. For X ∈ Sch it holds that BlX X = ∅. To see this, by Proposition ext −1 ∅ 7.1.4, we may assume that X = Spec A. Now RA/A = A[t ], and Proj A = , from which the claim follows. 7.2. Naturality in the target. Suppose we have a commutative diagram of schemes of the form Zh W

f X Y where the vertical arrows are closed immersions. Recall that ζX : BGm,X → A1 G [ X / m,X ] is the map induced by the zero section, likewise for ζY . Then, by Lemma 6.1.5, we have a map G G α : ResζX ([Z/ m,X ]) → ResζY ([Z/ m,Y ]) A1 Lemma 7.2.1. The map α induces an equivariant map DZ/X → DW/Y over Y . G G Proof. We have maps DZ/X → ResζX ([Z/ m,X ]) → ResζY ([Z/ m,Y ]) and DZ/X → A1 A1 X → Y that make the obvious square commute, which gives us the map DZ/X → A1  DW/Y over Y . It is equivariant because it is induced by equivariant maps. Proposition 7.2.2. Suppose f : X → Y is a closed immersion and that h is the identity. Then DZ/X → DZ/Y induces a closed immersion BlZ X → BlZ Y over Y . Proof. The question is local on Y , so we may assume that Z → X → Y is of the form Spec B → Spec A → Spec C. Write ψ : RB/C → RB/A for the graded map of C-algebras induced by Lemma 7.2.1. We claim that ψ is surjective, and that the induced map on projective spectra gives us the closed immersion BlZ X → BlZ Y . 46 For surjectivity, since RB/A is generated in degree 1, and since ψ is the surjection C → A in degree 0, it suffices to show that ψ is surjective in degree 1. Recall from −1 Remark 6.10.7 that multiplication with t induces a fibre sequence (RB/A)1 → A → B. Write (RB/A)1 := FB/A, and likewise FB/C for the fibre of C → B. The long exact sequence associated to FB/C → C → B lives over the sequence associated to FB/A → A → B via obvious maps. From a diagram chase on the resulting diagram, it follows that π0FB/C → π0FB/A is surjective. It is clear from the construction of the relative spectrum that ProjY (RB/A) ≃ ProjX (RB/A), since X, Y are affine. Hence, since ψ is surjective, it induces a closed immersion g : BlZ X → BlZ Y over Y by §5.2. 

7.3. Virtual Cartier divisors. We review the notion of virtual Cartier divisors, which is used in [KR18] to define blow-ups in quasi-smooth centres. Definition 7.3.1. Let S be a scheme. • A virtual Cartier divisor on S is a closed immersion D → S of virtual codimension one, that is, it is Zariski locally on S given as Spec A/f → Spec A for some point f ∈ A. • A generalized Cartier divisor on S is a line bundle L ∈ Pic(S), together with a map L → OS in QCoh(S).

If i : D → S is a virtual Cartier divisor on S, then the fibre L → OS → i∗OD gives a generalized Cartier divisor on S. And in fact, this construction gives an equivalence of the space of virtual Cartier divisors to the space of generalized Cartier divisors. Definition 7.3.2. Let i : Z → X be a closed immersion. The conormal sheaf of i is the shifted cotangent bundle NZ/X := LZ/X [−1]. Now let S be a scheme over X. Then a virtual Cartier divisor on S over (X,Z), written (S,D), is a commutative square

D S (7.1) g Z X such that: (1) D → S is a virtual Cartier divisor; (2) the square is Cartesian in the classical sense on the underlying classical schemes; ∗ (3) g NZ/X → ND/S is surjective.

Write vDivZ X(S → X) for the space of virtual Cartier divisors on S over (X,Z). Observe that virtual Cartier divisors on S over (X,Z) pull back along maps ′ S → S over X, since ND/S is stable under pull-backs. Thus vDivZ X gives a S op S functor d ch/X → . One of the main results in [KR18, Thm. 4.1.5] is the following: if Z → X is quasi-smooth, then vDivZ X is representable by a scheme. Lemma 7.3.3. Virtual Cartier divisors over (X,Z) pull back along maps X′ → X. ′ That is, for Z := X ×X′ Z and (S,D) a virtual Cartier divisor over (X,Z), the pullback D′ → S′ of D → S is a virtual Cartier divisor over (X′,Z′). Proof. The first two conditions from Definition 7.3.2 are clear. The third condition follows from the fact that the conormal sheaf commutes with base change and the fact that pulling back quasi-coherent sheaves is exact.  47 7.4. A virtual Cartier divisor over (X,Z). Let B be the OX -algebra corre- ext sponding to the quasi-smooth closed immersion i : Z → X. Consider RZ/X ext as a graded OZ -algebra via the map B → RZ/X . Throughout, put EZ/X := ext ProjZ (RZ/X ). We will first give a virtual Cartier divisor over (X,Z) of the form (BlZ X, EZ/X ), and in the next section show that the map BlZ X → vDivZ X thus induced by the universal property of vDivZ X is an equivalence in the case that Z → X is quasi-smooth. To get a commutative square as in (7.1), with (S,D) = (BlZ X, EZ/X ), by Propo- sition 7.1.4 it suffices to give a map k : EZ/X → BlZ×X Z/Z of schemes over Z. By §5.2, it thus suffices to give a surjective map ∗ ext κ : i RZ/X ≃ RZ×X Z/Z → RZ/X of graded OZ -algebras. We define κ to be the adjoint of the map ext ext ext RZ/X → RZ/X → RZ/X ≃ i∗RZ/X

Lemma 7.4.1. The map κ is a surjective map of graded OZ -algebras. Proof. The question is local on X, so we assume that Z → X corresponds to a surjection A → B. Then κ is the composition of the map R → Rext B⊗AB/B B⊗AB/B with the map κ′ : Rext ≃ Rext ⊗ B → Rext B⊗AB/B B/A A B/A ext induced by the inclusion of B as the degree-zero part of RB/A and by the quotient ext ext map RB/A → RB/A. ext ext To see that κ is surjective, notice that RB/A → RB/A is surjective, hence ′ ext that κ is surjective. Since RB/A is concentrated in positive degrees and the map R → Rext is the identity in positive degrees, the claim follows.  B⊗AB/B B⊗AB/B Consider now the square k EZ/X BlZ X

(7.2) g Z X induced by κ. Lemma 7.4.2. The map k is a virtual Cartier divisor. Proof. The question is local on X, so we assume that Z → X corresponds to a ′ surjection A → B. Let f be a point in (RB/A)1, and write f for the image of f in ext ext RB/A. The map (RB/A)f → (RB/A)f is an equivalence in degree 0. By exactness of localization, it follows that locally k corresponds to the ring map ext −1 ext −1 (RB/A)(f) → (RB/A/(t ))(f ′) ≃ (RB/A)(f ′)/(t ) from which it follows that k is a virtual Cartier divisor.  Lemma 7.4.3. The underlying square of (7.2) of classical schemes is Cartesian. Proof. Again we assume that Z → X is of the form Spec B → Spec A. Write Projcl(−) for the classical projective spectrum. To see that the square (7.2) is Cartesian on the underlying classical schemes, it suffices to show that the natural map ext ϕ : π0RB/A ⊗π0A π0B → π0RB/A 48 is an isomorphism, where the tensor product on the left is underived. ext Let I be the kernel of π0A → π0B. Let τ be the map π0(RB/A)1 → π0A given by multiplication with t−1. Then I = im(τ). It follows that ϕ is the graded map of N-graded rings ext −1 π0(RB/A)/(im(τ)π0(RB/A)) → π0(RB/A)/(t ) ext induced by the inclusion π0(RB/A) → π0(RB/A). To show that this is an iso- morphism, it suffices to check this on each degree d ≥ 0. And indeed ϕ is an isomorphism in degree d, since −1 ext ∼ −1 ext ext ∼ t (π0RB/A)d+1 = t (π0RB/A)1(π0RB/A)d = im(τ)(π0RB/A)d, since π0(RB/A) is generated in degree 1. 

β Remark 7.4.4. Let K −→α L −→ M be a sequence of spaces. We then have a fibre sequence fib(α) → fib(βα) → fib(β), where fib(−) means the fibre. It follows that if S → S′ and T → T ′ are maps of R-algebras with connected fibres, then so is the ′ ′ map S ⊗R T → S ⊗R T , since it factorizes as ′ ′ ′ S ⊗R T → S ⊗R T → S ⊗R T , both of which have connected fibres. Proposition 7.4.5. The square (7.2) is a virtual Cartier divisor over (X,Z). ∗ Proof. It remains to show that g NZ/X → NEZ/X / BlZ X is surjective on π1. With the same argument as in [KR18, Rem. 4.1.3.iii] — which also works in the non- quasi-smooth case — under the facts that we have already shown, it holds that (7.2) is a virtual Cartier divisor over (X,Z) if and only if OBl → h∗OE is Z×X Z/Z surjective on π1, for the obvious map h : E → BlZ×X Z/Z . Say that a closed immersion Z → X has property P if the corresponding map OBl → h∗OE is surjective on π1. We will verify that P satisfies the conditions Z×X Z/Z of Lemma 6.7.2, and thus conclude that all closed immersions satisfy P. Clearly, P is local on X and stable under pullbacks. Now let Z → X be a closed immersion corresponding to a finite quotient A → B, ni say where B = A/(σ) for certain σ = σ1,...,σk, with σi : S → A pointed maps. Let K be the pointed space Sn1 ∨···∨ Snk . Put AK := Spec(Z[K]). Observe that Z → X is a pullback of {0} → AK along the map X → AK induced by σ. To show that P holds for Z → X, it thus suffices to show that P holds for {0} → AK , by Lemma 7.3.3. Z Z ext Put W := Spec( ⊗Z[K] ). It suffices to show that κ : RW/{0} → R{0}/AK is surjective on π1. By Proposition 6.9.3, κ is the obvious map Z −1 −1 Z −1 −1 −1 [v,t ]/(vt ) ≥0 → [s, v,t ]/(vt − s,t ) where v = v1,...,v k and s = s1,...,s
k are variables with vi,si free in degree 1 and level ni. Now the map Z −1 −1 −1 Z −1 −1 [s, v,t ]/(vt − s,t ) → [v,t ]/(vt ) ≥0 −1 −1 of Z[v]-algebras, defined by si 7→ vit and t 7→ 0, is a section
of κ. The claim follows. Property P on any closed immersion Spec B → Spec A is equivalent to the property that

ext κ(f) : (RB⊗AB/B)(f) → RB/A (f ′)  ′  is surjective on π1, for any f ∈ (RB⊗AB/B)1 and f := κ(f). This, in turn, is equiv- alent to the fibre of κ(f) being connected, for all f, because κ(f) is an isomorphism 49 on π0. From the fact that taking fibres commutes with filtered colimits, it now follows that P is stable under filterd colimits in SurA. Finally, suppose that P holds for a closed immersion Z → X of the form Spec B → Spec A, and let σ : Sn → B be given with n ≥ 1. We need to show that P holds for Spec B′ → Spec A, where B′ := A/(σ). By twice applying Proposition 6.8.1, we see that ′ ′ ′ ′ ′ RB ⊗AB /B ≃ RB⊗AB/B ⊗B B ⊗B B ext Also, since R(−)/A is a left-adjoint, we see that ext ext R ′ ≃ R ⊗ ext A B /A B/A RA[Sn]/A ′ ′ ′ ′ Now let f ∈ (RB ⊗AB /B )1, put f := κ(f). We need to show that the fibre of κ(f) is connected.

For simplicity, assume that f is of the form g ⊗ λ, with g ∈ RB⊗AB/B. By ext ′ assumption, the map (RB⊗AB/B )(g) → RB/A has a connected fibre, where g (g′) ′ ′ ′ is the image of g. Also, the map B ⊗BB →B is an isomorphism on π0 and is surjective on π1, since it has a section, and thus has a connected fibre. It follows that, upon tensoring these two maps, we obtain the map

′ ′ ext ′ α(f) : (RB⊗AB/B ⊗B B ⊗B B )(f) → RB/A ⊗B B (f ′′)   which has connected fibre by Remark 7.4.4, where f ′′ is the image of f. We can write ext ′ ext ext ext R ⊗B B ≃ R ⊗ n −1 A ≃ R n ⊗ n −1 R ⊗ ext A B/A B/A A[S ,t ] A[S ]/A A[S ,t ] B/A RA[Sn]/A This description gives us a map ext ′ ext ext β : R ⊗B B → R ⊗ ext A ≃ R ′ B/A B/A RA[Sn]/A B /A such that β(f ′′) ◦α(f) ≃ κ(f). Hence, since the fibre of α(f) is connected, by Remark 7.4.4, it suffices to show that so is the fibre of β(f ′′). The latter follows from the fact that π0(β(f ′′)) is injective and that β(f ′′) has a section. 

7.5. The functor of points of BlZ X in the quasi-smooth case.

Definition 7.5.1. Write hZ/X : BlZ X → vDivZ X for the map induced by the virtual Cartier divisor (BlZ X, EZ/X ) from Proposition 7.4.5.

Lemma 7.5.2. The map hZ/X commutes with base change. That is, for given ′ ′ ′ X → X and Z := Z ×X X , the following diagram

h ′ ′ ′ Z /X ′ BlZ′ X vDivZ′ X

f g

hZ/X BlZ X vDivZ X where the vertical arrows are induced by Lemma 7.1.4 and [KR18, Thm. 4.1.5.2], commutes. Proof. Both ways around the square are induced by the virtual Cartier divisor ′ (BlZ′ X , EZ′/X′ ) over (X,Z). The case g ◦ hZ′/X′ follows from the fact that g is defined by composing a virtual Cartier divisor (S,D) over (X,Z) with the pullback ′ ′ square of (X ,Z ) over (X,Z). The case hZ/X ◦ f follows since f is defined via pulling back, together with Corollary 6.8.2. 

Theorem 7.5.3. If Z → X is quasi-smooth, then the map hZ/X : BlZ X → vDivZ X is an equivalence. 50 Proof. The question is local on X, so we may assume that Z → X is a base change of the map {0} → An along a map X → An. By Lemma 7.5.2, Proposition 7.1.4 and [KR18, Thm. 4.1.5.ii], we may assume that Z → X is of the form {0} → An. An cl An An In this case hZ/X is the equivalence Bl{0} ≃ Bl{0} ≃ vDiv{0} . 

7.6. Deformation to the normal cone. The following is an application of the construction of the blow-up, although it does not use the actual blow-up. The goal is to generalize [KR18, Thm. 4.1.13]. We return to an arbitrary closed immersion Z → X, and let B the OX -algebra such that Z = Spec B.

Definition 7.6.1. The normal cone CZ/X of Z in X is the pullback of DZ/X along A1 the zero section X → X . ext Observe that CZ/X → DZ/X is a virtual Cartier divisor. Since GX (RZ/X ) ≃B, ext ext the map B → RZ/X , that includes B as the degree-zero part of RZ/X , has a canonical retraction by §2.8. We call the corresponding map j0 : Z → CZ/X the zero-section of CZ/X . By the proof of Theorem 6.3.3, it follows that we have an equivalence Z A1 ext (7.3) Alg ( X )(RZ/X , Q) ≃ Alg(X)(B, GX (Q)) Z A1 A1 natural in Q ∈ Alg ( X ). Let j : Z → DZ/X be the canonical map corresponding A1 to the identity on B via the equivalence (7.3). Write p : DZ/X → X for the canonical projection. We call the sequence A1 j p A1 (7.4) Z −→ DZ/X −→ X the deformation to the normal cone. Proposition 7.6.2. The deformation to the normal cone satisfies the following properties: (1) It is stable under base change. (2) The map j is a closed immersion. (3) Restricting to Gm gives us the canonical sequence Gm,Z → Gm,X → Gm,X . j0 p0 (4) Restricting to 0 gives us Z −→ CZ/X −→ X, where j0 is the zero-section and p0 the projection. Proof. The first point is Corollary 6.8.2. Observe that the sequence (7.4) corresponds to a sequence

−1 ext −1 (7.5) OX [t ] → RZ/X →B[t ]

Z −1 −1 −1 in Alg (X). In degrees ≤ 0, this is OX [t ] → OX [t ] → B[t ]. The second map is clearly surjective, as this can be checked locally on X. Thus j is a closed immersion. For the restriction to Gm, let Gm,Z → U → Gm,X be the pullback of (7.4) to Gm,X . Define

W := Resζ ([Z/Gm,X ]) × A1 G [Gm,X /Gm,X ] X [ X / m,X ]

By construction of DZ/X and the pullback lemma, we have a Cartesian square

U W

k h

Gm,X [Gm,X /Gm,X] 51 which is the pullback of the Cartesian square (6.2) that defines DZ/X along Gm,X → A1 G X . We will show that h ≃ idX , so that k ≃ id m,X . We know that [Gm,X /Gm,X] ≃ X. Observe that we have pullback squares

∅ ∅ [Gm,X /Gm,X ]

G G A1 G [Z/ m,X ] B m,X [ X / m,X ]

By Lemma 6.1.5, it thus holds that W ≃ Res∅/X (∅). As a right adjoint, Res∅/X preserves terminal objects, hence sends ∅ to X. The claim follows. For the last point, we may simply quotient out t−1 in the sequence (7.5) to obtain ext  OX → RZ/X →B. Lemma 7.6.3. The commutative square

CZ/X DZ/X (7.6)

A1 Z ×{0} X A1 is a virtual Cartier divisor over Z ×{0} → X . Proof. The statement is local on X, so we may assume that Z → X is of the form Spec B → Spec A. It is clear that (7.6) is classically Cartesian on the underlying classical schemes, and we already know that CZ/X → DZ/X is a virtual Cartier ext divisor. Write F := RB/A ⊗A B. By [KR18, Rem. 4.1.3.iii], it remains to show that ext the map F → RB/A induced by (7.6) is surjective on π1. This follows from the fact ext ext  that the composition RB/A → F → RB/A is the identity. Proposition 7.6.4. In the case that Z → X is quasi-smooth, we recover the de- formation to the normal cone from [KR18, Thm. 4.1.13]. In particular, in this case we have that CZ/X is equivalent to the normal bundle Spec Sym NZ/X .

1 Proof. Let BZ/X be BlZ×{0}(X × A ) \ BlZ×{0}(X ×{0}). We will give an equiva- A1 lence DZ/X ≃ BZ/X over X , which suffices by [KR18, Thm. 4.1.13] and Proposi- tion 7.6.2. By the universal property of the blow-up, we have a map 1 h : DZ/X → BlZ×{0}(X × A ) A1 A1 over X induced by the virtual Cartier divisor on DZ/X over ( X ,Z ×{0}) from Lemma 7.6.3. We claim that h induces an equivalence DZ/X → BZ/X . The statement is local on X and stable under base change. Hence, we may assume that Z → X is of the form {0} → An. In this case, it follows from the fact that for a surjection A → B of discrete rings, the deformation space cl A1 cl BlZ×{0}(X × ) \ BlZ×{0}(X ×{0}) is isomorphic to the spectrum of the classical extended Rees algebra via the map h, see e.g. [Ful98, §5.1]. In our case, these classical constructions coincide with the derived construction by §6.11. 

Appendix A. M-graded R-algebras as product-preserving presheaves Fix a ring R and a commutative monoid M. We present a proof of the fact that M M AlgR ≃ PΣ(PolyR ), as announced in §2.2. We keep the notation from §2.2. Our 52 situation can then be summarized in the following commutative diagram:

Poly ǫ PolyM

δ e E (A.1) d M PolyR PolyR h

D M AlgR consisting of functors which preserve finite coproducts, where e and E send Z[x(d)] to R[x(d)], d and D send R[x] to R[x(0)], h is the inclusion, ǫ sends Z[x] to Z[x(0)], and δ sends Z[x] to R[x]. Recall that for any category C with a full subcategory C0 ⊂ C, we have a restricted Yoneda functor C → P(C0), given by composing the Yoneda embedding C → P(C) with the restriction functor P(C) → P(C0). Since representable functors preserve M M limits, we in fact get a map C → PΣ(C0). Applying this to PolyR ⊂ AlgR gives us M M M a functor ψ : AlgR → PΣ(PolyR ) which sends B ∈ AlgR to M op ψ(B) : (PolyR ) → S

R[x(d1),...,x(dn)] 7→ Bd1 ×···× Bdn

M M Let ϕ be the colimit-preserving map PΣ(PolyR ) → AlgR induced by the inclu- M M sion PolyR ⊂ AlgR via [HTT, Prop. 5.5.8.15]. We will show that ϕ is a two-sided inverse of ψ.

Lemma A.0.1. The composition ψϕ is equivalent to the identity on PΣ(PolyR). Proof. Observe that ψ preserves sifted colimits by Lemma 2.2.6. Therefore, ψϕ M preserves sifted colimits. Since ψϕ is the identity on PolyR , it follows that ψϕ is M the identity on all of PΣ(PolyR ) by [HTT, Prop. 5.5.8.15]. 

Lemma A.0.2. In the case M = {0}, the functor ϕ : PΣ(PolyR) → AlgR is a two-sided inverse of ψ. Proof. Consider the adjunction

Sym : cnModR ⇄ AlgR : G from [SAG, §25.2.2], where G is the forgetful functor. Then G preserves sifted colimits by the fact that R[x] is compact projective and since AlgR → S factors through the conservative functor cnModR → S via G. We can thus apply [HA, Prop. 7.1.4.12] to this adjunction. Now since R is a compact projective generator of cnModR by [HA, 7.1.4.15], the object R[x] is thus a compact projective generator of AlgR by [HA, Prop. 7.1.4.12]. By [HTT, Prop. 5.5.8.25], it now follows that ϕ is an equivalence. By Lemma A.0.1 it has two-sided inverse ψ. 

M M Proposition A.0.3. The functor ψ : AlgR → PΣ(PolyR ) is an equivalence of categories with inverse ϕ. Proof. Keep the notation as in diagram (A.1). By Lemma A.0.1, it suffices to show M M M ϕψ ≃ idA M . Let p : Alg → Alg and q : Alg → Alg be the projections. By lgR R R R M definition of AlgR , it suffices to show that pϕψ ≃ p and qϕψ ≃ q. For p, consider the following diagram 53 M ψ M ϕ M ψ M AlgR PΣ(PolyR ) AlgR PΣ(PolyR )

p e∗ p e∗ ′ ′ ′ M ψ M ϕ M ψ M Alg PΣ(Poly ) Alg PΣ(Poly ) where ϕ′, ψ′ are defined similarly as ϕ, ψ. Note that ϕ′ is the two-sided inverse of ψ′. Since the square on the left commutes, it suffices to show that the middle square commutes. Because ψ′ is invertible, the latter holds if the rectangle made up from the middle and the right square commutes. And indeed this holds, since ψϕ ≃ idP P M . For q one uses a similar diagram, together with Lemma A.0.2.  Σ( olyR ) Appendix B. Cell attachments and finiteness conditions We collect some additional results that came up on the road to the current constructions and arguments. Even though only §B.5 and §B.6 have been used in the main text — namely in the explicit formula of the Rees algebra in §6.9, which is non-essential for the construction — it seems that these results are interesting in their own right. Although most of what follows is well-known, there did not seem to be a satisfactory account in the literature of everything that follows. E E E Ecn B.1. ∞-algebras. Write ∞-Alg for the category of -infinity algebras, ∞-Alg for the full subcategory of E∞-Alg spanned by the connective objects. Let Θ : Ecn Ecn Alg → ∞-Alg the functor induced by Poly ⊂ ∞-Alg, as in [SAG, Con. 25.1.2.1]. E E E For R ∈ Alg, write ∞-AlgR for the category ∞-AlgΘ(R)/ of ∞-R-algebras, Ecn Ecn likewise ∞-AlgR := ∞-AlgΘ(R)/. Ecn The functor Θ induces a functor AlgR → ∞-AlgR, which we also write as Θ. Ecn This functor has a left adjoint ΘL : ∞-AlgR → AlgR by [SAG, Prop. 25.1.2.4]. B.2. Spectral Yoneda lemma. Write Sp for the category of spectra, and Sp(−) for the stabilization construction. Let C be a stable category. The Yoneda em- bedding C → P(C) into the category of space-valued presheaves on C induces an embedding op C ≃ Sp(C∗) → Sp(P(C)∗) ≃ Fun(C , Sp) which induces a functor op MapC(−, −): C × C → Sp See e.g. [BGT13, §2.3]. For x, y ∈ C, we call MapC(x, y) the mapping spectrum. It has the property that

πnC(x, y) if n ≥ 0 (B.1) πn MapC(x, y)= −n (π0C(x, Σ y) if n ≤ 0 Notation B.2.1. We write MapR(−, −) for MapModR(−,−) and Map(−, −) for MapSp(−, −). B.3. Tensoring modules and algebras over spectra and spaces. Through- E out, fix R ∈ Alg. Let FreeR : ModR → ∞-AlgR be the functor left adjoint to the E forgetful functor U : ∞-AlgR → ModR, see e.g. [Gep19, §4.4] for explicit details. By [EKMM97, §III.1], the forgetful functor V : ModR → Sp also has a left adjoint R ∧ (−). Lemma B.3.1. The adjunction R ∧ (−) ⊣ V induces equivalences

MapR(R ∧ K,M) ≃ Map(K, V (M)) natural in K ∈ Sp and M ∈ ModR. 54 Proof. Let ηK : K → V (R ∧ K) be the unit of the adjunction R ∧ (−) ⊣ V . We then have a map

∗ V ηK MapR(R ∧ K,M) −→ Map(V (R ∧ K), V (M)) −−→ Map(K, V (M)), which is an equivalence by (B.1), since V (−) commutes with Ωn for all n. 

Example B.3.2. Let n ∈ Z, and put Sn :=ΣnS, where S is the sphere spectrum. We claim that R∧Sn is R[n], where R[n] is the shifted R-module ΣnR in the stable category ModR. To this end, observe that Sn Sn S n n MapR(R ∧ ,M) ≃ Map( ,M) ≃ Map( , Ω M) ≃ Ω M ≃ MapR(R[n],M) for all R-modules M, where we have used Lemma B.3.1 in the first equivalence. The example shows that the adjunction R∧(−) ⊣ V restricts to an adjunction on connective objects. We can thus summarize the situation in the following diagram, where the horizontal arrows commute with the vertical ones Free Σ∞ R∧(−) R ⊣ ⊣ ⊣ E S∗ Sp ModR ∞-AlgR ∞ Ω V U

Free Σ∞ R∧(−) R ΘL ⊣ cn ⊣ cn ⊣ Ecn ⊣ S∗ Sp ModR ∞-AlgR AlgR ∞ Ω V U Θ From the proof of [SAG, Prop. 25.1.2.2], it follows that UΘ is the forgetful functor cn AlgR → ModR . Therefore, the composition ΘL FreeR is SymR. Notation B.3.3. For a pointed space K, write R ∧ Σ∞K as R ∧ K, and put R[K] := SymR(R ∧ K).

Proposition B.3.4. We have an equivalences AlgR(R[K], A) ≃ S∗(K, A), natural in A ∈ AlgR and K ∈ S∗. Proof. Immediate. 

N Corollary B.3.5. For all R ∈ Alg, A ∈ AlgR,K ∈ S∗ and n ∈ it holds n (1) π0AlgR(R[S ], A) ≃ πn(A); (2) A[K] ≃ A ⊗Z Z[K]; (3) R[S0] ≃ R[x]; (4) R[∆n] ≃ R Proof. Straightforward. 

B.4. Attaching n-cells. Throughout, fix A ∈ AlgR. Construction B.4.1. Let σ : Sn → A be a given map of pointed spaces. By Proposition B.3.4, σ corresponds to a map σ : R[Sn] → A of R-algebras. Consider the pushout R[Sn] R[∆n+1] ≃ R

σ A B We say that B is obtained from A by attaching an (n + 1)-cell along σ. We say that A[x] is obtained from A by attaching a 0-cell. 55 n n B.5. Graded n-cells. Let n ≥ 0. Since AlgA(A[S ],B) ≃ S∗(S ,B), we can think of A[Sn] as attaching a free cell to A in level n. We want to generalize this to graded rings, and attach free cells of level n in degree d. We need the following: Z Z Lemma B.5.1. The forgetful functor G : AlgA → cnModA has a left adjoint. Proof. By the adjoint functor theorem, it suffices to show that G preserves limits and κ-filtered colimits for some regular cardinal κ. Z Z Z Recall that the embedding AlgA ≃ PΣ(PolyA) → P(PolyA) is a right adjoint ([HTT, Prop. 5.5.8.10]), where we have used Proposition A.0.3 in the first equiva- Z lence. Hence limits in AlgA are computed as limits of presheaves, i.e., point-wise. Z Z It follows that AlgA → cnModA preserves limits. Z Since the forgetful functor cnModA → cnModA is conservative, it suffices to Z show that γ : AlgA → cnModA preserves κ-filtered colimits, for some κ. But γ Z factorizes as the forgetful map AlgA → AlgA, which is a left adjoint, followed by the map AlgA → cnModA, which preserves κ-filtered colimits for some κ. The claim follows.  Z Z Notation B.5.2. Write the left adjoint of the forgetful functor AlgA → cnModA Z as SymA(−). Z Since the forgetful functor AlgA → AlgA is a left adjoint as well, the underlying Z A-algebra of Sym (M) is Sym(M).

Example B.5.3. If M is concentrated in degree 0, i.e., M = M(0) for M ∈ ModA, Z then it holds SymA(M) ≃ SymA(M)(0).

Construction B.5.4. For K ∈ S∗ and d ∈ Z, we have a Z-graded A-algebra A[K(d)] with the universal property that Z AlgA(A[K(d)],B) ≃ S∗(K,Bd) For existence, observe that we have adjunctions

A∧(−) (−)(0) (−)•−d

⊣ ⊣ Z ⊣ Z S∗ ModA ModA ModA ∞ Ω V (−)0 (−)•+d Z Z Here, M•+f is the -graded A-module which has Md+f in degree d for any - graded A-module M, and N(0) is the Z-graded A-module which is N concentrated in degree 0, for N ∈ ModA.

Now write A ∧d K := ((A ∧ K)(0))•−d for any K ∈ S∗, and define A[K(d)] := Z SymA(A ∧d K). Then we have Z Z AlgA(A[K(d)],B) ≃ ModA(A ∧d K,B) ≃ S∗(K,Bd) Notation B.5.5. We will write A[Sn(d)] as A[u], and say with words that u is a free variable of level n in degree d. More generally, we write

n1 n2 nk A[S (d1),S (d2), ··· ,S (dk)] as A[u1,...,uk], and say that ui is free in level ni in degree di. B.6. Finite quotients. Notation B.6.1. We will use the following multi-index notation:

• We write n for a sequence of numbers n1,...,nk, and let n +1 be n1 + 1,...,nk + 1; • For such given n, we write Sn for the pointed space Sn1 ∨···∨ Snk ; ni n • A collection of maps σi : S → A of pointed spaces is written as σ : S → A; 56 • A collection of free variables u1,...,uk in level ni and degree di is written u. Definition B.6.2. A finite quotient is a cell attachment of the form A[Sn] A[∆n+1]

σ A A/(σ)

ni for some σi : S → A with ni ≥ 0. Remark B.6.3. Let σ : Sn → A with n ≥ 0 be a given pointed map, and B := A/(σ). Then π0(B) =∼ π0(A)/([σ]), where [σ] is the image of σ in π0(A). Hence, if n> 0, then π0(B) =∼ π0(A). In fact, for all m

A n lgA(A/(σ),B) ≃{f∗σ}×S∗(S ,B) {0} n where {f∗σ} and {0} are the points (fσ1,...,fσk) and {0,..., 0} in S∗(S ,B). Proof. This follows directly from the universal property of A/(σ) as a pushout, together with Proposition B.3.4.  Corollary B.6.5. If σ, σ′ : Sn → A are pointed maps which are identical as ′ elements of πn(A), then A/σ ≃ A/σ . Proof. This follows from the universal property from Lemma B.6.4.  Example B.6.6. Write σ for the unique map 0 : Sn → A. Then A/(σ) ≃ A[Sn+1], since for any A-algebra B we have n n+1 n+1 AlgA(A/(σ),B) ≃ ΩS∗(S ,B) ≃ S∗(S ,B) ≃ AlgA(A[S ],B) by Lemma B.6.4 and Proposition B.3.4. B.7. Finite cellular maps. A map A → B is called finite cellular if B is obtained from A by a finite number of cell attachments, including 0-cells. Observe that being finite cellular is stable under base change and under composition. Also observe that the notion of being finite cellular does not depend on any possible base ring R: if B is obtained from A by attaching an n-cell in AlgR, then it is also obtained from ′ A by attaching an n-cell in AlgR′ , for any R → R. In particular, we might as well work over Z. Lemma B.7.1. Let B be a finite cellular A-algebra. Then the multiplication map µ : B ⊗A B → B is also finite cellular. Proof. We induct on the number of cells attached to A to obtain B. So first suppose that B = A/(σ) for certain σ : Sn → A. Let Sn ∨ Sn → ∆1 ∧ Sn be the map that sends one copy of Sn to {0}× Sn, and the other copy to {1}× Sn. Using this map, consider the following commutative diagram 57 A[Sn ∨ Sn] A[∆n+1 ∨ ∆n+1]

A[∆1 ∧ Sn] A[Sn+1] A[∆n+2]

A B ⊗A B B

The top left square is a pushout since A[−] is a left adjoint. The two left squares together form a pushout by assumption on B. Hence the bottom left square is a pushout. Now the two bottom squares together from a pushout since A[−] preserves equivalences an by assumption on B, and thus the bottom right square is a pushout. It follows that B ⊗A B → B is finite cellular. The case B = A[x] is straightforward. ′ ′ ′ ′ Now suppose that we have a finite cellular map A → B for which B ⊗A B → B m ′ ′ ′ ′ is finite cellular, and some τ : S → B . Put B := B /(τ). Then since B ⊗A B → ′ ′ B is finite cellular, so is f : B ⊗A B → B, since this notion is stable under taking pushouts. Now µ : B ⊗A B → B factorizes as

′ id ⊗f B ⊗A B ≃ B ⊗B′ B ⊗A B −−−→ B ⊗B′ B → B where the last map is the multiplication map of B as B′ algebra. As such, this map is finite cellular by the first case. Also, id ⊗f is finite cellular since f is, and since this notion is stable under base change. It follows that µ is finite cellular. 

B.8. Finitely presented A-algebras.

Definition B.8.1. Let B ∈ AlgA be given. • We say that B is finitely presented if it belongs to the smallest full subcat- egory of AlgA which contains A[x] and is closed under finite colimits. • We say that B is finite cellular in AlgA if the structure map A → B is finite cellular. fp Write AlgA for the full subcategory of AlgA spanned by the finitely presented A-algebras. Lemma B.8.2. Let ϕ : B → C be a map between finite cellular A-algebras. Then C is a finite cellular B-algebra. Proof. Consider the following commutative diagram

A B

B B ⊗A B B

C B ⊗A C C consisting of pushout squares. Since B ⊗A B → B is finite cellular by Lemma B.7.1, so is B ⊗A C → C. Likewise, since A → C is finite cellular, so is B → B ⊗A C. It follows that B → C is finite cellular. Also, since the composition B → B in the middle row is homotopic to the identity, the composition B → C is homotopic to ϕ. 

Proposition B.8.3. An A-algebra B is finitely presented if and only if it is finite cellular. 58 Proof. It is clear that if B is finite cellular, then it is of finite presentation. For the converse, let C be the full subcategory of AlgA spanned by the finite cellular fp fp A-algebras. Then A[x] ∈ C ⊂ AlgA . Hence, by definition of AlgA , it suffices to show that C is closed under finite colimits. By [HTT, Cor. 4.4.2.4], it suffices to show that C is closed under pushouts. First ′ ′′ ′ ′′ observe that for finite cellular A-algebras B ,B , the fibre product B ⊗A B is finite cellular over A as well. This follows again from the fact that being finite cellular is stable under pushouts and under composition. Now for the general case, suppose we have maps B → B′,B → B′′ with B′,B,B′′ finite cellular. By Lemma B.8.2, we may assume that B′,B′′ are finite cellular ′ ′′ B-algebras. By the previous case, we know that B ⊗B B is a finite cellular B- ′ ′′ algebra as well, and thus we have a sequence B = B0 → ··· → Bn = B ⊗B B where each Bk → Bk+1 is obtained by attaching a finite number of cells of any dimension. Composing this sequence with a sequence which established A → B as finite cellular gives us what we want. 

Remark B.8.4. There is also the notion of a locally finitely presented A-algebra. This is an A-algebra B which is a retract of a finitely presented A-algebra. Classi- i p cally, for a retract X −→ Y −→ X it holds that X is the coequalizer of ip and idY , hence the difference between finitely presented and locally finitely presented dis- appears in this context. In the ∞-setting this approach does not work, essentially because p need not be an epimorphism in this setting. Locally finitely presented A-algebras are precisely the compact objects in AlgA, i.e., those A-algebras B for which AlgA(B, −) commutes with filtered colimits.

Proposition B.8.5. Let B be a finitely presented A-algebra. Then we can arrange the sequence A = B0 →···→ Bn = B of cell attachments in such a way that each Bk → Bk+1 is obtained by attaching a finite number of k-cells to Bk.

Proof. Let a sequence of cell attachments A = B0 → B1 →···→ Bn = B be given. First suppose that there is some i such that Bi−1 → Bi → Bi+1 is of the n form Bi−1 → Bi−1/(σ) → (Bi−1/(σ))[x] for some pointed map σ : S → Bi−1 n and x = x1,...,xm. Write also σ for the composition S → Bi−1 → Bi−1[x]. Then (Bi−1/(σ))[x] ≃ Bi−1[x]/(σ). We can therefore replace Bi−1 → Bi−1/(σ) → (Bi−1/(σ))[x] by Bi−1 → Bi−1[x] → Bi−1[x]/(σ). Repeating this procedure gives us that we can arrange the sequence in such a way that B0 → B1 is of the form A → A[y] for certain y = y1 ...yl and that no other Bk → Bk+1,k > 0 is of this form. Now suppose that there is some i such that Bi−1 → Bi → Bi+1 is of the n m form Bi−1 → Bi−1/(σ) → (Bi−1/(σ))/(τ), with σ : S → Bi−1 and τ : S → ′ (Bi−1)/(σ) with n>m. Using that πm(Bi−1) =∼ πm(Bi−1/(σ)), take some τ : m m S → Bi−1 such that the composition S → Bi−1 → Bi−1/(σ) is equivalent to ′ n ′ τ. Write σ for the composition S → Bi−1 → Bi−1/(τ ). Consider the following diagram consisting of pushout squares

n 0 Bi−1[S ] Bi−1

σ ′ m τ Bi−1[S ] Bi−1 Bi−1/(σ)

0 ′ Bi−1 Bi−1/(τ ) C 59 where we denote a map Bi−1[K] → Bi−1 induced by some α : K → Bi−1 simply by α. Then the two bottom squares and the two right squares establish equivalences ′ ′ (Bi−1/(σ))/(τ) ≃ C ≃ (Bi−1/(τ ))/(σ )

In the given sequence B0 →···→ Bn, we can thus interchange all cell attachments which are in the wrong order to get what we want.  References

[BGT13] A. J. Blumberg, D. Gepner, and G. Tabuada. A universal characterization of higher algebraic K-theory. Geometry and Topology, 17(2), Apr 2013. [BS18] C. Barwick and J. Shah. Fibrations in ∞–category theory. In 2016 MATRIX Annals. Springer, 2018. [Cis19] D.-C. Cisinski. Higher Categories and Homotopical Algebra. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2019. [DAGV] J. Lurie. Derived Algebraic Geometry V: Structured Spaces. arXiv e-print, 2009, 0905.0459. [EKMM97] A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. May. Rings, modules, and algebras in stable homotopy theory. Number 47. American Mathematical Soc., 1997. [Ful98] W. Fulton. Intersection theory. Springer, 1998. [Gep19] D. Gepner. An introduction to higher categorical algebra, 2019, 1907.02904. [GHN20] D. Gepner, R. Haugseng, and T. Nikolaus. Lax colimits and free fibrations in ∞- categories. arXiv e-prints, 2020, 1501.02161. [Gla13] S. Glasman. Day convolution for ∞-categories. arXiv e-prints, 2013, 1308.4940. [GR17] D. Gaitsgory and N. Rozenblyum. A Study in Derived Algebraic Geometry: Corre- spondences and Duality, volume 1. American Mathematical Soc., 2017. [GW10] U. G¨ortz and T. Wedhorn. Algebraic geometry I. Springer, 2010. [HA] J. Lurie. Higher Algebra. Preprint, available at math.ias.edu/˜lurie, 2016. [HAGI] B. To¨en and G. Vezzosi. Homotopical algebraic geometry I: Topos theory. Advances in mathematics, 193(2), 2005. [Hin16] V. Hinich. Dwyer–Kan localization revisited. Homology, Homotopy and Applications, 18(1), 2016. [HLP19] D. Halpern-Leistner and A. Preygel. Mapping stacks and categorical notions of proper- ness, 2019, 1402.3204. [HTT] J.Lurie. Higher Topos Theory. Princeton University Press, 2006. [KR18] A. A. Khan and D. Rydh. Virtual Cartier divisors and blow-ups. arXiv e-prints, 2018, 1802.05702. [NSS15] T. Nikolaus, U. Schreiber, and D. Stevenson. Principal ∞-bundles: General theory. Journal of Homotopy and Related Structures, 10(4), 2015. [RV18] E. Riehl and D. Verity. Elements of ∞-category theory. Preprint, available at math.jhu.edu/˜eriehl/elements.pdf, 2018. [SAG] J. Lurie. Spectral Algebraic Geometry. Preprint, available at math.ias.edu/˜lurie, 2016. [Stcks] The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu, 2018. [To¨e14] B. To¨en. Derived Algebraic Geometry. arXiv e-print, 2014, 1401.1044.

60