This article was born from our mathematical experiments, the first explorations of the unknown continent of quantized Galois theory. Known is classical Galois theory for linear differential equations, called Picard–Vessiot theory. Reformulating Picard–Vessiot theory in the language of Hopf algebras, we find a new way to a generalization, in which the commutative ring of differential operators with constant coefficients is replaced by an arbitrary Hopf algebra of operators that may be non-commutative [1]. The Hopf algebras in this generalized theory are, however, basically assumed to be co-commutative since the theory is interested only in commutative rings with operators. Consequently their Galois groups are linear algebraic groups and the Galois theory is not quantized. Heiderich [1] combined the Hopf Galois theory [7] for linear equations with Umemura’s general Galois theory [22] for non-linear differential equations.
In Parts I and II we use Heiderich’s idea to investigate concrete examples of linear or non-linear difference-differential (or qsi) equations. In Part I we show through some examples that quantization of the Galois groups is indeed realized. The quantized Galois groups are Hopf algebras that are neither commutative nor co-commutative. In fact, quantization occurs even for linear equations. In Part II we investigate a special example of linear qsi equations to prove unique existence of the non-commutative Picard–Vessiot rings. These investigations of examples lead successfully to general results obtained in Part III, in which the examples are generalized to Hopf linear equations over a constant field . The results are formulated in terms of arbitrary -Hopf algebras and left -modules of finite -dimension, and they involve non-commutative Tannaka categories.
Cet article est né de nos expériences mathématiques, les premières explorations dans le continent inconnu de la théorie de Galois quantifiée. Nous connaissons la théorie de Galois classique des équations différentielles linéaires, appelée théorie de Picard–Vessiot. Quand la théorie de Picard–Vessiot est formulée dans le langage des algèbres de Hopf, elle ouvre une nouvelle voie vers la généralisation. Nous pourrions remplacer l’algèbre commutative des opérateurs différentiels à coefficients constants par une algébre de Hopf d’opérateurs quelconque comme cela est fait dans [1]. Ces travaux s’intéressent uniquement aux anneaux commutatifs à opérateurs, les algèbres de Hopf dans cette théorie sont essentiellement supposées co-commutatives. Par conséquent, leurs groupes de Galois sont des groupes algébriques linéaires et la théorie de Galois n’est pas quantifiée.
Heiderich [7] a découvert que l’on peut réunir la théorie de Picard–Vessiot généralisée [1] et notre théorie de Galois [22] des équations différentielles non-linéaires. Nous appliquons son idée à certains exemples concrets et montrons, dans la première partie, que la théorie de Galois est bien quantifiée c’est-à-dire, le groupe de Galois qui est une algèbre de Hopf, n’est ni commutative, ni co-commutative, même pour les équations linéaires.
Dans la deuxième partie, nous analysons une équation différentielle et aux différences linéaire particulière. Nous montrons l’existence et l’unicité de l’extention de Picard–Vessiot non-commutative de l’équation.
L’analyse détaillée nous permet d’établir dans la troisième partie, pour une algèbre de Hopf quelconque d’opérateurs, la théorie de Galois quantique des équations linéaires à coefficients constants. Nous démontrons aussi l’équivalence des catégories tannakiennes non-commutatives. Ainsi donc, pour toute algèbre de Hopf sur un corps et tout -module à gauche qui soit un espace -vectoriel de dimension finie, nous avons la théorie de Galois exprimée en terme d’algèbres de Hopf.
@article{AFST_2020_6_29_5_1319_0, author = {Masuoka, Akira and Saito, Katsunori and Umemura, Hiroshi}, title = {Toward quantization of {Galois} theory}, journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques}, pages = {1319--1431}, publisher = {Universit\'e Paul Sabatier, Toulouse}, volume = {Ser. 6, 29}, number = {5}, year = {2020}, doi = {10.5802/afst.1663}, language = {en}, url = {http://archive.numdam.org/articles/10.5802/afst.1663/} }
TY - JOUR AU - Masuoka, Akira AU - Saito, Katsunori AU - Umemura, Hiroshi TI - Toward quantization of Galois theory JO - Annales de la Faculté des sciences de Toulouse : Mathématiques PY - 2020 SP - 1319 EP - 1431 VL - 29 IS - 5 PB - Université Paul Sabatier, Toulouse UR - http://archive.numdam.org/articles/10.5802/afst.1663/ DO - 10.5802/afst.1663 LA - en ID - AFST_2020_6_29_5_1319_0 ER -
%0 Journal Article %A Masuoka, Akira %A Saito, Katsunori %A Umemura, Hiroshi %T Toward quantization of Galois theory %J Annales de la Faculté des sciences de Toulouse : Mathématiques %D 2020 %P 1319-1431 %V 29 %N 5 %I Université Paul Sabatier, Toulouse %U http://archive.numdam.org/articles/10.5802/afst.1663/ %R 10.5802/afst.1663 %G en %F AFST_2020_6_29_5_1319_0
Masuoka, Akira; Saito, Katsunori; Umemura, Hiroshi. Toward quantization of Galois theory. Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 29 (2020) no. 5, pp. 1319-1431. doi : 10.5802/afst.1663. http://archive.numdam.org/articles/10.5802/afst.1663/
[1] Hopf algebraic approach to Picard-Vessiot theory, 6, Elsevier; North-Holland (2009), pp. 127-171 | MR | Zbl
[2] Différentielles non commutatives et théorie de Galois différentielle ou aux différences. (French) [Noncommutative differentials and Galois theory for differential or difference equations], Ann. Sci. Éc. Norm. Supér., Volume 34 (2001), pp. 685-739 | DOI | Numdam | Zbl
[3] Personal correspondence (November 2013)
[4] Introductio in Analysin Infinitorum, Tomus Primus, Springer, 1992 (Seies mathematica volumen VIII, Opera Omnia of L.Euler. Original book was published in 1748)
[5] Iterative difference Galois theory, J. Reine Angew. Math., Volume 644 (2010), pp. 101-144 | MR | Zbl
[6] PI degree parity in -skew polynomial rings, J. Algebra, Volume 319 (2008) no. 10, pp. 4199-4221 | DOI | MR | Zbl
[7] Galois theory of module fields, Ph. D. Thesis, Barcelona University (2010)
[8] Über die Reihe , J. Reine Angew. Math., Volume 32 (1846), pp. 210-212
[9] Fundamenta nova theoriae functionum ellipticorum, Cambridge University Press, 2013 (Reprint of the paper published in Königsberg 1829)
[10] Foundation of quantum group theory, Cambridge University Press, 1995
[11] Le groupoïde de Galois d’un feuilletage, Essays on geometry and related topics, Vol. 1, 2 (Monographies de l’Enseignement Mathématique), L’Enseignement Mathématique, 2001, pp. 465-501 | Zbl
[12] Quantum groups and noncommutative geometry, Centre de Recherches Mathématiques de l’université de Montréal, 1988 | Zbl
[13] Cleft extensions for a Hopf algebra generated by a nearly primitive element, Commun. Algebra, Volume 22 (1994), pp. 4537-4559 | DOI | MR | Zbl
[14] -bialgebras associated with iterative -difference rings, Int. J. Math., Volume 24 (2013) no. 4, 1350030, 27 pages | MR | Zbl
[15] Hopf algebras and their actions on rings, Regional Conference Series in Mathematics, 82, American Mathematical Society, 1993 | MR
[16] On a general difference Galois theory. I, Ann. Inst. Fourier, Volume 59 (2009), pp. 2709-2732 | DOI | Numdam | MR | Zbl
[17] On a general difference Galois theory. II, Ann. Inst. Fourier, Volume 59 (2009), pp. 2733-2771 | DOI | Numdam | MR | Zbl
[18] Quantum Grassmannians and -hypergeometric functions, CWI Q., Volume 5 (1992) no. 4, pp. 293-307 | Zbl
[19] Galois theory of linear differential equations, Springer, 2003 | DOI | Zbl
[20] Hopf algebras, Mathematics Lecture Series, W.A. Benjamin, 1969
[21] Hopf algebra techniques applied to the quantum group , Deformation theory and quantum groups with applications to mathematical physics (Contemporary Mathematics), Volume 134, American Mathematical Society, 1992, pp. 309-323 | DOI | MR | Zbl
[22] Differential Galois theory of infinite dimension, Nagoya Math. J., Volume 144 (1996), pp. 59-135 | DOI | MR | Zbl
[23] Galois theory of algebraic and differential equations, Nagoya Math. J., Volume 144 (1996), pp. 1-58 | DOI | MR | Zbl
[24] Galois theory and Painlevé equations, Théories asymptotiques et équations de Painlevé (Séminaires et Congrès), Volume 14, Société Mathématique de France, 2006, pp. 299-339 | MR | Zbl
[25] Invitation to Galois theory, Differential equations and quantum groups (IRMA Lectures in Mathematics and Theoretical Physics), Volume 9, European Mathematical Society, 2007, pp. 269-289 | MR | Zbl
[26] Picard–Vessiot theory in general Galois theory, 94, Polish Academy of Sciences (2011), pp. 263-293 | MR | Zbl
Cited by Sources: