Face-extension conjecture for non-commutative crepant resolutions

Let QRkQ\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 PRnP\subset\mathbb{R}^n. Let

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

and let MM' 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.

Sources & referencesView supporting material

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.