Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum 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 set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 28th 2019
   • (edited Oct 28th 2019)
   • PermaLink
   Author: Urs
   Format: MarkdownItexPlease excuse me for a basic topology question: What's the homotopy type of the homotopy pushout $$S^3 \underset{S^3 \times S^1}{\sqcup} S^1$$ induced by the two projection maps, hence of the ordinary pushout $$S^3 \times \mathbb{D}^2 \underset{S^3 \times S^1}{\sqcup} \mathbb{D}^4 \times S^1$$ induced by the boundary inclusions?

   Please excuse me for a basic topology question:

   What’s the homotopy type of the homotopy pushout

   $$S^3 \underset{S^3 \times S^1}{\sqcup} S^1$$

   induced by the two projection maps,

   hence of the ordinary pushout

   $$S^3 \times \mathbb{D}^2 \underset{S^3 \times S^1}{\sqcup} \mathbb{D}^4 \times S^1$$

   induced by the boundary inclusions?

2. • CommentRowNumber2.
   • CommentAuthorDylan Wilson
   • CommentTimeOct 28th 2019
   • PermaLink
   Author: Dylan Wilson
   Format: TextThis is the join, so it'll be S^5

   This is the join, so it'll be S^5
3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeOct 28th 2019
   • (edited Oct 28th 2019)
   • PermaLink
   Author: Urs
   Format: MarkdownItexAh, right. Thanks! (and our pages on joins need some improvement, too...)

   Ah, right. Thanks!

   (and our pages on joins need some improvement, too…)

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeOct 28th 2019
   • (edited Oct 28th 2019)
   • PermaLink
   Author: Urs
   Format: MarkdownItexLet me try to say something more interesting: I was trying to see if an unordered configuration space of points could be realized as a mapping space. I'll write $Conf(\Sigma, A)$ for the space of un-ordered configurations of points in $\Sigma$ with labels in the pointed space $A$. Now a cyclically ordered configuration in $S^3$ should equivalently be a element in the fiber product $Conf(S^3, S^1) \times_{Conf(S^3\times S^1, \emptyset)} Conf(S^1, S^3)$. [edit: yeah, there is a problem with this fiber product] I was trying to guess that this is essentially equivalent to the maps into $S^4$ out of that join of $S^3$ with $S^1$. But this must be wrong. Hm...

   Let me try to say something more interesting:

   I was trying to see if an unordered configuration space of points could be realized as a mapping space.

   I’ll write $Conf(\Sigma, A)$ for the space of un-ordered configurations of points in $\Sigma$ with labels in the pointed space $A$.

   Now a cyclically ordered configuration in $S^3$ should equivalently be a element in the fiber product $Conf(S^3, S^1) \times_{Conf(S^3\times S^1, \emptyset)} Conf(S^1, S^3)$.

   [edit: yeah, there is a problem with this fiber product]

   I was trying to guess that this is essentially equivalent to the maps into $S^4$ out of that join of $S^3$ with $S^1$. But this must be wrong. Hm…