Equality for commutative deformations of the logarithmic q-difference extension

At least 13 years old · documented by

Let qq be the parameter in the qq-SI σ\sigma-differential extension (C(t,log⁡t),σ,θ∗)/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 L♮L^{\natural}-algebra AA. Let

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

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.