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

About 3 years old · traced to

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⁡(dg→sdg).{\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 sdg≅eg{\mathfrak{s}}{\mathfrak{d}}{\mathfrak{g}}\cong{\mathfrak{e}}{\mathfrak{g}}; equivalently,

ker⁡(πe:dg→⨁n≥1Q[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.

References

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.