Questions tagged [rational-homotopy-theory]
The rational-homotopy-theory tag has no usage guidance.
111 questions
9
votes
1
answer
2k
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 certainly not an ...
5
votes
3
answers
1k
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 the universal ...
4
votes
0
answers
236
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 $i$ an injection
$$ \...
5
votes
2
answers
879
views
Characterizing the rationalization of spaces.
In the category of rational spaces, loop spaces split as products of Eilenberg-Mac Lane
spaces and SUSPENSIONS split as wedges of (rational) spheres. I wonder if anything of the following form is ...
6
votes
0
answers
284
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-Mac Lane spaces.
...
6
votes
0
answers
422
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, Inv. Math. 29, 245-...
6
votes
1
answer
1k
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 $\mathbb{Q}$, and not ...
13
votes
3
answers
966
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 graded algebra (cdga) ...
13
votes
1
answer
1k
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 of $SO(3)$. By ...
7
votes
1
answer
597
views
Minimal models with local coefficients
Let $X$ be a path-connected nilpotent space (meaning $\pi_1(X)$ is nilpotent and acts nilpotently on the higher homotopy groups). Let $\rho\colon\thinspace\pi_1(X)\to \mathrm{Gl}(V)$ be a ...
18
votes
1
answer
991
views
Higher homotopy algebraic structure on the homology of an operad
Given a DGA $A$, then by standard techniques such as homological perturbation theory, the ring structure on the homology $H(A)$ extends to a minimal $A_\infty$-algebra structure such that $H(A)$ is ...