The rational-homotopy-theory tag has no usage guidance.

**31**

votes

**0**answers

927 views

### Finite complexes whose homotopy groups are not “finitely generated”

I'll say $K$ has "finitely generated" homotopy groups if there is a finite wedge of spheres $W = \bigvee S^{n_i}$ and a map $f: W\to K$ which induces a surjection on $\pi_*$.
It seems likely that ...

**22**

votes

**0**answers

550 views

### Software for rational homotopy theory

Does anybody know a software manipulating commutative differential graded algebras, and providing a computation of the minimal model? I tried to use the package DGAlgebras of Macaulay2, but I got ...

**14**

votes

**0**answers

1k views

### Mixed Hodge structure on the rational homotopy type

A mixed Hodge structure (mHs) on a commutative differential graded algebra (cgda) over $\mathbf{Q}$ is a mixed Hodge structure on the underlying vector space such that the product and the differential ...

**13**

votes

**0**answers

834 views

### Hodge star and harmonic simplicial differential forms

Is there a notion of harmonic forms and Hodge theory for Sullivan's piecewise smooth differential forms on a simplicial set?
Let me recall some background.
Hodge Theory on a Riemannian manifold
A ...

**6**

votes

**0**answers

168 views

### Rational Hodge Theory

I am currently learning about the formality result for Kaehler manifolds proved in DGMS. Their result uses some basic Hodge theory, and so only gives formality over $\mathbf{R}$. Later, however, ...

**6**

votes

**0**answers

298 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, ...

**5**

votes

**0**answers

180 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.
...

**4**

votes

**0**answers

225 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 intuition for me.
In ...

**4**

votes

**0**answers

199 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
$$ ...

**3**

votes

**0**answers

71 views

### Representing rational homotopy class by geometric objects

Given a smooth manifold $M$, we can study its rational homotopy type by looking at differential forms. I am wondering if there is a way to represent each $rational$ homotopy class by geometric ...

**0**

votes

**0**answers

41 views

### Relation between three simplicial Lie algebras associated to a simply connected CW comlpex?

Given a CW complex with 1 vertex, and no 1-cells, one can associate to it three simplicial Lie algebras, as follows:
First, fix some notation. If $\mathcal C$ is the category of groups, or Lie ...

**0**

votes

**0**answers

62 views

### Lusternik-Schnirelmann category of rational spaces of infinite type

Suppose I have an $n$-dimensional (simply-connected) rational space $X$ with L-S category $k$. Must there be a finite rational subcomplex $K \subseteq X$ with $\mathrm{cat}(K) = k$?
Even better, I ...