The planar bipartite graph basis conjecture for S(k,k,k,1n3k)S^{(k,k,k,1^{n-3k})}

Let AA be the set of planar bipartite graphs embedded in a disk satisfying the following conditions: there are nn boundary vertices, all in the same part of a bipartition; every interior vertex is connected to a boundary vertex; every interior vertex in the same bipartition part as the boundary vertices has degree 33 and is called negative; every other interior vertex has degree at least 33 and is called positive; the number of positive interior vertices minus the number of negative interior vertices is exactly kk; and there are no cycles of length less than 66. Let S(k,k,k,1n3k)S^{(k,k,k,1^{n-3k})} denote the corresponding Specht module. The planar bipartite graph basis conjecture. The cardinality of AA equals the dimension of S(k,k,k,1n3k)S^{(k,k,k,1^{n-3k})}:

A=dimS(k,k,k,1n3k).|A|=\dim S^{(k,k,k,1^{n-3k})}.

This proposes a combinatorial model, analogous to the A2A_2-web basis for S(k,k,k)S^{(k,k,k)}, for a basis of the indicated Specht module. The statement is presented as a potential candidate rather than an established result, and its resolution is not given in the source.

Sources & referencesView supporting material

Primary source

Jesse Kim, “An embedding of the skein action on set partitions into the skein action on matchings”, arXiv:2209.00837 (2022).

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.