Skip to main content
Chris Schommer-Pries's user avatar
Chris Schommer-Pries's user avatar
Chris Schommer-Pries's user avatar
Chris Schommer-Pries
  • Member for 15 years, 2 months
  • Last seen this week
  • Notre Dame, IN, United States
awarded
awarded
awarded
Loading…
awarded
awarded
awarded
awarded
comment
Characterization of the homotopy type of the $C^\infty$ topology
What if you define a topology like the Whitney C^infty topology, but instead of the usual topology on the jet bundles, every fiber above dimension 1 has the indiscrete topology. Then this defines a courser topology than the usual one. To me it looks like it still gives a homotopy equivalence from embeddings to the frame bundle (since that part of the topology is preserved).
comment
Is the singular simplicial complex functor $\operatorname{Sing}_\bullet:\operatorname{Top} \to \operatorname{sSets}$ fully faithful for nice spaces?
This will almost never be the case. For example it fails even for $X = Y = \mathbb{R}$. What class of "nice" spaces excludes the real line?
comment
The second stable homotopy group
@AchimKrause what happens if you attach a 3-cell to $\Omega S^2 \wedge S^2$ by $(h, 2)$ where "h" is the adjoint of the hopf map. This is an unstable analog of what you suggest. Does it split in this case?
awarded
awarded
awarded
Loading…
comment
Rectifying diagrams of $\infty$-categories
Do want to allow any restrictions on C? For example can we assume that C is strict? or suitably "cofibrant"?
awarded
awarded
comment
Commutative Frobenius algebra with non-invertible window element, but not square zero
@WillSawin If by product you mean tensor product, then the resulting window element will still square to zero. If you meant direct product/sum, then you can do that but it is not so interesting since the algebra is decomposable.
1
2
3 4 5
57