Brown's even-part conjecture for the depth graded motivic Lie algebra

Let dg{\mathfrak{d}}{\mathfrak{g}} be the depth graded motivic Lie algebra, let sdg{\mathfrak{s}}{\mathfrak{d}}{\mathfrak{g}} be the subalgebra generated by the non-exceptional elements, and define

e:=ker(dgsdg).{\mathfrak{e}}:=\ker({\mathfrak{d}}{\mathfrak{g}}\to{\mathfrak{s}}{\mathfrak{d}}{\mathfrak{g}}).

Here e{\mathfrak{e}} is the ideal generated by the exceptional generators, and πe\pi_e denotes projection to the totally even part. Even-part conjecture. Projection to the totally even part kills e{\mathfrak{e}} and induces an isomorphism sdgeg{\mathfrak{s}}{\mathfrak{d}}{\mathfrak{g}}\cong{\mathfrak{e}}{\mathfrak{g}}; equivalently,

ker(πe:dgn1Q[z02,,zn2])=e.\ker\left(\pi_e:{\mathfrak{d}}{\mathfrak{g}}\to\bigoplus_{n\geq 1}\mathbb{Q}[z_0^2,\ldots,z_n^2]\right)={\mathfrak{e}}.

The conjecture is intended to identify the non-exceptional depth-graded Lie algebra with its totally even quotient and thereby explain the totally odd dimension conjecture.

Sources & referencesView supporting material

Primary source

Adam Keilthy, “Relating depth graded and block graded motivic Lie algebras”, arXiv:2307.08089 (2023).

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.