Arxiv:2108.13084V1 [Math.AT] 30 Aug 2021 Aclswt Hc Emymk Rmwr Frtoa and Rational of Framework Diﬀeologica Spaces

Home , Adjunction space, De Rham cohomology, Rational homotopy theory

arXiv:2108.13084v1 [math.AT] 30 Aug 2021 aclswt hc emymk rmwr frtoa and rational of framework diffeologica spaces. a for diffeological make models for may algebraic theory we proper which give with to is calculus manuscript this of aim oa ytm.Vr eety iaa[1 0 a ucee nintr in succeeded has 20] [21, Kihara recently, Very fundamenta systems. arbitrary with local Tanré constru spaces and for alge Gómez-Tato, theory Halperin investigate homotopy [13], rational to In (DGAs) algebras fibrations. graded for differential in values with 1]adaprmtie taiodi h es fKek[3;seThe see [23]; Kreck of sense sen the the sequence. in in spectral complex stratifold the CW parametrized smooth t a a converging and as sequence [18] such spectral is space systems a diffeological local adjunction construct of we pullback the consequence, t Moreover, a to B.1. s spaces Diagram diffeological topological see for localized spaces; theory a homotopy for rational candidate the a expand propose we structure, the structure model fadffooia pc,w umrz h ule qiaec between equivalence Quillen the summarize Set we space, diffeological a of ieeta rddagba iia model minimal algebra, graded phrases. differential and words Key aao3082,Jpne-mail: Japan 390-8621, Nagano n h iglrd hmcmlx[4 5.Tecluu ilb oeacce more be will calculus The as 25]. such [24, models complex algebraic Rham via de singular the and aiod.I at h category the fact, In manifolds. vr ti osbet aed hmcluu 1,Catr ,7 n 9 and 8 7, 6, Chapters [17, in calculus str manifolds Rham smooth de on make with that to spaces possible diffeological is it as over, sp naturally mapping defined spaces, are adjunction spaces Therefore, closed. cartesian and n[4,Hpei nrdcdaddvlpda developed and introduced Haplerin [14], In h auciti raie sflos nScin2 fe ealn t recalling after 2, Section In follows. as organized is manuscript The 00MteaisSbetClassification Subject Mathematics 2010 eateto ahmtclSine,Fclyo cec,S Science, of Faculty Sciences, Mathematical of Department ielg 1,3]poie lnyo sflojcswihaegene are which objects useful of plenty provides 31] [17, Diffeology ∆ op fsmlca eswith sets simplicial of Abstract. ilgae lers ecnie rmwr frtoa an rational of framework a consider we algebras, graded tial ucinsaei osrce ihteplbc flclsys local of pullback the cohom with Rham stratifold constructed de is singular the space to junction fundamental converging arbitrary sequence with spectral a spaces diffeological for theory h rgnld hmchmlg,wihi u oSuiu ft of Souriau, to due is which cohomology, Rham de original the ntecategory the in bandb tahn aiod,teseta eunecon sequence spectral the manifolds, attaching by obtained OA YTM NDIFFEOLOGY IN SYSTEMS LOCAL yusing By Diff ielg,smlca e,srtfl,lclzto,d R de localization, stratifold, set, simplicial Diffeology, ihted hmcmlxi h es fSuiu[31] Souriau of sense the in complex Rham de the with oa systems local [email protected] ASHK KURIBAYASHI KATSUHIKO Diff iia models minimal Diff 1. Diff ecie n[1.Mroe,w ealcarefully recall we Moreover, [21]. in described Introduction nti ril,b obnn h ytm with systems the combining by article, this In . of 81,5A5 84,55R99. 58A40, 58A35, 18F15, : vrsmlca eswt ausi differen- in values with sets simplicial over ielgclspaces diffeological 1 nrtoa oooyter.The theory. homotopy rational in oa system local isuUiest,Matsumoto, University, hinshu d rus Moreover, groups. scmlt,cocomplete complete, is es ncs fa of case In tems. R lclhomotopy -local lg fa ad- an of ology estratifold. he rusb en of means by groups l ooooyo an of cohomology o vrasmlclset simplical a over csadclassifying and aces a o diffeological for hat R dcn a oducing tda algebraic an cted lclhomotopy -local aei re to order in pace egsto verges cue.More- uctures. osdrd As considered. aiain of ralizations ri models braic rm45for 4.5 orem edefinition he h category the a complex, ham expanding ] eo Iwase of se eRham de l Quillen ssible 2 KATSUHIKO KURIBAYASHI crucial results in [13] on local systems and minimal models for A-algebras. By combining those ingredients with the simplicial argument in the proof of [13, Theorem 6.2], we make a framework of rational and R-local homotopy theory for diffeological spaces; see Theorem 2.10 and Remark 2.11. In Section 3, relative Sullivan algebras are considered from the view points of local systems. In particular, we see that a op relative Sullivan model for a fibration in Set∆ gives rise to the fibrewise localization of a diffeological space via Kihara’s realization functor; see Proposition 3.3. In Section 4, by using suitable local systems, we construct a first quadrant spectral sequence mentioned above. We deal with no computational example of the spectral sequence in this article but related topics on a smooth CW-complex and a stratifold are described in Remarks 4.12 and 4.11. In Appendix A, we recall a stratifold in [23] and a functor k from the category Stfd of stratifolds to Diff in [2]. Theorem A.3 asserts that the functor k assigns an adjunction space up to smooth homotopy to a parametrized stratifold (called for short a p-stratifold). This is interesting in its own light; see also Remark 4.11. What is worth noting is that we may choose every admissible simplicial DGA as the underlying one for developing non-simply connected rational (R-local) homotopy theory due to Gómez-Tato, Halperin and Tanré. Thanks to the highly versatility, our results in this article are applicable to the polynomial de Rham ∗ ∗ complex (APL)• and also the singular de Rham complex (ADR)•; see Section 2 for ∗ the details. We observe that there is a quasi-isomorphism between (APL)•(K) ⊗ R ∗ and (ADR)•(K) for each simplicial set K; see [24, Corollary 3.5]. In general, it seems to be difficult to construct explicitly a rational model and an R-local model for a given diffeological space; see Remark 2.11. In fact, the construction of the minimal model in [13, Theorem 3.12] for a non-simply connected space is very complicated. However, as described in Remarks 2.12 and 3.6, an algebraic model for a simply-connected diffeological space is derived from that for a topological space or a manifold. With a parametrized stratiflds as examples, this point is discussed in Appendix B in more detail; see Remark B.2. We make use of Sullivan models for topological spaces in order to investigate the rational or R-local homotopy types of diffeological spaces; see, for example, [10, Chapter II] for Sullivan models. Therefore, one might think that our discussion in this article is in that on the localizations of topological spaces. However, as mentioned at the beginning of this section, such an R-local model may admit a description in terms of differential forms. In particular, our consideration gives an algebraic model to the original de Rham complex, which is due to Souriau [31], of a p-stratifold; see Remarks 4.11(ii) and B.2. We hope that, in future work, the de Rham calculus in diffeology is developed with our R-local models for diffeological spaces.

2. A candidate for a localized diffeological space We begin by recalling the definition of a diffeological space. Definition 2.1. For a set X, a set D of functions U → X for each open subset U in Rn and for each n ∈ N is a diffeology of X if the following three conditions hold: (1) (Covering) Every constant map U → X for all open subset U ⊂ Rn is in D; (2) (Compatibility) If U → X is in D, then for any smooth map V → U from an open subset V ⊂ Rm, the composite V → U → X is also in D; LOCALSYSTEMSINDIFFEOLOGY 3

(3) (Locality) If U = ∪iUi is an open cover and U → X is a map such that each restriction Ui → X is in D, then the map U → X is in D. A diffeological space (X, D) is comprised of a set X and a diffeology D of X. An element of a diffeology D is called a plot. Let (X, DX ) and (Y, DY ) be diffeological spaces. A map X → Y is smooth if for any plot p ∈ DX , the composite f ◦ p is in DY . All diffeological spaces and smooth maps form a category Diff. n n+1 n Let A := (x0, ..., xn) ∈ R i=0 xi =1 be the affine space equipped with the sub-diffeology of the manifold PRn+1. We observe that An is diffeomorphic to n the manifold R with the projection p defined by p(x0, x1, ..., xn) = (x1, ..., xn). We n n denote by ∆sub the diffeological space, whose underlying set is the n-simplex ∆ , equipped with the sub-diffeology of the affine space An. With the notation above, the standard simplices due to Kihara are recalled. Let ∆p be the p-simplex and di : ∆p−1 → ∆p the affine map defined by skipping the p ith vertex vi in the target. We define inductively the standard p-simplex ∆ by the p-simplex endowed with the final diffeology with respect to maps {ϕi}i=0,...,p, p−1 p i where ϕi : ∆ × [0, 1) → ∆ is a map defined by ϕi(x, t)=(1 − t)vi + td (x) for p each i. Observe that ∆ = ∆sub for p ≤ 1 by definition. D Moreover, the singular simplex functor S () and the realization functor | |D are defined by D n n Sn (X) = HomDiff (∆ ,X) and |K|D = colim∆↓K∆ for a diffeological space X and a simplicial set K, respectively; see [21, 1.2] for more details. The result [21, Theorem 1.5] enables us to obtain a pair of Quillen equivalences

| |D ∆op / Set o ⊥ Diﬀ SD()

op between the category Set∆ of simplicial sets with the model structure [12, Chap- ter I, Theorem 11.3] and Diff the category of diffeological spaces with the model structure described in [20, Theorem 1.3]. Thus in order to define a rational space in Diff, it suffices to work in the homotopy category of simplicial sets. We observe that for each diffeological space X, the simplicial set SD(X) is a Kan complex; see [20, Lemma 9.4 (1)]. Remark 2.2. The functor SD( ) here is different from the singular simplex functor SD( )′ in [24]. In constructing the latter functor, we use the affine space Ap instead of the standard simplex ∆p mentioned above. However, the singular homology for SD( )′ is quasi-isomorphic to that for SD( ); see the paragraph before [24, Theorem 5.4], the comments in the end of [24, Section 5] and also [21, Remark 3.9]. The rational homotopy theory for non simply-connected spaces due to Gómez- Tato, Halperin and Tanré[13] is developed with local systems and the fibrewise localization in the sense of Bausfield and Kan. The same strategy is available to construct the theory in Diff endowed with the model category structure mentioned above. To see this, we recall results in [13] on local systems. For a connected fibrant simplicial set (Kan complex) X, we have a fibration of the form X → X → K(π1(X), 1) in which X is the universal cover of X; see, for example, [12, III, 1 and VI, 3]. Let X denote the fibrewise rationalization of X in e Q e 4 KATSUHIKO KURIBAYASHI the sense of Bousfield and Kan [5, Chapter I §8]. By definition, the rationalization fits into the commutative diagram

X / X / K(π (X), 1) O Q O Q 1 ℓe

X / X / K(π1(X), 1), whose upper row is alsoe a fibration and ℓ is the rationalization of the simply- D connected simplicial set X. We shall call the realization |S (M)Q|D the rationalization of a connected diffeological space M and denote it by M . We also define e Q the R-localization MR of a diffeological space M with the fibrewise R-localization by the same way as that of the rationalization. The model structure on Diff mentioned above yields that each diffeological space D is fibrant and hence the counit ε : |S (M)|D → M is a weak equivalence; see [16, Proposition 1.3.12]. Therefore, the result [20, Theorem 1.4] allows us to deduce that D ∼ D D ∼ D π1 (MQ) = π1 (M) and πi (MQ) = πi (M) ⊗ Q for i ≥ 2; see also [28, Theorem 3]. In order to adapt the argument in [13] to our situation, We use notations and terminology in [13]. Definition 2.3. A simplicial object A in a category C is extendable if for any n, every subset set I ⊂{0, 1, ..., n} and any elements Φi ∈ An−1 for i ∈ I which satisfy the condition that ∂iΦj = ∂j−1Φi for i < j, there exists an element Φ ∈ An such that Φi = ∂iΦ for i ∈ I.

Definition 2.4. ([13, Definition 3.2]) A simplicial CDGA A• is admissible if it satisfies the following conditions. 0 (i) A0 = A0 = K. 0 0 (ii) For each n, there are elements t1, ..., tn ∈ An such that An = An ⊗ ∧(dt1, ..., dtn). i 0 (iii) The simplicial algebra H(A•) satisfies: H (A•)=0 for i ≥ 1, and H (A•) is the constant simplicial algebra K. i (iv) The simplicial algbera A• for i ≥ 0 is extendable. 0 1 (v) Let n be an integer. If f ∈ An satisfies df = fw for some w ∈ An, then 0 either f =0 or f is invertible in An. Definition 2.5. ([13, Definition 1.1] and [14, 12.15 Definition]) (1) A local system E is a presheaf on a simplicial set K with values in DGA’s. Here K is regarded as a category whose objects are simplicial maps σ : ∆[n] → K and whose morphisms α : σ → τ are the simplicial maps α : ∆[dim σ] → ∆[dim τ] with τ ◦ α = σ. Here ∆[n] denotes the standard simplex Hom∆( , [n]). (2) A morphism ψ : E → E′ of local systems over K is a morphism of presheaves ′ whose image ψσ : Eσ → Eσ is a morphisms of DGAs for each σ ∈ K. (3) A morphism ψ : E → E′ of local systems over K is a quasi-isomorphism if ∗ ∗ ∗ ′ for each σ ∈ K, the map ψσ : H (Eσ) → H (Eσ) induced by ψσ is an isomorphism. ∗ For example, the simplicial polynomial de Rham complex (APL)• over Q is ∗ ∗ • admissible Moreover, the simplicial smooth de Rham complex (ADR)• := Ω (A ) is also admissible. Here we regard Ω∗(M) as the de Rham complex of a dfiffeological space M in the sense of Souriau [31], which is isomorphic to the usual de Rham complex if M is a manifold; see [15, Section 2]. LOCALSYSTEMSINDIFFEOLOGY 5

Another examples of admissible DGA is described below. We recall the diffeolog- n n ical space ∆sub, whose underlying set is the n-simplex ∆ , equipped with the sub- n ]∗ diffeology of the affine space A . Let (ADR)• be the sub-simplicial cochain algebra ∗ • ∗ ∗ n ∗ n of Ω (∆sub) consisting of elements in the image of the map j :Ω (A ) → Ω (∆sub) n n induced by the inclusion j : ∆sub → A . It follows from the proof of [13, Lemma ]∗ 3.3] and [24, Lemmas 3.2 and 3.3] that (ADR)• is admissible. Thus we can develop ∗ rational (real) homotopy theory in [13] by means of the simplicial DGA’s (APL)•, ∗ ]∗ (ADR)• and (ADR)•; see Remark 2.11 below. ∗ In what follows, let A be an admissible simplicial DGA, for example, (APL)•, ∗ ]∗ (ADR)• and (ADR)•. Then, we regard A as a local system over K defined by Aσ := Adim σ. We may write AK for such a local system A. op We recall the global section functor Γ: DGAK → DGA defined by Γ(E) = op SetK (1, E); see [14, 12.16 Definition]. Thus, elements Φ in Γ(E) are functions that assign to each simplex σ ∈ K Φσ ∈ Eσ which are compatible with the face and degeneracy operations; see also [13, Definition 1.1]. It follows from [14, 12.27 Theorem] that the functor Γ preserves quasi-isomorphisms. Let u : L → K be a simplicial map. Then we define the pullback Eu of E by u (E )σ = Eu◦σ for σ ∈ L. We saythat a local system E is extendable if the restriction map Γ(Eσ) → Γ(Eσ◦i) is surjective for any simplicial map σ : ∆[n] → K, where i : ∂∆[n] → ∆[n] is the inclusion. ∗ A local system E is called locally constant (resp. 1-connected) if α : Eτ → Eσ is a quasi-isomorphism for each α : σ → τ in K (resp. if H(Eσ) is simply connected for every σ ∈ K). For a local system E, we define a local system H(E) with trivial differentials by H(E)σ = H(Eσ) for σ ∈ K. Definition 2.6. ([13, Definition 3.4]) An A-algebra j : A → E is a morphism of local systems for which E is extendable and the system H(E) is locally constant. Following [13, §3], we introduce a minimal A-algebra.

Definition 2.7. ([13, Definitions 2.2 and 3.5]) (1) A local system (∧Y,D0) with values in DGAs is a 1-connected A0 minimal model if there exists a 1-connected Sullivan minimal algebra (∧Z, d) such that, as differential graded (A0)σ-algebras, (∧Y )σ =∼ (A0)σ ⊗ (∧Z, d) for σ ∈ K. ∗ ∗+i (2) An A-algebra (A⊗A0 ∧Y,D = i≥0 Di) with Di : A ⊗A0 ∧Y → A ⊗A0 ∧Y 0 is a 1-connected A minimal model ifP (∧Y,D0) is a 1-connected A minimal model. Theorem 2.8. ([13, Theorem 3.12]) Let j : A → E be a 1-connected A-algebra of finite type. Then there are a unique 1-connected A minimal model (A ⊗A0 ∧Y,D) ≃ of finite type and an A-quasi-isomorphism m : (A ⊗A0 ∧Y,D) −→ E.

Let A be an admissible simplicial DGA and AK the categorys of A-algebras over a connected simplicial set K. Let KK the category of Kan fibrations over K with simply-connected fibre. In KK , we assume further that the singular rational homology groups of the fibres are of finite type. We recall the functors

h i op / AK o ⊤ KK F( ) in [13, Section 5]. The realization functor h i is defined by σ h(E, j)in = {(ϕ, σ) | σ ∈ Kn, ϕ ∈ A∆[n](E , A∆[n])} 6 KATSUHIKO KURIBAYASHI for an A-algebra j : A → E, where Eσ denotes the pullback of the local system E over K along the map σ : ∆[n] → K. Observe that ϕ is a natural transformation. For a Kan fibration p : X → K, we define a local system F(X,p) to be σ ∆op σ F(X,p)σ = A(X ) := Set (X , A•) for σ ∈ K, where Xσ is the pulback of p along σ; see also Theorem 4.3 for the adjoint. We may write F(X) for F(X,p) if the surjective map is clear in the context. Thanks to Theorem 2.8, we have a simply-connected A minimal model of the ≃ form (A ⊗A0 ∧Y,D) −→ F(X,p) for each object p : X → K in KK . Let MK be the full subcategory AK consisting of 1-connected A minimal models of finite type and K the underlying field. Following the definition in [13, Section 4], we introduce the homotopy relation between morphisms in MK . Let I be the constant local system over K defined by Iσ = ∧(t,dt), where deg t = 0. Define ε0,ε1 : I → K by εi(t)= i. Definition 2.9. ([13, Definition 4.1]) (1) The cylinder for an A-algebra E is the A-algebra E ⊗ I together with the retractions εi = E ⊗K εi : E ⊗K I → E. (2) Let ϕ0, ϕ1 : (A ⊗A0 ∧Y,D) → E be morphisms of A-algebras with source in MK. Then ϕ0 and ϕ1 are homotopic over K, denoted ϕ0 ≃K ϕ1, if there is a morphism Φ : (A ⊗A0 ∧Y,D) → E ⊗K I of A-algebras such that εiΦ = ϕi for i =0, 1. We recall the category M described in the proof of [13, Theorem 6.2] whose objects (EK ,K) are in MK for some K(π, 1)-simplicial set K. A morphism (ϕ, u): ′ ′ ′ (EK ,K) → (EK′ ,K ) in M is a pair of a simplicial map u : K → K and a ′ u ′ u morphism ϕ : EK → (EK′ ) of A-algebras over K, where (EK′ ) denotes the ′ pullback of EK′ along u mentioned above. ′ ′ By definition, morphisms (ϕ, u) and (ψ, w) form (EK ,K) to (EK′ ,K ) are homotopic if u = w and ϕ ≃K ψ; see Definition 2.9. The result [13, Lemma 4.2] yields that the homotopy relation in Definition 2.9(2) is an equivalence relation and then op so is the homotopy relation in M. We define a functor h i : Mop → Set∆ ′ ′ by h(ϕ, u)i = i ◦ hϕi for (ϕ, u) : (EK ,K) → (EK′ ,K ), where i is the inclusion ′ u ′ u ′ h(EK′ ) i = hEK′ i → hEK′ i. The result [13, Proposition 5.8 (i)] yields that the op realization functor h i : Mop → Set∆ preserves the homotopy relation. Thus we have a sequence containing equivalences of homotopy categories and an embedding

| |D h i f i ∆op / Ho(Mop) / R / Ho(Set ) ≃ Ho(Diff). ⊂ o SD () Here Rf denotes the full subcategory of fibrewise rationalizations of connected simplicial sets X whose cohomology algebras H∗(A(X)) are of finite type. The object in Rf is nothing but a rational simplicial set of finite type in the e sense of Gómez-Tato–Halperin–Tanré[13, Definition 6.1]. We regard objects in the f image of R by the realization functor | |D as rational diffeological spaces when A is the simplicial DGA APL; see Remark 2.11 for more details. We separate the proof of [13, Theorem 6.2] into a simplicial part and a topological one; see the comments after Remark 2.12. Theorem 2.10. The realization functor h i : Ho(Mop) → Rf gives rise to an equivalence of categories. LOCALSYSTEMSINDIFFEOLOGY 7

Proof. By deﬁnition, the functor is full and essentially surjective. The faithfulness of the functor follows from the proofs of [13, Theorem 5.11 and 6.2]∗. In fact, let X and Y be objects in Rf realized by h i with 1-connected ′ minimal A-algebras (E, jE) and (E , jE′ ), respectively. Suppose that hfi = hgi ′ for maps f and g in HomMop ((E, jE ), (E , jE′ )/ ≃homotopic; that is, hfi ≃ hgi in ∆op Set . Let u be the map hfi∗ = hgi∗ : K := K(π1(X), 1) → K(π1(Y ), 1) induced by π1(hfi)= π1(hgi). We consider a commutative diagram

εi h X / X × ∆[1] / Y ❨❨❨❨❨❨ pr ❨❨❨❨❨❨ ′ ❨❨❨ p p , X q p (εi)∗ h∗ K(π1(X), 1) / K(π1(X × ∆[1]), 1) / K(π1(Y ), 1) =∼ ❳ ❣3 ❳❳❳❳❳❳ ❣❣❣❣❣ pr∗ , u 0 K(π1(X), 1) id in which h is the homotopy giving hfi ≃ hgi. Then, since h∗ ◦ (ε0)∗ = f∗ = f∗ ◦ pr∗ ◦ (ε0)∗, it follows that h∗ = f∗ ◦ pr∗. This yields that f∗ ◦ (p ◦ pr) = ′ ′ f∗ ◦ pr∗ ◦ p = h∗ ◦ p = q ◦ h. Thus we have a commutative diagram X × ∆[1] h ❘❘❘ u ❘❘h❘ ❘❘❘ ❘) k ' Y u / Y p◦pr q ( / K(π1(X), 1) u K(π1(Y ), 1), where Y u denotes the pullback of Y along u with the map k : Y u → Y . Therefore, u u u u we see that h gives the homotopy relation hfi ≃K hgi : X → Y and then u u u u hfi = hgi in HomKK (X, Y )/ ≃, where ϕ denotes the unique map from X to Y u with ϕ = k ◦ ϕu for a map ϕ : X → Y which satisﬁes the condition that q ◦ ϕ = u ◦ p. The result [13, Theorem 5.11] implies that the realization functor h i gives rise to an isomorphism ∼ ′u = u h i : Hom op ((E, jE ), (E , jE′u ))/ ≃K / Hom (X, Y )/ ≃K MK KK

u u Observe that h(E, jE )i = h(E , jEu )i for any A-algebra (E, jE). Moreover, it u u u u follows that hf i = hfi . Thus it turns out that f ≃K g and by deﬁnition, f ≃ g in M. We have the result.

Remark 2.11. We describe a procedure of the fibrewise localization with an admissible simplicial DGA A for a connected diffeological space M. The result [20, Lemma 9.4.(1)] yields that SD(M) is Kan complex. Thus we have a Kan fibration D D p : S (M) → S (M)(1) = K(π1(M), 1) induced by the Moore-Postnikov tower D D {S (M)(n)}n≥0 for S (M); see [12, VI, 3] and [19, Lecture 11]. Suppose that the A-cohomology of the fibre F of p is of finite type. Then the results [13, Theorem 3.12 and Proposition 5.3] enable us to obtain a 1-connected ≃ D D A minimal model m : (A ⊗A0 ∧Y,D) → F(S (M)min, q), where q : S (M)min →

∗ op Unlike the proof of [13, Theorem 6.2], we work in Set∆ instead of the category of topological spaces. 8 KATSUHIKO KURIBAYASHI

K(π1(M), 1) is a minimal Kan fibration associated with p. By virtue of [13, Theo- rem 5.10] and the adjointness in Theorem 4.3 below, we have a fibrewise rational- D ization (A-localization) ad(m): S (M)min → h(A ⊗A0 ∧Y,D)i which fits into the commutative diagram

F / h(A ⊗ 0 ∧Y,D)i / K(π (M), 1) AO A O 1 ℓ ad(m) D F / S (M)min / K(π1(M), 1) whose rows are Kan fibrations; see [13, Proposition 5.5]. In particular, the realization |h(A ⊗A0 ∧Y,D)i|D is the fibrewise rationalization of the given diffeological ∗ ∗ space M if A is the polynomial de Rham complex (APL)•. When A = (APL)•, we call an A-algebra E quasi-isomorphic to (A ⊗A0 ∧Y,D) a rational model for M. If ∗ the simplicial DGA A in the construction above is the de Rham complex (ADR)•, then the realization gives the fibrewise R-localization of M. By the same way as ∗ that of a rational model, a R-local model for M is defined with (ADR)•. ∗ Remark 2.12. For a simplicial set L, the cohomology algebra H (APL(L)) is isomorphic to the singular cohomology of L with coefficients in Q; see, for example, [10, Theorem 10.9]. Therefore, we see that for each diffeological space M, the coho- ∗ D ∗ D mology H (APL(S (M))) is isomorphic to H (S (M); Q). If we choose (ADR)• or ]∗ ∗ D (ADR)• as an admissible simplicial DGA A, then the cohomology H (A(S (M))) is isomorphic to H∗(SD(M); R); see [24, Theorem 2.4] and comments in the end of [24, Section 5]. It is possible to restrict Rf to the category of simply-connected simplicial rational (real) spaces. In that case, the category M is replaced with the category of usual simply-connected minimal models. Let Top be the category of topological spaces with the Quillen model structure. We also have a pair of Quillen equivalences

| | ∆op / Set o ⊥ Top. S( ) It follows from [20, Lemmas 2.11 and 9.5] that the realization functor | | and the D singular simplex functor S( ) through the adjoint pair (| |D,D ) mentioned in Section 1. Therefore, the topological spaces, which are in the image of the realization functor | | of the full subcategory Rf , are rational spaces in the sense of G´omez-Tato, Halperin and Tanr´e. Thus we indeed recover the result [13, Theorem 6.2].

3. Local systems associated with relative Sullivan algebras Following [13, Section 7] and [14, Chapter 18], we involve rational homotopy theory for nilpotent diffeological spaces in the framework of local systems. ρ Let A be an admissible simplicial DGA. Let (∧W, δ) → (∧W ⊗ ∧Z,δ) → (∧Z, d) be a relative Sullivan model in which ρ is the projection and Zi = 0 for i = 1. We define a local system (E,D) over the simplicial set h∧W, δi := DGA(∧W, A•) by (Eσ,Dσ)= An ⊗σ (∧W ⊗ ∧Z) for σ ∈ h∧W, δin. By virtue of [13, Propositions 5.5 and 7.1], we see that (E,D) is an A minimal model and the sequence h∧W, δi ← hE,Di ← h∧Z, di is a Kan fibration in which hE,Di =∼ h∧W ⊗ ∧Z,δi. Suppose LOCALSYSTEMSINDIFFEOLOGY 9 further that W i = 0 if i 6= 1, it follows from [4, 8.12 Proposition] that h∧W, δi is a K(π, 1)-space. Let M be a connected nilpotent (diffeological) space of finite type and (∧V,δ) a D minimal model for APL(S(M)) or for ADR(S (M)) if M is in Diff. Then the model ρ gives rise to a relative Sullivan model of the form (∧V 1,δ) → (∧V,δ) → (∧V ≥2, d). We observe that (∧V 1,δ) is the 1-minimal model for M which induces the Malcev completion of π1(M); see, for example, [11, 7.4]. Let K be a simplicial set. We recall from [14, 18.1] the local system R∗ associated with a relative Sullivan algebra (KS extension) A(K) → R → T . We observe that R =∼ A(K) ⊗ T as an algebra. For a simplex σ : ∆[n] → K, we define a DGA

(R∗)σ by A(n) ⊗eσ R = A(n) ⊗eσ (A(K) ⊗ T ), where eσ : A(K) → A(∆[n]) = A(n) is the algebra map induced by σ. Observe that for σ ∈ K, the natural map

Aσ = A(n) → A(n) ⊗eσ R = (R∗)σ induces a morphism A → R∗ of local systems over K.

Proposition 3.1. ([14, 18.9 Proposition]) (i) R∗ is an A-algebra over K. (ii) The map µ : R → Γ(R∗) deﬁned by (µΦ)σ =1⊗Φ is an isomorphism of algebras if T is locally ﬁnite. By the usual argument, we have

Lemma 3.2. The construction above gives rise to a functor ( )∗ from the category SAA(K) of relative Sullivan algebras under A(K) to the category of A-algebra over K. Moreover for an epimorphism l : R → S in SAA(K) and σ ∈ K, the morphism (l∗)σ : (R∗)σ → (S∗)σ induced by l is an epimorphism.

Let SK be the category of simplicial sets over a connected Kan complex K whose objects are sujective maps to K. Let LK denote the category of morphisms from A π to local systems over K with values in DGAs. Let (*) : F → X → K be a fibration with simply-connected fibre. Applying the realization functor h i : LK → SK and the functor ( )∗ mentioned above to an appropriate Sullivan model for π, we shall obtain a fibrewise rationalization of the fibration (*). To see this, let v : ∧V →≃ A(K) be a Sullivan model and i : ∧V → ∧V ⊗ ∧W a minimal Sullivan model for π∗ ◦ v. Then the map i fits into the commutative diagram j ∧V i / ∧V ⊗ ∧W / ∧W

≃ v ≃ α u A(K) / A(X) / A(F ). π∗ in which j is the projection onto the quotient DGA by the ideal generated by the image of i. It follows from [10, Lemma 14.1 and Theorem 6.10] that the natural map v ⊗ 1 : ∧V ⊗∧V ∧V ⊗ ∧W → A(K) ⊗∧V ∧V ⊗ ∧W is a quasi-isomorphism. We have a commutative diagram α ∧V ⊗ V ∧V ⊗ ∧W =∼ ∧V ⊗ ∧W / A(X) ∧ ≃✐✐✐4 O ✐✐✐✐ v ✐✐✐ ∗ ⊗1 ≃ ✐✐✐ ∗ e π ✐✐✐✐ π ·α=:α A(K) ⊗ ∧W =∼ A(K) ⊗ V ∧V ⊗ ∧W o A(K). ∧ in Thus it is readily seen that α deﬁned to be π∗ · α is a quasi-isomorphism and in : A(K) → A(K) ⊗ ∧W is a Sullivan model for π. Let ηX : X → hA(X)i be the e 10 KATSUHIKO KURIBAYASHI adjoint to the identity on A(X). We deﬁne a morphism θ : X → h(A(K)⊗∧W )∗i of DGAs by θ(σ) = (ϕσ , π(σ)), where σ ∈ X and ϕσ(u⊗a⊗b)= u·(ηX (σ)◦α(a⊗b)).

Proposition 3.3. Suppose that u : ∧W → A(F ) is a quasi-isomorphism.e Then in the commutative diagram h∧W i / h(A(K) ⊗ ∧W ) i / K O O ∗

θres θ / / F X π K, the restriction θres : F → h∧W i is the rationalization and hence θ : X → h(A(K) ⊗ ∧W )∗i is the ﬁbrewise rationalization.

Proof. By construction, the A-algebra (A(K) ⊗ ∧W )∗ is a 1-connected A minimal model; see Proposition 3.1. Then it follows from [13, Proposition 5.5] that the sequence in the upper row is a Kan ﬁbration. ∗ The rationalization of F is given by u ◦ ηF : F → hA(F )i → h∧W i. For w ∈ F ∗ and b ∈ ∧W , we see that u ◦ηF (w)(b)= u(b)(w). On the other hand, it follows that ∗ ∗ ∗ ϕw(1⊗1⊗b)=1·(ηX (w)◦α)(1⊗b)= α ηX (w)(1⊗b) = (j u ηF (w))(b)= u(b)(w). This completes the proof. e e Corollary 3.4. The map F(θ): F(h(A(K) ⊗ ∧W )∗i) → F(X) induced by θ is a quasi-isomorphism. Proof. For a simplex σ : ∆[n] → K and the vertex v : ∆[0] → ∆[n] which deﬁnes F , we have a commutative diagram

Xσ o ≃ Xv F

σ v θ θ θres ∼ σ ≃ v = h(A(K) ⊗ ∧W )∗i o h(A(K) ⊗ ∧W )∗i o h∧W i.

σ σ Since θres is the localization, it follows that A(θ ): A(h(A(K) ⊗ ∧W )∗i ) = σ F(h(A(K) ⊗ ∧W )∗i)σ → A(X ) = F(X)σ is a quasi-isomorphism. We have the result. Remark 3.5. Suppose that K in the given fibration (*) mentioned above is a connected Kan complex whose cohomology is of finite type. Assume further that the ∗ |π| π1(K)-action on H (F ) is nilpotent. We observe that the realization |F | → |X| → |K| is a Serre fibration; see, for example, [12, Theorem 10.10]. Then it follows from [14, 20.3. Theorem] that the morphism u is a quasi-isomorphism. Remark 3.6. Let M be a diffeological space. We may apply the construction in this D section to the fibration q : S (M)min → K(π1(M), 1) in Remark 2.11. Suppose that M is a simply-connected diffeological space. Then, by definiton, the DGA ∧W in Proposition 3.3 gives a rational (or R-local) model for M; see Remark 2.11.

4. A spectral sequence converging to the de Rham cohomology of an adjunction space By using a local system over a simplicial set, we construct in a functorial manner a spectral spectral sequence with a local coefficients converging to cohomology of an LOCALSYSTEMSINDIFFEOLOGY 11 adjunction space. First we recall the result [13, Proposition 5.3 (i)] in a somewhat ∗ general setting. Let A be an admissible simplicial DGA such as (ADR)•. Proposition 4.1. Let K be a connected simplicial set. Let p : X → K be an object ∆op in the category SK . Then Γ(F(X,p)) =∼ A(X) := Set (X, A•) as a DGA. Proof. In the original assertion, it is needed that the simplicial map p is a Kan fibration. However, we have the result without the assumption. In fact, the map v : ∗ A(X) → Γ(F(X,p)) defined by v(g) = (iσ(g))σ∈K for g ∈ A(X) is an isomorphism, σ where iσ : X → X is the map which fits into the pullback diagram

i Xσ σ / X p / ∆[dim σ] σ K of p along σ. A direct calculation shows that a morphism u : Γ(F(X,p)) → A(X) deﬁned by u(f)τ = (fp(τ))(id[dim τ], τ) for f ∈ Γ(F(X,p)) is the inverse of v.

Remark 4.2. The result [13, Proposition 5.3 (ii)] needs the assumption that p : X → K is a Kan ﬁbration. The proof of [13, Theorem 5.4] implies the following result.

Theorem 4.3. For a simplicial set (X,p) over K and an object in jE : A → E in ∼ op LK , there exists a natural bijection SK ((X,p), hE, jE i) = LK (F(X,p), (E, jE)) .

Proof. We deﬁne a map Φ : SK ((X,p), hE, jEi) → LK ((E, jE ), F(X,p)) by

1 ∗ (Φ(f)σ) (u)((α, τ)) := (fτ )id[|p(τ)|] (α u),

f Let PNo i / M be morphisms in Diff between connected diffeological spaces. These maps give the adjunction space P ∪N M in Diff. We may write P ∪f M for the space. The universality of the pullback gives rise to a unique map

D D D Θ: A(S (P ) ∪N M) → A(S ((P )) ×A(SD(N)) A(S (M)) which is compatible with A(i) and A(f). We assume that SD(f): SD(N) → SD(P ) D D D and S (i): S (N) → S (M) are in SK for some simplicial set K; that is, we have a commutative diagram

SD(f) SD (i) SD(P ) o SD(N) / SD(M) ◗◗◗ ♠♠ ◗ p0 ♠♠ ◗◗◗ ♠♠♠ p1 ◗◗( v♠♠♠ p2 K 12 KATSUHIKO KURIBAYASHI in which each pi is a surjective map. We consider a diagram

D D u D D (4.1) A(S (P )) × D A(S (M))o ∼ Γ(F(S (P ))) × F D Γ(F(S (M))) A(S O (N)) = Γ( (SO (N))) ∼ Θ = ηΓ

D D D A(S (P ∪N M)) Γ(F(S (P )) ×F D F(S (M))) (SO (N)) ∗ ∼ θ = Γ(ηF ) ∼ A SD P ∪ SD M = / F SD P ∪ SD M ( ( ) SD (N) ( )) v Γ( ( ( ) SD(N) ( ))) consisting of morphisms of DGAs, in which u and v are isomorphisms described D D D in the proof of Proposition 4.1 and θ : S (P ) ∪SD (N) S (M) → S (P ∪N M) is the unique map induced by SD(f) and SD(i). Here F denotes the functor deﬁned on AK in Section 2. The global section functor Γ is right adjoint to the constant op sheaf functor; see, for example, [26, I, 6]. Then it follows that Γ : SetK → Set preserves limits and hence ηΓ induced by the functor is an isomorphism. Moreover, Theorem 4.3 yields that the functor F preserves colimits. The fact enables us to conclude that the natural map ηF is an isomorphism in LK and then it induces the isomorphism Γ(ηF ) of DGAs. Proposition 4.4. The diagram (4.1) is commutative. ∗ Proof. A direct calculation shows that v ◦ Θ= ηΓ ◦ Γ(ηF ) ◦ v ◦ θ . We construct a spectral sequence converging to the singular de Rham cohomology of an adjunction space P ∪N M in Diﬀ; see Remark 4.12 in the end of this section. To this end, we consider the construction of the spectral sequence in a more general setting. Let K be a connected simplicial set. We consider a diagram

i (4.2) X1 o X0 / X2 ■■ ✉ ■■ ✉✉ ■■ p0 ✉✉ p1 ■ ✉ p2 ■$ z✉✉ K D D in SK . Then, we have a sequence of isomorphisms replacing S (P ), S (N) and D S (M) in (4.1) with X1, X0 and X2, respectively. The isomorphisms enable us to obtain a spectral sequence.

Theorem 4.5. Suppose that maps p0, p1 and p2 are Kan fibrations and the map i in the diagram (4.2) is injective. Then there exists a first quadrant spectral sequence ∗ ∗,∗ ∼ ∗ ∗ converging to H (A(X1 ∪X0 X2)) as an algebra such that E2 = H (K, HP ) as a ∗ bigraded algebra, where HP is the local coefficients associated with the local system

P := F(X1) ×F(X0) F(X2) over K; see [14, Chapter 14] for the cohomology with local coeﬃcients. Moreover, ∗ ∼ ∗ for any σ ∈ K, one has an isomorphism (HP )σ = H (A(F1) ×A(F0) A(F2)) with Fi the ﬁbre of pi for i =0, 1 and 2.

Remark 4.6. Let F = {Fσ}σ∈K be a local system with trivial diﬀerentials in which ∗ α : Fτ → Fσ is an isomorphism for each α : σ → τ in K. The cohomology H∗(K, F ) with local coeﬃcients is isomorphic to the cohomology of K with the

∗ local coeﬃcients Fres = {Fισσ}σ∈K in the sense of Whitehead [33, Chapter VI], where ισ : ∆[0] → ∆[dim σ] denotes the canonical map. LOCALSYSTEMSINDIFFEOLOGY 13

Lemma 4.7 below yields that the local system P is an A-algebra. Suppose that the fibre of each pi is 1-connected and of finite type. Then the latter half of Theorem 4.5 and [10, Lemma 13.4] enable us to conclude that P is 1-connected. Thus the E2- term may be computed if the action of π1(K) on a representative Sullivan algebra of the form (∧Z, d) of the A minimal model for P is elucidated; see [13, Definition 3.5 and the end of Section 4] and [14, Chapter 18]. If X1 = X0 = X2 and the maps between them are the identity map, then the spectral sequence in Theorem 4.5 is nothing but the Leary–Serre spectral sequence ∗ with local coefficients converging to H (A(X1)); see also [24, Theorem 5.4]. In order to prove Theorem 4.5, we need a lemma.

Lemma 4.7. Suppose that pi is a minimal Kan ﬁbration for each i = 0, 1 and 2.

Then P := F(X1) ×F(X0) F(X2) is extendable and H(P) is locally constant; that is, the local system P is an A-algebra; Deﬁnition 2.6. Proof. We ﬁrst consider the local constantness. Let α : α∗σ = τ → σ be a morphism in K. We have a commutative diagram

F(X1)σ / / F(X0)σ o F(X2)σ

α∗ ≃ α∗ ≃ α∗ ≃ F(X1)τ / / F(X0)τ o F(X2)τ ∗ ∗ ∗ It follows from [10, Lemma 13.3] that the map (α ×α α ): Pσ = F(X1)σ ×F(X0)σ ∗ F (X2)σ →Pτ induced by α is a quasi-isomorphism. Let σ : ∆[n] → K be a simplicial map and k : ∂∆[n] → ∆[n] the inclusion. By deﬁnition, in order to show the extendability of P, we prove that the map k∗ : Γ(Pσ) → Γ(Pσk) induced by k is surjective. The naturality of the isomorphism in Proposition 4.1 enables us to obtain the commutative diagram

k∗ Γ(Pσ) / Γ(Pσk) O O =∼ ∼= σ σ σk σk Γ(F(X1) ) × X σ Γ(F(X2) ) Γ(F(X1) ) × σk Γ(F(X2) ) Γ(F(OO 0) ) Γ(F(XO 0) ) =∼ ∼= σ σ σk σk A(σ) := A(X ) ×A Xσ A(X ) / A(X ) × σk A(X ) =: A(σk), 1 ( 0 ) 2 ∗ ∗ 1 A(X0 ) 2 k ×k∗ k 1 0 2 ∗ σ σk where ki : A(Xi ) → A(Xi ) is the restriction map; see the diagram (4.1) for σ σ◦α the isomorphisms. We observe that (F(X,p) )α = F(X,p)σ◦α = A(X ) = σ α σ σ A((X ) ) = F(X ,p)α for a map α : ∆[m] → ∆[n] and hence (F(X,p) ) = σ ∗ ∗ ∗ F(X ,p). Then it suﬃces to show that the map k1 ×k0 k2 is surjective. To this end, we consider the commutative diagram

k∗ σ 2 / / σk A(X2 ) A(X2 )

u∗ k∗ Ker k∗ / A(Xσ) 0 / / A(Xσk) O 0 O 0 O 0 (i∗)′ i∗ j∗ k∗ ∗ / σ 1 / / σk Ker k1 A(X1 ) A(X1 ). 14 KATSUHIKO KURIBAYASHI

∗ ∗ Since the simplicial DGA A is extendable, it follows that i and each map ki : σ σk ′ ′ A(Xi ) → A(Xi ) are surjective. For an element (e ,g ) in A(σk), there exists an σ σ ∗ ∗ ′ ′ element (e,g) in A(X1 ) × A(X2 ) such that (k1 × k2 )(g,e) = (g ,e ). Suppose that ∗ ′ ∗ the restriction (i ) is surjective. Then we choose an element β ∈ Ker k1 so that (i∗)′(β)= i∗(e)−u∗(g). Since i∗(e−β)−u∗(g)= i∗(e)−(i∗(e)−u∗(g))−u∗(g) = 0, ∗ ∗ ∗ ′ ′ it follows that (e − β,g) is in A(σ) and (k1 ×k0 k2 )(e − β,g) = (e ,g ). ∗ ′ It remains to verify that (i ) is surjective. We recall that pi : Xi → K is σ minimal. Then the pullback pi : Xi → ∆[n] is the trivial ﬁbration. The injective σ σ σk σk map i : X0 → X1 induces injective maps u : X0 → X1 and v : X0 → X1 . Therefore, we have commutative diagram (4.1) j∗⊗1 0 / A(∆[n], ∂∆[n]) ⊗ A(F ) / A(∆[n]) ⊗ A(F ) / A(∂∆[n]) ⊗ A(F ) / 0 O 0 O 0 O 0 ∗ ∗ ∗ (u )| u v

0 / A(∆[n], ∂∆[n]) ⊗ A(F1) / A(∆[n]) ⊗ A(F1) / A(∂∆[n]) ⊗ A(F1) / 0 j∗⊗1 whose two rows are exact, where Fi denotes the ﬁbre of pi. Since simplicial DGA ∗ ∗ A is extendable, it follows that u and v are surjective. Let {ui}i∈J be a basis for ′ A(F0). Then for each i ∈ J, there exists an element ui in A(∆[n]) ⊗ A(F1) such ∗ ′ that u (ui)= ui. The commutativity of the diagram / F0 ∆[n] × F0 ❱ ❱❱❱❱❱ u ❱+ | u ❤❤3 ∆[n] ❤❤❤❤❤ F1 / ∆[n] × F1 ′ yields that ui = aj ⊗ αj +1 ⊗ αi and {αi}i∈J is linearly independent in A(F1). ′ Let U be the subspaceP of A(∆[n]) ⊗ A(F1) generated by {ui}. Then we write A(∆[n]) ⊗ A(F1) = A(∆[n]) ⊗ (U ⊕ V ) as an A(∆[n])-module for some subspace V of A(∆[n]) ⊗ A(F1). Therefore, the lower exact sequence in the diagram (4.2) is regarded as 0 / A(∆[n], ∂∆[n]) ⊗ (U ⊕ V ) / A(∆[n]) ⊗ (U ⊕ V ) / A(∂∆[n]) ⊗ (U ⊕ V ) / 0 j∗⊗1 ∗ This enables us to conclude that the restriction map (u )| is surjective.

Proof of Theorem 4.5. We choose a minimal Kan ﬁbration minXi → K for each pi. Then we have a commutative diagram

i′ minX1 × CX0 o minX0 / minX2 O ❧❧ ◆◆ O ❧❧❧ ◆◆◆ r1×1 ❧❧ ◆ r2 ❧❧❧ ◆◆◆ v❧ i×j ◆' X1 × CX0 o X0 / X2 in which CX0 is the cone of X0 and ri is a retraction to the minimal Kan ﬁbration ′ of pi. Observe that i is injective. The isomorphisms in the diagram (4.1) yield ∼ that A(X1 ∪X0 X2) = A(X1) ×A(X0) A(X2). Moreover, the result [10, Lemma 13.4] implies that A(X1) ×A(X0) A(X2) ≃ A(X1 × CX0) ×A(X0) A(X2) ≃ A(minX1 ×

CX0) ×A(minX0) A(minX2) with natural quasi-isomorphisms. We consider a local system of the form ′ ∼ P := F(minX1 × CX0) ×F(minX0) F(minX2) = F((minX1 × CX0) ∪minX0 minX2). LOCALSYSTEMSINDIFFEOLOGY 15

By virtue of Lemma 4.7, we see that P′ is extendable and locally constant. Applying [14, 12.47, 14.18] to the local system P′, we have a spectral sequence converging ∗ ∗,∗ ∼ ∗ ∗ to H (A(X1 ∪X0 X2))) with E2 = H (K, HP′ ). Moreover, it follows that for any σ ∈ K, ∗ ∗ σ σ ∼ σ (HP′ )σ = H (A((minX1 × CX0) ) ×A((minX0) ) A((minX2) ) ∗ x x ∼ x = H (A((minX1 × CX0) ) ×A((minX0) ) A((minX2) ) ∼ ∗ = H (A(F1 × CX0) ×A(F0) A(F2)) ∼ ∗ ∼ ∗ = H (A(F1) ×A(F0) A(F2)) = (HP )σ, where x is a vertex of σ. Then we have the result.

f Remark 4.8. Let Mo i N / P be smooth maps between connected diﬀeological i f op spaces. These maps gives rise to maps SD(M) o ∗ SD(N) ∗ / SD(P ) in Set∆ . By considering the Moore-Postnikov tower for each singular simplex, we have a diagram i f SD(M) o ∗ SD(N) ∗ / SD(P )

p1 p0 p2 K(π1(M), 1) o K(π1(N), 1) / K(π1(P ), 1) iK fK in which p0, p1 and p2 are Kan fibrations. The maps i∗ and f∗ factor through the p′ p′ D iK 1 D fK 2 bullbacks S (M) → K(π1(N), 1) and S (P ) → K(π1(N), 1), respectively. D D iK D This gives rise to a decomposition i∗ = k ◦ j : S (N) → S (M) → S (M). If ′ ′ i is injective, then so is j. Thus we have the triple (p1,p0,p2) of Kan fibrations D iK over K(π1(N), 1) to which we can apply Theorem 4.5. We observe that S (M) is homotopy equivalent to SD(M) if i induces the isomorphism on the fundamental groups. For a diffeological space M, we write A(M) for A(SD(M)). With the same notation as in Remark 4.8, the universality of pullback induces a map Θ : A(P ∪N M) → A(P )×A(N) A(M). Assume further that the map i : N → M is the inclusion of a diffeological subspace. Then the canonical map Θ: M → P ∪N M gives a map Θ : (M,N) → (P ∪ M, P ) of relative spaces. Thus these maps fit into the N e commutative diagram e 0 / A(P ∪N M, P ) / A(P ∪N M) / A(P ) / 0

e ∗ Θ Θ 0 / A(M,N) / A(P ) ×A(N) A(M) / A(P ) / 0 in which two row sequences are exact; see the proof of [14, 15.18]. By virtue of Proposition 4.4, we have Proposition 4.9. The following are equivalent. (i) The map θ∗ in the diagram (4.1) is a quasi-isomorphism. (ii) Θ∗ is a quasi-isomorphism, (iii) Θ is a quasi- isomorphism. e Remark 4.10. Let jE : A → E be a 1-connected A minimal model of ﬁnite ≃ type. Then the result [13, Theorem 5.10 (ii)] yields that the map ad(idE): E → 16 KATSUHIKO KURIBAYASHI

F(hE, jEi) is a quasi-isomorphism. We consider Kan fibrations in (4.2). By using Corollary 3.4, Lemma 3.2 and the so-called surjective trick [10, page 148], we can construct an algebraic model for the adjunction space X1 ∪X0 X2 if each Kan fibration in (4.2) satisfies the same condition as in Proposition 3.3. With the model, the spectral sequence in Theorem 4.5 may be computable. We conclude this section with examples in Diff to which Theorem 4.5 is applicable. Remark 4.11. (i) Let S be a manifold of dimension n and W a k-dimensional manifold with boundary ∂W endowed with a collar c : ∂W × [0,ε) → W , where k>n. Let f : ∂W → S be a smooth map. Then we construct a p-stratifold of the form S ∪f W . We refer the reader to [23] and Appendix for the definition of a p-stratifold. The functor k from the category of stratifolds to Diff in [2], which is recalled in Appendix, gives a diffeological space k(S ∪f W ). In view of Theorem A.3, we have a smooth homotopy equivalence between k(S ∪f W ) and the adjunction space k(S) ∪k(f) k(W ) in Diff. Moreover, the excision axiom for the singular homology of a diffeological space ([21, Proposition 3.1]) and the de Rham theorem ([24, Theorem 2.4] enable us to deduce that the canonical map

Θ : (k(W ), k(∂W )) → (k(S) ∪k(f) k(W ), k(S)) gives rise to an isomorphism on the relative de Rham cohomology; see Assertion B.1. Therefore, Proposition 4.9 implies e that the map ∗ D D D θ : A(S (k(S) ∪k(f) k(W ))) → A(S (k(S)) ∪SD (k(∂W )) S (k(W ))) is a quasi-isomorphism. Suppose that the inclusion ∂W → W and the map f induce isomorphisms on the fundamental groups, respectively. Theorem 4.5 and Remark 4.8 allow us ∗ D ∼ to construct a spectral sequence converging to H (A(S (k(S) ∪k(f) k(W ))) = ∗ D H (S (k(S ∪f W ))) as an algebra; see also Remark B.2. ∗ (ii) The singular de Rham complex functor (ADR)• induces the de Rham theorem but the de Rham complex functor Ω∗( ) due to Souriau does not in general; see [17, Section 8] and [24, Theorem 2.4]. However, for a p-stratifold S ∪f W , we have a sequence

∗ ∗ α / ∗ D ℓ / ∗ D Ω (k(S ∪f W )) ≃ ADR(S (k(S ∪f W )) ≃ ADR(S (k(S) ∪k(f) k(W ))) of quasi-isomorphisms; see [24, The latter half of Theorem 2.4] for α called the factor map, and Theorem A.3 below for the map ℓ. Thus, under the same assumption as that in (i),Theorem 4.5 enables us to obtain a spectral sequence converging to the ∗ de Rham cohomology H (k(S ∪f W )) in the sense of Souriau. Remark 4.12. Let X be a connected smooth CW complex in the sense of Iwase [18] and Xn the n-skeleton of X. Let i : N := Xk → Xk+1 be the inclusion. Suppose that k > 1. Then a variant of Whitney’s approximation theorem [18, =∼ Theorem 3.2] allows us to deduce that i induces an isomorphism i∗ : π1(N) → π1(Xk+1). Here the smooth homotopy group is regarded as that in the case (9) in [8, Theorem 3.2]. Let P be a connected diﬀeological space and N → P a smooth map in Diﬀ which induces an isomorphism on the fundamental groups. Consider the adjunction space P ∪N Xk+1. Each open subset of a smooth CW complex for D-topology coincides with the open subset of the underlying topology; see [18, Proposition 2.2] and its previous sentence. Then, by the same argument as in LOCALSYSTEMSINDIFFEOLOGY 17

∗ D Remark 4.11, we have a spectral sequence converging to H (A(S (P ∪N Xk+1))) ∗,∗ ∼ ∗ ∗ ∗ with E2 = H (K, HP ), where HP is the local coeﬃcients associated with the local D D system P := F(S (P )) ×F(SD(N)) F(S (Xk+1)) over K(π1(N), 1).

Acknowledgements. This work was partially supported by JSPS KAKENHI Grant Number 19H05495.

Appendix A. A stratifold as a diffeological space In this section we consider a parametrized stratifold. In order to define a general stratifold, we recall a differential space in the sense of Sikorski [30]. Definition A.1. A differential space is a pair (S, C) consisting of a topological space S and an R-subalgebra C of the R-algebra C0(S) of continuous real-valued functions on S, which is assumed to be locally detectable and C∞-closed. Local detectability means that f ∈C if and only if for any x ∈ S, there exist an open neighborhood U of x and an element g ∈C such that f|U = g|U . ∞ C -closedness means that for each n ≥ 1, each n-tuple (f1, ..., fn) of maps in C and each smooth map g : Rn → R, the composite h : S → R defined by h(x)= g(f1(x), ...., fn(x)) belongs to C. Let (S, C) be a differential space and x an element in S. The vector space consisting of derivations on the R-algebra Cx of the germs at x is denoted by TxS, which is called the tangent space of the differential space at x; see [23, Chapter 1, section 3]. Definition A.2. A stratifold is a differential space (S, C) such that the following four conditions hold: (1) S is a locally compact Hausdorff space with countable basis; (2) the skeleta skk(S) := {x ∈ S | dim TxS ≤ k} are closed in S; (3) for each x ∈ S and open neighborhood U of x in S, there exists a bump function at x subordinate to U; that is, a non-negative function φ ∈C such that φ(x) 6= 0 and such that the support supp φ := {p ∈ S | f(p) 6=0} is contained in U; k (4) the strata S := skk(S) − skk−1(S) are k-dimensional smooth manifolds such that restriction along i : Sk ֒→ S induces an isomorphism of stalks ∼ ∗ = ∞ k k i : Cx → C (S )x for each x ∈ S .

Let (S1, C1) and (S2, C2) be stratifolds and h : S1 → S2 a continuous map. We call the map h, denoted h : (S1, C1) → (S2, C2), a morphism of stratifolds if φ ◦ h ∈ C1 for every φ ∈ C2. A parametrized stratifold (p-stratifold for short) is constructed from a manifold attaching another manifold with compact boundary. More precisely, let (S, C) be a stratifold of dimension n and W a k-dimensional manifold with compact boundary ∂W endowed with a collar c : ∂W × [0,ε) → W . Suppose that k>n. Let f : ∂W → S be a morphism of stratifolds. Observe that for a manifold M, we regard M as the stratifold j(M) := (M, CM ) defined by CM = {φ : M → R | φ : smooth}. We consider the identification topological space ′ 0 ′ S := S ∪f W . Define the subalgebra of C (S ) by g ∈C,g is smooth and for some positive real C′ = g : S′ → R |S |W \∂W . number δ <ε,gc(w,t)= gf(w) for w ∈ ∂W and t<δ

18 KATSUHIKO KURIBAYASHI

Then the pair (S′, C′) is a stratifold; see [23, Example 9] for more details. A stratifold constructed inductively by attaching manifolds with such a way is called a parametrized stratifold. Let Stfd be the category of stratifolds. We recall a functor k : Stfd → Diﬀ deﬁned ′ by k(S, C) = (S, DC) and k(f)= f for a morphism f : S → S of stratifolds, where U : open in Rq, q ≥ 0, D := u : U → S . C φ ◦ u ∈ C∞(U) for any φ ∈C

Observe that a plot in DC is a set map. We see that the functor k is faithful, but not full in general. It is worth mentioning that the fully faithful embedding m : Mfd → Diﬀ in [17] from the category Mfd of manifolds is an embedding j followed by the functor k mentioned above; that is, we have a sequence of functors

j k m : Mfd / Stfd / Diff. fully faithful Here the functor j is defined by assignment M 7→ j(M) mentioned above. We refer the reader [2, Section 5] for the details of the functors. Let (S, C) be a stratifold and W a manifold with boundary ∂M endowed with a collar c : ∂W × [0,ε) → W . We regard the manifold W as a stratifold of the form (∂W ∪id W, CW ). The following theorem is a main result of this section. ′ Theorem A.3. The natural map ℓ : k(S, C) ∪k(f) k(W, CW ) → k(S ∪f W, C ) is a smooth homotopy equivalence in Diff We recall results in [24] and [23] which are used repeatedly when proving the theorem. Lemma A.4. ([24, Lemma 6.6]) For a stratifold (S, C), an open set of the underlying topological space S is a D-open set of the diffeological space k(S, C). Lemma A.5. ([23, Proposition 2.4]) Let (S, C) be a stratifold and A a closed subset of S. For a smooth map f : U → R from an open neighborhood U of A, there exists a smooth map g : S → R such that g|A = g|A. We consider a smooth function r : R → R which satisfies the condition that e ε eε 3ε 3ε r(t) = 0 for t ≤ 2 , 0 ≤ r(t) ≤ t for 2 ≤ t ≤ 4 and r(t) = t for 4 ≤ t. Then the map 1×r : ∂W ×[0,ε) → ∂W ×[0,ε) is defined. Extending 1×r to 1]× r : W → W , we further define a map r : k(S ∪f W ) → k(S) ∪k(f) k(W ). Lemma A.6. The map r is smooth in Diff. Proof. In order to prove the result, by definition, it suffices to show that r factors through the projection π : k(S) k(W ) → k(S) ∪k(f) k(W ) locally, where k(S) k(W ) denotes the coproduct with` the sum diffeology. Observe that k(S)∪k(f) k(W )` is endowed with the quotient diffeology of the coproduct. Let p : Up → k(S∪f W ) be a plot; that is, p is in DC′ . Since the set π(S) is closed, ′ −1 it follows from Lemma A.4 that V := Up\p (π(S)) is open in Up. Moreover, the composite r ◦ p has a lift p′′ := (1]× r) ◦ p′ : V ′ → W → W with π ◦ p′ = p for some p′ : V ′ → W and π ◦ (1]× r) ◦ p′ = r ◦ p. We show that p′′ is smooth. To this end, ′′ ∞ it suffices to prove that φ ◦ p is a C -function for each φ : W = ∂W ∪id W → R in CW . Consider the composite φ ◦ (1]× r): W → W → R. Observe that the restriction of 1]× r to ∂W ×[0,ε) is nothing but the map 1×r. Then, since the map φ is in CW , it LOCALSYSTEMSINDIFFEOLOGY 19

] ′ 1×r follows that the φ◦1 × r|∂W ×[0,ε) is extended to a smooth map φ : ∂W ×(−ε,ε) → φ ∂W × (−ε,ε) → R. For any element x ∈ V ′, we see that p(x) ∈ W \∂W . Thus, it ′ follows from Lemma A.5 that there exist a smooth map φ : S ∪f W → R and an ′ ′ ′ open neighborhood V (p(x)) of p(x) such that φ |V ′(p(x)) =eφ |V ′(p(x)). Let U(x) be the open set p−1(V ′(p(x))); see Lemma A.4. Then, we have e ′′ ] ′ ′ ′ ′ φ ◦ p |U(x) = φ ◦ ((1 × r)) ◦ p |U(x) = (φ ◦ p )|U(x) = φ ◦ p|U(x). ′′ ′ This implies that p : V → k(W ) is smooth. e We show that r ◦ p on p−1(π(S (∂W × [0,ε′))) factors through k(S) with an ′ ε ′ appropriate smooth map, where ε =` 2 . We write V for the open set π(S (∂W × [0,ε′)). Define p : p−1(V ′) → S (∂W × [0,ε′)) by p(x) = p(x) if x ∈ p`−1(π(S)) and p(x) = (w,t) for some (w,t`) ∈ ∂W × [0,ε′) with p(x) = π(w,t) if x ∈ p−1(V ′)\p−1(π(eS)). e e Assertion A.7. The composite 1 (f ◦ r) ◦ p : p−1(V ′) → k(S) is a plot of k(S); that is, the map is smooth. ` e −1 ′ It follows that the composite π ◦ 1 (f ◦ r) ◦ p : p (V ) → k(S) ∪k(f) k(W ) coincides with the map p ◦ r. Thus Assertion` A.7 implies that r is smooth. e Proof of Assertion A.7. By definition, it suffices to prove that, for any φ ∈ C, the composite φ◦1 (f ◦r)◦p is a smooth function on p−1(V ′). By using the composite ′ f ◦ r, we extend` the map φ to a smooth map φ : S ∪f (∂W × [0,ε )) → R. Since S e ′ is closed in S ∪f W and S ∪f (∂W × [0,ε ) is open in S ∪f W , it follows from the e ′ result Lemma A.5 that there exists a smooth extension Ψ : S ∪f W → R in C of φ such that Ψ|S = φ|S = φ. Moreover, it is readily seen that φ ◦ 1 (f ◦ r) ◦ p =Ψ ◦ pe. The map p is a plot of k(S ∪ W ) and then composite Ψ ◦ p is smooth. We have e f ` the result. e

Proof of Theorem A.3. We have to prove that i) ℓ ◦ r ≃ 1k(S∪f W ) and ii) r ◦ ℓ ≃

1k(S)∪k(f)k(W ). To this end, we construct smooth homotopies between them. Let ρ : R → R be a smooth cut-oﬀ function with ρ(s)=0 for s ≤ 0, ρ(s)=1 for s ≥ 1 and 0 < ρ(s) < 1 for 0

′ φ ◦ H ◦ p = φ ◦ p on an appropriate open neighborhood Ux,φ of x. Suppose that x −1 −1 ′ ′ ′ is in p (H (W \∂W )). It follows that φ ◦ H ◦ p = φW \∂W ◦ H ◦ (p , q): Ux → ′−1 ′ H (W \∂W ) → W \∂W → R on some neighborhood Ux of x in U. Lemma A.8 yields that the right-hand side map is smooth. We have the assertion i). In order to prove the assertion ii), we use the same construction and notations as above. It suffices to show that the map H : k(S)∪k(f) k(W )×R → k(S)∪k(f) k(W ) ′ is smooth in Diff. For any plot p = (p , q) on k(S) ∪k(f) k(W ) × R, by definition, we ′ see that p : Up → k(S) ∪k(f) k(W ) factors through k(S) or k(W ) locally as a plot. ′′ ′ ′ If there exists a plot p : U → k(S) is a plot for some U ⊂ Up such that π ◦p′′ = p′. Then, it follows that H ◦p = π ◦pr ◦(p′′, q), where pr : k(S)×R → k(S) is the projection in the first factor. The projection is smooth. It turns out that H ◦ p is smooth. We consider the case where p′ factors through k(W ) on an open neighborhood Ux of an element x ∈ Up. We have to prove that for φ ∈ Ck(W ), the composite ′ φ ◦ H ◦ (p , q): Ur → k(W ) × R → k(W ) → R is a smooth function. For z in Ux, ′ suppose that p (z) ∈ c(∂W × [0,δφ)), where δφ < ε such that φc(w,t) = φf(w) e ′ ′ for w ∈ ∂W and for s<δφ. Then the map φ ◦ H ◦ (p , q) = φ ◦ p on some open neighborhood of z, which is determined by φ, in U . If p′(z) is in H′−1(W \∂W ), e x then it follows from Lemma A.8 that the composite φ ◦ H ◦ (p′, q)= φ ◦ H′ ◦ (p′, q): U → H′−1(W \∂W ) → W \∂W → R is smooth for some open neighborhood U of x e z z. This completes the proof.

Appendix B. An algebraic model for a simply-connected stratifold We here summarize categories and functors mentioned in the body of the article.

op (B.1) Sets∆ ❘❘ m:fully faithful O h❘ ❘❘❘ ❘❘❘ ❘❘❘| | D ❘❘ ⊢ ❘❘ | |D ❘❘ ❘❘ S ⊢ S ❘❘❘ ❘❘( D ❘❘ j k ' ❘/ Mfd / Stfd / Diff ⊥ Top, fully faithful o C where | | and S denote the realization functor and the singular simplex functor, respectively. We refer the reader to [8, 20, 21, 29] for the functor C and D. We first remark that a rational model and an R-local model for a simply connected topological space X, which has the homotopy type of a CW-complex, coin- cide with those for the diffeological space C(X); Remark 3.6. In fact, the result [20, Lemma 9.5] implies that the triangle above is commutative if the domain Top is re- stricted to the category of arc-generated spaces, which contains every CW-complex; see [21, Lemma 2.8]. An algebraic model for the R-localization of a simply-connected p-stratifold is described below. Let S be an n-dimensional manifold without boundary and W a manifold with a k-dimensional manifold with compact boundary ∂W endowed with a collar, where k>n. Let f : ∂W → S be a smooth map. We consider a R-local model for the stratifold k(S ∪f W ); see Remarks 3.6 and 2.11 for the definition of a R-local model.

Assertion B.1. The smooth map Θ : (k(W ), k(∂W )) → (k(S) ∪k(f) k(W ), k(S)) described before Proposition 4.9 induces an isomorphism on the relative homology e and then on the singular de Rham cohomology. LOCALSYSTEMSINDIFFEOLOGY 21

Proof. In order to prove the result, we use the excision theorem on homology twice. We recall the map r ◦ ℓ : (X, A) := (k(S) ∪k(f) k(W ), k(S) ∪k(f) k(∂W × [0,ε))) → (k(S) ∪k(f) k(W ), k(S)) of pairs of diffological space and a subspace from Theorem A.3 and Lemma A.6. Then the composite is a homotopy equivalence with the inclusion i1 as the inverse. In fact, we have (r ◦ ℓ) ◦ i1 = id and i1 ◦ (r ◦ ℓ) ≃ id. The second homotopy is induced by the homotopy H in the proof of Theorem A.3. Since ℓ is smooth, it follows from Lemma A.4 that U := k(S) ∪k(f) k(∂W × [0,δ)) ε is an openset in k(S) ∪k(f) k(W ), where δ = 2 . The excision axiom for the singular homology of a diffeological space ([21, Proposition 3.1]) enables us to deduce that the inclusion j : (X − U, A − U) = (W ′, ∂W × [δ, ε)) → (X, A) is an isomorphism on the relative singular homology. Define a non strictly increasing smooth function r1 : [0,ε) → [0,ε) which satisfies ′ ′ the condition that r1(t) = δ for 1 ≤ t ≤ δ and r1(t)= t for δ

(1^× r1)| is the identity map between the manifolds. Therefore, we see that the map 1^× r1 induces the isomorphism on the relative singular homology. Moreover, it follows from the proof of Theorem A.3 that the restriction (r ◦ ℓ)| : (W, ∂W × [0,ε)) → (W, ∂W ) is a smooth homotopy eqivalence with the inclusion i2 as a homotopy invaerse . Fourthermore, we see that

Θ = (r ◦ ℓ) ◦ i1 ◦ (1^× r1) ◦ i2. It turns out the map Θ inducese an isomorphism on the relative singular homology. The result [24, Theorem 2.4] implies that the Θ gives rise to an isomorphism on e the singular de Rham cohomolopgy; see Remark 2.2. e The ﬁnal remark describes a construction of an algebraic models for a p-stratifold. Remark B.2. Under the notation above, we further assume that the stratifold S and the manifold W are simply-connected. The construction as in [10, Section 13] gives rise to a R-local model for k(S ∪f W ). Thus, the minimal model of the DGA determines the R-local homotopy type of the stratifold k(S ∪f W ) in Diﬀ.

References

[1] J. Amorós, M. Burger, K. Corlette, D. Kotschick, and D. Toledo, Fundamental groups of compact Kähler manifolds, Mathematical Surveys and Monographs, vol. 44, American Math- ematical Society, Providence, RI, 1996. [2] T. Aoki and K. Kuribayashi, On the category of stratifolds, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 58 (2017), 131–160. [3] J.C. Baez and A.E. Hoffnung, Convenient categories of smooth spaces, Trans. Amer. Math. Soc., 363 (2011), 5789–5825. [4] A.K. Bousfield and V.K.A.M. Gugenheim, On PL de Rham theory and rational homotopy type, Memoirs of AMS 179(1976). 22 KATSUHIKO KURIBAYASHI

[5] A.K. Bousfield and D.M. Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, 304 Springer-Verlag, Berlin-New York, 1972. [6] U. Buijs, Y. Félix, A. Murillo, D. Tanré, Homotopy theory of complete Lie algebras and Lie models of simplicial sets, Journal of Topology 11 (2018), 799–825. [7] S. Bunk, The R-Local Homotopy Theory of Smooth Spaces, preprint (2020). arXiv:2007.06039v2 [8] J.D. Christensen and E. Wu, The homotopy theory of diffeological spaces, New York J. Math. 20 (2014), 1269–1303. [9] P. Deligne, P. Griffiths, J. Morgan, and D. Sullivan, Real homotopy theory of Kahler manifolds, Invent. Math. 29 (1975), 245–274. [10] Y. Félix, S. Halperin and J.-C. Thomas, Rational Homotopy Theory, Graduate Texts in Mathematics 205, Springer-Verlag, 2000. [11] Y. Félix, S. Halperin and J.-C. Thomas, Rational Homotopy Theory II, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2015. [12] P.G. Goerss and J.F. Jardine, Simplicial homotopy theory. Reprint of the 1999 edition. Mod- ern Birkhäuser Classics. Birkhäuser Verlag, Basel, 2009. [13] A. Gómez-Tato, S. Halperin and D. Tanré, Rational homotopy theory for non-simply connected spaces, Transactions of AMS, 352 (2000), 1493–1525. [14] S. Halperin, Lectures on minimal models, Mémoires S.M.F. Nouvelle série 9-10, (1983). [15] G. Hector, E. Mac´ıas-Virgós and E. Sanmart´ın-Carbón, De Rham cohomology of diffeological spaces and foliations, Indagationes math. 21 (2011), 212–220. [16] M. Hovey, Model categories. Mathematical Surveys and Monographs, 63. American Mathe- matical Society, Providence, RI, 1999. [17] P. Iglesias-Zemmour, Diffeology, Mathematical Surveys and Monographs, 185, AMS, Provi- dence, 2012. [18] N. Iwase, Whitney approximation for smooth CW complex, to appear in Kyushu J. Math. arXiv:2001.02893v2. [19] J.F. Jardine, Lectures on Homotopy Theory, http://jardine.math.uwo.ca/HomTh/ [20] H. Kihara, Model category of diffeological spaces, H. J. Homotopy Relat. Struct. 14 (2019), 51–90. https://doi.org/10.1007/s40062-018-0209-3 [21] H. Kihara, Smooth homotopy of infinite-dimensional C∞-manifolds, to appear in Memoirs of the AMS, 2021, arXiv:2002.03618. [22] H. Kihara, Private communications. [23] M. Kreck, Differential Algebraic Topology, From Stratifolds to Exotic Spheres, Graduate Studies in Math., 110, AMS, 2010. [24] K. Kuribayashi, Simplicial cochain algebras for diffeological spaces, Indagationes Mathemat- icae, 31 (2020), 934–967. https://doi.org/10.1016/j.indag.2020.08.002 [25] K. Kuribayashi, A comparison between two de Rham complexes in diffeology, Proceeding of the AMS, 149 (2021), 4963–4972. [26] S. Mac Lane and I. Moerdijk, Sheaves in geometry and logic, A first introduction to topos theory, Corrected reprint of the 1992 edition. Universitext. Springer-Verlag, New York, 1994. [27] E. Pevova, Differential 1-forms on diffeological spaces and diffeological gluing, preprint (2018). arXiv:1605.07328v2. [28] M. Rivera, F. Wierstra and M. Zeinalian, Rational homotopy equivalences and singular chains, preprint, 2019. arXiv:1906.03655v1. [29] K. Simakawa, K.Yoshida and T. Hraguchi, Homology and cohomology via enriched bifunctors, Kyushu Journal of Mathematics, 72 (2018), 239–252. [30] R. Sikorski, Differential modules, Colloq. Math. 24 (1971), 45–79. [31] J.-M. Souriau, Groupes différentiels, Lecture Notes in Math., 836, Springer, 1980, 91–128. [32] J. Watts and S. Wolbert, Diffeological coarse moduli spaces of stacks over manifolds, preprint (2019). arXiv:arXiv:1406.1392v4. [33] G.W. Whitehead, Elements of homotopy theory, Graduate Texts in Mathematics, 61, Springer, New York, 1978.