Kernel ideal conjecture for the two-differential form map
Let AnA_nAn be the free associative algebra and let φ(d,D):An→Ω(d,D)∗even\varphi(d,D):A_n\to\Omega(d,D)^{even}_*φ(d,D):An→Ω(d,D)∗even be the algebra map sending each generator xix_ixi to xix_ixi. For m1,m2,m3,m4∈Anm_1,m_2,m_3,m_4\in A_nm1,m2,m3,m4∈An,…