Equality of the quantum Galois deformation group in the first case

Let qq be the parameter occurring in the qq-SI σ\sigma-differential setting, and let NCFL/k(A)\mathcal{NCF}_{L/k}(A) be the commutative deformation functor from Proposition 5.24i. For a commutative LL^{\natural}-algebra AA, write

G^II(A)={(e,b(W1))A×A[[W1]]e1 and all coefficients of b(W1) are nilpotent}.\widehat{G}_{II}(A)=\{(e,b(W_1))\in A\times A[[W_1]]\mid e-1\text{ and all coefficients of }b(W_1)\text{ are nilpotent}\}.

Equality conjecture. If qq is not a root of unity, the inclusion NCFL/k(A)G^II(A)\mathcal{NCF}_{L/k}(A)\hookrightarrow\widehat{G}_{II}(A) is an equality.

This predicts that the explicitly described formal group captures all commutative deformations in this case. The source provides the inclusion but gives no resolution of the proposed equality.

Sources & referencesView supporting material

Primary source

Katsunori Saito and Hiroshi Umemura, “Quantization of Galois theory, Examples and Observations”, arXiv:1212.3392 (2012).

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.