Showing 1–24 of 24 results for author: Maurischat, A

Determining $t$-motives and dual $t$-motives in Anderson's theory

Authors: Andreas Maurischat

Abstract: Anderson t-modules are analogs of abelian varieties in positive characteristic. Associated to such a t-module, there are its t-motive and its dual t-motive. When dealing with these objects, several questions occur which one would like to solve algorithmically. For example, for a given t-module one would like to decide whether its t-motive is indeed finitely generated free, and determine a basis. R… ▽ More Anderson t-modules are analogs of abelian varieties in positive characteristic. Associated to such a t-module, there are its t-motive and its dual t-motive. When dealing with these objects, several questions occur which one would like to solve algorithmically. For example, for a given t-module one would like to decide whether its t-motive is indeed finitely generated free, and determine a basis. Reversely, for a given object in the category of t-motives one would like to decide whether it is the t-motive associated to a t-module, and determine that t-module. In this article, we positively answer such questions by providing the corresponding algorithms. As it turned out, the main part of all these algorithms stem from a single algorithm in non-commutative algebra, and hence the first part of this article doesn't deal with Anderson's objects at all, but are results on finitely generated modules over skew polynomial rings. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 28 pages, several tikz-figures

MSC Class: 11G09 (Primary) 13P10; 16S36 (Secondary)

Pairing Anderson motives via formal residues in the Frobenius endomorphism

Authors: Quentin Gazda, Andreas Maurischat

Abstract: Anderson modules form a generalization of Drinfeld modules and are commonly understood as the counterpart of abelian varieties but with function field coefficients. In an attempt to study their ``motivic theory'', two objects of semilinear algebra are attached to an Anderson module: its motive and its dual motive. While the former is better suited to follow the analogy with Grothendieck motives, t… ▽ More Anderson modules form a generalization of Drinfeld modules and are commonly understood as the counterpart of abelian varieties but with function field coefficients. In an attempt to study their ``motivic theory'', two objects of semilinear algebra are attached to an Anderson module: its motive and its dual motive. While the former is better suited to follow the analogy with Grothendieck motives, the latter has proven much useful in the study of transcendence questions in positive characteristic. Despite sharing similar definitions, the relationship between motives and dual motives has remained nebulous. Over perfect fields, it was only proved recently by the second author that the finite generation of the motive is equivalent to the finite generation of the dual motive, answering a long-standing open question in function field arithmetic (the ``abelian equals $A$-finite'' theorem). This work constructs a perfect pairing among the motive and the dual motive of an Anderson module, with values in a module of differentials, thus answering a question raised by Hartl and Juschka. Our construction involves taking the residue of certain formal power series in the Frobenius endomorphism. Although it may seem peculiar, this pairing is natural and compatible with base change. It also comes with several new consequences in function field arithmetic; for example, we generalize the ``abelian equals A-finite'' theorem to a large class of algebras, including fields, perfect algebras and noetherian regular domains. △ Less

Submitted 25 June, 2025; v1 submitted 2 April, 2025; originally announced April 2025.

Comments: The previous version contained a flaw: most arguments were only valid in the perfect case, and the naive descent argument was incorrect. We have revised the manuscript accordingly

Non-abelian Anderson A-modules: Comparison isomorphisms and Galois representations

Authors: Andreas Maurischat

Abstract: In this manuscript, we consider non-abelian Anderson $A$-modules $E$ (of generic characteristic). The main results are on the structure of their motives, and on comparison isomorphisms between their cohomological realizations. In the center of these comparison isomorphisms, there is the space of special functions $\mathfrak{sf}(E)$ as defined by Gazda and the author in arXiv:1903.07302. We also pr… ▽ More In this manuscript, we consider non-abelian Anderson $A$-modules $E$ (of generic characteristic). The main results are on the structure of their motives, and on comparison isomorphisms between their cohomological realizations. In the center of these comparison isomorphisms, there is the space of special functions $\mathfrak{sf}(E)$ as defined by Gazda and the author in arXiv:1903.07302. We also provide a generalization of Anderson's result on the equivalence of uniformizability of the Anderson module and rigid analytic triviality of its associated motive. We contribute results that are new even in the case of abelian Anderson modules. For every non-zero prime ideal $\mathfrak{p}$ of $A$, the relation of the space of special functions to the $\mathfrak{p}$-adic Tate module provides a way to obtain $\mathfrak{p}^{n+1}$-torsion as special values of hyperderivatives of these special functions. Using this result for uniformizable Anderson modules, we are able to describe the $\mathfrak{p}$-adic Galois representation via a rigid analytic trivialization, and hence give a direct link between the image of the $\mathfrak{p}$-adic Galois representation and the motivic Galois group. This generalizes results of various authors. △ Less

Submitted 14 August, 2024; originally announced August 2024.

Comments: 40 pages

MSC Class: 11G09 (Primary) 11F80; 41A58 (Secondary)

Carlitz twists: their motivic cohomology, regulators, zeta values and polylogarithms

Authors: Quentin Gazda, Andreas Maurischat

Abstract: The integral $t$-motivic cohomology and the class module of a (rigid analytically trivial) Anderson $t$-motive were introduced by the first author in [Gaz22b]. This paper is devoted to their determination in the particular case of tensor powers of the Carlitz $t$-motive, namely, the function field counterpart $\underline{A}(n)$ of Tate twists $\mathbb{Z}(n)$. We find out that these modules are in… ▽ More The integral $t$-motivic cohomology and the class module of a (rigid analytically trivial) Anderson $t$-motive were introduced by the first author in [Gaz22b]. This paper is devoted to their determination in the particular case of tensor powers of the Carlitz $t$-motive, namely, the function field counterpart $\underline{A}(n)$ of Tate twists $\mathbb{Z}(n)$. We find out that these modules are in relation with fundamental objects of function field arithmetic: integral $t$-motivic cohomology governs linear relations among Carlitz polylogarithms, its torsion is expressed in terms of the denominator of Bernoulli-Carlitz numbers and the Fitting ideal of class modules is a special zeta value. We also express the regulator of $\underline{A}(n)$ for positive $n$ in terms of generalized Carlitz polylogarithms; after establishing their algebraic relations using difference Galois theory together with the Anderson-Brownawell-Papanikolas criterion, we prove that the regulator is an isomorphism if, and only if, $n$ is prime to the characteristic. △ Less

Submitted 20 September, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: This represents a significant update compared to the previous version. Notably, our late conjecture regarding the Fitting ideal of the torsion in the class module, expressed as Carlitz zeta values, has been established (Thm. C). Additionally, we clarified the connection between integral t-motivic cohomology and Carlitz polylogs (Thm. A) and determined the regulator ranks

MSC Class: 11G09 (Primary) 11R70; 11G55; 14H05 (Secondary)

Residue of special functions of Anderson $A$-modules at the characteristic graph

Authors: Quentin Gazda, Andreas Maurischat

Abstract: Let $E$ be an Anderson $A$-module over $\mathbb{C}_{\infty}$. The period lattice of $E$ is related to its module of special functions by means of a non-canonical isomorphism introduced by the authors in [GM21]. In this paper, we explain how a modification of the inverse map is canonical by interpreting it as a residue morphism along the characteristic graph. This phenomenon has already been observ… ▽ More Let $E$ be an Anderson $A$-module over $\mathbb{C}_{\infty}$. The period lattice of $E$ is related to its module of special functions by means of a non-canonical isomorphism introduced by the authors in [GM21]. In this paper, we explain how a modification of the inverse map is canonical by interpreting it as a residue morphism along the characteristic graph. This phenomenon has already been observed in various situations. The main innovation of this text is that of costability (costable admissible opens, costable site, etc.) which provides a convenient framework to develop the notion of sheaves of $E(\mathbb{C}_{\infty})$-valued meromorphic functions on the rigid analytic plane. △ Less

Submitted 22 February, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 23 pages. Final version. To appear in Journal of Number Theory

MSC Class: 11G09 (Primary) 11R58; 11J93; 14H05 (Secondary)

Abelian equals A-finite for Anderson A-modules

Authors: Andreas Maurischat

Abstract: Anderson introduced t-modules as higher dimensional analogs of Drinfeld modules. Attached to such a t-module, there are its t-motive and its dual t-motive. The t-module gets the attribute "abelian" when the t-motive is a finitely generated module, and the attribute "t-finite" when the dual t-motive is a finitely generated module. The main theorem of this article is the affirmative answer to the lo… ▽ More Anderson introduced t-modules as higher dimensional analogs of Drinfeld modules. Attached to such a t-module, there are its t-motive and its dual t-motive. The t-module gets the attribute "abelian" when the t-motive is a finitely generated module, and the attribute "t-finite" when the dual t-motive is a finitely generated module. The main theorem of this article is the affirmative answer to the long standing question whether these two attributes are equivalent. The proof relies on an invariant of the t-module and a condition for that invariant which is necessary and sufficient for both being abelian and being t-finite. We further show that this invariant also provides the information whether the t-module is pure or not. Moreover, we conclude that also over general coefficient rings A, i.e. for Anderson A-modules, the attributes of being abelian and being A-finite are equivalent. △ Less

Submitted 18 February, 2024; v1 submitted 21 October, 2021; originally announced October 2021.

Comments: 33 pages; v1->v2: Added references and corrected some typos; v2->v3: Incorporated suggestions by the referee. This is the final version to appear in Annales de l'Institut Fourier

MSC Class: 11G09; 11J93; 16W60

Algebraic independence of the Carlitz period and its hyperderivatives

Authors: Andreas Maurischat

Abstract: This paper deals with the fundamental period $\tildeπ$ of the Carlitz module. The main theorem states that the Carlitz period and all its hyperderivatives are algebraically independent over the base field $\mathbb{F}_q(θ)$. Our approach also reveals a connection of these hyperderivatives with the coordinates of a period lattice generator of the tensor powers of the Carlitz module which was already… ▽ More This paper deals with the fundamental period $\tildeπ$ of the Carlitz module. The main theorem states that the Carlitz period and all its hyperderivatives are algebraically independent over the base field $\mathbb{F}_q(θ)$. Our approach also reveals a connection of these hyperderivatives with the coordinates of a period lattice generator of the tensor powers of the Carlitz module which was already observed by M. Papanikolas in a yet unpublished paper. Namely, these coordinates can be obtained by explicit polynomial expressions in $\tildeπ$ and its hyperderivatives. Papanikolas also gave various presentations of these expressions which we also prove here. △ Less

Submitted 4 December, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: 13 pages, v1->v2: extended the introduction and the comparison with Papanikolas' results. Corrected some inaccuracies and typos

MSC Class: 11J93

Taylor coefficients of Anderson generating functions and Drinfeld torsion extensions

Authors: Andreas Maurischat, Rudolph Perkins

Abstract: We generalize our work on Carlitz prime power torsion extension to torsion extensions of Drinfeld modules of arbitrary rank. As in the Carlitz case, we give a description of these extensions in terms of evaluations of Anderson generating functions and their hyperderivatives at roots of unity. We also give a direct proof that the image of the Galois representation attached to the $\mathfrak{p}$-adi… ▽ More We generalize our work on Carlitz prime power torsion extension to torsion extensions of Drinfeld modules of arbitrary rank. As in the Carlitz case, we give a description of these extensions in terms of evaluations of Anderson generating functions and their hyperderivatives at roots of unity. We also give a direct proof that the image of the Galois representation attached to the $\mathfrak{p}$-adic Tate module lies in the $\mathfrak{p}$-adic points of the motivic Galois group. This is a generalization of the corresponding result of Chang and Papanikolas for the $t$-adic case. △ Less

Submitted 24 March, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 16 pages; v1->v2: Changes in Section 5: Corrected some flaws and expanded the explanations

MSC Class: 11J93

Journal ref: International Journal of Number Theory, Vol. 18, No. 1 (2022) 113-130

Anderson t-modules with thin t-adic Galois representations

Authors: Andreas Maurischat

Abstract: Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adic Tate-modules are "far from" having t-a… ▽ More Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adic Tate-modules are "far from" having t-adically open image in their motivic Galois groups. Nevertheless, the image is still Zariski-dense in the motivic Galois group which is in accordance to the Mumford-Tate conjecture. For the proof, we explicitly determine the motivic Galois group as well as the Galois representation for these t-modules. △ Less

Submitted 5 February, 2021; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: 10 pages; v1->v2: Added a definition of density of the image and of a thin image. Now 12 pages, v2->v3: Added Remark 1.2 and Theorem 6.6 + minor changes

MSC Class: 11G09 (Primary) 11R58 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 150 (2022), pp. 927-940

Reduced group schemes as iterative differential Galois groups

Authors: Andreas Maurischat

Abstract: This article is on the inverse Galois problem in Galois theory of linear iterative differential equations in positive characteristic. We show that it has an affirmative answer for reduced algebraic group schemes over any iterative differential field which is finitely generated over its algebraically closed field of constants. We also introduce the notion of equivalence of iterative derivations on… ▽ More This article is on the inverse Galois problem in Galois theory of linear iterative differential equations in positive characteristic. We show that it has an affirmative answer for reduced algebraic group schemes over any iterative differential field which is finitely generated over its algebraically closed field of constants. We also introduce the notion of equivalence of iterative derivations on a given field - a condition which implies that the inverse Galois problem over equivalent iterative derivations are equivalent. △ Less

Submitted 17 May, 2019; originally announced May 2019.

Comments: 13 pages

MSC Class: 12H20 (Primary) 13B05; 34M50 (Secondary)

Journal ref: Israel Journal of Mathematics (2020), 1-19

Special Functions and Gauss-Thakur Sums in Higher Rank and Dimension

Authors: Quentin Gazda, Andreas Maurischat

Abstract: Anderson generating functions have received a growing attention in function field arithmetic in the last years. Despite their introduction by Anderson in the 80s where they were at the heart of comparison isomorphisms, further important applications e.g. to transcendence theory have only been discovered recently. The Anderson-Thakur special function interpolates L-values via Pellarin-type identiti… ▽ More Anderson generating functions have received a growing attention in function field arithmetic in the last years. Despite their introduction by Anderson in the 80s where they were at the heart of comparison isomorphisms, further important applications e.g. to transcendence theory have only been discovered recently. The Anderson-Thakur special function interpolates L-values via Pellarin-type identities, and its values at algebraic elements recover Gauss-Thakur sums, as shown by Anglès and Pellarin. For Drinfeld-Hayes modules, generalizations of Anderson generating functions have been introduced by Green-Papanikolas and -- under the name of `special functions' -- by Anglès-Ngo Dac-Tavares Ribeiro. In this article, we provide a general construction of special functions attached to any Anderson A-module. We show direct links of the space of special functions to the period lattice, and to the Betti cohomology of the A-motive. We also undertake the study of Gauss-Thakur sums for Anderson A-modules, and show that the result of Anglès-Pellarin relating values of the special functions to Gauss-Thakur sums holds in this generality. △ Less

Submitted 21 August, 2020; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 26 pages; v2->v3: correction of misprints & typos, remarks added

MSC Class: 11G09 (Primary) 11R58; 11J93; 11L05 (Secondary)

Journal ref: J. Reine Angew. Math., 773:231-261, 2021

On field extensions given by periods of Drinfeld modules

Authors: Andreas Maurischat

Abstract: In this short note, we answer a question raised by M. Papikian on a universal upper bound for the degree of the extension of $K_\infty$ given by adjoining the periods of a Drinfeld module of rank 2. We show that contrary to the rank 1 case such a universal upper bound does not exist, and the proof generalises to higher rank. Moreover, we give an upper and lower bound for the extension degree depen… ▽ More In this short note, we answer a question raised by M. Papikian on a universal upper bound for the degree of the extension of $K_\infty$ given by adjoining the periods of a Drinfeld module of rank 2. We show that contrary to the rank 1 case such a universal upper bound does not exist, and the proof generalises to higher rank. Moreover, we give an upper and lower bound for the extension degree depending on the valuations of the defining coefficients of the Drinfeld module. In particular, the lower bound shows the non-existence of a universal upper bound. △ Less

Submitted 18 March, 2019; v1 submitted 27 February, 2019; originally announced February 2019.

Comments: 7 pages; v1->v2: corrected typos, added/changed references, now 8 pages

MSC Class: 11G09

Journal ref: Arch. Math. 113 (2019), pp. 247-254

Periods of $t$-modules as special values

Authors: Andreas Maurischat

Abstract: In this article we show that all periods of uniformizable $t$-modules (resp. their coordinates) can be obtained via specializing a rigid analytic trivialization of a related dual $t$-motive at $t=θ$. The proof is even constructive. The central object in the construction is a subset $H$ of the Tate algebra points of $E$ which turns out to be isomorphic to the period lattice of $E$ via kind of gener… ▽ More In this article we show that all periods of uniformizable $t$-modules (resp. their coordinates) can be obtained via specializing a rigid analytic trivialization of a related dual $t$-motive at $t=θ$. The proof is even constructive. The central object in the construction is a subset $H$ of the Tate algebra points of $E$ which turns out to be isomorphic to the period lattice of $E$ via kind of generating series in one direction and residues in the other. This isomorphism even holds for arbitrary $t$-modules $E$, even non-abelian ones. △ Less

Submitted 5 November, 2018; v1 submitted 9 February, 2018; originally announced February 2018.

Comments: 15 pages; v1->v2: added references; removed condition "abelian" in Section 3; added Section 4 relating H to sigma-invariants of the dual t-motive v2->v3: added bound on the rank of H; final version to appear in Journal of Number Theory

MSC Class: 11J93 (Primary) 11G09; 13N99 (Secondary)

Journal ref: Journal of Number Theory, 232:177-203, 2022. Special Issue: David Goss Memorial Issue

Prolongations of t-motives and algebraic independence of periods

Authors: Andreas Maurischat

Abstract: In this article we show that the coordinates of a period lattice generator of the $n$-th tensor power of the Carlitz module are algebraically independent, if $n$ is prime to the characteristic. The main part of the paper, however, is devoted to a general construction for $t$-motives which we call prolongation, and which gives the necessary background for our proof of the algebraic independence. An… ▽ More In this article we show that the coordinates of a period lattice generator of the $n$-th tensor power of the Carlitz module are algebraically independent, if $n$ is prime to the characteristic. The main part of the paper, however, is devoted to a general construction for $t$-motives which we call prolongation, and which gives the necessary background for our proof of the algebraic independence. Another ingredient is a theorem which shows hypertranscendence for the Anderson-Thakur function $ω(t)$, i.e. that $ω(t)$ and all its hyperderivatives with respect to $t$ are algebraically independent. △ Less

Submitted 9 July, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: 21 pages; v1->v2: extended the basic notation for better readability, corrected typos; final version to appear in Documenta Mathematica

MSC Class: 11J93 (Primary); 11G09; 13N99 (Secondary)

Journal ref: Documenta Mathematica 23 (2018), pp. 815-838

An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions

Authors: Andreas Maurischat, Rudolph Perkins

Abstract: Let $\mathfrak{p}$ be a monic irreducible polynomial in $A:=\mathbb{F}_q[θ]$, the ring of polynomials in the indeterminate $θ$ over the finite field $\mathbb{F}_q$, and let $ζ$ be a root of $\mathfrak{p}$ in an algebraic closure of $\mathbb{F}_q(θ)$. For each positive integer $n$, let $λ_n$ be a generator of the $A$-module of Carlitz $\mathfrak{p}^n$-torsion. We give a basis for the ring of intege… ▽ More Let $\mathfrak{p}$ be a monic irreducible polynomial in $A:=\mathbb{F}_q[θ]$, the ring of polynomials in the indeterminate $θ$ over the finite field $\mathbb{F}_q$, and let $ζ$ be a root of $\mathfrak{p}$ in an algebraic closure of $\mathbb{F}_q(θ)$. For each positive integer $n$, let $λ_n$ be a generator of the $A$-module of Carlitz $\mathfrak{p}^n$-torsion. We give a basis for the ring of integers $A[ζ,λ_n] \subset K(ζ, λ_n)$ over $A[ζ] \subset K(ζ)$ which consists of monomials in the hyperderivatives of the Anderson-Thakur function $ω$ evaluated at the roots of $\mathfrak{p}$. We also give an explicit field normal basis for these extensions. This builds on (and in some places, simplifies) the work of Anglès-Pellarin. △ Less

Submitted 30 November, 2016; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: 17 pages. Corrected typo

MSC Class: 11R60

Journal ref: Publications Mathématiques de Besançon, no. 1 (2019) pp. 131-149

A chain rule formula for higher derivations and inverses of polynomial maps

Authors: Andreas Maurischat

Abstract: The multidimensional chain rule formula for analytic functions and its generalisation to higher derivatives perfectly work in the algebraic setting in characteristic zero. In positive characteristic one runs into problems due to denominators in these formulas. In this article we show a direct analog of these formulas using higher derivations which are defined in any characteristic. We also use the… ▽ More The multidimensional chain rule formula for analytic functions and its generalisation to higher derivatives perfectly work in the algebraic setting in characteristic zero. In positive characteristic one runs into problems due to denominators in these formulas. In this article we show a direct analog of these formulas using higher derivations which are defined in any characteristic. We also use these formulas to show how higher derivations to different coordinate systems are related to each other. Finally, we apply this to polynomial automorphisms in arbitrary characteristic and obtain a formula for the inverse of such a polynomial automorphism. △ Less

Submitted 7 November, 2016; originally announced November 2016.

Comments: 15 pages

MSC Class: 12H05; 13N15; 14R15

Journal ref: Communications in Algebra, 47:7 (2019), pp. 2617-2633

Non-free iterative differential modules

Authors: Andreas Maurischat

Abstract: In the article "Picard-Vessiot theory of differentially simple rings" we established a Picard-Vessiot theory over differentially simple rings which may not be fields. Differential modules over such rings were proven to be locally free but do not have to be free as modules. In this article, we give a family of examples of non-free differential modules, and compute Picard-Vessiot rings as well as Ga… ▽ More In the article "Picard-Vessiot theory of differentially simple rings" we established a Picard-Vessiot theory over differentially simple rings which may not be fields. Differential modules over such rings were proven to be locally free but do not have to be free as modules. In this article, we give a family of examples of non-free differential modules, and compute Picard-Vessiot rings as well as Galois groups for them. △ Less

Submitted 2 November, 2015; originally announced November 2015.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1304.7663

MSC Class: 12H20; 13B05

Journal ref: ACM Communications in Computer Algebra, Vol. 50, No. 4, Issue 198 (2016), pp. 126-135

A categorical approach to Picard-Vessiot theory

Authors: Andreas Maurischat

Abstract: Picard-Vessiot rings are present in many settings like differential Galois theory, difference Galois theory and Galois theory of Artinian simple module algebras. In this article we set up an abstract framework in which we can prove theorems on existence and uniqueness of Picard-Vessiot rings, as well as on Galois groups corresponding to the Picard-Vessiot rings. As the present approach restricts t… ▽ More Picard-Vessiot rings are present in many settings like differential Galois theory, difference Galois theory and Galois theory of Artinian simple module algebras. In this article we set up an abstract framework in which we can prove theorems on existence and uniqueness of Picard-Vessiot rings, as well as on Galois groups corresponding to the Picard-Vessiot rings. As the present approach restricts to the categorical properties which all the categories of differential modules resp. difference modules etc. share, it gives unified proofs for all these Galois theories (and maybe more general ones). △ Less

Submitted 15 July, 2015; originally announced July 2015.

Comments: 34 pages

MSC Class: 13B05; 18D10; 12H20

Journal ref: Theory and Applications of Categories, Vol. 32, No. 14 (2017), 488-525

Picard-Vessiot theory of differentially simple rings

Authors: Andreas Maurischat

Abstract: In Picard-Vessiot theory, the Galois theory for linear differential equations, the Picard-Vessiot ring plays an important role, since it is the Picard-Vessiot ring which is a torsor (principal homogeneous space) for the Galois group (scheme). Like fields are simple rings having only (0) and (1) as ideals, the Picard-Vessiot ring is a differentially simple ring, i.e. a differential ring having only… ▽ More In Picard-Vessiot theory, the Galois theory for linear differential equations, the Picard-Vessiot ring plays an important role, since it is the Picard-Vessiot ring which is a torsor (principal homogeneous space) for the Galois group (scheme). Like fields are simple rings having only (0) and (1) as ideals, the Picard-Vessiot ring is a differentially simple ring, i.e. a differential ring having only (0) and (1) as differential ideals. Having in mind that the classical Galois theory is a theory of extensions of fields, i.e. of simple rings, it is quite natural to ask whether one can also set up a Picard-Vessiot theory where the base is not a differential field, but more general a differentially simple ring. It is the aim of this article to give a positive answer to this question, i.e. to set up such a differential Galois theory. △ Less

Submitted 4 April, 2014; v1 submitted 29 April, 2013; originally announced April 2013.

Comments: 18 pages; v1->v2: Some minor corrections, corrected some typos

MSC Class: 12H20; 13B05

Journal ref: Journal of Algebra 409 (2014), pp. 162-181

Torsion group schemes as iterative differential Galois groups

Authors: Andreas Maurischat

Abstract: We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the ID-Galois groups of L over certain ID-subfields. For an explicit example, we even give a construction of (a family of) such iterative derivations. We are considering iterative derivations on the function field L of abelian schemes in positive characteristic p>0, and give conditions when the torsion group schemes of this abelian scheme occur as ID-automorphism groups, i.e. are the ID-Galois groups of L over certain ID-subfields. For an explicit example, we even give a construction of (a family of) such iterative derivations. △ Less

Submitted 14 October, 2015; v1 submitted 28 March, 2012; originally announced March 2012.

Comments: 14 pages; v2: rewritten some proofs for better readability

Journal ref: Contributations to Algebra and Geometry 60(4), (2019), pp. 627-643

On the finite inverse problem in iterative differential Galois theory

Authors: Andreas Maurischat

Abstract: In positive characteristic, nearly all Picard-Vessiot extensions are inseparable over some intermediate iterative differential extensions. In the Galois correspondence, these intermediate fields correspond to nonreduced subgroup schemes of the Galois group scheme. Moreover, the Galois group scheme itself may be nonreduced, or even infinitesimal. In this article, we investigate which finite group s… ▽ More In positive characteristic, nearly all Picard-Vessiot extensions are inseparable over some intermediate iterative differential extensions. In the Galois correspondence, these intermediate fields correspond to nonreduced subgroup schemes of the Galois group scheme. Moreover, the Galois group scheme itself may be nonreduced, or even infinitesimal. In this article, we investigate which finite group schemes occur as iterative differential Galois group schemes over a given ID-field. For a large class of ID-fields, we give a description of all occuring finite group schemes. △ Less

Submitted 12 July, 2011; v1 submitted 21 July, 2010; originally announced July 2010.

Comments: 8 pages, v2: added "finite" in the title to be more precise. Changed some typos and also did some more explanations in some proofs

MSC Class: 12H20 (Primary); 12F15 (Secondary)

Journal ref: in: Geometric and differential Galois theories, Séminaires et Congrès 27, 2013, Soc. Math. de France (2013)

On the finite generation of additive group invariants in positive characteristic

Authors: Emilie Dufresne, Andreas Maurischat

Abstract: Roberts, Freudenburg, and Daigle and Freudenburg have given the smallest counterexamples to Hilbert's fourteenth problem as rings of invariants of algebraic groups. Each is of an action of the additive group on a finite dimensional vector space over a field of characteristic zero, and thus, each is the kernel of a locally nilpotent derivation. In positive characteristic, additive group actions cor… ▽ More Roberts, Freudenburg, and Daigle and Freudenburg have given the smallest counterexamples to Hilbert's fourteenth problem as rings of invariants of algebraic groups. Each is of an action of the additive group on a finite dimensional vector space over a field of characteristic zero, and thus, each is the kernel of a locally nilpotent derivation. In positive characteristic, additive group actions correspond to locally finite iterative higher derivations. We set up characteristic-free analogs of the three examples, and show that, contrary to characteristic zero, in every positive charateristic, the invariants are finitely generated. △ Less

Submitted 26 May, 2010; v1 submitted 19 January, 2010; originally announced January 2010.

Comments: added a missing reference and a new section with an extension of the main result, corrected some typos, 14 pages

MSC Class: 13A50

Infinitesimal group schemes as iterative differential Galois groups

Authors: Andreas Maurischat

Abstract: This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an infinitesimal group scheme as iterative differential Galois group. In this article we prove a necessary and sufficient condition to decide whether an infinitesimal grou… ▽ More This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an infinitesimal group scheme as iterative differential Galois group. In this article we prove a necessary and sufficient condition to decide whether an infinitesimal group scheme occurs as Galois group scheme of a Picard-Vessiot extension over a given ID-field or not. In particular, this solves the inverse ID-Galois problem for infinitesimal group schemes. △ Less

Submitted 26 August, 2009; originally announced August 2009.

Comments: 13 pages

MSC Class: 13N99; 12F15

Journal ref: Journal of Pure and Applied Algebra 214 (2010), no. 11, pp. 2092-2100

Galois theory for iterative connections and nonreduced Galois groups

Authors: Andreas Maurischat

Abstract: This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero to modules over rings of arbitrary characteristic. We show that these modules with iterative connection (and also the modules with integrable iterative connection) form a Tannakian category, assuming some nice properties for the unde… ▽ More This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero to modules over rings of arbitrary characteristic. We show that these modules with iterative connection (and also the modules with integrable iterative connection) form a Tannakian category, assuming some nice properties for the underlying ring, and we show how this generalises to modules over schemes. We also relate these notions to stratifications on modules, as introduced by A. Grothendieck in order to extend integrable (ordinary) connections to finite characteristic. Over smooth rings, we obtain an equivalence of stratifications and integrable iterative connections. Furthermore, over a regular ring in positive characteristic, we show that the category of modules with integrable iterative connection is also equivalent to the category of flat bundles as defined by D. Gieseker. In the second part of this article, we set up a Picard-Vessiot theory for fields of solutions. For such a Picard-Vessiot extension, we obtain a Galois correspondence, which takes into account even nonreduced closed subgroup schemes of the Galois group scheme on one hand and inseparable intermediate extensions of the Picard-Vessiot extension on the other hand. Finally, we compare our Galois theory with the Galois theory for purely inseparable field extensions. △ Less

Submitted 26 August, 2009; v1 submitted 21 December, 2007; originally announced December 2007.

Comments: 37 pages; v2->v3: more cross references to other papers are added in this version, the introduction is more detailed v3->v4: proof of Thm. 11.5iv) and of the following corollaries changed and hyperref added

MSC Class: 13N99; 12H20; 12F15

Journal ref: Transactions of the AMS, 362 (2010), no. 10, pp. 5411-5453