Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
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.
8
votes
Accepted
Is Morava K-theory of a classifying space of a compact Lie group a Noetherian ring?
As in the paper Local Gorenstein duality in chromatic group cohomology by Pol and Williamson that Drew Heard pointed out, this can be proved by mimicking the proof of the Quillen--Venkov theorem. Howe …
3
votes
Accepted
Group completion of a monoid (braid groups)
This is explained in my paper "Group-Completion", local coefficient systems, and perfection, Q. J. Math. (Quillen Memorial Issue) 64 (3) (2013) 795-803. A sufficient condition is for the monoid to be …
3
votes
On the homological dimension of a Borel construction
I think $f: M /\!\!/ G \to B\Gamma$ cannot be nontrivial on $\mathbb{Q}$-(co)homology in degrees beyond the dimension of $M$, because I think one can find a factorisation
$$f_* : H_*(M /\!\!/ G ; \mat …
9
votes
Are finite $G$-spectra idempotent complete?
I think the correct setting to look at this question is that of
W. Lück, "Transformation groups and algebraic K-theory". Lecture Notes in Mathematics, 1408. Mathematica Gottingensis. Springer-Verlag, …
10
votes
Accepted
Homological stability and Waldhausen A-theory
I don't think that you can deduce homological stability of the coinvariants from the Serre spectral sequence as you suggest. But this precise situation was studied in my paper "An upper bound for the …
3
votes
Accepted
Density of compactly-supported homeomorphisms
I think this is true. It suffices to prove the
Lemma. Given an orientation-preserving homeomorphism $h$ of $\mathbb{R}^n$ there is a compactly-supported homeomorphsim $h_1$ which agrees with $h$ on th …
10
votes
0
answers
291
views
A certain semi-simplicial space
I would like to understand whether the following construction has been studied. Let me model the pointed sphere as $S^n = I^n / \partial I^n$, and let $\Omega^n (-) := map((I^n, \partial I^n), (-, *)) …
18
votes
Accepted
Is every ''group-completion'' map an acyclic map?
I think I have been able to reproduce the "argument by Wagoner" (perhaps it was removed from the published version?). It certainly holds in more generality that what I have written below, using the no …
11
votes
Accepted
Homotopy groups of Diffeomorphisms of punctured d-dim ball
Let me assume that you are interested in diffeomorphisms which also fix the boundary of the ball. If $F_n(D^d)$ denotes the space of $n$ distinct ordered points in $D^d$, then there is a fibration seq …
5
votes
Transfer map of simplicial sets
The statement is not true (in topological spaces or simplicial sets). The composition $f'' \cdot f'$ will only be multiplication by $d$ "up to higher Atiyah--Hirzebruch filtration".
For an explicit …
5
votes
Borel constructions, equivariant cohomology, and homotopy quotients of monoid actions.
This probably depends on your definition of homotopy colimit, but it you mean ``the geometric realisation of the simplicial replacement" then it seems to me that $X /\ \!/_h M$ is homeomorphic to $X \ …
6
votes
2
answers
2k
views
Transfer homomorphisms with coefficients
In group cohomology, for $H$ a finite-index subgroup of $G$ and $M$ a $G$-module, there is a transfer (or corestriction) map $Cor : H^* (H;M) \to H^*(G;M)$.
In homotopy theory, there is a transfer ma …
19
votes
Accepted
Product-like structures on spheres
Your condition determines the map $a_1 \vee a_2 : S^n \vee S^n \to S^n$ on the $n$-skeleton, so the question is when does this extend over the $2n$-cell of $S^n \times S^n$. The $2n$-cell is by defini …
9
votes
Accepted
Counterexamples for strengthening Whitehead's theorem?
It seems to me that the stronger statement is true. If $f$ is only an isomorphism on homotopy in degrees $* \leq n$ then the homotopy fibre $F$ is $(n-1)$-connected and its Hurewicz map is an isomorph …
16
votes
Accepted
Topological Grothendieck Construction
This is a standard irritation. The issue is that $Top$ is not a category internal to $Top$, because it doesn't have a space of objects (and I don't mean for set-theoretic reasons), so what do you mean …