# Tagged Questions

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

**3**

votes

**0**answers

177 views

### some terminologies on limiting mixed hodge structures or rather Derived categories

$f: X\rightarrow S$ is proper surjective homomorphism map from connected complex manifold to unite disk. $Y=f^{-1}(0)$ is algebraic and normal crossing in X, f is smooth away from 0, $X^*=X\setminus ...

**10**

votes

**1**answer

334 views

### Wild half-line in a Euclidean space

Is there an $m$-dimensional simplicial complex $S$ with the following properties:
The cone over $S$ is homeomorphic to $\mathbb{E}^{m+1}$. Here $\mathbb{E}^{m+1}$ denoes the $(m+1)$-dimensional ...

**34**

votes

**1**answer

815 views

### A dictionary of Characteristic classes and obstructions

I apologize in advance as this is not a research level question but rather one which could benefit from expert attention but is potentially useful mainly to novice mathematicians.
In an effort to ...

**16**

votes

**2**answers

1k views

### Why do people say DG-algebras behave badly in positive characteristic?

It seems to be a common wisdom in derived algebraic geometry that commutative DG-algebras are not, in general, a good model for derived rings, with the stated reason that they behave badly in positive ...

**6**

votes

**0**answers

110 views

### Detection tools for (reduced) suspension

I'm learning about loop spaces and the work of Stasheff on $A_{\infty}$-spaces. The broad idea that I'm getting is the following. Given a space $Y$, we want to know under which conditions there exists ...

**6**

votes

**3**answers

777 views

### Does anyone know the classification of fourth order surfaces?

Does anyone know the classification of fourth order surfaces? By "fourth order surface" I mean a surface defined by an equation of the form $$f(x, \, y, \, z)=0,$$
where $f$ is a polynomial of degree ...

**4**

votes

**0**answers

109 views

### What structure of a monoidal simplicial model category is preserved by taking the opposite category?

Suppose we have $(M,\otimes,1)$, a monoidal simplicial model category. Then we can consider the opposite model category $M^{op}$ with the opposite model structure (fibrations become cofibrations, ...

**4**

votes

**1**answer

136 views

### The principal bundle of embeddings

In a paper of P. Michor, it was shown that Emb(M,N) is a smooth principal diff(M)-bundle, M and N are smooth locally compact manifolds provided dim M < dim N. My question is why there is a ...

**3**

votes

**0**answers

98 views

### Are there necessary and sufficient conditions for a chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ to be Poincare?

I am looking for necessary and/or sufficient conditions for the chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ over a principal ideal domain to be Poincare in the sense that $H_0 \cong H^2$, $H_1 ...

**7**

votes

**1**answer

363 views

### higher algebraic homotopy groups for schemes?

I think I understand how to define the algebraic fundamental group $\pi^{alg}_{1}(X)$ of a scheme and I think I understand the relation between $\pi^{alg}_{1}(X)$ and $\pi_{1}(X(\mathbb{C}))$, where ...

**6**

votes

**0**answers

215 views

### Two different Thom diagonals in recent literature?

Taking the point of view that a Thom spectrum functor should be a map $Top_{/BGL_1(R)}\to LMod_R$, for $R$ some $\mathbb{E}_n$-ring spectrum, there seem to be two morphisms (in $Top_{/BGL_1(R)}$) that ...

**1**

vote

**0**answers

213 views

### Can one prove the poincare duality for projective scheme by proving it for projective space?

It's well known the relationship between Poincare duality and Thom isomorphism（I mean cohomology purity $R^q i^! F=0$ if $q\neq c $ ) $\quad $
$Rf_!Ri_!=R(f|_Z)_!$ where f is $P_k^n\rightarrow k$ ...

**13**

votes

**0**answers

191 views

### Uniqueness of connected cover of Morava K-theory

Let $k(n)$ denote the connected cover of Morava $K$-theory $K(n)$ at the prime $2$ and in particular $n=2$. It is known that $$ H^*(k(n)) = A//E(Q_n), $$
where $A$ is the Steenrod algebra and $Q_n$ is ...

**10**

votes

**1**answer

298 views

### Dimension in CW-approximation

The following question was something that came to my mind during my (unsuccessful) attempt at answering this MO-question.
Let $X$ be a topological space, and let $\tilde{X}\to X$ be a ...

**21**

votes

**6**answers

1k views

### Book recommendation for cobordism theory

I am planning to organize a seminar on cobordism theory and I'm looking for a reference. Such a reference is preferably a book, but I'm open to other ideas.
The audience is familiar with ...

**10**

votes

**1**answer

458 views

### What is the Status of Borel conjecture today?

Let me recall the conjecture: $M$ and $N$ two aspherical closed $n$-manifolds with isomorphic fundamental groups, then $M$ and $N$ are homeomorphic.

**4**

votes

**0**answers

137 views

### References for bilinear forms on chain complexes?

I am looking for references that include general results and theorems for bilinear forms defined on chain complexes. That is, bilinear forms $\langle \cdot , \cdot \rangle_i : C_i \times C_i \to ...

**6**

votes

**1**answer

142 views

### Rational cohomology of the Rosenfeld projective planes

The bioctonionic plane $(\mathbb{C} \otimes \mathbb{O})\mathbb{P}^2$, the quarteroctonionic plane $(\mathbb{H} \otimes \mathbb{O})\mathbb{P}^2$ and the octooctonionic plane $(\mathbb{O} \otimes ...

**6**

votes

**2**answers

469 views

### Genuine equivariant ambidexterity

A particular case of Lurie and Hopkins' ambidexterity theory is that if $G$ is a finite group acting on a $K(n)$-local spectrum $X$ then the norm map
$$ X_{hG} \to X^{hG} $$
is a $K(n)$-local ...

**3**

votes

**1**answer

143 views

### cohomology module of unit tangent vector bundles over spheres

Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration
$$
S^{m-1}\longrightarrow ...

**9**

votes

**0**answers

279 views

### What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?

Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...

**31**

votes

**5**answers

3k views

### What is modern algebraic topology(homotopy theory) about?

At a basic level, algebraic topology is the study of topological spaces by means of algebraic invariants. The key word here is "topological spaces". (Basic) algebraic topology is very useful in other ...

**2**

votes

**1**answer

166 views

### $n$-th cohomology of locally compact subsets in R^n

Where can I find a reference that for any locally compact (or just open) subset $U$ of $\mathbb{R}^n$, $H^n(U;\mathbb{Z})$ (the n-th Cech integral cohomology) is trivial?

**6**

votes

**0**answers

166 views

### What is the paper “Structure and homology of configuration spaces” by F. Cohen and L. Taylor?

Cohen and Taylor, in their paper Computations of Gelʹfand-Fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces (1978), cite this numerous times:
[9] F. R. ...

**6**

votes

**2**answers

508 views

### quotient space of Eilenberg-MacLane space

Let $\pi$ be a group and $K(\pi,1)$ the Eilenberg-MacLane space. Let $G$ be a finite group acting on $K(\pi,1)$ such that the following is a covering map
$$
K(\pi,1)\longrightarrow K(\pi,1)/G.
$$
...

**1**

vote

**1**answer

339 views

### Reference request for Godement's “Topologie algébrique et théorie des faisceaux”

Does anybody know if an english translation of this paper exists please?

**3**

votes

**0**answers

191 views

### Are all 4-manifolds $Pin^{\tilde{c}}$?

It's known that all oriented 4-manifolds admit a $Spin^c$ structure, ie. a spin structure on $TX\oplus\mathcal{L}$ for some complex line bundle $\mathcal{L}$.
A usual generalization of this ...

**25**

votes

**1**answer

677 views

### What is, really, the stable homotopy category?

When you try to understand the fuss behind the new good categories of spectra that arose on the 90's, you read things such as the following paragraph written by Peter May (from "The Hare and the ...

**3**

votes

**0**answers

61 views

### Is the functor of PA forms known to be equivalent to the functor of PL forms for noncompact spaces?

In the following paper:
Robert Hardt, Pascal Lambrechts, Victor Turchin, and Ismar Volić, Real homotopy theory of semi-algebraic sets, Algebr. Geom. Topol. 11 (2011), no. 5, 2477–2545.
the authors ...

**16**

votes

**1**answer

585 views

### (really) basic intuition for $\mathbb A^1$-homotopy theory

Apologies in advance if this question is inappropriate for MO.
I'm trying to read here and there about $\mathbb A^1$-homotopy theory in algebraic geometry. I understand some abstract machinery is ...

**29**

votes

**2**answers

449 views

### If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?

I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...

**1**

vote

**0**answers

51 views

### Semicovering and homotopy lifting property

Has a semicovering map ( local homeomorphism + unique path lifting property ), the homotopy lifting property? Clearly it has the homotopy path lifting property.

**9**

votes

**1**answer

377 views

### Spectra as functors from Spaces to Spaces

I will use the notation of this question. So, if $X$ is a (nice) topological space and $G$ is an abelian group, we can form its $G$-linearization $G[X]$. In McCord's article, this was denoted ...

**6**

votes

**0**answers

163 views

### Homotopy classes of maps and cohomology classes (Hatcher, AT, Thm 4.57) [duplicate]

Hatcher's AT Theorem 4.57 is used in both the algebraic topology construction of Seifert surfaces, and the (similarly flavored) proof that given a compact 3-manifold (with or without boundary), we can ...

**4**

votes

**2**answers

252 views

### homotopy equivalence between configuration spaces

Let $M$ be a $m$-dimensional compact manifold without boundary and $W(M)$ the non-compact $CW$-complex obtained by glueing $[0,1)\times (0,1)^{m-1}$ to $M$, identifying the boundary ...

**2**

votes

**1**answer

204 views

### isotopy equivalence (topological meaning) between $CW$-complexes

Let $M$ and $N$ be $CW$-complexes.
Definition. (different from the isotopy notion in geometry of submanifolds). A (topological) isotopy is a fibre-wise continuous map
$$
F: M\times ...

**9**

votes

**1**answer

270 views

### embedding of quaternionic projective spaces

Let $\mathbb{H}P^m$ be the $m$-th quaternionic projective space. What is the smallest integer $N$ such that there exists an embedding
$$
\mathbb{H}P^2\longrightarrow \mathbb{R}^N?
$$
Are there any ...

**7**

votes

**1**answer

180 views

### homological 2 dimensional groups

In a Commentarii Mathematici Helvetici paper by Benno Eckman and Heinz Müller in 1980 (volume 50, pages 510-520) proved that poincaré Duality Groups of dimension 2 with positive first ...

**1**

vote

**0**answers

54 views

### simplicial approximation of an open subset

I am interested in the following problem :
Let $K$ be an abstract simplicial complex, let $\vert K \vert$ be its geometrical realization, let $U\subset \vert K \vert$ be an open subspace (not a ...

**2**

votes

**1**answer

181 views

### Smallest homotopy equivalent space inside a manifold with boundary

It is well known that any compact manifold with boundary is homotopy equivalent to its interior. Is there a notion of some smallest space in the interior of the manifold that is homotopy equivalent to ...

**1**

vote

**0**answers

107 views

### cohomology ring of compact submanifolds of Euclidean spaces

Suppose we have a compact $m$-dimensional submanifold $M$ of $\mathbb{R}^N$ and we want to know the cohomology ring $H^*(M;\mathbb{Z})$.
Let $\epsilon>0$ and a $m$-dimensional finite simplicial ...

**1**

vote

**1**answer

257 views

### On compact, orientable 3-manifolds with non-empty boundary

I recall my Professor having stated something along the lines of the following, but I am not quite certain about the precise statement she gave:
Let $M$ be a compact, orientable 3 manifold with ...

**5**

votes

**1**answer

160 views

### Directed homotopy in the Cayley graph of a monoid

There is a the notion of the Cayley graph $C(G)$ of a group $G$ (which depends on a given presentation $G \cong \mathcal F(S) / \sigma$ where $\mathcal F$ is the free group functor and $\sigma$ some ...

**14**

votes

**2**answers

368 views

### Can an oriented closed $n(\geq 2)$-dimensional manifold be embedded in $\mathbb{R^{2n-1}}$

Can anyone provide me an example of an orientable closed manifold $M$ of dimension $n\geq 2$, which cannot be embedded in $\mathbb R^{2n-1}$?
I know this is certainly not true when $n=1$, i.e. ...

**1**

vote

**1**answer

159 views

### torsion part of the cohomology module of configuration spaces of manifolds

Let $M$ be a manifold and $C_n(M)$ the $n$-th unordered configuration space consisting of unordered $n$-tuples of distinct points in $M$. The mod $p$ homology module, $p$ prime, and the rational ...

**4**

votes

**1**answer

242 views

### Homotopy classification of selfmaps of product of spheres?

Self-maps of n-torus $T^n=S^1\times ...\times S^1$ are classified by the induced homorphism of fundamental group $\pi_1 T^n=Z^n$.
Is a similar result true form self-maps of $S^k\times ...\times S^k$ ...

**3**

votes

**2**answers

476 views

### Principal bundles that can't be detected by spheres

The question I'm trying to answer is the following:
Let $P \to X$ be a principal $G$-bundle (over a connected CW complex)
satisfying that all pullbacks to spheres (of arbitrary dimension) are
...

**0**

votes

**0**answers

154 views

### First Chern class of the tautological line bundle over $\mathbb{CP}^n$

I'm trying to understand the following example in which the first Chern class of the tautological line bundle $L^{taut} \to \mathbb{CP}^n$ will be calculated and then it is shown that these bundles ...

**3**

votes

**1**answer

90 views

### self-Whitney sum of the canonical vector bundle on Grassmannians

Let $G_{k}(\mathbb{R}^N)$ be the Grassmannian manifold consisting of $k$-subspaces in $\mathbb{R}^N$. There is a canonical $k$-dimensional vector bundle
$$
\gamma_{k,N}: \mathbb{R}^k\longrightarrow ...

**2**

votes

**1**answer

196 views

### Stiefel-Whitney classes of tensor product $\xi^m \otimes \eta^n$, computation

Let $\xi^m$ and $\eta^n$ be vector bundles over a paracompact base space. Where can I find a reference to the Stiefel-Whitney classes of the tensor product $\xi^m \otimes \eta^n$ being computed as ...