The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
3answers
742 views

Is there a homology theory that gives a *necessary and sufficient* condition for homotopy equivalence?

Is there a (non-Abelian) homology theory that realizes the following: Let $X,Y$ be manifolds with complexes $C(X),C(Y)$. Then $X$ and $Y$ are homotopy-equivalent if and only if $C(X)$ and $C(Y)$ ...
14
votes
3answers
1k views

Homology theory constructed in a homotopy-invariant way

Singular homology sends homotopic morphisms on equal morphisms and weakly equivalent spaces on isomorphic objects. So singular homology is in fact defined on the homotopy category of topological ...
22
votes
3answers
1k views

Are the higher homotopy groups of the Hawaiian earring trivial?

The fundamental group of the Hawaiian earring is very complicated, but since it's "1-dimensional" one might guess that the higher homotopy groups vanish. Do they? Since the Hawaiian earring does not ...
7
votes
0answers
187 views

I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...
11
votes
0answers
101 views

Besides F_q, for which rings R is K_i(R) completely known?

With the exception of finite fields and "trivial examples", which rings $R$ are such that Quillen's algebraic $K$ groups $K_i(R)$ are completely known for all $i\geq 0$? Here, by "trivial examples" ...
3
votes
1answer
218 views

sphere bundles over spheres

Localized at an odd prime there is a space $B_k$ which sits in a fibration $S^{2k+2p-3}\rightarrow B_k \rightarrow S^{2k-1}$ and has homology $H_{\ast}(B_k;\mathbb{Z}/p\mathbb{Z})\cong ...
22
votes
3answers
1k views

What is the algebraic geometry version of the spheres?

In topology the spheres $S^n$ are the "simplest" closed manifolds, and they are like "Dirac's delta at $n$" for (reduced) cohomology groups. Furthermore they are boundaries of the simplest compact ...
18
votes
2answers
1k views

Open Problems in Algebraic Topology and Homotopy Theory

Some time ago (I see it was initially written before 1999?) Mark Hovey assembled a list of open problems in algebraic topology. The list can be found here. Some of the problems I know about have been ...
2
votes
2answers
190 views

Infinite loop of a p-completed specta vs p-completion of infinite loop of the spectra

Assume that we have a connective spectrum $X$, and denote the $p$-completion of this spectrum in the sense of Bousfield by $X^{\wedge}_p$ (which is given by the function spectrum ...
4
votes
1answer
343 views

“monotone” homotopy?

This is a question about a concept that I call "monotone homotopy" which arises in a natural way in some topological situations. Let $X$ be a (bounded) metric space, $Y$ be a topological space and ...
3
votes
1answer
219 views

$T$-stable vs. $S^1$-stable motivic homotopy category: which sorts of transfers are available?

I would like to have some sort of transfers in motivic stable homotopy categories in order to adapt Voevodsky's split standard triple argument to cohomology theories that can be factorized through ...
98
votes
7answers
7k views

Proofs of Bott periodicity

K-theory sits in an intersection of a whole bunch of different fields, which has resulted in a huge variety of proof techniques for its basic results. For instance, here's a scattering of proofs of ...
15
votes
1answer
393 views

Does the holonomy map define a homomorphism $\pi_k(X)\to\pi_{k-1}(Hol(\nabla))$?

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...
1
vote
1answer
201 views

Possible homotopy-theoretical approach to Gauss-Bonnet

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...
6
votes
1answer
189 views

Are there models for homotopy colimits and limits of simplicial sets that generalize Kan's suspension and loop functors?

Consider the category C of pointed simplicial sets. The pair of functors X∈C↦X∧S¹∈C and Y∈C↦Map(S¹,Y)∈C models the suspension and loop functors on the underlying ∞-category of C. There is another ...
8
votes
1answer
299 views

Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...
6
votes
2answers
357 views

Homotopy Transfer Theorem for Differential Graded Associative Algebras

As in Algebra+Homotopy=Operad by Bruno Vallette, let $A$ with multiplication $\nu$ be a differential graded associative algebra equipped with degree +1 map $h$ and let $H$ be a chain complex such that ...
3
votes
0answers
126 views

Does the following first order approximation of the Kapranov-Vasserot infinitesimal loops still do any job?

Let $X$ be a scheme over, say, a field $k$. Let us denote $\mathrm{Spec}(k[\varepsilon])$ by $T$ and its (unique) $k$-point by $0\in T$. Call the first order infinitesimal cone $C_{T,0}(X)$ over $X$ ...
30
votes
6answers
3k views

Non-examples of model structures, that fail for subtle/surprising reasons?

An often-cited principle of good mathematical exposition is that a definition should always come with a few examples and a few non-examples to help the learner get an intuition for where the concept's ...
11
votes
1answer
345 views

What is the first interesting matric Toda bracket in the stable homotopy of the sphere?

Feel free to gloss ‘interesting’ as you see fit. One way: 1. What is the lowest degree matric Toda bracket in $\pi_\ast(S)$ that doesn't contain zero? By ‘degree’ I mean total homotopical ...
0
votes
2answers
248 views

(Homotopy) Y ENR and contractible subset implies Y is a retract

I'm trying to solve the following question: Suppose $Y \subset R^n$ is a Euclidean neighborhood retract. I want to prove that if $Y$ is contractible, then it is a retract of $R^n$.
1
vote
2answers
433 views

Are loop spaces of homotopically equivalent spaces homotopically equivalent? [closed]

Let $f:X \to Y$ be a homotopy equivalence of pointed topological spaces. Then, is the induced map of pointed loop spaces $\Omega (f): \Omega X \to \Omega Y$ a homotopy equivalence? Here, loop spaces ...
9
votes
2answers
506 views

Vector bundles on vector bundles

Are all vector bundles on a given vector bundle the pull back of a vector bundle on the base? In more detail: let $X$ be a space and $p:E\rightarrow X$ a vector bundle over $X$. Let $\iota: X ...
7
votes
1answer
199 views

Homotopy of localisations of colimits

Let $X_k$ be a family of spectra equipped with maps $f_k: X_k \to X_{k+1}$. If $Y$ is a compact object (such as a sphere), then I can compute homotopy classes of maps from $Y$ into the homotopy ...
1
vote
1answer
163 views

Is a 'join' of two cofibrations a cofibration?

I have encountered with following problem while I was learning homotopy theory. Let $A\rightarrow X$ and $B\rightarrow Y$ are cofibrations (in a good category). Is it true that a map $A\times ...
4
votes
1answer
417 views

Topological fundamental group of spec(R)

Let $R$ be a commutative ring with identity. Assume that $X = Spec(R)$ with the Zariski topology. When is this space path connected? And also we want to know the topological fundamental group of ...
0
votes
1answer
216 views

Computing the fundamental group of a flag variety

Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
2
votes
0answers
104 views

Homotopy limits of weak diagrams

This question is somehow related to my question at http://math.stackexchange.com/questions/683915/derived-pseudo-functor and to the question here: A homotopy commutative diagram that cannot be ...
5
votes
0answers
206 views

Embedding tower in low codimension

If $F$ is a suitably nice functor from manifolds to spaces, it has a degree $k$ "polynomial" approximation $T_k F$ in the sense of embedding calculus. We set $T_\infty F := \mathrm{holim} T_k F$. The ...
6
votes
1answer
244 views

Are constructible derived categories invariant up to weak homotopy equivalence?

Let $X$ and $Y$ be two topological spaces and $R$ be commutative ring. Let $D_c^b(X, R)$ and $D_c^b(Y,R)$ be their respective bounded derived categories of constructible sheaves of $R$-modules. I ...
0
votes
1answer
151 views

Homotopy limit of a cosimplicial category

Consider the usual model structure on Cat (category of small categories). Which are the fibrations of the injective model structure on the category of cosimplicial categories $Fun( \Delta ,Cat )$? ...
14
votes
2answers
701 views

nontrivial $\pi_2(Diff(M))$

Homotopy groups of Lie groups I asked it also there, and I still don't know the answer, so I try again. I would like to know a closed manifold (possibly of low dimension) such that ...
0
votes
0answers
62 views

Problem on infinite dimensional metric space, with rigidity assumption

By inspiring from this answer of S. Ivanov, here is a specialization with a rigidity assumption. Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying : ...
34
votes
2answers
899 views

Is there an analog of Sperner's lemma for the Hopf invariant?

Recall that Sperner's lemma is essentially a combinatorial version of the topological statement "A map from $S^n$ to $S^n$ with degree one cannot be nullhomotopic." My question is, does there exist ...
9
votes
0answers
488 views

Motivic derived algebraic geometry

In algebraic geometry one studies spaces locally modelled on commutative algebras, i.e. commutative algebra objects in the symmetric monoidal category Ab of abelian groups. Now supposedly in the ...
12
votes
2answers
530 views

Multisimplicial geometric realization

Does anyone know a reference or proof for the following? Let $k\geq 1$ and let $X$ be a space. There is a $k$-fold multisimplicial set whose simplices in degree $n_1,\ldots,n_k$ are the maps ...
13
votes
1answer
449 views

Adams' theorems on the Hopf-Whitehead J-homomorphism

The J-homomorphism is a well-known and classical map $\pi_n (O(k)) \to \pi_{n+k} (S^k)$, or after stabilizing with respect to $k$, a map $J_n:\pi_n (O) \to \pi_{n}^{st}$, from the stable homotopy of ...
20
votes
4answers
1k views

origin of spectral sequences in algebraic topology

I have the following somewhat vague question. I am not sure if it is appropriate for this forum, please feel free to close (or migrate to stackexchange). I have been "brought up" as an algebraic ...
9
votes
2answers
525 views

Configuration spaces and non homeomorphic vector bundles

Given two complex line bundles over the complex projective line ${\mathbb CP}^1$, prove or disprove that their total spaces are homeomorphic if and only if their Chern numbers are equal up to sign. ...
6
votes
1answer
266 views

Does there exist a model of chains on oriented manifolds with both a strict intersection pairing and strict functoriality for closed embeddings?

Let $M$ be a smooth oriented $n$-dimensional manifold. My favorite model of $\operatorname{Chains}_\bullet(M) \otimes \mathbb R$ is the space of smooth compactly-supported de Rham forms on $M$, ...
6
votes
1answer
785 views

Homotopy pullbacks of simplicial spaces, and Bousfield-Friedlander

Let $X_\bullet \longrightarrow Y_\bullet \longleftarrow Z_\bullet$ be a diagram of simplicial spaces (=bisimplicial sets, if you like). On p. 14-9 of these notes there is an example which shows that ...
7
votes
2answers
241 views

Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$. Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...
9
votes
1answer
200 views

Equivariant homotopy, simplicially

It is a classic result of Kan that the homotopy categories (with appropriate model structures) of simplicial sets and of topological spaces (in fact, one could only care about CW-complexes) are ...
1
vote
1answer
213 views

What's the relationship between B Aut(G) and B Aut(BG) for a (discrete) group G?

(Some of the notational choices I"m about to make might be iffy; I'm happy to take suggestions for improvements.) Let $G$ be a (discrete) group. Think of it as an object in the $2$-category of small ...
9
votes
1answer
310 views

Stable moduli interpretation of $\mathbb{R}\mathrm{P}^\infty_{-1}$

I attended a talk recently which closed with the following tantalizing facts: there is a naturally occurring map of spectra $$K(\mathbb{S}) \to \Sigma \mathbb{C}\mathrm{P}^\infty_{-1},$$ which can be ...
1
vote
0answers
61 views

What is a homotopy between bisimplicial maps

I originally posted it on stackexchange, but did not get any comments or answer, so I try my luck here. I am looking for the naive notion of homotopy. For maps $f, g: A\to B$ of simplicial sets ...
5
votes
2answers
687 views

Higher vanishing cycles

The generalisation of the vanishing cycle formalism in SGA 7 is apparently since the 1970's an issue, Morava mentioned a connection with Bousfield localization. I find the Morava's remarks ...
6
votes
3answers
288 views

classifying $\infty$-toposes for topological/localic groups?

Let $G$ be a locally compact topological group (or more generally a localic group). Is there an infinity topos which classify principal $G$ bundles ? More precisely, is there an $\infty$-topos $BG$ ...
3
votes
0answers
198 views

Homotopy category of groupoids

The nlab Ho(Cat) page says: morphisms in the homotopy category of groupoids $Ho(Gpd)$, have two equivalent description: iso-classes of functors. formally invert equivalence functors (i.e. ...
3
votes
1answer
149 views

Higher homotopy groups of a Zariski closed subset of $\mathbb C^n$

Suppose $V\subset \mathbb C^n$ is a Zariski closed subset. Is it true that the higher homotopy groups $\pi_i(\mathbb C^n-V)$ vanish for $0<i<$ some number depending on the codimension of $V$ in ...