arXiv:1706.06391v2 [math.AG] 31 Jan 2021 ∗ [email protected] fsprymti tcspoe.W rtdfiedrvdstac derived a define develop first We to need proper. a stacks see supersymmetric we of hence Theory, String to connections bi-graded Top onadVzoio nrddmdlsi T]ad[V] ethe We [TV4]. and [TV] in modules Top ungraded define on Vezzosi and Toen h ae o : Ψ For transformatio supersymmetry under base. behave the they how show and h nue oooy n a call stack. derived can one topology, induced the uesmercDrvdStacks Derived Supersymmetric tcshv eoeapeaetto nsuyn rbeswit problems studying in tool prevalent a become have Stacks ∗  eageta defining that argue we , k ∗  mdls(bet fs of (objects -modules vle aso hs uemdls(Top supermodules those on maps -valued M eadGauthier Renaud e ray2 2021 2, February X → Abstract n uhmap, such one F ( k M 1 -sMod F = ) uesmercsaki ti a is it if stack supersymmetric a ∗ { olwn h xoiinof exposition the following ) Ψ( ,θ σ, ∗ M ) | ∈ ( ,θ σ, s ∗ k  -sMod Z ) 2 ∈ -bi-graded) son ks M ∗ } , theory sin ns ∈ X with Z 2 h n - 1 Introduction

Moduli spaces have for a long time been a pervasive object in String Theory. Moduli stacks in particular have been very useful, and with the advent of Derived Algebraic Geometry ([Lu], [TV], [TV4]), derived moduli stacks. Ge- ometric Langlands is another avenue of research that has deep connections with Mathematical Physics ([AT], [EY]), and makes heavy use of the stacks formalism. Naturally then it seems appropriate to develop a theory of super- symmetric stacks in its own right since that notion ought to surface at some point.

One typically starts with a superspace, a graded vector space. To be more general, one can consider graded modules instead, over a commutative ring k, giving rise to a category of super-k-modules k-sMod. We work in Derived Algebraic Geometry, so we enlarge that to the category of simplicial graded k-supermodules sk-sMod∗. From that point onward we follow [TV] and [TV4] by showing sk-sMod∗ can be made into a symmetric monoidal model cate- gory, with a notion of supercommutativity using the parity function on ho- mogeneous elements that leads to defining sk-sAlg∗ = Comm(sk-sMod∗) the category of simplicial graded k-superalgebras, the opposite category of which − is the category of affine graded k-superschemes k-D sAff∗, on which we put a bi-graded version of the ´etale topology of [TV4]. We consider bi-graded stacks on this site, functors valued in S∗ = (Set∆)2×2, a bi-graded generaliza- tion of the notion of stacks on the ungraded site (k-D−Aff, et.´ ). The passage from the classical theory as expounded in [TV] and [TV4] to the bi-graded setting is made possible precisely because of our choice of working with bi- graded objects, along with our choice of tensor product on sk-sMod∗.

For each M ∈ sk-sMod∗, M = (Mip), i referred to as the level index, p 1 2 i 1 2 A the parity index, σ = (σ , σ ), σ ∈ Mi0, θ = (θ , θ ), θ ∈ MA1, we con- sider maps Ψ : M → X , X = (Xip) ∈ Top∗ = (Top)2×2, X determined by additional data such as constraint equations, Ψ = X ⊕ ψ, X : M0 → X0, 1 2 ψ : M1 → X1, so that X is a function of σ = (σ , σ ), and ψ is a function of θ = (θ1, θ2). Instead of using the traditional supersymetry transforma- 1 2 1 2 tions, say those in [GSW] for which M0 =< σ , σ >, M1 =< θ , θ >, δσα = ǫT ραθ, with ǫ anticommuting, δθA = ǫA, we introduce more general transformations that are fully symmetric, both algebraically, but also parity- wise, i.e. transformations δ = δ0 ⊕ δ1, δ0 : M0 → M1 and δ1 : M1 → M0

2 α T α A T A such that δ0σ = ǫ ρ θ, and δ1θ = λ γ σ, for infinitesimal commuting parameters ǫ and λ, and matrices ρ and γ. We then show that Ψ transforms via a pullback under δ.

For A ∈ sk-sAlg∗, define F (A) = {Ψ(σ, θ) | σ ∈ A0, θ ∈ A1} endowed with the subspace topology. Those functors F that satisfy hyperdescent on − (k-D sAff∗, et.´ ) are called supersymmetric (derived) stacks.

2 Simplicial Super algebra

In a first time we remind the reader of various results pertaining to super- algebra that we will later generalize to the simplicial setting. Most of what is presented in the subsection below can be found in [V], and especially in [CCF], which we modify for our purposes.

2.1 Super Algebra This subsection covers some basic conventions about superalgebra. We fix k a commutative ring. We define a super k-module (also referred to as k- supermodule) to a be a Z2-graded k-module M = M0 ⊕ M1, endowed with a parity function || defined by:

0, x ∈ M |x| = 0 1, x ∈ M  1 There is a (distributive) tensor product ⊗ on the set of k-supermodules k-sMod, for which the commutativity map σ (also referred to as braiding map), defined on objects by σM,N : M ⊗ N → N ⊗ M, M = M0 ⊕ M1, N = N0 ⊕ N1, satisfies:

|x||y| σM,N (x ⊗ y)=(−1) y ⊗ x on homogeneous elements, and is extended by linearity. Morphisms of su- per modules are defined to be graded morphisms, or equivalently morphisms of graded objects of degree zero ([McL0]). In other terms if f : M → N is a morphism of super k-modules, then it decomposes into two morphisms f0 : M0 → N0 and f1 : M1 → N1. We denote by Homk(M, N), or simply by Hom(M, N) the set of graded morphisms from M to N. It is a k-module.

3 Each super module M has an identity idM = idM0 ⊕idM1 ∈ Hom(M, M) that acts as a left and a right identity for composition. With obvious notations, composition is defined by f ◦ g = f0 ◦ g0 ⊕ f1 ◦ g1, and is associative. This makes k-sMod into a category.

The identity for the tensor product is k, and we have left and right identity maps:

∼ λ : k ⊗ x −→= x ∼ ρ : x ⊗ k −→= x with x ∈ M, M an object of k-sMod. Here for instance k ⊗ (x0 ⊕ x1) = (k ⊗ x0) ⊕ (k ⊗ x1), so that we can write λ = λ0 ⊕ λ1 and ρ = ρ0 ⊕ ρ1, λi and ρi the classical left and right identity maps in k-Mod respectively. We regard elements of k to be of degree zero so that they preserve parity with the tensor product. The associator is defined by:

−1 =∼ αM,N,P : M ⊗ (N ⊗ P ) −→ (M ⊗ N) ⊗ P and satisfies the pentagon coherence diagram ([McL]):

(M ⊗ N) ⊗ (P ⊗ Q) ✐4 ❯❯ α ✐✐✐✐ ❯❯❯❯ α ✐✐✐✐ ❯❯❯❯ ✐✐✐✐ ❯❯❯❯ ✐✐✐✐ ❯❯❯* ((M ⊗ N) ⊗ P ) ⊗ Q M ⊗ (N ⊗ (P ⊗ Q)) O α⊗Q M⊗α  / (M ⊗ (N ⊗ P )) ⊗ Q α M ⊗ ((N ⊗ P ) ⊗ Q) as well as the triangle coherence diagrams:

(M ⊗ k) ⊗ N α / M ⊗ (k ⊗ N) ❖ ❖❖❖ ♦♦♦ ❖❖❖ ♦♦♦ ρ⊗N ❖❖ ♦♦M⊗λ ❖❖' ♦w ♦♦ M ⊗ N and the bigon relations ρk = λk.

4 The braiding map σ is required to satisfy the hexagon coherence condi- tion:

±1 M ⊗ (N ⊗ P ) σ / (N ⊗ P ) ⊗ M ❧6 ❘❘ α ❧❧❧ ❘❘❘ α ❧❧❧ ❘❘❘ ❧❧❧ ❘❘❘ ❧❧❧ ❘❘( (M ⊗ N) ⊗ P N ⊗ (P ⊗ M) ❘❘ ❧6 ❘❘❘ ❧❧❧ ❘❘❘ ❧❧❧ ±1 ❘❘❘ ❧❧❧ ±1 σ ⊗P ❘❘( ❧❧❧ N⊗σ / (N ⊗ M) ⊗ P α N ⊗ (M ⊗ P )

We investigate what does the parity function have to satisfy for this to hold: we start with an element (x ⊗ y) ⊗ z in (M ⊗ N) ⊗ P , with x = x0 ⊕ x1, y = y0 ⊕ y1 and z = z0 ⊕ z1. Thus, abbreviating tensor products x ⊗ y by xy and direct sums x ⊕ y by x + y for simplicity of notation:

(x ⊗ y) ⊗ z = [(x0 ⊕ x1) ⊗ (y0 ⊕ y1)] ⊗ z

= [x0y0 + x0y1 + x1y0 + x1y1] ⊗ z maps to: [y0x0 + y1x0 + y0x1 − y1x1] ⊗ z under σ ⊗ z, which then maps to:

y0(x0 ⊗ z)+ y1(x0 ⊗ z)+ y0(x1 ⊗ z) − y1(x1 ⊗ z) under α. This expands as:

y0(x0z0 + x0z1)+ y1(x0z0 + x0z1)+ y0(x1z0 + x1z1) − y1(x1z0 + x1z1) and this maps under 1 ⊗ σ to:

y0(z0x0 + z1x0)+ y1(z0x0 + z1x0)+ y0(z0x1 − z1x1) − y1(z0x1 − z1x1) (1)

Now starting from the same object (x ⊗ y) ⊗ z, under α this maps to:

(x0 + x1) ⊗ [y0z0 + y0z1 + y1z0 + y1z1] which expands as: x0⊗y0z0+x0⊗y0z1+x0⊗y1z0+x0⊗y1z1+x1⊗y0z0+x1⊗y0z1+x1⊗y1z0+x1⊗y1z1

5 Now if we have: |x ⊗ y| = |x| + |y| (2) then this expansion maps to: y0z0⊗x0+y0z1⊗x0+y1z0⊗x0+y1z1⊗x0+y0z0⊗x1−y0z1⊗x1−y1z0⊗x1+y1z1⊗x1 under σ, which itself maps to: y0(z0x0)+y0(z1x0)+y1(z0x0)+y1(z1x0)+y0(z0x1)−y0(z1x1)−y1(z0x1)+y1(z1x1) under α, and this is exactly (1), showing that the hexagonal diagram does commute with the definition of the parity on tensor products given by (2). To see that (2) is indeed the correct relation, it suffices to circle the hexagon diagram both ways by starting from a same element (x ⊗ y) ⊗ z, x, y, z homogeneous elements, as in the diagram below:

±1 x ⊗ (y ⊗ z) σ / (−1)|y⊗z||x|(y ⊗ z) ⊗ x O ❱❱ ❱❱❱❱ α α ❱❱❱❱ ❱❱❱❱ ❱❱❱❱❱+ (x ⊗ y) ⊗ z (−1)|y⊗z||x|y ⊗ (z ⊗ x)

|y||x| |x||z| σ±1⊗z (−1) (−1) y ⊗ (z ⊗ x) 3 ❤❤❤ ❤❤❤❤ ❤❤❤❤ ❤❤❤❤ ±1  ❤❤❤❤ y⊗σ |y||x| / |y||x| (−1) (y ⊗ x) ⊗ z α (−1) y ⊗ (x ⊗ z)

It follows from (2) that if the parity function is calculated mod 2, the tensor product on k-sMod is defined by:

(M ⊗ N)0 =(M0 ⊗ N0) ⊕ (M1 ⊗ N1)

(M ⊗ N)1 =(M0 ⊗ N1) ⊕ (M1 ⊗ N0) where Mi ⊗ Nj, i, j = 0, 1 is the usual tensor product in k-Mod on the underlying k-modules. Finally, the braiding σ = σ0 ⊕ σ1 on k-sMod satisfies 2 2 2 σ = σ0 ⊕ σ1 = 1. Indeed:

σ0 σ0 M ⊗ N ∋ x ⊗ y = x0y0 + x1y1 −→ y0x0 − y1x1 −→ x0y0 − (−x1y1) ∈ (N ⊗ M)0 σ1 σ1 + x0y1 + x1y0 −→ +y1x0 + y0x1 −→ x0y1 + x1y0 ∈ (N ⊗ M)1

6 where we have omitted tensor products for ease of reading. Further:

ρM = ρM,0 ⊕ ρM,1

= ⊕i=0,1λM,i ◦ (σM,k)i

= λM ◦ σM,k meaning, taking k to have even parity, the following diagram commutes:

σ M ⊗ k M,k / k ⊗ M ❍ ❍❍ ✈✈ ❍❍ ✈✈ ρ ❍ ✈ M ❍❍ ✈✈ λM ❍# ✈{ ✈ M

At this point we have shown that (k-sMod, ⊗k,α,λ,ρ,k) is a symmetric monoidal category.

2.2 Diagonal super algebra 2.2.1 Box tensor product ⊠ In order to develop a theory within an Algebraic Geometry context over graded k-modules, we need commutative monoids whose definition really makes sense only if we take a diagonal version of (k-sMod, ⊗k,α,λ,ρ,k). One way to achieve this is by considering k-sMod∗, the category of graded k-supermodules. We take the grading to be Z2 as well. An object of k-sMod∗ is of the form M = M0 ⊕ M1, Mi = Mi0 ⊕ Mi1 for i =0, 1, where objects of Mip have parity p. Thus one can write M = ⊕i,p=0,1Mip, i referring to the graded index, or level, and p referring to parity. We will adopt the shorthand matricial notation M =(Mip) to denote such objects. It follows that we will refer to the components Mip as entries of the object M ∈ k-sMod∗. In the same manner, morphisms f : M → N in k-sMod∗ are defined entrywise: fip : Mip → Nip. The tensor product on k-sMod∗ is a diagonal tensor product defined by: M ⊠ N =(M0 ⊗ N0) ⊕ (M1 ⊗ N1) where the tensor products used on the right hand side are those of k-sMod. Observe that this is performed levelwise and each level is closed under ⊗: Mip ⊗Niq ∈ k-sModi, i =0, 1. It follows Mi ⊗Ni =(M ⊠N)i. The advantage of having such a definition of the tensor product on k-sMod∗ is that one can

7 use classical module theory with elements that have a parity. We have a braiding: σM,N : M ⊠ N → N ⊠ M defined levelwise on supermodules:

σ0⊕σ1 σM,N :(M0 ⊗ N0) ⊕ (M1 ⊗ N1) −−−→ (N0 ⊗ M0) ⊕ (N1 ⊗ M1)= N ⊠ M with σi = σi0 ⊕ σi1 : Mi ⊗ Ni → Ni ⊗ Mi. To be more precise:

σi0 :(Mi0 ⊗ Ni0) ⊕ (Mi1 ⊗ Ni1) → (Ni0 ⊗ Mi0) ⊕ (Ni1 ⊗ Mi1)

σi1 :(Mi0 ⊗ Ni1) ⊕ (Mi1 ⊗ Ni0) → (Ni1 ⊗ Mi0) ⊕ (Ni0 ⊗ Mi1)

2.2.2 k-sMod∗ symmetric monoidal category Recall that classically morphisms of supermodules M → N are graded mor- phisms f = f0 ⊕ f1, f0 : M0 → N0, f1 : M1 → N1. In the bi-graded case with the box tensor product defined above, morphisms in k-sMod∗ are defined levelwise, and on each level, morphisms are morphisms in k-sMod. Thus f : M → N in k-sMod∗ decomposes as f = f0 ⊕ f1, with fi : Mi → Ni, i = 0, 1, and for i fixed, fi = fi0 ⊕ fi1, with fip : Mip → Nip, with p = 0, 1. Thus f = ⊕i,p=0,1fip, which we can represent matricially by f =(fip).

We still denote by Hom(M, N) the set Homk-sMod∗ (M, N). We have

Homk-sMod∗ = Hom(k-sMod0,⊗) ⊕ Hom(k-sMod1,⊗). It is a k-module. For any

M ∈ k-sMod∗, idM = idM0 ⊕ idM1 ∈ Hom(M, M). Composition is associa- tive. This makes k-sMod∗ into a category. We have:

=∼ λ = λ0 ⊕ λ1 : ∆k ⊠ x =(k ⊗ x0) ⊕ (k ⊗ x1) −→ x =∼ ρ = ρ0 ⊕ ρ1 : x ⊠ ∆k −→ x =∼ αM,N,P : (M ⊠ N) ⊠ P −→ M ⊠ (N ⊠ P )

To be more precise:

αM,N,P :(M ⊠ N) ⊠ P

= ⊕i=0,1 (M ⊠ N)i ⊗ Pi

⊕i=0,1αi = ⊕i=0,1 (Mi ⊗ Ni) ⊗ Pi −−−−−→⊕i=0,1Mi ⊗ (Ni ⊗ Pi)= M ⊠ (N ⊠ P )

8 with α0 and α1 associators in k-sMod, so we do have:

=∼ α = α0 ⊕ α1 :(M ⊠ N) ⊠ P −→ M ⊠ (N ⊠ P )

We have a pentagon diagram:

(M ⊠ N) ⊠ (P ⊠ Q)

⊕i=0,1(Mi ⊗ Ni) ⊗ (Pi ⊗ Qi) O ❖❖ ❖❖❖ ⊕i=0,1αi ❖❖❖ ❖❖❖ ❖❖ ⊕i=0,1αi ❖❖❖ ⊠ ⊠ ⊠ ⊕i=0,1((Mi ⊗ Ni) ⊗ Pi) ⊗ Qi ❖❖❖ M (N (P Q)) ❖❖❖ ❖❖❖ ❖❖❖ ❖❖❖' ((M ⊠ N) ⊠ P ) ⊠ Q ⊕ M ⊗ (N ⊗ (P ⊗ Q )) i=0,1 i O i i i

⊕i=0,1αi⊗Qi ⊕i=0,1Mi⊗αi  ⊕i=0,1(Mi ⊗ (Ni ⊗ Pi)) ⊗ Qi / ⊕i=0,1Mi ⊗ ((Ni ⊗ Pi) ⊗ Qi) ⊕i=0,1αi

(M ⊠ (N ⊠ P )) ⊠ Q M ⊠ ((N ⊠ P ) ⊠ Q) and triangle coherence diagrams:

(M ⊠ ∆k) ⊠ N M ⊠ (∆k ⊠ N)

⊕i=0,1αi ⊕i=0,1(Mi ⊗ k) ⊗ Ni / ⊕i=0,1Mi ⊗ (k ⊗ Ni) ❚❚ ❥ ❚❚❚❚ ❥❥❥❥ ❚❚❚❚ ❥❥❥❥ ⊕i=0,1ρi⊗Ni❚❚ ❥⊕❥i=0,1Mi⊗λi ❚❚❚) ❥u ❥❥❥ ⊕i=0,1Mi ⊗ Ni

M ⊠ N

9 with bigons ρ∆k = λ∆k. For the hexagonal coherence condition:

M ⊠ (N ⊠ P ) ❴❴❴❴❴❴❴❴❴❴❴❴❴❴❴ / (N ⊠ P ) ⊠ M

⊕i=0,1σi ⊕ M ⊗ (N ⊗ P ) / ⊕ (N ⊗ P ) ⊗ M i=0,1 i O i i i=0,1 i i i

⊕i=0,1αi ⊕i=0,1αi  (M ⊠ N) ⊠ P = ⊕i=0,1(Mi ⊗ Ni) ⊗ Pi ⊕i=0,1Ni ⊗ (Pi ⊗ Mi)= N ⊠ (P ⊠ M) ♥ O hP q ▼ ✈ ⊕i=0,1σi⊗Pi ⊕i=0,1Ni⊗σi ❍ ✟  ✻ ✤ ⊕i=0,1αi ✤ ⊕i=0,1(Ni ⊗ Mi) ⊗ Pi / ⊕i=0,1Ni ⊗ (Mi ⊗ Pi) ✻ ✟ ❍ ✈ ▼ q P( ♥ (N ⊠ M) ⊠ P ❴❴❴❴❴❴❴❴❴❴❴❴❴❴❴ / N ⊠ (M ⊠ P )

2 with σ = 1 and λM = ρM ◦ σM,∆k for symmetry. We have proved:

Theorem 2.2.2.1. (k-sMod∗, ⊠, α, λ, ρ, ∆k) is a symmetric monoidal cate- gory.

2.2.3 Commutative monoids in k-sMod∗

A monoid in C = k-sMod∗ is an object M of C with an associative binary operation µ : M ⊠ M → M, µ = µ0 ⊕ µ1, µi the ordinary binary operation in k-sModi for i =0, 1. To be more precise:

µi : Mi ⊗ Mi → Mi ′ ′ mi ⊗ mi 7→ mimi

′ where µi and mi ⊗ mi decompose as:

′ ′ µi0 ′ ′ (mi0 ⊗ mi0) ⊕ (mi1 ⊗ mi1) −→ mi0mi0 ⊕ mi1mi1 and: ′ ′ µi1 ′ ′ (mi0 ⊗ mi1) ⊕ (mi1 ⊗ mi0) −→ mi0mi1 ⊕ mi1mi0 since each µip is defined on homogeneous elements. The terms on the right ′ ′ ′ hand side recombine as (mimi)0 ⊕ (mimi)1 = mimi.

10 We also have a unit map η : ∆k → M, η = η0 ⊕η1, ηi the unit in k-sModi for i =0, 1. µ and η satisfy, as in [McL], the coherence diagrams:

(M ⊠ M) ⊠ M M ⊠ (M ⊠ M) M ⊠ M

⊕i=0,1αi ⊕i=0,1Mi⊗µi ⊕i=0,1(Mi ⊗ Mi) ⊗ Mi / ⊕i=0,1Mi ⊗ (Mi ⊗ Mi) / ⊕i=0,1Mi ⊗ Mi

⊕i=0,1µi⊗Mi ⊕i=0,1µi   ⊕i=0,1Mi ⊗ Mi = M ⊠ M / ⊕i=0,1Mi = M ⊕i=0,1µi

and:

η⊠M M⊠η ∆k ⊠ M / M ⊠ M o M ⊠ ∆k

⊕i=0,1ηi⊗Mi ⊕i=0,1Mi⊗ηi ⊕i=0,1k ⊗ Mi / ⊕i=0,1Mi ⊗ Mi o ⊕i=0,1Mi ⊗ k ❯❯❯ ✐✐ ❯❯❯❯ ✐✐✐✐ ❯❯❯❯ ⊕i=0,1µi ✐✐✐✐ ⊕i=0,1λi ❯❯❯ ✐✐✐⊕i=0,1ρi ❯❯❯*  ✐t ✐✐✐ ⊕i=0,1Mi = M where f ⊠ g = ⊕i=0,1fi ⊗ gi.

A monoid A in k-sMod∗ is said to be super-commutative, which we will just refer to as being commutative, if µ ◦ σ = µ, i.e. if levelwise, for all x, y homogeneous in Ai for i =0, 1, we have:

xy = µ(x ⊗ y)=(−1)|x||y|yx

Another way of saying this is A ∈ k-sMod∗ is supercommutative if it is so level wise.

We define the category of graded k-super algebras to be the category of commutative monoids (with commutativity defined by σ) in k-sMod∗:

k-sAlg∗ = Comm(k-sMod∗)

For A ∈ k-sAlg∗, we denote by A-sMod∗ the category of elements of k-sMod∗ that are A-modules in the classical sense, where the action of A on M ∈

11 k-sMod∗ is defined levelwise. A morphism of A-modules is a morphism f : M → N of graded supermodules such that f(am) = af(m) for a ∈ A, m ∈ M. More specifically, am is defined via: µ : A ⊠ M → M a ⊠ m 7→ am with A ⊠ M =(A0 ⊗ M0) ⊕ (A1 ⊗ M1), µ = µ0 ⊕ µ1 as we saw above, so that am = a0m0 ⊕ a1m1, with aimi ∈ Mi, i =0, 1. Then f(am)= af(m) reads:

f(a0m0 ⊕ a1m1)= f0(a0m0) ⊕ f1(a1m1)

= a0f0(m0) ⊕ a1f1(m1)

= a0f(m)0 ⊕ a1f(m)1 = af(m) where fi ∈ Mor(Ai-sModi) for i = 0, 1. We denote by HomA(M, N) the set of morphism of A-modules. There is a tensor product on A-sMod∗ defined by: M ⊠A N = M ⊠k N/ ∼ where the equivalence relation ∼ is defined by ma ⊠ n = m ⊠ an for a ∈ A, m ∈ M, n ∈ N. However we will use a simplified product that will allow us to use the work of Toen and Vezzosi; we define:

X⊠˜ AY = ⊕i=0,1 [colim(Xi0 ⊗ Ai0 ⊗ Yi0 → Xi0 ⊗ Yi0)

⊕ colim(Xi1 ⊗ Ai1 ⊗ Yi1 → Xi0 ⊗ Yi1 ∨ Xi1 ⊗ Yi0)] that is: ⊠˜ X AY = ⊕i,p=0,1Xip ⊗Aip Yip which is fullly diagonalized.

2.3 Simplicial Generalization We now define the simplicial counterparts to all the above definitions. We will not worry about universe considerations, and if needed they can be transcribed to our case from [TV] and [TV4]. We denote by sk-sMod∗ the category of simplicial objects in k-sMod∗:

∆op sk-sMod∗ =(k-sMod∗)

12 whose objects will be referred to as simplicial graded k-supermodules. We endow this category with the (simplicial) levelwise tensor product ⊠, that is for M, N ∈ sk-sMod∗, we have M ⊠ N = ⊕n≥0Mn ⊠ Nn, where:

Mn ⊠ Nn = ⊕i=0,1Mn,i ⊗k Nn,i We will put a model structure on this category. Following [GoJa] it becomes evident that we will need a notion of model category structure on the category of bi-graded simplicial sets. We do this first.

2.3.1 Model category of Z2-bi-graded simplicial sets In this subsection, we define a model category structure on the category of bi-graded simplicial sets, following [GoJa]. For completeness’ sake, we briefly remind the reader of a few results regarding simplicial sets, all of which can be found in [GoJa]. Recall that a map p : X → Y of simplicial sets is said to be a fibration if for any commutative diagram: Λn / X k _ > i p   ∆n / Y

n n where as usual ∆ = Hom∆(−, [n]), there is a dotted map ∆ → X making the above diagram commute. A fibrant simplicial set, or Kan complex, is a simplicial set X for which X → ∗ is a fibration, it being the unique map to the final object ∗. For X a fibrant simplicial set, v ∈ X0, we define the simplicial homotopy group πn(X, v) for n ≥ 1 to be the set of homotopy classes of maps α : ∆n → X rel ∂∆n that fit in diagrams of the form:

n α / ∆O XO v ? n ∂∆ / X0 and define π0(X) to be the set of homotopy classes of vertices of X. A cofi- bration is an inclusion of simplicial sets. An equivalence is defined as follows: f : X → Y between fibrant simplicial sets is said to be a weak equivalence if for any vertex x of X, f∗ : πn(X, x) → πn(Y, f(x)) is an isomorphism for all n ≥ 1 and f∗ : π0(X) → π0(Y ) is a bijection.

13 We now define all those concepts in the bi-graded case. Let Top∗ de- note the category of Z2-bi-graded topological spaces. Denote by S∗ the category of Z2-bi-graded simplicial sets. We define the realization func- tor | | : S∗ → Top∗ entrywise. Introduce the bi-graded simplex category ∆∗ ↓ X∗ of a bi-graded simplicial set X∗, whose objects are bi-graded maps n which entry-wise read σip : ∆ → Xip, i, p =0, 1.

An arrow of ∆∗ ↓ X∗ consists of commutative diagrams of simplicial maps for i, p =0, 1: ∆n ❉ ❉❉ σ ❉❉ ip ❉❉ ❉❉" θip X < ip ③ ③③ ③③τip  ③③ ∆m We have the following result from [GoJa]:

∼ n n Lemma 2.3.1.1. Xip = colim ∆ →Xip ∆ ∈ Set∆. in ∆↓Xip Using the following definition on usual simplicial sets:

n |Xip| = colimn |∆ | ∆ →Xip in ∆↓Xip we define the realization |X∗| of a bi-graded simplicial set X∗ to be |X∗| = (|Xip|) ∈ Top∗.

We define the singular functor S : Top∗ → S∗ entrywise. For T∗ ∈ Top∗, S(T∗)=(S(Tip)), where S(Tip), i, p =0, 1 is the simplicial set given by:

n n 7→ HomTop(|∆ |, Tip) and |∆n| is the standard n-simplex:

n n n+1 |∆ | = {(t0, ··· , tn) ∈ R | ti = 1 ; ti ≥ 0} i=0 X      ∼ Proposition 2.3.1.2. For all X∗ ∈ S∗ , Y∗ ∈ Top∗, we have HomTop∗ (|X∗ |,Y∗ ) =

HomS∗ (X∗,SY∗), that is ||⊣ S.

14 Proof. It suffices to write:

  HomTop∗ (|X∗ |,Y∗ )= ⊕i,p=0,1HomTop(|Xip|,Yip) ∼ = ⊕i,p=0,1HomSet∆ (Xip,SYip)

= HomS∗ (X∗,SY∗)

We define a map p∗ : X∗ → Y∗ of bi-graded simplicial sets to be a fibration if for i, q =0, 1 the maps piq : Xiq → Yiq are fibrations, i.e. if it is so entrywise. Thus a fibrant bi-graded simplicial set, or bi-graded Kan complex, is a bi-graded simplicial set Y∗ such that Yip →∗ is a fibration for i, p =0, 1. In the same manner, a bi-graded continuous map f∗ : T∗ → U∗ is said to be a bi-graded Serre fibration if it is so entry-wise. For f∗,g∗ : K∗ → X∗ bi-graded simplicial maps, we say there is a bi-graded simplicial homotopy ≃ ≃ f∗ −→ g∗ if we have a simplicial homotopy fip −→ gip for i, p =0, 1, which we recall means there is a commutative diagram:

0 Kip × ∆ = Kip ◆ ◆◆ fip 1 ◆◆ 1×d ◆◆◆  ◆◆ hip ◆◆& K × ∆1 / X ip O 8 ip ♣♣♣ 0 ♣♣ 1×d ♣♣ ♣♣gip ♣♣♣ 0 Kip × ∆ in which case we say h∗ =(hip) is a bi-graded simplicial homotopy f∗ → g∗.

If j∗ : L∗ ⊂ K∗ denotes a bi-graded inclusion such that f∗|L∗ = g∗|L∗ , then we say we have a bi-graded simplicial homotopy f∗ → g∗ rel L∗ if we have a simplicial homotopy fip → gip rel Lip for i, p = 0, 1, that is such that the following diagrams commute:

hip K × ∆1 / X ip O O ip

jip×1 αip ? 1 Lip × ∆ / Lip prLip

For X∗ a fibrant bi-graded simplicial set, v∗ = (vip) ∈ (X∗)0, we define πn(X∗, v∗)=(πn(Xip, vip)) where πn(Xip, vip) is the set of homotopy classes

15 n n of maps αip : ∆ → Xip rel ∂∆ for i, p = 0, 1, such that the following diagram is commutative: α ∆n ip / X O O ip vip ? ∂∆n / ∆0 and π0(X∗)=(π0(Xip)), π0(Xip) the set of path components of Xip, i, p = 0, 1. Now a map f∗ : X∗ → Y∗ between fibrant bi-graded simplicial sets is said to be a weak equivalence if for all x∗ ∈ (X∗)0, the induced map (f∗)∗ : πk(X∗, x∗) → πk(Y∗, f∗(x∗)) is an isomorphism for all k ≥ 1, that is =∼ (fip)∗ : πk(Xip, xip) −→ πk(Yip, fip(xip)) for i, p = 0, 1, and (f∗)∗ : π0(X∗) → π0(Y∗) is a bijection, that is (fip)∗ : π0(Xip) → π0(Yip) is a bijection for i, p =0, 1, or in other terms a weak equivalence is so if it is a weak equivalence entry-wise.

Proposition 2.3.1.3. A map f∗ : X∗ → Y∗ between fibrant bi-graded simplicial sets is a trivial fibration if and only if f∗ has the right lifting property with respect to all maps ∂∆n ⊂ ∆n for n ≥ 0, entry-wise.

Proof. The result holds entry-wise ([GoJa]), hence is true for the correspond- ing bi-graded objects by definition.

Proposition 2.3.1.4. Suppose X∗ is a bi-graded Kan complex. Then the canonical map ηX∗ : X∗ → S|X∗| is a weak equivalence. Proof. The proof follows immediately from a similar proposition of [GoJa] in the ungraded case because of the definitions of S and | |, and the fact that

ηX∗ is a weak equivalence if it is so entry-wise, which is the case ([GoJa]).

Now if X∗ is a bi-graded Kan complex, x∗ any vertex of X∗, then by virtue of the above proposition we have: ∼ πn(X∗, x∗) = πn(S|X∗|, x∗) 2 n n = Hom(∆ ∆ /∂∆ ,S|X∗|) ∼ 2 n n = Hom(∆ |∆ /∂∆ |, |X∗|) ∼ 2 n = Hom(∆ S , |X∗|)

= πn(|X∗|, x∗) n ≥ 1

16 so a map f∗ : X∗ → Y∗ of bi-graded Kan complexes is a weak equivalence if and only if the induced map |f∗| : |X∗|→|Y∗| is a bi-graded topological weak equivalence, which leads us to defining, as in [GoJa], that a map f∗ : X∗ → Y∗ of bi-graded simplicial sets be a weak equivalence if the induced map |f∗| : |X∗|→|Y∗| is a weak equivalence of bi-graded spaces. We define a cofibration of bi-graded simplicial sets to be an entry-wise inclusion.

Theorem 2.3.1.5. S∗ together with the classes of Kan fibrations, cofibra- tions and weak equivalences defined above is a model category.

Proof. Set∆ is complete and cocomplete, hence so is S∗. For the 2 out of 3 property, suppose we have f∗ = g∗ ◦ h∗. If two of f∗, g∗ or h∗ is a weak equivalence, so are their entries, so writing fip = gip ◦ hip since the 2 out of 3 property holds at that level for i, p = 0, 1, then the third function would be an equivalence for i, p = 0, 1, hence so would be the resulting bi-graded function. For the retract property, say f∗ is a retract of g∗, and g∗ is a weak equivalence, fibration or cofibration. The retract breaks up into diagrams for i, p =0, 1 as: X / Y / X

fip gip fip    U / X / U g∗ having one of the three properties mentioned above, it is so entry-wise, at which level fip being a retract of gip the former map shares the same property, for i, p = 0, 1, hence f∗ shares that same property g∗ had. For the lifting property suppose we have:

U  / X  ∗ = ∗

i∗ p∗   V∗ / Y∗ with i∗ a cofibration, p∗ a fibration. We show there is a dotted arrow as shown making the diagram commutative if either i∗ or p∗ is a weak equiva- lence. That diagram breaks up into diagrams for j, q =0, 1:

U / X jq = jq ijq pjq   Vjq / Yjq

17 Suppose for argument’s sake, p∗ is a weak equivalence. Then it is so entry- wise, so in the diagrams above for j, q = 0, 1 there is a dotted arrow, hence the original bi-graded square has a diagonal arrow as claimed. Finally for the functorial factorization property, let f∗ : X∗ → Y∗ be a map in S∗. We will show half of the property, namely that f∗ can factor as p∗◦i∗ with p∗ a trivial fibration, i∗ a cofibration, the other factorization as a trivial cofibration followed by a fibration being proved in like manner. f∗ = (fip), and entry- wise the factorization property holds, so we can write: fjq = pjq ◦ ijq, with pjq a trivial fibration for j, q = 0, 1, ijq a cofibration for j, q = 0, 1. Writing i =(ijq) and p =(pjq) we have f∗ = p∗ ◦ i∗ with p∗ a trivial fibration, and i∗ a cofibration. This completes the proof.

2.3.2 Model category structure on sk-sMod∗

We adapt Thm II.4.1 of [GoJa] to our setting. Let C∗ be a Z2-bi-graded ∆op category, sC∗ the category of simplicial objects in C∗, sC∗ = C∗ . We as- sume there is a functor G∗ : sC∗ → S∗ with a left adjoint F∗ : S∗ → sC∗. We define a morphism f∗ : M∗ → N∗ in sk-sMod∗ to be a weak equiva- lence (resp. a fibration) if G∗f∗ is a weak equivalence (resp. a fibration) of bi-graded simplicial sets, and f∗ is a cofibration if it has the left lifting property with respect to all trivial fibrations in sC∗. Entry-wise, that gives us Gip : sC → Set∆ with a left adjoint Fip : Set∆ → sC. Given the model category structure we put on S∗, fibrations, cofibrations and weak equiva- lences in sC∗ are defined entry-wise in sC. We will apply this formalism to the case C = k-Mod, so that sC = sk-Mod and sC∗ = sk-sMod∗.

Note also that we have a natural map:

colim G∗(Xα) → G∗(colim Xα) I I which decomposes into entry maps:

colim Gip(Xα,ip) → Gip(colim Xα,ip) I I for i, p =0, 1.

18 Theorem 2.3.2.1. Suppose C is bicomplete and G∗ : sC∗ → S∗ commutes with filtered colimits. Then with the classes of fibrations, cofibrations and weak equivalences defined above, along with the assumption that a cofibra- tion with the left lifting property with respect to all fibrations be a weak equivalence, sC∗ is a model category.

Proof. Since G∗ commutes with filtered colimits, it does so entry-wise, so the hypotheses of Thm II.4.1 of [GoJa] are met, hence sC is a model category, something we will use to prove sC∗ itself is a model category. sC∗ is clearly bicomplete. For the 2 out of 3 property, suppose we have a factorization in sC∗: g∗ X  / Y  ∗ = ∗ ❈❈ ⑤ ❈❈ ⑤⑤ ❈❈ ⑤ f∗ ❈ ⑤⑤h∗ ❈! ⑤⑤ Z∗ This breaks up into diagrams for i, p =0, 1:

gip Xip / Yip ❇ > ❇❇ ⑤⑤ ❇❇ ⑤⑤ fip ❇❇ ⑤⑤ hip ❇! ⑤⑤ Zip in sC, where the 2 out of 3 property holds since it is a model category. Suppose for illustrative purposes g∗ and f∗ are weak equivalences, then gip and fip are so for i, p = 0, 1, hence hip is a weak equivalence for i, p = 0, 1, thus so is h∗ =(hip). For the retract property, f∗ a retract of g∗ is a property defined by a diagram in sC∗, which breaks up into retract diagrams in sC, where the retract property holds, so starting from g∗ with a property P , it being a weak equivalence, a fibration, or a cofibration, it is so entry-wise, so by the retract property in sC fip shares the same property for i, p =0, 1, and those entries recombine into f∗ with that same property P g∗ had. For the lifting property and the functorial factorization property, the argument is the same, we work entry-wise and use the fact that sC is a model category from [GoJa]. Corollary 2.3.2.2. With the above notions of fibrations, cofibrations and weak equivalences, sk-sMod∗ is a model category.

Proof. Let C = k-Mod, so that sC = sk-Mod and sC∗ = sk-sMod∗. We know C is bicomplete. Start from the forgetful functor G : k-Mod → Set, with

19 a left adjoint F , which we both prolong to the simplicial case to get maps which we will again denote by G and F : G : sk-Mod → Set∆ and its left adjoint F , by defining G(X)n = G(Xn). G preserving filtered colimits, so will its bi-graded generalization G∗ : sk-sMod∗ → S∗, which has a bi-graded generalization of F for left adjoint, denoted F∗. At this point we just use the previous theorem.

2.3.3 bi-graded simplicial categories About notations, if C is a bi-graded category, write C for its ungraded coun- terpart. For instance if C = sk-sMod∗, then C = sk-Mod, which generically refers to either sk-Mod0 or sk-Mod1. Also, for ease of reading, we will just + write M for M∗ ∈ k-sMod∗. We also define the enhanced Hom set Hom + + as follows: (Hom (M, N))0 = Hom(M, N), while (Hom (M, N))1 consist of the set of parity reversing morphisms from M to N.

Definition 2.3.3.1. A bi-graded category C is a bi-graded simplicial cate- gory, following the ungraded definition in [GoJa], if there is a mapping space functor: op HomC(−, −): C ×C→ S∗ such that ∀M, N ∈ Ob(C):

+ 1. HomC(M, N)0×0 = HomC (M, N) ⊠ 2. HomC(M, −): C → S∗ has a left-adjoint M − : S∗ → C. Adjointness means: ⊠ ∼ HomC(M K, N) = HomS∗ (K, HomC(M, N)) with associativity M ⊠ (K × L) =∼ (M ⊠ K) ⊠ L. ⊠ 3. − K : C → C has a right adjoint exp−(K) = homC(K, −): C → C i.e. ∼ K HomC(M ⊠ K, N) = HomC(M, N )

Theorem 2.3.3.2. sC = sk-Mod being a simplicial category ([TV4]), it follows that sC = sk-sMod∗ becomes a bi-graded simplicial category with:

⊠ 2 n HomsC(M, N)n×n = HomsC(M ∆ ∆ , N)

= (HomsC(Mip, Nip)n)

20 Proof. Here, as in [TV]:

− ⊗− : sk-Mod × Set∆ → sk-Mod is defined by:

(M ⊗ K)n = Mn ka∈Kn ∗ For ψ :[m] → [n] in ∆, we have an induced map ψ :(M ⊗K)m → (M ⊗K)n that comes from:

Mm → Mn → Mn ka∈Km ka∈Km ka∈Kn We determine HomsC(M ⊠ K, N). In a first time, sk-Mod being a simpli- ∼ cial category, if M, N ∈ sk-Mod, K ∈ Set∆, we have Hom(M ⊗ K, N) = Hom(K, Homsk-Mod(M, N)). If now M, N ∈ sk-sMod, K ∈ S = (Set∆)0 ⊕ (Set∆)1:

Hom(M ⊗ K, N) = Hom((M ⊗ K)0 ⊕ (M ⊗ K)1, N0 ⊕ N1)

= Hom((M0 ⊗ K0) ⊕ (M1 ⊗ K1), N0)

⊕ Hom((M0 ⊗ K1) ⊕ (M1 ⊗ K0), N1)

= Hom(M0 ⊗ K0, N0) ⊕ Hom(M1 ⊗ K1, N0)

⊕ Hom(M0 ⊗ K1, N1) ⊕ Hom(M1 ⊗ K0, N1) ∼ = HomSet∆ (K0, Homsk-Mod(M0, N0)) ⊕ Hom(K1, Hom(M1, N0))

⊕ Hom(K1, Hom(M0, N1)) ⊕ Hom(K0, Hom(M1, N1))

= Hom(K0, Hom(M0, N0) ⊕ Hom(M1, N1))

⊕ Hom(K1, Hom(M1, N0) ⊕ Hom(M0, N1))

= HomS (K, Homsk-sMod(M, N)) if we define:

(Homsk-sMod(M, N))0 = Hom(M0, N0) ⊕ Hom(M1, N1)

(Homsk-sMod(M, N))1 = Hom(M0, N1) ⊕ Hom(M1, N0)

Now for M, N ∈ sk-sMod∗ = sC, K ∈ S∗, we have:

HomsC(M ⊠ K, N)= ⊕iHomsk-sMod(Mi ⊗ Ki, Ni) ∼ = ⊕iHomS (Ki, Homsk-sMod(Mi, Ni))

= HomS∗ (K, Homsk-sMod∗ (M, N)) (3)

21 if we define:

HomsC(M, N)= ⊕iHomsk-sMod(Mi, Ni) ⊠ Thus (3) shows M −⊣ HomsC(M, −). We also have:

2 0 HomsC(M, N)0×0 = HomS∗ (∆ ∆ , HomsC(M, N)) 0 = ⊕iHomS (∆∆ , Homsk-sMod(Mi, Ni)) 0 = ⊕i{HomSet∆ (∆ , ⊕pHomsk-Mod(Mip, Nip)) 0 ⊕ Hom(∆ , ⊕p6=qHomsk-Mod(Mip, Niq))} 0 = ⊕i{⊕pHomSet∆ (∆ , Homsk-Mod(Mip, Nip)) 0 ⊕ ⊕p6=qHom(∆ , Homsk-Mod(Mip, Niq))}

= ⊕i{⊕p(Homsk-Mod(Mip, Nip))0 ⊕ ⊕p6=q(Hom(Mip, Niq))0}

= ⊕i{⊕pHomsC(Mip, Nip) ⊕ ⊕p6=qHomsC(Mip, Niq)} + = ⊕i{Homsk-sMod(Mi, Ni)} + = HomsC(M, N)

From (3) again, we have:

2 n HomsC(M, N)n×n = HomS∗ (∆ ∆ , Homsk-sMod∗ (M, N)) ∼ 2 = HomsC(M ⊠ ∆ ∆n, N) as claimed. For the associativity, we use the associativity of ⊗ in the un- graded case:

(M ⊠ K) ⊠ L = ⊕i(Mi ⊗ Ki) ⊗ Li

= ⊕i ⊕p,q,r (Mip ⊗ Kiq) ⊗ Lir ∼ = ⊕i ⊕p,q,r Mip ⊗ (Kiq × Lir)

= ⊕i(⊕pMip) × (⊕q,rKiq × Lir)

= ⊕iMi ⊗ (Ki × Li)

= ⊕iMi ⊗ (K × L)i = M ⊠ (K × L)

22 For the exponent map:

HomsC(M ⊠ K, N)= ⊕iHomsk-sMod(Mi ⊗ Ki, Ni)

= ⊕i{Homsk-Mod(⊕pMip ⊗ Kip, Ni0)

⊕ Hom(⊕p6=qMip ⊗ Kiq, Ni1)}

= ⊕i{⊕pHomsC(Mip ⊗ Kip, Ni0)

⊕ ⊕p6=qHomsC(Mip ⊗ Kiq, Ni1)} ∼ Kip Kiq = ⊕i{⊕pHomsC(Mip, Ni0 ) ⊕ ⊕p6=qHomsC(Mip, Ni1 )} Ki0 Ki1 = ⊕i{HomsC(Mi0, Ni0 ) ⊕ HomsC(Mi1, Ni0 ) Ki1 Ki0 ⊕ HomsC(Mi0, Ni1 ) ⊕ HomsC(Mi1, Ni1 )} Ki Ki = ⊕i{HomsC(Mi0, (Ni )0) ⊕ HomsC(Mi1, (Ni )1)} if we define:

Ki Ki0 Ki1 (Ni )0 = Ni0 ⊕ Ni1 Ki Ki1 Ki0 (Ni )1 = Ni0 ⊕ Ni1 From there

⊠ Ki HomsC(M K, N)= ⊕iHomsk-sMod(Mi, Ni ) K = HomsC(M, N )

K Ki ⊠ if we define N = ⊕iNi . This shows − K ⊣ exp−(K). This completes the proof.

2.3.4 Bi-graded simplicial model categories We axiomatize the definition of bi-graded simplicial model category as done in [GoJa] in the ungraded case. We first need to define pullbacks in S∗. It being a bi-graded category, pullbacks are defined entrywise. In what follows

C = sk-sMod∗. We also use the abbreviation HomC(X,Y )ip = XYip for i, p =0, 1. Consider the cartesian square:

/ Γ = HomC(A, X) ×HomC(A,Y ) HomC(B,Y ) HomC(B,Y )=(BYip)

  / HomC(A, X)=(AXip) HomC(A, Y )=(AYip)

23 it breaks up into individual cartesian squares:

Γip / BYip

  AXip / AYip for i, p =0, 1, giving Γ = ⊕i,pAXip ×AYip BYip =(AXip ×AYip BYip). Graded simplicial model category Axiom - grsModCat 2.3.4.1. Let C be a bi-graded model category and a bi-graded simplicial category. Suppose j : A → B is a cofibration, q : X → Y a fibration. Then: ∗ (j ,q∗) HomC(B,X) −−−→ HomC(A, X) ×HomC(A,Y ) HomC(B,Y ) is a fibration in S∗, which is trivial if either of j or q is. Definition 2.3.4.2. A category satisfying the axiom grsModCat above will be called a bi-graded simplicial model category This definition follows exactly the definition of such categories in the ungraded case as laid out in [GoJa]. We prove a preliminary result found in the same reference, that will be instrumental in proving that sk-sMod∗ is a bi-graded simplicial model category. Proposition 2.3.4.3. Let C be a bi-graded model category and a bi-graded simplicial category, i : K → L a cofibration in S∗, q : X → Y a fibration in C. Then the grsModCat axiom is equivalent to:

homC(L, X) → homC(K,X) ×homC(K,Y ) homC(L, Y ) being a fibration, trivial if either of i or q is. Here we have denoted N K = homC(K, N) for ease of reading. Proof. It suffices to work entry-wise. We have:

HomC(B,X)ip → HomC(A, X)ip ×HomC(A,Y )ip HomC(B,Y )ip a fibration. For p = 0, we have a fibration:

Hom(Bi0,Xi0) ⊕ Hom(Bi1,Xi1)



⊕pHom(Aip,Xip) ×⊕pHom(Aip,Yip) ⊕pHom(Bip,Yip)

⊕pHom(Aip,Xip) ×Hom(Aip,Yip) Hom(Bip,Yip)

24 which decomposes into:

∗ (jip,(qip)∗) Hom(Bip,Xip) −−−−−−→ Hom(Aip,Xip) ×Hom(Aip,Yip) Hom(Bip,Yip) for p = 0, 1, fibration in Set∆, trivial if either of j or q is, in particular if jip or qip is. Using the ungraded counterpart of the proposition from [GoJa], this is equivalent to:

homC(Lip,Xip) → homC(Kip,Xip) ×homC(Kip,Yip) homC(Lip,Yip) (4) being a fibration, trivial if either iip : Kip → Lip or qip : Xip → Yip is, for p =0, 1.

For p = 1, we have:

Hom(Bi0,Xi1) ⊕ Hom(Bi1,Xi0)



⊕p6=qHom(Aip,Xiq) ×⊕p6=qHom(Aip,Yiq) Hom(Bip,Yiq)



⊕p6=qHom(Aip,Xiq) ×Hom(Aip,Yiq) Hom(Bip,Yiq) which decomposes as:

∗ (ji0,(qi1)∗) Hom(Bi0,Xi1) −−−−−−→ Hom(Ai0,Xi1) ×Hom(Ai0,Yi1) Hom(Bi0,Yi1) and:

∗ (ji1,(qi0)∗) Hom(Bi1,Xi0) −−−−−−→ Hom(Ai1,Xi0) ×Hom(Ai1,Yi0) Hom(Bi1,Yi0) both fibrations, and trivial if jik, or qil trivial with k =6 l. Again, by the ungraded counterpart of this result from [GoJa], this is equivalent to:

homC (Lik,Xil) → homC(Kik,Xil) ×homC(Kik,Yil) homC(Lik,Yil) (5)

fibration, trivial if iik : Kik → Lik or qil : Xil → Yil is, for k =6 l. Recombining (4) and (5) yields:

homC(L, X) → homC(K,X) ×homC(K,Y ) homC(L, Y ) fibration, trivial if i : K → L or q : X → Y is.

25 Theorem 2.3.4.4. sk-sMod∗ is a bi-graded simplicial model category.

Proof. We use the functor G : C = sk-sMod∗ → S∗ used to put a model structure on sk-sMod∗. We wish to show sk-sMod∗ satisfies the grsModCat axiom, which we just showed is equivalent to saying in particular the map

homC(L, X) → homC(K,X) ×homC(K,Y ) homC(L, Y ) is a fibration for i : K → L a cofibration in S∗, q : X → Y a fibration in L K L C (trivial if either of i or q is), which means G(X ) → G(X ×Y K Y ) is a fibration in S∗ (trivial if either of i or q is). G being a right adjoint it commutes with finite limits so this is equivalent to showing that:

L K L G(X ) → G(X ) ×G(Y K ) G(Y ) is a fibration, trivial if either of i or q is. Now F ⊣ G : S∗ → C satisfies, for L, K ∈ S∗:

F (L ⊠ K)= F (⊕iLi ⊗ Ki)

= ⊕iFi(Li ⊗ Ki)

= ⊕iFi(⊕p,qLip ⊗ Kiq)

= ⊕i[Fi0((Li0 ⊗ Ki0) ⊕ (Li1 ⊗ Ki1))

⊕ Fi1((Li0 ⊗ Ki1) ⊕ (Li1 ⊗ Ki0))]

= ⊕i Fi0(Li0 ⊗ Ki0) ⊕ Fi0(Li1 ⊗ Ki1) ⊕ Fi1(Li0 ⊗ Ki1) ⊕ Fi1(Li1 ⊗ Ki0) ∼ = ⊕i (Fi0Li0 ⊗ Ki0) ⊕ (Fi1Li1 ⊗ Ki1)
⊕ (Fi0Li0 ⊗ Ki1) ⊕ (Fi1Li1 ⊗ Ki0) = ⊕i [(FiLi)0 ⊗ Ki0] ⊕ [(FiLi)1 ⊗ Ki1]
⊕ [(FiLi)0 ⊗ Ki1] ⊕ [(FiLi)1 ⊗ Ki0] = ⊕i ⊕p,q (F L)ip ⊗ Kiq
= F L ⊠ K (6) where we have used the fact that Fip ⊣ Gip, i, p =0, 1, so it commutes with colimits as a left adjoint. Note that we used (for p = q + r): ∼ Fip(Liq ⊗ Kir) = FiqLiq ⊗ Kir throughout. We need the following lemma:

26 Lemma 2.3.4.5. If for any K, L ∈ S∗ there is a natural isomorphism F (L⊠ ∼ K) = F (L) ⊠ K, then for any X ∈ C = sk-sMod∗: ∼ GhomC(K,X) = homS∗ (K,G(X))

Proof. It suffices to write:

HomS∗ (L,GhomC(K,X)) = ⊕i,pHomS(Lip,GiphomC(K,X)ip) Ki0 Ki1 = ⊕i[HomS(Li0,Gi0(Xi0 ⊕ Xi1 )) Ki1 Ki0 ⊕ HomS(Li1,Gi1(Xi0 ⊕ Xi1 ))] Ki0 Ki1 = ⊕i[HomS(Li0,Gi0Xi0 ) ⊕ HomS(Li0,Gi0Xi1 ) Ki1 Ki0 ⊕ HomS(Li1,Gi1Xi0 ) ⊕ HomS(Li1,Gi1Xi1 )] ∼ Ki0 Ki1 = ⊕i[HomC(Fi0Li0,Xi0 ) ⊕ HomC(Fi0Li0,Xi1 ) Ki1 Ki0 ⊕ HomC(Fi1Li1,Xi0 ) ⊕ HomC(Fi1Li1,Xi1 )] ∼ = ⊕i[HomC(Fi0Li0 ⊗ Ki0,Xi0) ⊕ HomC(Fi0Li0 ⊗ Ki1,Xi1)

⊕ HomC(Fi1Li1 ⊗ Ki1,Xi0) ⊕ HomC(Fi1Li1 ⊗ Ki0,Xi1)]

= ⊕i[HomC((F L ⊠ K)i0,Xi0) ⊕ HomC((F L ⊠ K)i1,Xi1)]

= ⊕iHomsk-sMod((F L ⊠ K)i,Xi)

= HomC(F L ⊠ K,X) ∼ = HomC(F (L ⊠ K),X) ∼ = HomC(L ⊠ K,GX)

= ⊕i[HomC(Li0 ⊗ Ki0, (GX)i0) ⊕ HomC(Li1 ⊗ Ki1, (GX)i0)

⊕ HomC(Li0 ⊗ Ki1, (GX)i1) ⊕ HomC(Li1 ⊗ Ki0, (GX)i1)] ∼ = ⊕i[HomS(Li0, homSet∆ (Ki0, (GX)i0))

⊕ HomS(Li1, homSet∆ (Ki1, (GX)i0))

⊕ HomS(Li0, homSet∆ (Ki1, (GX)i1))

⊕ HomS(Li1, homSet∆ (Ki0, (GX)i1))]

= ⊕iHomS (Li, homS∗ (K,GX)i)

= HomS∗ (L, homS∗ (K,GX)) with S = Set∆.

27 From there, L K L G(X ) → G(X ) ×G(Y K ) G(Y ) that is:

GhomC(L, X) → GhomC(K,X) ×GhomC(K,Y ) GhomC(L, Y ) is equivalent to: hom (L,GX) → hom (K,GX) × hom (L,GY ) S∗ S∗ homS∗ (K,GY ) S∗

Now q : X → Y fibration in C means G(q): GX → GY fibration in S∗, and S∗ being a bi-graded simplicial model category it satisfies the grsModCat axiom, so the above map is a fibration, trivial if either of q or i is, that is sk-sMod∗ is a bi-graded simplicial model category.

2.3.5 Internal hom

From [CCF] and [V] we know k-sMod has an internal hom Homk-sMod. This comes from the fact that the tensor product ⊗k on k-sMod involves terms of mixed parity. In those references the internal hom is defined as follows:

Homk-sMod(M, N)0 = Homk-sMod(M, N) = Homk(M, N) while Homk-sMod(M, N)1 is the set of morphisms φ : M → N that reverse parity, i.e. those morphisms M0 → N1 and M1 → N0. We can see this is indeed the correct definition by starting from the formal definition for the internal hom: ∼ Homk(M ⊗k N,P ) = Homk(M, Homk-sMod(N,P )) Expanding the left hand side in full:

Hom(M0 ⊗ N0,P0) ⊕ Hom(M1 ⊗ N1,P0)

⊕ Hom(M0 ⊗ N1,P1) ⊕ Hom(M1 ⊗ N0,P1) ∼ = Hom(M0,Homk(N0,P0)) ⊕ Hom(M1, Homk(N1,P0))

⊕ Hom(M0, Homk(N1,P1)) ⊕ Hom(M1, Homk(N0,P1)) where we used the fact that k-Mod is a closed monoidal category in the sense of [Ho], with internal hom Homk. It follows as claimed above that:

Hom(N,P )0 = Hom(N0,P0) ⊕ Hom(N1,P1)

Hom(N,P )1 = Hom(N1,P0) ⊕ Hom(N0,P1)

28 Note that this shows what we called the enhanced hom Hom+ earlier is actu- ally the internal hom: Hom+ = Hom. Henceforward we will use the notation Hom.

For the tensor product in k-sMod∗:

Hom(M ⊠ N,P )= ⊕i=0,1Hom(Mi ⊗ Ni,Pi) ∼ = ⊕i=0,1Hom(Mi, Homk-sMod(Ni,Pi))

= Hom(M, Homk-sMod∗ (N,P )) if Homsk-sMod∗ (N,P ) = ⊕i=0,1Homsk-sMod(Ni,Pi). We prolong this to the simplicial case levelwise in the simplicial index: ∼ ⊠ = / Homk-sMod∗ (Mn Nn,Pn) Hom(Mn, Homk-sMod∗ (Nn,Pn)) O O O O O  O Hom (M ⊠ N,P ) / Hom(M, Hom (N,P )) sk-sMod∗ =∼ sk-sMod∗

At this point C = sk-sMod∗ the category of simplicial graded k-supermodules is endowed with the level-wise tensor product ⊠ for which we have an internal hom Homsk-sMod∗ , and is endowed with the ”usual” model structure whereby weak equivalences and fibrations are defined on the underlying bi-graded simplicial sets. We have also proved C is a bi-graded simplicial model category with: ∼ ⊠ 2 n HomC(M, N)n×n = HomC(M ∆ ∆ , N) Let:

Comm(C) = sk-sAlg∗ where again commutativity is defined on superalgebras by ab = (−1)|a||b|ba on homogeneous elements.

Now for A ∈ sk-sAlg∗, denote by A-sMod∗ the category of objects of sk-sMod∗ that are A-modules, with (A-sMod∗)n = An-sMod. A morphism f of A-supermodules is a simplicial morphism of supermodules f : M → N such that f(am) = af(m) for a ∈ A, m ∈ M, M ∈ A-sMod∗. To be more specific f has components fn : Mn → Nn in HomAn (Mn, Nn) and:

f(am)= ⊕nfn(anmn)

= ⊕nanfn(mn) = af(m)

29 There is a tensor product M⊠˜ AN defined level-wise: ⊠˜ ⊠˜ (M AN)n = Mn An Nn

3 Pre-homotopical Algebraic context

The notion of Homotopical Algebraic context is introduced in [TV4]. The reader is referred to that reference for a full definition. We call it pre- homotopical for the simple reason that we do not use C0, nor do we need A, a sub-category of good objects, or equivalently we just work with a sym- metric monoidal model category C satisfying only the first four assumptions of [TV4] which we will adapt to our bi-graded setting.

3.1 sk-sMod∗ symmetric monoidal model category We use the definition of symmetric monoidal model category as presented in [Ho]. We already have a monoidal structure (⊠k, α, λ, ρ, ∆k) on k-sMod∗ that we prolong to a monoidal structure on sk-sMod∗ level-wise. For that tensor product, we have an internal hom Homsk-sMod∗ . We have half of an adjunction of two variables:

Homr = Homsk-sMod∗ with:

φ Hom (M ⊠ N,P ) r / Hom (M, Hom (N,P )) sk-sMod∗ =∼ sk-sMod∗ sk-sMod∗

=∼ We have the braiding σ : M ⊠ N −→ N ⊠ M in k-sMod∗ that we prolonged to sk-sMod∗. Now: ⊠ Homsk-sMod∗ (M N,P ) ∗ φl=φr◦σ =∼ σ∗  φ + Hom (N ⊠ M,P ) r / Hom (N, Hom (M,P )) sk-sMod∗ =∼ sk-sMod∗ sk-sMod∗

30 ⊠ ∗ so ( , Homsk-sMod∗ , Homsk-sMod∗ ,φr,φr ◦σ ) is an adjunction of two variables, hence we have a closed monoidal structure on sk-sMod∗ making it into a closed monoidal category, as defined in [Ho].

We now show ⊠ is a Quillen bifunctor in C = sk-sMod∗. Let f : U → V be a cofibration in C, g : W → X a cofibration in C as well. This means they are cofibrations on the underlying bi-graded simplicial sets, so entry- wise cofibrations of simplicial sets, i.e. inclusions. More generally, maps in sk-sMod∗ are fibrations, cofibrations or weak equivalences if and only if they are respectively fibrations, cofibrations or weak equivalences in sk-Mod, or equivalenty said, if they are so entry-wise.

We need: fg :(V ⊠ W ) (U ⊠ X) → V ⊗ X ⊠ UaW cofibration in C, trivial if either of f or g is.

f : U → V and g : W → X being cofibrations in sk-sMod∗ means we have entry-wise cofibrations in sk-Mod fip : Uip → Vip and gip : Wip → Xip for i, p =0, 1, with U =(Uip), V =(Vip), W =(Wip) and X =(Xip). Consider ⊠ ⊠ the coproduct (V W ) U⊠W (U X)= ⊕i=0,1(Vi ⊗ Wi) Ui⊗Wi (Ui ⊗ Xi), which we simply denote by , computed in sk-sMod∗. Levelwise, it reads: ` `

U`i ⊗ Wi / Ui ⊗ Xi

  / Vi ⊗ Wi i further decomposing into parity wise coproducts:`

(Ui0 ⊗ Wi0) ⊕ (Ui1 ⊗ Wi1) / (Ui0 ⊗ Xi0) ⊕ (Ui1 ⊗ Xi1)

  / (Vi0 ⊗ Wi0) ⊕ (Vi1 ⊗ Wi1) i0 ` with a similar coproduct defining i1, in such a manner that = ( ip). Note that the maps in this diagram are induced by fip and gip. Thus the ` ` `

31 diagram defining i0 further decomposes into two coproduct diagrams: ` Uip ⊗ Wip / Uip ⊗ Xip

  Vip ⊗ Wip / Cipp so that i0 = Ci00 ⊕ Ci11. One would obtain a similar decomposition for . Working levelwise, we want: i1 ` ` Vi ⊗ Wi Ui ⊗ Xi → Vi ⊗ Xi (7) U ⊗W ai i to be a cofibration. But we know fip : Uip → Vip and giq : Wiq → Xiq are cofibrations, so Cipq = Vip ⊗ Wiq Uip⊗Wiq Uip ⊗ Xiq → Vip ⊗ Xiq is a cofi- bration for p, q = 0, 1, ⊗ being a Quillen bifunctor on sk-Mod, and all such maps recombine into (7), which is` therefore a cofibration. Now if either of f or g is trivial, so are its entries. For instance if this is true of f, the entries fip are trivial, making Uip ⊗ Wiq Uip⊗Wiq Uip ⊗ Xiq → Vip ⊗ Xiq trivial for i, p, q =0, 1, and those maps recombine into fg trivial. This shows that ⊠ is a Quillen bifunctor. `

Since k is the unit for k-Mod, ∆k the unit in k-sMod∗, if c∗ is the constant simplicial functor then, c∗(k)= k∗ is the unit for sk-Mod and c∗(∆k) = ∆k∗ is the unit for sk-sMod∗, a constant bi-graded simplicial object. If we call Q the cofibrant replacement functor in sk-sMod∗, entrywise that can be obtained from the cofibrant replacement functor on sk-Mod. We want:

Q∆k∗ ⊠ X → ∆k∗ ⊠ X (8) a weak equivalence for any cofibrant object X in sk-sMod∗. That means the entries of X are cofibrant in sk-Mod as well, and this latter being a symmetric monoidal category ([TV], [TV4]) we have Qk∗ ⊗ Xip → k∗ ⊗ Xip cofibrations for i, p = 0, 1, all of which recombine into (8), a cofibration, and this for all cofibrant X in sk-sMod∗. Finally, ⊠k being symmetric in k-sMod∗, so is its prolongation to sk-sMod∗. Thus we have proved:

Theorem 3.1.0.1. sk-sMod∗ is a symmetric monoidal model category.

32 3.2 Assumption 1 This is referred to as Assumption 1.1.0.1. in [TV4]. A homotopical algebraic context has 6 assumptions, we use the first four, that is why we call our theory as being based on a pre-homotopical context. In what follows, we use the fact that sk-Mod satisfies our four assumptions ([SS]).

Assumption 1 3.2.1. sk-sMod∗ is proper, pointed, and for any X,Y ∈ sk-sMod∗, the natural morphism: QX QY → X Y → RX × RY (9) a a is an equivalence. Further Ho (sk-sMod∗) is an additive category.

Proof. sk-Mod is proper and pointed, hence so is sk-sMod∗. Let X,Y ∈ sk-sMod∗ we show the map QX QY → X Y → RX × RY is a natural equivalence. This composition decomposes levelwise into: ` `

QXi QYi → Xi Yi → RXi × RYi which itself decomposesa as follows: a

⊕p,q=0,1 QXip QYiq → ⊕p,qXip Yiq → ⊕p,qRXip × RYiq thus entrywise, for p, qafixed: a

QXip QYip → Xip Yiq → RXip × RYiq This however is an equivalencea sincea sk-Mod is assumed to satisfy this as- sumption. All such maps recombine into (9), which is therefore an equiva- lence. Hence the assumption holds in sk-sMod∗. Finally Ho (sk-sMod∗) is an additive category since this is true of Ho (sk-Mod).

3.3 Assumption 2

Assumption 2 3.3.1. Let C = sk-sMod∗ and A ∈ Comm(C) = sk-sAlg∗. Define a morphism in A-sMod∗ to be a fibration or an equivalence if it is so on the underlying objects of C. With this notion, A-sMod∗ is a combinato- rial, proper model category, on which a tensor product X⊠˜ AY is defined as ⊠˜ ⊕i,pXip ⊗Aip Yip. With the monoidal structure defined by − A−, A-sMod∗ is a symmetric monoidal model category.

33 Proof. We first show properness, that is, left-properness and right-properness. Starting with left-properness, we must show any pushout of a weak equiva- lence along a cofibration is a weak equivalence. Consider any such pushout in A-sMod∗: X / U

≃   Y / V cofibr. those maps being defined on the underlying objects in sk-sMod∗ we have that same diagram in sk-sMod∗, which is proper, so U → V is a weak equivalence in sk-sMod∗, hence so it is in A-sMod∗. We show right properness in like manner.

Regarding being combinatorial, we first show A-sMod∗ is cofibrantly gen- erated. Since we will use the notations of [Ho] where that concept is discussed, we remind the reader about those notations: recall that if M is a model cat- egory, to say that M is cofibrantly generated means there are small sets I and J (again not worrying about universe considerations) of morphisms in M, and a small cardinal α such that:

1. domains and codomains of maps in I and J are α-small.

2. the class of fibrations is J-inj.

3. the class of trivial fibrations is I-inj.

See [Ho] for the relation between I and J. Since A-Mod is cofibrantly gen- erated for A ∈ sk-CAlg, it follows Aip-Modiq, i, p, q = 0, 1 is cofibrantly generated for A = (Aip) ∈ sk-sAlg∗, with small sets Iipq and Jipq such that domains and codomains of maps in those sets are αipq-small for some αipq. Then: A-sMod∗ =(⊕p,q=0,1A0p-Mod0q) ⊕ (⊕r,s=0,1A1r-Mod1s) where each summand is of the form A-Mod for some A ∈ sk-CAlg, cofi- brantly generated. Then define I = (Iipq), J = (Jipq), with α = max{αipq}, with I-inj the fibrations in A-sMod∗, J-inj the trivial fibrations in A-sMod∗, thereby cofibrantly generated. Finally recall from [TV] for example, that a category C is locally presentable if there exists a small set of α-small objects C0 ⊂ C for some cardinal α, such that any object in C is an α-filtered colimit

34 of objects in C0. It is clear a bi-graded category is locally presentable if it is so entry-wise. Then a combinatorial model category is a cofibrantly generated model category whose underlying category is locally presentable. Since for A ∈ sk-CAlg, A-Mod is combinatorial, in particular it is locally presentable, so is A-sMod∗ for A ∈ sk-sAlg∗, and being cofibrantly generated as well, it is therefore combinatorial.

We now show A-sMod∗ is a symmetric monoidal model category. We first prove −⊠˜ A− gives a monoidal structure on A-sMod∗. A-Mod has an internal hom HomA for A ∈ sk-CAlg: ∼ Hom(M ⊗A N,P ) = Hom(M, HomA(N,P ))

Now for A ∈ sk-sAlg∗, M,N,P ∈ A-sMod∗, we have: ⊠˜ Hom(M AN,P ) = Hom(⊕i,pMip ⊗Aip Nip,Pip)

= ⊕i,pHom(Mip ⊗Aip Nip,Pip) ∼ = Hom(Mip, HomAip (Nip,Pip))

= Hom(M, HomA(N,P )) so there is an internal hom HomA in A-sMod∗, with

HomA(N,P ) = (HomAip (Nip,Pip))

So far we have half of an adjunction of two variables:

φ Hom (M⊠˜ N,P ) r / Hom (M, Hom (N,P )) A-sMod∗ A =∼ A-sMod∗ A

Recall that we have the braiding σ : M ⊠ N → N ⊠ M in sk-sMod∗ defined entry-wise, so accordingly we also have a braiding operator σA : M⊠˜ AN → N⊠˜ AM. We have:

⊠˜ HomA-sMod∗ (M AN,P ) (10) ∗ φl=φr◦σ ∼ ∗ A = σA  φ + Hom (N⊠˜ M,P ) r / Hom (N, Hom (M,P )) A-sMod∗ A =∼ A-sMod∗ A

35 ⊠˜ ∗ so ( A, HomA, HomA,φr,φr ◦ σA) is an adjunction of two variables, hence we have a closed monoidal structure on A-sMod∗ making it into a closed monoidal category.

We now show ⊠˜ A is a Quillen bifunctor. Write C = A-sMod∗, let f : U → V and C, g : W → X be cofibrations in C. We need:

fg :(V ⊠˜ AW ) (U⊠˜ AX) → V ⊠˜ AX ⊠˜ UaAW to be a cofibration in C, trivial if either of f or g is. This decomposes entry- wise into:

(Vip ⊗Aip Wip) (Uip ⊗Aip Xip) → Vip ⊗Aip Xip U ⊗ W ip aAip ip for i, p = 0, 1, to be a cofibration in C, trivial if either of f or g is. This follows from the same computation done when showing that ⊠ was a Quillen bifunctor on sk-sMod∗.

Now A being the unit in A-sMod∗ for ⊠˜ A, QA → A a cofibrant replace- ment, for any cofibrant object X, we show QA⊠˜ AX → A⊠˜ AX is a weak equivalence. This follows from the definition of ⊠˜ A and the fact that for A ∈ sk-CAlg, X cofibrant in sk-Mod, QA ⊗A X → A ⊗A X is a weak equiv- ⊠˜ alence. Finally, since M AN = ⊕i,pMip ⊗Aip Nip and − ⊗A − defines a sym- metric monoidal structure on A-Mod, for A ∈ sk-CAlg, it follows that −⊠˜ A− defines a symmetric monoidal structure on A-sMod∗ as well for A ∈ sk-sAlg∗. This completes the proof.

3.4 Assumption 3

Assumption 3 3.4.1. For A ∈ Comm(C) = sk-sAlg∗, for any M fibrant in A-sMod∗, the functor −⊠˜ AM : A-sMod∗ → A-sMod∗ preserves equivalences.

Proof. For M fibrant in A-sMod∗, writing 1 for the terminal object of A-sMod∗, M → 1 being a fibration, we have Mip → 1ip a fibration in sk-Mod for i, p =0, 1, i.e. Mip fibrant in Aip-Mod for i, p =0, 1. Let f be an equivalence in A-sMod∗, f =(fip), fip a weak equivalence in Aip-Mod for i, p =0, 1. We know for A ∈ sk-CAlg, M ∈ A-Mod, −⊗A M preserves weak equivalences, so having Mip fibrant and fip an equivalence, fip ⊗Aip Mip is a weak equivalence for i, p =0, 1, hence so is f⊠˜ AM for M ∈ A-sMod∗.

36 3.5 Assumption 4

Assumption 4 3.5.1. For A ∈ Comm(C) = sk-sAlg∗, there exist categories A-Comm(C) and A − Commnu(C) (non-unital) whose morphisms are fibra- tions and equivalences if they are so on the underlying objects of C. This makes those categories into combinatorial proper model categories. If B is cofibrant in A-Comm(C), the functor B⊠˜ A− : A-sMod∗ → B-sMod∗ pre- serves equivalences.

Proof. Given how fibrations and equivalences are defined in those categories, proving they are combinatorial, proper model categories is done exactly the same way we proved those statements for A-sMod∗. Proving that B⊠˜ A− preserves equivalences for B cofibrant is done in the same manner that we proved −⊠˜ AC preserves equivalences for C fibrant in A-sMod∗.

4 Bi-graded derived algebraic stacks

4.1 Finitely presented morphisms

Let C = sk-sMod∗, so that Comm(C) = sk-sAlg∗ = M, our model category of interest. We will need M to be proper, but weak equivalences are defined on the underlying objects of sk-sMod∗, and it being proper, so is M. We ∆ fix a bi-graded cofibrant resolution functor (Γ : M → M , ι), Γ = (Γip) ∆ ([TV]), with Γip : M → M cofibrant resolution functors in sk-Mod for i, p =0, 1 where as usual the underlined object corresponds to an ungraded counterpart. Here M = Comm(sk-sMod∗), so M = Comm(sk-sMod∗) = ∗ ∗ Comm(sk-Mod) = sk-CAlg. We have c = (c )2X2, with weak equivalences: ιip(A) ∗ ∗ Γip(A) −−−→ c A for i, p = 0, 1, with c the constant cosimplicial object functor. Since we consider bi-graded morphisms in M, we have:

MapM (A, B) = HomM (Γ(A), B)

= ⊕i=0,1Homsk-sAlg(Γi(Ai), Bi)

= ⊕i,pHomM (ΓipAip, Bip)

= ⊕i,pMapM,ip(Aip, Bip) so we define MapM = MapM,0 ⊕ MapM,1 so that we have:

MapM = (MapM,ip(−, −)) = (HomM (Γip−, −))

37 Now let A → B be a morphism in M = sk-sAlg∗. Consider any filtered diagram of objects under A, {Ci}i∈I ∈ A/M. We have a natural morphism:

hocolim i∈I MapA/M (B,Ci)

= hocolim i∈I MapAjp/M (Bjp,Ci,jp) =∼   −→ MapAjp/M (Bjp, hocolim i∈I Ci,jp)   = MapA/M (B, hocolim i∈I Ci) and those objects are defined in Ho (S∗). This shows a morphism in M is finitely presented if and only if it is so in M = sk-CAlg.

4.2 Bi-graded derivations and cotangent complexes

For C = sk-sMod∗, A ∈ Comm(C), M ∈ A-Comm(C), we define a commuta- tive monoid A ⊕ M with A M as underlying object, just as in [TV4], with multiplication: (A ⊕`M) ⊠ (A ⊕ M) −→π A ⊕ M defined by:

(A M) ⊠ (A M) a = A ⊠aA A ⊠ M M ⊠ A M ⊠ M −→ A aM a a where: a

µ µ ∗ :A ⊠ A −→ A → A M ρ ∗ a ρ :A ⊠ M −→ M → Aa M a M ⊠ M → M → Aa M

Here µ and ρ have entries as defined in [TV4] anda where in the last line we use the fact that M is a commutative monoid in A-sMod∗. To show A ⊕ M is commutative, it suffices to write:

A M = ⊕i=0,1Ai Mi = ⊕i=0,1 ⊕p Aip Mip a a a 38 Then:

(A M) ⊠ (A M)= ⊕i=0,1(Ai Mi) ⊗ (Ai Mi)

a a = ⊕i=0,1(⊕pAaip Mip) ⊗a(⊕qAiq Miq)

= ⊕i=0,1 ⊕p,q (Aaip Mip) ⊗ (Aiq aMiq)

Now A ∈ k-sMod∗ is super-commutative if µ ◦aσ = µ, that isa for any homo- geneous elements x, y in A, xy = µ(x ⊗ y)=(−1)|x||y|yx. Presently we have π on:

(A ⊕ M) ⊠ (A ⊕ M)= ⊕i=0,1 ⊕p,q (Aip ⊗ Aiq) (Aip ⊗ Miq)

(Mip ⊗ Aiq) (Mip ⊗aMiq) and on each entry π is super-commutative,a soaA ⊕ M is super-commutative.

Now for A → B a morphism in Comm(C), M ∈ B-Comm(C), the mor- phism id ∗ : B ⊕ M → B is a morphism in A-Comm(C), hence we can regard B ⊕ M ∈ A-Comm(C)/B. ` Definition 4.2.1. For a morphism A → B in Comm(C), M ∈ B-Comm(C), C = sk-sMod∗, we define, as in [TV4], the set of A-derivations B → M as: D erA(B, M) = MapA-Comm(C)/B (B, B ⊕ M) ∈ Ho (S∗) where B → B ⊕ M is a section of id ∗. We have the following result, much` as in [TV4]:

Proposition 4.2.2. For any morphism A → B in sk-sAlg∗, there is an object LB/A ∈ B-sMod∗, there is a d ∈ π0(DerA(B, LB/A)) such that for any M = (Mip), Mip ∈ Bip-Mod, i.e. M ∈ B-sMod∗, the natural induced morphism: ∗ L D d : MapB-sMod∗ ( B/A, M) → erA(B, M) is an isomorphism in Ho (S∗). L ∗ Note that for ψ ∈ MapB-sMod∗ ( B/A, M), the element d ψ is constructed as follows: ψ ΓLB/A / M

 d  B⊕ψ  B / B ⊕ ΓLB/A / B ⊕ M

39 Proof. A morphism A → B ∈ Comm(C) gives rise to entry maps Aip → Bip ∈ Comm(C), with C = sk-Mod, for i, p = 0, 1, so we are guaranteed by [TV4] L D L that there is some Bip/Aip ∈ Bip-Mod and a dip ∈ π0( erAip (Bip, Bip/Aip )) such that for any Mip ∈ Bip-Mod:

∗ L D dip : MapBip-Mod( Bip/Aip , Mip) → erAip (Bip, Mip) L L is an isomorphism in Ho (Set∆). We view B/A = ( Bip/Aip ) as an object of (Bip-Modip) ⊂ B-sMod∗, and the same is true of M =(Mip). Then it suffices to write: L L MapB-sMod∗ ( B/A, M)= ⊕i,pMapBip-Mod( Bip/Aip , Mip) ∗ (dip) −−→⊕i,pMapAip−Comm(C)/Bip (Bip, Bip ⊕ Mip)

= MapA-Comm(C)/B(B, B ⊕ M)

= DerA(B, M) with d =(dip) ∈ π0(DerA(B, LB/A)).

Definition 4.2.3. Let A → B a morphism in Comm(sk-sMod∗). The B- module LB/A ∈ Ho (B-sMod∗) is called as in [TV4] the cotangent complex of B over A. If A =1=∆k∗, write LB = LB/1, which we will call the cotangent complex of B.

4.3 ´etale morphisms

We have shown that A-sMod∗ is a symmetric monoidal model category with the tensor product ⊠˜ A. This means its homotopy category Ho (A-sMod∗) ⊠˜ L has a natural symmetric monoidal structure A.

Definition 4.3.1. Let f : A → B be a morphism in Comm(sk-sMod∗) = sk-sAlg∗. The morphism f is said to be formally ´etale if:

=∼ LA⊠˜ AB −→ LB or entry-wise: L =∼ L Aip ⊗Aip Bip −→ Bip for i, p =0, 1, i.e. f is formally ´etale if it is so entry-wise.

40 L Note that this is a well-defined morphism: if p = 0, the parity of Aip ⊗Aip L L Bip is p + p + p = 0, so we do have Ai0 ⊗Ai0 Bi0 → Bi0 , and if p = 1, the L parity of Ai1 ⊗Ai1 Bi1 is 3 mod 2, which is 1, so we also have a well-defined L L map Ai1 ⊗Ai1 Bi1 → Bi1 .

Definition 4.3.2. We define a morphism of commutative monoids in sk-sMod∗ to be ´etale if it is finitely presented and formally ´etale. This is the same definition as initially presented in [TV4]. Following the same reference, we will use the same terminology for morphisms in Ho (Comm(C)) and for the corresponding morphisms of representable stacks. op We typically write AffC = (Comm(C)) but if C = sk-sMod∗, Comm(C) = op − sk-sAlg∗, (sk-sAlg∗) is then denoted, much as in [TV4], k-D sAff∗.

If C = sk-sAlg∗ ⊂ sk-sMod∗, A ∈ C, we define the underlying bi-graded space of A as:

|A| = MapC(∆k∗, A)

= (MapC(k∗, Aip)

=(|Aip|) ∈ S∗ so that following [TV4], we define:

πk(A)= πk(|A|, ∗)

=(πk(|Aip|, ∗ip))

=(πkAip)

− Write Spec A ∈ k-D sAff∗ if A ∈ sk-sAlg∗. Following [TV4], we define families {Spec Ai → Spec A}i∈I to be ´etale covering families if and only if there is some J ⊂ I such that for all i ∈ I: ⊠˜ =∼ πnA π0Aπ0Ai −→ πnAi (11) and Spec π0Aj → Spec π0A aj∈J is ´etale and surjective, where Spec A → Spec B is ´etale if B → A is an ´etale morphism in sk-sAlg∗.

41 Note that (11) reads as follows entry-wise:

=∼ πnAjp ⊗π0Ajp π0Ai,jp −→ πnAi,jp

Now if A ∈ k-sAlg∗:

Spec A = Spec ⊕i,p Aip op =(⊕i,pAip) op = ⊕i,pAip

= ⊕i,pSpec Aip along with π0A =(π0Aip), this gives us, for A ∈ sk-sAlg∗:

Spec π0A = Spec ⊕i,p π0Aip = ⊕i,pSpec π0Aip

It follows:

Spec π0Aj = ⊕l,pSpec π0Aj,lp j∈J j∈J a a et.´ = ⊕l,p Spec π0Aj,lp ։ ⊕l,pSpec π0Alp j∈J a so that entrywise:

Spec π0Aj,lp ։ Spec π0Alp aj∈J However, finitely presented morphisms in sk-sAlg∗ are so entry-wise, and given the definition of formally ´etale morphisms and the definition of ⊠˜ A, formally ´etale maps are so entry-wise as we argued. It follows ´etale mor- phisms in sk-sMod∗ are so entry-wise, so the above morphism is entry-wise − ´etale. We conclude that a family of coverings in k-D sAff∗ is an ´etale cover- ing if and only if it is so entry-wise in k-D−Aff.

4.4 Descent on super modules We now define the descent condition on supermodules, which is just an adap- tion to our setting of the work done in [TV4]. We define a cosimplicial object ∆ A∗ in Comm(C), C = k-sMod∗, to be an object of Comm(C) , which to [n]

42 associates An = (An,ip). A cosimplicial A∗-module M∗ is given by a graded An-supermodule Mn for all n ∈ ∆, Mn = (Mn,ip), and for any morphism u :[n] → [m] in ∆ of a morphism of graded An-supermodules αu : Mn → Mm satisfying the usual covariance condition. In the same manner, a morphism of cosimplicial graded A∗-supermodules f : M∗ → N∗ is given by a collection of morphisms fn : Mn → Nn for all n ∈ ∆ commuting with the α’s. This de- fines a category csA∗-sMod∗ of co-simplicial graded A∗-supermodules. This is a combinatorial, proper model category where equivalences (resp. fibrations) are morphisms f : M∗ → N∗ such that each fn : Mn → Nn is an equiva- lence (resp. a fibration) in An-sMod∗, a level-wise projective model struc- ture. It will also be convenient sometimes, for A ∈ k-sAlg∗, to regard B∗ a co-simplicial commutative graded A-superalgebra as a co-simplicial commu- tative monoid with a co-augmentation morphism A → B∗, where we regard A as a constant co-simplicial object. This latter defines a category csA-sMod∗ of co-simplicial graded cc(A)-supermodules, which is really cs(A-sMod∗), along with its levelwise projective model structure.

For a co-simplicial graded A-super module M∗, we define a co-simplicial graded B∗-supermodule B∗⊠˜ AM∗ by (B∗⊠˜ AM∗)n = Bn⊠˜ AMn, with mor- phisms between different degrees given by the ones on B∗ and M∗. This gives a functor: B∗⊠˜ A− : csA-sMod∗ → csB∗-sMod∗ with a right adjoint:

csA-sMod∗ ← csB∗-sMod∗ : f sending a graded B∗-super module M∗ to its underlying graded A-super mod- ule, clearly a Quillen adjunction. We have an additional adjunction, as in [TV4]:

cst : Ho (A-sMod∗) ⇄ Ho (csA-sMod∗) : holim = R lim and by composition:

⊠˜ L L ⊠˜ ⇄ R B∗ A− = (B∗ A−)◦cst : Ho (A-sMod∗) Ho (csB∗-sMod) : holim◦ f = Z Definition 4.4.1. Let B∗ be a co-simplicial commutative graded super monoid, M∗ a co-simplicial graded B∗ super module. We say M∗ is homotopy carte- sian if for all u :[n] → [m] in ∆, the map induced by αu : Mn → Mm, ⊠L Mn Bn Bm → Mm is an isomorphism in Ho (Bm-sMod∗).

43 Now if A ∈ Comm(C), C = k-sMod∗, B∗ co-simplicial commutative alge- bra over A, seen as a co-simplicial commutative graded super monoid, we say the augmentation A → B∗ satisfies the descent condition if in the adjunction:

⊠˜ L ⇄ B∗ A− : Ho(A-sMod∗) Ho (csB∗-sMod∗): Z ⊠˜ L B∗ A− is fully faithful and gives an equivalence between Ho (A-sMod∗) and the full subcategory of Ho (csB∗-sMod∗) spanned by homotopy cartesian ob- jects.

4.5 ´etale model topology In this subsection we prove that ´etale covering families define a model topol- − ogy on k-D sAff∗, which further satisfies an assumption that we will refer to as the ”Cover” assumption, the bi-graded generalization of Assumption 1.3.2.2 of [TV4].

4.5.1 Model topology

− Recall that a family of morphisms {Spec Ai → Spec A}i∈I in k-D sAff∗ is an ´etale covering family if and only if there is a finite subset J ⊂ I such ⊠˜ =∼ that for all i ∈ I, π∗A π0Aπ0Ai −→ π∗Ai and j∈J Spec π0Aj → Spec π0A is ´etale and surjective. Recall that being ´etale means finitely presented ` =∼ and formally ´etale, where A → B is formally ´etale if LA⊠˜ AB −→ LB, and =∼ finitely presented means for any familiy {Ci}, hocolim i∈I MapA/M (B,Ci) −→ MapA/M (B, hocolim Ci). Recall also that a family is a covering ´etale family if and only if it is so entry-wise. We will use the fact, proven in [TV4], that ´etale covering families define a model topology in k-D−Aff = (sk-CAlg)op. We refer the reader to [TV] for the notion of model topology. There are three condi- − tions to be met. Let M = k-D sAff∗, let Spec A ∈ M. Suppose we have an isomorphism Spec B → Spec A. Entry-wise, this reads Spec Bip → Spec Aip − isomorphism for i, p =0, 1 in k-D Aff, which gives {Spec Bip → Spec Aip} ∈ cov´et(Spec Aip) for i, p = 0, 1. But since cov´et(X) = (cov´et(Xip)), it follows that condition 1 is met. For the second point, let {Spec Ai → Spec A}i∈I ∈ cov´et(Spec A). This means {Spec Ai,kp → Spec Akp}i∈I ∈ cov´et(Spec Akp) for

44 k,p =0, 1. Let {Spec Bij → Spec Ai}j∈J ∈ cov´et(Spec Ai) for i ∈ I, and again that means {Spec Bij,kp → Spec Ai,kp}j∈J ∈ cov´et(Spec Ai,kp) for k,p = 0, 1. Then {Spec Bij,kp → Spec Akp}i∈I,j∈J ∈ cov´et(Spec Akp) for k,p = 0, 1, i.e. {Spec Bij → Spec A}i∈I,j∈J ∈ cov´et(Spec A). This is the second condi- tion. Third point, for any {Spec Ai → Spec A}i∈I ∈ cov´et(Spec A), that is {Spec Ai,jp → Spec Ajp}i∈I ∈ cov´et(Spec Ajp) for j, p = 0, 1, for any mor- phism Spec B → Spec A, which entry-wise reads Spec Bjp → Spec Ajp, then h {Spec Ai,jp ×Spec Ajp Spec Bjp → Spec Bjp} ∈ cov´et(Spec Bjp) for j, p = 0, 1, h which recombine into {Spec Ai ×Spec A Spec B → Spec B} ∈ cov´et(Spec B). − Hence ´etale covering families define a model topology on k-D sAff∗.

Now part of showing the cover assumption is satisfied hinges on the fact that (sAffC)∗ is a simplicial model category on which we can put a Reedy model structure.

4.5.2 Reedy model structure on sAffC

∆op − op sAffC = AffC with AffC = k-D sAff∗ = (sk-sAlg∗) , is a simplicial category with C = sk-sMod∗, thus it is cotensored over Set∆ so for X∗ ∈ sAffC , K K K ∈ Set∆, X∗ is well defined, and its zeroth part will just be denoted X . We have in particular: K K K X∗ =(⊕i,pX∗,ip) = ⊕i,pX∗,ip

Indeed, for X∗,Y∗ ∈ sAffC and K ∈ Set∆:

Hom(Y∗ ⊗ K,X∗) = Hom((⊕i,pY∗,ip) ⊗ K, (⊕i,pX∗,ip))

= ⊕i,pHomsAffC (Y∗,ip ⊗ K,X∗,ip) ∼ K = ⊕i,pHom(Y∗,ip,X∗,ip) since sAffC is a simplicial category. This further recombines into: K K Hom(Y∗, ⊕i,pX∗,ip) = Hom(Y∗,X∗ ) We also have: K K X =(⊕i,pX∗,ip)0 K = ⊕i,p(X∗,ip)0 K = ⊕i,pXip K =(Xip )

45 Thus the simplicial structure on sAffC is an entry-wise generalization of that on sAffC. One could also show that it is a bi-graded simplicial category and this is proved formally in exactly the same manner that we showed sk-sMod∗ is a bi-graded simplicial category. Then for the bi-graded simplicial structure, K Kiq n n n we have X∗ = ⊕i,p,qK∗,ip . If K = ∆ × ∆ , with ∆ regarded as being of even parity, we then have:

∆∆n ∆n ∆n K∗ = ⊕i,pK∗,ip =(K∗) for the simplicial structure. For Y ∈ AffC ֒→ sAffC regarded as a constant simplicial object via the constant simplicial functor cs∗(Y ), with cs∗(Y )n = Y K K for any n, when we write Y we really mean (cs∗(Y )) .

We now put a Reedy structure on sAffC. Equivalences X∗ → Y∗ are such that Xn → Yn are equivalences in AffC for any n, and fibrations X∗ → Y∗ are those maps such that for any n:

n n n ∆ ∼ / ∂∆ n ∆ X = Xn X ×Y ∂∆ Y

∆n ∂∆n ∆n (X ) (X × ∂∆n Y ) ip ip Yip ip

∆n ∂∆n is a fibration in AffC. Entry-wise this decomposes into X → X × ∂∆n ip ip Yip ∆n Yip , fibration in AffC for i, p =0, 1, i.e. the Reedy model structure on sAffC is an entry-wise Reedy model structure on sAffC. Observe that for K ∈ Set∆, the functor:

sAffC →AffC K K X∗ 7→ (X∗ )0 = X is a right Quillen functor for the Reedy model structure on sAffC.

46 K Indeed it decomposes into X∗ = (X∗,ip) 7→ (Xip ), right Quillen in the Reedy model structure on sAffC entry-wise, recombining into a right Quillen functor in sAffC. Its right derived functor is given by:

Ho (sAffC) → Ho (AffC) k X∗ 7→ RX R K = (Xip ) R K =( Xip ) RK =(Xip ) = XRK

4.5.3 The Cover Assumption This assumption, which mirrors Assumption 1.3.2.2 of [TV4], is just the bi- graded version of the latter, so the reader is referred to that reference for the − full statement. Essentially we assume the ´etale topology on Ho (k-D sAff∗) is quasi-compact, projections onto coproducts form ´etale-covering families, both of which are fairly immediate to verify, and thirdly if X∗ → Y is an augmented simplicial object in AffC corresponding to a co-augmented co- simplicial object A → B∗ in Comm(C), if we assume that for all n the morphism: R∂∆n h Xn → X ×Y R∂∆n Y (12) by itself forms an ´etale covering family in AffC , then A → B∗ satisfies de- scent. We discuss this third point.

We have: R∂∆n h R∂∆n h X × R∂∆n Y =(X × R∂∆n Yip) Y ip Yip with this the map (12) reads entry-wise:

R∂∆n h Xn,ip → X × R∂∆n Yip ip Yip for i, p =0, 1. Now since ´etale covering families are so entry-wise, those maps correspond to ´etale covering families in AffC, so the maps Aip → B∗,ip satisfy descent by the original ungraded cover assumption of [TV4].

47 We show this implies they can be recombined into A → B∗ that also satisfies descent. This will imply our bi-graded cover assumption is just a diagonalization of the original cover assumption of [TV4].

Recall that to satisfy descent means ⊠˜ L B∗ A− : Ho(A-sMod∗) → Ho (csB∗-sMod∗) is fully faithful and establishes an equivalence of Ho (A-sMod∗) with the sub- category of homotopy cartesian objects in Ho (csB∗-sMod∗). That the entries L ff Aip → B∗,ip satisfy descent then means that B∗,ip ⊗Aip − : Ho(Aip-Mod) −→ ⊠˜ L Ho (csB∗,ip-Mod) for i, p = 0, 1. Those maps recombine into B∗ A− : Ho (A-sMod∗) → Ho (csB∗-sMod∗) fully faithful. Regarding homotopy carte- ⊠˜ L sian objects, those are objects M∗ in Ho (csB∗-Mod∗) such that Mn Bn Bm → ⊠˜ L Mm is an isomorphism in Ho (Bm-sMod∗). We quickly check B∗ A− maps objects of Ho(A-sMod∗) into cartesian objects of Ho (csB∗-sMod∗): let C∗ ∈ Ho (A-sMod∗). We know from [TV4] in the ungraded case that entry-wise: L L ∼ L (Bn,ip ⊗Aip Cn,ip) ⊗Bn,ip Bm,ip = Bm,ip ⊗Aip Cm,ip

L for i, p = 0, 1, since B∗ ⊗A − maps objects of Ho(A-Mod) into homotopy cartesian objects of Ho (csB∗-Mod). Now we have: ⊠˜ L ⊠˜ L ⊠˜ L L (Bn ACn) Bn Bm = ⊕i,p(Bn ACn)ip ⊗Bn,ip Bm,ip L L = ⊕i,p(Bn,ip ⊗Aip Cn,ip) ⊗Bn,ip Bm,ip ∼ L ⊠˜ L = ⊕i,pBm,ip ⊗Aip Cm,ip = Bm ACm

⊠˜ L hence B∗ A− maps objects of Ho(A-sMod∗) into homotopy cartesian ob- jects. The essential surjectivity is dealt with entry-wise. Thus the third point is satisfied.

To conclude this subsection on the model topology, the ´etale topology − − does define a model topology on k-D sAff∗ and makes (k-D sAff∗, et.´ ) into a model site. Further this topology satisfies our technical cover assumption, bi-graded generalization of the cover assumption as originally introduced in [TV4].

48 4.6 Bi-graded simplicial presheaves Let M be a small bi-graded model category (the choice of universes U ∈ V being implied, M V-small, U-cofibrantly generated...), W (M) its class of − equivalences. For us M = k-D sAff∗. Define:

M op sPrZ2 (M)= S  2 ∗ the category of bi-graded simplicial presheaves on M =(Mip). Equivalently:

sPrZ2 (M)= ⊕ sPr(M) 2 i,p

We put the entry-wise projective model structure on sPrZ2 (M) where equiv- 2 alences and fibrations are defined object-wise.

Our aim at this point is to define a model category of prestacks M ∧, obtained as a bi-graded left Bousfield localization of sPrZ2 (M) along {h | u ∈ 2 u W (M)} where h : M → PrZ (M) ֒→ sPrZ2 (M) is the bi-graded Yoneda 2 2 embedding. In other terms we localize each individual sPr(M), i.e. we do an entry-wise Bousfield localization. Then Ho (M ∧) is identified with the subcategory of Ho (sPrZ2 (M)) that consists of presheaves that preserve weak 2 equivalences entry-wise. M ∧ is a bi-graded simplicial model category since sPr(M)∧ = sPr(k-D−Aff)∧ is a simplicial model category from [TV], and we denote by RHom ∈ Ho (S∗) its derived hom. From there we define a model category M ∼ , et.´ of stacks on (M, et.´ ), left bi-graded Bousfield localization of M ∧ along homotopy ´etale-hypercovers. We obtain a pair of adjoint Quillen functors: id : M ∧ ⇄ M ∼ , et.´ : id giving rise to:

a = Lid : Ho(M ∧) ⇄ Ho (M ∼ , et.´ ): Rid = j

− we finally define a bi-graded stack on (k-D sAff∗, et.´ ) to be an object of ∧ sPrZ2 (M) whose image in Ho (M ) is in the essential image of the functor j, 2 exactly in the same way that derived stacks were defined in [TV4].

49 4.7 Bi-graded left Bousfield localization The reference we use for Bousfield localizations is [Hi], which we follow closely since it is just a matter of adapting Hirschhorn’s definition to the bi-graded − case. Let M =(Mip)bea Z2-graded model category, such as k-D sAff∗. Let C be a class of maps in M, C = (Cip). An object W of M is C-local if it is fibrant and for any f : A → B in C, or entry-wise fip : Aip → Bip in C for i, p =0, 1, the induced map of mapping spaces is a weak equivalence: f ∗ : Map(B, W ) −→≃ Map(A, W ) or entry-wise: ∗ ≃ fip : Map(Bip, Wip) −→ Map(Aip, Wip) In other terms, C-local objects are entry-wise C-local objects. We define a map g : X → Y in M to be a C-local equivalence if for any C-local object W , the induced map of mapping spaces: g∗ : Map(Y, W ) → Map(X, W ) is a weak equivalence, or equivalently entry-wise: ∗ ≃ gip : Map(Yip, Wip) −→ Map(Xip, Wip) for i, p = 0, 1, so again C-local equivalences are entry-wise C-local equiva- lences.

Finally we define the bi-graded left Bousfield localization of M with re- spect to C to be a model category structure LCM on the underlying bi-graded category of M such that the class of weak equivalences is the class of C-local equivalences, cofibrations are those of M, and fibrations have the right lifting property with respect to those cofibrations that are also C-local equivalences. If A → B is such a cofibration, X → Y a fibration, a diagram such as: / A >X

  B / Y breaks up into diagrams for i, p =0, 1: A / X ip = ip

  Bip / Yip

50 with Aip → Bip a cofibration that’s also a C-local equivalence. This shows fibrations are also entry-wise fibrations, hence:

LCM =(LCip Mip)

4.8 Model category of prestacks M ∧ We first define restricted diagrams, following [TV]. For M a small cate- − gory (relative to V), such as k-D sAff∗, given S∗, bi-graded simplicial model M category, cofibrantly generated, we consider S∗ the category of bi-graded simplicial functors M → S∗ with its entry-wise projective model structure. For any x ∈ M we have an induced map:

∗ M ιx :S∗ → S∗ F 7→ F (x)

M with a left adjoint (ιx)! : S∗ → S∗ that’s a left Quillen functor. Let I be a set of generating cofibrations in S∗, f : A → B any morphism in I, u : x → y M any morphism in M. Consider the natural morphism in S∗ :

fu :(ιy)!A (ιx)!B → (ιy)!B (ιax)!A

Mjp with (ιx)!jp : Sjp → Sjp , left adjoint to

∗ (ιx)jp : Fjp 7→ (F (x))jp = Fjp(xjp)

∗ ∗ that is, (ιx)jp = ιxjp , so that (ιx)!jp =(ιxjp )!. Thus:

(ιy)!A = ((ιyjp )!Ajp) which means fu =(fjpujp), so that entry-wise:

 flp ulp :(ιylp )!Alp (ιxlp )!Blp → (ιylp )!Blp (ι ) A xlpa! lp

Definition 4.8.1. The model category of restricted diagrams from M to S∗, op,∧ M denoted M , is defined to be the left Bousfield localization of S∗ along the set of morphisms of the form fu, for f ∈ I, and u a weak equivalence in M.

51 If we denote by W the set of weak equivalences, this gives:

M Mjp LIW S∗ =(LIjpWjp Sjp ) or in other terms: op,∧ op,∧ M =(Mjp ) ∧ M op With this notion, we define M = LIW S∗ to be the model category of prestacks on M.

4.9 Hyperdescent There is a slew of pseudo-representable objects we have to define before we get to the definition of hyperdescent. Those objects were initially defined in [TV4] in the ungraded case, and we briefly reproduce their bi-graded defini- tions here for convenience’s sake.

We say F ∈ M ∧ is pseudo-representable if it is a small disjoint union of representable presheaves:

F ≃ hu =( huip )=(Fip) au∈I uipa∈Iip that is it is entry-wise pseudo representable.

A pseudo-fibration is a morphism of pseudo-representable objects repre- sented by a fibration in M. This breaks up into:

⊕l,p=0,1 Hom(hulp , hvlp ) → ⊕l,p=0,1 Hom(hulp , hvlp ) u ∈I v ∈J v ∈J lpYlp lpalp lpalp

≃ ⊕l,p HomMlp (ulp, vlp) v ∈J lpalp with entries that are pseudo-fibrations, so pseudo-fibrations are so entry-wise in M.

To avoid repetition, the reader is referred to [TV] for the definition of pseudo-covering. It is clearly entry-wise a pseudo-covering.

52 For pseudo-representable hypercovers, let x be a fibrant object of M. ∧ Then a pseudo-representable hypercover is an object F∗ → hx in sM /hx such that for any n ≥ 0, the induced morphism:

∂∆n ∆n ∆n Fn → F ×hx hx is a pseudo-fibration and pseudo-covering of pseudo-representable objects. ∧ We write F∗ =(F∗,ip) with F∗,ip ∈ sM /hxip with x =(xip) in M, so that:

n n / ∂∆ n ∆ ⊕i,pFn,ip ⊕i,p F ×(⊕ h∂∆ ) ⊕i,p h ip i,p xip xip     ) ∂∆n ∆n ⊕i,pF ×h∂∆n h ip xip xip showing that pseudo-representable hypercovers are defined entry-wise.

∧ M op Note that M = LIW S∗ is naturally tensored and cotensored over S∗ with external products and exponentials being defined objectwise. This makes M ∧ into a bi-graded simplicial model category with bi-graded simpli- cial hom Hom and derived bi-graded simplicial hom that we will denote as in [TV4] RωHom.

Regarding Yoneda, fix a cofibrant resolution functor (Γ : M → M ∆, ι) with Γ = (Γip) and ι = (ιip), that is for all x ∈ M, Γ(x) = (Γip(xip)) is a co-simplicial object in M, cofibrant for the Reedy model structure on M ∆, together with a natural equivalence ι(x) :Γ(x) → c∗(x), bi-graded constant co-simplicial object in M at x. We have:

h =(h ):M → sPrZ2 (M) ip 2 op  hx =(hxip ):M → S∗

y 7→ HomM (Γ(y), x) since hip preserves fibrant objects and equivalences between them, so does h, so Rh : Ho(M) → Ho (M ∧) is well-defined. Further:

R ∧ ∼ ωHomM (hxip , Fip) = Fip(xip) for i, p =0, 1, leading to: R ∼ ωHomM ∧ (hx, F ) = F (x)

53 ∼ This follows from the classical enriched Yoneda isomorphism RωHom(hx, F ) = F (x), and the fact that Ho(h) ∼= Rh in Ho (M ∧) entry-wise ([TV]).

Finally, F ∈ M ∧ is said to have hyperdescent if for any fibrant object x ∈ M, for any pseudo-representable hypercover H∗ → hx, with realization |H∗| =(|H∗,ip|), the induced morphism:

F (x) ≃ RωHom(hx, F ) → RωHom(|H|, F )

∧ is an isomorphism in Ho (S∗). A stack on (M, et.´ ) is a prestack F ∈ M that satisfieset. ´ -hyperdescent. We denote by M ∼ , et.´ the model category of stacks on M. Another way to say this is by considering Hβ(x) for x fibrant in M the set of representatives of the set of isomorphism classes of objects ∧ F∗ → hx in sM /hx (see [TV4] for details), those morphisms that are pseudo- representable hypercovers with a bound on the cardinality of each Fn. We have:

Hβ(x)=(Hβip (xip)) Then we can equivalently say M ∼ , et.´ is the left Bousfield localization of M ∧ with respect to morphisms in Hβ.

4.10 local equivalences Another way to define stacks is as follows. First consider the presheaf of connected components of RF :

pr op π0 (F ):M → Set∗

x 7→ π0(RF (x))=(π0(RipFip(xip))) leading to:

eq ∧ π :M → PrZ2 (M) 0 2 pr F 7→ π0 (RF ) factoring as:

eq ∧ π :M → PrZ2 (Ho(M)) 0 2 eq F 7→ π0 (F )

54 eq ∧ which further factors as π : Ho(M ) → PrZ2 (Ho(M)). We also have an 0 2 evaluation functor:

∗ ∗ ∧ ∧ jx =(jxip ):M → (M/x)

F 7→ F (x)=(Fip(xip)) with a left adjoint:

∧ ∧ ∧ jx! =(jxip!):(M/x) = ((M/xip) ) → M so once right derived:

R ∗ ∧ ∧ jx : Ho(M ) → Ho((M/x) )

∧ eq Now for F ∈ M , x ∈ M fibrant, s ∈ π0 (F )(x) can be represented by a ∧ R ∗ R ∗ morphism s : hx → F in Ho (M ), giving by pullback jxs : jx(hx) → R ∗ R ∗ jxF . Since we have a point ∗ → jxhx, by composition we get a global R ∗ point ∗→ jxF . All of this can be found in [TV]. We now define, much as in this reference, for any n> 0, the sheaf πn(F,s), by:

∗ R∆n h π (F,s)= π Rj (F ) × ∗ R∂∆n ∗ n 0 x Rjx(F )   this decomposes as follows:

∗ R∆n h R R n πn(F,s)= π0 ⊕i,p jxip (Fip) ×⊕ Rj∗ (F ) ∂∆ ⊕i,p ∗ip i,p xip ip !   ∗ R∆n h R R n = π0(⊕i,p jxip (Fip) ×Rj∗ (F ) ∂∆ ∗ip) xip ip ∗ R∆n h R R n = ⊕i,pπ0( jxip (Fip) ×Rj∗ (F ) ∂∆ ∗ip) xip ip

= ⊕i,pπn(Fip,sip)

eq eq where s ∈ π0 (F )(x)=(π0 (Fip)(xip)) so we write s =(sip).

We now define local equivalences exactly as in [TV]. Those are also re- ∧ ferred to as π∗-equivalences. A morphism f : F → G in M is such an equivalence if the induced morphism π0(F ) → π0(G) is an isomorphism on Ho (M), i.e. if it is entry-wise so, and additionally if for any fibrant x in M, eq any s ∈ π0 (F )(x), and n > 0, we have a bijection of sheaves on Ho (M/x):

55 πn(F,s) → πn(G, f(s)), and those are entry-wise isomorphisms as well. In other terms local equivalences are entry-wise local equivalences.

− Finally given M, and for us this is really k-D sAff∗ we have in mind with the ´etale topology, there is a closed model structure on sPrZ2 (M) called the 2 entry-wise local projective model structure for which equivalences are local equivalences, cofibrations are cofibrations in M ∧ for its projective model ∼ , et.´ structure. It turns out that sPrZ2 (M) with this model structure is M . 2 The proof of the existence of such a model structure is done entry-wise, and at that level this is proved in [TV]. Now as pointed out above, we can also construct M ∼ , et.´ as the left Bousfield localization of M ∧ with respect f to H = {|F∗| → hx | x ∈ M , F∗ ∈ Hβ(x)}. Maps in H break down as

|F∗,ip|→ hxip so that it’s clear we have H =(Hip), hence:

∼ , et.´ ∧ M = LH M ∧ =(LHip Mip) ∼ , et.´ =(Mip )

4.11 Truncations

Define X ∈ S∗ to be n-truncated if it is entry-wise n-truncated. x ∈ Ho (M∗) is said to be n-truncated if it is so entry-wise. Then define π≤n-equivalences as in [TV]. There is a model structure on sPrZ2 (M) called the n-truncated bi- 2 graded local projective model structure for which equivalences are bi-graded π≤n-equivalences, cofibrations are cofibrations for the bi-graded projective model structure on M ∧. That we have such a model structure follows directly for the same result in the ungraded case proved in [TV], since we can work ∼ , et.´ entry-wise. This model category is denoted M≤n , and can be seen as a substitute for working with compactified theories in Theoretical Physics. We also have as a Corollary that this model category can be obtained as the left ∼ , et.´ i i Bousfield localization of M with respect to {∂∆ ⊗ hx → ∆ ⊗ hx,i > n, x ∈ M}.

56 5 Supersymmetric stacks

In what follows we will make use of the strictification theorem, which can be found in [HS], [TV] and [T]: for C a category with a subcategory S of morphisms, M a cofibrantly generated model category, M C,S the localization of M C with respect to restricted diagrams, then:

L(M C,S ) ≃ RHom(L(C,S), LM) where L stands for Segal localization. In particular if T is an S-site ([TV]), T ∼ then we just have L(M ) = RHom(T, LM). If M = S∗, with L(S∗) = T ∼ R op Top∗, we have L(S∗) = Hom(T, Top∗). For us T = L(sk-sAlg∗) = − L(k-D sAff∗) will be denoted dk-sAff∗. We define by:

\ R op dk-sAff∗ = Hom(dk-sAff∗ , Top∗)

− the Segal localization of sPrZ2 (k-D sAff ). Then we define the category of 2 ∗ ∼ , et.´ \ stacks dk-sAff∗ as a left exact localization of dk-sAff∗, which can equiv- − ∼ , et.´ alently be obtained as the Segal localization of k-D sAff∗ , itself the left − Bousfield localization of sPrZ2 (k-D sAff ), regarded as a simplicial category 2 ∗ for strictication, and then as a bi-graded simplicial category.. Diagrammati- cally:

− ∧ L / R − op \ k-D sAff∗ Hom(L(k-D sAff∗) , Top∗)= dk-sAff∗

LBous LexLoc   k-D−sAff∼ , et.´ / dk-sAff ∼ , et.´ ∗ L ∗

− ∼ , et.´ The stacks we have defined are objects of k-D sAff∗ , and after Se- ∼ , et.´ gal localization, they become objects of the category dk-sAff∗ , where they become functors: F : L(sk-sAlg∗) → Top∗. Now we argue for ev- ery A ∈ sk-sAlg∗, X ∈ Top∗ determined by constraint equations such as equations of motion, Ψ : A → X a map satisfying those equations, define F (A) = {Ψ(σi, θi) | σi ∈ A0, θi ∈ A1, i = 0, 1} with the induced topology. Suppose F thus defined is a stack. If in addition we have a notion of su- persymmetric transformation on each A ∈ sk-sAlg∗ under which Ψ is well- behaved, then the resulting functor F is called a supersymmetric stack.

57 In a first time we go over simple supersymmetry transformations using a standard reference such as [GSW]. This will motivate our modifications, which will come afterwards.

5.1 Ordinary Supersymmetry Everything in this section is from [GSW], and the reader is referred to that reference for more details. Suppose we have, for M ∈ sk-sMod, two elements α A σ of M0 ∈ sk-Mod, α = 1, 2, and two elements θ of M1, A = 1, 2. Those are seen as vector components. We also introduce matrices: 0 −i ρ0 = i 0   and 0 i ρ1 = i 0   We write θ¯ = θT ρ0. Suppose elements of M are variables. We can define the following derivatives: ∂ Q = + i(ραθ) ∂ A ∂θ¯A A α defining what is called a supersymmetry transformation: δθA = [¯ǫQ, θA]= ǫA δσα = [¯ǫQ, σα]= iǫρ¯ αθ where ǫ is an odd parameter. If one defines a field on A valued in Top, with µ being a dimensional index: 1 Y µ(σ, θ)= Xµ(σ)+ θψ¯ µ(σ)+ θθB¯ µ(σ) 2 then defining an ansatz for the supersymmetry transformation of Y under δ as in: 1 δY µ(σ, θ)= δXµ(σ)+ θδψ¯ µ(σ)+ θθδB¯ µ(σ) 2 one finds: δXµ =¯ǫψµ µ α µ µ δψ = −iρ ǫ∂αX + B ǫ µ α µ δB = −iǫρ¯ ∂αψ

58 5.2 Supersymmetric maps For our purposes we need to have Y valued in a bi-graded topological space. Note that in the definition of Y µ in the preceding section, there is no odd part. Additionally, the supersymmetry transformation of θ produces ǫ, an- other anticommuting variable, though if we want symmetry in our formalism, we would like to obtain an even element. Finally the supersymmetry trans- formations on σ and θ are not symmetric themselves, so this is something we might want to enforce. Finally δ on each of Xµ, ψµ and Bµ in the previous section is defined via an ansatz, so those transformations are really specific to each field and do not correspond to a single algebraic operation δ, some- thing we would like to have for a more functorial treatment of supersymmetry transformations.

We introduce X = (Xip) ∈ Top∗,Ψ: M → X , M ∈ k-sMod∗, with entries Ψip : Mip → Xip with i, p = 0, 1. We have seen that k-sMod∗ has an internal Hom, its odd parts being made of morphisms in k-sMod∗ that change parity. Let δ be one such morphism.

We consider those δ’s that provide supersymmetric transformations in the sense that they are elements of Hom(M, M)1, and their definition displays some symmetry. For that purpose, we are led to introducing even parameters ǫ and λ, and matrices ρ and γ, such that

α T α δ0σ = ǫ ρ θ A T A δ1θ = λ γ σ with α, A = 0, 1. Thus δ0 : M0 → M1 and δ1 : M1 → M0. The induced transformation on Ψ is given by:

∗ δ0Ψ1 :M0 → X1 ∗ δ1Ψ0 :M1 → X0 or δ = δ0 ⊕ δ1 ∈ Hom(M, M)1. Thus: δ∗Ψ(σ, θ)=Ψ(δ(σ, θ))

= Ψ(δ0σ ⊕ δ1θ)

=Ψ0(δ1θ) ⊕ Ψ1(δ0σ)) ∗ ∗ = δ1Ψ0 ⊕ δ0 Ψ1

59 ∗ ∗ ∗ that is δ = δ0 ⊕ δ1. We now generalize this construction to the case M ∈ sk-sMod∗. This means we consider objects σn, θn, γn, ρn, λn, ǫn and δn. We have: [n − 1] M / M nO −1 i i d M(d )=di  [n] / M M n α α i∗ α α i where diσn = (diσ )[n − 1] = d σ [n − 1] = σ ◦ d [n − 1]. δ is a natural transformation of simplicial objects, breaking into δ0 : M∗0 → M∗1 and δ1 : M∗1 → M∗0 with: δn 1,0 M − / M n−O 1,0 n−O 1,1

di di

Mn,0 / Mn,1 δn,0 as well as: δn−1,0 Mn−1,0 / Mn−1,1

sj sj   Mn,0 / Mn,1 δn,0 with sj the degeneracy map, defined by:

[n − 1] M / M O n−1 j sj M(s )=sj  [n] / M M n where di and sj are the usual connecting maps on ∆ ([GoJa]). We have similar commutative diagrams for δ∗1. In all those, we have: α T α δn,0σn = ǫn ρnθn A T A δn,1θn = λn γn σn with ǫ, λ, ρ, γ fixed, independently of the coordinates σ and θ, and: ∗ ∗ ∗ δnΨ(σn, θn)=(δn,1Ψ0)(θn) ⊕ (δn,0Ψ1)(σn)

=Ψ0(δn,1θn) ⊕ Ψ1(δn,0σn) T A T α =Ψ0(λn γn σn) ⊕ Ψ1(ǫn ρnθn)

60 the collection of which defines:

∗ ∗ δ F (A)= {δ Ψ(σ, θ) | σ ∈ A0, θ ∈ A1} thereby defining:

∗ δ : Top∗ → Top∗ F (A) 7→ δ∗F (A) objectwise presentation of:

∗ \ \ δ : dk-sAff∗ → dk-sAff∗ F 7→ δ∗F with (δ∗F )(A) = δ∗F (A). If δ∗ commutes with the left exact localization \ ∼ , et.´ dk-sAff∗ → dk-sAff∗ , then F is referred to as a supersymmetric stack. In so doing, we preserve the physical origin of such a functor: to say that it is supersymmetric is in reference to the supersymmetry transformation in the base, that is the context is supersymmetric insofar as we have supersymmetri transformations, not that F itself transforms in a symmetric manner under such transformations.

References

[AT] A. Balasubramanian, J. Teschner, Supersymmetric field Theories and Geometric Langlands: the Other side of the coin, arXiv:1702.06499[hep- th]. [CCF] C. Carmeli, L. Caston and R. Fioresi, Mathematical Foundations of Supersymmetry, EMS Series of Lectures in Mathematics, EMS, Zurich, 2011. [EY] C. Elliott, P. Yoo, Geometric Langlands twists of N=4 Gauge Theory from Derived Algebraic Geometry, arXiv:1507.03048v3[math-ph]. [GoJa] P.G. Goerss, J.F. Jardine, Simplicial Homotopy Theory, Modern Birkhauser Classics, Birkhauser Verlag, Boston, 2009. [GSW] M.B. Green, J.H. Schwarz, E. Witten, Superstring Theory, Vol. 1, Cambridge Monographs on Mathematical Physics, Cambridge Univer- sity Press, 1987.

61 [HS] A. Hirschowitz, C. Simpson, Descente pour les n-champs, arxiv:math/9807049 [math.AG].

[Hi] P.S. Hirschhorn, Model Categories and their Localizations, Math. Sur- veys and monographs Series, Vol. 99, AMS, Providence, 2003.

[Ho] M. Hovey, Model Categories, Mathematical Surveys and monographs, Vol. 63, Amer. Math. Soc., Providence, 1998.

[Lu] J. Lurie, Derived Algebraic Geometry, thesis, MIT, 2004.

[McL] S. Mac Lane, Categories for the Working Mathematician, 2nd Ed., Springer Verlag, New York, 2010.

[McL0] S. Mac Lane, Homology, Classics in Mathematics, Springer, Berlin, 1995.

[SS] S. Schwede, B. Shipley, Stable Model Categories are Categories of Mod- ules, Topology, 42 (2003), 103-153.

[TV] B.Toen, G.Vezzosi, Homotopical Algebraic Geometry I: Topos Theory, arXiv:math.AG/0207028.

[TV4] B.Toen, G.Vezzosi, Homotopical Algebraic Geometry II: Geometric Stacks and Applications, arXiv:math.AG/0404373.

[T] B.Toen, Higher and Derived Stacks: a global overview, arXiv:math.AG/0604504.

[V] V.S. Varadarajan, Supersymmetry for Mathematicians: An Introduc- tion, Courant Lecture Notes in Mathematics 11, AMS, Rhode Island, 2004.

62