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

**4**

votes

**0**answers

104 views

### Manifold approximations to $BO(3)$

We know that $BO(1) =\mathbb{R}P^\infty$ has closed, finite-dimensional manifold approximations $\mathbb{R}P^1\subset \mathbb{R}P^2\subset\cdots.$
Similarly $BO(2)$ can be approximated by closed, ...

**0**

votes

**0**answers

39 views

### Calculation of fixed point set

Let $p,q$ be two distinct primes and let $G_p$ and $G_q$ be nontrivial $p$-group and $q$-group respectively. Let $G = G_p \rtimes G_q$. Embed $G_q \subset U(n_1), G \subset U(n) $ where $U(n_1), ...

**1**

vote

**0**answers

91 views

### Questions about “On the homology of configuration spaces”

In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, Section 2.5, line 6 - line 8:
Question: How to prove this claim?
My attempt: I tried to prove that when ...

**2**

votes

**0**answers

70 views

### cross-sections of a sphere bundle

Let $M$ be a $m$-manifold and $M_0$ a submanifold of $M$. Let $X$ be a pointed topological space. In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, ...

**6**

votes

**1**answer

157 views

### Frobenius $A_{\infty}$-bialgebras?

Recall that a finite dimensional associative algebra $A$ over a field $k$ is called a symmetric Frobenius algebra (sometimes called "closed" Frobenius algebra) if its equipped with a symmetric non ...

**4**

votes

**0**answers

142 views

### Generation of cohomology of graded algebras

Let $A$ be an unital, associative, graded algebra over a base ring $k$. I'm happy to assume that $k$ is a field if need be, and will insist that $A$ free and of finite rank in each degree (locally ...

**9**

votes

**1**answer

362 views

### Intuition behind the Morse inequalities?

Forgive me if this is sort of a vague question, but can someone supply me with their intuition behind the Morse inequalities?

**8**

votes

**1**answer

302 views

### Relation between moduli spaces and classifying spaces

I hope this question is suitable to be posted here on MO.
I wonder if there is a systematic relation between the notation of a classifying space, and the notion of a moduli space. I don't consider ...

**18**

votes

**1**answer

497 views

### Is there a generalization of homotopy groups to fractional dimensions

Does there exist a reasonable candidate for such an object as $\pi_{\frac12}(X)$?

**7**

votes

**1**answer

376 views

### Loop space generalization

Let $X$ be a based connected space. The space of based continuous morphisms $Top_{\ast}(S^1,X)$
is the space of loops $\Omega X$. Since $S^1$ is homotopy equivalent to the Eilenberg-Mac Lane Space ...

**8**

votes

**1**answer

369 views

### Analytical formula for topological degree

At the first page of the following article http://arxiv.org/pdf/1004.1018v1.pdf [edit: the formula on the arXiv differs from the formula in the published paper, and the formula displayed below is the ...

**4**

votes

**0**answers

33 views

### $w(\mathbb{R}P^q) = 1$ if and only if $q = 2^k - 1$ for some $k$ [migrated]

How do I show that $w(\mathbb{R}P^q) = 1$ if and only if $q = 2^k - 1$ for some $k$?

**3**

votes

**0**answers

105 views

### Does there exist a smooth compact manifold whose boundary is $\mathbb{R}P^3$? [closed]

As the question suggests, does there exist a smooth compact manifold whose boundary is $\mathbb{R}P^3$?

**2**

votes

**0**answers

69 views

### $Pin^{+}(4k)$ and $Pin^{-}(4k)$ are isomorphic [Reference Request]

This is some sort of "follow-up" to the (unanswered) question posted here.
Let's denote $$\varphi :O(2n)\rightarrow O(2n);A\mapsto det(A)\cdot A.$$
Then $\varphi $ is an automorphism of $O(2n)$, and ...

**4**

votes

**1**answer

183 views

### Milnor descent for ring spectra

Suppose given a homotopy cartesian square of (commutative) ring spectra (or (c)dgas)
$\begin{matrix}A & \to & A_1 \\
\downarrow & & \downarrow \\
A_2 & \to &A'\end{matrix}.$
...

**6**

votes

**1**answer

269 views

### Connected CW complex, isomorphism?

Let $\pi$ be a group and let $K(\pi, 1)$ be a connected CW complex such that $\pi_1(K(\pi, 1)) = \pi$ and $\pi_q(K(\pi, 1)) = 0$ for $q \neq 1$. My question is, are $H_*(K(\pi, 1);A)$ and ...

**5**

votes

**0**answers

136 views

### What are the homotopy classes of the obvious maps between Bott spaces?

The spaces $O$ and $O/U$ that appear in Bott periodicity represent the functors $KO^7(X)$ and $KO^6(X)$ respectively. Is there an interpretation of the map $KO^7(X) \to KO^6(X)$ induced by the ...

**7**

votes

**1**answer

374 views

### Does there exist a homotopy equivalence from $\mathbb{C}P^{2n}$ to itself that reverses orientation?

Perhaps this is a foolish question, forgive my lack of knowledge of topology. My question is, does there exist a homotopy equivalence from $\mathbb{C}P^{2n}$ to itself that reverses orientation?

**5**

votes

**1**answer

329 views

### Homeomorphism of closed manifold

Suppose that we have two closed n-manifold $M$ and $N$ such that
the topological group of homeomorphisms $Homeo(M)$ is homotopy equivalent to $Homeo(N)$ (maybe as topological groups if needed), can ...

**3**

votes

**0**answers

217 views

### Quasicategorical Construction of a Cosimplicial Map of Rognes

In John Rognes' Galois theory monograph he constructs something called the Hopf-cobar complex for a coalgebra object $H$ (in spectra) and a comodule algebra $X$. It is, intuitively, the object whose ...

**0**

votes

**1**answer

293 views

### Dimension of two homotopy equivalent manifolds [closed]

Let $M,N$ be a closed (connected, without boundary, say smooth) manifolds which are homotopy equivalent. Does it follows that they are of the same dimension? One should be aware of examples of ...

**2**

votes

**1**answer

93 views

### The evaluation fibration of a transitive, effective topological group action

Does anybody know a reference to the following fact?
If $G$ is a topological group acting transitively and effectively on a space $X$, then the evaluation map $G \rightarrow X$, $g \mapsto g \cdot ...

**3**

votes

**1**answer

239 views

### What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...

**6**

votes

**1**answer

166 views

### What is $Sq^i(\alpha^j)$ for all $i$ and $j$?

Write $H^*(\mathbb{R}P^\infty; \mathbb{Z}_2) = \mathbb{Z}_2[\alpha]$, $\deg \alpha = 1$. What is $Sq^i(\alpha^j)$ for all $i$ and $j$? I am not an algebraic topologist by trade but need to know this ...

**2**

votes

**0**answers

60 views

### section spaces related to configuration spaces

In the paper Configuration spaces of positive and negative particles, Dusa McDuff, a section space $\Gamma(M)$ is constructed:
And in the paper ON THE HOMOLOGY OF CONFIGURATION SPACES. C.-F. ...

**3**

votes

**0**answers

40 views

### Determinant twist and $Pin _{\pm}$ structure on $4k$-dimensional bundles [Reference request]

Consider the automorphism $\varphi$ of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$. The induced map in cohomology $H^*(BO(2n))$ sends $w_2$ to $w_2+(n+1)w_1^2$ (a proof is given at the end of the ...

**2**

votes

**0**answers

93 views

### homotopy equivalence between configuration spaces on non-homeomorphic spaces

(1). Let $D^m$ be the closed $m$-disc in $\mathbb{R}^m$. For each $k$, does the $k$-th configuration space on $D^m$ homotopy equivalent to the $k$-th configuration space on $\mathbb{R}^m$
$$
...

**9**

votes

**0**answers

128 views

### Why should we regard $PL(M)$ as a simplicial group?

Let $M$ be a manifold. If $M$ is smooth, it is clear what $\text{Diff}(M)$ should be, namely it should be the set of diffeomorphisms of $M$ equipped with the topology in which a sequence of ...

**0**

votes

**0**answers

96 views

### Chern classes, vanishing of smooth sections or vanishing of holomorphic?

I have seen both definitions and this is getting me more and more confused.
Are Chern classes dual to the degeneracy cycles of smooth sections or holomorphic?
They can't be the same thing, can they?
...

**3**

votes

**2**answers

254 views

### the space of continuous maps between 3-manifolds

Let $X$ be a connected hyperbolic 3-manifold (without boundary), $S^3$ the 3-sphere and $Map(X,S^3)$
the space of continuous maps between $X$ and $S^3$.
Question: Is the space $Map(X,S^3)$ connected ...

**4**

votes

**1**answer

187 views

### Properties of loop space functor from homotopy types to group objects in homotopy types

I am trying to understand some properties of categories enriched in homotopy types, and the following question has become important:
When we take the loop-space of a (connected) homotopy type, we get ...

**4**

votes

**1**answer

172 views

### Is the simplicial set $(\Delta_3/\partial \Delta_3)^{\Delta_1}$ finite?

A simplicial set is called finite if it has only a finite number of non degenerate simplicies (or equivalently, if its number of $n$-simplicies grows polynomially with $n$). In an answer to a ...

**3**

votes

**1**answer

115 views

### Regularity of maps in algebraic topology for manifolds

Let $M$ be a $n$ manifold such that $\pi_k(M)$ is non trivial. What can we expect about the regularity of a representant $f:S^k\rightarrow M$ of a non-trivial cycle? For example, if $M$ is a manifold ...

**4**

votes

**1**answer

135 views

### Stabilization of a generic pointed model category

Let $\mathcal C$ be a pointed model category. It is well-known that its homotopy category $\mathrm{Ho}(\mathcal C)$ is naturally a $\mathrm{Ho}(\underline{\mathrm{sSet}}_*)$-category, where ...

**1**

vote

**1**answer

101 views

### maps from labelled configuration space to section space / iterated loop space

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, 2014, page 3, Section 3:
for a $m$-manifold $M$, consider the disc bundle $D(M)$ in the tangent bundle ...

**2**

votes

**0**answers

62 views

### $\eta$-invariants of Riemann Surface

I am curious about a concrete computation of $\eta$-invariants for Riemann surface, e.g. Torus.
Is there any nice review or notes talking about the computation? Or is it possible to express it as ...

**1**

vote

**1**answer

47 views

### Group completion of labelled configuration space on Euclidean spaces

In the lecture notes The Homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 225 -226, it is obtained that there is a group completion on homology
$$
\alpha_n: C(\mathbb{R}^n;X)\to ...

**1**

vote

**0**answers

47 views

### cohomology ring of unordered configuration space on Euclidean spaces

Let $F(\mathbb{R}^n,k)/\Sigma_k$ be the $k$-th unordered configuration space on $\mathbb{R}^n$. In the lecture notes The Homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 226, it ...

**2**

votes

**1**answer

145 views

### Equivalent definition of a Kan fibration

It is known (follows for example from Proposition 4.2 of Simplicial Homotopy Theory by Goerss and Jardine) that a Kan-fibration can be defined as a map having the right lifting property with respect ...

**5**

votes

**0**answers

82 views

### $\eta$ invariants of Pin+ manifolds $\mathbb{RP}^{8k}$

In general, I am curious about the 'quantization' of $\eta$-invariants on Pin+ manifold, i.e., what is the 'minimal unit' of $\eta$-invariants on a manifold with certain choice of Pin+ structure.
...

**0**

votes

**1**answer

110 views

### How does $H_1$ change after projection

Suppose $X\subset \mathbb{CP}^N$ is a $n$ dimensional projective manifold (and complex dimension $n>1$), take a general projection $p\colon X\to\mathbb{CP}^{n+1}$. Suppose $H_1(X)$ is nontravial. ...

**4**

votes

**1**answer

259 views

### Natural transformations induce homotopies - Is this true in the “fat” world?

Let $\mathcal{C}, \mathcal{D}$ be categories internal to topological spaces (or compactly generated Hausdorff spaces, if you like) $F,G\colon\mathcal{C}\rightarrow\mathcal{D}$ be continuous functors ...

**4**

votes

**0**answers

136 views

### Does the fat realization of simplicial spaces commute with finite limits up to homotopy?

I'm willing to work in the category of compactly generated Hausdorff spaces.
The ordinary geometric realization of a simplicial space commutes with taking pullbacks and preserves the terminal object, ...

**6**

votes

**3**answers

465 views

### Homological vs. cohomological dimension of a group/space

I have several related questions regarding homological vs. cohomological dimension of a space/group (this is not a duplicate of this).
The standard definition of the cohomological dimension $cd(X)$ ...

**4**

votes

**1**answer

218 views

### Künneth formula for Bredon cohomology theory

Let $G$ be a finite group. Let $X$ and $Y$ be two $G$-CW complexes with known integer graded $G$-equivariant Bredon cohomology with constant coefficient systems. Is there any Künneth formula for this ...

**10**

votes

**2**answers

181 views

### Concrete examples of covering from the 3-torus to the 3-sphere

There is a two-fold branched covering from 2-torus to the 2-sphere, $T^2 \rightarrow S^2$, whose covering transformation group is generated by the map $x \mapsto -x$ (Note that $T^2$ is an abelian ...

**0**

votes

**1**answer

96 views

### Prove that the holonomies along any two homotopic paths are the same if the curvature of the connection vanishes [closed]

The proof is trivial in the Abelian case by the Stokes' theorem.How to prove it in the non-Abelian case?

**4**

votes

**0**answers

139 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)$ ...

**13**

votes

**2**answers

698 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$, ...

**-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 ...