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

learn more… | top users | synonyms (1)

0
votes
0answers
22 views

Does a topological hypercover always have free degeneracies?

This question arises when I am reading Dugger and Isaksen's "Hypercovers in topology". According to Definition 4.1 in that paper, A hypercover of a space $X$ is an augmented simplicial space $U_*\to ...
6
votes
2answers
402 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 ...
4
votes
2answers
353 views

Maps to the group completion

Let $M$ be an H-space, topological monoid (homotopy-commutative if necessary): What does the group comletion $\Omega BM$ represent in homotopy category? Is $[X,\Omega B M]$ always equal to the ...
5
votes
0answers
129 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
1answer
203 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
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), ...
2
votes
1answer
94 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 ...
32
votes
7answers
3k views

What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$

Hello, I would like to know if there is a known necessary and sufficient property on an open subset of $\mathbb{R}^n$ such that it is diffeomorphic to $\mathbb{R}^n$ : For example : 1) Are all ...
1
vote
0answers
94 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
161 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 ...
7
votes
3answers
560 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 ...
5
votes
3answers
1k views

Why are we interested in the Fundamental Groupoid of a Space?

The classical version of the van Kampen theorem is concerned about the fundamental group of a based space. In fact, it says that the functor $\pi_1$ preserves certain types of pushouts in $Top_*$. ...
23
votes
3answers
1k views

fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$. surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...
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 ...
9
votes
1answer
365 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?
19
votes
1answer
502 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)$?
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 ...
7
votes
1answer
379 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 ...
4
votes
1answer
348 views

Is the face poset a Heyting algebra?

Is the face poset of a simplicial or nice enough cellular complex a Heyting algebra in some natural way? Edited to add: For the benefit of illustration, here's a few face posets: the boundary of a ...
15
votes
1answer
545 views

Smooth 4-manifolds with $E_8$ intersection form

Does there exist a closed orientable smooth 4-manifold $M$ whose intersection form is the $E_8$-form? Here by the intersection form I mean the $\mathbb{Z}$-valued bilinear form on ...
24
votes
2answers
4k views

The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis? Please see this related post and also the following post. Added : According to their ...
32
votes
11answers
11k views

Algebraic Topology Beyond the Basics:Any Texts Bridging The Gap?

Peter May said famously that algebraic topology is a subject poorly served by it's textbooks. Sadly,I have to agree. Although we have a frieghtcar full of excellent first-year algebraic topology ...
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 ...
23
votes
3answers
2k views

What manifolds are bounded by RP^odd?

Real projective spaces $\mathbb{R}P^n$ have $\mathbb{Z}/2$ cohomology rings $\mathbb{Z}/2[x]/(x^{n+1})$ and total Stiefel-Whitney class $(1+x)^{n+1}$ which is $1$ when $n$ is odd, so it follows that ...
4
votes
0answers
33 views
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 ...
9
votes
1answer
538 views

Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

Both the Atiyah-Hirzebruch and the Serre spectral sequence can be constructed from a skeletal filtration of a CW-complex: We can construct the Atiyah-Hirzebruch spectral sequence by filtering $X$ by ...
4
votes
1answer
185 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}.$ ...
33
votes
3answers
8k views

Properly Discontinuous Action

When looking definition, and theorems related to Properly discontinuous action of a group $G$ on a topological space $X$, it is different in different books (Topology and Geometry-Bredon, Complex ...
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 ...
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 ...
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 ...
7
votes
1answer
256 views

Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...
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 ...
6
votes
1answer
513 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 ...
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 ...
4
votes
0answers
346 views

Tor over graded rings

Let $R$ be a graded ring (concentrated in nonnegative dimensions and maybe bounded from above). For every positive natural number $n$, denote by $R\to\tau_{\leq n}R$ the $n$-truncation and by ...
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? ...
10
votes
2answers
530 views

Is there a notion of a “model category which admits left Bousfield localization?”

At a conference not too long ago I gave a talk on (left) Bousfield localization and was asked an interesting question afterwards. The question was whether I knew any examples of model categories which ...
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
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 ...