The tag has no wiki summary.

learn more… | top users | synonyms

20
votes
4answers
841 views

Is the space of diffeomorphisms homotopy equivalent to a CW-complex?

Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my question below with $k=1$ ...
9
votes
2answers
825 views

Status of Beilinson conjectures?

(I hesitate to post that question here, but I received on answer on FB:) Does anyone know how the current status of work on them is? And how the possible generalizations etc. which one thinks ...
1
vote
1answer
217 views

Top - Model structures

There are three well known model structures in the category of spaces - the Quillen's structure, the Strom's structure and the mixed structure. I was wondering if there is some other nice structures. ...
2
votes
1answer
223 views

Path components of a monoidal category acting on homology

Let $S$ be a (small) symmetric monoidal category and $X$ a (small) category on which $S$ acts. $\pi_0(S) = \pi_0(BS)$ is naturally an abelian monoid, with $[A] + [B] := [A+B]$, where $[A]$ denotes ...
1
vote
0answers
138 views

Homotopy colimits over a certain subset category.

Hi! Let $I$ denote all the finite subsets of some set (infinite or finite) S. For each n, let $I_n$ be the subset consisting of objects of cardinality n, so that there are no morphisms between the ...
13
votes
1answer
471 views

Units of MO and MU

Real (or complex) cobordism is described by a symmetric ring spectrum MO (or MU respectively) as explained in examples 2.8 and 2.9 here. Associated to such a ring spectrum $R$, we have a unit spectrum ...
0
votes
1answer
171 views

Orientation preserving self-homotopy equivalences of the 2-sphere

According to this question, Hansen proved that the space $\mathrm{Aut}_0(\mathbb{S}^2)$ of orientation preserving self-homotopy equivalences of the 2-sphere is homotopy equivalent to ...
4
votes
1answer
427 views

Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?

This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation. Recall that every space (or ∞-groupoid) can be ...
21
votes
1answer
697 views

Is there a general theory of fiber theorems?

Here are three vague theorems rolled up in one. Let $X$ and $Y$ be sufficiently nice topological spaces and $f:X \to Y$ a sufficiently nice surjection. If for each $y \in Y$, the fiber $f^{-1}(y) ...
7
votes
2answers
236 views

Can one compare monads arising from homotopy equivalent adjunctions?

Suppose we have a Quillen adjunction $L\colon {\mathcal C} \leftrightarrow {\mathcal D}: R$. For convenience let us assume that all objects of $\mathcal C$ are cofibrant and all objects of $\mathcal ...
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 ...
2
votes
2answers
210 views

Simplicial space whose all face/degeneracy maps are homotopy equivalences

I believe that the following is true, but I cannot find a proof. Let $X_\bullet$ be a simplicial topological space (I can add that my $X_\bullet$ comes from a bisimplicial set, so the spaces $X_n$ are ...
9
votes
2answers
730 views

Applications of topological chiral homology and factorization algebras (aka higher Hochschild cohomology)

I recently heard a talk about these topics and found them very interesting. The talk was centered on the formal structure and didn't really focus on examples. So my question is: what is your favorite ...
1
vote
1answer
201 views

Defining Transfers Algebraically

I was trying to understand group (co)homology from a homological algebra point of view. Namely, given a group, $G$, one considers the category of (left) $\mathbb{Z}[G]$-modules, ...
4
votes
1answer
293 views

Mayer-Vietoris sequence in homology with local coefficients

Background. I'm trying to compute some homology groups using a Mayer-Vietoris argument, but I really need local coefficients. Question 1. What does the Mayer-Vietoris sequence look like when using ...
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 ...
7
votes
1answer
317 views

A formal group law over oriented bordism

My question is related to the following question by Mark Grant here on math overflow: Formal group law of unoriented cobordism There it is stated that $MO_*$ has a formal group law $F_0$, universal ...
7
votes
3answers
327 views

When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...
1
vote
3answers
342 views

Explicit model of BSU(2) in terms of singular complex

What is the explicit model of BSU(2) in terms of singular complex, up to 5 dimensions, so that one can compute $\pi_5(BSU(2))=\mathbb{Z}_2$ explicitly? This question is related to another question of ...
19
votes
4answers
890 views

The role of ANR in modern topology

Absolute neighborhood retracts (ANRs) are topological spaces $X$ which, whenever $i\colon X\to Y$ is an embedding into a normal topological space $Y$, there exists a neighborhood $U$ of $i(X)$ in $Y$ ...
1
vote
0answers
163 views

Simplicial localisation and infinity categories

If $(\mathcal{C},W)$ is a category with weak equivalences then we may naturally form its Dwyer-Kan simplicial localisation $L(\mathcal{C}, W)$. This is a simplicial category which naturally gives a ...
2
votes
2answers
245 views

Homotopy Equivalences and Induced Correspondences between Fibre Bundles

Suppose that $f:X\rightarrow Y$ is a homotopy equivalence of manifolds. Given a manifold $F$, the pullback construction for $f$ yields a correspondence between isomorphism classes of fibre bundles ...
5
votes
1answer
302 views

First mention of the fundamental bigroupoid of a space?

The fundamental bigroupoid $\Pi_2(X)$ of a space $X$ was independently described by Hardie, Kamps and Kieboom (paywall) and Stevenson (arXiv) around the year 2000. HKK cite Baez-Dolan's seminal HDA0, ...
11
votes
1answer
274 views

On the stable splitting of loops on a suspension

Let $X$ be a connected, based CW complex. Then the James splitting of $\Sigma\Omega\Sigma X$ gives, in particular, a weak equivalence of spectra $$ \Sigma^{\infty} \Omega\Sigma X_+ \quad \simeq \quad ...
1
vote
2answers
288 views

Cech cohomology as a colimit over maps to a CW complex

Given a topological space $X$, we consider the following category $\mathsf{CW}_{X\to}$. The objects are finite CW complexes $Y$ equipped with a continuous map $X\to Y$. The morphisms are continuous ...
2
votes
1answer
234 views

Non-commutativity of certain Hopf spaces

How do one prove (or disprove) that $\Omega S^{2}$ and $\Omega(S^{2} \vee S^{2})$ are non commutative Hopf spaces? I thought this is a question for math.stackexchange, but not many people even viewed ...
6
votes
2answers
274 views

realization of maps between classifying spaces of categories

The classifying space $B\mathcal{C}$ of a small category $\mathcal{C}$ is by definition the geometric realization of the nerve of $\mathcal{C}$. Now let $\mathcal{C}_1$ and $\mathcal{C}_2$ be two ...
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 ...
7
votes
0answers
143 views

Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting? ...
3
votes
1answer
197 views

Cohomology of Projective Classical Lie Groups

Let $G$ be a compact, connected, simply-connected Lie group with centre $Z(G)$, and consider the Lie group $G/Z(G)$. I believe that for $G$ a classical group, the Lie group $G/Z(G)$ is sometimes ...
3
votes
0answers
168 views

Bar construction for spectra

Suppose we have a group $G$ then one can construct $BG$ and one of the essential part of the construction is the co-unit map. Now suppose we have a ring spectrum $R$, then having a co-unit splits the ...
1
vote
0answers
102 views

Strengthening the Compression Lemma in homotopy theory

The following result is sometimes known as the Compression Lemma: Let $(X,A)$ be a CW pair and let $(Y,B)$ be a topological pair with $B\neq\emptyset$. For all $n$ such that $X-A$ has $n$-cells, ...
19
votes
0answers
485 views

Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the geometric realization of the nerve of the one object category whose hom-set is $M$. (This definition gives the usual classfiying space ...
3
votes
1answer
145 views

Representations of Finite Subgroups on Homology

Suppose that $G$ is a connected, simply-connected, complex, semisimple Lie group, and that $H$ is finite subgroup. Consider the left-multiplicative action of $H$ on $G$, and the resulting ...
3
votes
0answers
141 views

In the cohomology of Thom spectrum over LoopS^{2} and p-adic characteristic classes

Let $T$ denote the thom spectrum over $\Omega S^{2}$ defined by the map $1+3: \Omega S^{2} \to BG_{3}$ where $1 +3$ is a unit in $3$-adics. Here $G_{3}$ is the unit component of ...
0
votes
1answer
190 views

Second homotopy of a torus complement in the 4-sphere

Let $T$ be the boundary of a solid torus in $S^4$. Are there any theorems or methods which would help one to compute $\pi_2(S^4 -T)$? Or to say if, e.g., it had finite rank and no torsion? More ...
8
votes
3answers
724 views

Serre Spectral Sequence of Representations

Suppose that $G$ is a group acting on a fibre bundle $(F,E,B)$ by bundle automorphisms. In this case, the action automorphisms $E\to E$ give the integral homology $H_\ast(E;\mathbb{Z})$ the structure ...
6
votes
2answers
384 views

mapping space between classifying spaces

I wanted to ask a summary of known results and references about the homotopy type of the mapping space $\mathrm{Map}(BG,BK)$ (and specially the connected components) between the classifying spaces ...
20
votes
4answers
1k views

What is an $(\infty,1)$-topos, and why is this a good setting for doing differential geometry?

In this post on the n-Category Café, Urs Schreiber says that, "The theory of G-principal bundles makes sense in any $(\infty,1)$-topos." I followed the link to the nLab and tried to chase definitions, ...
10
votes
3answers
634 views

Plus construction considerations.

In order to realise the K-groups of a ring as the homotopy groups of some space associated to that ring, Quillen proposed the following (roughly-sketched) construction: Recall that $K_1(R) = ...
0
votes
0answers
553 views

Homotopy class of the maps $(S_1)^d \to X$.

We know that the homotopy class of the maps $S_d \to X$ is $\pi_d(X)$. What is the homotopy class of the maps $(S_1)^d \to X$? Here $X$ can be an $n$-dimensional sphere $S_n$, or a classifying space ...
18
votes
8answers
2k views

How many proofs that $\pi_n(S^n)=\mathbb{Z}$ are there?

Offhand I can think of two ways in classical homotopy theory: Show that $\pi_k(S^n)=0$ for $k\lt n$ by deforming a map $S^k\to S^n$ to be non-surjective, then contracting it away from a point not in ...
8
votes
3answers
390 views

(Homotopy theory) When does the 2 of 3 property not imply 2 of 6?

A relative category is a category $C$ with a subcategory $W$ containing all the objects of $C$. Given a relative category $(C,W)$, $W$ is said to satisfy the ``2 implies 6'' property if, for any ...
18
votes
4answers
1k views

When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

Every once in a blue moon it actually matters that some mathematical entity which might a priori only be a class is in fact a set. For clarification, here are some examples of what I do not ...
8
votes
4answers
796 views

Basic questions on the homotopy category

I apologize in advance if this the answer to this question is standard or well-known. I am not in any way an algebraic topologist. $\newcommand{\s}{\mathscr}$Let $\s T$ be the category of topological ...
6
votes
0answers
182 views

What is the state of the art in 4-manfold 2-types?

In an old answer to an old question of mine, Peter Teichner commented that it is an open problem to determine which homotopy 2-types arise from 4-manifolds. In some instances we know that a 4-manifold ...
1
vote
0answers
164 views

Geometric interpretation of higher simpicial homotopy groupoids.

As a geometric interpretation of the simplicial fundamental groupoid, resp. its equivalent relation I thought about something like arcwise differentiable (or arcwise linear) paths modulo "we can go ...
4
votes
3answers
356 views

Monoidal model category structure on a functor category.

Let $A$ be a small simplicial category. The category $Fun(A,s\mathrm{Set})$ of simplicial functors from $A$ to simplicial sets can be given the projective model structure in which fibration and weak ...
3
votes
2answers
198 views

Is there a good concept of a measurable fibration?

In probability theory, there are many results which are valid in purely measurable settings, usually beginning with the assumption, "let $(\Omega, \mathcal F, \mathbb P)$ be an abstract probability ...
12
votes
2answers
351 views

Is the derived category of abelian groups a subcategory of the stable homotopy category?

An extension of the Dold-Kan equivalence gives an adjunction between the stable homotopy category and the (unbounded) derived category of abelian groups $SH \rightleftarrows D(Ab)$. Question 1: Is ...