Skip to main content
David Carchedi's user avatar
David Carchedi's user avatar
David Carchedi's user avatar
David Carchedi
  • Member for 14 years, 9 months
  • Last seen more than 4 years ago
comment
Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)
Thanks for your answer Anton. I don't understand your argument however. Do you mind being a bit pedantic for me and spelling it out? So, from what you wrote, the space of self-maps of $K(A,n)$ in pointed spaces is equivalent to the discrete set $End(A).$ How do I go from here to concluding that we have the semi-direct product decomposition I'm after of the entire automorphism space?
revised
Loading…
awarded
comment
Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)
I see how both parts act. My question is how do we see this is everything?
Loading…
comment
Geometric morphism of $\infty$ topos
The particular case you care about is covered by the fact that $Shv(C/c)\simeq Shv(C)/y(c),$ where $y$ is the Yoneda embedding. With this insight, the geometric morphism you seek IS in HTT; it's an etale geometric morphism. The fact I claimed is Proposition 2.2.1 here: arxiv.org/abs/1312.2204
awarded
accepted
awarded
awarded
comment
Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex?
I removed my answer since I misread something in Higher Algebra.
comment
Do complex schemes locally deformation retract onto closed subschemes in the analytic topology?
Thanks for the comments. I'm having trouble tracking down exactly which paper this occurs in. Any idea the title? Thanks again!
Loading…
Loading…
Loading…
comment
Homotopy types of schemes
@Sam: Thanks for pointing this out. I had even glanced at that paper earlier this year but had forgotten. It's reasonable to expect from this that non-seperated schemes over $\mathbb{C}$, even if of finite type, my fail to have the homotopy type of a finite CW-complex. However, the example you give turns out to be a $K(\mathbb{Z},1),$ so the question still remains if 2.) holds...
asked
Loading…
asked
Loading…
1
4 5
6
7 8
57