Face-extension conjecture for non-commutative crepant resolutions

About 1 year old · traced to

Let Q⊂RkQ\subset\mathbb{R}^k be a lattice polytope with associated Gorenstein cone

σ=Cone⁡(Q×{1})⊂Rk+1.\sigma=\operatorname{Cone}(Q\times\{1\})\subset\mathbb{R}^{k+1}.

Suppose QQ is lattice equivalent to a face FF of a lattice polytope P⊂RnP\subset\mathbb{R}^n. Let

σ′=Cone⁡(P×{1})⊂Rn+1\sigma'=\operatorname{Cone}(P\times\{1\})\subset\mathbb{R}^{n+1}

and let M′M' be the (n+1)(n+1)-dimensional character lattice of Xσ′X_{\sigma'}. If Rσ′=k[(σ′)∨∩M′]R_{\sigma'}=k[(\sigma')^\vee\cap M'] has an NCCR, then Rσ=k[σ∩M]R_\sigma=k[\sigma\cap M] has an NCCR. Face-extension conjecture. Under these hypotheses, RσR_\sigma admits an NCCR. The claim would reduce the existence problem for general Gorenstein cones to suitable reflexive or higher-dimensional ambient cones; the source presents it as an expectation and gives no resolution.

References

Primary source

Aimeric Malter and Artan Sheshmani, “Towards non-commutative crepant resolutions of affine toric Gorenstein varieties”, arXiv:2509.11664 (2025).

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.