Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 10th 2020
    • (edited Sep 10th 2020)

    We are finalizing an article:

    \,

    \,

    Abstract. We extend the Chern character on K-theory, in its generalization to the Chern-Dold character on generalized cohomology theories, further to twisted non-abelian cohomology theories, where its target is a non-abelian de Rham cohomology of twisted L-∞ algebra valued differential forms. The construction amounts to leveraging the fundamental theorem of dg-algebraic rational homotopy theory, which we review in streamlined form, to a twisted non-abelian generalization of the de Rham theorem. We show that this non-abelian character reproduces the Chern-Weil homomorphism on non-abelian cohomology in degree 1, represented by principal bundles; and thus generalizes it to higher non-abelian cohomology, represented by higher bundles/higher gerbes. As a fundamental example we discuss the character map on twistorial Cohomotopy theory over 8-manifolds, which is a twisted non-abelian enhancement of the Chern-Dold character on topological modular forms (tmf) in degree 4. This turns out to exhibit a list of subtle topological relations that in high energy physics are thought to govern the charge quantization of fluxes in M-theory.

    \,

    Comments are welcome. Please grab the latest version of the file from behind the above link.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 11th 2020

    I look forward to having a proper read, but a couple of typos for now:

    where is simply; Su[llivan

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 11th 2020

    Thanks! Fixed now.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 12th 2020

    Can we think of some of this in terms of what happens to the differential cohomology diagram when a non-stable type is chosen?

    Typos:

    Remark 2.27, you have

    see [?, §4.4])

    On p.16, t t_{\mathbb{H}} becomes t t_{\mathbb{C}} (twice), and there’s an extra ’s’ in the middle term of the factorization.

    Elsewhere

    correspondonds, equivatiant, terminoloy, fnite, equialent

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 12th 2020

    Thanks! Fixed now.

    I don’t know what the hexagon means in the non-abelian case. For one, it’s not exact anymore, so that it doesn’t even characterize the middle object in general.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 12th 2020

    Sure. I guess I’m just looking for an abstract general take on what you’re doing.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeSep 12th 2020

    So that character map is the combination of (a) a general abstract construction (rationalization) with (b) passage to minimal models. The second step is all about maximally compressing the data to something tractable.

    Its motivation is in it being the link between abstract homotopy theory and differential form data seen in practice.

    We have been alluding to non-abelian characters all along in saying what it means to charge-quantize, say, 4-forms in J-twisted Cohomotopy theory. This here now to expand on what this means in detail and to put it into context.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 13th 2020

    Thanks! From the abstract point of view is there a reason why rationalization, the “coarsest of the localization approximations”, should connect to differential geometric data?

    Another typo:

    characer

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeSep 13th 2020

    It’s de Rham’s theorem which says that over smooth manifolds, rational cohomogy, rationalized over the reals, equals the cohomology of smooth differential forms.

    The generalization of de Rham’s theorem to twisted and non-abelian cohomology is the bulk of the work in the article. It’s curious that the non-abelian de Rham theorem ends up being, up to some mild reconceptualization, the fundamental theorem of dg-algebraic rational homotopy theory, enhanced by the observation in section 9 of Griffith-Morgan, that when rationalizing over the real numbers, Sullivan’s de Rham complex of piecewise polynomial forms is equivalent to piecewise smooth differential forms.

    For abelian cohomology this is no news: the construction of generalized differential cohomology by Hopkins-Singer is by pullback of curvature differential form data along the rationalization map, coupled via a de Rham-theorem like identification – Dold-Buchstaber’s equivalence really (though they attribute it just by the word “recall”).

    The generalization of this to non-abelian differential cohomology is section 4.3 of our article. We did this already in 2015 when constructing differential Cohomotopy, but the new article means to lay out the construction principle more comprehensively.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 13th 2020

    OK, so I guess I’m then wondering how abstract general things are. If twisted cohomology is the intrinsic cohomology of \infty-toposes, H I\mathbf{H}^I, the use of rationalization there suggests that rationalization in a general \infty-topos should be interesting.

    Naturally enough we have a page on this – rational homotopy theory in an (infinity,1)-topos – but unfortunately the content was removed 10 years ago. It points us instead to the brief section function algebras on infinity-stacks which is in terms of the Lawvere theory of \mathbb{Q}-algebras.

    That got me wondering about whether the Morava K-theory story generalizes to general \infty-toposes. Perhaps a path to that is via the prime spectrum of a symmetric monoidal stable (∞,1)-category.

    Or is the situation such that since, as per (29), you can just work in a slice, then for that first map in (220) one doesn’t need to think about rationalization in more general settings?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 13th 2020

    Many aspects could be explored here. Just to note that specifically for Hopkins-Singer-style differential nonabelian cohomology (section 4.3, twisted or not), which is one way of enhancing a given bare cohomology theory, the rationalization always happens in the plain base infinity-topos, embedded under Disc into the cohesive infinity topos. It is only the differential form datum being pulled back, and the homotopy in that homotopy pullback which picks up the geometric dara.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 21st 2020
    • (edited Sep 21st 2020)

    We have expanded a fair bit:

    Now the full concept of twisted differential non-abelian cohomology is introduced. As examples, the Cheeger-Simons homomorphism is realized as a secondary non-abelian cohomology operation, the twisted differential Chern character is realized as a twisted secondary cohomology operation, and differential twistorial Cohomotopy is made explicit.

    Also the title got expanded, accordingly:

    \,

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTime7 days ago

    The commutative square after the text “sits in a cohomology operation diagram (3) of this form” in the last section before the appendix has some lonely 14\frac{1}{4}s with no p 1p_1s.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTime7 days ago

    Thanks! Fixed now.

  1. Third sentence has that disallowed (in British English anyway) “X allows to Y” construction.

    that allow to approximate generalized cohomology in consecutive stages

    ’Allow’ needs an object, so perhaps

    that allow generalized cohomology to be approximated in consecutive stages; or, in order to approximate generalized cohomology in consecutive stages

    Later there’s the word ’to’ to be deleted in

    finds to its

    In the top left term of the right hand square in (3), the writing in blue seems to be just a copy of the left hand entry, e.g., lacks ’twisted’ and has the same def number.

  2. Hoŕava-Witten

    should be

    Hořava–Witten

    The sentence beginning

    It is the crucial appearance of quadratic functions

    doesn’t have a main verb.

    • CommentRowNumber17.
    • CommentAuthorDavid_Corfield
    • CommentTime7 days ago
    • (edited 7 days ago)

    is an iterated loop spaces; deloopig

    In

    AB 3AA \simeq B^3 A

    the second AA should be GG.

    less deloopings

    ’fewer deloopings’ is better.

    this space carries is itself

    With

    Mac Lane/MacLane

    twice you have the space, 15 times you don’t.

    one can from

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTime7 days ago

    Thanks! All fixed now.

    (That sentence, seemingly without verb, continued after the displayed maths. I have rearranged to make it clearer, hopefully.)

  3. It’s still not right

    It is the crucial appearance of quadratic functions…in the Cohomotopical character map (4) which are brought about by the non-abelian nature of (twisted) Cohomotopy theory

    The subject is ’it’ or ’the crucial appearance’. Where is the singular verb ?

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTime7 days ago
    • (edited 7 days ago)

    A few more:

    In (25) you have a comma before the final coefficient term A 2A_2.

    Example 2.2, presumably after “their rationalization” the last term should be L AL_{\mathbb{R}} A.

    Cohomtopy

    In (246), second coefficient should be A 2A_2. (Also, the pointer in the following line to (24) is wrong.)

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTime7 days ago

    Oh, I see: should have been “is brought about” (namely: the appearance of quadratic functions in the character), not “are brought about”.

    Have fixed it (hopefully!) Also the other items. Thanks again.

    Pointer to (24) was intentional, but in lack of an anlogous equation of structured cohomology operations. Have added that now (29).

  4. OK, but the ’It is…’ still sounds odd.

    Note that the crucial appearance…

    would sound more natural.

    On a more interesting note, presumably there should be some ways for pure mathematicians to put the framework of this article to use.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTime6 days ago

    Thanks for your patience.

    I have now reworked the paragraph in question, and then expanded the p. 5 that it sits on to conclude the introduction with an actual punchline and some outlook.

  5. one may regard the non-abelian Boardman homomorphism (7) as a non-abelian but K-theory valued character

    So if, as at higher chromatic Chern character,

    higher chromatic Chern characters that map a generalized cohomology theory of some chromatic level to another of some other level.

    One could have non-abelian higher chromatic Chern characters, presumably, from non-abelian cohomology to K-theory, etc.

    Typos

    quantizazing

    Then

    deloopig

    is still there.

    All constructions on non-abelian have…

    • CommentRowNumber25.
    • CommentAuthorcrogers
    • CommentTime6 days ago
    Hi Urs, I'm still browsing through your paper, but I see on page 19 you focus attention to the category of non-neg graded finite type L-infty algebras, and its relation to rational homotopy theory.

    I'm not sure if it's relevant to your discussion, but here is a reference to the fact that it has a category of fibrant objects structure which lifts the usual one on dgla's from
    RHT (and hence the projective "Dold-Kan" CFO structure on non-neg graded chain complexes).

    https://arxiv.org/abs/1809.05999

    It is compatible as one would expect with Andre's realization functor, in analogy with the case in RHT.

    If this isn't relevant, then I apologize for the noise and the self-promotion.
    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTime6 days ago
    • (edited 6 days ago)

    @ David,

    true, it makes sense to think of the Boardman homomorphisms to K-theory, to elliptic cohomologies etc. as chromatic characters of sorts. Though I don’t know that the chromatic community would speak this way?

    @ Chris,

    sure, thanks. I had looked at you article when it came out, but should remind myself.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTime6 days ago

    Chris,

    is there anything to be said in comparison to the category of fibrant objects that underlies Pridham’s model structure on L L_\infty-algebras? I once made a note on the latter in Prop. 3.25 here (though now I see that I left some gap in the justification there, need to check).

    • CommentRowNumber28.
    • CommentAuthorcrogers
    • CommentTime6 days ago
    • (edited 6 days ago)
    Hi Urs,

    a relationship with the CFO structure on L-infty algebras induced by Hinich's model structure on dg cocommutative coalgebras -- which is the one Pridham uses -- is given below Theorem 5.9 in my paper. But the summary is:

    a morphism between finite type Lie n-algebras is a weak equiv/acyclic fibration in "my" CFO if and only if it is a weak equiv/acyclic fibration between L-infty algebra in the Hinich CFO.
    (edit: also, obviously, every fibration between finite type Lie n-algebras in Hinich's CFO is a fibration in "my" CFO.)

    A nice explicit description of the Hinich CFO is given by Bruno Vallette towards the end of his paper

    https://arxiv.org/abs/1411.5533

    In particular, he verifies the Prop 3.25 you link to in #27 above
  6. Impressive to see Buchstaber of [BU70] still going strong 50 years later

    • V.M. Buchstaber, A.P. Veselov, Chern-Dold character in complex cobordisms and abelian varieties, (arXiv:2007.05782)
    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTime5 days ago
    • (edited 5 days ago)

    Chris, thanks for the pointers. That’s useful, I will have another look. (If maybe not right now.)

    Anything to be said about the relation of homotopy categories between the opposite of the Bousfield-Gugenheim model structure on dgc-algebras and that of finite type connective L-infinity algebras?

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTime5 days ago

    David, thanks for highlighting that recent preprint by Buchstaber. That’s good to know.

    • CommentRowNumber32.
    • CommentAuthorcrogers
    • CommentTime3 days ago
    • (edited 3 days ago)

    Hi Urs,

    regarding comment #30 and the relationship to the opposite of the Bousfield-Gugenheim model structure on cdga’s, I can’t point you to a concise optimal statement at the moment, although it shouldn’t be too hard to figure one out. On the other hand, I can point to two related facts, which maybe you already know, but:

    1) the class of weq between finite-type Lie n-algebras (connective L-infty algebras) is a proper subclass of those L-infty morphisms which induce quasi-isomorphisms between their corresponding CE coalgebras. (I work out the “classic” example involving a map out of the 2 dim solvable (non-nilpotent) Lie algebra in Remark 3.7 (4) in my paper.)

    2) The model structure given by Hess and Shipley on bounded below conilpotent dg cocommutative coalgebras (in which the weq are quasi-isomorphisms, and cofibrations are degreewise monomorphisms – so roughly the “opposite” of the Bousfield-Gugenheim model structure) is the left Bousfield localization of the Hinich model structure on the same category of coalgebras. This is proved in Prop. 2.1.2 of the aforementioned paper by Bruno.

    Addendum: incidentally, the homotopy category of “my CFO” structure on Lie_n-Alg is very easy to describe. Every acyclic fibration admits a right inverse, so for any finite-type Lie n-algebras LL and LL', we have

    hom Ho(Lienalg)(L,L)hom Lienalg(L,L)/ hom_{Ho(Lie nalg)}(L,L') \cong \hom_{Lie nalg}(L,L')/ \simeq

    where \simeq is right-homotopy equivalence with respect to any path object. (In other words, every object in this CFO is also “cofibrant”.)

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTime3 days ago

    Yeah, we have run into this question a few times, but never sorted it out. I was wondering if you meanwhile knew.

    For instance when we (you, Domenico and me) proved that Sullivan cell attachment in the BG model structure remains, dually, a homotopy fiber construction inside the model structure on all L L_\infty-algebras (I mean our Theorem B.0.8 here). This would imply that the BG homotopy theory of nilpotent L L_\infty-algebras is fully faithful in the Hinich/Valette model structure as soon as it is known that derived hom spaces out of nilpotent L L_\infty-algebras into abelian L L_\infty-algebras coincide on both sides. Which seems rather plausible, but maybe there is a catch.

    In any case, it should be fairly immediate to see with a good model for a simplicial framing on the Hinich/Valette structure. Which is probably known? I see that Valette’s note has comments on cylinder objects in his note which go in this direction. But I haven’t dug into it yet.

    • CommentRowNumber34.
    • CommentAuthorcrogers
    • CommentTime2 days ago
    • (edited 1 day ago)

    Hi Urs,

    since your last comment mentioned simplicial framing, and then the nilpotent finite-type connective case, I can add the following observations:

    1) I know how to enrich both my CFO and the Hinich/Vallette CFO over Kan complexes (which gives the correct homotopy category, of course), and in such a way that Quillen’s SM7 holds. (In both CFOs, take cofibration to mean an L-\infty morphism whose linear term i.e. tangent map is a monomorphism between the underlying cochain complexes.)

    To do this, I first enrich over filtered L-infty algebras (as described here https://arxiv.org/abs/1406.1751 ), then use the fact that filtered L-infty algebras also admit a CFO structure. I verify SM7 in filtered L-infty algebras, and then use the fact that the simplicial Maurer-Cartan functor from this CFO to KanCmplx is exact.

    I prove all these facts about the CFO structure on filtered L-infty algebras and the exactness of the simplicial Maurer-Cartan functor in a recent preprint here: https://arxiv.org/abs/2008.01706 .

    I haven’t bothered yet to type up the proof that axiom SM7 holds. Also I think that it is unlikely that axiom SM0 holds.

    2) For the nilpotent finite-type case, I have a sketch of a proof that implies the statement you mentioned relating the BG homotopy theory to the Hinch/Vallette one. Here’s a brief summary:

    The filtered L-infty model I use for mapping spaces in part (1) is the same one considered by Alexander Berglund in

    https://arxiv.org/abs/1110.6145v2

    to study rational models of mapping spaces. In particular, for mapping spaces between finite type degree-wise nilpotent Lie n-algebras, he provides a homotopy equivalence between the simplicial Maurer-Cartan set of the L-infty mapping space (or a smaller homotopy equivalent version of it) and the simplicial mapping space between their Sullivan realizations. (Theorem 6.3 in Alexander’s paper.) The latter simplicial mapping space is homotopy equivalent to the mapping space between the corresponding CE algebras in the BG simplicial model structure (via Brown and Szczarba’s theorem.)

    Anyway, I have no time at the moment to flesh this out into a public document. (If I knew it would be useful to somebody, maybe I could write it up over the next couple months or so.)

    Berglund’s paper might be worth referencing in your draft for background material on nilpotent L-infty models vs. Sullivan models. Some of what he works out is quite explicit, and overlaps with your introductory/setup material (the statements after Example 3.29, I think.). See his Thm 2.3, for example.

    I won’t say anymore here unless prompted; I didn’t mean to hijack your thread and steer it into L-infty algebra technicalities.

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTime1 day ago
    • (edited 1 day ago)

    Hi Chris,

    just to clarify that I am asking on this point to satisfy your original request:

    If we knew the statement, we could add to our note a remark like this:

    Notice that the Bousfield-Gugenheim homotopy theory of nilpotent L L_\infty-algebras used here is homotopy fully faithfully embedded into the Hinich/Valette homotopy theory of all L L_\infty-algebras, for convenient presentations of the latter see also Rogers…

    By the way, I think I see that every quasi-isomorphism between CE-algebras of nilpotent L L_\infty-algebras (i.e.: between Sullivan algebras) is dually a quasi-iso on unary chain complexes:

    By Prop. 7.11 in Bousfield-Gugenheim, any such CE-algebra is the tensor product of a minimal one with the contractible CE-algebra of an L L_\infty-algebra whose unary chain complex is contractible.

    Thus, composing the quasi-iso between the CE-algebras with the injection and projection of the minimal tensor factors (which themselves are quasi-isos both on CE-algebras as well as on unary chain complexes), we get a quasi-iso between minimal algebras. By BG Prop. 7.8 this is actually an isomorphism, hence in particular is a quasi-isomorphism on unary chain complexes. But then, by 2-out-of-3, and by that Prop. 7.11, the same holds for the original quasi-iso.

    What I don’t see yet is the converse implication. But that you took as obvious or established?

    • CommentRowNumber36.
    • CommentAuthorcrogers
    • CommentTime19 hours ago
    • (edited 19 hours ago)

    If we knew the statement, we could add to our note a remark like this:

    I’m sorry. I misunderstood what precisely you were asking about.

    Yes, for finite-type nilpotent Lie n-algebras, an L L_\infty morphism f=(f 1,f 2,)f=(f_1,f_2,\ldots) induces a quasi-isomorphism between CE algebras \Leftrightarrow ff is a weak equivalence (i.e., f 1f_1 is a quasi-isomorphism of complexes).

    Your proof of the \Rightarrow direction via minimal models looks right to me, and is basically the one given for arbitrary Sullivan algebras in Felix, Halperin, and Thomas’ first book (See Prop 14.13.) Note that they also give the \Leftarrow direction there as well.

    What I don’t see yet is the converse implication. But that you took as obvious or established?

    Yes, the \Leftarrow direction is one of those “well known…” sort of things, which holds for arbitrary finite-type Lie nn-algebras, no nilpotence assumption needed. Here is a proof (I have no reference):

    Let f=f 1,f 2,:(L,)(L, )f=f_1,f_2,\ldots \colon (L,\ell) \to (L',\ell^\prime) be a morphism between finite type Lie nn-algebras such that f 1:(L, 1)(L, 1)f_1 \colon (L,\ell_1) \to (L',\ell'_1) is a quasi-isomorphism. Let F:(S(V),δ)(S(V),δ)F \colon (S(V'),\delta') \to (S(V),\delta) be the induced map on CE algebras, with V=L [1]V=L^\vee[1], and V=L [1]V'=L^{' \vee}[1], concentrated in positive degrees. The CE algebra (S(V),δ)(S(V'),\delta') admits a decreasing filtration of sub-cochain complexes by “tensor length”: nS(V)= nk S k(V)\mathcal{F}_{n} S(V') = \bigoplus_{n \leq k}^\infty S^k(V'). This filtration is clearly bounded on the left by S(V)S(V'), and also locally bounded on the right since all generators are concentrated in positive degrees. Of course, (S(V),δ)(S(V), \delta) also admits such a filtration, and it is not difficult to see that the morphism FF is filtration preserving.

    So in order to show FF is a quasi-isomorphism, a standard spectral sequence argument implies that it is sufficient to show that the induced map Gr(F)Gr(F) on the associated graded complexes is a quasi-isomorphism. It’s fairly easy to see that (Gr(S(V)),δ Gr)(Gr(S(V)), \delta_{Gr}) as a cochain complex is isomorphic to (S(V),δ 1)(S(V),\delta^1), where δ 1\delta^1 is just the differential induced by the dual of the “unary differential” 1\ell_1 on LL. Similarly, the morphism Gr(F):(S(V),δ 1)(S(V),δ 1)Gr(F) \colon (S(V'),\delta^{\prime 1}) \to (S(V),\delta^1) is just the unique algebra map F 1F^1 induced by the dual of the linear map f 1f_1.

    Since we are working over a field, the Kunneth theorem implies that H *(T(V),δ 1)T(H *(V,δ 1 1))H^{\ast}(T(V),\delta^1) \cong T(H^\ast(V,\delta^{1}_1)), where δ 1 1\delta^1_1 is the suspended dual of the differential 1\ell_1. Since we are in characteristic zero, cohomology commutes with invariants, so we further have H *(S(V),δ 1 1)S(H *(V,δ 1 1))H^{\ast}(S(V),\delta^1_1) \cong S(H^\ast(V,\delta^{1}_1)). Since f 1f_1 is a quasi-iso, its suspended dual F 1 1F^1_1 is a quasi-iso. So, by the above (natural) identifications in cohomology, we conclude Gr(F)=F 1Gr(F)=F^1 is a quasi-isomorphism. \square

    just to clarify that I am asking on this point to satisfy your original request:

    I appreciate that, but no pressure to cite that work if it isn’t relevant to your discussion. (My original message wasn’t a veiled “cite my work!” request. It was “maybe this is helpful for what you are working on” observation.)

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTime16 hours ago

    Ah, thanks, I had missed that Prop. 14.13 in FHT.

    Okay, there is now a Remark 3.46 on this point, in the pdf linked to here.