Equality for commutative deformations of the logarithmic q-difference extension

Let qq be the parameter in the qq-SI σ\sigma-differential extension (C(t,logt),σ,θ)/C(\mathbb{C}(t,\log t),\sigma,\theta^*)/\mathbb{C}, and let FL/k(A)\mathcal{F}_{L/k}(A) be the commutative deformation functor for a commutative LL^{\natural}-algebra AA. Let

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

Equality conjecture. If qq is not a root of unity, the injection FL/k(A)G^III\mathcal{F}_{L/k}(A)\rightarrow\widehat{G}_{III} is an equality.

This would show that the explicitly defined formal group accounts for all commutative deformations of the logarithmic extension. The source proves the injection but does not resolve the 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.