# Questions tagged [rational-homotopy-theory]

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

79
questions

**4**

votes

**0**answers

167 views

### Modelling rational spaces of finite $\mathbb{Q}$-type with spaces with finite simplices in every simplicial dimension

EDIT 2
Original question below. I will award the outstanding bounty for an answer to the following question (question (2) in the OP).
Let $X$ be a Kan complex which is connected, nilpotent, and of ...

**2**

votes

**0**answers

207 views

### Rational homotopy theory [closed]

I am trying to read the paper "Rational homotopy theory " by Quillen and am stuck with the notion of complete augmented algebra. He had defined the complete augmented algebra and I don't understand ...

**7**

votes

**1**answer

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

**8**

votes

**1**answer

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

**5**

votes

**0**answers

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

**2**

votes

**0**answers

136 views

### Homology of homotopy fiber of inclusion

We consider an inclusion $j: A \hookrightarrow X$. Let $A_j = A \times_X PX$ be the homotopy fiber (which is the fiber of the fibration associated to $j$). The space $PX$ there is the Moore path space ...

**21**

votes

**1**answer

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

**5**

votes

**0**answers

111 views

### Analog of cellular approximation theorem for $CW_0$-complexes ($CW_\mathcal P$-complexes)

$CW_0$-complexes are analogs of $CW$-complexes, in which the "building blocks" are the rational disks $D^{n+1}_0$ whose boundaries are given by $\partial D^{n+1}_0= S^n_0$, where $S^n_0$ is a ...

**1**

vote

**0**answers

114 views

### PD model for CDGA over the integers

Lambrechts and Stanley constructed Poincaré duality model for cdga over a field with simply connected cohomology. Are there construction of PD model for CDGA over integer coefficients?

**13**

votes

**3**answers

852 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(\...

**2**

votes

**1**answer

167 views

### Rationalization of topological groups and degree maps

Suppose $G$ a finitely generated nilpotent topological group and we consider its rationalization $G_\mathbb{Q}$. This space may fail to be a topological group, but it's always a group-like H-space.
...

**5**

votes

**0**answers

152 views

### DG-Modules over CDG-algebras in the sense of rational homotopy theory

I don't know if this question is elementary or not. Suppose we have a rationalization $X_\mathbb{Q}$ of a simply connected topological space $X$. Then we can construct a CDG-algebra - a minimal ...

**9**

votes

**1**answer

492 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 $\...

**3**

votes

**0**answers

88 views

### It there a nice way to describe the structure of Malcev-complete groups?

Let $\mathbb k$ be a field of characteristic zero. The grouplike functor $\mathbb G$ from complete Hopf algebras to groups is a faithful functor. Its image is the category of Malcev-complete groups ...

**1**

vote

**1**answer

257 views

### Formality of surfaces

The de Rham dg algebra $\Omega(F)$
of a closed orientable surface $F$
is formal
(that is, weakly equivalent to its cohomology algebra).
This is a special case of the fact of formality of Kähler ...

**5**

votes

**2**answers

230 views

### Naturality of PD model of a CDGA

In the paper "Poincaré duality and commutative differential graded algebras", Lambrechts and Stanley constructed PD model for cdga with simply connected cohomology. My question is: if $A$ and $B$ are ...

**-5**

votes

**1**answer

315 views

### Computing $H^*(BDiff(W_{\infty},D^{\infty});\mathbb{Q})$ via Mumford-Morita-Miller classes

Galatius and Randal-Williams proved the following generalized Mumford conjecture in their joint paper, "Stable Moduli spaces of High Dimensional Manifolds". For each characteristic class of oriented $...

**3**

votes

**1**answer

212 views

### Formal complex manifold without dd^c

Is there an example of compact complex manifold, which is formal, but does not admit complex structure satisfying $dd^c$-lemma?

**0**

votes

**1**answer

110 views

### Compute the rational cohomology ring $H^*(M;\mathbb{Q})$ of a product of Lie groups (and their quotients)

As the following product is a bit unfamiliar to me:
How do we compute the rational cohomology ring $H^*(M;\mathbb{Q})$ of the product of Lie groups:
$M=SO(n_1)\times U(n_2)\times SU(n_3)\times (...

**2**

votes

**1**answer

277 views

### Relationship between the Betti numbers $b_i(M;\mathbb{Q})$ and the dimension of rational homotopy $\dim_{\mathbb{Q}}\pi_i(M)\otimes\mathbb{Q}$

What is the relationship between the Betti numbers $b_i(M;\mathbb{Q})=rkH_i(M;\mathbb{Q})$ of a simply connected closed Riemannian manifold $M$ and the dimension of rational homotopy $\dim_{\mathbb{Q}}...

**7**

votes

**0**answers

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

**2**

votes

**1**answer

611 views

### Show that the rational cohomology ring $H^*(M;\mathbb{Q})$ needs at least two generators

Let $M$ be a simply connected closed Riemannian manifold. How does one find a necessary condition going both ways that may be imposed on $M$ (perhaps on the curvature of $M$ and on torsion) which ...

**4**

votes

**0**answers

75 views

### Finite spatial realization of relative minimal sullivan models

In their book "Algebraic Models in Geometry" (Felix, Oprea, Tanre) the authors claim that:
"Each finite type relative minimal cdga $(∧V ⊗∧W,D)$ is the relative minimal model of a fibration $p: E → B$ ...

**15**

votes

**1**answer

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

**7**

votes

**1**answer

252 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 \}...

**3**

votes

**0**answers

140 views

### Completion of coalgebras

Is it possible to complete commutative dg associative (conilpotent) coalgebras over $\mathbb{Q}$ in a way so that when we complete the symmetric coalgebra $Sym(V)$ it becomes completed with respect to ...

**3**

votes

**1**answer

198 views

### Jacobian and configuration space and massey products

Let $X$ be a comapct Riemann surface of genus $g$ and let $J\: : \: X\to \mathbb{C}^{g}/\Lambda$ be the Abel-Jacobi map. This map is a smooth embedding. Let $p\in X$ such that $J(p)=\Lambda$ and ...

**6**

votes

**2**answers

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

**2**

votes

**0**answers

81 views

### odd spectral sequence

let $(\Lambda V,d)=(\Lambda (a_1,...a_n),d)$ be a graded commutative differential algebra, and $(\tau;a_1,...a_n)$ be a connected, finite c-finite tower with odd spectral sequence $(E_i,d_i)$.
Assume $...

**3**

votes

**1**answer

196 views

### Is a simply connected elliptic space rationally homotopy equivalent to a loop space or a suspension?

Let $X$ be an elliptic simply connected space. Is it rationally homotopy equivalent to the suspension of some connected space $Y$? If not, is it rationally homotopy equivalent to a loop space?

**6**

votes

**1**answer

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

**7**

votes

**0**answers

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

**1**

vote

**0**answers

340 views

### Rational homotopy and l-adic cohomology

In rational homotopy theory there is a basic construction which, given a prime number $l$ and a $CW$-complex $X$, produces a localized space $X_l$ equipped with a map $X\rightarrow X_l$ that induces ...

**10**

votes

**2**answers

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

**30**

votes

**1**answer

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

**4**

votes

**2**answers

306 views

### cohomology of configuration space of punctured variety

Given a smooth projective variety $X$ of dimension $l$, we denote with $F(X,n)$ the configuration space of points
$$
F(X,n):=\{(x_{1}, \dots, x_{n})\in X^{n}\: : \: x_{i}\neq x_{j}\text{ for each }i,j ...

**9**

votes

**1**answer

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

**2**

votes

**0**answers

173 views

### A question about the definition of complete dg Lie algebras in a paper of Lazarev and Markl

In their paper Disconnected Rational Homotopy Theory, Lazarev and Markl give the following definition (page 23):
Definition: A complete differential graded Lie algebra is an inverse limit of finite-...

**7**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

78 views

### Is the functor of PA forms known to be equivalent to the functor of PL forms for noncompact spaces?

In the following paper:
Robert Hardt, Pascal Lambrechts, Victor Turchin, and Ismar Volić, Real homotopy theory of semi-algebraic sets, Algebr. Geom. Topol. 11 (2011), no. 5, 2477–2545.
the authors ...

**5**

votes

**0**answers

170 views

### Example request: equivariant formality versus formality for homogeneous spaces

Recall that a continuous action of a compact Lie group $T$ on a space $X$ is said to be equivariantly formal if the Borel equivariant cohomology $H^*(X \times_T ET;\mathbb Q)$ surjects through ...

**6**

votes

**1**answer

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

**3**

votes

**0**answers

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

**2**

votes

**2**answers

234 views

### Convergence of a sum with the ranks of homotopy groups

Let $F$ be a (nontrivial) topological space that satisfies the following conditions: 1) $\pi_n(F)$ has a trivial action of $\pi_1(F)$ for $n>0$ and 2) its homology groups are finitely generated. ...

**4**

votes

**1**answer

256 views

### The image of the Hurewicz map for rational loop spaces

Let $K$ be the rationalization of a simply-connected finite CW complex. Then the Samelson product gives $\pi_*(\Omega K)$ the structure of a graded Lie algebra, and the Hurewicz map
$h: \pi_*(\Omega ...

**2**

votes

**1**answer

137 views

### natural co-product on minimal Sullivan model

Let M be a compact manifold. The diagonal $M \rightarrow M \times M$ induces
co-product on singular cohomolgy $H^*(M) \rightarrow H^*(M) \times H^*(M)$ via Poincare duality.
I would like to know if ...

**4**

votes

**1**answer

148 views

### Hochschild chain model for the evaluation map at half

Let M be a manifold and $\Lambda(M)$ its free loop space, $A= C^*(M)$ denotes the cochain algebra of $M$. We know that Hochschild chain model for the evaluation $ ev_0: \Lambda(M) \rightarrow M$ is ...

**37**

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

**12**

votes

**1**answer

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