The pointedness conjecture for highway-path homology classes

Let SS be an orientable surface and let u,vu,v be boundary vertices. Fix a basepath pp from uu to vv, and let H(u,v)H(u,v) be the set of homology classes [q\boldsymbol{\u}\cup p^*]\in H_1(S,\mathbb{Z}), where qq ranges over all highway paths from uu to vv. A subset of Zn\mathbb{Z}^n is called a polyhedron if it is the intersection of Zn\mathbb{Z}^n with a polyhedron in Rn\mathbb{R}^n, and a polyhedron is pointed if it contains no line. Pointedness conjecture. The set H(u,v)H(u,v) is a pointed polyhedron. This strengthens the known containment of H(u,v)H(u,v) in the polyhedron defined by the affine inequalities q,rp,r\langle q,r\rangle\geq\langle p,r\rangle for each snake path or cycle rr; proving pointedness would clarify the structure underlying the associated generating functions.

Sources & referencesView supporting material

Primary source

Thomas Lam and Pavlo Pylyavskyy, “Crystals and total positivity on orientable surfaces”, arXiv:1008.1949 (2010).

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.