Alexey Ovchinnikov

Parameterized Picard–Vessiot extensions and Atiyah extensions

Abstract Generalizing Atiyah extensions, we introduce and study differential abelian tensor categories over differential rings. By a differential ring, we mean a commutative ring with an action of a Lie ring by derivations. In particular, these derivations act on a differential category. A differential Tannakian theory is developed. The main application is to the Galois theory of linear differential equations with parameters. Namely, we show the existence of a parameterized Picard–Vessiot extension and, therefore, the Galois correspondence for many differential fields with, possibly, non-differentially closed fields of constants, that is, fields of functions of parameters. Other applications include a substantially simplified test for a system of linear differential equations with parameters to be isomonodromic, which will appear in a separate paper. This application is based on differential categories developed in the present paper, and not just differential algebraic groups and their representations.

Tannakian Approach to Linear Differential Algebraic Groups

Tannaka’s theorem states that a linear algebraic group G is determined by the category of finite-dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category corresponding to their representations and show how this category determines such a group.

A bound for orders in differential Nullstellensatz

Abstract We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed in [A. Seidenberg, An elimination theory for differential algebra, Univ. of California Publ. in Math. III (2) (1956) 31–66] but no complete solution was given. Our result is a complement to the corresponding result in algebraic geometry, which gives a bound on degrees of polynomial coefficients in effective Nullstellensatz [G. Hermann, Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann. 95 (1) (1926) 736–788; E.W. Mayr, A.W. Meyer, The complexity of the word problems for commutative semigroups and polynomial ideals, Adv. Math. 46 (3) (1982) 305–329; W.D. Brownawell, Bounds for the degrees in the Nullstellensatz, Ann. of Math. 126 (3) (1987) 577–591; J. Kollar, Sharp effective Nullstellensatz, J. Amer. Math. Soc. 1 (4) (1988) 963–975; L. Caniglia, A. Galligo, J. Heintz, Some new effectivity bounds in computational geometry, in: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Rome, 1988, in: Lecture Notes in Comput. Sci., vol. 357, Springer, Berlin, 1989, pp. 131–151; N. Fitchas, A. Galligo, Nullstellensatz effectif et conjecture de Serre (theoreme de Quillen–Suslin) pour le calcul formel, Math. Nachr. 149 (1990) 231–253; T. Krick, L.M. Pardo, M. Sombra, Sharp estimates for the arithmetic Nullstellensatz, Duke Math. J. 109 (3) (2001) 521–598; Z. Jelonek, On the effective Nullstellensatz, Invent. Math. 162 (1) (2005) 1–17; T. Dube, A combinatorial proof of the effective Nullstellensatz, J. Symbolic Comput. 15 (3) (1993) 277–296]. This paper is dedicated to the memory of Eugeny Pankratiev, who was the advisor of the first three authors at Moscow State University.

Tannakian Categories, Linear Differential Algebraic Groups, and Parametrized Linear Differential Equations

We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the category of representations of a linear algebraic group [18], [9].

UNIPOTENT DIFFERENTIAL ALGEBRAIC GROUPS AS PARAMETERIZED DIFFERENTIAL GALOIS GROUPS

We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has differential type 0. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type 0.

Reductive Linear Differential Algebraic Groups and the Galois Groups of Parameterized Linear Differential Equations

We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests whether the parameterized differential Galois group of a system of linear differential equations is reductive and, if it is, calculates it.

Isomonodromic differential equations and differential categories

Abstract We study isomonodromicity of systems of parameterized linear differential equations and related conjugacy properties of linear differential algebraic groups by means of differential categories. We prove that isomonodromicity is equivalent to isomonodromicity with respect to each parameter separately under a filtered-linearly closed assumption on the field of functions of parameters. Our result implies that one does not need to solve any non-linear differential equations to test isomonodromicity anymore. This result cannot be further strengthened by weakening the requirement on the parameters as we show by giving a counterexample. Also, we show that isomonodromicity is equivalent to conjugacy to constants of the associated parameterized differential Galois group, extending a result of P. Cassidy and M. Singer, which we also prove categorically. We illustrate our main results by a series of examples, using, in particular, a relation between the Gauss–Manin connection and parameterized differential Galois groups.

Zariski closures of reductive linear differential algebraic groups

Linear differential algebraic groups (LDAGs) appear as Galois groups of systems of linear differential and difference equations with parameters. These groups measure differential-algebraic dependencies among solutions of the equations. LDAGs are now also used in factoring partial differential operators. In this paper, we study Zariski closures of LDAGs. In particular, we give a Tannakian characterization of algebraic groups that are Zariski closures of a given LDAG. Moreover, we show that the Zariski closures that correspond to representations of minimal dimension of a reductive LDAG are all isomorphic. In addition, we give a Tannakian description of simple LDAGs. This substantially extends the classical results of P. Cassidy and, we hope, will have an impact on developing algorithms that compute differential Galois groups of the above equations and factoring partial differential operators.

On the generalized Ritt problem as a computational problem

The Ritt problem asks if there is an algorithm that decides whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In particular, we show that it is equivalent to testing whether a differential polynomial is a zero divisor modulo a radical differential ideal. The technique used in the proof of this equivalence yields algorithms for computing a canonical decomposition of a radical differential ideal into prime components and a canonical generating set of a radical differential ideal. Both proposed representations of a radical differential ideal are independent of the given set of generators and can be made independent of the ranking.

Differential Tannakian categories

Abstract We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces over the base field, then it is equivalent to the category of representations of a (pro-)linear differential algebraic group. Our treatment of the problem is via differential Hopf algebras and Delignes fibre functor construction [P. Deligne, Categories tannakiennes, in: The Grothendieck Festschrift, vol. II, in: Progr. Math., vol. 87, Birkhauser Boston, Boston, MA, 1990, pp. 111–195].