The PL sphere-or-ball conjecture for intervals with the NOF property

From papers

Let WW be a Coxeter group with automorphism θ\theta having the NOF property, and let Br(ι(θ))\operatorname{Br}(\iota(\theta)) be the associated poset. For an interval [u,v]Br(ι(θ))[u,v]\subseteq \operatorname{Br}(\iota(\theta)), call it full when it has the property specified in the paper, and let (u,v)(u,v) denote its proper part. Let ρ\rho be the rank function.

PL sphere-or-ball conjecture. If [u,v][u,v] is full, then (u,v)(u,v) is a PL sphere of dimension ρ(v)ρ(u)2\rho(v)-\rho(u)-2. Otherwise, (u,v)(u,v) is a PL ball of the same dimension.

The claim would follow if the relevant Z\mathbb{Z}-acyclic complexes in the preceding theorem could be shown to be collapsible; the supplied context does not state that this has been achieved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Axel Hultman, “Twisted identities in Coxeter groups”, arXiv:math/0702192 (2007).

Solutions 0

No solutions have been posted yet.