[Paper Review] Parameterized generic Galois groups for q-difference equations, followed by the appendix "The Galois D-groupoid of a q-difference system" by Anne Granier

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|May 8, 2012

Nonlinear Waves and Solitons10 references8 citations

TL;DR

This paper introduces the parameterized generic Galois group for q-difference equations as a differential group over K(x), characterized by curvatures modulo places in a set 𝒞. It proves that this group coincides with the Malgrange-Granier D-groupoid in the linear case, unifying Kolchin's differential Galois theory with Malgrange's D-groupoid framework for nonlinear systems.

ABSTRACT

We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module, equipped with the forgetful functor. Our previous results on the Grothendieck conjecture for q-difference equations lead to an adelic description of the parameterized generic Galois group, in the spirit of the Grothendieck-Katz's conjecture on p-curvatures. Using this description, we show that the Malgrange-Granier D-groupoid of a nonlinear q-difference system coincides, in the linear case, with the parameterized generic Galois group introduced here. The paper is followed by an appendix by A. Granier, that provides a quick introduction to the D-groupoid of a non-linear q-difference equation.

Motivation & Objective

• To define a parameterized generic Galois group for q-difference modules over K(x), replacing the earlier group defined over a larger differential closure.
• To provide an arithmetic characterization of this Galois group using curvatures modulo places in a set 𝒞, inspired by Grothendieck-Katz p-curvature conjecture.
• To establish a bridge between Kolchin’s theory of linear differential groups and Malgrange’s D-groupoid for nonlinear q-difference systems.
• To show that the Malgrange-Granier D-groupoid of a nonlinear q-difference system reduces to the parameterized generic Galois group in the linear case.
• To clarify the relationship between various Galois theories for q-difference equations, particularly comparing the present group with the Hardouin-Singer parameterized Galois group.

Proposed method

• Define the parameterized generic Galois group as the smallest differential subgroup of GL(M) whose reduction modulo φ_v contains the v-curvatures modulo φ_v for almost all v ∈ 𝒞.
• Use the adelic description of curvatures from [DVH11a] to characterize the Galois group arithmetically via local reductions.
• Apply the theory of differential groupoids, particularly Malgrange’s D-groupoid construction, to nonlinear q-difference systems.
• Construct the Galois D-groupoid of a q-difference system via a sheaf of differential ideals in the jet space of the underlying variety.
• Define the intersection D-groupoid 𝒢al(A(x)) ∩ 𝒯rv to isolate solutions preserving transversals, corresponding to linearized symmetries.
• Identify solutions of the D-groupoid near transversals with subgroups of GL_ν(ℂ{{x−x₀}}), linking local analytic data to global Galois structure.

Experimental results

Research questions

• RQ1 How can the parameterized Galois group for q-difference equations be defined over a smaller field, such as K(x), rather than a differential closure?
• RQ2 What is the arithmetic characterization of the parameterized generic Galois group in terms of curvatures modulo places?
• RQ3 Does the Malgrange-Granier D-groupoid for nonlinear q-difference systems coincide with the parameterized generic Galois group in the linear case?
• RQ4 How do the solutions of the Galois D-groupoid relate to local diffeomorphisms preserving transversals in the jet space?
• RQ5 Can the D-groupoid framework unify Kolchin’s differential Galois theory with Malgrange’s approach to nonlinear systems?

Key findings

• The parameterized generic Galois group is defined over K(x), providing a smaller, more arithmetic alternative to the Hardouin-Singer parameterized Galois group.
• The group is characterized as the smallest differential subgroup of GL(M) whose reduction modulo φ_v contains the v-curvatures modulo φ_v for almost all v ∈ 𝒞.
• The Malgrange-Granier D-groupoid of a nonlinear q-difference system coincides with the parameterized generic Galois group in the linear case.
• Solutions of the Galois D-groupoid that preserve transversals correspond to linear transformations of the form (x,X) ↦ (x, β(x)X), forming a subgroup of GL_ν(ℂ{{x−x₀}}).
• For constant linear q-difference systems, the D-groupoid solutions fixing transversals form an algebraic subgroup of GL_ν(ℂ), matching the classical q-Galois group from [Sau04].
• The construction establishes a natural link between Kolchin’s differential Galois theory and Malgrange’s D-groupoid framework, answering a question posed by B. Malgrange.