Infinite generation and odd-degree generators of the symplectic commutative graph algebra

Let H(c+)SpH_*(\mathfrak{c}^+_\infty)^{\mathrm{Sp}} be the symplectic-invariant homology algebra, let A+(ϕ)\mathcal{A}^+(\phi) be the subalgebra generated by the positive-degree elements of A(ϕ)\mathcal{A}(\phi), and let

E=H(c+)Sp/I(A+(ϕ))\mathcal{E}=H_*(\mathfrak{c}^+_\infty)^{\mathrm{Sp}}/\mathcal{I}(\mathcal{A}^+(\phi))

be the resulting free graded commutative algebra. The conjecture. The free graded algebra E\mathcal{E} is infinitely generated, and there exist infinitely many generators with odd degrees. The preceding results identify the initial low-weight pieces of E\mathcal{E}, but do not determine its full generating set; the asserted infinite generation and odd-degree phenomenon remain open.

Sources & referencesView supporting material

Primary source

Shigeyuki Morita, Takuya Sakasai and Masaaki Suzuki, “Computations in formal symplectic geometry and characteristic classes of moduli spaces”, arXiv:1207.4350 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.