1
vote
1answer
110 views
sufficient conditions for rational homotopy equivalence
Is it true that if a finite CW complex $X$ is simply connected, and $\tilde{H}_i(X, \mathbb{Q}) =0$ for $i \neq D$, then $X$ is rationally homotopy equivalent to a bouquet of $D$-d …
4
votes
0answers
132 views
Is there a picture I should have in my head of rational homotopy equivalence?
My understanding is that one thinks to rational homotopy theory for computational advantage. However, thinking about things in terms of localizations still lacks some amount of in …
3
votes
3answers
233 views
Equivariant Cohomology for actions with finite stabilizers
Let $X$ be a reasonable topological space (let's say it has the homotopy type of a CW complex) and let $G$ be a topological group acting on that space. Let $E_G \rightarrow B_G$ be …
2
votes
1answer
102 views
Equivariant cohomology of finite group actions and invariant cohomology classes
Let $W$ be a finite group acting on a space $X$. In what generality is it true that $H^*_W(X) = H^* (X)^W$? We always have a map $H^*_W(X) \rightarrow H^* (X)^W$, but it is certai …
8
votes
1answer
302 views
rational homotopy of a manifold
Given a finite dim rational homotopy type satisfying Poincaré duality,
what is the best reference to when it is the rational homotopy type of a fin dim manifold?
4
votes
0answers
150 views
Leray degeneration for smooth projective morphisms and formality of families of compact Kähler manifolds
Let $\pi \colon X \to S$ be a smooth projective morphism of algebraic varieties, say over $\mathbf C$. By Deligne's argument ("Théorème de Lefschetz...", 1968), there is for each $ …
6
votes
1answer
853 views
Mysterious property of $\mathbb{Q}$
Hi,
I am currently working through the paper by Bousfield and Gugenheim on rational homotopy theory, and have come to a point where they show why it is important to work over $\ma …
6
votes
0answers
227 views
Formality of algebraic varieties via l-adic cohomology?
The cohomology with say real coefficients of any smooth projective algebraic variety is formal, by
Deligne, Griffiths, Morgan, Sullivan: Real homotopy theory of Kähler manifolds, …
5
votes
0answers
142 views
Reference request: splittings in rational homotopy theory
It is well known that for simply-connected rational spaces,
every suspension splits as a wedge of rational spheres and
every loop space splits as a product of rational Eilenberg- …
4
votes
2answers
371 views
Is the polynomial de Rham functor a Quillen equivalence?
It is known that the rational homotopy theory of spaces (e.g. simplicial sets) is equivalent in some sense to the homotopy theory of cdgas over $\mathbb{Q}$. This has been expresse …
21
votes
2answers
1k views
A non-formal space with vanishing Massey products?
Let $X$ be a polyhedron. For each $n$-dimensional face $f$ of $X$ fix a homeomorphism $\sigma_f:\triangle^n\to f$ where $\triangle^n$ is the standard $n-$simplex so that whenever $ …
18
votes
5answers
1k views
Poincare duality and the $A_\infty$ structure on cohomology
If $X$ is a topological space then the rational cohomology of $X$ carries a canonical $A_\infty$ structure (in fact $C_\infty$) with differential $m_1: H^*(X) \to H^{*+1}(X)$ vanis …
6
votes
1answer
431 views
Homotopy type of the self-homotopy equivalences of a bouquet of spheres
Before I state the questions I have in mind, let me give some background. If one considers $S^2$ then it is known due to Kneser that $\textrm{Homeo}^{+}(S^2)$ has the homotopy type …
8
votes
2answers
465 views
Reference for functors in Kadeishvili’s C_\infty paper
In his paper Cohomology $C_\infty$-algebra and rational homotopy type, Tornike Kadeishvili describes how the rational cohomology of a simply-connected space carries the structure o …
11
votes
3answers
645 views
Rational homotopy theory of a punctured manifold
Let $M$ be a smooth simply connected manifold and let $N$ be $M$ minus a point. Is it possible to construct an explicit Sullivan model for $N$ (i.e. a commutative differential grad …

