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

Discussion Tag Cloud

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
    • CommentTimeNov 25th 2013

    created Amitsur complex

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeNov 25th 2013
    • (edited Nov 25th 2013)

    In modern generality, an Amitsur complex is associated to any coring with grouplike element, as explained in semifree dga. I suppose that Amitsur has treated mainly noncommutative rings: neither RR nor AA in Amitsur complex need be commutative.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 25th 2013

    Are you telling me, or are you warming up for editing the entry?

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeNov 25th 2013
    • (edited Nov 25th 2013)

    I am just reminding you in the case you are not aware or forgot of the entry.

    On the other hand, two yes, as I will work on this entry relatively soon (within 3-4 weeks) – I should resume my work with Tomasz on noncommutative principal bundles (in fact, special case of cleft Hopf-Galois extensions) over corings; I figured out a remaining obstacle recently and should rework the old ideas in the light of it. I however have a referee report for another paper to answer to and prepare for the Luxembourg conference before that (and 3-4 more things with deadline this or next week).

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 25th 2013

    added at Amitsur complex the proof of the exactness in low degree.

    • CommentRowNumber6.
    • CommentAuthorJon Beardsley
    • CommentTimeDec 7th 2014
    • (edited Dec 7th 2014)

    I’m a little confused about some of the notation in this entry. In particular, it claims that the Amitsur complex is the bar resolution associated to a monad. In my experience (and perhaps this is just linguistic confusion), we can associate a bar resolution to a comonad. For instance, for a group G, there is a comonad on G-mod associated to forgetting the G-module structure and then tensoring over Z with Z[G]. The usual bar resolution of a group is the simplicial construction associated to this comonad. In other words, the classical bar construction on G results from taking G as a G-module and constructing the cosimplicial resolution associated to this comonad.

    As I’m writing this, I’m starting to think we’re talking about the same thing, just in slightly different ways. For instance, given a comonad S:C–>C, we can construct a bar resolution of an arbitrary element of C. On the other hand, if we have a monad T:D–>D such that C is the category of T-algebras, then the bar construction in nlab terms, which requires a T-algebra to operate, is precisely the simplicial resolution we’ve described above. But this is perhaps a little confusing, since these ideas only really coincide in the case that we’re starting with a monadic functor (I think??).

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeDec 8th 2014
    • (edited Dec 8th 2014)

    Hi Jon,

    on the one hand, it seems to me that the terminology on the nnLab is really standard, on the other hand the entry on “bar construction” could well deserve to be expanded a good bit and might want to have discussion of these points that you mention.

    But likely I am missing your point. Maybe you could write down more details of what you are thinking of. (Here or in an nnLab entry.)

    • CommentRowNumber8.
    • CommentAuthorJon Beardsley
    • CommentTimeDec 8th 2014

    That’s a good point. I mean, yeah I think it may be true that that description of the bar construction is standard. It also seems to align with Lurie’s notion in chapter 5 of Higher Algebra, so that’s probably good. My main point is that from a comonad, one naturally obtains a simplicial resolution, and from a monad one naturally obtains a cosimplicial resolution. Neither of these take in as data an algebra or coalgebra structure. I’d like to add some things to that nlab entry, especially a bit about a general cobar construction, from a categorical point of view (i.e. less specific than bar and cobar construction). I’ll post something when I do..

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 8th 2014

    At any rate, I believe your reading is correct, that the bar resolution of a monad is (by definition) the simplicial object associated with the comonad on the category of algebras. Actually there is more than one relevant construction here, e.g.,

    • The induced simplicial object Δ op[Alg,Alg]\Delta^{op} \to [Alg, Alg] where the receiver is the endofunctor category on the category of algebras, or

    • The induced simplicial object Δ opAlg\Delta^{op} \to Alg obtained by evaluating the preceding endofunctor-valued simplicial thingy at a given algebra AA, producing a simplicial algebra (often singling out the case where AA is terminal or something similar), or

    • The simplicial object valued in the base category obtained by applying the forgetful (monadic) functor to the preceding construction; it is this construction which has a contracting homotopy involving decalage valued in the category.

    Then of course there is the extremely useful two-sided bar construction, which involves two actions of the monad, one left and one right.

    • CommentRowNumber10.
    • CommentAuthorJon Beardsley
    • CommentTimeDec 9th 2014

    Alright, I made canonical resolution. Please edit or modify as desired. As Todd indicates, there’s an enormous amount one could write on this immensely important idea.

    • CommentRowNumber11.
    • CommentAuthorJon Beardsley
    • CommentTimeDec 9th 2014

    I should mention that a reference that I can’t really put on there is a talk I had with Emily Riehl the other day, where she clarified a number of these more nagging ideas for me.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 9th 2014

    I can’t tell from what you’ve written whether you’ve absorbed the precise sense in which the bar construction does provide an acyclic simplicial resolution of an object equipped with a TT-algebra structure. This is for any category CC and any monad thereon. I wrote a blog post for the n-Category Café which describes how this works and the sense in which the bar construction is a universal resolution (see bar construction for a link to the blog post).

    • CommentRowNumber13.
    • CommentAuthorJon Beardsley
    • CommentTimeDec 9th 2014

    Sorry Todd. Yeah I think maybe I wasn’t thinking. I had some anxiety about saying it provides an acyclic resolution because I was thinking that I really needed a functor to some additive category to talk about not having higher cohomology groups. But I wasn’t thinking that the extra codegeneracy from the algebra structure is actually a contracting homotopy for the cosimplicial object in a real sense. Is that the right way to think about?

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 9th 2014

    The right way to think about it is essentially that it is the unit of the monad which provides a contracting homotopy. That is, if T nAT^n A is a typical component of the bar construction (this would be in dimension n1n-1, where T 0A=AT^0 A = A is the augmented component in dimension 1-1), then the homotopy takes the form

    uT nA:T nAT n+1Au T^n A : T^n A \to T^{n+1} A

    where u:IdTu: Id \to T is the unit, and this can be seen to contract the bar resolution as a simplicial object down to the constant simplicial object at AA. But it ought to be noted that this homotopy lives not at the level of simplicial algebras Δ opAlg\Delta^{op} \to Alg (inasmuch as uu isn’t an algebra map of course), but at the level of simplicial objects valued in whatever underlying category the monad acts on. A key word here is decalage.

    I’m in the process of writing this stuff up, as I didn’t know how to do diagrams well at the Café when I wrote that blog post.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeDec 9th 2014

    Jon, thanks for starting canonical resolution!

    Todd, looking forward to more of your writeup!

    Just one comment re #12, #13: of course whether some map is a resolution depends on the given choice of concept of weak equivalences and, depending on taste and context, also on a choice of concept of (co-)fibration, hence typically on the given choice of model structure on the category of simplicial objects. This might deserve some more discussion.

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 9th 2014

    Okay, I have been adding to bar construction, to flesh out these remarks. I’m not done yet though.

    Yes, you’re right Urs (and you too, Jon), and I should not have expressed myself quite so, how shall I say, apodictically in #12. But there is a very robust notion of acyclicity that I am working with here – I introduce a kind of nonce expression ’acyclic structure’ – namely a coalgebra over the decalage functor. It is robust in the sense that if a simplicial object X:Δ opCX: \Delta^{op} \to C carries such a coalgebra structure, then so does GXG X for any functor G:CCG: C \to C'. For example, even if there is no given model structure on the category [Δ op,C][\Delta^{op}, C], under any functor G:CSetG: C \to Set the simplicial set GXG X is a decalage coalgebra and is thus automatically acyclic in the standard model structure on simplicial sets (where fibrations are maps satisfying the horn-filler conditions, etc.). So that’s what I should have said earlier, to be clear.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeDec 9th 2014

    Thanks!

    I have made “monoidal functor” into “strong monoidal functor”, to stick with the convention at monoidal functor. Okay?

    • CommentRowNumber18.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 9th 2014

    Absolutely, Urs; thanks.

    • CommentRowNumber19.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 10th 2014

    So I’ve put up more material at bar construction, up to stating the universal property of the bar construction (which I’ve not seen elsewhere in print, except for that blog). At some point I’ll write up the proof (which can also be found here).

    • CommentRowNumber20.
    • CommentAuthorDavidRoberts
    • CommentTimeDec 11th 2014

    May I point out my note The universal simplicial bundle is a simplicial group? Possibly relevant here.

    • CommentRowNumber21.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 11th 2014

    David, please by all means edit in reference to your paper in whatever way you deem best!

    • CommentRowNumber22.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 16th 2014

    I have finished inserting a very detailed proof of the stated universal property of the bar construction. (Too detailed? If so, I can port a chunk of it over to my personal web and link to it there.)

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeDec 16th 2014

    Thanks, impressive!

    I would say the proof may easily stay where it is.

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 1st 2018
    • (edited Oct 1st 2018)

    Having hit the ’all pages’ tab by mistake, I was surprised to find an entry beginning with ’A’ first when there are non-alphabetic entries to proceed it. It turns out someone set up +Amitsur-Martindale ring of quotient with a ’+’ in front. It also turns out to be empty. Scrap it, or rename it and add something?

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2018
    • (edited Oct 1st 2018)

    Since it’s a thing, no need to scrap it. But I added a pointer to eom, and made some redirects, now at Martindale ring of quotients