Cuspidal-principality conjecture for the oddball maximal order

About 2 years old · traced to

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,y∈Vec⁡(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 r∈O5,!r\in\mathcal{O}_{5,!}. Cuspidal-principality conjecture. If x,y∈Vec⁡(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 r∈O5,!r\in\mathcal{O}_{5,!} and S⊂0,1,2,3,4S\subset\\{0,1,2,3,4\\} with ∣S∣=4|S|=4 such that

x,y={2r,r(∑j∈Sij)}.\\{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.

References

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.