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

learn more… | top users | synonyms (1)

4
votes
0answers
115 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
0answers
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
0answers
92 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
0answers
72 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
1answer
158 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
0answers
143 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
1answer
363 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
1answer
307 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
1answer
500 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
1answer
377 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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
184 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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
218 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
1answer
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
1answer
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
1answer
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
1answer
167 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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
136 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
1answer
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
0answers
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
1answer
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
0answers
48 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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
3answers
466 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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
699 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
0answers
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 ...