Stabilizer characterization conjecture for faces of permutation polytopes

Let GSnG\leq S_n be a permutation group, let HGH\leq G be a subgroup, and let P(G)P(G) and P(H)P(H) denote the associated permutation polytopes. For a partition

[n]:={1,,n}=iIi,[n]:=\{1,\ldots,n\}=\bigsqcup_i I_i,

write

stab(G;(Ii)i):={σG:σ(Ii)=Ii for all i}G.\operatorname{stab}(G;(I_i)_i):=\{\sigma\in G:\sigma(I_i)=I_i\text{ for all }i\}\leq G.

Stabilizer characterization conjecture. If P(H)P(G)P(H)\preceq P(G) is a face, then

H=stab(G;(Ii)i)H=\operatorname{stab}(G;(I_i)_i)

for some partition [n]=iIi[n]=\bigsqcup_i I_i.

The paper notes that stabilizers of partitions provide an obvious class of subgroups whose permutation polytopes are faces. The conjecture asks whether every subgroup yielding a face arises this way; its resolution is not given.

Sources & referencesView supporting material

Primary source

Barbara Baumeister, Christian Haase, Benjamin Nill and Andreas Paffenholz, “On permutation polytopes”, arXiv:0709.1615 (2007).

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.