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

learn more… | top users | synonyms (1)

8
votes
0answers
201 views

When does an $E_\infty$ algebra come from a commutative differential graded algebra?

Suppose that $K$ is an $E_\infty$-algebra on a space $X$ (more generally, any ringed topos; also, feel free to assume that $X$ is a point). That is, $K$ is a cochain complex of sheaves on $X$, endowed ...
3
votes
0answers
80 views

Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to $PH_*(QY)$, and let's say $Y$ itself is a ...
8
votes
2answers
288 views

Examples of calculating perverse sheaves on algebraic varieties with easy stratification

I have been learning intersection homology and perverse sheaves in the following way. I started by reading the first $7$ chapters of Kirwan and Woolf's book ...
11
votes
1answer
304 views

Dimension of a homotopy type

What is the state of knowledge about the dimension of homotopy types? By the latter I mean the minimal number which is the dimension of a topological space representing the homotopy type. The open ...
5
votes
1answer
196 views

a question about Bockstein spectral sequence

I find the following theorem for Bockstein spectral sequence at http://pages.vassar.edu/mccleary/files/2011/04/MC10.fin_.pdf, page 459: Question. for a fixed $k$, if $\beta$ does not hit ...
6
votes
0answers
132 views

Intuition behind small object argument and cofibrantly generated model categories?

With regards to model categories, what is the intuition behind the small object argument and cofibrantly generated model categories?
5
votes
0answers
69 views

The behaviour of the suspension homomorphism on $H_*(QX;Z/p)$ for odd $p$ (Reference request)

The mod $p$ homology of $QX=\Omega ^{\infty}\Sigma ^{\infty}X$ for connected $X$ was computed by Dyer-Lashof Homology of Iterated Loop Spaces, Amer. J. of Math., vol.84, No.1 pp 35-88. 1962 It follows ...
0
votes
1answer
264 views

How do Schubert classes form a basis for $H^{*}(Gr(k, n))$?

I've gone through many texts in algebraic geometry, specifically, Schubert calculus. They all claim that the Schubert classes $[\Omega_{\lambda}]$ form a basis for the cohomology ring of the complex ...
3
votes
0answers
264 views

A question about cofibrations

Let $(X, A)$ be a cofibration, with $X$ compactly generated. This is equivalent to the fact that $A$ is a NDR of $X$, i.e., there exist two functions $\phi \colon X \rightarrow I$ e $H \colon X \times ...
7
votes
0answers
116 views

Associated graded of double Koszul dual

Let $k$ be a field, and let $A$ be a graded, connected, augmented, locally finite $k$-algebra. If $\Omega^* A$ denotes the cobar complex of $A$ (i.e., the dual $Hom_k(B_*(A), k)$ of the bar complex ...
8
votes
1answer
196 views

Is the action of $G$ on $H_1(T^n, \mathbb{Z}) = \mathbb{Z}^n$ faithful?

Let $G$ be a finite group of diffeomorphisms of the torus $T^n$ fixing some point $p$, i.e. $p$ is fixed by every element of $G$. I have two questions. Is the action of $G$ on $H_1(T^n, \mathbb{Z}) ...
6
votes
0answers
177 views

Is there an obstruction which classifies “quasi-isomorphism but not chain equivalence”?

Fix a ring $R$ and let $C_\bullet$, $D_\bullet$ be (possibly unbounded) chain complexes of $R$-modules. Assume that $f_\bullet:C_\bullet \to D_\bullet$ is a quasi-isomorphism: that is to say, $f$ is a ...
1
vote
0answers
79 views

coefficient of homology of configuration spaces over real projective spaces

In the slides Characteristic Classes of Surface Bundles and Configuration Spaces, Miguel A. Xicot'encatl, page 38, what is the coefficient of the following homology? Could the coefficient be an ...
16
votes
1answer
527 views

Finiteness Conjecture (New Doomsday conjecture)

This is completely out of curiosity. I wonder if there has been any recent progress reported on the Finiteness or New Doomsday conjecture, in the form of a talk, preprint or possibly a paper? Just ...
13
votes
2answers
649 views

Torsion-freeness of two groups with 2 generators and 3 relators and Kaplansky Zero Divisor Conjecture

Let $G_1$ and $G_2$ be the groups with the following presentations: $$G_1=\langle a,b \;|\; (ab)^2=a^{-1}ba^{-1}, (a^{-1}ba^{-1})^2=b^{-2}a, (ba^{-1})^2=a^{-2}b^2 \rangle,$$ $$G_2=\langle a,b \;|\; ...
10
votes
1answer
245 views

real and complex vector spaces as topological categories

Let $Vect_{\mathbb{R}}$ be the category of (say, finite dimensional) vector spaces over $\mathbb{R}$. The automorphism group of the object $\mathbb{R}^n\in Vect_{\mathbb{R}}$, is $GL_n(\mathbb{R})$. ...
4
votes
2answers
409 views

Generalized Jordan theorem and winding number

By the generalized Jordan theorem any continuous injective map $S^{n-1} \hookrightarrow R^n$ splits $R^n$ into two regions, one being bounded (interior) and the other one unbounded (exterior). It ...
6
votes
0answers
185 views

Reference request: Whitehead product and the Borel construction

This is a question about signs. Fix a based space $(X,x_0)$, a topological group $G$ acting on $X$ from the left, so that the basepoint $x_0$ is fixed, a based map $\alpha\colon S^p\to G$ ...
0
votes
1answer
171 views

Proper actions and diffeomorphism groups

Since the diffeomorphism group is not locally compact; is it true that there is no proper action of an infinite-dimensional diffeomorphism group on a finite-dimensional smooth manifold? Edit: The ...
20
votes
1answer
265 views

Primary obstruction to the existence of a cross-section of $V_{n - q}(\omega)$ is a cohomology class in $H^{2q+2}(B, \pi_{2q+1} V_{n - q}(F))$?

Let $V_{n - q}(\mathbb{C}^n)$ denote the complex Stiefel manifold consisting of all complex $(n - q)$-frames in $\mathbb{C}^n$, where $0 \le q < n$. This manifold is $2q$-connected, and$$\pi_{2q + ...
1
vote
0answers
68 views

Rational homotopy groups of unordered configuration spaces of the torus

Is there any computations or investigation about the rational homotopy groups of unordered configuration spaces of the torus? Any help is welcome
11
votes
3answers
384 views

$A_{\infty}$-structure on closed manifold

Is there an exmaple of a closed smooth connected manifold $M$ having a structure of $A_{\infty}$-space (with unit) but $M$ is not homeomorphic to a compact connectd Lie group as space ? Edit: First, ...
8
votes
1answer
236 views

“Lagrangian” subalgebra of cohomology, with respect to Poincare duality?

Let $M$ be a compact oriented $n$-manifold, and let $H^*(M)$ denote its cohomology ring with coefficients in $\mathbb{R}$. Let's say that a graded subalgebra $K^\bullet \subset H^\bullet(M)$ is a ...
13
votes
1answer
235 views

Do vanishing characteristic classes of the tangent bundle imply a manifold is stably frameable?

Suppose we know that all stable characteristic classes of the tangent bundle of a manifold $M$ vanish, i.e. the map $f:M\rightarrow BO$ stably classifying the tangent bundle is trivial on cohomology, ...
1
vote
0answers
110 views

Question concerning computing $\pi_1(\mathbb R^{3}-B)$ in Alexander Horned Sphere

I was studying an example of the Alexander Horned Sphere on page 171 of Allen Hatcher's book. The example computes the fundamental group $\pi_1(\mathbb R^{3}-B)$ of the complement of the sphere in ...
4
votes
0answers
78 views

Example request: seriously deficient homogeneous spaces

In a previous post, I cite a dimension condition commonly satisfied by homogeneous spaces and claim that a counterexample must have deficiency at least $3$. For convenience, I reproduce the definition ...
4
votes
0answers
63 views

A dimension condition on the cohomology of a homogeneous space

The rational cohomology of a homogeneous space $G/K$ admits a homomorphism from $H^*(BK)$ induced from the classifying map $G/K \to BK$ of the principal $K$-bundle $G \to G/K$. Assume the Lie group is ...
26
votes
1answer
411 views

Is there an explicit description of a cobordism between $\mathbb{CP}^n$ and $\mathbb{RP}^n\times\mathbb{RP}^n$?

With a little bit of work, one can show that $\mathbb{CP}^n$ and $\mathbb{RP}^n\times\mathbb{RP}^n$ have the same Stiefel-Whitney numbers, so by a theorem of Thom, they are (unorientedly) cobordant. ...
3
votes
0answers
127 views

isomorphism of Chern character in kk-theory

Suppose we work with Fréchet algebras. Cuntz defined kk-theory for those algebras and hence we have the notions of K-theory and K-homology for those algebras. Now suppose Chern character is ...
7
votes
1answer
234 views

Cap product on Leray-Serre spectral sequences

Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and ...
4
votes
0answers
170 views

Graph spectra and topology

This is a somewhat vague question, but I'm wondering if there has been any research into connections between the spectrum of a graph and some notion of the "topology" of that graph. To give an ...
10
votes
2answers
282 views

Rational homology sphere that is not Seifert manifold

I wonder if there is an example of rational homology sphere that is not a Seifert manifold. If there is, how can one construct such a rational homology sphere from a surgery of a knot in $S^3$?
6
votes
0answers
163 views

Bott-Samelson theorem for simplicial sets

Let $X\in \mathrm{sSet}$ and $FX$ be the Milnor's construction (model for $\Omega\Sigma |X|$) - in each dimension $n$ this is the free group on $X_n$ with one relation $*=1$. I'm interested in ...
8
votes
2answers
227 views

Topological Derivation of Leray Spectral Sequence

I'm interested in computing - to the extent possible - the Leray spectral sequence for a particular map which is almost, but not quite, a fiber bundle (e.g. a Seifert fiber space). The hardest step ...
16
votes
1answer
301 views

Is the restriction map for embeddings of manifolds with boundary a fibration?

Let $M$ and $W$ be smooth manifolds (possibly with boundary) and $V\subseteq W$ a submanifold. We have a map between embedding spaces $$Emb(W,M)\rightarrow Emb(V,M)$$ given by restriction. Richard ...
7
votes
1answer
191 views

Chern-Simons forms, characteristic numbers, and boundary terms?

For any principal $G$-bundle $P \to M$ with principal connection $\omega$, given a $G$-invariant polynomial $p: \mathfrak{g} \to \mathbb{R}$ we can construct a form $p(F_\omega)$ on $P$ which descends ...
10
votes
2answers
317 views

Stable homotopy groups of $RP^{\infty}$

Are the stable homotopy groups $\pi^s_i(\mathbb R P^{\infty})$ known for small $i$? In particular, I would be interested in the values for $i = 5,6$. A quick Internet search did not lead to anything.
2
votes
1answer
160 views

Holonomic splitting

I am reading the book "Introduction to the h-Principle" by Eliashberg and Mishachev. At the moment I try to understand the Section 1.7 Holonomic splitting on page 12 but without success. I do not ...
8
votes
1answer
140 views

Schur multiplier of $Sp(2g, \mathbb{Z}_2)$ for $g \geq 3$

This question is about the computation of $H_2(Sp(2g, \mathbb{Z}_2), \mathbb{Z})$, where $Sp(2g, \mathbb{Z}_2)$ is the group of symplectic $2g \times 2g$ matrices over $\mathbb{Z}_2$. With respect to ...
8
votes
1answer
245 views

$K$ theory and singular cohomology

For cell complexes${}^1$ $X$ we have an isomorphism $$ K^*(X)\otimes \mathbb{Q}\cong H^{*}(X;\mathbb{Q}), $$ which is induced by the Chern character. What is the analogous statement for $KO(X)$? ...
2
votes
0answers
102 views

The homology of $\varinjlim SO(p,q)$

Is there a way to explicitly compute the homology of the space $$ \varinjlim_{(p,q)} SO(p,q)^+, $$ where each $SO(p,q)$ is the indefinite special orthogonal group, and $SO(p,q)^+$ its identity ...
4
votes
1answer
100 views

Lifting a differential operator

Let $D$ be a differential operator acting between the spaces of smooth sections of two vector bundles $E,F$ over compact manifold $M$. If $M$ is not simply connected one can construct the universal ...
25
votes
0answers
352 views

What is the “real” meaning of the $\hat A$ class (or the Todd class)?

In the Atiyah-Singer index theorem as well as in the Grothendieck-Riemann-Roch theorem, one encounters either the $\hat A$-class or the Todd class, depending on the context. I want to focus on the ...
3
votes
0answers
100 views

Intersection patterns of loops on surfaces

Let $a,b$ be to simple closed loops on a surface $S$ with homologically trivial intersection (more generally I'm also interested in the case when $b$ is 1-codimensional). Denote their intersection on ...
3
votes
1answer
241 views

Differential characters, Chern-Simons forms, and differential cohomology

I've read through the classic Chern-Simons paper where they introduce the Chern-Simons forms. These are differential forms whose exterior derivative gives you the characteristic forms for any given ...
1
vote
1answer
269 views

research articles in topology/geometry [closed]

There is a saying "Do you read the masters?" I want to read some basic papers in Topology/geometry... I can not clearly state what is basic as of now... My back ground includes course in ...
4
votes
1answer
198 views

The fibration map $Diff(M) \rightarrow Emb(N,M)$

Let $M$ be a non-compact manifold, equipped with a (closed?) submanifold $N\subset M$. The action of $Diff(M)$ on the set of embeddings $N\hookrightarrow M$ induces a map $$ Diff(M) \rightarrow ...
2
votes
0answers
81 views

A Künneth-Theorem version for relative singular cohomology

I'm not an expert in algebraic topology, but sometimes I need some results from this area, for example tools to determine singular cohomology groups of product spaces. The Künneth-Theorem which I ...
3
votes
0answers
116 views

Is the bar construction of a CDGA model a Hopf algebra model for the loop space?

By a theorem of Adams, if $A = C^*(X;\mathbb{Q})$ is the CDGA of rational cochains on $X$ then the cohomology of the bar complex of $A$ is isomorphic to $H^*(\Omega X; \mathbb{Q})$ as a coalgebra (see ...
9
votes
0answers
296 views

Milnor-Stasheff Characteristic Classes Problem 7B, Borel 1953

There is the following Proposition 11.1 from Borel's 1953 paper La cohomologie mod 2 de certains espaces homogènes (see here). Proposition 11.1 The classes $w^i$ and $\overline{w}^j$ are related ...