Questions tagged [rational-homotopy-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
38 votes
2 answers
2k 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 ...
Jeff Strom's user avatar
  • 12.5k
30 votes
1 answer
755 views

Is a filtered colimit of rational spaces again rational?

Let me first explain the statement of the question and then give some indication why the answer might be 'yes'. By a space I mean, say, a simplicial set and by rational I mean rational in the sense of ...
Thomas Nikolaus's user avatar
29 votes
6 answers
3k 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^\ast(X) \to H^{\ast+1}(X)$ vanishing and ...
Jeffrey Giansiracusa's user avatar
29 votes
1 answer
1k 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 ...
Paolo Salvatore's user avatar
28 votes
3 answers
2k 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 $f$ is a face of $f'$ ...
algori's user avatar
  • 23.2k
27 votes
1 answer
3k 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 ...
algori's user avatar
  • 23.2k
26 votes
2 answers
2k views

Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if its commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...
archipelago's user avatar
  • 2,964
22 votes
1 answer
643 views

When does rationalization commute with homotopy fixed points?

Let $X$ be a $G$-space. There are a number of places in the literature where one can find the claim that under certain conditions rationalization and taking homotopy fixed points with respect to a ...
skupers's user avatar
  • 7,923
19 votes
0 answers
1k 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 ...
Jeffrey Giansiracusa's user avatar
18 votes
1 answer
961 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 ...
Jeffrey Giansiracusa's user avatar
17 votes
3 answers
2k views

Homology of spectra vs homology of infinite loop spaces

Let $X$ be a CW complex and let $\Sigma^\infty X$ denote its suspension spectrum. By definition, the $n$th singular homology group of $\Sigma^\infty X$ with coefficients in $\mathbb{Z}$ is $\pi_n(\...
user avatar
16 votes
1 answer
654 views

Rational homotopy groups of a projective hypersurface

Let $X$ be a smooth projective hypersurface in $\mathbb{P}^n$. Has anyone computed the rational homotopy groups $\pi_i(X)\otimes \mathbb{Q}$ of $X$? I tried Google, but did not find anything. One ...
H. Tzyn's user avatar
  • 161
16 votes
2 answers
1k views

rationalization of classifying spaces

This question is probably trivial for anyone who is more familiar with rational homotopy theory than me, but anyway: Let $G$ be a simply-connected topological group. In particular, it is an $H$-...
Ulrich Pennig's user avatar
16 votes
0 answers
322 views

Rational equivalence of smooth closed manifolds

All spaces below will be assumed simply connected. A continuous map is a rational equivalence if it induces an isomorphism of the rational homology groups. Two spaces are rationally equivalent if they ...
algori's user avatar
  • 23.2k
15 votes
0 answers
272 views

Does there exist a closed 4-manifold whose $\pi_2$ contains torsion elements

Does there exist a closed 4-manifold $X$ such that $\pi_2(X)$ contains torsion elements? And, if so, does there exist a closed 4-manifold $X$ such that $\pi_2(X)\neq 0$ but $\pi_2(X)\otimes \mathbb{Q}=...
Boyu Zhang's user avatar
14 votes
0 answers
306 views

Do Sullivan's and Wilkerson's algebraic group structures on rational homotopy automorphisms coincide?

For a 1-connected space $X$ with the homotopy type of a finite CW-complex, the homotopy automorphisms $\pi_0\,\mathrm{hAut}(X)$ are known to have the structure of an arithmetic group up to finite ...
skupers's user avatar
  • 7,923
13 votes
6 answers
4k views

What is the best way to study Rational Homotopy Theory

I studied basic algebraic topology elements: fundamental group, higher homotopy groups, fibre bundles, homology groups, cohomology groups, obstruction theory, etc. I want to study Rational Homotopy ...
13 votes
2 answers
1k views

The cohomology plus what characterizes the rational homotopy type?

For simplicity let me work only with connected and simply connected spaces. "Space" will mean a space of this type. A space is rational if its homotopy groups are rational vector spaces (...
Chris Schommer-Pries's user avatar
13 votes
3 answers
936 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) ...
algori's user avatar
  • 23.2k
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 ...
Somnath Basu's user avatar
  • 3,403
13 votes
1 answer
464 views

A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...
Dan Petersen's user avatar
  • 39.2k
12 votes
2 answers
788 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 of a $C_\infty$-...
Mark Grant's user avatar
11 votes
1 answer
425 views

Rational homology of $\Omega^2 ( \mathbb CP^n \vee S^d)$

What is the rational homology of $\Omega^2 ( \mathbb CP^n \vee S^d)$? Here $\Omega$ denotes based loop space.
qqqqqqw's user avatar
  • 915
10 votes
1 answer
771 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?
Jim Stasheff's user avatar
  • 3,840
10 votes
2 answers
454 views

Rational parameterized spectra

Consider the homotopical category of rational dg-modules. I suppose this ought to present the rationalization of the homotopy theory of parameterized spectra. Has such "rational parameterized stable ...
Urs Schreiber's user avatar
10 votes
0 answers
292 views

Closed geodesics on closed manifolds

There is (or was) a notorious open problem (see e.g. this survey by Keith Burns and Vladimir Matveyev from 2013) in differential geometry: Conjecture. Let $M$ be a closed (compact, with empty boundary)...
Moishe Kohan's user avatar
  • 9,664
9 votes
1 answer
547 views

Formality over $\mathbb{R}$ vs formality over $\mathbb{Q}$

On ncatlab page on formality, it is stated that Deligne--Griffiths--Morgan--Sullivan proved that the real homotopy type of a closed Kaehler manifold is formal. Later, Sullivan "improved" this to $\...
man's user avatar
  • 305
9 votes
2 answers
2k 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 expressed in various forms ...
Akhil Mathew's user avatar
  • 25.3k
9 votes
1 answer
367 views

Different definitions of formality for groups

Let $X$ be a space with fundamental group $G$. Recall that the de Rham fundamental group of $X$ is the inverse limit of the Malcev completions of the nilpotent truncations of $G$. This has a Lie ...
Tina's user avatar
  • 373
9 votes
1 answer
213 views

Almost free circle actions on spheres

$\DeclareMathOperator{\Fix}{\operatorname{Fix}}$I am looking for any reference regarding the following problem: Problem: Consider a smooth almost-free action of $S^1$ on a smooth sphere $S^n$. Then ...
CuriousUser's user avatar
  • 1,420
9 votes
1 answer
333 views

Explicit calculations of small homotopy limits of CDGAs

I would like to carry out explicit calculations of homotopy limits of certain simple diagrams of CDGAS. My set-up is the following : I have a finite graded poset $R$ with minimal element $0$ and a ...
Olivier Bégassat's user avatar
9 votes
0 answers
177 views

Does real formality descend to rational formality for operads?

A classical theorem in rational homotopy theory says that a space is formal over $\mathbb{Q}$ iff it is formal over any field of characteristic zero. In other words, the algebra $A^*_{PL}(X)$ is ...
Najib Idrissi's user avatar
8 votes
2 answers
405 views

Is there a proof of the formality of configuration spaces of Euclidean spaces that do not involve operads?

By "configuration spaces of $\mathbb{R}^n$" I mean ordered configuration spaces:$$\operatorname{Conf}_k(\mathbb{R}^n) = \{ (x_1,\dots,x_k) \in (\mathbb{R}^n)^k \mid x_i \neq x_j, \, \forall i \neq j \}...
Najib Idrissi's user avatar
8 votes
0 answers
131 views

Rational homotopy type of Hilbert scheme components

What is known about rational homotopy type of irreducible component of $Hilb^n(\mathbb C^k)$ containing configuration space? I've searched arXiv for a while and found nothing but surmise that Betti ...
Denis T's user avatar
  • 4,416
7 votes
1 answer
1k 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 ...
Edgar's user avatar
  • 435
7 votes
1 answer
410 views

Is there a topological interpretation of a module over $\Omega_{PL}(X)$?

Associated to a DGCA (differential graded commutative algebra) $A$, we can associate to it the category of modules over $A$. Hence, for a space $X$ we can consider the category of modules over $\...
Connor Malin's user avatar
  • 5,191
7 votes
1 answer
572 views

Are exterior algebras intrinsically formal as associative dg algebras?

(Cross-posted from mathematics stackexchange.) Fix a finite dimensional vector space $V$ over a field of characteristic zero, and let $R=Sym(V[1])$ be the free graded commutative algebra generated by ...
TBRS's user avatar
  • 73
7 votes
1 answer
829 views

Schematization of a topological space

I wanted to understand or at least to know if what follows make sense. Given a connected toplogical space $X$, I want to associate a scheme. In the following way. For a space $X$ and $A(X)$ the ...
lilia's user avatar
  • 235
7 votes
1 answer
642 views

Diagonal maps, Goodwillie calculus, and $T(n)$ local homotopy theory

Here is a collection of facts that all seem true, but together seem to give a nonsensical solution: After $T(n)$-localization, all natural transformations $F \sim G$ between homogenous functors $F,G:...
Connor Malin's user avatar
  • 5,191
7 votes
1 answer
578 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 ...
Mark Grant's user avatar
7 votes
0 answers
127 views

Existence of relative equivariant minimal models

In equivariant rational homotopy theory the existence of minimal models (i.e. the equivariant generalization of minimal Sullivan models) has been established by Triantafillou (jstor:1999119) and Scull ...
Urs Schreiber's user avatar
7 votes
0 answers
420 views

Reconstructing a nilpotent Lie algebra from its cohomology with $A_{\infty}$-structure

Let $L$ be a nilpotent Lie algebra (over a field of char 0) and $CE^{\bullet}(L)$ be its Chevalley-Eilenberg dg-algebra. By homotopy transfer, there exists a structure of an $A_{\infty}$-algebra on ...
Grisha Papayanov's user avatar
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 ...
Brian Robertson's user avatar
6 votes
2 answers
305 views

a comparison between LS and cohomological dimension

Let $X$ a simply connected elliptic space. Assume $\pi_\star(X)\otimes\Bbb{Q}$ is concentrated in odd degrees. So, we have $dim~\pi_\star(X)\otimes\Bbb{Q}=TC(X_\Bbb{Q})=catX_\Bbb{Q}$ (ie) the ...
tarik's user avatar
  • 121
6 votes
1 answer
311 views

Does the Lie algebra structure on rational homotopy groups reflect similar information to the formal group structure in characteristic p?

It's well known (c.f. Quillen and Sullivan) that the rational homotopy theory of spaces is equivalent to the homotopy theory of rational DG-algebras; in particular, rational spaces and rational ...
Doron Grossman-Naples's user avatar
6 votes
1 answer
621 views

Rational homotopy type of a complement

Let $X$ and $X'$ be smooth closed manifolds. Take closed subpolyhedra $D\subset X$ and $D'\subset X'$ (with respect to some triangulations) and let $f:X\to X'$ be a homotopy equivalence such that $f(D)...
algori's user avatar
  • 23.2k
6 votes
1 answer
403 views

Homotopy equivalence vs gauge equivalence

Let $(\mathfrak{g},[-,-])$ be a pronilpotent Lie algebra (considered of degree zero). We can consider $(\mathfrak{g},[-,-])$ as a differential graded Lie algebra endowed with the $0$-differential. Let ...
Cepu's user avatar
  • 1,424
6 votes
0 answers
227 views

Different rational homotopy type with generators of different degree but cohomology algebras same

There are manifolds (rationally elliptic) $M_1$ and $M_2$ of different rational homotopy types but their rational cohomology algebras coincide. Such examples were discussed in Nishimoto, Shiga, ...
piper1967's user avatar
  • 1,059
6 votes
0 answers
246 views

Model structure on dg-algebras over an "equivariant fundamental category"?

For purposes of $G$-equivariant rational homotopy theory one wants a Quillen adjunction which generalizes the classical one of Bousfield-Gugenheim from plain dg-algebras/simplicial-sets to (co-)...
Urs Schreiber's user avatar
6 votes
0 answers
132 views

On the weak homotopy type of a differentiable (Chen) space

Suppose that $M$ is a differentiable space in the sense of Chen (cf. https://ncatlab.org/nlab/show/Chen+space ). Assume that $M$ also has the structure of a topological space and that the two ...
John Klein's user avatar
  • 18.6k