The recursive demipotent conjecture for meet semi-lattices

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

{CDD 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.

Sources & referencesView supporting material

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.