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

At least 18 years old · documented by

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.

References

Primary source

Axel Hultman, “Twisted identities in Coxeter groups”, arXiv:math/0702192 (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.