Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 25 of 25
I have split off effective epimorphism in an (infinity,1)-category from effective epimorphism and polished and expanded slightly.
I have made at effective epimorphism in an (infinity,1)-category the characterization in an infinity-topos by “induces epi on connected components” more explicit.
This was in reaction to an MO question “What is the homotopy colimit of the Cech nerve as a bi-simplical set? “. However, when I was done compiling my reply, the question had been deleted, it seems.
The question seems to be on math.stackexchange still.
Ah, thanks!
You give an excellent reply there. I have just added a comment now on where to find this in Lurie’s book with a pointer to the above entry.
I wish I wrote that reply, but I'm afraid that was Akhil (\ne Adeel!) ;)
Oh, sorry. I should be paying more attention, that’s embarrassing. Sorry for the confusion.
But anyway, thanks for the pointer!
I added a remark, taken from an answer of David Carchedi on MO, about effective epimorphisms in sheaf toposes.
I recently had to be told that effective epimorphisms in the -category of spaces need not be epimorphisms. Perhaps a red herring principle warning is in order.
Yes, that’s actually already true in the (2,1)-category of groupoids. (Although I can’t remember whether I’ve ever heard someone use “epimorphism” to mean “monomorphism in the opposite category” for 2-categories or (∞,1)-categories.) Feel free to add.
I added some remarks to that effect.
I guess your example in 1-groupoids is ?
Can we have some concrete statement other than ’it’s not true’? Or rather, what definition of ’epimorphism’ are you using?
I have moved Zhen Lin’s addition to a numbered example and added a hyperlink to epimorphism in an (infinity,1)-category in order to clarify what is meant. Also added more cross-links there.
This concept of epimorphism in an -category is rarely used, isn’t it.
It does seem rarely used, though there are some nifty examples:
A map of commutative ring spectra is an epimorphism iff is smashing over , i.e., if .
A map between connected spaces is an epimorphism iff is formed via a Quillen-plus construction from a perfect normal subgroup of .
I sometimes try to find useful criteria for “epimorphism” in other settings. It’s usually pretty hard.
A map of commutative ring spectra is an epimorphism iff is smashing over , i.e., if .
Isn’t it true that in any category admitting fibred coproducts, is an epimorphism iff the codiagonal morphism is an isomorphism (and dually for monomorphisms)? Is the same true for -categories? (The above would then just be a special case of this.)
That’s right. That is why suspension shows up in the (counter)example: for a space , is an epimorphism in the -category of spaces if and only if the (unreduced) suspension is contractible. More generally, it seems to me that is an epimorphism in the -category of spaces if and only if its homotopy fibres are spaces with contractible suspension.
Of course. The interesting feature of the commutative ring case is that the pushout is computed as a smash/tensor product, so whether is an epimorphism of rings can be detected without appealing to the ring structures, and merely depends on as an -module.
It goes the other way, of course: if is a commutative ring and is a map of -modules such that is an equivalence, then is uniquely a commutative -algebra, and an epimorphism.
Another amusing fact: you can define a “Quillen plus-construction” of a commutative ring spectrum , in complete analogy with the construction for spaces. Instead of killing a perfect subgroup of the fundamental group, the input data is a “perfect ideal” in the homotopy category of compact -modules. All homotopy epimorphisms of commutative rings can be obtained this way.
People have discussed plus-constructions in other contexts (dg Lie algebras, for instance). These should probably give other examples of epimorphisms.
Is there a general -categorical notion of “plus construction”?
I don’t know. By “plus construction”, I (approximately) mean a two step process where you (1) kill some stuff by introducing some “relations” , then (2) kill some more stuff by introducing some “higher relations” , where “relations” and “higher relations” are indexed by the same . Furthermore, each “higher relation” should correspond to some kind of “redundancy” inherent in killing the “relations”.
For instance, given a space and a subgroup generated by commutators of loops representing elements of , step (1) is: attach a 2-cell along each , obtaining a space , while step (2) is: attach a 3-cell along the 2-sphere in whose southern hemisphere is , and whose northern hemisphere is , built from choices of null-homotopies of the loops (which exist in exactly because is generated by commutators).
The resulting map is an epimorphism.
Proof: The construction depends on the collection of choices (assume fixed indexing set ), which themselves form a space , and the plus-construction depends “continuously” on . If and are themselves null-homotopic, then you can connect to (all constant maps) by a path in , and it’s clear that the plus-construction built from admits a deformation retraction, from which we conclude that is an equivalence when are trivial in .
Next note that if is a map, then the pushout along of a plus construction built from an is a map which is itself a plus-construction built from . It is clear that the plus construction map kills the elements , so the pushout of along itself must be an equivalence.
I don’t know too many other examples of this type of thing.
Very cool! I bet this has a nice formalization using HITs. However I don’t quite follow this bit:
If and are themselves null-homotopic, then you can connect to (all constant maps) by a path in .
I see that you can connect to something of the form , but the constant loop can be nullhomotopic in a nontrivial way, so how do you know that and are also trivial?
Whoops. I don’t. The real argument is: if , the map on the “northern hemisphere” factors through a map , which is null homotopic because is abelian.
I wonder if comments 13-21 in this thread could be moved to a discussion thread for epimorphism in an (infinity,1)-category.
You can put a link.
1 to 25 of 25