The recursive demipotent conjecture for meet semi-lattices

About 16 years old · traced to

Let LL be a meet semi-lattice with a fixed linear extension, and let DD range over the valid diagrams of LL, meaning subsets containing the minimal elements and stable under joins. For each valid diagram DD, let CD=LDRDC_D=L_DR_D be the element constructed recursively from the restriction of LL and DD as in the branching construction. Recursive demipotent conjecture. The set

{CD∣D valid diagram}\{C_D\mid D\text{ valid diagram}\}

forms a set of demipotent elements for OR(L)\mathcal{OR}(L) which, after raising each element to a sufficiently high power, yields a set of primitive orthogonal idempotents. The claim would extend the branching decomposition from the discussed examples to arbitrary meet semi-lattices and provide primitive idempotents through powers of the recursively constructed elements. The supplied text presents it as conjectural and gives no resolution.

References

Primary source

Tom Denton, “Excursions into Algebra and Combinatorics at q=0”, arXiv:1108.4379 (2011).

Additional references

2 papers in this index state this conjecture (2010–2011). The statement above is taken from the most recent of them; the others are arXiv:1010.3455.

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.