The image of the Hurewicz map for rational loop spaces

Question

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 K) \to H_*(\Omega K)$ carries brackets to Pontrjagin commutators (and if $K$ is a suspension, $h$ is universal enveloping). Thus the image of $h$ is a Lie subalgebra of $H_*(\Omega K)$.

My questions:

1. Must the Lie algebra $\pi_*(\Omega K)$ be finitely generated as a graded Lie algebra?
2. Must $h( \pi_*(\Omega K))$ be finitely generated as a graded Lie algebra?

Answer 1

Not an answer.

$h$ is already universal enveloping provided only that $K$ is the rationalization of a simply connected space; this is, for example, Theorem 21.5 in Felix, Halperin, and Thomas. In particular, $h$ is injective so the answer to the two questions is the same.

As for the actual question, for starters, there is a Lie model of $K$ (which is in particular a dg Lie algebra whose homology Lie algebra is $\pi_{\bullet}(\Omega K)$) whose underlying graded Lie algebra is freely generated by an element in each degree $i - 1$ for each $i$-cell of $K$, with differentials determined by the attaching maps. This is a corollary of Theorem 24.7 in Felix, Halperin, and Thomas. Conversely, given such a dg Lie algebra $L$ we can write down a finite CW complex which has it as a Lie model. So the question reduces to the following purely algebraic question:

Does a connected dg Lie algebra $L$ whose underlying graded Lie algebra is free on finitely many generators have a finitely generated homology Lie algebra?

I imagine someone knows the answer to the analogous question for connected dg algebras; that would be helpful as a guide.