Difference Galois groups under specialization
HTML articles powered by AMS MathViewer
- by Ruyong Feng PDF
- Trans. Amer. Math. Soc. 374 (2021), 61-96 Request permission
Abstract:
We present a difference analogue of a result given by Hrushovski on differential Galois groups under specialization. Let $k$ be an algebraically closed field of characteristic zero and let $\mathbb {X}$ be an irreducible affine algebraic variety over $k$. Consider the linear difference equation \begin{equation*} \sigma (Y)=AY, \end{equation*} where $A\in \mathrm {GL}_n(k(\mathbb {X})(x))$ and $\sigma$ is the shift operator $\sigma (x)=x+1$. Assume that the Galois group $G$ of the above equation over $\overline {k(\mathbb {X})}(x)$ is defined over $k(\mathbb {X})$, i.e., the vanishing ideal of $G$ is generated by a finite set $S\subset k(\mathbb {X})[X,1/\det (X)]$. For a ${\mathbf {c}}\in \mathbb {X}$, denote by $v_{{\mathbf {c}}}$ the map from $k[\mathbb {X}]$ to $k$ given by $v_{{\mathbf {c}}}(f)=f({\mathbf {c}})$ for any $f\in k[\mathbb {X}]$. We prove that the set of ${\mathbf {c}}\in \mathbb {X}$ satisfying that $v_{\mathbf {c}}(A)$ and $v_{\mathbf {c}}(S)$ are well-defined and the affine variety in $\mathrm {GL}_n(k)$ defined by $v_{{\mathbf {c}}}(S)$ is the Galois group of $\sigma (Y)=v_{{\mathbf {c}}}(A)Y$ over $k(x)$ is Zariski dense in $\mathbb {X}$.
We apply our result to van der Put-Singer’s conjecture which asserts that an algebraic subgroup $G$ of $\mathrm {GL}_n(k)$ is the Galois group of a linear difference equation over $k(x)$ if and only if the quotient $G/G^\circ$ by the identity component is cyclic. We show that if van der Put-Singer’s conjecture is true for $k=\mathbb {C}$, then it will be true for any algebraically closed field $k$ of characteristic zero.
References
- George D. Birkhoff, Formal theory of irregular linear difference equations, Acta Math. 54 (1930), no. 1, 205–246. MR 1555307, DOI 10.1007/BF02547522
- A. Braverman, P. Etingof, and D. Gaitsgory, Quantum integrable systems and differential Galois theory, Transform. Groups 2 (1997), no. 1, 31–56. MR 1439245, DOI 10.1007/BF01234630
- Zoé Chatzidakis, Charlotte Hardouin, and Michael F. Singer, On the definitions of difference Galois groups, Model theory with applications to algebra and analysis. Vol. 1, London Math. Soc. Lecture Note Ser., vol. 349, Cambridge Univ. Press, Cambridge, 2008, pp. 73–109. MR 2441376, DOI 10.1017/CBO9780511735226.006
- Phyllis J. Cassidy and Michael F. Singer, Galois theory of parameterized differential equations and linear differential algebraic groups, Differential equations and quantum groups, IRMA Lect. Math. Theor. Phys., vol. 9, Eur. Math. Soc., Zürich, 2007, pp. 113–155. MR 2322329
- Lucia Di Vizio, Arithmetic theory of $q$-difference equations: the $q$-analogue of Grothendieck-Katz’s conjecture on $p$-curvatures, Invent. Math. 150 (2002), no. 3, 517–578. MR 1946552, DOI 10.1007/s00222-002-0241-z
- Lucia Di Vizio, Charlotte Hardouin, and Michael Wibmer, Difference Galois theory of linear differential equations, Adv. Math. 260 (2014), 1–58. MR 3209348, DOI 10.1016/j.aim.2014.04.005
- Thomas W. Dubé, The structure of polynomial ideals and Gröbner bases, SIAM J. Comput. 19 (1990), no. 4, 750–775. MR 1053942, DOI 10.1137/0219053
- Ruyong Feng, Hrushovski’s algorithm for computing the Galois group of a linear differential equation, Adv. in Appl. Math. 65 (2015), 1–37. MR 3320755, DOI 10.1016/j.aam.2015.01.001
- Ruyong Feng, On the computation of the Galois group of linear difference equations, Math. Comp. 87 (2018), no. 310, 941–965. MR 3739224, DOI 10.1090/mcom/3232
- Michael D. Fried and Moshe Jarden, Field arithmetic, 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 11, Springer-Verlag, Berlin, 2008. Revised by Jarden. MR 2445111
- Charlotte Hardouin and Michael F. Singer, Differential Galois theory of linear difference equations, Math. Ann. 342 (2008), no. 2, 333–377. MR 2425146, DOI 10.1007/s00208-008-0238-z
- Peter A. Hendriks, An algorithm determining the difference Galois group of second order linear difference equations, J. Symbolic Comput. 26 (1998), no. 4, 445–461. MR 1646675, DOI 10.1006/jsco.1998.0223
- James E. Humphreys, Linear algebraic groups, Graduate Texts in Mathematics, No. 21, Springer-Verlag, New York-Heidelberg, 1975. MR 0396773, DOI 10.1007/978-1-4684-9443-3
- Ehud Hrushovski, Computing the Galois group of a linear differential equation, Differential Galois theory (Będlewo, 2001) Banach Center Publ., vol. 58, Polish Acad. Sci. Inst. Math., Warsaw, 2002, pp. 97–138. MR 1972449, DOI 10.4064/bc58-0-9
- Nicholas M. Katz, A conjecture in the arithmetic theory of differential equations, Bull. Soc. Math. France 110 (1982), no. 2, 203–239 (English, with French summary). MR 667751, DOI 10.24033/bsmf.1960
- E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
- Serge Lang, Fundamentals of Diophantine geometry, Springer-Verlag, New York, 1983. MR 715605, DOI 10.1007/978-1-4757-1810-2
- Annette Maier, A difference version of Nori’s theorem, Math. Ann. 359 (2014), no. 3-4, 759–784. MR 3231015, DOI 10.1007/s00208-014-1012-z
- Alexey Ovchinnikov and Michael Wibmer, $\sigma$-Galois theory of linear difference equations, Int. Math. Res. Not. IMRN 12 (2015), 3962–4018. MR 3356746, DOI 10.1093/imrn/rnu060
- Marko Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Comput. 14 (1992), no. 2-3, 243–264. MR 1187234, DOI 10.1016/0747-7171(92)90038-6
- Anand Pillay, Differential algebra and generalizations of Grothendieck’s conjecture on the arithmetic of linear differential equations, Model theory with applications to algebra and analysis. Vol. 1, London Math. Soc. Lecture Note Ser., vol. 349, Cambridge Univ. Press, Cambridge, 2008, pp. 25–39. MR 2441373, DOI 10.1017/CBO9780511735226.003
- Denis Serre, Matrices, Graduate Texts in Mathematics, vol. 216, Springer-Verlag, New York, 2002. Theory and applications; Translated from the 2001 French original. MR 1923507
- Jean-Pierre Serre, Lectures on the Mordell-Weil theorem, 3rd ed., Aspects of Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1997. Translated from the French and edited by Martin Brown from notes by Michel Waldschmidt; With a foreword by Brown and Serre. MR 1757192, DOI 10.1007/978-3-663-10632-6
- Igor R. Shafarevich, Basic algebraic geometry. 1, 2nd ed., Springer-Verlag, Berlin, 1994. Varieties in projective space; Translated from the 1988 Russian edition and with notes by Miles Reid. MR 1328833
- Michael F. Singer, Moduli of linear differential equations on the Riemann sphere with fixed Galois groups, Pacific J. Math. 160 (1993), no. 2, 343–395. MR 1233356, DOI 10.2140/pjm.1993.160.343
- Marius van der Put and Michael F. Singer, Galois theory of difference equations, Lecture Notes in Mathematics, vol. 1666, Springer-Verlag, Berlin, 1997. MR 1480919, DOI 10.1007/BFb0096118
- Helmut Völklein, Groups as Galois groups, Cambridge Studies in Advanced Mathematics, vol. 53, Cambridge University Press, Cambridge, 1996. An introduction. MR 1405612, DOI 10.1017/CBO9780511471117
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, Graduate Texts in Mathematics, Vol. 29, Springer-Verlag, New York-Heidelberg, 1975. Reprint of the 1960 edition. MR 0389876
Additional Information
- Ruyong Feng
- Affiliation: KLMM, Academy of Mathematics and Systems Science, and School of Mathematics, University of Chinese Academy of Sciences, Chinese Academy of Sciences, No.55 Zhongguancun East Road, Beijing 100190, People’s Republic of China
- MR Author ID: 756535
- Email: ryfeng@amss.ac.cn
- Received by editor(s): December 31, 2018
- Received by editor(s) in revised form: August 26, 2019, October 29, 2019, November 29, 2019, January 1, 2020, and January 25, 2020
- Published electronically: October 20, 2020
- Additional Notes: The author was supported in part by NSFC Grants No.11771433 and No.11688101.
- © Copyright 2020 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 374 (2021), 61-96
- MSC (2010): Primary 12H10; Secondary 13B05
- DOI: https://doi.org/10.1090/tran/8143
- MathSciNet review: 4188178