Zigzag structure of direct products of polygons

Let CpC_p and CqC_q be polygons, and set

t=gcd(p,q),s=pqt2.t=\gcd(p,q),\qquad s=\frac{pq}{t^2}.

Write zz for the multiset of zigzag lengths and multiplicities, and IntInt for intersection vectors. Product-of-polygons conjecture. For the direct product Cp×CqC_p\times C_q: if p,qp,q are both even, then z=(2ts)6tz=(2ts)^{6t} with Int=(0,2s)tInt=(0,2s)^t for every zigzag; if exactly one of p,qp,q is odd, then z=(2ts)6tz=(2ts)^{6t}, with Int=(0,s)2tInt=(0,s)^{2t} for 4t4t zigzags and Int=(s,s)tInt=(s,s)^t for the remaining 2t2t zigzags; and if p,qp,q are both odd, then z=(2ts)2t,(4ts)2tz=(2ts)^{2t},(4ts)^{2t}, with Int=(s,s)tInt=(s,s)^t for zigzags of length 2ts2ts and Int=(2s,2s)tInt=(2s,2s)^t for zigzags of length 4ts4ts. The conjecture was checked for p,q15p,q\leq 15; its general validity remains unresolved in the supplied text.

Sources & referencesView supporting material

Primary source

Michel Deza and Mathieu Dutour, “Zigzag structure of complexes”, arXiv:math/0405279 (2004).

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.