HAGII
HAGII
Bertrand Toën
Gabriele Vezzosi
Laboratoire Emile Picard UMR CNRS 5580, Université Paul Sabatier,
Toulouse
E-mail address: [email protected]
Abstract ix
Introduction 1
Reminders on abstract algebraic geometry 1
The setting 2
Linear and commutative algebra in a symmetric monoidal model category 2
Geometric stacks 3
Infinitesimal theory 4
Higher Artin stacks (after C. Simpson) 4
Derived algebraic geometry: D− -stacks 4
Complicial algebraic geometry: D-stacks 6
Brave new algebraic geometry: S-stacks 6
Relations with other works 7
Acknowledgments 8
Notations and conventions 9
Introduction to Part 1 13
1
This is the second part of a series of papers called “HAG”, and devoted to
develop the foundations of homotopical algebraic geometry. We start by defining
and studying generalizations of standard notions of linear algebra in an abstract
monoidal model category, such as derivations, étale and smooth morphisms, flat and
projective modules, etc. We then use our theory of stacks over model categories,
introduced in [HAGI], in order to define a general notion of geometric stack over a
base symmetric monoidal model category C, and prove that this notion satisfies the
expected properties.
The rest of the paper consists in specializing C in order to give various exam-
ples of applications in several different contexts. First of all, when C = k − M od is
the category of k-modules with the trivial model structure, we show that our notion
gives back the algebraic n-stacks of C. Simpson. Then we set C = sk − M od, the
model category of simplicial k-modules, and obtain this way a notion of geometric
D− -stack which are the main geometric objects of derived algebraic geometry. We
give several examples of derived version of classical moduli stacks, as the D− -stack
of local systems on a space, the D− -stack of algebra structures over an operad, the
D− -stack of flat bundles on a projective complex manifold, etc. We also present the
cases where C = C(k) is the model category of unbounded complexes of k-modules,
and C = SpΣ the model category of symmetric spectra. In these two contexts we give
some examples of geometric stacks such as the stack of associative dg-algebras, the
stack of dg-categories, and a geometric stack constructed using topological modular
forms.
Mon cher Cato, il faut en convenir, les forces de l’ether nous pénètrent,
et ce fait déliquescent il nous faut l’appréhender coute que coute.
12000 Mathematics Subject Classification: 14A20, 18G55, 18F10, 55U40, 55P42, 55P43, 18F20,
18D10, 18E30 18G35, 18G30, 13D10, 55N34.
Keywords: Algebraic stacks, higher stacks, derived algebraic geometry
Received by the Editor June 14 2005
ix
Introduction
This is the second part of a series of papers called “HAG”, devoted to start the
development of homotopical algebraic geometry. The first part [HAGI] was concerned
with the homotopical generalization of sheaf theory, and contains the notions of model
topologies, model sites, stacks over model sites and model topoi, all of these being
homotopical versions of the usual notions of Grothendieck topologies, sites, sheaves
and topoi. The purpose of the present work is to use these new concepts in some spe-
cific situations, in order to introduce a very general notion of geometric stacks, a far
reaching homotopical generalization of the notion of algebraic stacks introduced by
P. Deligne, D. Mumford and M. Artin. This paper includes the general study and the
standard properties of geometric stacks, as well as various examples of applications
in the contexts of algebraic geometry and algebraic topology.
by C. In this work, we present this general theory, and show how this enlarges the
field of applicability by investigating several examples not covered by the standard
theory of relative algebraic geometry. The most important of these applications is the
existence of foundations for derived algebraic geometry, a global counter part of the
derived deformation theory of V. Drinfel’d, M. Kontsevich and al.
The setting. Our basic datum is a symmetric monoidal model category C (in
the sense of [Ho1]), on which certain conditions are imposed (see assumptions 1.1.0.1,
1.1.0.2, 1.1.0.3 and 1.1.0.4). We briefly discuss these requirements here. The model
category C is assumed to satisfy some reasonable additional properties (as for example
being proper, or that cofibrant objects are flat for the monoidal structure). These
assumptions are only made for the convenience of certain constructions, and may
clearly be omitted. The model category C is also assumed to be combinatorial (see
e.g. [Du2]), making it reasonably behaved with respect to localization techniques.
The first really important assumption on C states that it is pointed (i.e. that the
final and initial object coincide) and that its homotopy category Ho(C) is additive.
This makes the model category C homotopically additive, which is a rather strong
condition, but is used all along this work and seems difficult to avoid (see however
[To-Va2]). Finally, the last condition we make on C is also rather strong, and states
that the theory of commutative monoids in C, and the theory of modules over them,
both possess reasonable model category structures. This last condition is of course far
from being satisfied in general (as for example it is not satisfied when C is the model
category of complexes over some ring which is not of characteristic zero), but all the
examples we have in mind can be treated in this setting2. The model categories of
simplicial modules, of complexes over a ring of characteristic zero, and of symmetric
spectra are three important examples of symmetric monoidal model category satisfy-
ing all our assumptions. More generally, the model categories of sheaves with values
in any of these three fundamental categories provide additional examples.
in different model categories structures on C, might not behave the same way. For
example, a commutative ring can also be considered as a simplicial commutative ring,
and the notion of finitely presented morphisms is not the same in the two cases. We
think that keeping track of the base model category C is rather important, since play-
ing with the change of base categories might be very useful, and is also an interesting
feature of the theory.
The reader will immediately notice that several notions behave in a much better
way when the base model category satisfies certain stability assumptions (e.g. is a
stable model category, or when the suspension functor is fully faithful, see for ex-
ample Prop. 1.2.6.5, Cor. 1.2.6.6). We think this is one of the main features of
homotopical algebraic geometry: linear and commutative algebra notions tend to be
better behaved as the base model category tend to be “more” stable. We do not claim
that everything becomes simpler in the stable situation, but that certain difficulties
encountered can be highly simplified by enlarging the base model category to a more
stable one.
the stack of vector bundles is shown to be 1-geometric as soon as the class P contains
the class of smooth morphisms (see Cor. 1.3.7.12).
our general notions of flat, étale, smooth morphisms and Zariski open immersions
all have explicit descriptions in terms of standard notions (see Thm. 2.2.2.6). More
precisely, we prove that a morphism of simplicial commutative k-algebras A −→ B is
flat (resp. smooth, resp. étale, resp. a Zariski open immersion) in the general sense
we have given to these notions in §1.2, if and only if it satisfies the following two
conditions
• The induced morphism of affine schemes
Spec π0 (B) −→ Spec π0 (A)
is flat (resp. smooth, resp. étale, resp. a Zariski open immersion) in the
usual sense.
• The natural morphism
π∗ (A) ⊗π0 (A) π0 (B) −→ π∗ (B)
is an isomorphism.
We endow k − D− Af f with the étale model topology, a natural extension of
the étale topology for affine schemes; the corresponding homotopy category of D− -
stacks is simply denoted by D− St(k). The class P is taken to be the class of smooth
morphisms. The n-geometric stacks in this context will be called n-geometric D− -
stacks, where the notation D− is meant to bring to mind the negative bounded derived
category3. An important consequence of the above descriptions of étale and smooth
morphisms is that the natural inclusion functor from the category of k-modules to the
category of simplicial k-modules, induces a full embedding of the category of Artin
n-stacks into the category of n-geometric D− -stack. This inclusion functor i has
furthermore a right adjoint, called the truncation functor t0 (see Def. 2.2.4.3), and
the adjunction morphism it0 (F ) −→ F provides a closed embedding of the classical
Artin n-stack it0 (F ) to its derived version F , which behaves like a formal thickening
(see Prop. 2.2.4.7). This is a global counterpart of the common picture of derived
deformation theory of a formal classical moduli space sitting as a closed sub-space in
the corresponding formal derived moduli space.
We also prove that our general conditions for the existence of an obstruction the-
ory are satisfied, and so any n-geometric D− -stack has an obstruction theory (see
Prop. 2.2.3.3). An important particular case is when this result is applied to the
image of an Artin n-stack via the natural inclusion functor i; we obtain in this way
the existence of an obstruction theory for any Artin n-stack, and in particular the
existence of a cotangent complex. This is a very good instance of our principle that
things simplifies when the base model category C becomes more stable: the infinitesi-
mal study of classical objects of algebraic geometry (such as schemes, algebraic stacks
or Artin n-stacks) becomes conceptually clearer and behaves much better when we
consider these objects as geometric D− -stacks.
Finally, we give several examples of D− -stacks being derived versions of some well
known classical moduli problems. First of all the D− -stack of local systems on a topo-
logical space, and the D− -stack of algebra structures over a given operad are shown to
be 1-geometric (see Lem. 2.2.6.3, Prop. 2.2.6.8). We also present derived versions of
the scheme of morphisms between two projective schemes, and of the moduli stack of
flat bundles on a projective complex manifold (Cor. 2.2.6.14 and Cor. 2.2.6.15). The
proofs that these last two stacks are geometric rely on a special version of J. Lurie’s
3Recall that the homotopy theory of simplicial k-modules is equivalent to the homotopy theory
of negatively graded cochain complexes of k-modules. Therefore, derived algebraic geometry can
also be considered as algebraic geometry over the category of negatively graded complexes.
6 INTRODUCTION
complicial case, the existence of negative homotopy groups makes the general theory
of flat, smooth, étale morphisms and of Zariski open immersions rather different from
the corresponding one in derived algebraic geometry. Moreover, typical phenomena
coming from the existence of Steenrod operations makes the notion of smooth mor-
phism even more exotic and rather different from algebraic geometry; to give just a
striking example, Z[T ] is not smooth over Z in the context of brave new algebraic
geometry. Once again, we do not think this is a drawback of the theory, but rather
an interesting new feature one should contemplate and try to understand, as it might
reveal interesting new insights also on classical objects. In brave new algebraic ge-
ometry, we also check that the strong étale topology and the class P of fip-smooth
morphisms satisfy our general assumptions, so that n-geometric stacks exists in this
context. We call them n-geometric S-stacks, while the homotopy category of S-stacks
for the strong étale topology is simply denoted by St(S). As an example, we give a
construction of a 1-geometric S-stack starting from the “sheaf” of topological modu-
lar forms (Thm. 2.4.2.1).
Relations with other works. It would be rather long to present all related
works, and we apologize in advance for not mentioning all of them.
The general fact that the notion of geometric stack only depends on a topology
and a choice of the class of morphisms P has already been stressed by Carlos Simpson
in [S3], who attributes this idea to C. Walter. Our general definition of geometric
n-stacks is a straightforward generalization to our abstract context of the definitions
found in [S3].
Originally, derived algebraic geometry have been approached using the notion of
dg-schemes, as introduced by M. Kontsevich, and developed by I. Ciocan-Fontanine
and M. Kapranov. We have not tried to make a full comparison with our theory.
Let us only mention that there exists a functor from dg-schemes to our category of
1-geometric D− -stacks (see [To-Ve2, §3.3]). Essentially nothing is known about this
functor: we tend to believe that it is not fully faithful, though this question does
not seem very relevant. On the contrary, the examples of dg-schemes constructed in
[Ci-Ka1, Ci-Ka2] do provide examples of D− -stacks and we think it is interesting to
look for derived moduli-theoretic interpretations of these (i.e. describe their functors
of points).
We would like to mention that an approach to formal derived algebraic geometry
has been settled down by V. Hinich in [Hin2]. As far as we know, this is the first
functorial point of view on derived algebraic geometry that appeared in the literature.
There is a big overlap between our Chapter 2.2 and Jacob Lurie’s thesis [Lu1].
The approach to derived algebraic geometry used by J. Lurie is different from ours as
it is based on a notion of ∞-category, whereas we are working with model categories.
The simplicial localization techniques of Dwyer and Kan provide a way to pass from
model categories to ∞-categories, and the “strictification” theorem of [To-Ve1, Thm.
4.2.1] can be used to see that our approach and Lurie’s approach are in fact equivalent
(up to some slight differences, for instance concerning the notion of descent). We
think that the present work and [Lu1] can not be reasonably considered as totally
independent, as their authors have been frequently communicating on the subject
since the spring 2002. It seems rather clear that we all have been influenced by these
communications and that we have greatly benefited from the reading of the first drafts
of [Lu1]. We have to mention however that a huge part of the material of the present
paper had been already announced in earlier papers (see e.g. [To-Ve4, To-Ve2]),
and have been worked out since the summer 2000 at the time were our project has
8 INTRODUCTION
started. The two works are also rather disjoint and complementary, as [Lu1] contains
much more materials on derived algebraic geometry than what we have included in
§2.2 (e.g. a wonderful generalization of Artin’s representability theorem, to state
only the most striking result). On the other hand, our “HAG” project has also been
motivated by rather exotic contexts of applications, as the ones exposed for example
in §2.3 and §2.4 , and which are not covered by the framework of [Lu1].
The work of K. Behrend on dg-schemes and dg-stacks [Be1, Be2] has been done
while we were working on our project, and therefore §2.2 also has some overlaps
with his work. However, the two approaches are rather different and nonequivalent,
as K. Behrend uses a 2-truncated version of our notions of stacks, with the effect
of killing some higher homotopical information. We have not investigated a precise
comparison between these two approaches in this work, but we would like to mention
that there exists a functor from our category of D− -stacks to K. Behrend’s category
of dg-sheaves. This functor is extremely badly behaved: it is not full, nor faithful, nor
essentially surjective, nor even injective on isomorphism classes of objects. The only
good property is that it sends 1-geometric Deligne-Mumford D− -stacks to Deligne-
Mumford dg-stack in Behrend’s sense. However, there are non geometric D− -stacks
that become geometric objects in Behrend’s category of dg-sheaves.
Some notions of étale and smooth morphisms of commutative S-algebras have
been introduced in [MCM], and they seem to be related to the general notions we
present in §1.2. However a precise comparison is not so easy. Moreover, [MCM] con-
tains some wrong statements like the fact that thh-smoothness generalizes smoothness
for discrete algebras (right after Definition 4.2) or like Lemma 4.2 (2). The proof of
Theorem 6.1 also contains an important gap, since the local equivalences at the end
of the proof are not checked to glue together.
Very recentely, J. Rognes has proposed a brave new version of Galois theory,
including brave new notions of étaleness which are very close to our notions (see
[Ro]).
A construction of the moduli of dg-algebras and dg-categories appears in [Ko-So].
These moduli are only formal moduli by construction, and we propose our D-stacks
Ass and Cat∗ as their global geometrical counterparts.
We wish to mention the work of M. Spitzweck [Sp], in which he proves the exis-
tence of model category structures for E∞ -algebras and modules in a rather general
context. This work can therefore be used in order to suppress our assumptions on
the existence of model category of commutative monoids. Also, a nice symmetric
monoidal model category of motivic complexes is defined in [Sp], providing a new in-
teresting context to investigate. It has been suggested to us to consider this example
of algebraic geometry over motives by Yu. Manin, already during spring 2000, but we
do not have at the moment interesting things to say on the subject.
Finally, J. Gorski has recently constructed a D− -stack version of the Quot functor
(see [Go]), providing this way a functorial interpretation of the derived Quot scheme
of [Ci-Ka1]. A geometric D− -stack classifying objects in a dg-category has been
recently constructed by the first author and M. Vaquié in [To-Va1].
We thank M. Vaquié for reading a former version of the present work, and for his
comments and suggestions.
For various conversations on the subject we thank M. Anel, J. Gorski, A. Hirschowitz,
A. Joyal, M. Kontsevich, L. Katzarkov, H. Miller, T. Pantev, C. Rezk, J. Rognes, S.
Schwede, B. Shipley, M. Spitzweck, N. Strickland and J. Tapia.
Finally, we thank both referees for their careful reading of the manuscript and
for their interesting and useful remarks and suggestions.
Notations and conventions. We will use the word universe in the sense of
[SGA4-I, Exp.I, Appendice]. Universes will be denoted by U ∈ V ∈ W . . . . For any
universe U we will assume that N ∈ U. The category of sets (resp. simplicial sets,
resp. . . . ) belonging to a universe U will be denoted by SetU (resp. SSetU , resp. . . . ).
The objects of SetU (resp. SSetU , resp. . . . ) will be called U-sets (resp. U-simplicial
sets, resp. . . . ). We will use the expression U-small set (resp. U-small simplicial set,
resp. . . . ) to mean a set isomorphic to a set in U (resp. a simplicial set isomorphic
to a simplicial set in U, resp. . . . ). A unique exception concerns categories. The
expression U-category refers to the usual notion of [SGA4-I, IDef.1.2], and denotes
a category C such that for any two objects x and y in C the set HomC (x, y) is U-small.
In the same way, a category C is U-small is it is isomorphic to some element in U.
Our references for model categories are [Ho1] and [Hi]. By definition, our model
categories will always be closed model categories, will have all small limits and colimits
and the functorial factorization property. The word equivalence will always mean weak
equivalence and will refer to a model category structure.
The homotopy category of a model category M is W −1 M (see [Ho1, Def. 1.2.1]),
where W is the subcategory of equivalences in M , and it will be denoted as Ho(M ).
The sets of morphisms in Ho(M ) will be denoted by [−, −]M , or simply by [−, −]
when the reference to the model category M is clear. We will say that two objects
in a model category M are equivalent if they are isomorphic in Ho(M ). We say that
two model categories are Quillen equivalent if they can be connected by a finite string
of Quillen adjunctions each one being a Quillen equivalence. The mapping space
of morphisms between two objects x and y in a model category M is denoted by
M apM (x, y) (see [Ho1, §5]), or simply M ap(x, y) if the reference to M is clear. The
simplicial set depends on the choice of cofibrant and fibrant resolution functors, but
is well defined as an object in the homotopy category of simplicial sets Ho(SSet). If
M is a U-category, then M apM (x, y) is a U-small simplicial set.
The homotopy fiber product (see [Hi, 13.3, 19.5], [DHK, Ch. XIV] or [DS,
10] ) of a diagram x /zo y in a model category M will be denoted by
h /y
x ×z y. In the same way, the homotopy push-out of a diagram x o z
`L
will be denoted by x z y. For a pointed model category M , the suspension and loop
functors functor will be denoted by
S : Ho(M ) −→ Ho(M ) Ho(M ) ←− Ho(M ) : Ω.
`L
Recall that S(x) := ∗ x ∗, and Ω(x) := ∗ ×hx ∗.
When a model category M is a simplicial model category, its simplicial sets of
morphisms will be denoted by HomM (−, −), and their derived functors by RHomM
(see [Ho1, 1.3.2]), or simply Hom(−, −) and RHom(−, −) when the reference to M
is clear. When M is a symmetric monoidal model category in the sense of [Ho1, §4],
the derived monoidal structure will be denoted by ⊗L .
For the notions of U-cofibrantly generated, U-combinatorial and U-cellular model
category, we refer to [Ho1, Hi, Du2], or to [HAGI, Appendix], where the basic
definitions and crucial properties are recalled in a way that is suitable for our needs.
10 INTRODUCTION
In this first part we will study the general theory of stacks and geometric stacks
over a base symmetric monoidal model category C. For this, we will start in §1.1
by introducing the notion of a homotopical algebraic context (HA context for short),
which consists of a triple (C, C0 , A) where C is our base monoidal model category, C0 is
a sub-category of C, and A is a sub-category of the category Comm(C) of commutative
monoids in C; we also require that the triple (C, C0 , A) satisfies certain compatibility
conditions. Although this might look like a rather unnatural and complicated defi-
nition, it will be shown in §1.2 that this data precisely allows us to define abstract
versions of standard notions such as derivations, unramified, étale, smooth and flat
morphisms. In other words a HA context describes an abstract context in which the
basic notions of linear and commutative algebra can be developed.
The first two chapters are only concerned with purely algebraic notions and the
geometry only starts in the third one, §1.3. We start by some reminders on the notions
of model topology and of model topos (developed in [HAGI]), which are homotopical
versions of the notions of Grothendieck topology and of Grothendieck topos and which
will be used all along this work. Next, we introduce a notion of a homotopical algebraic
geometry context (HAG context for short), consisting of a HA context together with
two additional data, τ and P, satsfying some compatiblity conditions. The first
datum τ is a model topology on Af fC , the opposite model category of commutative
monoids in C. The second datum P consists of a class of morphisms in Af fC which
behaves well with respect to τ . The model topology τ gives a category of stacks
over Af fC (a homotopical generalization of the category of sheaves on affine schemes)
in which everything is going to be embedded by means of a Yoneda lemma. The
class of morphisms P will then be used in order to define geometric stacks and more
generally n-geometric stacks, by considering successive quotient stacks of objects of
Af fC by action of groupoids whose structural morphisms are in P. The compatibility
axioms between τ and P will insure that this notion of geometricity behaves well, and
satisfies the basic expected properties (stability by homotopy pullbacks, gluing and
certain quotients).
In §1.4, the last chapter of part I, we will go more deeply into the study of geo-
metric stacks by introducing infinitesimal constructions such as derivations, cotangent
complexes and obstruction theories. The main result of this last chapter states that
any geometric stack has an obstruction theory (including a cotangent complex) as
soon as the HAG context satisfies suitable additional conditions.
13
CHAPTER 1.1
The purpose of this chapter is to fix once for all our base model category as well
as several general assumptions it should satisfy.
All along this chapter, we refer to [Ho1] for the general definition of monoidal
model categories, and to [Schw-Shi] for general results about monoids and modules
in monoidal model categories.
From now on, and all along this work, we fix three universes U ∈ V ∈ W (see, e.g.
[SGA4-I, Exp.I, Appendice]). We also let (C, ⊗, 1) be a symmetric monoidal model
category in the sense of [Ho1, §4]. We assume that C is a V-small category, and that
it is U-combinatorial in the sense of [HAGI, Appendix].
Assumption 1.1.0.1. (1) The model category C is proper, pointed (i.e. the
final object is also an initial object) and for any two object X and Y in C
the natural morphisms
a a
QX QY −→ X Y −→ RX × RY
Assumption 1.1.0.1 implies in particular that finite homotopy coproducts are also
finite homotopy products in C. It is always satisfied when C is furthermore a stable
model category in the sense of [Ho1, §7]. Note that 1.1.0.1 implies in particular that
for any two objects x and y in C, the set [x, y] has a natural abelian group structure.
M od)
L
a
B B ′ −→ B ⊗LA B ′
A
is an isomorphism (here the object on the left is the homotopy coproduct in A −
Comm(C), and the one on the right is the derived tensor product in A − M od).
An important remark we will use implicitly very often in this paper is that the
category A − Comm(C) is naturally equivalent to the comma category A/Comm(C),
of objects under A. Moreover, the model structure on A−Comm(C) coincides through
this equivalence with the comma model category A/Comm(C).
We will also fix a full subcategory C0 of C, playing essentially the role of a kind
of “t-structure” on C (i.e. essentially defining which are the “non-positively graded
objects”, keeping in mind that in this work we use the cohomological grading when
concerned with complexes). More precisely, we will fix a subcategory C0 ⊆ C satisfying
the following conditions.
Assumption 1.1.0.6. (1) 1 ∈ C0 .
(2) The full subcategory C0 of C is stable by equivalences and by U-small homo-
topy colimits.
(3) The full subcategory Ho(C0 ) of Ho(C) is stable by the monoidal structure
− ⊗L − (i.e. for X and Y in Ho(C0 ) we have X ⊗L Y ∈ Ho(C0 )).
Recall that as C is a pointed model category one can define its suspension functor
S : Ho(C) −→ Ho(C)
`L
x 7→ ∗ x ∗
left adjoint to the loop functor
Ω : Ho(C) −→ Ho(C)
x 7→ := ∗ ×hx ∗.
We set C1 to be the full subcategory of C consisting of all objects equivalent to the
suspension of some object in C0 . The full subcategory C1 of C is also closed by
equivalences, homotopy colimits and the derived tensor structure. We will denote
by Comm(C)0 the full subcategory of Comm(C) consisting of commutative monoids
whose underlying C-object lies in C0 . In the same way, for A ∈ Comm(C) we denote by
A − M od0 (resp. A − M od1 , resp. A − Comm(C)0 ) the full subcategory of A − M od
consisting of A-modules whose underlying C-object lies in C0 (resp. of A − M od
consisting of A-modules whose underlying C-object lies in C1 , resp. of A − Comm(C)
consisting of commutative A-algebras whose underlying C-object lies in C0 ).
An important consequence of Assumption 1.1.0.6 is that for any morphism A −→
B in Comm(C)0 , and any M ∈ A− M od0 , we have B ⊗LA M ∈ Ho(B − M od0 ). Indeed,
any such A-module can be written as a homotopy colimit of A-modules of the form
L
A⊗ n ⊗L M , for which we have
L L
B ⊗LA A⊗ n
⊗L M ≃ A⊗ (n−1)
⊗L M.
In particular the full subcategory Comm(C)0 is closed by homotopy push-outs in
Comm(C). Passing to the suspension we also see that for any M ∈ A − M od1 , one
also has B ⊗LA M ∈ Ho(B − M od1 ).
Remark 1.1.0.7. (1) The reason for introducing the subcategory C0 is to
be able to consider reasonable infinitesimal lifting properties; these infini-
tesimal lifting properties will be used to develop the abstract obstruction
1.1. HOMOTOPICAL ALGEBRAIC CONTEXT 19
the one for which equivalences are the local equivalences, and cofibrations
are the global cofibrations. The proof that this indeed defines model cate-
gories is not given here and is very similar to the proof of the existence of
the local projective model structure on the category of simplicial presheaves
(see for example [HAGI]).
Finally, the symmetric monoidal structures on the categories C(k), sM odk
and SpΣ induces natural symmetric monoidal structures on the categories
P r(S, C(k)), P r(S, sM odk ), P r(S, SpΣ ). These symmetric monoidal struc-
tures make them into symmetric monoidal model categories when S has
finite products. One can also check that the symmetric monoidal model
categories P r(S, C(k)), P r(S, sM odk ), P r(S, SpΣ ) constructed that way all
satisfy the assumptions 1.1.0.1, 1.1.0.2, 1.1.0.3 and 1.1.0.4.
An important example is the following. Let O be a sheaf of commutative
rings on the site S, and let HO ∈ P r(S, SpΣ ) be the presheaf of symmetric
spectra it defines. The object HO is a commutative monoid in P r(S, SpΣ )
and one can therefore consider the model category HO − M od, of HO-
modules. The category HO − M od is a symmetric monoidal model category
and its homotopy category is equivalent to the unbounded derived category
D(S, O) of O-modules on the site S. This gives a way to define all the
standard constructions as derived tensor products, derived internal Hom′ s
etc., in the context of unbounded complexes of O-modules.
Let f : A −→ B be a morphism of commutative monoids in C. We deduce an
adjunction between the categories of modules
f ∗ : A − M od −→ B − M od A − M od ←− B − M od : f∗ ,
∗
where f (M ) := B ⊗A M , and f∗ is the forgetful functor that sees a B-module as an
A-module through the morphism f . Assumption 1.1.0.2 tells us that this adjunction
is a Quillen adjunction, and assumption 1.1.0.3 implies it is furthermore a Quillen
equivalence when f is an equivalence (this is one of the main reasons for assumption
1.1.0.3).
The morphism f induces a pair of adjoint derived functors
Lf ∗ : Ho(A−M od) −→ Ho(B−M od) Ho(A−M od) ←− Ho(B−M od) : Rf∗ ≃ f∗ ,
and, as usual, we will also use the notation
Lf ∗ (M ) =: B ⊗LA M ∈ Ho(B − M od).
Finally, let
f
A /B
p p′
A′ / B′
f′
be a homotopy cofiber square in Comm(C). Then, for any A′ -module M we have the
well known base change morphism
Lf ∗ p∗ (M ) −→ (p′ )∗ L(f ′ )∗ (M ).
Proposition 1.1.0.8. Let us keep the notations as above. Then, the morphism
Lf ∗ p∗ (M ) −→ (p′ )∗ L(f ′ )∗ (M )
is an isomorphism in Ho(B − M od) for any A′ -module M .
22 1.1. HOMOTOPICAL ALGEBRAIC CONTEXT
We recall here from [HAGI, §4.1] that for a model category M , and a full sub-
category stable by equivalences M0 ⊂ M , M0∧ is the left Bousfield localization of
SP r(M0 ) along equivalences in M0 .
Definition 1.1.0.10. We will say that A ∈ Comm(C) is good with respect to C0
(or simply C0 -good) if the functor
Ho(A − M odop ) −→ Ho((A − M odop ∧
0 ) )
is fully faithful.
In usual category theory, a full subcategory D ⊂ C is called dense if the restricted
Yoneda functor C −→ P r(D) := Hom(Dop , Ens) is fully faithful (in [SGA4-I] this
notion is equivalent to the fact that D generates C through strict epimorphisms).
This implies for example that any object of C is the colimit of objects of D, but is
a slightly stronger condition because any object x ∈ C is in fact isomorphic to the
colimit of the canonical diagram D/x −→ C (see e.g. [SGA4-I, ExpI-Prop. 7.2]).
1.1. HOMOTOPICAL ALGEBRAIC CONTEXT 23
Our notion of being good (Def. 1.1.0.10) essentially means that A − M odop
0 is homo-
topically dense in A − M odop . This of course implies that any object in A − M od
is equivalent to a homotopy limit of objects in A − M od0 , and is equivalent to the
fact that any cofibrant object M ∈ A − M od is equivalent to the homotopy limit of
the natural diagram (M/A − M od0 )c −→ A − M od, where (M/A − M od0 )c denotes
the category of cofibrations under M . Dually, one could say that A being good with
respect to C0 means that A − M od0 cogenerates A − M od through strict monomor-
phisms in a homotopical sense.
We finish this first chapter by the following definition, gathering our assumptions
1.1.0.1, 1.1.0.2, 1.1.0.3, 1.1.0.4 and 1.1.0.6 all together.
Definition 1.1.0.11. A Homotopical Algebraic context (or simply HA context)
is a triplet (C, C0 , A), consisting of a symmetric monoidal model category C, two full
sub-categories stable by equivalences
C0 ⊂ C A ⊂ Comm(C),
such that any A ∈ A is C0 -good, and assumptions 1.1.0.1, 1.1.0.2, 1.1.0.3, 1.1.0.4,
1.1.0.6 are satisfied.
CHAPTER 1.2
All along this chapter we fix once for all a HA context (C, C0 , A), in the sense
of Def. 1.1.0.11. The purpose of this chapter is to show that the assumptions of
the last chapter imply that many general notions of linear and commutative algebra
generalize in some reasonable sense in our base category C.
lifting the previous functor on the homotopy categories. This last functor will be
considered as an object in the model category of pre-stacks (B − M odop )∧ as defined
in [HAGI, §4.1]. Recall from [HAGI, §4.2] that there exists a Yoneda embedding
Ho(B − M od)op −→ Ho((B − M odop )∧ )
sending a B-module M to the simplicial presheaf N 7→ M apB−Mod (M, N ), and ob-
jects in the essential image will be called co-representable.
Proposition 1.2.1.2. For any morphism A −→ B in Comm(C), there exists a
B-module LB/A , and an element d ∈ π0 (DerA (B, LB/A )), such that for any B-module
M , the natural morphism obtained by composing with d
d∗ : M apB−Mod (LB/A , M ) −→ DerA (B, M )
is an isomorphism in Ho(SSet).
Proof. The proof is the same as in [Ba], and uses our assumptions 1.1.0.1,
1.1.0.2, 1.1.0.3 and 1.1.0.4. We will reproduce it for the reader convenience.
• / Q(C),
and Z sends a B-module M to the non-unital B-algebra M endowed with the zero
multiplication. Clearly, (Q, Z) is a Quillen adjunction and gives rise to an adjunction
on the homotopy categories
LQ : Ho(B − Commnu (C)) −→ Ho(B − M od)
Ho(B − Commnu (C)) ←− Ho(B − M od) : Z.
We can now conclude the proof of the proposition by chaining up the various adjunc-
tion to get a string of isomorphisms in Ho(SSet)
DerA (B, M ) ≃ M apA−Comm(C)/B (B, F (B⊕M )) ≃ M apB−Comm(C)/B (B⊗LA B, B⊕M )
≃ M apB−Commnu(C) (RI(B⊗LA B), RI(B⊕M )) ≃ M apB−Commnu(C) (RI(B⊗LA B), Z(M ))
≃ M apB−Mod (LQRI(B ⊗LA B), M ).
Therefore, LB/A := LQRI(B ⊗LA B) and the image of id ∈ M apB−Mod (LB/A , LB/A )
gives what we were looking for.
Remark 1.2.1.4. Proposition 1.2.1.2 implies that the two functors
M 7→ M apB−Mod (LB/A , M ) M 7→ DerA (B, M )
are isomorphic as objects in Ho((B − M odop )∧ ). In other words, Prop. 1.2.1.2 implies
that the functor DerA (B, −) is co-representable in the sense of [HAGI].
Definition 1.2.1.5. Let A −→ B be a morphism in Comm(C).
(1) The B-module LB/A ∈ Ho(B − M od) is called the cotangent complex of B
over A.
(2) When A = 1, we will use the following notation
LB := LB/1 ,
and LB will be called the cotangent complex of B.
Using the definition and proposition 1.2.1.2, it is easy to check the following facts.
Proposition 1.2.1.6. (1) Let A −→ B −→ C be two morphisms in Comm(C).
Then, there is a homotopy cofiber sequence in C − M od
LB/A ⊗LB C −→ LC/A −→ LC/B .
(2) Let
A /B
A′ / B′
be a homotopy cofiber square in Comm(C). Then, the natural morphism
LB/A ⊗LB B ′ −→ LB ′ /A′
28 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
A′ / B′
be a homotopy cofiber square in Comm(C). Then the following square is
homotopy cocartesian in B ′ − M od
LA ⊗LA B ′ / LB ⊗L B ′
B
LA′ ⊗LA′ B ′ / LB ′ .
(4) For any commutative monoid A and any A-module M , one has a natural
isomorphism in Ho(A − M od)
a
LA⊕M ⊗LA⊕M A ≃ LA LQZ(M ),
where
Q : A − Commnu (C) −→ A − M od A − Commnu (C) ←− A − M od : Z
is the Quillen adjunction used during the proof of 1.2.1.2.
Proof. (1) to (3) are simple exercises, using the definitions and that for any
morphism of commutative monoids A −→ B, and any B-module M , the following
square is homotopy cartesian in Comm(C) (because of our assumption 1.1.0.1)
A⊕M / B⊕M
A / B.
(4) We note that for any commutative monoid A, and any A-modules M and N ,
one has a natural homotopy fiber sequence
M apA−Comm(C)/A(A ⊕ M, A ⊕ N ) −→ M apComm(C)/A (A ⊕ M, A ⊕ N ) →
−→ M apComm(C)/A (A, A ⊕ N ),
or equivalently using lemma 1.2.1.3
M apA−Mod (LQZ(M ), N ) −→ Der(A ⊕ M, N ) −→ Der(A, N ).
This implies the existence of a natural homotopy cofiber sequence of A-modules
LA −→ LA⊕M ⊗LA⊕M A −→ LQZ(M ).
Clearly this sequence splits in Ho(A − M od) and gives rise to a natural isomorphism
a
LA⊕M ⊗LA⊕M A ≃ LA LQZ(M ).
1.2.2. HOCHSCHILD HOMOLOGY 29
The importance of derivations come from the fact that they give rise to infinites-
imal extensions in the following way. Let A −→ B be a morphism of commutative
monoids in C, and M be a B-module. Let d : LB/A −→ M be a morphism in
Ho(B − M od), corresponding to a derivation d ∈ π0 (DerA (B, M )). This derivation
can be seen as a section d : B −→ B ⊕ M of the morphism of commutative A-algebras
B ⊕ M −→ B. We consider the following homotopy cartesian diagram in the category
of commutative A-algebras
C /B
d
B / B⊕M
s
where s : B −→ B ⊕ M is the natural section corresponding to the zero morphism
LB/A −→ M . Then, C −→ B is a morphism of commutative A-algebras such that
its fiber is a non-unital commutative A-algebra isomorphic in Ho(A − Commnu (C))
to the loop A-module ΩM := ∗ ×hM ∗ with the zero multiplication. In other words, C
is a square zero extension of B by ΩM . It will be denoted by B ⊕d ΩM . The most
important case is of course when A = B, and we make the following definition.
Definition 1.2.1.7. Let A be a commutative monoid, M and A-module and
d ∈ π0 Der(A, M ) be a derivation given by a morphism in d : A −→ A ⊕ M in
Ho(Comm(C)/A). The square zero extension associated to d, denoted by A ⊕d ΩM ,
is defined as the homotopy pullback diagram of commutative monoids
A ⊕d ΩM /A
d
A / A ⊕ M,
s
where s is the natural morphism corresponding to the zero derivation. The top hori-
zontal morphism A ⊕d ΩM −→ A will be called the natural projection.
A′ / B′
be a homotopy cofiber square in Comm(C). Then, the natural morphism
T HH(B/A) ⊗LA T HH(A′ /A) −→ T HH(B ′ /A)
is an isomorphism in Ho(A − Comm(C)).
Proof. Exercise.
such that p and q are equivalences, then f is finitely presented if and only if
f ′ is finitely presented.
(2) Finitely presented morphisms in M are stable by compositions and retracts.
(3) Finitely presented morphisms in M are stable by homotopy push-outs. In
other words, if one has a homotopy push-out diagram in M
f
x /y
p q
x′ / y′
f′
Proof. (1) is clear as M apx/M (a, b) only depends on the isomorphism class of a
and b as objects in the homotopy category Ho(x/M ).
(2) Let x −→ y −→ z be two finitely presented morphisms in M , and let {zi }i∈I ∈
x/M be a filtered diagrams of objects. Then, one has for any object t ∈ x/M a
fibration sequence of simplicial sets
As fibration sequences are stable by filtered homotopy colimits, one gets a morphism
of fibration sequences
Mapy/M (z, Hocolimi∈I zi ) / Mapx/M (z, Hocolimi∈I zi ) / Mapx/M (y, Hocolimi∈I zi ),
and the five lemma tells us that the vertical arrow in the middle is an isomorphism
in Ho(SSet). This implies that z is finitely presented over x.
The assertion concerning retracts is clear since, if x −→ y is a retract of x′ −→ y ′ ,
for any z ∈ x/M the simplicial set M apx/M (y, z) is a retract of M apx′ /M (y ′ , z).
(3) This is clear since we have for any object t ∈ x′ /M , a natural equivalence
M apx′ /M (y ′ , t) ≃ M apx/M (y, t).
X0 = ∅ / X1 / ... / Xn = X,
32 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
A / B,
ui
with ui ∈ I.
(2) An object X is a finite I-cell object (or simply a finite cell object when I is
clear) if it is equivalent to a strict finite I-cell object.
(3) The model category M is compactly generated if it satisfies the following
conditions.
(a) The model category M is cellular (in the sense of [Hi, §12]).
(b) There exists a set of generating cofibrations I, and generating trivial
cofibrations J whose domains and codomains are cofibrant, ω-compact
(in the sense of [Hi, §10.8]) and ω-small with respect to the whole cat-
egory M .
(c) Filtered colimits commute with finite limits in M .
The following proposition identifies finitely presented objects when M is com-
pactly generated.
Proposition 1.2.3.5. Let M be a compactly generated model category, and I be a
set of generating cofibrations whose domains and codomains are cofibrant, ω-compact
and ω-small with respect to the whole category M .
(1) A filtered colimit of fibrations (resp. trivial fibrations) is a fibration (resp. a
trivial fibration).
(2) For any filtered diagram Xi in M , the natural morphism
Hocolimi Xi −→ Colimi Xi
is an isomorphism in Ho(M ).
(3) Any object X in M is equivalent to a filtered colimit of strict finite I-cell
objects.
(4) An object X in M is finitely presented if and only if it is equivalent to a
retract, in Ho(M ), of a strict finite I-cell object.
Proof. (1) By assumption the domain and codomain of morphisms of I are ω-
small, so M is finitely generated in the sense of [Ho1, §7]. Property (1) is then proved
in [Ho1, §7].
(3) The small object argument (e.g. [Ho1, Thm. 2.1.14]) gives that any object
X is equivalent to a I-cell complex Q(X). By ω-compactness of the domains and
codomains of I, Q(X) is the filtered colimit of its finite sub-I-cell complexes. This
implies that X is equivalent to a filtered colimit of strict finite I-cell objects.
values Y (in the model category of simplicial objects in M A , see [Ho1, §5.2]). By
(2), the induced morphism
c(Colima∈A Ya ) −→ Colima∈A R∗ (Ya )
is an equivalence of simplicial objects in M A . Moreover, (1) and the exactness of
filtered colimits implies that Colima∈A R∗ (Ya ) is a Reedy fibrant object in the model
categroy of simplicial objects in M (as filtered colimits commute with matching ob-
jects for the Reedy category ∆op , see [Ho1, §5.2]). This implies that for any cofibrant
and ω-small object K in M , we have
Hocolima∈A M ap(K, Ya ) ≃ Colima∈A M ap(K, Ya ) ≃ Colima∈A Hom(K, R∗ (Ya )) ≃
Hom(K, Colima∈A R∗ (Ya )) ≃ M ap(K, Colima∈AYa ).
This implies that the domains and codomains of I are homotopically finitely presented.
As filtered colimits of simplicial sets preserve homotopy pull-backs, we deduce that
any finite cell objects is also homotopically finitely presented, as they are constructed
from domains and codomains of I by iterated homotopy push-outs (we use here that
domains and codomains of I are cofibrant). This implies that any retract of a finite
cell object is homotopically finitely presented. Conversely, let X be a homotopically
finitely presented object in Ho(M ), and by (3) let us write it as Colimi Xi , where
Xi is a filtered diagram of finite cell objects. Then, [X, X] ≃ Colimi [X, Xi ], which
implies that this identity of X factors through some Xi , or in other words that X is
a retract in Ho(M ) of some Xi .
Now, let M be a symmetric monoidal model category in the sense of [Ho1, §4]. We
remind that this implies in particular that the monoidal structure on M is closed, and
therefore possesses Hom’s objects HomM (x, y) ∈ M satisfying the usual adjunction
rule
Hom(x, HomM (y, z))) ≃ Hom(x ⊗ y, z).
The internal structure can be derived, and gives on one side a symmetric monoidal
structure − ⊗L − on Ho(M ), as well as Hom’s objects RHomM (x, y) ∈ Ho(M )
satisfying the derived version of the previous adjunction
[x, RHomM (y, z))] ≃ [x ⊗L y, z].
In particular, if 1 is the unit of the monoidal structure of M , then
[1, RHomM (x, y)] ≃ [x, y],
and more generally
M apM (1, RHomM (x, y)) ≃ M apM (x, y).
Moreover, the adjunction between −⊗L and RHomM extends naturally to an ad-
junction isomorphism
RHomM (x, RHomM (y, z))) ≃ RHomM (x ⊗L y, z).
The derived dual of an object x ∈ M will be denoted by
x∨ := RHomM (x, 1).
Definition 1.2.3.6. Let M be a symmetric monoidal model category. An object
x ∈ M is called perfect if the natural morphism
x ⊗L x∨ −→ RHomM (x, x)
is an isomorphism in Ho(M ).
Proposition 1.2.3.7. Let M be a symmetric monoidal model category.
34 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
(4) Let x be a perfect object in M , and {zi }i∈I be a filtered diagram of objects
in M . Let x∨ := RHom(x, 1) the dual of x in Ho(M ). Then, we have
M apM (x, Hocolimi zi ) ≃ M apM (1, x∨ ⊗L Hocolimi zi ) ≃ M apM (1, Hocolimi x∨ ⊗L zi )
≃ Hocolimi M apM (1, x∨ ⊗L zi ) ≃ Hocolimi M apM (x, zi ).
(5) Let x /y / z be a homotopy fiber sequence in M . It is enough to
prove that if y and z are perfect then so is x. For this, let x∨ , y ∨ and z ∨ the duals of
x, y and z.
One has a morphism of homotopy fiber sequences
x ⊗L z ∨ / x ⊗L y ∨ / x ⊗L x∨
RHomM (z, x) / RHomM (y, x) / RHomM (x, x).
The five lemma and point (3) implies that the last vertical morphism is isomorphism,
and that x is perfect.
(5) Let M be a perfect A-module, and M ∨ := RHomA (M, A) be its dual. Then,
for any homotopy cartesian square of A-modules
P /Q
P′ / Q′ ,
36 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
the diagram
P ⊗LA M / Q ⊗L M
A
P ′ ⊗LA M / Q′ ⊗L M
A
is equivalent to
RHomA (M ∨ , P ) / RHom (M ∨ , Q)
A
RHomA (M ∨ , P ′ ) / RHom (M ∨ , Q′ ),
A
which is again homotopy cartesian by the general properties of derived internal Hom’s.
This shows that − ⊗L M preserves homotopy pullbacks, and hence that M is flat.
`
(6) Clearly, if E a finite set, then LE A is finitely presented object, as for any
A-module M one has
aL
M apA−Mod ( A, M ) ≃ M apC (1, M )E .
E
`L
Therefore, a retract of E A is also finitely presented.
Conversely, let M be a projective A-module which is also finitely presented. Let
` `
i : M −→ LE A be a morphism which admits a retraction. As LE A is the colimit
`
of LE0 A, for E0 running over the finite subsets of E, the morphism i factors as
L
a L
a
M −→ A −→ A
E0 E
`L
for some finite subset E0 ⊂ E. This shows that M is in fact a retract of E A.
(7) Using Prop. 1.2.3.7 (4) one sees that if M is perfect then it is finitely presented.
Conversely, let M be a finitely presented projective A-module. By (6) we know that
`L `L
M is a retract of E A for some finite set E. But, as E is finite, E A is perfect,
and therefore so is M as a retract of a perfect module.
(6) Finally, Prop. 1.2.1.6 (2) shows that the morphism B ⊗LA B −→ B is formally
étale if and only if the natural morphism
a
LB/A LB/A −→ LB/A
In order to state the next results we recall that as C is a pointed model category
one can define a suspension functor (see [Ho1, §7])
S : Ho(C) −→ Ho(C)
`
X 7→ S(X) := ∗ LX ∗.
This functor possesses a right adjoint, the loop functor
Ω : Ho(C) −→ Ho(C)
X 7→ Ω(X) := ∗ ×hX ∗.
Proposition 1.2.6.5. Assume that the base model category C is such that the
suspension functor S : Ho(C) −→ Ho(C) is fully faithful.
(1) A morphism of commutative monoids in C is formally étale if and only if it
is formally unramified.
(2) A formally thh-étale morphism of commutative monoids in C is a formally
étale morphism.
(3) An epimorphism of commutative monoids in C is formally étale.
40 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
Proof. (1) By the last proposition we only need to prove that a formally un-
ramified morphism is also formally étale. Let f : A −→ B be such a morphism. By
Prop. 1.2.1.6 (1) there is a homotopy cofiber sequence of B-modules
LA ⊗LA B −→ LB −→ ∗.
This implies that for any B-module M , the homotopy fiber of the morphism
Der(B, M ) −→ Der(A, M )
is contractible, and in particular that this morphism induces isomorphisms on all
higher homotopy groups. It remains to show that this morphism induces also an
isomorphism on π0 . For this, we can use the hypothesis on C which implies that the
suspension functor on Ho(B − M od) is fully faithful. Therefore, we have
π0 (Der(B, M )) ≃ π0 (Der(B, ΩS(M ))) ≃ π1 (Der(B, SM )) ≃
≃ π1 (Der(A, SM )) ≃ π0 (Der(A, M )).
(2) Let A −→ B be a formally thh-étale morphism in Comm(C).
As M apA−Comm(C) (B, C) is discrete for any commutative A-algebra C, the simplicial
set DerA (B, M ) is discrete for any B-module M . Using the hypothesis on C we get
that for any B-module M
π0 (DerA (B, M )) ≃ π0 (DerA (B, ΩS(M ))) ≃ π1 (DerA (B, SM )) ≃ 0,
showing that DerA (B, M ) ≃ ∗, and therefore that LB/A ≃ ∗. This implies that f is
formally unramified, and therefore is formally étale by the first part of the proposition.
1.2.7. Smoothness
We define two general notions of smoothness, both different generalizations of the
usual notion, and both useful in certain contexts. A third, and still different, notion
of smoothness will be given in the next section.
Definition 1.2.7.1. Let f : A −→ B be a morphism of commutative algebras.
(1) The morphism f is formally perfect (or simply fp) if the B-module LB/A is
perfect (in the sense of Def. 1.2.3.6).
(2) The morphism f is formally smooth if the B-module LB/A is projective (in
the sense of Def. 1.2.4.1) and if the morphism
LA ⊗LA B −→ LB
has a retraction in Ho(B − M od).
Definition 1.2.7.2. Let f : B −→ C be a morphism of commutative algebras.
The morphism f is perfect, or simply p, (resp. smooth) if it is finitely presented (as
a morphism in the model category Comm(C)) and is fp (resp. formally smooth).
Of course, (formally) étale morphisms are (formally) smooth morphisms as well
as (formally) perfect morphisms.
Proposition 1.2.7.3. The fp, perfect, formally smooth and smooth morphisms
are all stable by compositions, homotopy push outs and equivalences.
Proof. Exercise.
is fully faithful);
• assumptions 1.1.0.1, 1.1.0.2, 1.1.0.3, 1.1.0.4, 1.1.0.6 are satisfied.
Recall also that C1 is the full subcategory of C consisting of all objects equivalent to
suspensions of objects in C0 , Comm(C)0 the full subcategory of Comm(C) consisting
of commutative monoids whose underlying C-object is in C0 , and, for A ∈ Comm(C),
A − M od0 (resp. A − M od1 , resp. A − Comm(C)0 ) is the full subcategory of A − M od
consisting of A-modules whose underlying C-object is in C0 (resp. of A − M od consist-
ing of A-modules whose underlying C-object is in C1 , resp. of A−Comm(C) consisting
of commutative A-algebras whose underlying C-object is in C0 ).
A / R[Ωd M ] /R
B /R / R ⊕ M.
s
is non-empty because f is formally i-smooth. By definition this means that the image
of d by the morphism
π0 (DerA (R, M )) −→ π0 (DerA (B, M ))
is zero. As this is true for any d, this finishes the proof of the proposition.
Corollary 1.2.8.4. (1) Any formally unramified morphism is formally i-
smooth.
(2) Assume that the suspension functor S is fully faithful, that C1 = C (so that
in particular C is stable), and A = Comm(C). Then formally i-smooth
morphisms are precisely the formally étale morphisms.
Proof. It follows immediately from 1.2.8.3.
Corollary 1.2.8.5. We assume that for any M ∈ C1 one has [1, M ] = 0. Then
any formally smooth morphism is formally i-smooth.
Proof. By Prop. 1.2.8.3 and definition of formal smoothness, it is enough to
show that for any commutative monoid A ∈ C, any A-module M ∈ A− M od1 and any
projective A-module P we have [P, M ] = 0. By assumption this is true for P = A,
and thus also true for free A-modules and their retracts.
(2) The fact that f∗ is fully faithful follows from Prop. 1.2.6.4 (1). Let M ∈
A[a−1 ] − M od and let us prove that the morphism ×a : M −→ M is an isomorphism
in Ho(A − M od). Using that A −→ A[a−1 ] is an epimorphism, one finds M ≃
M ⊗LA A[a−1 ], which reduces the problem to the case where M = A[a−1 ]. But then,
the morphism ×a : A[a−1 ] −→ A[a−1 ], as a morphism in Ho(A[a−1 ] − M od) lives in
[A[a−1 ], A[a−1 ]] ≃ π0 (A[a−1 ]), and correspond to the image of a by the morphism
π0 (A) −→ π0 (A[a−1 ]), which is then invertible. In other words, ×a : A[a−1 ] −→
A[a−1 ] is an isomorphism.
Conversely, let M be an A-module such that the morphism ×a : M −→ M is an
isomorphism in Ho(A − M od). We need to show that the adjunction morphism
M −→ M ⊗LA A[a−1 ]
is an isomorphism. For this, we use that the morphism A −→ A[a−1 ] can be con-
structed using a small object argument with respect to the horns over the morphism
a : LFA (A) −→ LFA (A) (see [Hi, 4.2]). Therefore, a transfinite induction argument
shows that it is enough to prove that the morphism induced by tensoring
a ⊗ Id : LFA (A) ⊗LA M ≃ LFA (M ) −→ LFA (A) ⊗LA M ≃ LFA (M )
is an isomorphism in Ho(A − M od). But this morphism is the image by the functor
LFA of the morphism ×a : M −→ M , and is therefore an isomorphism.
46 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
(2) When 1 is finitely presented, one has for any filtered diagram of commutative
A-algebras Bi an isomorphism
Colimi π∗ (Bi ) ≃ π∗ (Hocolimi Bi ).
Using that M apA−Comm(C)(A[a−1 ], B) is either empty or contractible, depending
whether of not a goes to a unit in π∗ (B), we easily deduce that
Hocolimi M apA−Comm(C) (A[a−1 ], Bi ) ≃ M apA−Comm(C)(A[a−1 ], Hocolimi Bi ).
1.2.10. ZARISKI OPEN IMMERSIONS AND PERFECT MODULES 47
We can also show that the natural morphism A −→ A[a−1 ] is a formally étale
morphism in the sense of Def. 1.2.6.1.
Proposition 1.2.9.5. Let A ∈ Comm(C) and a ∈ π0 (A). Then, the natural
morphism A −→ A[a−1 ] is formally étale.
Proof. Let M be any A[a−1 ]-module. We need to show that the natural mor-
phism
M apA−Comm(C)/A[a−1] (A[a−1 ], A[a−1 ]⊕M ) −→ M apA−Comm(C)/A[a−1] (A, A[a−1 ]⊕M )
is an isomorphism in Ho(SSet). Using the universal property of A −→ A[a−1 ] given
by Prop. 1.2.9.1 we see that it is enough to prove that for any B ∈ Comm(C), and
any B-module M the natural projection π0 (B ⊕ M ) −→ π0 (B) reflects invertible
elements (i.e. an element in π0 (B ⊕ M ) is invertible if and only its image in π0 (B) is
so). But, clearly, π0 (B ⊕ M ) can be identified with the trivial square zero extension
of the commutative ring π0 (B) by π0 (M ), which implies the required result.
Corollary 1.2.9.6. Assume that the model category C is finitely presented, and
that the unit 1 is finitely presented in C. Then for any A ∈ Comm(C) and a ∈ π0 (A),
the morphism A −→ A[a−1 ] is an étale, flat epimorphism.
Proof. Put 1.2.9.4 and 1.2.9.5 together.
We now finish the proof of proposition 1.2.10.1. First of all, Lem. 1.2.10.2 implies
that for any commutative A-algebra B, if the mapping space M apA−Comm(C) (AK , B)
is non-empty then
B ⊗LA K ≃ B ⊗LAK (AK ⊗LA K) ≃ ∗,
and thus B is an SK -local object. This shows that if M apA−Comm(C) (AK , B) is
non-empty then one has
M apA−Comm(C)(AK , B) ≃ M apA−Comm(C)(A, B) ≃ ∗.
In other words A −→ AK is a formal Zariski open immersion by Cor. 1.2.6.6 and the
stability assumption on C. It only remains to prove that A −→ AK is also finitely
presented when 1 is a finitely presented object in C.
For this, let {Ci }i∈I be a filtered diagram of commutative A-algebras and C be its
homotopy colimit. By the property of A −→ AK , we need to show that if K ⊗LA C ≃ ∗
then there is an i ∈ I such that K ⊗LA Ci ≃ ∗. For this, we consider the two elements
Id and ∗ in [K ⊗LA C, K ⊗LA C]C−Mod . As K is perfect and 1 is a finitely presented
object, K is a finitely presented A-module by Prop. 1.2.3.7 (4). Therefore, one has
∗ ≃ [K ⊗LA C, K ⊗LA C] ≃ Colimi∈I [K, K ⊗LA Ci ]A−Mod .
As the two elements Id and ∗ becomes equal in the colimit, there is an i such that
they are equal as elements in
[K, K ⊗LA Ci ]A−Mod ≃ [K ⊗LA Ci , K ⊗LA Ci ]Ci −Mod ,
showing that K ⊗LA Ci ≃ ∗ in Ho(Ci − M od).
−⊗A B −⊗A B
B − M od / Sp(B − M od)
SB
A − M od / Sp(A − M od).
1This makes sense as the functor Rh− is naturally defined on the level of the Dwyer-Kan
s
simplicial localizations with respect to equivalences
LSp(A − M od)op −→ L((A − M odop ∧
0 ) ).
1.2.11. STABLE MODULES 53
RhM
s
∗
and (S n )∗ (RhM ), where RhM is the value at M of the restricted Yoneda em-
bedding
op ∧
RhM
0 : Ho(A − M od) −→ Ho((A − M od0 ) ).
Indeed, let us write M as Ωn (SA (M )) for some object M ∈ Ho(A − M od), where
n
Ω is the loop functor of Sp(A − M od), iterated n times. Then, using our lemma
Lem. 1.2.11.2, for any N ∈ Ho(A − M od), we have natural isomorphisms in Ho(SSet)
Moreover, for any (−n)-connective objects M∗ and N∗ in Ho(Sp(A − M od)) one has
natural isomorphisms in Ho(SSet)
n n ∗ N n n ∗ M
−→ M ap(A−Modop
0 )
∧ (Ω (S ) (Rh0 ), Ω (S ) (Rh0 ).
n ∗ N n ∗ M
M ap(A−Modop ∧ ((S ) (Rh0 ), (S ) (Rh0 )) →
0 )
n n ∗ N n n ∗ M
−→ M ap(A−Modop
0 )
∧ (Ω (S ) (Rh0 ), Ω (S ) (Rh0 ) ≃
N M
≃ M ap(A−Modop ∧ (Rh0 , Rh0 ).
0 )
54 1.2. PRELIMINARIES ON LINEAR AND COMMUTATIVE ALGEBRA IN AN HA CONTEXT
Ho(A − M od) / Ho(csB∗ − M od)
commutes up to a natural isomorphism (here the vertical functors are the right adjoint
to the suspensions inclusion functors, and send a spectrum to its 0-th level). So, for
any M ∈ Sp(A − M od), the adjunction morphism
Z
M −→ (B∗ ⊗L M )
is easily seen to induces an isomorphism on the 0-th level objects in Ho(A − M od). As
this is true for any M , and in particular for the suspensions of M , we find that this
adjunction morphism induces isomorphisms on each n-th level objects in Ho(A−M od).
Therefore it is an isomorphism. In the same way, one proves that for any cartesian
object M∗ ∈ Ho(Sp(csB∗ − M od)) the adjunction morphism
Z
B∗ ⊗A (M∗ ) −→ M∗
is an isomorphism.
have presented before restrict essentially to the usual notions of algebraic geometry
with some remarkable caveats.
• For any morphism of commutative k-algebras A −→ B and any B-module
M , the simplicial set DerA (B, M ) is discrete and naturally isomorphic to
the set DerA (B, M ) of derivations from B to M over A. Equivalently, the
B-module LB/A (defined in Def. 1.2.1.5) is simply the usual B-module of
Kähler differentials Ω1B/A . Note that this LB/A is not the Quillen-Illusie
cotangent complex of A → B.
• For any morphism of commutative k-algebras A −→ B the natural morphism
B −→ T HH(B/A) is always an isomorphism. Indeed
T HH(A) ≃ A ⊗A⊗k A A ≃ A.
epimorphism monomorphism
f lat f lat
f ormal Zariski open immersion f lat monomorphism
Zariski open immersion open immersion
(f ormally) unramif ied (f ormally) unramif ied
f ormally thh − etale always satisf ied
f ormally i − smooth always satisf ied
thh − etale f initely presented
In this chapter, after a brief reminder of [HAGI], we present the key definition
of this work, the notion of n-geometric stack. The definition we present here is a
generalization of the original notion of geometric n-stack introduced by C. Simpson
in [S3]. As already remarked in [S3], the notion of n-geometric stack only depends on
a topology on the opposite category of commutative monoids Comm(C)op , and on a
class P of morphisms. Roughly speaking, geomeric stacks are the stacks obtained by
taking quotient of representable stacks by some equivalence relations in P. By choos-
ing different classes P one gets different notions of geometric stacks. For example, in
the classical situation where C = Z − M od, and the topology is chosen to be the étale
topology, Deligne-Mumford algebraic stacks correspond to the case where P is the
class of étale morphisms, whereas Artin algebraic stacks correspond to the case where
P is the class of smooth morphisms. We think it is important to leave the choice
of the class P open in the general definition, so that it can be specialized differently
depending of the kind of objects one is willing to consider.
From the second section on, we will fix a HA context (C, C0 , A), in the sense of
Def. 1.1.0.11.
we have that h preserves fibrant objects and weak equivalences between fibrant objects
([HAGI, Lem. 4.2.1]). Therefore we can right-derive h to get a functor Rh := h ◦ R :
Ho(M ) → Ho(M ∧ ), where R is a fibrant replacement functor in M ; Rh is in fact fully
faithful ([HAGI, Thm. 4.2.3]) and is therefore called the (model ) Yoneda embedding
for the model category M (Rh, as opposed to h, does not depend, up to a unique
isomorphism, on the choice of the cofibrant resolution functor Γ∗ ).
We also recall that the canonical morphism hx → Rhx is always an isomorphism
in Ho(M ∧ ) ([HAGI, Lem. 4.2.2]), and that with the notations introduced above for
the derived simplicial Hom’s in M ∧ , the model Yoneda lemma ([HAGI, Cor. 4.2.4])
is expressed by the isomorphisms in Ho(SSets)
RHom(Rhx , F ) ≃ RHom(hx , F ) ≃ F (x)
for any fibrant object F in M ∧ .
Given a model site (M, τ ) we have, as in [HAGI, Thm. 4.6.1], a model cate-
gory M ∼,τ (U-combinatorial and left proper) of stacks on the model site, which is
defined as the left Bousfield localization of the model category M ∧ of prestacks on M
along a class Hτ of homotopy τ -hypercovers ([HAGI, 4.4, 4.5]). To any prestack F
we can associate a sheaf π0 of connected components on the site (Ho(M ), τ ) defined
as the associated sheaf to the presheaf x 7−→ π0 (F (x)). In a similar way ([HAGI,
Def. 4.5.3]), for any i > 0, any fibrant object x ∈ M , and any s ∈ F (x)0 , we can
define a sheaf of homotopy groups πi (F, s) on the induced comma site (Ho(M/x), τ ).
The weak equivalences in M ∼,τ turn out to be exactly the π∗ -sheaves isomorphisms
([HAGI, Thm. 4.6.1]), i.e. those maps u : F → G in M ∧ inducing an isomorphism
of sheaves π0 (F ) ≃ π0 (G) on (Ho(M ), τ ), and isomorphisms πi (F, s) ≃ πi (G, u(s)) of
sheaves on (Ho(M/x), τ ) for any i ≥ 0, for any choice of fibrant x ∈ M and any base
point s ∈ F (x)0 .
The left Bousfield localization construction defining M ∼,τ yields a pair of adjoint
Quillen functors
Id : M ∧ −→ M ∼,τ M ∧ ←− M ∼,τ : Id
1.3.1. REMINDERS ON MODEL TOPOI 63
is an isomorphism in Ho(N ).
(2) The morphism
d0 × d1 : X2 −→ X1 ×hd0 ,X0 ,d0 X1
is an isomorphism in Ho(N ).
The homotopy category of Segal groupoid objects in N is the full subcategory of
op
Ho(N ∆ ) consisting of Segal groupoid objects. It is denoted by Ho(SeGpd(N )).
The main theorem characterizing model topoi is the following analog of Giraud’s
theorem.
Theorem 1.3.1.7. ([HAGI, Thm. 4.9.2]) A model category N is a model topos
if and only if it satisfies the following conditions.
(1) The model category N is U-combinatorial.
(2) For any U-small family of objects {xi }i∈I in N , and any i 6= j in I the
following square
∅ / xi
xj / `L xk
k∈I
is homotopy cartesian.
1.3.2. HOMOTOPICAL ALGEBRAIC GEOMETRY CONTEXT 65
(3) For any U-small category I, any morphism y → z and any I-diagram x :
I −→ N/z, the natural morphism
Hocolimi∈I (xi ×hz y) −→ (Hocolimi∈I xi ) ×hz y
is an isomorphism in Ho(N ).
(4) For any Segal groupoid object (in the sense of Def. 1.3.1.6)
X∗ : ∆op −→ N,
the natural morphism
X1 −→ X0 ×h|X∗ | X0
is an isomorphism in Ho(N ).
An important consequence is the following
Corollary 1.3.1.8. For any U-model topos N and any fibrant object x ∈ N , the
category Ho(N/x) is cartesian closed.
The exactness properties of model topoi will be frequently used all along this
work. For instance, we will often use that for any cover of stacks p : F −→ G (over
some model site (M, τ )), the natural morphism
|F∗ | −→ G
is an isomorphism of stacks, where F∗ is the homotopy nerve of p (i.e. the nerve of
a fibration equivalent to p, computed in the category of simplicial presheaves). This
result is also recalled in Lem. 1.3.4.3.
To ease the notation we will write St(C, τ ) for the homotopy category Ho(Af fC∼,τ )
of stacks.
66 1.3. GEOMETRIC STACKS: BASIC THEORY
We will assume the topology τ satisfies some conditions. In order to state them,
recall the category sAf fC of simplicial objects in Af fC is a simplicial model category
1.3.2. HOMOTOPICAL ALGEBRAIC GEOMETRY CONTEXT 67
for the Reedy model structure. Therefore, for any object X∗ ∈ sAf fC and any U-
RK
small simplicial set K we can define an object X∗ ∈ Ho(sAf fC ), by first taking a
RK
Reedy fibrant model for X∗ and then the exponential by K. The zero-th part of X∗
will be simply denoted by
X∗RK := (X∗RK )0 ∈ Ho(Af fC ).
We also refer the reader to [HAGI, §4.4] for more details and notations.
is an equivalence in Af fC∼,τ .
(2) Let H be the (V-small) set of augmented simplicial objects X∗ −→ Y in
Af fC such that for any n the one element family of morphisms
n
Xn −→ X∗R∂∆ ×hY R∂∆n Y
is a τ -covering family in Af fC . Then, the model category Af fC∼,τ is the left
Bousfield localization of Af fC∧ along the set of morphisms
a
|RhX∗ | −→ RhY RhUi −→ Rh` Li Ui
i
where X∗ → Y runs in H and {Ui } runs through the set of all finite families
of objects in Af fC .
68 1.3. GEOMETRIC STACKS: BASIC THEORY
Proof. (1) The case where the set of indices I is empty follows from our as-
sumption 1.3.2.2 (2) with I empty, as it states that the empty family covers the
initial object on Af fC .
Let us assume that the set of indices is not empty. By induction, it is clearly
enough to treat the case where the finite family consists of two objects X and Y . Our
assumption 1.3.2.2 (2) then implies that the natural morphism
a
p : RhX RhY −→ RhX ` L Y
is a covering. Therefore, RhX ` L Y is naturally equivalent to the homotopy colimit of
the homotopy nerve of the morphism p. Using this remark we see that it is enough
to prove that
RhX ×hRh ` L RhY ≃ ∅,
X Y
as then
` the homotopy nerve of p will be a constant simplicial object with values
RhX RhY . As the functor Rh commutes with homotopy pullbacks, it is therefore
enough to check that
A ⊗LA×h B B ≃ 0,
for A and B two commutative monoids in C such that X = Spec A and Y = Spec B
(here 0 is the final object in Comm(C)). For this we can of course suppose that A
and B are fibrant objects in C.
We define a functor
F : A × B − Comm(C) −→ A − Comm(C) × B − Comm(C)
by the formula
F (C) := (C ⊗A×B A, C ⊗A×B B).
The functor F is left Quillen for the product model structures on the right hand side,
and its right adjoint is given by G(C, D) := C × D for any (C, D) ∈ A − Comm(C) ×
B − Comm(C). For any C ∈ A × B − Comm(C), one has
C ≃ C ⊗LA×B (A × B) ≃ C ⊗LA×B A × C ⊗LA×B B ,
because of our assumptions 1.1.0.1 and 1.1.0.4, which implies that the adjunction
morphism
C −→ RG(LF (C))
is an isomorphism in Ho(A × B − Comm(C)). As the functor G reflects equivalences
(because of our assumption 1.1.0.1) this implies that F and G form a Quillen equiv-
alence. Therefore, the functor RG commutes with homotopy push outs, and we have
aL
A ⊗LA×B B ≃ RG(A, 0) ⊗LRG(A,B) RG(0, B) ≃ RG (A, 0) (0, B) ≃ RG(0) ≃ 0.
(A,B)
(2) We know by [HAGI] that Af fC∼,τ is the left Bousfield localization of Af fC∧
along the set of morphisms |F∗ | −→ hX , where F∗ −→ hX runs in a certain V-small set
of τ -hypercovers. Recall that for each hypercover F∗ −→ hX in this set, each simplicial
presheaf Fn is a coproduct of some hU . Using the quasi-compactness assumption
1.3.2.2 (1) one sees immediately that one can furthermore assume that each Fn is a
finite coproduct of some hU . Finally, using the part (1) of the present lemma we see
that the descent condition of [HAGI] can be stated as two distinct conditions, one
concerning finite coproducts and the other one concerning representable hypercovers.
From this we deduce part (2) of the lemma.
Lemma 1.3.2.3 (2) can be reformulated as follows.
1.3.2. HOMOTOPICAL ALGEBRAIC GEOMETRY CONTEXT 69
is an isomorphism in Ho(SSet).
• For any co-simplicial commutative A-algebra A −→ B∗ , corresponding to a
τ -hypercover
Spec B∗ −→ Spec A
in Af fC , the induced morphism
F (A) −→ Holim[n]∈∆F (Bn )
is an isomorphism in Ho(SSet).
Another important consequence of lemma 1.3.2.3 is the following.
Corollary 1.3.2.5. The model pre-topology τ on Af fC is sub-canonical in the
sense of Def. 1.3.1.3.
Proof. We need to show that for any Z ∈ Af fC the object G := RhZ is a stack,
or in other words is a local object in Af fC∼,τ . For this, we use our lemma 1.3.2.3
(2). The descent property for finite coproducts is obviously satisfied because of the
Yoneda lemma. Let X∗ −→ Y be a simplicial object in Af fC such that
RhX∗ −→ RhY
is a τ -hypercover. By lemma 1.2.12.3 the natural morphism
Hocolimn Xn −→ Y
is an isomorphism in Ho(Af fC ). Therefore, the Yoneda lemma implies that one has
RHom(hY , G) ≃ M ap(Y, Z) ≃ Holimn M ap(Xn , Z) ≃ Holimn RHom(F∗ , G),
showing that G is a stack.
The corollary 1.3.2.5 implies that Rh provides a fully faithful functor
Rh : Ho(Af fC ) −→ St(C, τ ).
Objects in the essential image of Rh will be called representable objects. If such an
object corresponds to a commutative monoid A ∈ Ho(Comm(C)), it will also be
denoted by RSpec A ∈ St(C, τ ). In formula
RSpec A := RhSpec A ,
for any A ∈ Comm(C) corresponding to Spec A ∈ Af fC . As Rh commutes with U-
small homotopy limits, we see that the subcategory of representable stacks is stable
by U-small homotopy limits. The reader should be careful that a V-small homotopy
limit of representable stacks is not representable in general. Lemma 1.3.2.3 (1) also
implies that a finite coproduct of representable stacks is a representable stack, and
we have a
RhUi ≃ Rh` L Ui .
i
i
70 1.3. GEOMETRIC STACKS: BASIC THEORY
is a conservative functor.
We also recall the Yoneda lemma for stacks, stating that for any A ∈ Comm(C),
and any fibrant object F ∈ Af fC∼,τ , there is a natural equivalence of simplicial sets
RHom(RSpec A, F ) ≃ Rτ Hom(RSpec A, F ) ≃ F (A).
1.3.2. HOMOTOPICAL ALGEBRAIC GEOMETRY CONTEXT 71
For an object F ∈ St(C, τ ), and A ∈ Comm(C) we will use the following notation
RF (A) := Rτ Hom(RSpec A, F ).
Note that RF (A) ≃ RF (A), where R is a fibrant replacement functor on Af fC∼,τ .
Note that there is always a natural morphism F (A) −→ RF (A), which is an equiva-
lence precisely when F is a stack.
F∗ / hU
∗
` `
K ∂∆n+1 ∂∆n+1 /
K ∆n+1 ∆n+1 .
Using this, and the fact that K 7→ F∗K sends homotopy push outs to homotopy
pullbacks when F∗ is fibrant, we see that for any fibrant object F∗ ∈ sAf fC∼,τ , and
any n, we have a homotopy pullback diagram in sAf fC∼,τ
RCoskn (F∗ ) / RCoskn−1 (F∗ )
O O
An∗ / B∗n .
Here, An∗ and B∗n are defined by the following formulas
An∗ : ∆op −→ Af fC∼,τ
Q ∆n+1
[p] 7→ (∆p )∆n+1 F∗
n+1
In the same way, F∗∂∆ can be written as a finite homotopy limit of Fi ’s, and
therefore is a representable stack. Let Yn+1 be a fibrant object in Af fC such that
n+1
F∗∂∆ is equivalent to hYn+1 . Then, B∗n is equivalent to the image by h of the
simplicial object
Y
[p] 7→ Yn+1 .
(∆p )∂∆n+1
F (Y ) / h (Y ).
X
In the same way, the Yoneda lemma for Af fC implies that there exists a fibration
sequence
M apAf fC∼,τ /hX (hY , hZ ) / M apAf fC (Y, Z) / M apAf fC (Z, X).
This two fibration sequences implies that the forgetful functor induces equivalences
of simplicial sets
M apAf fC /X ∼,τ (hY , hZ ) ≃ M apAf fC∼,τ /hX (Y, Z).
In other words, the functor
Ho(Af fC /X ∼,τ ) −→ Ho(Af fC∼,τ /hX )
is fully faithful when restricted to the full subcategory of representable stacks. But,
any object in Ho(Af fC /X ∼,τ ) is a homotopy colimit of representable stacks. Fur-
thermore, as the derived pullback
Ho(Af fC∼,τ /hX ) −→ Ho(Af fC∼,τ /hX )
commutes with homotopy colimits (as homotopy pullbacks of simplicial sets do), this
implies that the functor
Ho(Af fC /X ∼,τ ) −→ Ho(Af fC∼,τ /hX )
is fully faithful on the whole category.
The important consequence of Prop. 1.3.2.10 comes from the fact that it allows
to see objects in Ho(Af fC∼,τ /hX ) as functors
A − Comm(C) −→ SSet.
This last fact will be used implicitly in the sequel of this work.
1.3.2. HOMOTOPICAL ALGEBRAIC GEOMETRY CONTEXT 75
From now, and all along this section, we fix a class P of morphism in Af fC , that
is stable by equivalences. As the Yoneda functor
Rh : Ho(Af fC )op −→ St(C, τ )
is fully faithful we can extend the notion of morphisms belonging to P to its essential
image. So, a morphism of representable objects in Ho(SP r(Af fC∼,τ )) is in P if by
definition it correspond to a morphism in Ho(Af fC ) which is in P. We will make
the following assumtions on morphisms of P with respect to the topology τ , making
“being in P” into a τ -local property.
Assumption 1.3.2.11. (1) Covering families consist of morphisms in P i.e.
for any τ -covering family {Ui −→ X}i∈I in Af fC , the morphism Ui −→ X
is in P for all i ∈ I.
(2) Morphisms in P are stable by compositions, equivalences and homotopy pull-
backs.
(3) Let f : X −→ Y be a morphism in Af fC . If there exists a τ -covering family
{Ui −→ X}
such that each composite morphism Ui −→ Y lies in P, then f belongs to
P.
(4) For any two objects X and Y in Af fC , the two natural morphisms
L
a L
a
X −→ X Y Y −→ X Y
are in P.
The reader will notice that assumptions 1.3.2.2 and 1.3.2.11 together imply the
following useful fact.
Lemma 1.3.2.12. Let {Xi −→ X} be a finite family of morphisms in P. The total
morphism
L
a
Xi −→ X
i
is also in P.
Proof. We consider the family of natural morphisms
L
a
{Xj −→ Xi } j .
i
Now let n ≥ 0.
(1) Let F be any stack. An n-atlas for F is a U-small family of morphisms
{Ui −→ F }i∈I such that
(a) Each Ui is representable.
(b) Each morphism Ui −→ F is in (n − 1)-P.
1.3.3. MAIN DEFINITIONS AND STANDARD PROPERTIES 77
is an epimorphism.
(2) A stack F is n-geometric if it satisfies the following two conditions.
(a) The diagonal morphism F −→ F ×h F is (n − 1)-representable.
(b) The stack F admits an n-atlas.
(3) A morphism of stacks F −→ G is n-representable if for any representable
stack X and any morphism X −→ G, the homotopy pullback F ×hG X is
n-geometric.
(4) A morphism of stacks F −→ G is in n-P (or has the property n-P, or is
a n-P-morphism) if it is n-representable and if for any representable stack
X, any morphism X −→ G, there exists an n-atlas {Ui } of F ×hG X, such
that each composite morphism Ui −→ X is in P.
Remark 1.3.3.2. In the above definition, condition (2a) follows from condition
(2b). This is not immediate now but will be an easy consequence of the description
of geometric stacks as quotients by groupoids given in the next section. We prefer to
keep the definition of n-geometric stacks with the two conditions (2a) and (2b) as it
is very similar to the usual definition of algebraic stacks found in the literature (e.g.
in [La-Mo]).
The next Proposition gives the fundamental properties of geometric n-stacks.
Proposition 1.3.3.3.
(1) Any (n − 1)-representable morphism is n-representable.
(2) Any (n − 1)-P-morphism is a n-P-morphism.
(3) n-representable morphisms are stable by isomorphisms, homotopy pullbacks
and compositions.
(4) n-P-morphisms are stable by isomorphisms, homotopy pullbacks and com-
positions.
Proof. We use a big induction on n. All the assertions are easily verified for
n = −1 using our assumptions 1.3.2.11 on the morphisms in P. So, we fix an integer
n ≥ 0 and suppose that all the assertions are true for any m < n; let’s prove that
they all remain true at the level n.
Let {Ui } be an n-atlas of G, and let Fi := F ×hG Ui . The stacks Fi are n-geometric,
so we can find an n-atlas {Vi,j }j for Fi , for any i. By induction hypothesis (telling
us in particular that (n − 1)-P-morphisms are closed under composition) we see that
the family of morphisms {Vi,j −→ F } is an n-atlas for F . It remains to show that
the diagonal of F is (n − 1)-representable.
There is a homotopy cartesian square
F ×hG F / F ×h F
G / G ×h G.
X / X ×h X
satisfies the conditions of the proposition 1.3.3.4 for the rank (n − 1). Indeed, for any
i we have
(Z ×hF ×h F F ) ×hX Ui ≃ (Z ×hX Ui ) ×hFi ×h Fi Fi .
X Ui
Therefore, using the induction hypothesis we deduce that the stack Z ×hF ×h F F is
X
(n − 1)-geometric, proving that F −→ F ×hX F is (n − 1)-representable.
The last part of the proposition follows from the fact that any n-atlas {Vi,j } of
Fi is such that each morphism Vi,j −→ X is in n-P by construction.
Corollary 1.3.3.5. The full subcategory of n-geometric stacks in St(C, τ ) is
stable by homotopy pullbacks, and by U-small disjoint union if n ≥ 0.
Proof. Let F /H o G be a diagram of stacks. There are two homo-
topy cartesian squares
F ×h G /G F ×hH G /H
F /• F ×h G / H ×h H,
showing that the stability under homotopy pullbacks follows from the stability of
n-representable morphisms under compositions and homotopy pullbacks.
` corollary, concerning U-small disjoint union.
Let us prove the second part of the
Suppose now tha n ≥ 0 and let F be i Fi with each Fi an n-geometric stack. Then,
we have a
F ×h F ≃ Fi ×h Fj .
i,j
For any representable stack X, and any morphism X −→ F ×h F , there exists a
0-atlas {Uk } of X, and commutative diagrams of stacks
Uk / Fi(k) ×h Fj(k)
`
X /
i,j Fi ×h Fj .
We apply Prop. 1.3.3.4 to the morphism
G := F ×hF ×h F X −→ X
and for the covering {Uk }. We have
G ×hX Uk ≃ ∅ if i(k) 6= j(k)
and
G ×hX Uk ≃ Fi(k) ×hFi(k) ×h Fi(k) Uk
80 1.3. GEOMETRIC STACKS: BASIC THEORY
otherwise. Prop. 1.3.3.4 implies that G is (n − 1)-geometric, and therefore that the
diagonal of F is (n − 1)-representable. Finally, the same argument and assumption
1.3.2.11 show that the disjoint union of n-atlases of the Fi ’s will form an n-atlas for
F.
Finally, let us mention the following important additional property.
Proposition 1.3.3.6. Let f : F −→ G be an n-representable morphism. If f is
in m-P for m > n then it is in n-P.
Proof. By induction on m it is enough to treat the case m = n + 1. The proof
goes then by induction on n. For n = −1 this is our assumption 1.3.2.11 (3). For
n ≥ 0 we can by definition assume G is a representable stack and therefore that F is
n-geometric. Then, there exists an (n + 1)-atlas {Ui } for F such that each Ui −→ G
is in P. By induction, {Ui } is also an n-atlas for F , which implies that the morphism
f is in fact in P.
The last proposition implies in particular that for an n-representable morphism
of stacks the property of being in n-P does not depend on n. We will therefore give
the following definition.
Definition 1.3.3.7. A morphism in St(C, τ ) is in P if it is in n-P for some
integer n.
(1) ⇒ (2) Let F be an n-geometric stack, and {Ui } be an n-atlas for F . We let
a
p : X0 := Ui −→ F
i
(3) ⇒ (1) Let X∗ be an (n − 1)-P Segal groupoid and F = |X∗ |. First of all, we
recall the following important fact.
Lemma 1.3.4.4. Let M be a U-model topos, and X∗ be a Segal groupoid object in
M with homotopy colimit |X∗ |. Then, for any n > 0, the natural morphism
Xn −→ X0 ×h|X∗ | X0 ×h|X∗ | · · · ×h|X∗ | X0
| {z }
n times
is an isomorphism in Ho(M ).
Proof. This is one of the standard properties of model topoi. See Thm. 1.3.1.7.
Let {Ui } be an (n − 1)-atlas for X0 , and let us consider the composed morphisms
fi : Ui −→ X0 −→ F.
`
Clearly, i Ui −→ F is a composition of epimorphism, and is therefore a epimorphism.
In order to prove that {Ui } form an n-atlas for F it is enough to prove that the
morphism X0 −→ F is in (n − 1)-P.
Let X be any representable stack, X −→ F be a morphism, and let G be X0 ×hF X.
As the morphism X0 −→ F is an epimorphism, we can find a covering family {Zj −→
X}, such that each Zj is representable, and such that there exists a commutative
diagram in St(C, τ )
X0Z4 /F
44 O
44
44
44
44 XO
44
44
`
j Zj .
We let M be a general U-model topos in the sense of Def. 1.3.1.5. The main case
of application will be M = Af fC∼,τ but we rather prefer to state the results in the
most general setting (in particular we do not even assume that M is t-complete).
Let X∗ be a Segal groupoid object in M in the sense of Def. 1.3.1.6, and we
assume that each Xn is a fibrant object in M . We will consider sM , the category
of simplicial objects in M , which will be endowed with its levelwise projective model
structure, for which fibrations and equivalences are defined levelwise. We consider
sM/X∗ , the model category of simplicial objects over X∗ . Finally, we let Z be a
fibrant object in M , and X∗ −→ Z be a morphism in sM (where Z is considered as
a constant simplicial object), and we assume that the induced morphism
|X∗ | −→ Z
is an isomorphism in Ho(M ).
We define a Quillen adjunction
ψ(Y ) := Y ×Z X∗ ∈ sM,
Rψ : Ho(M/Z) −→ Ho(sM/X∗ )
84 1.3. GEOMETRIC STACKS: BASIC THEORY
is fully faithful. Its essential image consists of all Y∗ −→ X∗ such that for any
morphism [n] → [m] in ∆ the square
Ym / Yn
Xm / Xn
is homotopy cartesian.
Proof. Let Y → Z in M/Z. Proving that Rψ is fully faithful is equivalent to
prove that the natural morphism
|Y ×hZ X∗ | −→ Y
is an isomorphism in Ho(M ). But, using the standard properties of model topoi (see
Thm. 1.3.1.7), we have
|Y ×hZ X∗ | ≃ Y ×hZ |X∗ | ≃ Y
as |X∗ | ≃ Z. This shows that Rψ is fully faithful.
By definition of the functors φ and ψ, it is clear that Rψ takes its values in the
subcategory described in the statement of the proposition. Conversely, let Y∗ −→ X∗
be an object in Ho(M ) satisfying the condition of the proposition. As X∗ is a Segal
groupoid object, we know that X∗ is naturally equivalent to the homotopy nerve of
the augmentation morphism X0 −→ Z (see Thm. 1.3.1.7). Therefore, the object
RψLφ(Y∗ ) is by definition the homotopy nerve of the morphism
|Y∗ | ×hZ X0 −→ |Y∗ |.
But, we have
|Y∗ | ×hZ X0 ≃ |Y∗ ×hZ X0 | ≃ Y0
by hypothesis on Y∗ . Therefore, the object RψLφ(Y∗ ) is naturally isomorphic in
Ho(sM/X∗ ) to the homotopy nerve of the natural
Y0 −→ |Y∗ |.
Finally, as X∗ is a Segal groupoid object, so is Y∗ by assumption. The standard
properties of model topoi (see Thm. 1.3.1.7) then tell us that Y∗ is naturally equivalent
to the homotopy nerve of Y0 −→ |Y∗ |, and thus to RψLφ(Y∗ ) by what we have just
done.
The model category sM/X∗ , or rather its full subcategory of objects satisfying
the conditions of Prop. 1.3.5.1, can be seen as the category of objects in M together
with an action of the Segal groupoid X∗ . Proposition 1.3.5.1 therefore says that the
homotopy theory of stacks over |X∗ | is equivalent to the homotopy theory of stacks
together with an action of X∗ . This point of view will now help us to describe the
stack associated to |X∗ |.
For this, let F be a fixed fibrant object in M . We define a new model category
sM/(X∗ , F ) in the following way. Its objects are pairs (Y∗ , f ), where Y∗ → X∗ is
an object in sM/X∗ and f : Colimn Yn −→ F is a morphism in M . Morphisms
(Y∗ , f ) → (Y∗′ , f ′ ) are given by morphisms Y∗ −→ Y∗′ in sM/X∗ , such that
ColimnIYn / Colimn Yn′
II u
II uu
II uuu
f III uu ′
$ uz u f
F
1.3.5. QUOTIENT STACKS AND TORSORS 85
Xm / Xn
is homotopy cartesian.
(2) The natural morphism
|Y∗ | −→ F
is an isomorphism in Ho(M ).
The space of X∗ -torsors over F , denoted by T orsX∗ (F ), is the nerve of the sub category
of fibrant objects sM/(X∗ , F )f , consisting of equivalences between X∗ -torsors on F .
Suppose that f : F −→ F ′ is a morphism between fibrant objects in M . We get
a pullback functor
sM/(X∗ , F ′ ) −→ sM/(X∗ , F ),
which is right Quillen, and such that the induced functor on fibrant objects
sM/(X∗ , F ′ )f −→ sM/(X∗ , F )f
sends X∗ -torsors over F to X∗ -torsors over F ′ (this uses the commutation of homotopy
colimits with homotopy pullbacks). Therefore, restricting to the sub categories of
equivalences, we get a well defined morphism between spaces of torsors
f ∗ : T orsX∗ (F ′ ) −→ T orsX∗ (F ).
By applying the standard strictification procedure, we can always suppose that (f ◦
g)∗ = g ∗ ◦f ∗ . This clearly defines a functor from (M f )op , the opposite full subcategory
of fibrant objects in M f , to SSet
T orsX∗ : (M f )op −→ SSet.
This functor sends equivalences in M f to equivalences of simplicial sets, and therefore
induces a Ho(SSet)-enriched functor (using for example [D-K1])
T orsX∗ : Ho(M f )op ≃ Ho(M )op −→ Ho(SSet).
In other words, there are natural morphisms in Ho(SSet)
M apM (F, F ′ ) −→ M apSSet (T orsX∗ (F ′ ), T orsX∗ (F )),
compatible with compositions.
The main classification result is the following. It gives a way to describe the stack
associated to |X∗ | for some Segal groupoid object X∗ in M .
Proposition 1.3.5.3. Let X∗ be a Segal groupoid object in M and Z be a fibrant
model for |X∗ | in M . Then, there exists an element α ∈ π0 (T orsX∗ (Z)), such that
for any fibrant object F ∈ M , the evaluation at α
α∗ : M apM (F, Z) −→ T orsX∗ (F )
is an isomorphism in Ho(SSet).
86 1.3. GEOMETRIC STACKS: BASIC THEORY
where (sM/X∗ )fW )cart is the subcategory of sM/X∗ consisting of equivalence between
fibrant objects satisfying condition (1) of Def. 1.3.5.2, and where the morphism on
the right is induced my the homotopy colimit functor of underlying simplicial objects
and the fiber is taken at F . There exists a morphism of homotopy fiber sequences of
simplicial sets
M apM (F, Z) / N ((M/Z)f ) / N (M f )
W W
α∗ Id
T orsX∗ (F ) / N (((sM/X∗ )f )cart ) / N (M f )
W W
and the arrow in the middle is an equivalence because of our proposition 1.3.5.1.
For a class of morphism Q, compatible with τ and P in the sense above we can
make the following definition.
Definition 1.3.6.2. Let Q be a class of morphisms in Af fC , stable by equiva-
lences, homotopy pullbacks and compositions, and which is compatible with τ and P
in the sense above. A morphism of stacks f : F −→ G is in Q (or equivalently is a
Q-morphism) if it is n-representable for some n, and if for any representable stack X
and any morphism X −→ G there exists an n-atlas {Ui } of F ×hG X such that each
morphism Ui −→ X between representable stacks is in Q.
Clearly, because of our definition 1.3.6.1, the notion of morphism in Q of definition
1.3.6.2 is compatible with the original notion. Furthermore, it is easy to check, as it
was done for P-morphisms, the following proposition.
Proposition 1.3.6.3. (1) Morphisms in Q are stable by equivalences, com-
positions and homotopy pullbacks.
(2) Let f : F −→ G be any morphism between n-geometric stacks. We suppose
that there exists a n-atlas {Ui } of G such that each projection F ×hX Ui −→ Ui
is in Q. Then f is in Q.
Proof. Exercise.
We can also make the following two general definitions of morphisms of stacks.
Definition 1.3.6.4. Let f : F −→ G be a morphism of stacks.
(1) The morphism is categorically locally finitely presented if for any repre-
sentable stack X = RSpec A, any morphism X −→ G, and any U-small
filtered system of commutative A-algebras {Bi }, the natural morphism
Hocolimi MapAf fC∼,τ /X (RSpec Bi , F ×hG X) −→ MapAf fC∼,τ /X (RSpec (Hocolimi Bi ), F ×hG X)
is an isomorphism in Ho(SSet).
(2) The morphism f is quasi-compact if for any representable stack X and any
morphism X −→ G there exists a finite family of representable stacks {Xi }
and an epimorphism
a
Xi −→ F ×hG X.
i
fB ⊗B B ′ fB ′
(MB′ ) ⊗B B ′ / M′ ′
B
α′u
commutes. As the categories A − M od and Comm(C) are all V-small, so are the
categories A − QCoh.
There exists a natural projection A − QCoh −→ A − M od, sending (M, α) to
MA , and it is straightforward to check that it is an equivalence of categories. In
particular, the model structure on A−M od will be transported naturally on A−QCoh
through this equivalence. Fibrations (resp. equivalences) in A − QCoh are simply the
morphisms f : (M, α) −→ (M ′ , α′ ) such that fA : MA −→ MA′ is a fibration (resp.
an equivalence).
Let now f : A −→ A′ be a morphism of commutative monoids in C. There exists
a pullback functor
f ∗ : A − QCoh −→ A′ − QCoh
defined by f ∗ (M, α)B := MB for any B ∈ A − Comm(C), and for u : B −→ B ′ in
A − Comm(C) the transition morphism
f ∗ (M, α)B ⊗B B ′ = MB ⊗B B ′ −→ f ∗ (M, α)B ′ = MB ′
1.3.7. QUASI-COHERENT MODULES, PERFECT MODULES AND VECTOR BUNDLES 89
A − M od / A′ − M od
∗
f
is an equivalence. It only remains to show that QCoh has the descent property with
respect to hypercovers of the type described in lemma 1.3.2.3 (2). But this is nothing
else than our assumption 1.3.2.2 (3) together with Cor. B.0.8.
QCoh(A) / π0 QCoh(A) ≃ Iso(Ho(A − M od))
where Ho(A − M od)perf is the full subcategory of Ho(A − M od) consisting of perfect
A-modules in the sense of Def. 1.2.3.6.
We say that an A-module M ∈ Ho(A − M od) is a rank n vector bundle, if there
exists a covering family A −→ A′ such that M ⊗LA A′ is isomorphic in Ho(A′ −
M od) to (A′ )n . As we have defined the sub simplicial set Perf (A) of QCoh(A) we
define Vectn (A) to be the sub simplicial set of QCoh(A) consisting of connected
components corresponding to rank n vector bundles.
For any morphism of commutative monoids u : A −→ A′ , the base change functor
Lu∗ : Ho(A − M od) −→ Ho(A′ − M od)
preserves perfect modules as well as rank n vector bundles. Therefore, the sub sim-
plicial sets Vectn (A) and Perf form in fact full sub simplicial presheaves
Vectn ⊂ QCoh Perf ⊂ QCoh.
The simplicial presheaves Vectn and Perf then define objects in Af fC∼,τ .
Corollary 1.3.7.4. The simplicial presheaves Perf and Vectn are stacks.
1.3.7. QUASI-COHERENT MODULES, PERFECT MODULES AND VECTOR BUNDLES 91
Proof. Indeed, as they are full sub-simplicial presheaves of the stack QCoh, it
is clearly enough to show that being a perfect module and being a vector bundle or
rank n is a local condition for the topology τ . For vector bundles this is obvious from
the definition.
Let A ∈ Comm(C) be a commutative monoid, and P be an A-module, such
that there exists a τ -covering A −→ B such that P ⊗LA B is a perfect B-module.
Assume that A → B is a cofibration, and let B∗ be its co-nerve, considered as a co-
simplicial object in A − Comm(C). Let Q be any A-module, and define two objects
in Ho(csB∗ − M od) by
RHomA (P, Q)∗ := RHomA (P, Q) ⊗LA B∗
RHomA (P, Q∗ ) := RHomA (P, Q ⊗LA B∗ ).
There is a natural morphism
RHomA (P, Q)∗ −→ RHomA (P, Q∗ ).
These co-simplicial objects are both cartesian, and by assumption 1.3.2.2 (3) applied
to the A-modules Q and RHomA (P, Q) the induced morphism in Ho(A − M od)
Z
RHomA (P, Q)∗ ≃ RHomA (P, Q) ≃
Z
≃ Holimn∈∆RHomA (P, Q ⊗LA Bn ) ≃ RHomA (P, Q ⊗LA B∗ )
is an isomorphism. Therefore, assumption 1.3.2.2 (3) implies that the natural mor-
phism
RHomA (P, Q)0 −→ RHomA (P, Q0 )
is an isomorphism. By definition this implies that
RHomA (P, Q) ⊗LA B −→ RHomA (P, Q ⊗LA B)
is an isomorphism in Ho(A − M od). In particular, when Q = A we find that the
natural morphism
P ∨ ⊗LA B −→ RHomB (P ⊗LA B, B)
is an isomorphism in Ho(B − M od). As P ⊗LA B is by assumption a perfect B-module,
we find that the natural morphism
P ∨ ⊗LA Q −→ RHom(P, Q)
becomes an isomorphism after base changing to B, and this for any A-module Q. As
A −→ B is a τ -covering, we see that this implies that
P ∨ ⊗LA Q −→ RHom(P, Q)
is always an isomorphism in Ho(A − M od), for any Q, and thus that P is a perfect
A-module.
Definition 1.3.7.5. The stack of vector bundles of rank n is Vectn . The stack
of perfect modules is Perf .
The same construction can also been done in the stable context. For a commu-
tative monoid A in C, we define a category A − QCohSp , of stable quasi-coherent
modules on A (or equivalently on Spec A) in the following way. Its objects are the
data of a stable B-module MB ∈ Sp(B − M od) for any commutative A-algebra
B ∈ A − Comm(C), together with an isomorphism
αu : MB ⊗B C −→ MB ′
92 1.3. GEOMETRIC STACKS: BASIC THEORY
fB ⊗B B ′ fB ′
(MB′ ) ⊗B B ′ / M′ ′
B
α′u
commutes. As the categories Sp(A − M od) and Comm(C) are all V-small, so are the
categories A − QCohSp .
There exists a natural projection A − QCohSp −→ Sp(A − M od), sending (M, α)
to MA , and it is straightforward to check that it is an equivalence of categories. In
particular, the model structure on Sp(A − M od) will be transported naturally on
A − QCohSp through this equivalence.
Let now f : A −→ A′ be a morphism of commutative monoids in C. There exists
a pullback functor
f ∗ : A − QCohSp −→ A′ − QCohSp
defined by f (M, α)B := MB for any B ∈ A − Comm(C), and for u : B −→ B ′ in
A − Comm(C) the transition morphism
f (M, α)B ⊗B B ′ = MB ⊗B B ′ −→ f (M, α)B ′ = MB ′
is given by αu . By definition of the model structure on A − QCohSp , the functor
f ∗ : A − QCohSp −→ A′ − QCohSp
is clearly a left Quillen functor. Furthermore, for any pair of morphisms
f g
A / A′ / A′′
where M ap′C (1n , An ) is the sub simplicial set of the mapping space M apC (1n , An )
consisting of all connected components corresponding to automorphisms in
π0 M apC (1n , An ) ≃ π0 M apA−Mod (An , An ) ≃ [An , An ]A−Mod .
The important fact concerning the stack Ω∗ Vectn is the following result.
Proposition 1.3.7.10. (1) The stack Ω∗ Vectn is representable and the mor-
phism Ω∗ Vectn −→ ∗ is formally smooth.
(2) If Moreover 1 is finitely presented in C, then the morphism Ω∗ Vectn −→ ∗
is finitely presented (and thus smooth by (1)).
Proof. (1) We start by defining a larger stack Mn , of n by n matrices. We set
Mn : Comm(C) −→ SSet
A 7→ M apC (1n , An ).
This stack is representable, as it is isomorphic in St(C, τ ) to RSpec B, where
2 2
B = LF (1n ) is the free commutative monoid generated by the object 1n ∈ C. We
claim that the natural inclusion morphism
Ω∗ Vectn −→ Mn
is (−1)-representable and a formally étale morphism. Indeed, let A be any commu-
tative monoid,
x : X := RSpec A −→ Mn
be a morphism of stacks, and let us consider the stack
F := Ω∗ Vectn ×hMn X −→ X.
The point x corresponds via the Yoneda lemma to a morphism u : An −→ An in
Ho(A − M od). Now, for any commutative monoid A′ , the natural morphism
RF (A′ ) −→ (RSpec A)(A′ )
identifies RF (A′ ) with the sub simplicial set of (RSpec A)(A′ ) ≃ M apComm(C)(A, A′ )
consisting of all connected components corresponding to morphisms A −→ A′ in
Ho(Comm(C)) such that
u ⊗LA A′ : (A′ )n −→ (A′ )n
is an isomorphism in Ho(A′ − M od). Considering u as an element of [An , An ] ≃
Mn (π0 (A)), we can consider its determinant d(u) ∈ π0 (A). Then, using notations
from Def. 1.2.9.2, we clearly have an isomorphism of stacks
F ≃ RSpec (A[d(u)−1 ]).
By Prop. 1.2.9.5 this shows that the morphism
F −→ RSpec A
is a formally étale morphism between representable stacks. As Mn is representable
this implies that Ω∗ Vectn is a representable stack and that the morphism
Ω∗ Vectn −→ Mn
is formally étale (it is also a flat monomorphism by 1.2.9.4).
2
Moreover, we have Mn ≃ RSpec B, where B := LF (1n ) is the derived free
2
commutative monoid over 1n . This implies that LB is a free B-module of rank n2 ,
and therefore that the morphism 1 −→ B is formally smooth in the sense of Def.
1.2.7.1. By composition, we find that Ω∗ Vectn −→ ∗ is a formally smooth morphism
as required.
1.3.7. QUASI-COHERENT MODULES, PERFECT MODULES AND VECTOR BUNDLES 95
2
(2) This follows from (1), Prop. 1.2.9.4 (2) and the fact that B = LF (1n ) is a
finitely presented object in Comm(C).
Definition 1.3.7.11. (1) The stack Ω∗ Vectn is denoted by Gln , and is
called the linear group stack of rank n. The stack Gl1 is denoted by Gm ,
and is called the multiplicative group stack.
(2) The stack Mn defined during the proof of 1.3.7.10 (1) is called the stack of
n × n matrices. The stack M1 is denoted by Ga , and is called the additive
group stack.
Being a stack of loops, the stack Gln = Ω∗ Vectn has a natural group structure,
encoded in the fact that it is the X1 of a Segal groupoid object X∗ with X0 = ∗.
Symbolically, we will simply write
BGln := |X∗ |.
Our conclusion is that the stack Vectn can be written as BGln , where Gln is a
formally smooth representable group stack. Furthermore this group stack is smooth
when the unit 1 is finitely presented. As a corollary we get the following geometricity
result on Vectn .
Corollary 1.3.7.12. Assume that the unit 1 is a finitely presented object in
C. Assume that all smooth morphisms in Comm(C) belong to P. Then, the stack
Vectn is 1-geometric, the morphism Vectn −→ ∗ is in P and finitely presented, and
furthermore its diagonal is a (−1)-representable morphism.
Proof. The 1-geometricity statement is a consequence of Prop. 1.3.4.2 and the
fact that the natural morphism ∗ −→ Vectn is a 1-P-atlas. That ∗ is a 1-P-atlas also
implies that Vectn −→ ∗ is in P and finitely presented. The statement concerning
the diagonal follows from the fact that Gln is a representable stack and the locality
of representable objects Prop. 1.3.2.8.
We finish with an analogous situation for perfect modules. We let K be a perfect
object in C, and we define a stack REnd(K) in the following way. We chose a cofibrant
replacement QK of K, and Γ∗ a simplicial resolution functor on C. One sets
REnd(K) : Comm(C) −→ SSetV
A 7→ Hom(QK, Γ∗ (QK ⊗ A)).
Note that for any A the simplicial set REnd(K)(A) is naturally equivalent to
M apA−Mod (K ⊗L A, K ⊗L A).
Lemma 1.3.7.13. The simplicial presheaf REnd(K)(A) ∈ Af fC∼,τ is a stack. It
is furthermore representable.
Proof. This is clear as K being perfect one sees that there exists an isomorphism
in Ho(SP r(Af fC ))
REnd(K) ≃ RSpec B,
where B := LF (K ⊗L K ∨ ) is the derived free commutative monoid on the object
K ⊗L K ∨ .
We now define a sub-stack RAut(K) of REnd(K). For a commutative monoid
A ∈ Comm(C), we define RAut(K)(A) to be the union of connected components of
REnd(K)(A) corresponding to isomorphisms in
π0 (REnd(K)(A)) ≃ [K ⊗L A, K ⊗L A]A−Mod .
This clearly defines a full sub-simplicial presheaf RAut(K) of REnd(K), which is a
sub-stack as one can see easily using Cor. 1.3.2.7.
96 1.3. GEOMETRIC STACKS: BASIC THEORY
Proposition 1.3.7.14. Assume that C is a stable model category. Then, the stack
RAut(K) is representable. Furthermore the morphism RAut(K) −→ REnd(K) is a
formal Zariski open immersion, and RAut(K) −→ ∗ is fp. If furthermore 1 is finitely
presented in C then RAut(K) −→ ∗ is a perfect morphism.
Proof. It is the same as 1.3.7.10 but using the construction AK and Prop.
1.2.10.1, instead of the standard localization A[a−1 ]. More precisely, for a repre-
sentable stack X := RSpec A and a morphism x : X −→ REnd(K), the homotopy
pullback
RAut(K) ×hREnd(K) X −→ X
is isomorphic in Ho(Af fC∼,τ /X) to
RSpec AE −→ RSpec A,
where E is the homotopy cofiber of the endomorphism x : K ⊗L A −→ K ⊗L A
corresponding to the point x.
CHAPTER 1.4
As in the previous chapter, we fix once for all a HAG context (C, C0 , A, τ, P).
any A-module M and any point x ∈ F (A), we consider the standard homotopy fiber1
of
F (A ⊕ M ) −→ F (A)
at the point x. This clearly defines a functor
A − M od −→ SSetV
M 7→ Hof iber (F (A ⊕ M ) → F (A))
which is a lift of the functor considered above
DerF (X, −) : Ho(A − M od) −→ Ho(SSetV ),
where x ∈ F (A) corresponds via the Yoneda lemma to a morphism X = RSpec A −→
F . The fact that the functor DerF (X, −) has a natural lift as above is important, as it
then makes sense to say that it commutes with homotopy limits or homotopy colimits.
The functor DerF (X, −) can be considered as an object in Ho((A − M odop )∧ ), the
homotopy category of pre-stacks on the model category A − M odop , as defined in
[HAGI, §4.1] (see also §1.3.1). Restricting to the subcategory A − M od0 we get an
object
DerF (X, −) ∈ Ho((A − M odop ∧
0 ) ).
In the sequel the functor DerF (X, −) will always be considered as an object in Ho((A−
M odop ∧
0 ) ).
The first relation between cotangent complexes and the tangent stack is given by
the following proposition.
Proposition 1.4.1.6. Let F be a stack and x : X := RSpec A −→ F be an A-
point with A ∈ A. If F has a cotangent complex LF,x at the point x then there exists
a natural isomorphism in Ho(SSetV )
RHomAf fC∼,τ /F (X, T F ) ≃ M apSp(A−Mod) (A, TF,x ) ≃ M apSp(A−Mod) (LF,x , A).
A / B,
inducing a commutative square of representable stacks
X[M ] o Y [M ]
O O
Xo Y.
This implies the existence of a natural morphism in Ho(SSetV )
DerF (Y, M ) −→ DerF (X, M ).
If the stack F has cotangent complexes at both points x and y, Prop. 1.2.11.3 induces
a well defined morphism in Ho(Sp(B − M od))
u∗ : LF,x ⊗LA B −→ LF,y .
Of course, we have (u ◦ v)∗ = v ∗ ◦ u∗ whenever this formula makes sense.
In the same way, the construction of LF,x is functorial in F . Let f : F −→ F ′
be a morphism of stacks, A ∈ A, and x : RSpec A −→ F be an A-point with image
f (x) : RSpec A −→ F ′ . Then, for any A-module M , there is a natural morphism
DerF (X, M ) −→ DerF ′ (X, M ).
Therefore, if F has a cotangent complex at x and F ′ has a cotangent complex at x′ ,
we get a natural morphism in Ho(Sp(A − M od))
dfx : LF ′ ,f (x) −→ LF,x ,
called the differential of f at x. Once again, we have d(f ◦ g)x = dgx ◦ dfx each time
this formula makes sense (this is the chain rule). Dually, we also get by duality the
derivative of f at x
T fx : TF,x −→ TF ′ ,f (x) .
Definition 1.4.1.7. A stack F has a global cotangent complex relative to the
HA context (C, C0 , A) (or simply has a cotangent complex when there is no ambiguity
on the context) if the following two conditions are satisfied.
1.4.1. TANGENT STACKS AND COTANGENT COMPLEXES 101
(1) For any A ∈ A, and any point x : RSpec A −→ F , the stack F has a
cotangent complex LF,x at x.
(2) For any morphism u : A −→ B in A, and any morphism in Ho(Af fC∼,τ /F )
u
Y := RSpec B / X := RSpec A
LLL rr
LLL rrr
L
y LLL rr
r x
L% ry rr
F,
the induced morphism
u∗ : LF,x ⊗LA B −→ LF,y
is an isomorphism in Ho(Sp(B − M od)).
As a corollary of Prop. 1.2.1.2 and the standard properties of derivations any
representable stack has a cotangent complex.
Proposition 1.4.1.8. Any representable stack F = RSpecA has a global cotan-
gent complex.
Proof. This is nothing else than the existence of a universal derivation as proved
in Prop. 1.2.1.2.
If X = RSpec A is a representable stack in A, and x : X → X is the iden-
tity, then the stable A-module LX,x is naturally isomorphic in Ho(Sp(A − M od))
to LA . More generally, for any morphism A −→ B with B ∈ A, corresponding to
y : RSpec B −→ X, the B-module LX,y is naturally isomorphic in Ho(Sp(B − M od))
to LA ⊗LA B.
The next proposition explains the relation between the tangent stack and the
global cotangent complex when it exists. It is a globalization of Prop.1.4.1.6.
Proposition 1.4.1.9. Let F be a stack having a cotangent complex. Let x : X =
RSpec A −→ F be any morphism, and
T Fx := T F ×hF X −→ X
the natural projection. Let A −→ B be a morphism with B ∈ A, corresponding to a
morphism of representable stacks X = RSpec A −→ Y = RSpec B. Then, there exists
a natural isomorphism in Ho(SSet)
RT Fx (B) ≃ M apAf fC∼,τ /F (Y, T F ) ≃ M apSp(A−Mod) (LF,x , B).
Proof. This is a reformulation of Prop. 1.4.1.6, and the fact that
M apSp(A−Mod) (LF,x , B) ≃ M apSp(B−Mod) (LF,x ⊗LA B, B).
Remark 1.4.1.10. Of course, the isomorphism of proposition Prop. 1.4.1.9 is
functorial in F .
Proposition 1.4.1.11. Let F be an n-geometric stack. We assume that for any
A ∈ A, and any point x : X := RSpec A −→ F , and any A-module M ∈ A − M od0 ,
the natural morphism
DerF (X, M ) ≃ DerF (X, ΩS(M )) −→ ΩDerF (X, S(M ))
is an isomorphism in Ho(SSet). Then F has a global cotangent complex, which is
furthermore (−n)-connective.
102 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
By the above explicit construction and an induction on n, the fact that the natural
morphism
u∗ : LF,x ⊗LA B −→ LF,y
is an isomorphism simply follows from the next lemma.
Lemma 1.4.1.12. Let
x
X = RSpec A /F
O
/G
O
O
u
Y = RSpec B y
/ F′ / G′
1.4.1. TANGENT STACKS AND COTANGENT COMPLEXES 103
be a commutative diagram with the right hand square being homotopy cartesian in
Af fC∼,τ . We assume that A and B are in A and that F and G have global cotangent
complexes. Then the natural square
LG′ ,y / LF ′ ,y
O O
L
DerF/G (X, −) ≃ Rhs F/G,x .
(2) If f has a cotangent complex at x, the stable A-module LF,x is then called
the (relative) cotangent complex of f at x.
104 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
(2) If the morphism f has a cotangent complex then for any stack H and any
morphism H −→ G, the morphism F ×hG H −→ H has a relative cotangent
complex and furthermore we have
LF/G,x ≃ LF ×hG H/H,x
for any A ∈ A, and any morphism of stacks X = RSpec A −→ F ×hG H.
1.4.2. OBSTRUCTION THEORY 105
Proof. (1) and (2) follow easily from the definition. Point (3) follows from (2).
Finally, point (4) follows from (3), (1) and Prop. 1.4.1.8.
d
A / A⊕M
s
RF (A ⊕d ΩM ) / RF (A)
d
RF (A) s
/ RF (A ⊕ M )
is homotopy cartesian.
(2) A stack F has an obstruction theory (relative to (C, C0 , A)) if it has a
(global) cotangent complex and if it is infinitesimally cartesian (relative to
(C, C0 , A)).
RF (A ⊕d ΩM ) / RG(A ⊕d ΩM )
RF (A) ×hRF (A⊕M) RF (A) / RG(A) ×hRG(A⊕M) RG(A)
is homotopy cartesian.
(2) A morphism of stacks f : F −→ G has an obstruction theory relative to
(C, C0 , A) (or simply has an obstruction theory if the HA context is clear)
if it has a (global) cotangent complex and if it is infinitesimally cartesian
relative (C, C0 , A).
As our HA context (C, C0 , A) is fixed once for all we will from now avoid to men-
tion the expression relative to (C, C0 , A) when referring to the property of having an
obstruction theory. The more precise terminology will only be used when two differ-
ent HA contexts are involved (this will only happen in §2.3).
RF (A) ×hRF (A⊕M) RF (A) / RG(A) ×h
RG(A⊕M) RG(A)
Proof. (1) By Prop. 1.4.1.8 we already know that representable stacks have
cotangent complexes. Using the Yoneda lemma, it is obvious to check that any rep-
resentable stack is inf-cartesian. Indeed, for F = RSpec B we have
RF (A ⊕d ΩM ) ≃ M apComm(C)(B, A ⊕d ΩM ) ≃
X@ / Xd [ΩM ]
@@ v
@@ vv
x @@@ vvv′
v
{vv x
F.
(2) Let us suppose that α(x) = 0. Then, the simplicial set of lifts of x
ΩM apSp(A−Mod) (LF,x , M ).
Proof. First of all, the space of lifts x′ is by definition RHomX/Af fC∼,τ (Xd [ΩM ], F ),
which is naturally equivalent to the homotopy fiber at x of the natural morphism
Using that F is inf-cartesian, we see that there exists a homotopy cartesian square
d
Rτ Hom(X, F ) s
/ Rτ Hom(X[M ], F ).
108 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
Therefore, the simplicial set RHomX/Af fC∼,τ (Xd [ΩM ], F ) fits into a homotopy carte-
sian square
• / RHomX/Af f ∼,τ (X[M ], F ).
0 C
and we see that the image of the right vertical arrow in the last diagram provides
the element α(x) ∈ π0 (M apSp(A−Mod) (LF,x , M )), which clearly vanishes if and only if
RHomX/Af fC∼,τ (Xd [ΩM ], F ) is non-empty. Furthermore, this last homotopy cartesian
diagram also shows that if α(x) = 0, then one has an isomorphism in Ho(SSet)
RHomX/Af fC∼,τ (Xd [ΩM ], F ) ≃ ΩM apSp(A−Mod) (LF,x , M ).
Then there exists a natural point α(x) in M apA−Mod (LF/G,x , M ), and a natural iso-
morphism in Ho(SSet)
L(z) ≃ Ωα(x),0 M apA−Mod (LF/G,y , M ),
where Ωα(x),0 M apA−Mod (LF/G,y , M ) is the simplicial set of paths from α(x) to 0.
Proof. Essentially the same as for Prop. 1.4.2.5. The point x corresponds to a
commutative diagram in Ho(Af fC∼,τ /G)
X /F ,
Xd [ΩM ] /G
1.4.3. ARTIN CONDITIONS 109
where X := RSpec A and Xd [ΩM ] := RSpec (A⊕d ΩM ). Composing with the natural
commutative diagram
d /X
X[M ]
s
X / Xd [ΩM ]
s
A / A ⊕ S(M )
s
=Y
|||
|
||
||
X′ / X.
Proof. When D is a stable model category this is well known since homotopy
fiber sequences are also homotopy cofiber sequences (see [Ho1]). The general case is
proved in the same way. When D is furthermore U-cellular (which will be our case),
one can even deduce the result from the stable case by using the left Quillen functor
D −→ Sp(D), from D to the model category of spectra in D as defined in [Ho2], and
using the fact that it is homotopically fully faithful.
The previous lemma can be applied to C, but also to the model categories B−M od
of modules over some commutative monoid B. In particular, homotopy cartesian
square of B-modules which are also homotopy co-cartesian will remain homotopy
cartesian after a derived tensor product by any B-module.
A / A ⊕ S(M ),
(A ⊕ M ) ⊕ M
7
p pppp
ppp
ppp
A⊕M / A ⊕ M,
Id
112 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
Proof. Let
B /A
d
A / A⊕M
s
d
A′ / A ⊕ M,
s′
(where the co-base change on the left is taken with respect of the morphism s′ : A′ →
A ⊕ M and the one on the right with respect to d : A → A ⊕ M ). For an object
(B1 , B2 , B3 , a, b) in D, the morphisms a and b can also be understood as B1 −→ B3
in A − Comm(C) and B2 −→ B3 in A′ − Comm(C). The morphisms
(B1 , B2 , B3 , a, b) −→ (B1′ , B2′ , B3′ , a′ , b′ )
in D are defined in the obvious way, as families of morphisms {Bi → Bi′ } commuting
with the a’s and b’s. A morphism in D is defined to be an equivalence or a cofibration
if each morphism Bi → Bi′ is so. A morphism in D is defined to be a fibration if each
morphism Bi → Bi′ is a fibration in C, and if the natural morphisms
B1 −→ B1′ ×B3′ B3 B2 −→ B2′ ×B3′ B3
are fibrations in C. This defines a model category structure on D which is a Reedy type
model structure. An important fact concerning D is the description of its mapping
spaces as the following homotopy cartesian square
M ap(A⊕M)−Comm(C)(B3 , B3′ ) / M apA−Comm(C)(B1 , B3′ ) × M apA′ −Comm(C) (B2 , B3′ )
where we have denoted B := (B1 , B2 , B3 ) and B ′ := (B1′ , B2′ , B3′ ). There exists a
natural functor
F : B − Comm(C) −→ D
sending a commutative B-algebra B ′ to the object
F (B ′ ) := (A ⊗B B ′ , A′ ⊗B B ′ , (A ⊕ M ) ⊗B B ′ , a, b)
where
a : (A⊕M )⊗A (A⊗B B ′ ) ≃ (A⊕M )⊗B B ′ b : (A⊕M )⊗A′ (A′ ⊗B B ′ ) ≃ (A⊕M )⊗B B ′
114 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
are the two natural isomorphisms in (A ⊕ M ) − Comm(C). The functor F has a right
adjoint G, sending an object (B1 , B2 , B3 , a, b) to the pullback in B − Comm(C)
G(B1 , B2 , B3 , a, b) / B1
a
B2 / B3 .
b
defined during the proof of lemma 1.4.3.6. The commutative monoid A is naturally
an (A ⊕ M )-algebra, and can be considered as a natural object (A, A, A) in D with
the obvious transition morphisms
A ⊗A (A ⊕ M ) ≃ A ⊕ M → A,
A ⊗A′ (A ⊕ M ) → A ⊗A (A ⊕ M ) ≃ A ⊕ M → A.
For any A-module N , one can consider A ⊕ N as a commutative A-algebra, and
therefore as as an object (A ⊕ N, A ⊕ N, A ⊕ N ) in D (with the obvious transition
morphisms). We will simply denote by A the object (A, A, A) ∈ D, and by A ⊕ N
the object (A ⊕ N, A ⊕ N, A ⊕ N ) ∈ D. The left Quillen property of F implies that
Der(B, N ) ≃ M apD/A (F (B), A ⊕ N ).
This shows that the morphism
Der(A, N ) −→ Der(B, N )
is equivalent to the morphism
Der(A, N ) −→ Der(A, N ) ×hDer(A⊕M,N ) Der(A, N ).
This implies the the morphism
LB ⊗LB A −→ LA
is naturally equivalent to the morphism of A-modules
L
a
LA LA −→ LA .
LA⊕M ⊗LA⊕M A
Using the already known result for the trivial extension A ⊕ M we get the required
natural cofiber sequence
LB ⊗LB A −→ LA −→ LQZ(M ).
d′
A′ / A′ ⊕ M ′
116 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
B / A.
We claim that B −→ B is formally étale and that the natural morphism A ⊗LB B ′ −→
′
B ⊗LB A′ ≃ A′ / A ⊗L A′
B
/ M ⊗L A′ ,
B
which by our lemma 1.4.3.3 is also a morphism of fiber sequences. The two right
vertical morphisms are equivalences and thus so is the arrow on the left. This shows
that A ⊗LB B ′ ≃ A′ .
Finally, lemma 1.4.3.7 implies the existence of a natural morphism of cofiber
sequences of A′ -modules
LB ⊗LB A / LA / LQZ(M )
LB ′ ⊗LB ′ A′ / LA′ / LQZ(M ′ ) ≃ LQZ(M ) ⊗L A′ .
A
Lemma 1.4.3.9. Let A ∈ A, M ∈ A − M od1 and d ∈ π0 (Der(A, M )) be a deriva-
tion. Let
A ⊕d ΩM −→ A
be the natural morphism and let us consider the homotopy push-out functor
(A ⊕d ΩM ) ⊗LA − : Ho((A ⊕d ΩM ) − Comm(C)) −→ Ho(A − Comm(C)).
Then, (A ⊕d ΩM ) ⊗LA − induces an equivalence between the full sub-categories con-
sisting of E-covers of A ⊕d ΩM and of E-covers of A.
1.4.3. ARTIN CONDITIONS 117
Proof. This is immediate from Lem. 1.4.3.8 and condition (4) of Artin’s condi-
tions 1.4.3.1.
We are now ready to prove that F has an obstruction theory. To simplify nota-
tions we assume that F is fibrant in Af fC∼,τ , so F (A) ≃ RF (A) for any A ∈ Comm(C).
We then argue by induction on the integer n. For n = −1 Theorem 1.4.3.2 follows
from Prop. 1.4.2.4, hypothesis Def. 1.4.3.1 (5) and Prop. 1.2.8.3. We now assume
that n ≥ 0 and that both statement of theorem 1.4.3.2 are true for all m < n.
We start by proving Thm. 1.4.3.2 (1) for rank n. For this, we use Lem. 1.4.2.3
and Prop. 1.4.2.7, which show that we only need to prove that any n-geometric stack
is inf-cartesian.
A ⊕d ΩM /A
A / A⊕M
B / B1
B2 / B3 ,
in such a way that each morphism is a cofibration in Comm(C). The point x can be
represented as a point in the standard homotopy pullback F (B1 ) ×hF (B3 ) F (B2 ). We
then define a functor
Because of our choices on the Bi ’s, it is clear that the simplicial presheaf S is a
stack on the comma model site Af fC /Spec B. Therefore, in order to show that S(B)
is contractible it is enough to show that S(B ′ ) is contractible for some morphism
B −→ B ′ such that RSpec B ′ −→ RSpec B is an epimorphism of stacks. In particular,
we are allowed to homotopy base change by some E-covering of B. Also, using our
118 1.4. GEOMETRIC STACKS: INFINITESIMAL THEORY
lemma 1.4.3.8 (or rather its proof), we see that for any E-covering B → B ′ , the
homotopy cartesian square
B′ / B1 ⊗B B ′
B2 ⊗B B ′ / B3 ⊗B B ′ ,
d′
A′ / A′ ⊕ M ′ ,
for some E-covering A −→ A′ (and with M ′ ≃ M ⊗LA A′ , and where d′ is the unique
derivation d′ ∈ π0 Der(A′ , M ′ ) extending d). This shows that we can always replace
A by A′ , d by d′ and M by M ′ . In particular, for an (n − 1)-atlas {Ui −→ F } F ,
we can assume that the point x1 ∈ π0 (F (A)), image of the point x, lifts to a point in
y1 ∈ π0 (Uj (A)) for some j. We will denote U := Uj .
Sub-lemma 1.4.3.11. The point x ∈ π0 (F (A) ×hF (A⊕M) F (A)) lifts to point y ∈
π0 (U (A) ×hU(A⊕M) U (A))
Proof. We consider the commutative diagram of simplicial sets
f
U (A) ×hU(A⊕M) U (A) / F (A) ×hF (A⊕M) F (A)
p q
U (A) / F (A)
induced by the natural projection A ⊕ M → A. Let F (p) and F (q) be the homotopy
fibers of the morphisms p and q taken at y1 and x1 . We have a natural morphism
g : F (p) −→ F (q). Moreover, the homotopy fiber of the morphism f , taken at the
point x, receives a natural morphism from the homotopy fiber of the morphism g.
It is therefore enough to show that the homotopy fiber of g is not empty. But, by
definition of derivations, the morphism g is equivalent to the morphism
Ωd,0 DerU (X, M ) −→ Ωd,0 DerF (X, M ),
where the derivation d is given by the image of the point y1 by d : A → A ⊕ M .
Therefore, the homotopy fiber of the morphism g is equivalent to
Ωd,0 DerU/F (X, M ) ≃ Ωd,0 M ap(LU/F,y1 , M ).
But, using Thm. 1.4.3.2 (2) at rank (n − 1) and for the morphism U −→ F we obtain
that Ωd,0 DerU/F (X, M ) is non empty. This finishes the proof of the sub-lemma.
b′ b
F (A ⊕d ΩM ) / F (A) ×hF (A⊕M) F (A).
a′
1.4.3. ARTIN CONDITIONS 119
A / A⊕M
is homotopy co-cartesian in C, then the base change functor
A ⊗LB − : Ho(B − Comm(C)) −→ Ho(A − Comm(C))
induces an equivalence between the full sub-categories of formally étale commutative
B-algebras and formally étale commutative A-algebras. The same statement holds
with formally étale replaced by étale.
Proof. Only the assertion with formally étale replaced by étale requires an
argument. For this, we only need to prove that if a formally étale morphism f :
B −→ B ′ is such that A −→ A ⊗LB B ′ = A′ is finitely presented, then so is f . For this
we use the fully faithful functor
LF : Ho(B − Comm(C)) −→ Ho(D)
defined during the proof of Lem. 1.4.3.6. Using the description of mappping spaces in
D in terms of a certain homotopy pullbacks, and using the fact that filtered homotopy
colimits in SSet commutes with homotopy pullbacks, we deduce the statement.
Part 2
Applications
Introduction to Part 2
In this second part we apply the theory developed in the first part to study the
geometry of stacks in various HAG contexts (Def. 1.3.2.13). In particular we will
specialize our base symmetric monoidal model category C to the following cases:
• C = Z − M od, the category of Z-modules to get a theory of geometric stacks
in (classical) Algebraic Geometry (§2.1);
• C = sM odk , the category of simplicial modules over an arbitrary base com-
mutative ring k to get a theory of derived or D− -geometric stacks (§2.2);
• C = C(k), the category of unbounded cochain complexes of modules over
a characteristic zero base commutative ring k to get a theory of geomet-
ric stacks in complicial algebraic geometry, also called geometric D-stacks
(§2.3);
• C = SpΣ , the category of symmetric spectra ([HSS, Shi]) to get a theory
of geometric stacks in brave new algebraic geometry (§2.4).
In §2.1 we are concerned with classical algebraic geometry, the base category
C = Z − M od being endowed with the trivial model structure. We verify that if
k−Af f := Comm(C)op = (k−Alg)op is endowed with its étale Grothendieck topology
and P is the class of smooth morphisms between (usual) commutative rings then
Therefore we are naturally brought to §2.2 where we treat the case of derived
algebraic geometry, i.e. the case where C := sk − M od, the category of simplicial
modules over an arbitrary commutative ring k.
In §2.2.1 we describe the model categories C = sk−M od and Comm(C) = sk−Alg
whose opposite is denoted by k−D− Af f , in particular finite cell and finitely presented
objects, suspension and loop functors, Postnikov towers and stable modules. We also
show that (C, C0 , A) := (sk − M od, sk − M od, sk − Alg) is a HA context in the sense
of Def. 1.1.0.11.
In §2.2.2 we show how the general definitions of properties of modules (e.g. pro-
jective, flat, perfect) and of morphisms between commutative rings in C (e.g. finitely
presented, flat, (formally) smooth, (formally) étale, Zariski open immersion) given
in Chapter 1.2 translates concretely in the present context. The basic idea here is
that of strongness which says that a module M over a simplicial k-algebra A (re-
spectively, a morphism A → B in sk − Alg) has the property P, defined in the
abstract setting of Chapter 1.2, if and only if π0 (M ) has the corresponding clas-
sical property as a π0 (A)-module and π0 (M ) ⊗π0 (A) π∗ (A) ≃ π∗ (M ) (respectively,
the induced morphism π0 (A) → π0 (B) has the corresponding classical property, and
π0 (B) ⊗π0 (A) π∗ (A) ≃ π∗ (B)). A straightforward extension of the étale topology
to simplicial k-algebras, then provides us with an étale model site (k − D− Af f, ét)
satisfying assumption 1.3.2.2 (Def. 2.2.2.12 and Lemma 2.2.2.13) and with the cor-
responding model category k − D− Af f ∼,ét of ét D− -stacks (Def. 2.2.2.14). The
homotopy category Ho(k − D− Af f ∼,ét ) of ét D− -stacks will be simply denoted by
D− St(k). We conclude the section with two useful corollaries about topological in-
variance of étale and Zariski open immersions (Cor. 2.2.2.9 and 2.2.2.10), stating that
ths small étale and Zariski site of a simplicial ring A is equivalent to the corresponding
site of π0 (A).
In §2.2.3 we describe our HAG context (Def. 1.3.2.13) for derived algebraic ge-
ometry by choosing the class P to be the class of smooth morphisms in sk − Alg and
the model topology to be the étale topology. This HAG context (C, C0 , A, τ, P) :=
(sk − M od, sk − M od, sk − Alg, ét, smooth) is shown to satisfy Artin’s conditions (Def.
2.2.3.2) relative to the HA context (C, C0 , A) := (sk − M od, sk − M od, sk − Alg) in
Prop. 1.4.3.1; as a corollary of the general theory of Part I, this gives (Cor. 2.2.3.3)
an obstruction theory (respectively, a relative obstruction theory) for any n-geometric
D− -stack (resp., for any n-representable morphism between D− -stacks), and in par-
ticular a (relative) cotangent complex for any n-geometric D− -stack (resp., for any
n-representable morphism). We finish the section showing that the properties of
being flat, smooth, ètale and finitely presented can be extended to n-representable
morphisms between D− -stacks (Lemma 2.2.3.4), and by the definition of open and
closed immersion of D− -stacks (Def. 2.2.3.5).
In §2.2.4 we study truncations of derived stacks. The inclusion functor j : k −
Af f ֒→ sk − Alg, that sends a commutative k-algebra R to the constant simplicial
k-algebra R, is Quillen right adjoint to the functor π0 : sk − Alg → k − Alg, and this
Quillen adjunction induces an adjunction
i := Lj! : St(k) −→ D− St(k)
St(k) ←− D− St(k) : Ri∗ =: t0
between the (homotopy) categories of derived and un-derived stacks. The functor i
is fully faithful and commutes with homotopy colimits (Lemma 2.2.4.1) and embeds
the theory of stacks into the theory of derived stacks, while the functor t0 , called the
INTRODUCTION TO PART 2 125
work.
where fip-smooth is the class of formally perfect (Def. 1.2.7.1) and formally i-smooth
morphisms (Def. 1.2.8.1). Geometric stacks in this HAG context will be simply
called geometric D-stacks (Def. 2.3.4.2); since fip-smooth morphisms are in Pw , any
geometric D-stack is weakly geometric. As opposed to the weak HAG context, this
connective context indeed satisfies Artin’s condition of Def. 1.4.3.1 (Prop. 2.3.4.3),
and therefore any geometric D-stack has an obstruction theory (and a cotangent
complex).
In §2.3.5 we give some examples of geometric D-stacks. We first observe (sub-
section 2.3.5.1) that the normalization functor N : sk − Alg → k − cdga induces a
fully faithful functor j := LN! : D− St(k) ֒→ DSt(k). This provides us with lots
of examples of (geometric) D-stacks. In subsection 2.3.5.2 we study the D-stack of
CW-perfect modules. After having defined, for any cdga A, the notion of CW-A-dg-
module of amplitude in [a, b] (Def. 2.3.5.2) and proved some stability properties of
this notion (Lemma 2.3.5.3), we define the sub-D-stack Perf CW [a,b] ⊂ Perf , consisting
of all perfect modules locally equivalent to some CW-dg-modules of amplitude con-
tained in [a, b]. We prove that Perf CW[a,b] is 1-geometric (Prop. 2.3.5.4), and that its
tangent space at a point corresponding to a perfect CW-A-dg-module E is given by
the complex (E ∨ ⊗LA E)[1] (Cor. 2.3.5.6). In subsection 2.3.5.3 we define the D-stack
of CW-dg-algebras as the homotopy pullback of Ass → Perf along the inclusion
Perf CW
[a,b] → Perf , prove that it is 1-geometric and compute its tangent space at a
global point in terms of derived derivations (Cor. 2.3.5.9). Finally subsection 2.3.5.4
is devoted to the analysis of the D-stack CatCW ∗, [n,0] of CW-dg-categories of perfect am-
plitude in [n, 0] (Def. 2.3.5.10). As opposite to the weakly geometric D-stack Cat∗ ,
that cannot have a reasonable infinitesimal theory, its full sub-D-stack CatCW ∗, [n,0] is
not only a 2-geometric D-stack but has a tangent space that can be computed in terms
of Hochschild homology (Thm. 2.3.5.11). As corollaries of this important result we
can prove a folklore statement (see e.g. [Ko-So, p. 266] in the case of A∞ -categories
with one object) regarding the deformation theory of certain negative dg-categories
being controlled by the Hochschild complex of dg-categories (Cor. 2.3.5.12), and a
result showing that if one wishes to keep the existence of the cotangent complex, the
restriction to non-positively graded dg-categories is unavoidable (Cor. 2.3.5.13).
In the last, short §2.4, we establish the basics of brave new algebraic ge-
ometry, i.e. of homotopical algebraic geometry over the base category C = SpΣ
of symmetric spectra ([HSS, Shi]). We consider C endowed with the positive model
structure of [Shi], which is better behaved than the usual one when dealing with com-
mutative monoid objects an modules over them. We denote Comm(C) by S − Alg
(and call its objects commutative S-algebras, S being the sphere spectrum, or some-
times bn-rings), and its opposite model category by S − Af f . Like in the case of
complicial algebraic geometry, we consider two HA contexts here (Lemma 2.4.1.1):
(C, C0 , A) := (SpΣ , SpΣ , S − Alg) and (C, C0 , A) := (SpΣ , SpΣ Σ
c , S − Alg0 ) where Spc
is the subcategory of connective symmetric spectra, and S − Alg0 the subcategory
of S-algebras with homotopy groups concentrated in degree zero. After giving some
examples of formally étale and formally thh-étale maps between bn-rings, we define
(Def. 2.4.1.3) strong versions of flat, (formally) étale, (formally) smooth, and Zariski
open immersions, exactly like in chapters 2.2 and 2.3, and give some results relat-
ing them to the corresponding non-strong notions (Prop. 2.4.1.4). An interesting
exception to this relationship occurs in the case of smooth morphism: the Eilenberg-
MacLane functor H from commutative rings to bn rings does not preserve (formal)
smoothness in general, though it preserves (formal) strong smoothness, due to the
128 INTRODUCTION TO PART 2
All along this chapter we fix an associative commutative ring k ∈ U with unit.
h ≃ h ≃ Rh : k − Af f −→ Ho(k − Af f ∧ ),
h / k − Af f ∧ / Ho(k − Af f ∧ ).
k − Af f
We let τ = ét, the usual étale pre-topology on k − Af f (see e.g. [Mil]). Recall
that a family of morphisms
Lemma 2.1.1.2 justifies the following terminology, closer to the usual terminology
one can find in the literature.
The general theory of Artin n-stacks could then be pursued in a similar fashion as
for Artin stacks in [La-Mo]. A part of this is done in [S3] and will not be reproduced
here, as many of these statements will be settled down in the more general context
of geometric D− -stacks (see §2.2). Let us mention however, that as explained in Def.
1.3.6.2, we can define the notions of flat, smooth, étale, unramified, regular, Zariski
open immersion . . . morphisms between Artin n-stacks. These kinds of morphisms are
as usual stable by homotopy pullbacks, compositions and equivalences. In particular
this allows the following definition.
Remark 2.1.1.5. (1) An algebraic space in the sense of the definition above
which is automatically a 1-geometric stack, and is nothing else than an
algebraic space in the usual sense. Indeed, this can be shown by induction on
n: an algebraic space which is also n-geometric is by definition the quotient
of a union of affine schemes X by some étale equivalence relation R ⊂ X ×X
where R is an algebraic space which is (n − 1)-geometric. In particular, R
being a subobject in X × X we see that R is a separated algebraic space,
and thus is a 0-geometric stack. This implies that X/R is a 1-geometric
stack. In the same way, any scheme is automatically a 1-geometric stack.
Moreover, algebraic spaces (resp. schemes) which are 0-geometric stacks are
precisely algebraic spaces (resp. schemes) with an affine diagonal.
(2) Thought there is a small discrepancy between the notion of Artin n-stack
and the notion of n-geometric stack in St(k), our notion of Artin n-stack is
equivalent to the notion of slightly geometric n-stacks of [S3].
132 2.1. GEOMETRIC n-STACKS IN ALGEBRAIC GEOMETRY (AFTER C. SIMPSON)
the functor i will send 2-limits to homotopy limits. As a particular case we obtain
that i sends the 2-fiber product of stacks in groupoids to the homotopy fiber product.
The 2-categorical structure of stacks in groupoids can also be recovered from the
model category SP rτ (S). Indeed, applying the simplicial localization techniques of
[D-K1] to the Quillen adjunctions described above, we get a well defined diagram of
S-categories
L(Grpd/S) −→ LP (S, Grpd) −→ LSP rτ (S),
which is fully faithful in the sense of [HAGI, Def. 2.1.3]. In particular, the S-category
L(Grpd/S) is naturally equivalent to the full sub-S-category of LSP rτ (S) consisting
of 1-truncated objects. Using [D-K3], the S-category L(Grpd/S) is also equiva-
lent to the S-category whose objects are stacks in groupoids, cofibrant as objects
in Grpd/S, and whose morphisms simplicial sets are given by the simplicial Hom’s
sets of Grpd/S. These simplicial Hom’s sets are simply the nerves of the groupoid
of functors between cofibered categories in groupoids. In other words, replacing the
simplicial sets of morphisms in L(Grpd/S) by their fundamental groupoids, we find
a 2-category naturally 2-equivalent to the usual 2-category of stacks in groupoids on
S. Therefore, we see that the 2-category of stacks in groupoids can be identified, up
to a natural 2-equivalence, as the 2-category obtained from the full sub-S-category of
LSP rτ (S) consisting of 1-truncated objects, by replacing its simplicial sets of mor-
phisms by their fundamental groupoids.
We now come back to the case where S = (k − Af f, ét), the Grothendieck site of
affine k-schemes with the étale pre-topology. We have seen that there exists a fully
faithful functor
i : Ho(Grpd/k − Af f ∼,ét ) −→ St(k),
from the category of stacks in groupoids up to 2-isomorphisms, to the homotopy
category of stacks. The image of this functor consists of all 1-truncated objects and it
is compatible with the simplicial structure (i.e. possesses a natural lifts as a morphism
of S-categories). We also have seen that i sends 2-fiber products of stacks to homotopy
fiber products.
Using the functor i, every stack in groupoids can be seen as an object in our
category of stacks St(k). For example, all examples of stacks presented in [La-Mo]
give rise to stacks in our sense. The proposition below subsumes the main properties
of the functor i, relating the usual notion of scheme, algebraic space and stack to the
one of our definition Def. 2.1.1.4. Recall that a stack in groupoids X is separated
(resp. quasi-separated) if its diagonal is a proper (resp. separated) morphism.
Proposition 2.1.2.1. (1) For any commutative k-algebra A, there exists a
natural isomorphism
i(Spec A) ≃ Spec A.
(2) If X is a scheme (resp. algebraic space, resp. Deligne-Mumford stack, resp.
Artin stack) with an affine diagonal in the sense of [La-Mo], then i(X) is
an Artin 0-stack which is 0-geometric (resp. an Artin 0-stack which is 0-
geometric, resp. a Deligne-Mumford 1-stack which is 0-geometric, resp. an
Artin 1-stack which is 0-geometric) in the sense of Def. 2.1.1.4.
(3) If X is a scheme (resp. algebraic space, resp. Deligne-Mumford stack, resp.
Artin stack) in the sense of [La-Mo], then i(X) is an Artin 0-stack which is
1-geometric (resp. an Artin 0-stack which is 1-geometric, resp. a Deligne-
Mumford 1-stack which is 1-geometric, resp. an Artin 1-stack which is 1-
geometric) in the sense of Def. 2.1.1.4.
134 2.1. GEOMETRIC n-STACKS IN ALGEBRAIC GEOMETRY (AFTER C. SIMPSON)
All along this chapter k will be a fixed commutative (associative and unital) ring.
The category Comm(sk − M od) will be denoted by sk − Alg, and its objects
will be called simplicial commutative k-algebras. More generally, for A ∈ sk − Alg,
the category A − Comm(C) will be denoted by A − Algs . For any A ∈ sk − Alg
we will denoted by A − M ods the category of A-modules in sk − M od, which is
nothing else than the category of simplicial modules over the simplicial ring A. The
model structure on sk − Alg, A − Algs and A − M ods is the usual one, for which
the equivalences and fibrations are defined on the underlying simplicial sets. For an
object A ∈ sk − Alg, we will denote by πi (A) its homotopy group (pointed at 0). The
graded abelian group π∗ (A) inherits a structure of a commutative graded algebra from
A, which defines a functor A 7→ π∗ (A) from sk − Alg to the category of commutative
graded k-algebras. More generally, if A is a simplicial commutative k-algebra, and M
is an A-module, the graded abelian group π∗ (M ) has a natural structure of a graded
π∗ (A)-module.
There exists a Quillen adjunction
π0 : sk − Alg −→ k − Alg sk − Alg ←− k − Alg : i,
where i sends a commutative k-algebra to the corresponding constant simplicial com-
mutative k-algebra. This Quillen adjunction induces a fully faithful functor
i : k − Alg −→ Ho(sk − Alg).
From now on we will omit to mention the functor i, and always consider k − Alg as
embedded in sk −Alg, except if the contrary is specified. Note that when A ∈ k −Alg,
also considered as an object in sk − Alg, we have two different notions of A-modules,
A − M od, and A − M ods . The first one is the usual category of A-modules, whereas
the second one is the category of simplicial objects in A − M od.
For any morphism of simplicial commutative k-algebras A −→ B, the B-module
LB/A constructed in 1.2.1.2 is naturally isomorphic in Ho(B − M od) to D. Quillen’s
cotangent complex introduced in [Q2]. In particular, if A −→ B is a morphism
135
136 2.2. DERIVED ALGEBRAIC GEOMETRY
k[S ni ] / k[∆ni +1 ]
Our Prop. 1.2.3.5 implies that an object A ∈ sk − Alg is finitely presented in the
sense of Def. 1.2.3.1 if and only if it is equivalent to a retract of a finite cell object
(see also [EKMM, III.2] or [Kr-Ma, Thm. III.5.7] for other proofs). More generally,
for A ∈ sk − Alg, there exists a notion of finite cell object in A − Algs using the
elementary morphisms
A[S n ] := A ⊗k k[S n ] −→ A[∆n+1 ] := A ⊗k k[∆n+1 ].
In the same way, a morphism A −→ B in sk − Alg is finitely presented in the sense
of Def. 1.2.3.1 if and only if B is equivalent to a retract of a finite cell objects in
A − Algs . Prop. 1.2.3.5 also implies that any morphism A −→ B, considered as
2.2.1. THE HA CONTEXT 137
in such a way that πi (A≤n ) = 0 for all i > n, and the morphism A −→ A≤n induces
isomorphisms on the πi ’s for all i ≤ n. The morphism A −→ A≤n is characterized by
the fact that for any B ∈ sk − Alg which is n-truncated (i.e. πi (B) = 0 for all i > n),
the induced morphism
M apsk−Alg (A≤n , B) −→ M apsk−Alg (A, B)
is an isomorphism in Ho(SSet). This implies in particular that the Postnikov tower
is furthermore unique up to equivalence (i.e. unique as an object in the homotopy
category of diagrams). There exists a natural isomorphism in Ho(sk − Alg)
A ≃ Holimn A≤n .
For any integer n, the homotopy fiber of the morphism
A≤n −→ A≤n−1
is isomorphic in Ho(sk − M od) to S n ⊗k πn (A), and is also denoted by πn (A)[n].
The k-module πn (A) has a natural structure of a π0 (A)-module, and this induces a
138 2.2. DERIVED ALGEBRAIC GEOMETRY
natural structure of a simplicial π0 (A)-module on each πn (A)[i] for all i. Using the
natural projection A≤n−1 −→ π0 (A), we thus see the object πn (A)[i] as an object in
A≤n−1 − M ods . Note that there is a natural isomorphism in Ho(A≤n−1 − M ods )
S(πn (A)[i]) ≃ πn (A)[i + 1] Ω(πn (A)[i]) ≃ πn (A)[i − 1],
where πn (A)[i] is understood to be 0 for i < 0. We recall the following important and
well known fact.
Lemma 2.2.1.1. With the above notations, there exists a unique derivation
dn ∈ π0 (Derk (A≤n−1 , πn (A)[n + 1]))
such that the natural projection
A≤n−1 ⊕dn πn (A)[n] −→ A≤n−1
is isomorphic in Ho(sk − Alg/A≤n−1 ) to the natural morphism
A≤n −→ A≤n−1 .
Sketch of Proof. (See also [Ba] for more details).
The uniqueness of dn follows easily from our lemma 1.4.3.7, and the fact that the
natural morphism
LQZ(πn (A)[n + 1]) −→ πn (A)[n + 1]
induces an isomorphism on πi for all i ≤ n + 1 (this follows from our lemma 2.2.2.7
below). To prove the existence of dn , we consider the homotopy push-out diagram in
sk − Alg
A≤n−1 /B
O
O
A≤n / A≤n−1 .
The identity of A≤n−1 induces a morphism B −→ A≤n−1 , which is a retraction of
A≤n−1 −→ B. Taking the (n + 1)-truncation gives a commutative diagram
A≤n−1 / B≤n+1
O O
s
A≤n / A≤n−1 .
in such a way that s has a retraction. This easily implies that the morphism s
is isomorphic, in a non-canonical way, to the zero derivation A≤n−1 −→ A≤n−1 ⊕
πn (A)[n + 1]. The top horizontal morphism of the previous diagram then gives rise
to a derivation
dn : A≤n−1 −→ A≤n−1 ⊕ πn (A)[n + 1].
The diagram
dn
A≤n−1 / B≤n+1
O O
s
A≤n / A≤n−1 ,
is then easily checked to be homotopy cartesian, showing that A≤n −→ A≤n−1 is
isomorphic to A≤n−1 ⊕dn πn (A)[n] −→ A≤n−1 .
2.2.2. FLAT, SMOOTH, ÉTALE AND ZARISKI OPEN MORPHISMS 139
Finally, the truncation construction also exists for modules. For any A ∈ sk−Alg,
and M ∈ A − M ods , there exists a natural tower of morphisms in A − M ods
M / ... / M≤n / M≤n−1 / ... / M≤0 = π0 (M ),
such a way that πi (M≤n ) = 0 for all i > n, and the morphism M −→ M≤n induces
an isomorphisms on πi for i ≤ n. The natural morphism
M −→ Holimn M≤n
is an isomorphism in Ho(A − M ods ). Furthermore, the A-module M≤n is induced by
a natural A≤n -module, still denoted by M≤n , through the natural morphism A −→
A≤n . The natural projection M −→ M≤n is again characterized by the fact that for
any A-module N which is n-truncated, the induced morphism
M apA−Mods (M≤n , N ) −→ M apA−Mods (M, N )
is an isomorphism in Ho(SSet).
For an object A ∈ sk − Alg, the homotopy category Ho(Sp(A − M ods )), of stable
A-modules can be described in the following way. By normalization, the commutative
simplicial k-algebra A can be transformed into a commutative dg-algebra over k, N (A)
(because N is lax symmetric monoidal). We can therefore consider its model category
of unbounded N (A)-dg-modules, and its homotopy category Ho(N (A) − M od). The
two categories Ho(Sp(A−M ods )) and Ho(N (A)−M od) are then naturally equivalent.
In particular, when A is a commutative k-algebra, then N (A) = A, and one finds that
Ho(Sp(A − M ods )) is simply the unbounded derived category of A, or equivalently
the homotopy category of the model category C(A) of unbounded complexes of A-
modules
Ho(Sp(A − M ods )) ≃ D(A) ≃ Ho(C(A)).
Finally, using our Cor. 1.2.3.8 (see also [EKMM, III.7]), we see that the perfect
objects in the symmetric monoidal model category Ho(Sp(A − M ods )) are exactly
the finitely presented objects.
These two morphisms are the same when the commutative A-algebra B is considered
as an A-module in the usual way.
Definition 2.2.2.1. Let A ∈ sk − Alg and M be an A-module. The A-module
M is strong if the natural morphism
π∗ (A) ⊗π0 (A) π0 (M ) −→ π∗ (M )
is an isomorphism.
Lemma 2.2.2.2. Let A ∈ sk − Alg and M be an A-module.
(1) The A-module M is projective if and only if it is strong and π0 (M ) is a
projective π0 (A)-module.
(2) The A-module M is flat if and only if it is strong and π0 (M ) is a flat π0 (A)-
module.
(3) The A-module M is perfect if and only if it is strong and π0 (M ) is a pro-
jective π0 (A)-module of finite type.
(4) The A-module M is projective and finitely presented if and only if it is
perfect.
Proof. (1) Let us suppose that M is projective.We first notice that a retract
of a strong module A-module is again a strong A-module. This allows us to suppose
that M is free, which clearly implies that M is strong and that π0 (M ) is a free π0 (A)-
module (so in particular projective). Conversely, let M be a strong A-module with
π0 (M ) projective over π0 (A). We write π0 (M ) as a retract of a free π0 -module
i / π0 (A)(I) = ⊕I π0 (A) r / π0 (M ).
π0 (M )
The morphism r is given by a family of elements ri ∈ π0 (M ) for i ∈ I, and therefore
can be seen as a morphism r′ : A(I) −→ M , well defined in Ho(A − M ods ). In the
same way, the projector p = i ◦ r of π0 (A)(I) , can be seen as a projector p′ of A(I) in
the homotopy category Ho(A − M ods ). By construction, this projector gives rise to
a split fibration sequence
K −→ A(I) −→ C,
and the morphism r′ induces a well defined morphism in Ho(A − M ods )
r′ : C −→ M.
By construction, this morphism induces an isomorphisms on π0 , and as C and M are
strong modules, r′ is an isomorphism in Ho(A − M ods ).
(2) Let M be a strong A-module with π0 (M ) flat over π0 (A), and N be any
A-module. Clearly, π∗ (M ) is flat as a π∗ (A)-module. Therefore, the Tor spectral
sequence of [Q2]
T orπ∗ ∗ (A) (π∗ (M ), π∗ (N )) ⇒ π∗ (M ⊗LA N )
degenerates and gives a natural isomorphism
π∗ (M ⊗LA N ) ≃ π∗ (M ) ⊗π∗ (A) π∗ (N ) ≃
≃ (π0 (M ) ⊗π0 (A) π∗ (A)) ⊗π∗ (A) π∗ (N ) ≃ π0 (M ) ⊗π0 (A) π∗ (N ).
As π0 (M ) ⊗π0 (A) − is an exact functor its transform long exact sequences into long
exact sequences. This easily implies that M ⊗LA − preserves homotopy fiber sequences,
and therefore that M is a flat A-module.
Conversely, suppose that M is a flat A-module. Any short exact sequence 0 →
N → P of π0 (A)-modules can also be seen as a homotopy fiber sequence of A-modules,
2.2.2. FLAT, SMOOTH, ÉTALE AND ZARISKI OPEN MORPHISMS 141
(3) Let us first suppose that M is strong with π0 (M ) projective of finite type over
π0 (A). By point (1) we know that M is a projective A-module. Moreover, the proof
of (1) also shows that M is a retract in Ho(A − M ods ) of some AI with I finite. By
our general result Prop. 1.2.4.2 this implies that A is perfect. Conversely, let M be
a perfect A-module. By (2) and Prop. 1.2.4.2 we know that M is strong and that
π0 (M ) is flat over π0 (A). Furthermore, the unit k of sk − M od is finitely presented,
so by Prop. 1.2.4.2 M is finitely presented object in A − M ods . Using the left Quillen
functor π0 from A − M ods to π0 (A)-modules, we see that this implies that π0 (M ) is
a finitely presented π0 (A)-module, and therefore is projective of finite type.
Proof. Let us assume first that f is finitely presented. Then (1) and (2) are
easily seen to be true by fact that π0 is left adjoint and by definition of derivations.
Let us now assume that f : A −→ B is a morphism in sk − Alg such that (1) and
(2) are satisfied. Let k ≥ 0 be an integer, and let P (k) be the following property: for
any filtered diagram Ci in A − Algs , such that πj (Ci ) = 0 for all j > k, the natural
morphism
Hocolimi M apA−Algs (B, Ci ) −→ M apA−Algs (B, Hocolimi Ci )
is an isomorphism in Ho(SSet).
We start to prove by induction on k that P (k) holds for all k. For k = 0 this
is hypothesis (1). Suppose P (k − 1) holds, and let Ci be a any filtered diagram in
A − Algs , such that πj (Ci ) = 0 for all j > k. We consider C = Hocolimi Ci , as well
as the k-th Postnikov towers
C −→ C≤k−1 (Ci ) −→ (Ci )≤k−1 .
There is a commutative square of simplicial sets
Hocolimi M apA−Algs (B, Ci ) / Hocolimi M apA−Algs (B, (Ci )k−1 )
M apA−Algs (B, C) / M apA−Algs (B, Ck−1 ).
(2) Follows from the fact that the suspension functor of sk − M od is fully faithful
and from Prop. 1.2.6.5 (1).
(3) By Prop. 1.2.6.5 (2) (formally) thh-étale morphisms are (formally) étale.
Conversely, we need to prove that a formally étale morphism A −→ B is thh-étale.
For this, we use the well known spectral sequence
π∗ (Sym∗ (LB/A [1])) ⇒ π∗ (T HH(B/A))
of [Q2, 8]. Using this spectral sequence we see that B ≃ T HH(B/A) if and only if
LB/A ≃ 0. In particular a formally étale morphism is always formally thh-étale.
(4) For flat morphism this is Lem. 2.2.2.2 (2). Let f : A −→ B be a Zariski open
immersion. By definition, f is a flat morphism, and therefore is strongly flat by what
we have seen. Moreover, for any commutative k-algebra C, considered as an object
C ∈ sk − Alg concentrated in degree 0, we have natural isomorphisms in Ho(SSet)
M apsk−Alg (A, C) ≃ Homk−Alg (π0 (A), C)
`
k[S ni ]nu / ` k[∆ni +1 ]nu ,
where ni+1 > ni ≥ k − 1, and k[K]nu is the free non-unital commutative simplicial k-
algebra generated by a simplicial set K. Therefore, Q being left Quillen, the A-module
LQZ(M ) is the homotopy colimit of
... / Q(Ai ) / Q(Ai+1 ) / ...
⊕Q(k[S ni ]nu ) / 0.
Computing homotopy groups using long exact sequences, we see that the statement of
the lemma can be reduced to prove that for a free non-unital commutative simplicial
k-algebra k[S n ]nu , we have
πi (Q(k[S n ]nu )) ≃ 0 f or i < n πn (Q(k[S n ]nu )) ≃ k.
But, using that Q is left Quillen we find
Q(k[S n ]nu ) ≃ S n ⊗ k,
which implies the result.
Lemma 2.2.2.8. Let A be any object in sk − Alg and let us consider the k-th stage
of its Postnikov tower
A≤k −→ A≤k−1 .
There exist natural isomorphisms
πk+1 (LA≤k−1 /A≤k ) ≃ πk (A)
2.2.2. FLAT, SMOOTH, ÉTALE AND ZARISKI OPEN MORPHISMS 145
πi (LA≤k−1 /A≤k ) ≃ 0 f or i ≤ k.
Proof. This follows from lemma 2.2.1.1, lemma 1.4.3.7, and lemma 2.2.2.7.
Let us now start the proof of theorem 2.2.2.6.
π0 (A) / π0 (B)
B≤k / B≤k .
étale. This implies that u′ and thus u exists, and therefore that for any π0 (B)-module
M we have
[LB≤k /A≤k , M [k + 1]] = 0.
As the object LB≤k /A≤k is already known to be k-connected, we conclude that it is
furthermore is (k + 1)-connected.
Now, there exists a morphism of homotopy cofiber sequences in sk − M od
LA≤k ⊗LA≤k A≤k−1 / LA≤k−1 / LA≤k−1 /A≤k
LB≤k ⊗LB≤k B≤k−1 / LB≤k−1 / LB≤k−1 /B≤k .
Base changing the first row by A≤k−1 −→ B≤k−1 gives another morphism of homo-
topy cofiber sequences in sk − M od
LA≤k ⊗LA≤k B≤k−1 / LA≤k−1 ⊗LA
≤k−1
B≤k−1 / LA≤k−1 /A≤k ⊗LA
≤k−1
B≤k−1
LB≤k ⊗LB≤k B≤k−1 / LB≤k−1 / LB≤k−1 /B≤k .
Passing to the long exact sequences in homotopy, and using that fk−1 is étale, as well
as the fact that LB≤k /A≤k ⊗LA≤k−1 B≤k−1 is (k + 1)-connected, it is easy to see that
the vertical morphism on the right induces an isomorphism
πk+1 (LA≤k−1 /A≤k ⊗LA≤k−1 B≤k−1 ) ≃ πk+1 (LB≤k−1 /B≤k ).
Therefore, Lemma 2.2.2.8 implies that the natural morphism
πk (A) ⊗π0 (A) π0 (B) −→ πk (B)
is an isomorphism. By induction on k this shows that f is strongly étale.
π0 (A) / π0 (B).
LA ⊗LA B / LB / LB/A
But, LB/A being a retract of a free B-module, we see that [LB/A , S(LA ⊗LA B)] is a
retract of a product of π0 (S(LA ⊗LA B)) = 0 and thus is trivial. This implies that the
morphism LB/A −→ S(LA ⊗LA B) is trivial in Ho(B − M ods ), and therefore that the
homotopy cofiber sequence
LA ⊗LA B / LB / LB/A ,
which is also a homotopy fiber sequence, splits. In particular, the morphism LA ⊗LA
B −→ LB has a retraction. We have thus shown that f is a formally smooth mor-
phism. The fact that f is furthermore finitely presented follows from Prop. 2.2.2.4
and the fact that LB/A if finitely presented because Ω1B/A is so (see Lem. 2.2.2.2).
Conversely, let f : A −→ B be a smooth morphism in sk − Alg and let us prove
it is strongly smooth. First of all, using that π0 : sk − Alg −→ k − Alg is left Quillen,
we see that π0 (A) −→ π0 (B) has the required lifting property for being a formally
smooth morphism. Furthermore, it is a finitely presented morphism, so is a smooth
morphism of commutative rings. We then form the homotopy push-out square in
sk − Alg
A /B
π0 (A) / C.
By base change, π0 (A) −→ C is a smooth morphism. We will start to prove that the
natural morphism C −→ π0 (C) ≃ π0 (B) is an isomorphism. Suppose it is not, and
let i be the smallest integer i > 0 such that πi (C) 6= 0. Considering the homotopy
cofiber sequence
LC≤i /π0 (A) ⊗LC≤i π0 (C) / Lπ0 (C)/π0 (A) ≃ Ω1π (C)/π (A) [0] / LC≤i /π0 (C) ,
0 0
But this contradicts the fact that LC/π0 (A) ⊗LC π0 (C) is a projective (and thus strong
by lemma 2.2.2.2 (1)) π0 (C)-module, and thus the fact that π0 (A) −→ C is a smooth
morphism. We therefore have a homotopy push-out diagram in sk − Alg
A /B
π0 (A) / π0 (B).
148 2.2. DERIVED ALGEBRAIC GEOMETRY
Using that the bottom horizontal morphism in flat and the Tor spectral sequence, we
get by induction that the natural morphism
πi (A) ⊗π0 (A) π0 (B) −→ πi (B)
is an isomorphism. We thus have seen that f is a strongly smooth morphism.
An important corollary of theorem 2.2.2.6 is the following topological invariance
of étale morphisms.
Corollary 2.2.2.9. Let A ∈ sk − Alg and t0 (X) = Spec (π0 A) −→ X = Spec A
be the natural morphism. Then, the base change functor
Ho(k − D− Af f /X) −→ Ho(k − D− Af f /t0 (X))
induces an equivalence from the full subcategory of étale morphism Y → X to the full
subcategory of étale morphisms Y ′ → t0 (X). Furthermore, this equivalence preserves
epimorphisms of stacks.
Proof. We consider the Postnikov tower
A / ... / A≤k / A≤k−1 / ... / A≤0 = π0 (A),
From the proof of Thm. 2.2.2.6 we also extract the following more precise result.
Corollary 2.2.2.11. Let f : A −→ B be a morphism in sk − Alg. The following
are equivalent.
(1) The morphism f is smooth (resp. étale).
(2) The morphism f is flat and π0 (A) −→ π0 (B) is smooth (resp. étale).
(3) The morphism f is formally smooth (resp. formally étale) and π0 (B) is a
finitely presented π0 (A)-algebra.
We are now ready to define the étale model topology (Def. 1.3.1.1) on k−D− Af f .
Definition 2.2.2.12. A family of morphisms {Spec Ai −→ Spec A}i∈I in k −
D− Af f is an étale covering family (or simply ét-covering family) if it satisfies the
following two conditions.
(1) Each morphism A −→ Ai is étale.
(2) There exists a finite sub-set J ⊂ I such that the family {A −→ Ai }i∈J is a
formal covering family in the sense of 1.2.5.1.
Using that étale morphisms are precisely the strongly étale morphisms (see Corol-
lary 2.2.2.11) we immediately deduce that a family of morphisms {Spec Ai −→
Spec A}i∈I in k − D− Af f is an ét-covering family if and only if there exists a fi-
nite sub-set J ⊂ I satisfying the following two conditions.
• For all i ∈ I, the natural morphism
π∗ (A) ⊗π0 (A) π0 (Ai ) −→ π∗ (Ai )
is an isomorphism.
150 2.2. DERIVED ALGEBRAIC GEOMETRY
is an isomorphism.
For this, let E∗ ∈ Ho(csB∗ − M od)cart , and let us consider the adjunction mor-
phism
E1 −→ (Holimn En ) ⊗LA B1 .
We need to show that this morphism is an isomorphism in Ho(B1 − M ods ). For this,
we first use that A −→ B1 is a strongly flat morphism, and thus
π∗ ((Holimn En ) ⊗LA B1 ) ≃ π∗ ((Holimn En )) ⊗π0 (A) π0 (B1 ).
We then apply the spectral sequence
H p (T ot(πq (E∗ ))) ⇒ πq−p ((Holimn En ).
The object πq (E∗ ) is now a co-simplicial module over the co-simplicial commutative
ring π0 (B∗ ), which is furthermore cartesian as all the coface morphisms Bn −→ Bn+1
are flat. The morphism π0 (A) −→ π0 (B∗ ) being an étale, and thus faithfully flat,
hypercover in the usual sense, we find by the usual flat descent for quasi-coherent
2.2.3. THE HAG CONTEXT: GEOMETRIC D− -STACKS 151
sheaves that H p (T ot(πq (E∗ ))) ≃ 0 for p 6= 0. Therefore, the above spectral sequence
degenerates and gives an isomorphism
πp ((Holimn En ) ≃ Ker (πp (E0 ) ⇉ πp (E1 )) .
In other words, πp ((Holimn En )) is the π0 (A)-module obtained by descent from
πp (E∗ ) on πp (B∗ ). In particular, the natural morphism
πp ((Holimn En ) ⊗π0 (A) π0 (B1 ) −→ πp (E1 )
is an isomorphism. Putting all of this together we find that
E1 −→ (Holimn En ) ⊗LA B1
is an isomorphism in Ho(B1 − M ods ).
We have now the model site (Def. 1.3.1.1) (k − D− Af f, ét), with the étale model
topology, and we make the following definition.
Definition 2.2.2.14. (1) A D− -stack is an object F ∈ k − D− Af f ∼,ét
which is a stack in the sense of Def. 1.3.2.1.
(2) The model category of D− -stacks is k − D− Af f ∼,ét , and its homotopy
category will be simply denoted by D− St(k).
The following result is a corollary of Proposition 2.2.2.4. It states that the prop-
erty of being finitely presented is local for the étale topology defined above.
Corollary 2.2.2.15. Let f : A −→ B be a morphism in sk − Alg.
(1) If there exists an étale covering B −→ B ′ such that A −→ B ′ is finitely
presented, then f is finitely presented.
(2) If there exists an étale covering A −→ A′ , such that
A′ −→ A′ ⊗LA B
is finitely presented, then f is finitely presented.
Proof. This follows from proposition 2.2.2.4. Indeed, it suffices to prove that
both conditions of proposition 2.2.2.4 have the required local property. The first one
is well known, and the second one is a consequence of corollary 1.3.7.8, as finitely
presented objects in Ho(Sp(B − M ods )) are precisely the perfect objects.
we know (see e.g. [EGAIV]) that this implies that t0 (X) −→ t0 (Y ) is a smooth
morphism of affine schemes.
Finally, property (4) of 1.3.2.11 is obvious.
We have verified our assumptions 1.3.2.2 and 1.3.2.11 for the étale model topology
and P the class of smooth morphisms. We thus have that
(sk − M od, sk − M od, sk − Alg, ét, P)
is a HAG context in the sense of Def. 1.3.2.13. We can therefore apply our general
definitions to obtain a notion of n-geometric D− -stacks in D− St(k), as well as the
notion of n-smooth morphisms. We then check that Artin’s conditions of Def. 1.4.3.1
are satisfied.
Proposition 2.2.3.2. The étale model topology and the smooth morphisms satisfy
Artin’s conditions relative to the HA context (sk − M od, sk − M od, sk − Alg) in the
sense of Def. 1.4.3.1.
Proof. We will show that the class E of étale morphisms satisfies conditions (1)
to (5) of Def. 1.4.3.1.
X≤k
Lemma 2.2.3.4 and definition 1.3.6.2 allows us to define the notions of flat, smooth,
étale and locally finitely presented morphisms of D− -stacks, which are all stable by
equivalences, compositions and homotopy pullbacks. Recall that by definition, a flat
(resp. smooth, resp. étale, resp. locally finitely presented) is always n-representable
for some n. Using our general definition Def. 1.3.6.4 we also have notions of quasi-
compact morphisms, finitely presented morphisms, and monomorphisms between D− -
stacks. We also make the following definition.
Definition 2.2.3.5. (1) A morphism of D− -stacks is a Zariski open im-
mersion if it is a locally finitely presented flat monomorphism.
(2) A morphism of D− -stacks F −→ G is a closed immersion if it is repre-
sentable, and if for any A ∈ sk−Alg and any morphism X = RSpec A −→ G
the induced morphism of representable D− -stacks
F ×hG X ≃ RSpec B −→ RSpec A
induces an epimorphism of rings π0 (A) −→ π0 (B).
2.2.4. Truncations
We consider the natural inclusion functor
i : k − Af f −→ k − D− Af f
right adjoint to the functor
π0 : k − D− Af f −→ k − Af f.
The pair (π0 , i) is a Quillen adjunction (for the trivial model structure on k − Af f ),
and as usual we will omit to mention the inclusion functor i, and simply consider
commutative k-algebras as constant simplicial objects. Furthermore, both functors
preserve equivalences and thus induce a Quillen adjunction on the model category of
pre-stacks (using notations of [HAGI, §4.8])
i! : k − Af f ∧ = SP r(k − Af f ) −→ k − D− Af f ∧ k − Af f ∧ ←− k − D− Af f ∧ : i∗ .
2.2.4. TRUNCATIONS 155
The functor i is furthermore continuous in the sense of [HAGI, §4.8], meaning that
the right derived functor
Ri∗ : Ho(k − D− Af f ∧ ) −→ Ho(k − Af f ∧ )
preserves the sub-categories of stacks. Indeed, by Lem. 1.3.2.3 (2) and adjunction this
follows from the fact that i : k − Af f −→ k − D− Af f preserves co-products, equiva-
lences and étale hypercovers. By the general properties of left Bousfield localizations
we therefore get a Quillen adjunction on the model categories of stacks
i! : k − Af f ∼,ét −→ k − D− Af f ∼,ét k − Af f ∼,ét ←− k − D− Af f ∼,ét : i∗ .
From this we get a derived adjunction on the homotopy categories of stacks
Li! : St(k) −→ D− St(k)
St(k) ←− D− St(k) : Ri∗ .
Lemma 2.2.4.1. The functor Li! is fully faithful.
Proof. We need to show that for any F ∈ St(k) the adjunction morphism
F −→ Ri∗ ◦ Li! (F )
is an isomorphism. The functor Ri∗ commutes with homotopy colimits, as these are
computed in the model category of simplicial presheaves and thus levelwise. Moreover,
as i! is left Quillen the functor Li! also commutes with homotopy colimits. Now, any
stack F ∈ St(k) is a homotopy colimit of representable stacks (i.e. affine schemes), and
therefore we can suppose that F = Spec A, for A ∈ k − Alg. But then Li! (Spec A) ≃
RSpec A. Furthermore, for any B ∈ k − Alg there are natural isomorphisms in
Ho(SSet)
RSpec A(B) ≃ M apsk−Alg (A, B) ≃ Homk−Alg (A, B) ≃ (Spec A)(B).
This shows that the adjunction morphism
Spec A −→ Ri∗ ◦ Li! (Spec A)
is an isomorphism.
Another useful remark is the following
Lemma 2.2.4.2. The functor i∗ : k − D− Af f ∼,ét −→ k − Af f ∼,ét is right and
left Quillen. In particular it preserves equivalences.
Proof. The functor i∗ has a right adjoint
π0∗ : k − Af f ∼,ét −→ k − D− Af f ∼,ét .
Using lemma 1.3.2.3 (2) we see that π0∗ is a right Quillen functor. Therefore i∗ is left
Quillen.
Definition 2.2.4.3. (1) The truncation functor is
t0 := i∗ : D− St(k) −→ St(k).
(2) The extension functor is the left adjoint to t0
i := Li! : St(k) −→ D− St(k).
(3) A D− -stack F is truncated if the adjunction morphism
it0 (F ) −→ F
is an isomorphism in D− St(k).
156 2.2. DERIVED ALGEBRAIC GEOMETRY
By lemmas 2.2.4.1, 2.2.4.2 we know that the truncation functor t0 commutes with
homotopy limits and homotopy colimits. The extension functor i itself commutes with
homotopy colimits and is fully faithful. An important remark is that the extension i
does not commute with homotopy limits, as the inclusion functor k −Alg −→ sk −Alg
does not preserve homotopy push-outs.
Concretely, the truncation functor t0 sends a functor
F : sk − Alg −→ SSetV
to
t0 (F ) : k − Alg −→ SSetV
A 7→ F (A).
By adjunction we clearly have
t0 RSpec A ≃ Spec π0 (A)
for any A ∈ sk − Alg, showing that the notation is compatible with the one we did use
before for t0 (Spec A) = Spec π0 (A) as objects in k − D− Af f . The extension functor
i is characterized by
i(Spec A) ≃ RSpec A,
and the fact that it commutes with homotopy colimits.
Proposition 2.2.4.4. (1) The functor t0 preserves epimorphisms of stacks.
(2) The functor t0 sends n-geometric D− -stacks to n-geometric stacks, and flat
(resp. smooth, resp. étale) morphisms between D− -stacks to flat (resp.
smooth, resp. étale) morphisms between stacks.
(3) The functor i preserves homotopy pullbacks of n-geometric stacks along a
flat morphism, sends n-geometric stacks to n-geometric D− -stacks, and flat
(resp. smooth, resp. étale) morphisms between n-geometric stacks to flat
(resp. smooth, resp. étale) morphisms between n−-geometric D− -stacks.
(4) Let F ∈ St(k) be an n-geometric stack, and F ′ −→ i(F ) be a flat morphism
of n-geometric D− -stacks. Then F ′ is truncated (and therefore is the image
by i of an n-geometric stack by (2)).
Proof. (1) By adjunction, this follows from the fact that i : k −Alg −→ sk −Alg
reflects étale covering families (by Prop. 2.2.2.2).
(2) The proof is by induction on n. For n = −1, this simply follows from the
formula
t0 RSpec A ≃ Spec π0 (A),
and Prop. 2.2.2.5 and Thm. 2.2.2.6. Assume that the property is known for any
m < n and let us prove it for n. Let F be an n-geometric D− -stack, which by
Prop. 1.3.4.2 can be written as |X∗ | for some (n − 1)-smooth Segal groupoid X∗ in
k−D− Af f ∼,ét . Using our property at rank n−1 and that t0 commutes with homotopy
limits shows that t0 (X∗ ) is also a (n−1)-smooth Segal groupoid object in k −Af f ∼,ét .
Moreover, as t0 commutes with homotopy colimits we have t0 (F ) ≃ |t0 (X∗ )|, which
by Prop. 1.3.4.2 is an n-geometric stack. This shows that t0 sends n-geometric D− -
stacks to n-geometric stacks and therefore preserves n-representable morphisms. Let
f : F −→ G be a flat (resp. smooth, resp. étale) morphism of D− -stacks which is
n-representable, and let us prove by induction on n that t0 (f ) is flat (resp. smooth,
resp. étale). We let X ∈ St(k) be an affine scheme, and X −→ t0 (G) be a morphism
of stacks. By adjunction between i and t0 we have
X ×ht0 (G) t0 (F ) ≃ t0 (X ×hG F ),
2.2.4. TRUNCATIONS 157
(3) The proof is by induction on n. For n = −1 this follows from the formula
i(Spec A) ≃ RSpec A, the description of flat, smooth and étale morphisms (Prop.
2.2.2.5 and Thm. 2.2.2.6), and the fact that for any flat morphism of commutative
k-algebras A −→ B and any commutative A-algebra C there is a natural isomorphism
in Ho(A − Algs )
B ⊗A C ≃ B ⊗LA C.
Let us now assume the property is proved for m < n and let us prove it for n.
Let F be an n-geometric stack, and by Prop. 1.3.4.2 let us write it as F ≃ |X∗ |
for some (n − 1)-smooth Segal groupoid object X∗ in k − Af f ∼,ét . By induction,
i(X∗ ) is again a (n − 1)-smooth Segal groupoid objects in k − D− Af f ∼,ét , and as i
commutes with homotopy colimits we have i(F ) ≃ |i(X∗ )|. Another application of
Prop. 1.3.4.2 shows that F is an n-geometric D− -stacks. We thus have seen that i
sends n-geometric stacks to n-geometric D− -stacks.
Now, let F −→ G be a flat morphism between n-geometric stacks, and H −→
G any morphism between n-geometric stacks. We want to show that the natural
morphism
i(F ×hG H) −→ i(F ) ×hi(G) i(H)
is an isomorphism in St(k). For this, we write G ≃ |X∗ | for some (n − 1)-smooth
Segal groupoid object in k − Af f ∼,ét , and we consider the Segal groupoid objects
F∗ := F ×hG X∗ H∗ := H ×hG X∗ ,
where X∗ −→ |X∗ | = G is the natural augmentation in St(k). The Segal groupoid
objects F∗ and H∗ are again (n − 1)-smooth Segal groupoid objects in k − Af f ∼,ét
as G is an n-geometric stack. The natural morphisms of Segal groupoid objects
F∗ −→ X∗ ←− H∗
gives rise to another (n − 1)-smooth Segal groupoid object F∗ ×hX∗ H∗ . Clearly, we
have
F ×hG H ≃ |F∗ ×hX∗ H∗ |.
As i commutes with homotopy colimits, and by induction on n we have
i(F ×hG H) ≃ |i(F∗ ) ×hi(X∗ ) i(H∗ )| ≃ |i(F∗ )| ×h|i(X∗ )| |i(H∗ )| ≃ i(F ) ×hi(G) i(H).
It remains to prove that if f : F −→ G is a flat (resp. smooth, resp. étale) morphism
between n-geometric stacks then i(f ) : i(F ) −→ i(G) is a flat (resp. smooth, resp.
étale) morphism between n-geometric D− -stacks. For this, let {Ui } be a smooth n-
atlas for G. We have seen before that {i(Ui )} is a smooth n-atlas for i(G). As we have
seen that i commutes with homotopy pullbacks along flat morphisms, and because of
the local properties of flat (resp. smooth, resp. étale) morphisms (see Prop. 1.3.6.3
and Lem. 2.2.3.4), we can suppose that G is one of the Ui ’s and thus is an affine
scheme. Now, let {Vi } be a smooth n-atlas for F . The family {i(Vi )} is a smooth
n-atlas for F , and furthermore each morphism i(Vi ) −→ i(G) is the image by i of a
flat (resp. smooth, resp. étale) morphism between affine schemes and therefore is a
flat (resp. smooth, resp. étale morphism) of D− -stacks. By definition this implies
158 2.2. DERIVED ALGEBRAIC GEOMETRY
This is a (n−1)-smooth Segal groupoid objects in D− Af f ∼,ét , which is such that each
morphism Xi −→ i(G) is flat. Therefore, by induction on n, the natural morphism
of Segal groupoid objects
it0 (X∗ ) −→ X∗
is an equivalence. Therefore, as i and t0 commutes with homotopy colimits we find
that the adjunction morphism
it0 (F ′ ) ≃ |it0 (X∗ )| −→ |X∗ | ≃ F ′
is an isomorphism in D− St(k).
An important corollary of Prop. 2.2.2.5 is the following fact.
Corollary 2.2.4.5. For any Artin n-stack, the D− -stack i(F ) has an obstruction
theory.
Proof. Follows from 2.2.2.5 (3) and Cor. 2.2.3.3.
One also deduces from Prop. 2.2.2.5 and Lem. 2.1.1.2 the following corollary.
Corollary 2.2.4.6. Let F be an n-geometric D− -stack. Then, for any A ∈
sk − Alg, such that πi (A) = 0 for i > k, the simplicial set RF (A) is (n + k + 1)-
truncated.
Proof. This is by induction on k. For k = 0 this is Lem. 2.1.1.2 and the fact
that t0 preserves n-geometric stacks. To pass from k to k + 1, we consider for any
A ∈ sk − Alg with πi (A) = 0 for i > k + 1, the natural morphisms
RF (A) −→ RF (A≤k ),
whose homotopy fibers can be described using Prop. 1.4.2.5 and Lem. 2.2.1.1. We
find that this homotopy fiber is either empty, or equivalent to
M apA≤k −Mod (LF,x , πk+1 (A)[k + 1]),
which is (k + 1)-truncated. By induction, RF (A≤k ) is (k + 1 + n)-truncated and the
homotopy fibers of
RF (A) −→ RF (A≤k ),
2.2.5. INFINITESIMAL CRITERIA FOR SMOOTH AND ÉTALE MORPHISMS 159
Another important property of the truncation functor is the following local de-
scription of the truncation t0 (F ) sitting inside the D− -stack F itself.
Proposition 2.2.4.7. Let F be an n-geometric D− -stack. The adjunction mor-
phism it0 (F ) −→ F is a representable morphism. Moreover, for any A ∈ sk − Alg,
and any flat morphism RSpec A −→ F , the square
it0 (F ) /F
O O
it0 (F ) /F
O O
(2) For any A ∈ sk−Alg, any connected M ∈ A−M ods , and any derivation d ∈
π0 (Der(A, M )), the natural projection A ⊕d ΩM −→ A induces a surjective
morphism
π0 (RF (A ⊕d ΩM )) −→ π0 RG(A ⊕d ΩM ) ×hRF (A) RG(A) .
Proof. First of all we can suppose that F and G are fibrant objects in k −
D− Af f ∼,ét .
Suppose first that the morphism f is smooth and let us prove that is satisfies
the two conditions of the proposition. We know by 2.2.4.4 (3) that t0 (f ) is then a
smooth morphism in k − Af f ∼,ét , so condition (1) is satisfied. The proof that (2) is
also satisfied goes by induction on n. Let us start with the case n = −1, and in other
words when f is a smoothand representable morphism.
We fix a point x in π0 G(A ⊕d ΩM ) ×hF (A) G(A) , and we need to show that the
homotopy fiber taken at x of the morphism
F (A ⊕d ΩM ) −→ G(A ⊕d ΩM ) ×hF (A) G(A)
Xd [ΩM ] / G,
Xd [ΩM ] / Xd [ΩM ],
we see that we can replace G be Xd [ΩM ] and f by the projection F ×hG Xd [ΩM ] −→
Xd [ΩM ]. In particular, we can assume that G is a representable D− -stack. The
morphism f can then be written as
f : F ≃ RSpec C −→ RSpec B ≃ G,
and corresponds to a morphism of commutative simplicial k-algebras B −→ C. Then,
using Prop. 1.4.2.6 and Cor. 2.2.3.3 we see that the obstruction for the point x to
lifts to a point in π0 (F (A ⊕d ΩM )) lives in the abelian group [LC/B ⊗LC A, M ]. But,
as B −→ C is assumed to be smooth, the A-module LC/B ⊗LC A is a retract of a free
A-module. This implies that [LC/B ⊗LC A, M ] is a retract of a product of π0 (M ), and
therefore is 0 by hypothesis on M . This implies that condition (2) of the proposition
is satisfied when n = −1.
Let us now assume that condition (2) is satisfied for all smooth m-representable
morphisms for m < n, and let us prove it for a smooth n-representable morphism
f : F −→ G. Using the same trick as above, se see that we can always assume that G
is a representable D− -stack,and therefore that F is ann-geometric D− -stack. Then,
let us chose a point x in π0 G(A ⊕d ΩM ) ×hF (A) G(A) , and we need to show that x
lifts to a point in π0 (F (A ⊕d ΩM )). For this, we use Cor. 2.2.3.3 for F , and consider
2.2.5. INFINITESIMAL CRITERIA FOR SMOOTH AND ÉTALE MORPHISMS 161
its cotangent complex LF,y ∈ Ho(Sp(A − M ods )), where y ∈ F (A) is the image of x.
There exists a natural functoriality morphism
LG,f (y) −→ LF,y
whose homotopy cofiber is LF/G,y ∈ Ho(Sp(A − M ods )). Then, Prop. 1.4.2.6 tell us
that the obstruction for the existence of this lift lives in [LF/G,y , M ]. It is therefore
enough to show that [LF/G,y , M ] ≃ 0 for any M ∈ A − M ods such that π0 (M ) = 0.
Lemma 2.2.5.2. Let F −→ G be a smooth morphism between n-geometric D− -
stacks with G a representable stack. Let A ∈ sk − Alg and y : Y = RSpec A −→ F be
a point. Then the object
LF/G,y ∈ Ho(Sp(A − M ods ))
is perfect, and its dual L∨ ∈ Ho(Sp(A − M ods )) is 0-connective (i.e. belongs to
F/G,y
the image of Ho(A − M ods ) ֒→ Ho(Sp(A − M ods )).
Proof. Recall first that an object in Ho(Sp(A − M ods )) is perfect if and only if
it is finitely presented, and if and only if it is a retract of a finite cell stable A-module
(see Cor. 1.2.3.8, and also [EKMM, III.2] or [Kr-Ma, Thm. III.5.7]).
The proof is then by induction on n. When F is representable, this is by definition
of smooth morphisms, as then LF/G,y is a projective A-module of finite presentation,
and so is its dual. Let us suppose the lemma proved for all m < n, and lets prove
it for n. First of all, the conditions on LF/G,y we need to prove are local for the
étale topology on A, because of Cor. 1.3.7.8. Therefore, one can assume that the
point y lifts to a point of an n-atlas for F . One can thus suppose that there exists a
representable D− -stack U , a smooth morphism U −→ F , such that y ∈ π0 (RF (A))
is the image of a point z ∈ RU (A). There exists an fibration sequence of stable
A-modules
LF/G,y −→ LU/G,z −→ LU/F,z .
As U −→ G is smooth, LU/G,z is a projective A-module. Furthermore, the stable
A-module LU/F,y can be identified with LU×hF Y /Y,s , where s is the natural section
Y −→ U ×hF Y induced by the point z : Y −→ U . The morphism U ×hF Y −→ Y
being a smooth and (n − 1)-representable morphism, induction tells us that the stable
A-module LU/F,y satisfies the conditions of the lemma. Therefore, LF/G,y is the
homotopy fiber of a morphism between stable A-module satisfying the conditions of
the lemma, and is easily seen to satisfies itself these conditions.
By the above lemma, we have
[LF/G,y , M ] ≃ π0 (L∨ L ∨
F/G,y ⊗A M ) ≃ π0 (LF/G,y ) ⊗π0 (A) π0 (M ) ≃ 0
for any A-module M such that π0 (M ) = 0. This finishes the proof of the fact that f
satisfies the conditions of Prop. 2.2.5.1 when it is smooth.
Conversely, let us assume that f : F −→ G is a morphism satisfying the lifting
property of 2.2.5.1, and let us show that f is smooth. Clearly, one can suppose that
G is a representable stack, and thus that F is an n-geometric D− -stack. We need to
show that for any representable D− -stack U and any smooth morphism U −→ F the
composite morphism U −→ G is smooth. By what we have seen in the first part of
the proof, we known that U −→ F also satisfies the lifting properties, and thus so
does the composition U −→ G. We are therefore reduced to the case where f is a
morphism between representable D− -stacks, and thus corresponds to a morphism of
commutative simplicial k-algebras A −→ B. By hypothesis on f , π0 (A) −→ π0 (B) is
a finitely presented morphism of commutative rings. Furthermore, Prop. 1.4.2.6 and
162 2.2. DERIVED ALGEBRAIC GEOMETRY
Cor. 2.2.3.3 show that for any B-module M with π0 (M ) = 0, we have [LB/A , M ] = 0.
Let B (I) −→ LB/A be a morphism of B-modules, with B (I) free over some set I,
and such that the induced morphism π0 (B)(I) −→ π0 (LB/A ) is surjective. Let K be
the homotopy fiber of the morphism B (I) −→ LB/A , that, according to our choice,
induces a homotopy fiber sequence of A-modules
shows that LB/A is a retract of B (I) , and thus is a projective B-module. Furthermore,
the homotopy cofiber sequence
LA ⊗LA B / LB / LB/A ,
The lemma finishes the proof that if f is étale then it satisfies the two conditions
of the proposition.
Conversely, let us assume that f satisfies the properties (1) and (2) of the proposi-
tion. To prove that f is étale we can suppose that G is a representable D− -stack. We
then need to show that for any representable D− -stack U and any smooth morphism
u : U −→ F , the induced morphism v : U −→ G is étale. But Prop. 1.4.2.6 and
164 2.2. DERIVED ALGEBRAIC GEOMETRY
our assumption (2) easily implies LF/G,v ≃ 0. Furthermore, the obstruction for the
homotopy cofiber sequence
LU/G,v / LF/G,u / LU/F,u ,
to splits lives in [LU/F,u , S(LU/G,v )], which is zero by Cor. 2.2.5.3. Therefore, LU/G,v
is a retract of LF/G,u and thus vanishes. This implies that U −→ G is a formally étale
morphism of representable D− -stacks. Finally, our assumption (1) and Cor. 2.2.2.11
implies that U −→ G is an étale morphism as required.
Corollary 2.2.5.6. Let F −→ G be an n-representable morphism of D− -stacks
such that the morphism t0 (F ) −→ t0 (G) is a locally finitely presented morphism of
stacks. The following two conditions are equivalent.
(1) The morphism f is étale.
(2) For any A ∈ sk − Alg and any morphism of stacks x : X = RSpec A −→ F ,
one has LF/G,x ≃ 0.
Proof. This follows from Prop. 2.2.5.4 and Prop. 1.4.2.6.
2.2.6.1. Local systems. Recall from Def. 1.3.7.5 the existence of the D− -stack
Vectn , of rank n vector bundles. Recall by 2.2.2.2 that for A ∈ sk−Alg, an A-module
M ∈ A − Algs is a rank n vector bundle, if and only if M is a strong A-module and
π0 (M ) is a projective π0 (A)-module of rank n. Recall also from Lem. 2.2.2.2 that
vector bundles are precisely the locally perfect modules. The conditions of 1.3.7.12
are all satisfied in the present context and therefore we know that Vectn is a smooth
1-geometric D− -stack. As a consequence of Prop. 2.2.4.4 (4) we deduce that the
D− -stack Vectn is truncated in the sense of 2.2.4.3. We also have a stack of rank
n vector bundles Vectn in St(k). Using the same notations for these two different
objects is justified by the following lemma.
Lemma 2.2.6.1. There exists a natural isomorphism in D− St(k)
i(Vectn ) ≃ Vectn .
Proof. As we know that the D− -stack Vectn is truncated, it is equivalent to
show that there exists a natural isomorphism
Vectn ≃ t0 (Vectn )
∼,τ
in Ho(k − Af f ).
We start by defining a morphism of stacks
Vectn −→ t0 (Vectn ).
For this, we construct for a commutative k-algebra A, a natural functor
φA : A − QCohcW −→ i(A) − QCohcW ,
where i(A) ∈ sk − Alg is the constant simplicial commutative k-algebra associated
to A, and where A − QCohcW and i(A) − QCohcW are defined in §1.3.7. Recall that
A − QCohcW is the category whose objects are the data of a B-module MB for any
morphism A −→ B in k − Alg, together with isomorphisms MB ⊗B B ′ ≃ MB ′ for any
2.2.6. SOME EXAMPLES OF GEOMETRIC D− -STACKS 165
QCoh −→ t0 (QCoh).
We check easily that the sub-stack Vectn of QCoh is sent to the sub-stack t0 (Vectn )
of t0 (QCoh), and therefore we get a morphism of stacks
Vectn −→ t0 (Vectn ).
For a simplicial set K ∈ SSetU , and an object F ∈ k −D− Af f ∼,ét , we can use the
simplicial structure of the category k − D− Af f ∼,ét in order to define the exponential
F K ∈ k − D− Af f ∼,ét . The model category k − D− Af f ∼,ét being a simplicial model
category the functor
is right Quillen, and therefore can be derived on the right. Its right derived functor
will be denoted by
D− St(k) −→ D− St(k)
F 7→ F RK .
Explicitly, we have
F RK ≃ (RF )K
where RF is a fibrant replacement of F in k − D− Af f ∼,ét .
Definition 2.2.6.2. Let K be a U-small simplicial set. The derived moduli stack
of rank n local systems on K is defined to be
Lemma 2.2.6.3. Assume that K is a finite dimensional simplicial set. Then, the
D− -stack RLocn (K) is a finitely presented 1-geometric D− -stack.
166 2.2. DERIVED ALGEBRAIC GEOMETRY
` i+1
` i+1
Hom(∂∆i+1 ,K) ∂∆ Hom(∆i+1 ,K) ∆ ,
/
where Ski K is the skeleton of dimension of i of K. This gives a homotopy pullback
square of D− -stacks
RLocn (Ski+1 K) / RLocn (Ski K)
Qh / Qh
Hom(∆i+1 ,K) RLocn (∆i+1 ) Hom(∂∆i+1 ,K) RLocn (∂∆i+1 ).
simply the category of presheaves on X with values in A−M ods . The model structure
on A − M ods (X) is of the same type as the local projective model structure on
simplicial presheaves. We first define an intermediate model structure on A−M ods (X)
for which equivalences (resp. fibrations) are morphism E −→ F in A − M ods (X)
such that for any open subset U ⊂ X the induced morphism E(U ) −→ F(U ) is an
equivalence (resp. a fibration). This model structure exists as A − M ods is a U-
cofibrantly generated model category, and let us call it the strong model structure.
The final model structure on A − M ods (X) is the one for which cofibrations are
the same cofibrations as for the strong model structure, and equivalences are the
morphisms E −→ F such that for any point x ∈ X the induced morphism on the
stalks Ex −→ Fx is an equivalence in A− M ods . The existence of this model structure
is proved the same way as for the case of simplicial presheaves (we can also use the
forgetful functor A−M ods (X) −→ SP r(X) to lift the local projective model structure
on SP r(X) in a standard way).
For a commutative simplicial k-algebra A, we consider A − M ods (X)cW , the sub-
category of A − M ods (X) consisting of cofibrant objects and equivalences between
them. For a morphism of commutative simplicial k-algebras A −→ B, we have a base
change functor
A − M ods (X) −→ B − M ods (X)
E 7→ E ⊗A B
which is a left Quillen functor, and therefore induces a well defined functor
− ⊗A B : A − M ods (X)cW −→ B − M ods (X)cW .
This defines a lax functor A 7→ A − M ods (X)cW , from sk − Alg to Cat, which can be
strictified in the usual way. We will omit to mention explicitly this strictification here
and will do as if A 7→ A − M ods (X)cW does define a genuine functor sk − Alg −→ Cat.
We then define a sub-functor of A 7→ A − M ods (X)cW in the following way. For
A ∈ sk − Alg, let A− Locn (X) be the full subcategory of A− M ods (X)cW consisting of
objects E, such that there exists an open covering {Ui } on X, such that each restriction
E|Ui is isomorphic in Ho(A− M ods (Ui )) to a constant presheaf with fibers a projective
A-module of rank n (i.e. projective A-module E such that π0 (E) is a projective π0 (A)-
module of rank n). This defines a sub-functor of A 7→ A − M ods (X)cW , and thus a
functor from sk − Alg to Cat. Applying the nerve functor we obtain a simplicial
presheaf RLocn (X) ∈ k − D− Af f ∼,ét , defined by
RLocn (X)(A) := N (A − Locn (X)).
Proposition 2.2.6.5. Let K be a simplicial set in U and |K| be its topological
realization. The simplicial presheaf RLocn (|K|) is a D− -stack, and there exists an
isomorphism in D− St(k)
RLocn (|K|) ≃ RLocn (K).
Proof. We first remark that if f : X −→ X ′ is a homotopy equivalence of
topological spaces, then the induced morphism
f ∗ : RLocn (X ′ ) −→ RLocn (X ′ )
is an equivalence of simplicial presheaves. Indeed, a standard argument reduces to
the case where f is the projection X × [0, 1] −→ X, and then to [0, 1] −→ ∗, for which
one can use the same argument as in [To3, Lem. 2.16].
Let us first prove that RLocn (|K|) is a D− -stack, and for this we will prove
that the simplicial presheaf RLocn (|K|) can be written, in SP r(k − D− Af f ), as a
certain homotopy limit of D− -stacks. As D− -stacks in SP r(k − D− Af f ) are stable
by homotopy limits this will prove what we want.
168 2.2. DERIVED ALGEBRAIC GEOMETRY
But, by [To3, Lem. 2.10], we know that |K| is homotopically equivalent to |K ′ |, and
thus that K is equivalent to K ′ . This implies that
′
RLocn (|K|) ≃ (Vectn )RK ≃ (Vectn )RK ≃ RLocn (|K|).
We will now describe the cotangent complex of RLocn (K). For this, we fix a
global point
E : ∗ −→ RLocn (K),
which by Lem. 2.2.6.4 corresponds to a functor
E : Π1 (K) −→ Π1 (Vectn (k)),
where Π1 (Vectn (k)) can be identified with the groupoid of rank n projective k-
modules. The object E is thus a local system of rank n projective k-modules on K in
the usual sense. We will compute the cotangent complex LRLocn (K),E ∈ Ho(Sp(sk −
M od)) (recall that Ho(Sp(sk − M od)) can be naturally identified with the unbounded
derived category of k). For this, we let E ⊗k E ∨ be the local system on K of endo-
morphisms of E, and C∗ (K, E ⊗k E ∨ ) will be the complex of homology of K with
coefficients in the local system E⊗k E ∨ . We consider C∗ (K, E⊗k E ∨ ) as an unbounded
complex of k-modules, and therefore as an object in Ho(Sp(sk − M od)).
Proposition 2.2.6.6. There exists an isomorphism in Ho(Sp(sk − M od)) ≃
Ho(C(k))
LRLocn (K),E ≃ C∗ (K, E ⊗k E ∨ )[−1].
2.2.6. SOME EXAMPLES OF GEOMETRIC D− -STACKS 169
π0 (HomEq ′
k−Mods (E, E )) ≃ G(k)(E,E ′ ) .
on the simplicial sets of morphisms. Clearly, Prop. A.0.6 and its functorial properties,
show that the morphism
Vectn (k ⊕ M ) −→ Vectn (k)
is equivalent to
N (G(k ⊕ M )) −→ N (G(k)),
and in a functorial way in M .
For any E ∈ G(k), we can consider the classifying simplicial set K(E ⊗k E ∨ ⊗k
M, 1) of the simplicial abelian group E ⊗k E ∨ ⊗k M , and for any isomorphism of
projective k-modules of rank n, E ≃ E ′ , the corresponding isomorphism of simplicial
set
K(E ⊗k E ∨ ⊗k M, 1) ≃ K(E ′ ⊗k (E ′ )∨ ⊗k M, 1).
This defines a local system L of simplicial sets on the groupoid G(k), for which the
total space
HocolimG(k) L −→ N (G(k))
is easily seen to be isomorphic to the projection
N (G(k ⊕ M )) −→ N (G(k)).
The conclusion is that the natural projection
Vectn (k ⊕ M ) −→ Vectn (k)
is equivalent, functorially in M , to the total space of the local system E 7→ K(E ⊗k
E ∨ ⊗k M, 1) on Vectn (k). Therefore, one finds a natural equivalence of simplicial
sets
DerE (RLocn (K), M ) ≃ M apSSet/Vectn (k) (K, Vectn (k ⊕ M )) ≃
170 2.2. DERIVED ALGEBRAIC GEOMETRY
Proof. (1) The proof relies on the standard argument based on Cor. B.0.8, and
is left to the reader.
^
It is enough by Prop. 1.3.3.4 to show that Alg O
n is a representable stack. For this,
^
we use [Re, Thm. 1.1.5] in order to show that the D− -stack Alg O
is isomorphic in
n
D− St(k) to M ap(O, End(k n )), defined as follows. For any A ∈ sk − Alg, we consider
End(An ), the operad in A − M ods of endomorphisms of the object An (recall that for
M ∈ A−M ods , the operad End(M ) is defined by End(M )(n) := HomA (M ⊗k n , M )).
We let QO be a cofibrant replacement of the operad O in the model category sk−M od.
Finally, M ap(O, End(k n )) is defined as
sk − Alg −→ SSet
A 7→ M ap(O, End(k n ))(A) := HomOp (QO, End(An )),
where HomOp denotes the simplicial set of morphism in the simplicial category of
^
operads in sk − M od. As we said, [Re, Thm. 1.1.5] implies that Alg O
is isomor-
n
phic to M ap(O, End(k n )). Therefore, it remain to show that M ap(O, End(k n )) is a
representable D− -stack.
For this, we can write O, up to an equivalence, as the homotopy colimit of free
operads
O ≃ Hocolimi Oi .
Then, we have
M ap(O, End(k n )) ≃ Holimi M ap(Oi , End(k n ))
and as representable D− -stacks are stable by homotopy limits, we are reduced to the
case where O is a free operad. This means that there exists an integer m ≥ 0, such
that for any other operad O′ in sk − M od, we have a natural isomorphism of sets
HomOp (O, O′ ) ≃ Hom(k, O′ (m)).
In particular, we find that the D− -stack M ap(O, End(k n )) is isomorphic to the D− -
stack sending A ∈ sk − Alg to the simplicial set HomA−Mods ((An )⊗k m , A), of mor-
phisms from the A-module (An )⊗k m to A. But this last D− -stack is clearly isomorphic
m
to RSpec B, where B is a the free commutative simplicial k-algebra on k n , or in other
words a polynomial algebra over k with nm variables.
172 2.2. DERIVED ALGEBRAIC GEOMETRY
TAlgO
n ,B
≃ RDer O
k (B, B)[1] ∈ Ho(Sp(sk − M od)).
sk − Alg −→ SSet
A 7→ M apeq
O−Algs (B, B ⊗k A)
where M apeq O−Algs denotes the mapping space of equivalences in the category of O-
algebras in sA − M od. In particular, we see that for M ∈ sk − M od, the simplicial set
DerΩB AlgOn
(B, M ) is naturally equivalent to the homotopy fiber, taken at the identity,
of the morphism
M apO−Algs (B, B ⊗k (k ⊕ M )) −→ M apO−Algs (B, B).
2.2.6. SOME EXAMPLES OF GEOMETRIC D− -STACKS 173
Rét Hom(F ′ , F )(A) / Rét Hom(F ′ , F )(A ⊕ M )
is equivalent to the commutative square
RF ((A ⊕d ΩM ) ⊗Lk B) / RF (A ⊗L B)
k
RF (A ⊗Lk B) / RF ((A ⊕ M ) ⊗L B).
k
Using the F is inf-cartesian with respect to A ⊗Lk B ∈ sk − Alg, and the derivation
d⊗k B ∈ π0 (Der(A⊗Lk B, M ⊗Lk B)) implies that this last square is homotopy cartesian.
This shows that Rét Hom(F ′ , F ) is inf-cartesian.
In order to finish the proof of Thm. 2.2.6.11 it only remain to show that Map(X, F )
also satisfies the condition (c) of Thm. 2.2.6.12. For this, we write X as Hocolimi Ui
with Ui affine and flat over k, and therefore Map(X, F ) can be written as the ho-
motopy limit Holimi Map(Ui , F ). In order to check condition (c) we can therefore
assume that X is an affine scheme, flat over k. Let us write X = Spec B, with B a
commutative flat k-algebra. Then, for any A ∈ sk − M od, the morphism
RMap(X, F )(A) −→ Holimk RMap(X, F )(A≤k )
is equivalent to
RF (A ⊗k B) −→ Holimk RF ((A≤k ) ⊗k B).
But, as B is flat over k, we have (A≤k ) ⊗k B ≃ (A ⊗k B)≤k , and therefore the above
morphism is equivalent to
RF (A ⊗k B) −→ Holimk RF ((A ⊗k B)≤k )
and is therefore an equivalence by (1) ⇒ (2) of Thm. 2.2.6.12 applied to F .
2.2.6. SOME EXAMPLES OF GEOMETRIC D− -STACKS 175
The following corollaries are direct consequences of Thm. 2.2.6.11. The only non
trivial part consists of proving the existence of a cotangent complex, which we will
assume in the present version of this work.
Corollary 2.2.6.14. Let X be a projective and flat scheme over Spec k, and Y
a projective and smooth scheme over Spec k. Then, the D− -stack Map(i(X), i(Y )) is
a 1-geometric D− -scheme. Furthermore, for any morphism of schemes f : X −→ Y ,
the cotangent complex of Map(i(X), i(Y )) at the point f is given by
LMap(i(X),i(Y )),f ≃ (C ∗ (X, f ∗ (TY )))∨ ,
where TY is the tangent sheaf of Y −→ Spec k.
Let us now suppose that k = C is the field of complex numbers, and let X be a
smooth and projective variety. We will be interested in the sheaf XDR of [S1], defined
by XDR (A) := Ared , for a commutative C-algebra A. Recall that the stack MDR (X)
is defined as the stack of morphisms from XDR to Vectn , and is identified with the
stack of flat bundles on X (see [S1]). It is known that MDR (X) is an Artin 1-stack.
Corollary 2.2.6.15. The D− -stack RMDR (X) := Map(i(XDR ), Vectn ) is 1-
geometric. For a point E : ∗ −→ RMDR (X), corresponding to a flat vector bundle E
on X, the cotangent complex of RMDR (X) at E is given by
∗
LRMDR (X),E ≃ (CDR (X, E ⊗ E ∗ ))∨ [−1],
∗
where CDR (X, E ⊗ E ∗ ) is the algebraic de Rham cohomology of X with coefficients in
the flat bundle E ⊗ E ∗ .
Corollary 2.2.6.15 is only the beginning of the story; in fact we can also produce,
in a similar way, RMDol (X) and RMHod (X), which are derived versions of the
moduli stacks of Higgs bundles and λ-connections of [S1], and this would lead us to a
derived version of non-abelian Hodge theory. We think this is very interesting research
direction because these derived moduli also encode higher homotopical data in their
tangent complexes. We hope to come back to this topic in a future work.
CHAPTER 2.3
The first new feature of complicial algebraic geometry is the existence of two in-
teresting choices for the subcategory C0 , both of them of particular interest depending
on the context. We let C(k)≤0 be the full subcategory of C(k) consisting of complexes
E such that πi (E) = 0 for any i < 0 (or equivalently, such that H i (E) = 0 for all
i > 0, which explains better the notation). We also set k − cdga0 to be the full sub-
category of k − cdga consisting of A ∈ k − cdga such that πi (A) = 0 for any i 6= 0. In
the same way we denote by k − cdga≤0 for the full subcategory of k − cdga consisting
of A such that πi (A) ≡ H −i (A) = 0 for any i < 0.
Proof. The only non-trivial point is to show that any A ∈ k − cdga0 is C(k)≤0 -
good in the sense of Def. 1.1.0.10. By definition A is equivalent to some usual
commutative k-algebra, so we can replace A by k itself. We are then left to prove
that the natural functor
Ho(C(k))op −→ Ho((C(k)op ∧
≤0 ) )
is fully faithful.
To prove this, we consider the restriction functor
i∗ : Ho((C(k)op )∧ ) −→ Ho((C(k)op ∧
≤0 ) )
induced by the inclusion i : C(k)≤0 ⊂ C(k). We restrict the functor i∗ to the full
sub-categories of corepresentable objects
for some object E ∈ C(k) (i.e. it belongs the essential image of Ho(C(k))op −→
Ho((C(k)op ∧ ∗
≤0 ) ). We claim that this restricted functor i is an equivalence of cate-
gories. Indeed, an inverse f can be constructed by sending a functor F : C(k)≤0 −→
SSet to the functor
f (F ) : C(k) −→ SSet
D 7→ Holimn≥0 Ωn F (D(≤ n)[n]),
To finish the proof, it is enough to notice that there exists a commutative diagram
(up to a natural isomorphism)
Rh
Ho(C(k))op / Ho((C(k))∧ )corep
RRR
RRR
RRR i∗
RRR
R(
Ho((C(k)op
≤0 ) )
∧ corep
.
The Yoneda embedding Rh being fully faithful, this implies that the functor
Ho(C(k))op −→ Ho((C(k)op ∧
≤0 ) )
(2) For flat morphisms there is nothing to prove, as all morphisms are flat in the
sense of Def. 1.2.6.1 since the model category C(k) is stable. Let us suppose that
f : A −→ B is strongly smooth (resp. strongly étale, resp. a strong Zariski open
immersion). we can consider the morphism induced on the (−1)-connected covers
f ′ : A′ −→ B ′ ,
where we recall that the (−1)-connected cover A′ −→ A induces isomorphims on πi
for all i ≥ 0, and is such that πi (A′ ) = 0 for all i < 0. As the morphism f is strongly
flat that the square
f′
A′ / B′
A /B
f
is homotopy co-cartesian. Therefore, as our notions of smooth, étale and Zariski open
immersion are stable by homotopy push-out, it is enough to show that f ′ is smooth
(resp. étale, resp. a Zariski open immersion). But this follows from (1).
Example 2.3.1.5. Before going further into complicial algebraic geometry we
would like to present an example illustrating the difference between the strong notions
of flat, smooth, étale and Zariski open immersion and the general notions presented
in §1.2, showing in particular that proposition 2.3.1.4 (2) does not have a converse.
Let A be any commutative k-algebra, X = Spec A the corresponding affine
scheme, and U ⊂ X be a quasi-compact open subscheme. It is easy to see that
there exists a perfect complex of A-modules K, such that U is the open subscheme of
X on which K is acyclic. By Prop. 1.2.10.1 there exists then a morphism A −→ AK
in k − cdga which is a Zariski open immersion. Moreover, the universal property
of A −→ AK shows that if AK is cohomologically concentrated in degree 0 then U
is affine and we have U ≃ Spec π0 (AK ). Therefore, as soon as U is not affine, AK
cannot be concentrated in degree 0. The morphism A −→ AK is thus a Zariski open
immersion, and therefore étale, but is not a strong morphism.
This example also shows that if the scheme U is considered as a scheme over C(k)
(see §2.3.5.1), then U is equivalent to RSpec AK , and thus is affine as a stack over
C(k), even though U is not necessarily an affine subscheme of X over k.
P ≃ A ⊗LAi Pi .
2.3.3. EXAMPLES OF WEAKLY GEOMETRIC D-STACKS 183
is a 1-atlas for Perf . This finishes the proof that Perf is weakly 1-geometric.
2.3.3.2. The D-stacks of dg-algebras and dg-categories. We consider for
any A ∈ k − cdga the model category A − dga, of associative and unital A-algebras
(in U). The model structure on A − dga is the usual one for which equivalences
are quasi-isomorphisms and fibrations are epimorphisms. We consider Ass(A) to be
the subcategory of A − dga consisting of equivalences between objects B ∈ A − dga
satisfying the following two conditions.
• The object B is cofibrant in A − dga.
• The underlying A-dg-module of B is perfect.
For a morphism A −→ A′ in k − cdga, we have a base change functor
A′ ⊗A − : Ass(A) −→ Ass(A′ ),
making A 7→ Ass(A) into a pseudo-functor on k −cdga. Using the usual strictification
procedure, and passing to the nerve we obtain a simplicial presheaf
Ass : k − DAf f −→ SSetV
A 7→ N (Ass(A)).
Proposition 2.3.3.2. (1) The simplicial presheaf Ass is a D-stack.
(2) The natural projection Ass −→ Perf , which forget the algebra structure, is
(−1)-representable.
184 2.3. COMPLICIAL ALGEBRAIC GEOMETRY
Proof. This is the same argument as for Prop. 2.2.6.8. We see using [Re, Thm.
^
1.1.5] that Ass E is the D-stack (over Spec A) M ap(Ass, REnd(E)), of morphisms
from the associative operad to the the (derived) endomorphism operad of E, defined
the same way as in the proof of 2.2.6.8. Again the same argument as for 2.2.6.8,
consisting of writing Ass as a homotopy colimit of free operads, reduces the statement
of the lemma to prove that for a perfect A-dg-module K of, the D-stack
A − cdga −→ SSet
A′ 7→ M ap(C(k)) (K, A′ )
is representable. But this is true as it is equivalent to RSpec B, where B is the
(derived) free A-cdga over K.
The previous lemma shows that Ass −→ Perf is a (−1)-representable morphism,
and finishes the proof of Prop. 2.3.3.2.
Corollary 2.3.3.4. The D-stack Ass is weakly 1-geometric.
Proof. Follows from Prop. 2.3.3.1 and Prop. 2.3.3.2.
We now consider a slight modification of Ass, by considering dg-algebras as dg-
categories with only one objects. For this, let A ∈ k − cdga. Recall that a A-dg-
category is by definition a category enriched over the symmetric monoidal category
A − M oddg , of A-dg-modules. More precisely, a A-dg-category D consists of the
following data
• A set of objects Ob(D).
• For any pair of objects (x, y) in Ob(D) an A-dg-module D(x, y).
• For any triple of objects (x, y, z) in Ob(D) a composition morphism
D(x, y) ⊗A D(y, z) −→ D(x, z),
which satisfies the usual unital and associativity conditions.
The A-dg-categories (in the universe U) form a category A − dgCat, with the
obvious notion of morphisms. For an A − dg-category D, we can form a category
π0 (D), sometimes called the homotopy category of D, whose objects are the same
as D and for which morphisms from x to y is the set π0 (D(x, y)) (with the obvious
induced compositions). The construction D 7→ π0 (D) defines a functor from A−dgCat
to the category of U-small categories. Recall that a morphism f : D −→ E is then
called a quasi-equivalence (or simply an equivalence) if it satisfies the following two
conditions.
• For any pair of objects (x, y) in D the induced morphism
fx,y : D(x, y) −→ E(f (x), f (y))
is an equivalence in A − M oddg .
• The induced functor
π0 (f ) : π0 (D) −→ π0 (E)
is an equivalence of categories.
2.3.3. EXAMPLES OF WEAKLY GEOMETRIC D-STACKS 185
where S 1 ⊗L 1 is computed in the model category A − dgCat. One can easily check
that one has an isomorphism in 1/A − dgCat
S 1 ⊗L 1 ≃ B(A[T, T −1 ]),
where A[T, T −1 ] := A ⊗k k[T, T −1]. Therefore, there is a natural equivalence
M ap1/A′ −dgCat (S 1 ⊗L 1, B(B ⊗LA A′ )) ≃ M apA−dga (A[T, T −1 ], B ⊗LA A′ ),
and thus the D-stack ΩB F can also be described by
ΩB F : A − cdga −→ SSetV
(A → A′ ) 7→ M apA−dga (A[T, T −1 ], B ⊗LA A′ ).
K(B ∗ , 1) / RSpec A.
The previous proposition shows that any n-geometric D− -stack gives rise to an
n-geometric D-stack, and thus provides us with a lot of examples of those.
We define a sub-D-stack Perf CW [a,b] ⊂ Perf , consisting of all perfect modules locally
equivalent to some CW-dg-modules of amplitude contained in [a, b]. Precisely, for
A ∈ k − cdga, Perf CW[a,b] (A) is the sub-simplicial set of Perf (A) which is the union
of all connected components corresponding to A-dg-modules M such that there is
an s-ét covering A −→ A′ with A′ ⊗LA M a perfect CW-A′ -dg-module of amplitude
contained in [a, b].
Proposition 2.3.5.4. The D-stack Perf CW
[a,b] is 1-geometric.
F′ / RSpec A.
p′
FO ′ / Vect ×h RSpec A
O
F0′ / RSpec A,
where the section RSpec A −→ Vect correspond to a trivial rank r vector bundle
Ar . It only remains to show that the morphism F0′ −→ RSpec A is fip-smooth. The
D-stack F0′ over A can then be easily described (using for example our general Cor.
B.0.8) as
F0′ : A − cdga −→ SSetV
(A → A′ ) 7→ M apA−Mod (K[−1], Ar ).
In other words, we can write F0′ ≃ RSpec B, where B is the derived free A − cdga
over (K[−1])r . But, as K is a perfect CW-A-dg-module of amplitude contained in
[−1, n − 1], (K[−1])r is a perfect CW A-dg-module of amplitude contained in [0, n].
The proposition will then follow from the general lemma.
2.3.5. EXAMPLES OF GEOMETRIC D-STACKS 191
Let A ∈ k − cdga, and recall that the forgetful functor A − cdga −→ A − M oddg
is right Quillen, and that its derived left adjoint
Ho(A − M oddg ) −→ Ho(A − cdga)
sends, by definition, an A-module E to the derived free A-cdga over E.
Lemma 2.3.5.5. Let A ∈ k − cdga, and K be a perfect CW-A-dg-module of am-
plitude contained in [0, n]. Let B be the derived free A − cdga over K, and
p : Y := RSpec B −→ X := RSpec A
be the natural projection. Then p is fip-smooth.
Proof. Let k ′ be any commutative k-algebra, and B −→ k be any morphism
in Ho(k − cdga), corresponding to a point x : Spec k −→ X. Then, we have an
isomorphism in D(k ′ )
LY /X,x ≃ K ⊗LA k ′ .
We thus see that LY /X,x is a perfect complex of k ′ -modules of Tor amplitude concen-
trated in degrees [0, n]. In particular, it is clear that for any complex M of k ′ -modules
such that πi (M ) = 0 for any i > 0, then we have
[LY /X,x , M ]D(k′ ) ≃ π0 (L∨ L
Y /X,x ⊗k′ M ) ≃ 0.
This shows that the A-algebra B is fip-smooth, and thus shows the lemma.
The previous lemma finishes the proof of the proposition.
A direct consequence of Prop. 2.3.5.4 and Thm. 1.4.3.2 is the following.
Corollary 2.3.5.6. The D-stack Perf CW [a,b] has an obstruction theory (relative
to the HA context (C(k), C(k)≤0 , k − cdga0 ). For any A ∈ k − cdga0 and any point
E : X := RSpec A −→ Perf CW[a,b] corresponding to a perfect CW-A-dg-module E, there
are natural isomorphisms in Ho(A − M oddg )
LPerf CW ,E ≃ E ∨ ⊗LA E[−1]
[a,b]
Proof. The first part of the corollary follows from our Thm. 1.4.3.2 and Prop.
2.3.5.4. Let A and E : X := RSpec A −→ Perf CW [a,b] as in the statement. We have
Moreover, ΩE Perf CW
[a,b]≃ RAut(E), where RAut(E) is the D-stack of self-equivalences
of the perfect module E as defined in §1.3.7. By Prop. 1.3.7.14 we know that RAut(E)
is representable, and furthermore that the natural inclusion morphism
RAut(E) −→ REnd(E)
is a formally étale morphism of representable D-stacks. Therefore, we have
LΩE Perf CW ,E ≃ LREnd(E),Id .
[a,b]
Finally, we have
REnd(E) ≃ RSpec B,
where B is the derived free A-cdga over E ∨ ⊗LA E. This implies that
LREnd(E),Id ≃ E ∨ ⊗LA E,
and by what we have seen that
LPerf CW ,E ≃ E ∨ ⊗LA E[−1].
[a,b]
192 2.3. COMPLICIAL ALGEBRAIC GEOMETRY
Remark 2.3.5.7. (1) It is important to note that, if
N ∗ : DSt(k) −→ D− St(k)
denotes the restriction functor, we have
N ∗ (Perf CW
[a,b] ) ≃ Perf [a,b] ,
Perf CW
[a,b]
/ Perf .
Perf CW
[a,b]
/ Perf .
We then set
RDerk (B, M ) := RHomB⊗Lk B op −Mod (LAss
B , M ) ∈ Ho(C(k)),
where RHomB⊗Lk B op −Mod denotes the Ho(C(k))-enriched derived Hom’s of the C(k)-
model category B ⊗Lk B op − M oddg .
Corollary 2.3.5.9. The D-stack AssCW [a,b] is 1-geometric. For any global point
CW
B : Spec k −→ Ass[a,b] , corresponding to an associative k-dga B, one has a natural
isomorphism in Ho(C(k))
TAssCW ,B ≃ RDerk (B, B)[1].
[a,b]
The identification
TΩB AssCW ,B ≃ RDer k (B, B)
[a,b]
follows from the exact same argument as Prop. 2.2.6.9, using LAss
B instead of LO
B.
Proof. (1) Using Cor. 2.3.3.7, it is enough to show that for any A ∈ k − cdga,
and any associative A-algebra C, which is a perfect CW-A-dg-module of amplitude
contained in [n, 0], the morphism of D-stack K(C ∗ , 1) −→ RSpec A is 1-representable
and fip-smooth. For this it is clearly enough to show that the D-stack C ∗ is rep-
resentable and that the morphism C ∗ −→ RSpec A is fip-smooth. We already have
seen during the proof of Prop. 2.3.3.5 that C ∗ is representable and a Zariski open
sub-D-stack of RSpec F , where F is the free A-cdga over C ∨ . It is therefore enough
to see that A −→ F is fip-smooth, which follows from Lem. 2.3.5.5 as by assumption
C ∨ is a perfect CW-A-dg-module of amplitude contained in [0, n].
(3) We consider a point C : Spec k −→ AssCW [n, 0], and the homotopy cartesian
square
AssCW / CatCW
O [n,0] ∗,[n,0]
O
C
K(C ∗ , 1) / Spec k.
By (2), Cor. 2.3.5.9 and Thm. 1.4.3.2 we know that all the stacks in the previous
square have an obstruction theory, and thus a cotangent complex (relative to the
HA context (C(k), C(k)≤0 , k − cdga0 )). Therefore, one finds a homotopy fibration
sequence of complexes of k-modules
TK(C ∗ ,1),∗ / TAssCW ,C / TCatCW ,BC
[n,0] ∗,[n,0]
The morphism C −→ RDer k (C, C) can be described in the following way. The C-
bi-dg-module LAss
C can be easily identified with the homotopy fiber (in the model
category of C ⊗Lk C op -dg-modules) of the multiplication morphism
C ⊗Lk C op −→ C.
The natural morphism LAss
C −→ C ⊗Lk C op then induces our morphism on the level of
derivations
C ≃ RHomC⊗Lk C op −Mod (C⊗Lk C op , C) −→ RHomC⊗Lk C op −Mod (LAss
C , B) ≃ RDer k (C, C).
In particular, we see that there exists a natural homotopy fiber sequence in C(k)
HHk (C, C) = RHomC⊗Lk C op −Mod (C, C) /C / RDer (C, C).
k
2.3.5. EXAMPLES OF GEOMETRIC D-STACKS 195
In the above corollary we have used HHk (D, D), the Hochschild complex of a
dg-category D. It is defined the same way as for associative dg-algebras, and when D
is equivalent to BC for an associative dg-alegbra C we have
HHk (D, D) ≃ HHk (C, C).
Finally, we would like to mention that restricting to negatively graded dg-categories
seems difficult to avoid if we want to keep the existence of a cotangent complex.
Corollary 2.3.5.13. Assume that k is a field. Let C ∈ AssCW [a,b] (k) be a k-point
corresponding to an associative dg-algebra C. If we have H i (C) 6= 0 for some i > 0
then the D-stack Cat∗ does not have a cotangent complex at the point BC.
Proof. Suppose that Cat∗ does have a cotangent complex at the point BC.
Then, as so does the D-stack AssCW[a,b] (by Cor. 2.3.5.9), we see that the homotopy
fiber, taken at the point BC, of the morphism B : Ass −→ Cat∗ has a cotangent
complex at C. This homotopy fiber is K(C ∗ , 1) (see Cor. 2.3.3.7), and thus we would
have
LK(C ∗ ,1),C ≃ C ∨ [−1].
Let k[ǫi−1 ] be the square zero extension of k by k[i − 1] (i.e. ǫi−1 is in degree −i + 1),
for some i > 0 as in the statement. We now consider the homotopy fiber sequence
M apC(k) (C ∨ [−1], k[i − 1]) / K(C ∗ , 1)(k[ǫi−1 ]) / K(C ∗ , 1)(k).
This shows that the last morphism must be injective, which can not be the case as
soon as H i (C) 6= 0.
196 2.3. COMPLICIAL ALGEBRAIC GEOMETRY
Remark 2.3.5.14. (1) Some of the results in Thm. 2.3.5.11 were announced
in [To-Ve2, Thm. 5.6]. We need to warn the reader that [To-Ve2, Thm.
^O briefly given before that
5.6] is not correct for the description of RCat
theorem (the same mistake appears in [To2, Thm. 4.4]). Indeed, RCat ^O
would correspond to isotrivial deformations of dg-categories, for which the
underlying complexes of morphisms stays locally constant. Therefore, the
^O can not be the full Hochschild complex as stated
tangent complex of RCat
in [To-Ve2, Thm. 5.6]. Our theorem 2.3.5.11 corrects this mistake.
(2) We like to consider our Thm. 2.3.5.11 (3) and Cor. 2.3.5.12 as a possible
explanation of the following sentence in [Ko-So, p. 266]:
“In some sense, the full Hochschild complex controls deformations of the
A∞ -category with one object, such that its endomorphism space is equal to
A.”
as we pass from the former to the latter by taking tangent complexes at the
point C.
(3) We saw in Cor. 2.3.5.13 that the full D-stack Cat∗ can not have a reasonable
infinitesimal theory. We think it is important to mention that even Cor.
2.3.5.12 cannot reasonably be true if we remove the assumption that D(x, y)
is of Tor-amplitude contained in [n, 0] for some n ≤ 0. Indeed, for any
commutative k-algebra k ′ , the morphism
B : Ass(k ′ ) −→ Cat∗ (k ′ )
is easily seen to induce an isomorphism on π0 and a surjection on π1 . From
this and the fact that TAss,C = RDer k (C, C)[1], we easily deduce that the
natural morphism
π0 (RDer k (C, C)[1]) −→ π0 (DefBC )
is surjective. Therefore, if Cor. 2.3.5.12 were true for D = BC, we would
have that the morphism
H 1 (RDerk (C, C)) −→ HH2 (C, C)
is surjective, or equivalently that the natural morphism
H 2 (C) −→ H 2 (RDerk (C, C))
is injective. But this is not the case in general, as the morphism C −→
RDer k (C, C) can be zero (for example when C is commutative). It is there-
fore not strictly correct to state that the Hochschild cohomology of an as-
sociative dg-algebra controls its deformation as a dg-category, contrary to
what appears in several references (including some of the authors !).
(4) For n = 0, we can easily show that the restriction N ∗ (CatCW −
∗,[0,0] ) ∈ D St(k)
is a 2-geometric D− -stack in the sense of §2.2. Furthermore, its truncation
t0 N ∗ (CatCW
∗,[0,0] ) ∈ Ho(k − Af f
∼,et
) is naturally equivalent to the Artin
2-stack of k-linear categories with one object. The tangent complex of
2.3.5. EXAMPLES OF GEOMETRIC D-STACKS 197
In this final chapter we briefly present brave new algebraic geometry1, i.e. alge-
braic geometry over ring spectra. We will emphasize the main differences with derived
algebraic geometry, and the subject will be studied in more details in future works.
As in the case of complicial algebraic geometry, we will present two distinct HAG
contexts (see Cor. 2.4.1.11) which essentially differs in the choice of the class P.
The first one, where P is chosen to be the class of strongly étale morphisms (see
Def. 2.4.1.3), is suited for defining brave new Deligne-Mumford stacks, and, as all
the contexts based on “strong” morphisms, it is geometrically very close to usual
algebraic geometry. The second HAG context, where P is chosen to be the class of
fip-smooth morphisms (i.e. formally perfect and formally i-smooth morphisms), is
weaker and is similar to the corresponding weak context already presented in com-
plicial algebraic geometry: it allows to define brave new geometric stacks which are
not Deligne-Mumford. Since the notion of fip-smooth morphism for brave new rings
behaves differently from commutative rings (see Prop. 2.4.1.5), the geometric intu-
ition in this context is once again a bit far from standard algebraic geometry (e.g.
smooth morphisms are not necessary flat). Nonetheless we think that this context
is very interesting, as it is not only geometrically reasonable (e.g. it satisfies Artin’s
conditions), but it is also able to “see” some of the interesting new phenomena arising
in the theory of structured ring spectra.
199
200 2.4. BRAVE NEW ALGEBRAIC GEOMETRY
Proof. The only thing to check is that any object A ∈ S − Alg0 is SpΣ
c -good in
the sense of Def. 1.1.0.10. Thanks to the equivalence between the homotopy theory
of Hk-modules and of complexes of k-modules (see [EKMM, Thm. IV.2.4]), this has
already been proved during the proof of Lem. 2.3.1.1 (2) .
The following example lists some classes of formally étale maps in brave new
algebraic geometry, according to our general definitions in Chapter 1.1.
Example 2.4.1.2.
(1) If A and B are connective S-algebras, a morphism A → B is formally thh-
étale if and only if it is formally étale ([Min, Cor. 2.8]).
(2) A morphism of (discrete) commutative rings R → R′ is formally étale if and
only if the associated morphism HR → HR′ of bn rings is formally étale
if and only if the associated morphism HR → HR′ of bn rings is formally
thh-étale ([HAGI, §5.2]).
(3) the complexification map KO → KU is thh-formally étale (by [Ro, p. 3])
hence formally étale. More generally, the same argument shows that any
Galois extension of bn rings, according to J. Rognes [Ro], is formally thh-
étale, hence formally étale.
(4) There exist examples of formally étale morphisms of bn-rings which are not
thh-étale (see [Min] or [HAGI, §5.2]).
As in the case of complicial algebraic geometry (Ch. 2.3) we find it useful to
introduce also strong versions for properties of morphisms between commutative S-
algebras.
Definition 2.4.1.3. (1) Let A ∈ S − Alg, and M be an A-module. The
A-module M is strong if the natural morphism
π∗ (A) ⊗π0 (A) π0 (M ) −→ π∗ (M )
is an isomorphism.
(2) A morphism A −→ B in S − Alg is strongly flat (resp. strongly (formally)
smooth, resp. strongly (formally) étale, resp. a strong Zariski open immer-
sion) if B is strong as an A-module, and if the morphism of affine schemes
Spec π0 (B) −→ Spec π0 (A)
is flat (resp. (formally) smooth, resp. (formally) étale, resp. a Zariski open
immersion).
One of the main difference between derived algebraic geometry and unbounded
derived algebraic geometry was that the strong notions of flat, smooth, étale and
Zariski open immersion are not as easily related to the corresponding general notions
presented in §1.2. In the present situation, the comparison is even more loose as
2.4.1. TWO HAG CONTEXTS 201
The reader will notice that the proof of Thm. 2.2.2.6 (2) does not apply to the
present context as a smooth morphism of commutative rings is in general not smooth
when considered as a morphism of commutative S-algebras. The typical example of
this phenomenon is the following.
Proposition 2.4.1.5. • The canonical map HQ → H(Q[T ]) is smooth,
i-smooth and perfect.
• The canonical map HFp → H(Fp [T ]) is strongly smooth but not formally
smooth, nor formally i-smooth (Def. 1.2.7.1).
Proof. For any discrete commutative ring k, we have a canonical map ak :
Hk[T ] := FHk (Hk) → H(k[T ]) of commutative Hk-algebras, corresponding to the
map H(k → k[T ]) pointing the element T . Now
M
π∗ (Hk[T ]) ≃ H∗ (Σr , k)
r≥0
where in the group homology H∗ (Σr , k), k is a trivial Σr -module. Since Hn (Σr , Q) = 0,
for n 6= 0, and H0 (Σr , Q) ≃ Q, for any r ≥ 0 we see that aQ is a stable homo-
topy equivalence, and therefore a weak equivalence ([HSS, Thm. 3.1.11]). In other
words H(Q[T ]) “is” the free commutative HQ-algebra on one generator; therefore it
is finitely presented over HQ and, since for any (discrete) commutative ring k we have
LHk[T ]/Hk ≃ Hk[T ],
the cotangent complex LH(Q[T ])/HQ is free of rank one over H(Q[T ]), hence projective
and perfect. So HQ → H(Q[T ]) is smooth and perfect.
Let’s move to the char p > 0 case. It is clear that HFp → H(Fp [T ]) is strongly
smooth; let’s suppose that it is formally smooth. In particular LH(Fp [T ])/HFp is a
projective H(Fp [T ])-module. Therefore π∗ LH(Fp [T ])/HFp injects into
a Y
π∗ H(Fp [T ]) ≃ Fp [T ]
E E
(concentrated in degree 0). But, by [Ba-McC, Thm. 4.2] and [Ri-Rob, Thm. 4.1],
π∗ LH(Fp [T ])/HFp ≃ (H(Fp [T ]))∗ (HZ)
202 2.4. BRAVE NEW ALGEBRAIC GEOMETRY
and the last ring has (HFp )∗ (HZ) as a direct summand (using the augmentation
H(Fp [T ]) → HFp ). Now, it is known that (HFp )∗ (HZ) is not concentrated in degree
0 (it is a polynomial Fp -algebra in positive degrees generators, for p = 2, and the
tensor product of such an algebra with an exterior Fp -algebra for odd p). Therefore
HFp → H(Fp [T ]) cannot be formally smooth.
We remark again that, as now made clear by the proof above, the conceptual
reason for the non-smoothness of HFp → H(Fp [T ]) is essentially the existence of
(non-trivial) Steenrod operations in characteristic p > 0. Since formal smoothness
is stable under base-change, we also conclude that HZ → H(Z[T ]) is not formally
smooth. The same argument also shows that this morphism is not formally i-smooth.
The following example shows that the converse of Prop. 2.4.1.4 (2) is false in
general.
Example 2.4.1.6. The complexification map m : KO → KU is formally étale
but not strongly formally étale. In fact, we have
π∗ m : π∗ (KO) = Z[η, β, λ±1 ]/(η 3 , 2η, ηβ, β 2 − 4λ) −→ π∗ (KO) = Z[ν ±1 ],
with deg(η) = 1, deg(β) = 4, deg(λ) = 8, deg(ν) = 2, π∗ m(η) = 0, π∗ m(β) = 2ν 2 and
π∗ m(λ) = ν 4 . In particular π0 m is an isomorphism (hence étale) but m is not strong.
We address the reader to [HAGI, Rmk. 5.2.9] for an example, due to M. Mandell,
of a non connective formally étale extension of HFp , which is therefore not strongly
formally étale. There also exist examples of Zariski open immersion HR −→ A, here
R is a smooth commutative k-algebra, such that A possesses non trivial negative
homotopy groups (see [HAGI, §5.2] for more details).
The opposite model category S − Alg will be denoted by SAf f . We will endow
it with the following strong étale model topology.
Definition 2.4.1.7. A family of morphisms {Spec Ai −→ Spec A}i∈I in SAf f
is a strong étale covering family (or simply s-ét covering family) if it satisfies the
following two conditions.
(1) Each morphism A −→ Ai is strongly étale.
(2) There exists a finite sub-set J ⊂ I such that the family {A −→ Ai }i∈J is a
formal covering family in the sense of 1.2.5.1.
Using the definition of strong étale morphisms, we immediately check that a
family of morphisms {Spec Ai −→ Spec A}i∈I in SAf f is a s-ét covering family if
and only if there exists a finite sub-set J ⊂ I satisfying the following two conditions.
• For all i ∈ I, the natural morphism
π∗ (A) ⊗π0 (A) π0 (Ai ) −→ π∗ (Ai )
is an isomorphism.
• The morphism of affine schemes
a
Spec π0 (Ai ) −→ Spec π0 (A)
i∈J
is étale and surjective.
Lemma 2.4.1.8. The s-ét covering families define a model topology on SAf f , that
satisfies assumption 1.3.2.2.
Proof. The same as for Lem. 2.2.2.13.
The model topology s-ét gives rise to a model category of stacks SAf f ∼,s-ét .
2.4.2. ELLIPTIC COHOMOLOGY AS A DELIGNE-MUMFORD S-STACK 203
According to our general theory, the notions of morphisms in P and Ps-ét gives
two notions of geometric stacks in SAf f ∼,s-ét .
Definition 2.4.1.12. (1) A n-geometric Deligne-Mumford S-stack is an n-
geometric S-stack with respect to the class Ps-ét of strongly étale morphisms.
(2) An n-geometric S-stack is an n-geometric S-stack with respect to the class
P of fip-smooth morphisms.
Of course, as Ps-ét is included in P any strong n-geometric Deligne-Mumford
S-stack is an n-geometric S-stack.
The Eilenberg-MacLane spectrum construction (see [HSS, Ex. 1.2.5]) gives rise
to a fully faithful functor
LH! : St(Z) −→ St(S),
204 2.4. BRAVE NEW ALGEBRAIC GEOMETRY
which starts from the homotopy category of stacks on the usual étale site of affine
schemes, i.e.
St(Z) := Ho(Z − Af f ∼,ét).
This functor has a right adjoint, called the truncation functor
h0 := H ∗ : St(S) −→ St(Z),
simply given by composing a simplicial presheaf F : SAf f op −→ SSet with the func-
tor H : Af f −→ S − Af f .
Let us denote by E the moduli stack of generalized elliptic curves with integral
geometric fibers, which is the standard compactification of the moduli stack of elliptic
curves by adding the nodal curves at infinity (see e.g. [Del-Rap, IV], where it is
denoted by M(1) ); recall that E is a Deligne-Mumford stack, proper and smooth over
Spec Z ([Del-Rap, Prop. 2.2]).
As shown by recent works of M. Hopkins, H. Miller, P. Goerss, N. Strickland,
C. Rezk and M. Ando, there exists a natural presheaf of commutative S-algebras on
the small étale site E ét of E. We will denote this presheaf by tmf. Recall that by
construction, if U = Spec A −→ E is an étale morphism, corresponding to an elliptic
curve E over the ring A, then tmf(U ) is the (connective) elliptic cohomology theory
associated to the formal group of E (in particular, one has π0 (tmf(U )) = A). Recall
also that the (derived) global sections RΓ(E, tmf), form a commutative S-algebra, well
defined in Ho(S − Alg), called the spectrum of topological modular forms, and denoted
by tmf 2.
Let U −→ E be a surjective étale morphism with U an affine scheme, and let us
consider its nerve
U∗ : ∆op −→ Af f
[n] 7→ Un := U ×E U ×E · · · ×E U .
| {z }
n times
2The notation here is a bit nonstandard: what is usually called the spectrum of topological
modular forms is actually the connective cover of the spectrum we have denoted by tmf
2.4.2. ELLIPTIC COHOMOLOGY AS A DELIGNE-MUMFORD S-STACK 205
brave new abelian varieties, brave new formal groups and their geometry. The com-
plete picture (possibly extended to higher chromatic levels) does not only give an
alternative construction of the spectrum tmf (and a better functoriality) but it could
be the starting point of a rather new3 and deep interaction between stable homo-
topy theory and homotopical algebraic geometry, involving many new questions and
objects, and probably also new insights on classical objects of algebraic topology.
3J. Lurie’s approach has as a byproduct also a natural construction of G-equivariant versions
of elliptic cohomology, for any compact G.
APPENDIX A
where M apeqM (y, x) is the sub-simplicial set of the mapping space M apM (y, x) con-
sisting of equivalences. As a corollary of this we find the important result due to
Dwyer and Kan. For this, we recall that the simplicial monoid of self equivalences of
an object x ∈ M can be defined as
Aut(x) := Hom(C,C)∧ (hR(x) , hR(x) ).
Corollary A.0.4. Let C ⊂ MW be a full subcategory of equivalences in a model
category M , which is stable by equivalences. Then, one has a natural isomorphism in
Ho(SSet)
a
N (C) ≃ BAut(x)
x∈π0 (N (C)))
The advantage of Prop. A.0.6 over the more general proposition A.0.3 is that it is
more easy to state a functorial property of the equivalences in the following particular
context (the equivalence in Prop. A.0.3 can also be made functorial, but it requires
some additional work, using for example simplicial localization techniques).
We assume that G : M −→ N is a simplicial, left Quillen functor between V-
small simplicial U-model categories. We let C ⊂ MW and D ⊂ NW be two full
210 A. CLASSIFYING SPACES OF MODEL CATEGORIES
G G
Do Dc / G(D),
and thus a commutative diagram of simplicial sets
N (C) o N (C c ) / N (G(C))
G G
N (D) o N (Dc ) / N (G(D)).
The important fact here is that this construction is associative with respect to com-
position of the simplicial left Quillen functor G. In other words, if one has a diagram
of simplicial model categories Mi and simplicial left Quillen functors, together with
sub-categories Ci ⊂ (Mi )W satisfying the required properties, then one obtain a com-
mutative diagram of diagrams of simplicial sets
N (Ci ) o N (Cic ) / N (G(Ci ))
Gi Gi
N (Di ) o N (Dic ) / N (G(Di )).
APPENDIX B
Strictification
Id φu
(v ◦ u)∗ (xk ) / xi
φv◦u
There exists a presheaf of categories (−/I)op over I, having the opposite comma
category (i/I)op as value over the object i, and the natural functor (i/I)op −→ (j/I)op
for any morphism j −→ i in I. For any U-cofibrantly left Quillen presheaf M over I,
we define a morphism of presheaves of categories over I
M I × (−/I)op −→ M,
211
212 B. STRICTIFICATION
i >>
>> u
v >>
>
w >
k / j,
M I × (j/I)op / Mj
u∗
M I × (i/I)op / Mi
clearly commutes, showing that the above definition actually defines a morphism
M I × (−/I)op −→ M.
I
We let (Mcart )cof I
W be the subcategory of M consisting of homotopy cartesian
I
and cofibrant objects in M and equivalences between them. In the same way we
c
consider the sub-presheaf MW whose value at i ∈ I is the subcategory of Mi consisting
of cofibrant objects in Mi and equivalences between them. Note that the functors
u∗ : Mj −→ Mi being left Quillen for any u : i −→ j, preserves the sub-categories of
equivalences between cofibrant objects.
We have thus defined a morphism of presheaves of categories
I
(Mcart )cW × (−/I)op −→ MW
c
,
and we now consider the corresponding morphism of simplicial presheaves obtained
by applying the nerve functor
I
N ((Mcart )cW ) × N ((−/I)op ) −→ N (MW
c
),
that is considered as a morphism in the homotopy category Ho(SP r(I)), of simplicial
presheaves over I. As for any i the category (i/I)op has a final object, its nerve
N ((i/I)op ) is contractible, and therefore the natural projection
I
N ((Mcart )cW ) × N ((−/I)op ) −→ N ((Mcart
I
)cW )
is an isomorphism in Ho(SP r(I)). We therefore have constructed a well defined
I
morphism i Ho(SP r(I)), from the constant simplicial presheaf N ((Mcart )cW ) to the
c
simplicial presheaf N (MW ). By adjunction this gives a well defined morphism in
Ho(SSet)
I
N ((Mcart )cW ) −→ Holimi∈I N (MW
c
).
The strictification theorem asserts that this last morphism is an isomorphism in
Ho(SSet). As this seems to be a folklore result we will not include a proof.
B. STRICTIFICATION 213
Theorem B.0.7. For any U-small category I and any U-cofibrantly generated left
Quillen presheaf M on I, the natural morphism
I
N ((Mcart c
)cW ) −→ Holimi∈I op N (MW )
is an isomorphism in Ho(SSet).
Proof. When M is the constant Quillen presheaf of simplicial sets this is proved
in [D-K3]. The general case can treated in a similar way. See also [H-S, Thm. 18.6]
for a stronger result.
The purpose of this appendix is to give a sketch of a proof of the following special
case of J. Lurie’s representability theorem. Lurie’s theorem is much deeper and out
of the range of this work. We will not need it in its full generality and will content
ourselves with this special case, largely enough for our applications.
Theorem C.0.9. (J. Lurie, see [Lu1]) Let F be a D− -stack. The following
conditions are equivalent.
(1) F is an n-geometric D− -stack.
(2) F satisfies the following three conditions.
(a) The truncation t0 (F ) is an Artin (n + 1)-stack.
(b) F has an obstruction theory relative to sk − M od1 .
(c) For any A ∈ sk − Alg, the natural morphism
RF (A) −→ Holimk RF (A≤k )
is an isomorphism in Ho(SSet).
Sketch of proof. The only if part is the easy part. (a) is true by Prop. 2.2.4.4
and (b) by Cor. 2.2.3.3. For (c) one proves the following more general lemma.
Lemma C.0.10. Let f : F −→ G be an n-representable morphism. Then for any
A ∈ sk − Alg, the natural square
RF (A) / Holimk RF (A≤k )
RG(A) / Holimk RG(A≤k )
is homotopy cartesian.
Proof. We prove this by induction on n. For n = −1, one reduces easily to
the case of a morphism between representable D− -stacks, for which the result simply
follows from the fact that A ≃ Holimk A≤k . Let us now assume that n ≥ 0 and the
result prove for m < n. Let A ∈ sk − Alg and
x ∈ π0 (Holimk RG(A) ×hRG(A≤k ) RF (A≤k ))
with projections
xk ∈ π0 (RG(A) ×hRG(A≤k ) RF (A≤k )).
We need to prove that the homotopy fiber H of
RF (A) −→ Holimk RG(A) ×hRG(A≤k ) RF (A≤k )
at x is contractible. Replacing F by F ×hG X where X := RSpec A, and G by X, one
can assume that G is a representable stack and F is an n-geometric stack. As G is
representable, the morphism
RG(A) −→ Holimk RG(A≤k )
215
216 C. REPRESENTABILITY CRITERION (AFTER J. LURIE)
RF (A) / Holimk RF (A≤k ).
By induction on n we see that this diagram is homotopy cartesian, and that the
top horizontal morphism is an equivalence. There, the morphism induced on the
homotopy fibers of the horizontal morphisms is an equivalence, showing that H is
contractible as required.
U / F.
U / F.
Let M be any A-module. Again, using condition (d), one sees that
DerF (U, M ) ≃ Holimk DerF (Uk , M≤k ) ≃ Holimk M apAk −Mods (LUk /F,uk , Mk ) ≃ 0.
This implies that LU/F,u = 0.
It remains to explain how to construct the sequence of Uk . This is done by
induction. For k = 0, the only thing to check is that
πi (LU0 /F,u0 ) = 0 ∀ i ≤ 1.
This follows easily from Prop. 1.4.2.6 and the fact that u0 : U0 −→ t0 (F ) is étale.
Assume now that all the Ui for i ≤ k have been constructed. We consider uk :
Uk −→ F , and the natural morphism
LUk −→ LUk /F,uk −→ (LUk /F,uk )≤k+2 = Nk+1 [k + 2],
where Nk+1 := πk+2 (LUk /F,uk ). The morphism
LUk −→ Nk+1 [k + 2]
defines a square zero extension of Ak by Nk+1 [k + 1], Ak+1 −→ Ak . By construction,
and using Prop. 1.4.2.5 there exists a well defined point in
RHomUk /k−D− Af f ∼,ét /F (Uk+1 , F ),
corresponding to a morphism in Ho(k − D− Af f ∼,ét /F )
Uk E / Uk+1
EE
EE
EE
E"
F.
It is not hard to check that the corresponding morphism RSpec Ak+1 = Uk+1 −→ F
has the required properties.
Let us come back to the case n = −1. Lemma C.0.11 implies that there exists
a representable D− -stack U , a morphism U −→ F such that LF,u ≃ 0, and inducing
an isomorphism t0 (U ) ≃ t0 (F ). Using Prop. 1.4.2.6 and Lem. 2.2.1.1, it is not hard
to show by induction on k, that for any A ∈ sk − Alg with πi (A) = 0 for i > k, the
induced morphism
RU (A) −→ RF (A)
is an isomorphism. Using condition (c) for F and U one sees that this is also true for
any A ∈ sk − Alg. Therefore, U ≃ F , and F is a representable D− -stack.
hard point is to prove that F has an n-atlas. For this we lift an n-atlas of it0 (F ) in
the following way. Starting from a smooth morphism U0 −→ it0 (F ), we to construct
by induction a sequence of representable D− -stacks
U0 / U1 . . . / Uk / Uk+1 . . . /F
219
220 BIBLIOGRAPHY
[Goe-Ja] P. Goerss, J.F. Jardine, Simplicial homotopy theory, Progress in Mathematics, Vol. 174,
Birkhauser Verlag 1999.
[Goe-Hop] P. Goerss, M. Hopkins, André-Quillen (co)homology for simplicial algebras over sim-
plicial operads, Une Dégustation Topologique [Topological Morsels]: Homotopy Theory in the
Swiss Alps (D. Arlettaz and K. Hess, eds.), Contemp. Math. 265, Amer. Math. Soc., Providence,
RI, 2000, pp. 41-85.
[Go] J. Gorski, Representability of the derived Quot functor, in preparation.
[Gr] A.Grothendieck, Catégories cofibrées additives et complexe cotangent relatif, Lecture Note in
Mathematics 79, Springer-Verlag, Berlin, 1968.
[EGAI] A. Grothendieck, J. Dieudonné, Eléments de Géométrie Algébrique I, Springer Verlag,
Berlin, 1971.
[EGAIV] A. Grothendieck, Eléments de Géométrie Algébrique IV . Etude locale des schémas et des
morphismes de schémas, Publ. Math. I.H.E.S., 20, 24, 28, 32 (1967).
[Ha] M. Hakim, Topos annelés et schémas relatifs, Ergebnisse der Mathematik und ihrer Grenzge-
biete, Band 64. Springer-Verlag Berlin-New York, 1972.
[Hin1] V. Hinich, Homological algebra of homotopical algebras, Comm. in Algebra 25 (1997), 3291-
3323.
[Hin2] V. Hinich, Formal stacks as dg-coalgebras, J. Pure Appl. Algebra 162 (2001), No. 2-3, 209-
250.
[Hi] P. S. Hirschhorn, Model Categories and Their Localizations, Math. Surveys and Monographs
Series 99, AMS, Providence, 2003.
[H-S] A. Hirschowitz, C. Simpson, Descente pour les n-champs, preprint available at
math.AG/9807049.
[Hol] S. Hollander, A homotopy theory for stacks, preprint available at math.AT/0110247.
[Ho1] M. Hovey, Model categories, Mathematical surveys and monographs, Vol. 63, Amer. Math.
Soc., Providence 1998.
[Ho2] M. Hovey, Spectra and symmetric spectra in general model categories, J. Pure Appl. Alg. 165
(2001), 63-127.
[HSS] M. Hovey, B.E. Shipley, J. Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000), no. 1,
149-208.
[Ill] L. Illusie, Complexe cotangent et déformations I, Lectur Notes in Mathematics 239, Springer
Verlag, Berlin, 1971.
[Ja1] J. F. Jardine, Simplicial presheaves, J. Pure and Appl. Algebra 47 (1987), 35-87.
[Ja2] J. F. Jardine, Stacks and the homotopy theory of simplicial sheaves, in Equivariant stable
homotopy theory and related areas (Stanford, CA, 2000). Homology Homotopy Appl. 3 (2001),
No. 2, 361-384.
[Jo1] A. Joyal, Letter to Grothendieck.
[Jo2] A. Joyal, unpublished manuscript.
[Jo-Ti] A. Joyal, M. Tierney, Strong stacks and classifying spaces, in Category theory (Como, 1990),
Lecture Notes in Mathematics 1488, Springer-Verlag New York, 1991, 213-236.
[Ka2] M. Kapranov, Injective resolutions of BG and derived moduli spaces of local systems, J. Pure
Appl. Algebra 155 (2001), No. 2-3, 167-179.
[K-P-S] L. Katzarkov, T. Pantev, C. Simspon, Non-abelian mixed Hodge structures, preprint
math.AG/0006213.
[Ko] M. Kontsevich, Operads and motives in deformation quantization, Moshé Flato (1937-1998),
Lett. Math. Phys. 48, (1999), No. 1, 35-72.
[Ko-So] M. Kontsevich, Y. Soibelman, Deformations of algebras over operads and the Deligne con-
jecture, Conférence Moshé Flato 1999, Vol. 1 (Dijon), 255-307, Math. Phys. Stud. 21, Kluwer
Acad. Publ, Dordrecht, 2000.
[Kr-Ma] I. Kriz, J. P. May, Operads, algebras, modules and motives, Astérisque 233, 1995.
[La-Mo] G. Laumon and L. Moret-Bailly, Champs algébriques, A Series of Modern Surveys in Math-
ematics vol. 39, Springer-Verlag 2000.
[Lu1] J.Lurie, PhD Thesis, MIT, Boston, 2004.
[Lu2] J. Lurie, A survey of elliptic cohomology, Preprint December 2005 (available at
http://www.math.harvard.edu/∼lurie/papers/survey.pdf).
[MMSS] M. Mandell, J. P. May, S. Schwede, B. Shipley Model categories of diagram spectra, Proc.
London Math. Soc. 82 (2001), 441–512.
[May] J.P. May, Pairings of categories and spectra, JPAA 19 (1980), 299-346.
[May2] J.P. May, Picard groups, Grothendieck rings, and Burnside rings of categories, Adv. in Math.
163, 2001, 1-16.
[Mil] J. S. Milne, Étale cohomology, Princeton University Press, 1980.
BIBLIOGRAPHY 221
[Min] V. Minasian, André-Quillen spectral sequence for THH, Topology and Its Applications, 129,
(2003) 273-280.
[MCM] R. Mc Carthy, V. Minasian, HKR theorem for smooth S-algebras, Journal of Pure and
Applied Algebra, Vol 185, 2003, 239-258, 2003.
[Q1] D. Quillen, Homotopical algebra, Lecture Notes in Mathematics 43, Springer Verlag, Berlin,
1967.
[Q2] D. Quillen, On the (co-)homology of commutative rings, Applications of Categorical Algebra
(Proc. Sympos. Pure Math., Vol XVII, New York, 1964), 65-87. Amer. Math. Soc., Providence,
P.I.
[Q3] D. Quillen, Higher algebraic K-theory I, in Algebraic K-theory I-Higher K-theories, Lecture
Notes in Mathematics 341, Springer Verlag, Berlin.
[Re] C. Rezk, Spaces of algebra structures and cohomology of operads, Thesis 1996, available at
http://www.math.uiuc.edu/ rezk.
[Ri-Rob] B. Richter, A. Robinson, Gamma-homology of group algebras and of polynomial algebras,
To appear in the “Proceedings of the Northwestern conference” 2002.
[Ro] J. Rognes, Galois extensions of structured ring spectra, Preprint math.AT/0502183.
[Schw-Shi] S. Schwede, B. Shipley, Stable model categories are categories of modules, Topology 42
(2003), 103 − −153.
[Shi] B. Shipley, A convenient model category for commutative ring spectra, Preprint 2002.
[S1] C. Simpson, Homotopy over the complex numbers and generalized cohomology theory, in Moduli
of vector bundles (Taniguchi Symposium, December 1994), M. Maruyama ed., Dekker Publ.
(1996), 229-263.
[S2] C. Simpson, A Giraud-type characterization of the simplicial categories associated to closed
model categories as ∞-pretopoi, Preprint math.AT/9903167.
[S3] C. Simpson, Algebraic (geometric) n-stacks, Preprint math.AG/9609014.
[S4] C. Simpson, The Hodge filtration on non-abelian cohomology, Preprint math.AG/9604005.
[Sm] J. Smith, Combinatorial model categories, unpublished.
[Sp] M. Spitzweck, Operads, algebras and modules in model categories and motives, Ph.D.
Thesis, Mathematisches Institüt, Friedrich-Wilhelms-Universität Bonn (2001), available at
http://www.uni-math.gwdg.de/spitz/.
[Tab] G. Tabuada, Une structure de catégorie de modèles de Quillen sur la catégorie des dg-
catégories, Preprint math.KT/0407338.
[To1] B. Toën, Champs affines, Preprint math.AG/0012219.
[To2] B. Toën, Homotopical and higher categorical structures in algebraic geometry, Hablitation
Thesis available at math.AG/0312262
[To3] B. Toën, Vers une interprétation Galoisienne de la théorie de l’homotopie, Cahiers de topolo-
gie et geometrie differentielle categoriques, Volume XLIII (2002), 257-312.
[To-Va1] B. Toën, M. Vaquié, Moduli of objects in dg-categories, Preprint math.AG/0503269.
[To-Va2] B. Toën, M. Vaquié, Au-dessous de Spec Z, Preprint math.AG/0509684.
[HAGI] B. Toën, G. Vezzosi, Homotopical algebraic geometry I: Topos theory, Advances in Mathe-
matics, 193, Issue 2 (2005), p. 257-372.
[To-Ve1] B. Toën, G. Vezzosi, Segal topoi and stacks over Segal categories, December 25, 2002,
to appear in Proceedings of the Program “Stacks, Intersection theory and Non-abelian Hodge
Theory”, MSRI, Berkeley, January-May 2002 (also available as Preprint math.AG/0212330).
[To-Ve2] B. Toën, G. Vezzosi, From HAG to DAG: derived moduli spaces, p. 175-218, in “Axiomatic,
Enriched and Motivic Homotopy Theory”, Proceedings of the NATO Advanced Study Institute,
Cambridge, UK, (9-20 September 2002), Ed. J.P.C. Greenlees, NATO Science Series II, Volume
131 Kluwer, 2004.
[To-Ve3] B. Toën, G. Vezzosi, “Brave New” algebraic geometry and global derived moduli spaces of
ring spectra, to appear in Proceedings of the Euroworkshop “Elliptic Cohomology and Higher
Chromatic Phenomena” (9 - 20 December 2002), Isaac Newton Institute for Mathematical Sci-
ences (Cambridge, UK), H. Miller, D. Ravenel eds. (also available as Preprint math.AT/0309145).
[To-Ve4] B. Toën, G. Vezzosi, Algebraic geometry over model categories. A general approach to
Derived Algebraic Geometry, Preprint math.AG/0110109.
[We] C. Weibel, An introduction to homological algebra, Cambridge Univ. Press, Cambridge, 1995.