zbMATH — the first resource for mathematics

The behaviour of the differential Galois group on the generic and special fibres: a Tannakian approach. (English) Zbl 1242.12005
Summary: Let \(\mathfrak o\) be a complete DVR of fraction field \(K\) and algebraically closed residue field \(k\). Let \(A\) be an \(\mathfrak o\)-adic domain which is smooth and topologically of finite type. Let \(\mathcal D\) be the ring of \(\mathfrak o\)-linear differential operators over \(A\) and let \(\mathcal M\) be a \(\mathcal D\)-module which is finitely generated as \(A\)-module. Given an \(\mathfrak o\)-point of \(\text{Spf}(A)\) we construct using a Tannakian theory of Bruguières-Nori, a faithfully flat \(\mathfrak o\)-group-scheme \(\Pi \) which is analogous-in the sense that its category of dualizable representations is equivalent to a category of \(\mathcal D\)-modules-to the Tannakian group-scheme (the differential Galois or monodromy group) associated to a \(\mathcal D\)-module over a field. We show that the differential Galois group \(G\) of the reduced \(\mathcal D\)-module \(\mathcal M \otimes k\) is a closed subgroup of \(\Pi \otimes k\), which coincides with \((\Pi \otimes k)_{\text{red}}\) when \(\Pi\) is finite, and gives back, in any case, the differential Galois group of \(\mathcal M \otimes K\) upon tensorisation with \(K\).

12H05 Differential algebra
14L15 Group schemes
13N15 Derivations and commutative rings
Full Text: DOI
[1] DOI: 10.1016/j.jalgebra.2007.03.005 · Zbl 1130.14032 · doi:10.1016/j.jalgebra.2007.03.005
[2] Jantzen J. C., Pure Appl. Math. pp 131– (1987)
[3] Katz N. M., Ann. Math. Stud. pp 124– (1990)
[4] Matsumura H., Cambridge Stud. Adv. Math. pp 8– (1989)
[5] Matzat B. H., Sém. Congr. 13 pp 263– (2006)
[6] Matzat B. H., Math. 557 pp 1– (2003)
[7] Nori M. V., Compos. Math. 33 pp 1– (1976)
[8] Grad. Texts Math. pp 66– (1979)
[9] DOI: 10.1016/j.jalgebra.2004.07.024 · Zbl 1088.18008 · doi:10.1016/j.jalgebra.2004.07.024
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.