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

learn more… | top users | synonyms (1)

3
votes
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
3answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
6answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
5answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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 ...