Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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.
qqqqqqw's user avatar
  • 965
9 votes
1 answer
386 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
  • 383
7 votes
0 answers
436 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
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 ...
Andrea Marino's user avatar
3 votes
1 answer
194 views

Zero-divisors in a graded Lie algebra

Let $\mathfrak{g}$ be positively graded Lie algebra over $\mathbb{Q}$, concentrated in even degrees. Question: If $\mathfrak{g}$ is not free, must there exist linearly independent elements $a,b\in\...
Mark Grant's user avatar
  • 35.9k
3 votes
0 answers
122 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 ...
J. Darné's user avatar
  • 273