Friedl–Tillmann invariance conjecture for marked polytopes

Let GG be a group admitting a nice (2,1)(2,1)-presentation fπ=x,yrf\pi=\langle x,y\mid r\rangle, and let MπH1(G;R)\mathcal{M}_\pi\subset H_1(G;\mathbb{R}) be its associated marked polytope. Friedl–Tillmann invariance conjecture. The marked polytope Mπ\mathcal{M}_\pi is an invariant of GG up to translation. More formally, if f ⁣:GπGπf\colon G_\pi\to G_{\pi'} is an isomorphism of groups associated to (2,1)(2,1)-presentations π\pi and π\pi', then the associated polytopes satisfy

Pπ=PT(f)(Pπ)PT(Hπ),\mathcal{P}_{\pi'}={{\mathcal{P}_T}}(\overline{f})(\mathcal{P}_\pi)\in {{\mathcal{P}_T}}(H_\pi),

where f ⁣:HπHπ\overline{f}\colon H_\pi\to H_{\pi'} is the isomorphism between the free parts of the abelianisations of GπG_\pi and GπG_{\pi'} induced by ff. The conjecture addresses whether the marked polytopes associated to different (2,1)(2,1)-presentations of isomorphic groups are related independently of the choice of presentation; its resolution status is not specified in the source.

Sources & referencesView supporting material

Primary source

Fabian Henneke and Dawid Kielak, “The agrarian polytope of two-generator one-relator groups”, arXiv:1912.04650 (2019).

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.