Cuspidal-principality conjecture for the oddball maximal order

Let O5,!\mathcal{O}_{5,!} be the oddball maximal order, and let Vec(O5,!)\operatorname{Vec}(\mathcal{O}_{5,!}) denote its vector part. A right ideal generated by x,yVec(O5,!)x,y\in\operatorname{Vec}(\mathcal{O}_{5,!}) is called right principal if it has the form rO5,!r\mathcal{O}_{5,!} for some rO5,!r\in\mathcal{O}_{5,!}. Cuspidal-principality conjecture. If x,yVec(O5,!)x,y\in\operatorname{Vec}(\mathcal{O}_{5,!}) and xO5,!+yO5,!x\mathcal{O}_{5,!}+y\mathcal{O}_{5,!} is not a right principal ideal, then there exist rO5,!r\in\mathcal{O}_{5,!} and S0,1,2,3,4S\subset\\{0,1,2,3,4\\} with S=4|S|=4 such that

\\{x,y\\}=\left\\{2r, r\left(\sum_{j\in S}i_j\right)\right\\}.

This claims that the displayed nonprincipal pair is essentially the only obstruction to cuspidal principality for O5,!\mathcal{O}_{5,!}; the source provides no resolution.

Sources & referencesView supporting material

Primary source

Taylor Dupuy, Anton Hilado, Colin Ingalls and Adam Logan, “The Basic Theory of Clifford-Bianchi Groups for Hyperbolic n-Space”, arXiv:2407.19122 (2024).

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.