Equality of the quantum Galois deformation group in the first case

About 14 years old · traced to

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 L♮L^{\natural}-algebra AA, write

G^II(A)={(e,b(W1))∈A×A[[W1]]∣e−1 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.

References

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.