Questions tagged [homotopy-theory]

Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.

Filter by
Sorted by
Tagged with
3 votes
2 answers
509 views

Weak homotopy equivalence between $\Omega \underset{\rightarrow}{\lim}Z_n$ and $\underset{\rightarrow}{\lim}\Omega Z_n$

Let $Z_1 \rightarrow Z_2 \rightarrow\cdots$ be an arbitrary sequence of CW-complexes and let $\Omega X$ denote the loop space over $X$. In Allen Hatcher's "Algebraic Topology" (http://pi.math.cornell....
Bargabbiati's user avatar
9 votes
2 answers
373 views

Do finite simplicial sets jointly detect isomorphisms in the homotopy category? [duplicate]

Let $\mathcal{H}$ denote the homotopy category associated with the Kan-Quillen model structure on $\mathbf{sSet}$. Suppose we have a map $f\colon X \to Y$ between Kan complexes, such that for every ...
Edoardo Lanari's user avatar
10 votes
2 answers
2k views

Sphere spectrum, Character dual and Anderson dual

The homotopy groups of the sphere spectrum are the stable homotopy groups of spheres. However, could you help me to appreciate the mathematical meanings of the following: What is the significance of ...
wonderich's user avatar
  • 10.3k
1 vote
0 answers
94 views

Axiomatization of the shuffle decomposition

I am trying to figure out an axiomatization for Reedy categories such that the product of representables admits a shuffle decomposition. Cisinski suggested imposing a condition, which we will state ...
Harry Gindi's user avatar
  • 19.4k
7 votes
1 answer
460 views

Commutativity up to homotopy implies strict commutativity, for lifting problems

Suppose we have a commutative diagram $\require{AMScd}$ \begin{CD} A @>>> X \\ @VVV & @VVV \\ W @>>> Y\\ \end{CD} where the map $A\rightarrow W$ is a cofibration and the ...
Diego95's user avatar
  • 511
18 votes
1 answer
561 views

Milnor Conjecture on Lie groups for Morava K-theory

A conjecture by Milnor state that if $G$ is a Lie group, then the map $B(G^{disc})\to BG$ sending the classifying space of $G$ endowed with the discrete topology to the classifying space of the ...
S. carmeli's user avatar
  • 4,064
5 votes
0 answers
651 views

Questions about obstruction theory (Hatcher's book)

I'm actually studying obstruction theory as presented in the last section of chapter $4$ of the book Algebraic Topology by Allen Hatcher. He first finds condition so that a space $X$ admits a ...
Diego95's user avatar
  • 511
3 votes
1 answer
488 views

A question on eversion of (odd) spheres

At the right column of the page 654 of the paper, R. Palais, The Visualization of Mathematics: Towards a mathematical Exploratorium, Notice AMS it is written "There can be no eversion of ...
Ali Taghavi's user avatar
4 votes
0 answers
108 views

Is there a simple algebraic setup to accomodate fibres and cofibres at the same time?

If I understand it correctly, there are two mutually dual "leading principles" in homotopy theory: never perform quotients, add structure instead; never require subobjects, take fibres instead. ...
მამუკა ჯიბლაძე's user avatar
7 votes
2 answers
447 views

Critical points and high homotopy groups

Is there any known or interesting relation between critical points (possibly degenerate, or maybe only nondegenerate) of a function on a manifold and generators/relations of high homotopy groups? I ...
Andrej Luzhin's user avatar
2 votes
0 answers
72 views

sub relative cell complex

This is a question concerning the proposition 11.4.8 of P.Hirschhorn's book Model categories and their localizations. The proposition 11.4.8 is an analogous, in my opinion, to the well known ...
user12580's user avatar
  • 121
3 votes
1 answer
122 views

Naturality of minimal model of a fibre bundle

$\require{AMScd}$ For rational fibrations $F \rightarrow E \rightarrow B$, we have a nice description in terms of sullivan minimal models, namely a commutative diagram of cdga's $$ \begin{CD} ...
ort96's user avatar
  • 394
9 votes
0 answers
313 views

Dualizable objects in homotopy category of chain complexes

The proposition 1.9 from "Duality, Trace and Transfer" by Dold and Puppe states that: Given a commutative ring $R$, a chain complex of $R$-modules is strongly dualizable in $Ho(Ch(R))$, the homotopy ...
user avatar
9 votes
0 answers
317 views

Is there a citeable source for generators and relations of simplicial sets?

Simplicial sets can be specified using generators and relations, in complete analogy with groups, rings, etc. More precisely, a system of generators of relations for a simplicial set consists of a ...
Dmitri Pavlov's user avatar
8 votes
0 answers
294 views

"Complementarity" between homotopy and cohomology [duplicate]

I was browsing MO and I have stumbled upon this answer which discusses why we should expect homotopy groups of spheres to be complicated. One heuristic argument given is that "the theory needs to ...
Wojowu's user avatar
  • 27.4k
11 votes
0 answers
154 views

Known obstruction for efficient computation of Stable homotopy groups?

Computation of stable homotopy groups (for example of sphere) is hard, but still, not as hard as unstable ones. For unstable homotopy groups there are some results showing that there cannot be ...
Simon Henry's user avatar
  • 39.9k
5 votes
1 answer
292 views

Conceptual and practical reasons and consequences of inverting weak equivalences

Although dealing with this in one or other form for many years, to my shame this question only struck me now. One of the most radical differences between categories of "algebraic" and "...
მამუკა ჯიბლაძე's user avatar
8 votes
0 answers
313 views

Did the Goerss-Hopkins manuscript "Multiplicative stable homotopy theory" ever appear?

A citation to "M. J. Hopkins and P. Goerss, Multiplicative stable homotopy theory, unpublished manuscript, 1996" appears in the Hill, Hopkins, Ravenel Annals paper on the Kervaire invariant. It was ...
David White's user avatar
  • 29.4k
16 votes
1 answer
852 views

Is there an explicit Dold-Thom theorem?

The Dold-Thom theorem tells us that we can recover the reduced homology of a pointed space $(X,x)$ via taking homotopy groups of the symmetric product: $$\pi_i(\mathrm{Sym}^{\infty}(X,x)) \cong H_i(X,...
dvitek's user avatar
  • 1,691
18 votes
1 answer
381 views

What is the group completion of finite sets with respect to cartesian product?

Let $\Sigma_+$ be the groupoid of finite pointed sets. The Barratt-Priddy-Quillen theorem tells us that the group completion of $\Sigma_+$ with respect to the symmetric monoidal structure given by ...
Tim Campion's user avatar
  • 60.6k
6 votes
0 answers
230 views

About a zig-zag of Quillen adjunctions

I have the following situation: Three combinatorial model categories $\mathcal{K}_1, \mathcal{K}_2, \mathcal{K}_3$ such that all objects are fibrant (so no need to bother with the fibrant ...
Philippe Gaucher's user avatar
8 votes
0 answers
119 views

Explicit data for $E_n$-monoidal model and simplicial categories

The definition of a monoidal model category requires that the tensor product is biclosed (such is needed to ensure that the tensor product is derivable in both variables). Obviously, in the situation ...
Harry Gindi's user avatar
  • 19.4k
3 votes
1 answer
445 views

Motivation for classifying vector bundles

The statement I am familiar with regarding classification of vector bundles is : Given a paracompact space $X$. The set of isomorphism classes of rank $n$ vector bundles over $X$ is in bijective ...
Praphulla Koushik's user avatar
4 votes
1 answer
324 views

Simplicial model categories and simplicial equivalence

Let $M$ and $N$ two very nice simplicial model categories and let $F:N\rightarrow M$ be a (nice) simplicial functor which induces an equivalence of homotopy categories, i.e. $Ho(F): Ho(N)\rightarrow ...
Let's user avatar
  • 511
3 votes
1 answer
718 views

Homotopy of paths at the boundary

Denote by $\Gamma$ a hypersurface in $\mathbb{C}^2$, i.e. the zero locus of a polynomial of two complex variables. Denote by $X$ the complement of $\Gamma$ in $\mathbb{C}^2$. I am trying to define a ...
Curiosity's user avatar
  • 293
8 votes
2 answers
678 views

Connectivity of suspension-loop adjunction

Let $X$ be a $k$-connected spectrum for $k \in \Bbb{Z}$. I want to deduce how connected the counit of $(\Sigma^\infty, \Omega^\infty)$- adjunction is, that is, how connected is the map $$ \Sigma^\...
Niall Taggart's user avatar
6 votes
0 answers
600 views

Quotient space, a fundamental group, and higher homotopy groups 2

Previously, I ask for comments/suggestions on setting up the calculation in Quotient space, homogeneous space, and higher homotopy groups. There, however, I was looking for whatever methods and tools ...
wonderich's user avatar
  • 10.3k
4 votes
1 answer
432 views

detecting weak equivalences in a simplicial model category II

The question is related to the question: detecting weak equivalences in a simplicial model category Suppose that we have a simplicial model category $M$ and denote by $M^{f}$ the full simplicial ...
Let's user avatar
  • 511
3 votes
0 answers
835 views

Non-Abelian fundamental group? --- a bizarre example

For the quotient space $G=G_0/G_1$, knowing the homotopy groups of $G_0$ and $G_1$, one can determine homotopy groups from the long exact sequence $$ ... \to \pi_n(G_1) \to \pi_n(G_0) \to \...
wonderich's user avatar
  • 10.3k
2 votes
0 answers
100 views

Bar construction and space of homotopy invariant functionals

I am introducing myself to the topic of iterated integrals using these notes http://www.ihes.fr/%7Ebrown/ColombiaNotes7.pdf On pag 22 is defined the following operator $$ D : (X^1)^n \to (\mathcal{A}...
giulio bullsaver's user avatar
4 votes
1 answer
255 views

A question about Wall's construction for CW-complexes

‎For a given map $\phi‎ :‎X\longrightarrow Y$‎, ‎the mapping cylinder of $\phi$ is defined by $M_{\phi}:=Y\bigcup_{\phi} (X \times \{ 1\})$‎. ‎Denote $\pi_n (M_{\phi},X \times \{ 1\} )$ by $\pi_n (\...
M.Ramana's user avatar
  • 1,172
3 votes
0 answers
854 views

Quotient space, homogeneous space, and higher homotopy groups

Preparation and my input: For the quotient space $G/H$, knowing the homotopy groups of $G$ and $H$ one can determine homotopy groups from the long exact sequence $$ ... \to \pi_n(H) \to \pi_n(G) ...
wonderich's user avatar
  • 10.3k
0 votes
1 answer
179 views

detecting weak equivalences in a simplicial model category

Suppose that we have a simplicial model category $M$. The simplicial enrichment will be denoted by $map_{M}$. Let $f:A\rightarrow B$ be a morphism in the category $M$ such that $A$ is cofibrant. ...
Let's user avatar
  • 511
5 votes
1 answer
646 views

Localization of a model category

Let $M$ be a very nice model category (cofibrantly generated, combinatorial or cellular and left proper simplicial model category). Let $f: X\rightarrow Y$ and $g: X\rightarrow Z $ be two morphisms ...
Let's user avatar
  • 511
4 votes
1 answer
155 views

Are the fibrations between $\mathbb{A}^{1}$-local objects $\mathbb{A}^{1}$-fibration?

Let $S$ be Noetherian scheme and $(Sm/S)_{Nis}$ is the Nisnevich site of smooth schemes over $S$. The category of simplicial sheaves on $(Sm/S)_{Nis}$ is denoted $Spc(S)$ and this category has two ...
masa M's user avatar
  • 141
3 votes
0 answers
82 views

Reference Request: Equivariant Symplectic bordism

Non-equivariantly, symplectic bordism has been developed extensively by Ray, Gorbunov, and specially S. Kochman in this memoir: http://dx.doi.org/10.1090/memo/0496 Yet the coefficients ...
Nicolas Boerger's user avatar
13 votes
3 answers
1k views

$(\infty,1)$ 2d TFTs

2d topological field theories $Z : \mathrm{Cob}(2) \to \mathrm{Vect}$ are classified by commutative Frobenius algebras. What can be said about $(\infty,1)$ 2d TFTs $Z: \mathrm{Cob}(2) \to \mathcal{S}$...
Lukas Woike's user avatar
  • 1,372
3 votes
2 answers
256 views

Excellent monoidal model categories admit enriched fibrant replacement functors?

Let $\mathbf{S}$ be an excellent model category in which all objects are cofibrant, viewed as an $\mathbf{S}$-enriched category by its canonical self-enrichment. Then we know that there is an obvious ...
Harry Gindi's user avatar
  • 19.4k
2 votes
0 answers
130 views

Enriched homotopy colimit and space of paths

I work in the category of $\Delta$-generated spaces. Let $G$ be the group of strictly increasing continuous bijections from $[0,1]$ to itself (they necessarily take $0$ to $0$ and $1$ to $1$). I call ...
Philippe Gaucher's user avatar
7 votes
1 answer
291 views

Proposition in HTT on cofibrations of categories

Proposition A.3.3.9. in Higher Topos Theory is as follows: Let $S$ be an excellent model category and let $f:C\rightarrow C'$ be a cofibration of small $S$-enriched categories. Then (1) for every ...
dhy's user avatar
  • 5,888
2 votes
1 answer
223 views

Coefficient (or target) category for factorization homology

In the article "Factorization homology of topological manifolds" by Ayala and Francis, a symmetric monoidal $\infty$-category $\mathcal{V}$ is fixed as the target or coefficient category. This ...
Lukas Woike's user avatar
  • 1,372
2 votes
1 answer
105 views

Two model structures of some category

Let $\mathscr{C}$ be a category and $(W,C,F)=$(weak equivalence,cofibration,fibration) is some model structure of $\mathscr{C}$. Another model structure of $\mathscr{C}$, $(W_{S},C,F_{S})$ are called ...
masa M's user avatar
  • 141
1 vote
0 answers
60 views

Deformation sublevel sets of functions which preserve boundary

I'm interested in proving the following fact, which seems to naturally arise from gradient flow deformations, but appears to be a bit tricky. Consider a smooth family $$f_s : M \to \mathbb{R}, \quad ...
BrianT's user avatar
  • 1,197
7 votes
2 answers
720 views

What does it mean to say the first Goodwillie derivative of $TC$ is $THH$?

A paradox: Goodwillie calculus considers only finitary functors. $TC$ isn't finitary. Yet in some sense $\partial(TC) = \partial(K) = THH$ is the crux of the Dundas-Goodwillie-McCarthy theorem. (...
Tim Campion's user avatar
  • 60.6k
11 votes
1 answer
624 views

Homotopy orbits, spectra and infinite loop spaces

Let $X$ be an (naive) $O(n)$-spectrum (I'm choosing to work with orthogonal spectra). I've recently come across the following results, $$(S^{n-1} \wedge X)_{hO(n)} \simeq X_{hO(n-1)}$$ and $$\Omega^...
Niall Taggart's user avatar
7 votes
0 answers
242 views

Product-preserving fibrant replacement functor for the Joyal model structure

There are a few fibrant replacement functors for the Quillen model structure on simplicial sets that preserve finite cartesian products, namely $\operatorname{Ex}^\infty$ and $\operatorname{Sing}(|\...
Harry Gindi's user avatar
  • 19.4k
14 votes
0 answers
237 views

How many cells are needed in a simplicial structure of $\mathbb{S}^n$ to induce all of $\pi_n(\mathbb{S}^m)$

Serre proved, that for (allmost) all $n,m\in\mathbb{N}$ the homotopy groups $\pi_n(\mathbb{S}^m)$ are finite, so - using simplicial approximation - for $n, m$ fixed there is a finite cell ...
Takirion's user avatar
  • 549
11 votes
3 answers
803 views

Induced maps on homotopy groups by self maps of $\mathbb{CP}^n$

Let $f:\mathbb{S}^2\to \mathbb{S}^2$ with degree $d$. It is well known that the induced map $$f_\ast:\pi_3(\mathbb{S}^2)=\mathbb{Z}\to \pi_3(\mathbb{S}^2)=\mathbb{Z}$$ is given by multiplication by $...
Sigur's user avatar
  • 369
6 votes
1 answer
375 views

Deforming a section to a section without zeros

Let $M$ be an oriented manifold of dimension $n$. Suppose furthermore that $E$ is an oriented vector bundle of rank $n-1$ over $M$. Let $s$ be a section of $E$ transversal to the zero section in $E$. ...
Panagiotis Konstantis's user avatar
4 votes
0 answers
149 views

Simplicial homotopy groups - reference request

I am looking for a reference for the definition 2.6 in https://ncatlab.org/nlab/show/simplicial+homotopy+group, which states "The simplicial homotopy groups of any simplicial set, not necessarily Kan,...
IlaRossi's user avatar
  • 101

1
24 25
26
27 28
60