All Questions
28 questions
3
votes
1
answer
246
views
Model structure on simply-connected topological spaces in which the weak equivalences are the rational homotopy equivalences
I recently started learning rational homotopy theory, and found the claim on page 7 of this survey that there is a suitable model category structure in which the weak equivalences are the rational ...
- 33
3
votes
0
answers
79
views
Rational model for composition of linear isometries
There is a composition map on spaces of linear isometries (over $\mathbb{C}$ say)
$$
\mathcal{L}(\mathbb{C}^k, \mathbb{C}^\ell) \times \mathcal{L}(\mathbb{C}^\ell, \mathbb{C}^m) \longrightarrow \...
- 901
15
votes
0
answers
317
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}=...
- 151
5
votes
1
answer
346
views
Analogues of Sullivan Theory at a prime for coformality
In rational homotopy theory, one can study the rational homotopy and cohomology categories via an algebraic structure, respectively the rational Lie Algebra model and the Sullivan cdga model.
If I am ...
- 2,152
5
votes
1
answer
223
views
Rational G-spectrum and geometric fixed points
For a finite group $G$, how is a rational $G$-spectrum $X$ detected by the geometric fixed point functor $\phi^H$ where we consider the conjugacy class of $H\leq G$? I tried finding a reference for ...
5
votes
1
answer
273
views
Monoidal Dold–Kan correspondence for non-connected CDGA
Why can't the monoidal Dold–Kan correspondence be extended to non-connected CDGAs over a field of characteristic 0?
I understand that there is a technical problem with the original proof due to ...
- 1,374
6
votes
1
answer
374
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 ...
- 1,969
3
votes
0
answers
145
views
Formality of Sullivan Representatives
Suppose we have a map $f : \mathcal{A} \to \mathcal{B}$ between two formal, simply connected CDGAs, with induced map on cohomology $H(f) : H(\mathcal{A}) \to H(\mathcal{B})$. Further, suppose we have ...
- 285
7
votes
1
answer
662
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:...
- 5,859
4
votes
0
answers
113
views
Does integration induce a Kan fibration between the mapping spaces of CDGAs and cochain complexes over $\mathbb{Q}$?
For two CDGAs $A$ and $B$ over $\mathbb{Q}$, the mapping space $\text{Map}_{CDGA}(A,B)$ is the simplicial set with $n$-simplices
$$
\Phi : A \to B \otimes \Omega^*(\Delta^n)
$$
and simplices maps ...
- 285
11
votes
1
answer
448
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.
- 965
14
votes
0
answers
318
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 ...
- 8,167
7
votes
1
answer
413
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 $\...
- 5,859
4
votes
1
answer
326
views
Rational homotopy type of rational mapping spaces
I was interested in the question of figuring out the rational homotopy type of mapping spaces (regular or rational) between two algebraic varieties over $\mathbb{C}$. I encountered the following paper ...
- 5,901
22
votes
1
answer
679
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 ...
- 8,167
9
votes
1
answer
556
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 $\...
- 305
30
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 ...
- 6,229
4
votes
0
answers
170
views
Relation between $Tor_{C^*(BG;K)}(K,K) $ and $K^G$?
Let $K$ be an algebraically closed field and $G$ a group.
Given a dg-algebra $A$, a left $A$-module $M$ and a right $A$-module $N$
let $Tor_A(M,N)$ denote the homology of the derived tensor product $M ...
- 1,361
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 ...
- 12.5k
30
votes
1
answer
787
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 ...
- 383
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 ...
- 25.6k
2
votes
1
answer
196
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.
...
- 403
5
votes
0
answers
138
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 ...
- 523
5
votes
0
answers
191
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 ...
- 403
2
votes
2
answers
246
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. ...
user62675
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 ...
- 3,423
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 ...
- 12.5k
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.
...
- 12.5k