2 problems

Let … be the homomorphism induced by the inclusion of the abelianization. Cokernel generation conjecture. The cokernel of $f$ is infinitely generated. Theorem 3.1 shows that $f$ is…

Let $H_*(\mathfrak{c}^+_\infty)^{\mathrm{Sp}}$ be the symplectic-invariant homology algebra, let $\mathcal{A}^+(\phi)$ be the subalgebra generated by the positive-degree elements o…