Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

**13**

votes

**2**answers

573 views

### Counterexamples for strengthening Whitehead's theorem?

Let $f:X\to Y$ be a pointed map of pointed connected $n$-dimensional CW complexes. Whitehead's theorem says that if $f_*:\pi_qX\to \pi_qY$ is an isomorphism for $q\le n$ and a surjection for $q=n+1$, ...

**14**

votes

**4**answers

3k views

### Cohomology of Flag Varieties

For $K$ a compact Lie-group with maximal torus $T$, I'd like to know the cohomology $\text{H}^{\ast}(K/T)$ of the flag variety $K/T$.
If I'm not mistaken, this should be isomorphic to the algebra of ...

**1**

vote

**0**answers

106 views

### Orientation form on the blow up of a Kaehler manifold

Let $(X,\omega)$ be a complex Kaehler manifold of (complex) dimension $d$, and let $Y\subset X$ a complex submanifold of dimension $k$. Evidently $[\omega]^d\in H^{2d}(X,{\mathbb{R}})$ is always ...

**2**

votes

**0**answers

74 views

### Thom Class of tensor bundles

Suppose $\xi$ and $\eta$ are oriented vector bundles over a CW-complex $B$. Is it possible to express the Thom class (with ${\mathbb Z}$ coefficients) of $\xi\otimes \eta$ or even ${\rm Sym}^2(\xi)$ ...

**8**

votes

**1**answer

259 views

### Pull-back of a fibration along a homotopy equivalence and homotopy classes of sections

I previously asked this on Math.SE but didn't receive a satisfactory answer.
Let $p:E\rightarrow B$ be a fibration (i.e. have the homotopy lifting property with respect to all spaces), and $f: ...

**1**

vote

**1**answer

394 views

### Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation.
Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...

**4**

votes

**1**answer

390 views

### semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity.
For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...

**-1**

votes

**0**answers

21 views

### Freedom of speech in scientific discussions - An invitation to more tolerance in Scientific debates [migrated]

I hope this post enjoys some tolerance, and don't get closed or put on hold immediately.
I believe that freedom of speech in scientific discussions is one of the key values which enriches the debates ...

**3**

votes

**1**answer

334 views

### Classifying spaces of topological groups whose underlying spaces are homotopy equivalent

Let $G$, $H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism which happens to be a homotopy equivalence of the underlying topological spaces. Let us assume that $G$, $H$ ...

**3**

votes

**1**answer

343 views

### $\pi_8(S^5)=\pi_8(SO(6))=\mathbb{Z}/24$?

I am currently thinking about a physics model related to framed bordism $\Omega_3^{fr}=Z/24=\pi^s_3$, and the first stable example is $\pi_8(S^5)$, so I was curious about the generator, and happened ...

**9**

votes

**1**answer

232 views

### E-infinity structure on singular cochains

Is there a transparent explanation of why the singular cochain complex of a topological space X is an $E_\infty$ algebra. There are combinatorial proofs using, say, the surjection operad, but is there ...

**10**

votes

**4**answers

929 views

### What are the fibrant objects in the injective model structure?

If C is a small category, we can consider the category of simplicial presheaves on C. This is a model category in two natural ways which are compatible with the usual model structure on simplicial ...

**1**

vote

**0**answers

148 views

### Functors similar to $H^i(\cdot)$

Suppose $T$ is a contravariant functor from the category of pointed topological spaces to the category of abelian groups, then we have homomorphisms $\alpha\colon T(X)\times T(Y)\to T(X\times Y)$ and ...

**0**

votes

**1**answer

186 views

### Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...

**0**

votes

**0**answers

206 views

### Whitehead group [closed]

Whitehead group (WG) is known for some groups (e.g. free abelian group, cyclic group, Braid group etc).
For example:
The Whitehead group of the trivial group is trivial.
The Whitehead group of a ...

**4**

votes

**1**answer

290 views

### $\Omega X$-action on spectral $X$-bundles

I can generalize the notion of a space over $X$ (where $X$ is a based and connected space) to the notion of a spectrum over $X$ by considering functors of quasicategories $X\to Mod_\mathbb{S}$. In the ...

**5**

votes

**0**answers

134 views

### Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map
$$ S^0 \overset{p^i}\longrightarrow S^0 $$
where $S^0$ be the sphere spectrum. In the Mathoverflow ...

**6**

votes

**1**answer

248 views

### Cellular model structures on continuous functors

The category of enriched functors from finite based CW complexes to based topological spaces
has a projective model structure. The fibrations
are the objectwise Serre fibrations and the weak ...

**0**

votes

**1**answer

67 views

### free action on product of two spaces [closed]

Let $G$ be a compact Lie group acting freely on $X\times Y$ , product of two Hausdorff spaces. Is is true that $G$ must act freely on one of the factor spaces ($X$ or $Y$). For example the group ...

**5**

votes

**1**answer

147 views

### Left Properness of Simplicial Commutative Algebras

A bit of light googling turns up several sources asserting that the model structure on simplicial commutative algebras over a ring is left proper (for example, 2.9 in Charles Rezk's paper Every ...

**0**

votes

**0**answers

113 views

### Morse theory in zero dimensions? [closed]

Are there any known results for Morse theory of a compact 0-dimenionsal manifold (i.e. set of points)? In particular, can one define the analogue of a gradient flow for a finite set of points and ...

**1**

vote

**1**answer

103 views

### Special Case of the Toral Rank/Halperin-Carlsson Conjecture

The Toral Rank conjecture in its original form runs something along the lines of: suppose we have an almost free action of the $n$-torus $T^n$ on a nice topological space $X$. (Say a closed CW ...

**5**

votes

**2**answers

302 views

### On combinatorial and cellular model categories and infinity categories

I am looking for a counterexample. Let me first give the set-up. When you work with model categories, it is extremely common to assume they are cofibrantly generated. For me, this means the definition ...

**5**

votes

**0**answers

161 views

### How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence
$\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...

**8**

votes

**1**answer

378 views

### Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...

**12**

votes

**0**answers

477 views

### “To operate the machine, it is not necessary to raise the bonnet.”

The quotation in the title is attributed to Frank Adams and appears in several places:
In the preface of [2002, Operads in algebra, topology and physics]: "to operate the machine, it is not ...

**16**

votes

**3**answers

2k views

### What do cohomology operations have to do with the non-existence of commutative cochains over $\mathbb{Z}$?

Let $X$ be a topological space. In elementary algebraic topology, the cup product $\phi \cup \psi$ of cochains $\phi \in H^p(X), \psi \in H^q(X)$ is defined on a chain $\sigma \in C_{p+q}(X)$ by ...

**2**

votes

**2**answers

426 views

### What is the $\mathbb Z/2$-cohomology of $\mathrm B^n(\mathbb Z/2)$?

I would like to know the cohomology groups $\mathrm H^\bullet(\mathrm B^n(\mathbb Z/2);\mathbb Z/2)$. I assume that this is a standard computation, but I'm not sure where to look up the answer (and, ...

**6**

votes

**3**answers

457 views

### Higher refinement of Seifert-van Kampen theorem on the language of hocolim

I like the following version of SvKT. If $\Pi_1$ is the functor of fundamental groupoid and $(X_i)_{i\in I}$ is a diagram of spaces then
$$\Pi_1({\sf hocolim}\: X_i)\simeq {\sf hocolim}\: ...

**6**

votes

**3**answers

685 views

### Ambidexterity and Quantization

Here the nlab says about Hopkins-Lurie's ambidexterity paper:
"The discussion in the article is apparently motivated as part of what it takes to make precise the discussion of quantization in ...

**0**

votes

**0**answers

184 views

### A question about the Leray-Serre spectral sequence

Suppose $F \to E \stackrel{p}{\to} B$ is a fibration with $B$ simply connected. The $E_2^{p,q}$ page of the Leray-Serre spectral sequence is given by $H^p(B;H^q(F))$. Suppose futhermore that $k$ is a ...

**6**

votes

**1**answer

437 views

### Lurie's Endomorphism Space vs. Endomorphisms

In Jacob Lurie's book Higher Algebra, for an object $M$ of a monoidal $\infty$-category $\mathcal{C}$, he constructs a category $\mathcal{C}[M]$ which can be thought of as "maps in $\mathcal{C}$ of ...

**2**

votes

**1**answer

206 views

### A homeomorphism between total spaces with same fiber and base spaces not homotopic

Is there a counterexample to the following assertion?:
Let $p_1:E_1\to B_1$ and $p_2:E_2\to B_2$ be fibrations with the same fiber $\mathbb S ^1$ such that $E_1$ and $E_2$ are homeomorphic (and both ...

**9**

votes

**2**answers

656 views

### Homology of localisations of spectra

Let $H^*$ and $K^*$ be two cohomology theories, and $X$ a reasonable spectrum. Here, I'm thinking that $H^*$ is singular cohomology (and for my purposes, rational cohomology will suffice), and $K$ is ...

**3**

votes

**1**answer

79 views

### Involution on the set of isomorphism classes of 2n-dimensional vector bundles induced by an involution of $O(2n)$

Denote by $\varphi$ the automorphism of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$.This induces a self-map $B\varphi$ of $BO(n)$, so it induces a self-map (actually an involution)
$B\varphi ^*$ on ...

**3**

votes

**1**answer

163 views

### Can a homology $n-1$-sphere divide $\mathbb{S}^{n}$ into non-contractible components?

This is a follow-up to my earlier question.
Let $\Sigma\subset \mathbb{S}^{n}$ be a hypersurface -- here $\mathbb{S}^{n}$ is a smooth sphere (possibly exotic ... if this makes a difference). If ...

**6**

votes

**0**answers

277 views

### What's the detailed proof of “the composition of planar tangles is well-defined”?

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See ...

**3**

votes

**1**answer

152 views

### Topology of hypersurface of sphere fixed by homeomorphic involution

I'm not an topologist, so I apologize in advance if this is a silly question.
I have the following situation, let $\mathbb{S}^n$ (for $n\geq 3$) be the standard (smooth if it matters) $n$-sphere and ...

**5**

votes

**1**answer

232 views

### If a topological space has vanishing $n$th homology for every possible homology theory, does it have vanishing $n$th homotopy?

I don't have any strong preference as to whether or not the homology theories are required to be ordinary.
Also, if this does not hold in general, does it hold for some nice category of spaces, like ...

**1**

vote

**0**answers

131 views

### Homotopy type of a CW complex

The only dimension in which not every compact manifold is homeomorphic to a CW complex is $4$. Does every such manifold have the homotopy type of a CW complex?

**17**

votes

**4**answers

2k views

### Compact open topology on $\mathrm{Homeo}(X)$

Let $X$ and $Y$ be topological spaces. Define the compact open topology on the set $\mathrm{M}(X,Y)$ of continuous maps from $X$ to $Y$ via the subbase $[K,O]$ of all maps $f:X\rightarrow Y$ s.t. ...

**0**

votes

**0**answers

98 views

### Simple homotopy type of 2-dimensional simplicial complexes

Simple Homotopy type is a particular case of homotopy equivalence, of a combinatorial nature which is governed by the Whitehead group $wh(\pi)$ of the fundamental group ...

**10**

votes

**0**answers

310 views

### Combinatorial results by Poincaré duality

For the n-dimensional Torus, the k-th homology group (with integer coefficients) is isomorphic to the direct sum of $n \choose k$ copies of $\mathbb{Z}$.
Poincaré duality thus gives us a somewhat ...

**6**

votes

**1**answer

232 views

### Definitions of the module $R/(x_0^\infty,x_1^\infty,\ldots,x_{n-1}^\infty)$

There are several constructions of the Prüfer group $\mathbb{Z}/p^\infty$; here are two that are relevant for this question.
It can be constructed via the short exact sequence
$$
0 \to \mathbb{Z} ...

**3**

votes

**1**answer

168 views

### Does the CGWH-fication change the (weak) homotopy type?

Let $Top$, $CG$, $WH$, $CGWH$ be the categories of topological spaces, compactly generated spaces, weak Hausdorff spaces and compactly generated weak Hausdorff spaces.
There is the CG-ification ...

**-1**

votes

**0**answers

32 views

### Properties of Pushout [migrated]

suppose we have a pushout square in $\mathrm{Top}$:
\begin{align*}
\require{AMScd}
\begin{CD}
X_0 @>{\mu_1}>> X_1\\
@V{\mu_2}VV @VV{\alpha_1}V \\
X_2 @>>{\alpha_2}> X
...

**4**

votes

**2**answers

240 views

### Need M combinatorial for existence of injective model structure on $M^G$?

I'm doing some work with model categories and operads, and to check a certain hypothesis I've had to learn a bit of equivariant homotopy theory. Let $M$ be a model category and $G$ be a finite group. ...

**12**

votes

**1**answer

430 views

### Condition on a Hopf operad for tensor product in the base category to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...

**7**

votes

**1**answer

368 views

### Waldhausen Additivity in a More General Context

The following arose when I was thinking about a talk at the Midwest Topology Seminar:
Background
I want to consider a generalization of a Waldhausen-like structure on a category $C$ with 0-object ...

**5**

votes

**1**answer

484 views

### How do small changes in a filtered complex affect the associated spectral sequence

I have recently been learning about spectral sequences, not in the context of any problem, but mostly out of curiosity. There are two questions that have occurred to me which I've been unable to ...