Showing 1–15 of 15 results for author: Hajto, Z

Real Liouvillian Extensions of Partial Differential Fields

Authors: Teresa Crespo, Zbigniew Hajto, Rouzbeh Mohseni

Abstract: In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally $p$-adic differential fields with a $p$-adically closed field of constants. For an integrable partial differential system defined over such a field, we prove that there exists a formally real (resp. formally $p$-adic) Pica… ▽ More In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally $p$-adic differential fields with a $p$-adically closed field of constants. For an integrable partial differential system defined over such a field, we prove that there exists a formally real (resp. formally $p$-adic) Picard-Vessiot extension. Moreover, we obtain a uniqueness result for this Picard-Vessiot extension. We give an adequate definition of the Galois differential group and obtain a Galois fundamental theorem in this setting. We apply the obtained Galois correspondence to characterise formally real Liouvillian extensions of real partial differential fields with a real closed field of constants by means of split solvable linear algebraic groups. We present some examples of real dynamical systems and indicate some possibilities of further development of algebraic methods in real dynamical systems. △ Less

Submitted 29 October, 2021; v1 submitted 19 April, 2021; originally announced April 2021.

MSC Class: 12H05; 37J35; 12D15; 14P05

Journal ref: SIGMA 17 (2021), 095, 16 pages

Tame topology and non-integrability of dynamical systems

Authors: Zbigniew Hajto, Rouzbeh Mohseni

Abstract: In this paper we study the general concept of integrability in the broad sense within the frame of differential Galois theory. We concentrate on the gradient systems which are not integrable. In spite of it, if we consider them as the real dynamical systems, they have trajectories with finiteness properties of o-minimal type. In this paper we study the general concept of integrability in the broad sense within the frame of differential Galois theory. We concentrate on the gradient systems which are not integrable. In spite of it, if we consider them as the real dynamical systems, they have trajectories with finiteness properties of o-minimal type. △ Less

Submitted 27 August, 2020; originally announced August 2020.

MSC Class: Primary 37J30; 12H05; Secondary 70H07; 34C28

Jacobian Conjecture via Differential Galois Theory

Authors: Elzbieta Adamus, Teresa Crespo, Zbigniew Hajto

Abstract: We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot extensions of partial differential fields, the theory of strongly normal extensions as presented by Kovacic and the characterization of Picard-Vessiot extensions in… ▽ More We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot extensions of partial differential fields, the theory of strongly normal extensions as presented by Kovacic and the characterization of Picard-Vessiot extensions in terms of tensor products given by Levelt. △ Less

Submitted 3 May, 2019; v1 submitted 6 January, 2019; originally announced January 2019.

MSC Class: 14R10; 14R15; 13N15; 12F10

Journal ref: SIGMA 15 (2019), 034, 7 pages

On some nice polynomial automorphisms

Authors: Elzbieta Adamus, Pawel Bogdan, Teresa Crespo, Zbigniew Hajto

Abstract: Given a polynomial endomorphism F of the n-dimensional affine space over a field K, we define a sequence of polynomial endomorphisms of the affine space associated to F. We call F nice if there exists an integer m such that the m-th term of the sequence vanishes. Then F is invertible and its inverse may be computed in terms of the endomorphisms in the sequence. In this paper we study the class of… ▽ More Given a polynomial endomorphism F of the n-dimensional affine space over a field K, we define a sequence of polynomial endomorphisms of the affine space associated to F. We call F nice if there exists an integer m such that the m-th term of the sequence vanishes. Then F is invertible and its inverse may be computed in terms of the endomorphisms in the sequence. In this paper we study the class of nice polynomial automorphisms and obtain that this class is large and includes triangulable automorphisms and all linear cubic homogeneous polynomial automorphisms of nilpotence index up to 3. We prove as well that the nicety property is invariant under linear conjugation and determine that seven of the eight forms in Hubbers' classification of cubic homogeneous automorphisms in dimension 4 are nice and moreover the eighth one is a composition of nice maps. △ Less

Submitted 6 January, 2016; originally announced January 2016.

MSC Class: 14R15

A new characterization of the invertibility of polynomial maps

Authors: Elzbieta Adamus, Pawel Bogdan, Teresa Crespo, Zbigniew Hajto

Abstract: In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the invertibility of F as well as a formula for the inverse of F in terms of these finite sequences of polynomials. Some examples illustrate the effective aspects of our app… ▽ More In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the invertibility of F as well as a formula for the inverse of F in terms of these finite sequences of polynomials. Some examples illustrate the effective aspects of our approach. △ Less

Submitted 3 January, 2016; originally announced January 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1506.01654

MSC Class: 14R15

Jacobian Conjecture and Nilpotency

Authors: Elzbieta Adamus, Pawel Bogdan, Teresa Crespo, Zbigniew Hajto

Abstract: For K a field of characteristic 0 and d any integer number greater than or equal to 2, we prove the invertibility of polynomial endomorphisms of the affine space of dimension d over K of the form F=Id+H, where each coordinate of H is the cube of a linear form and the cube of the Jacobian matrix of H is equal to zero. Our proof uses the inversion algorithm for polynomial maps presented in our previ… ▽ More For K a field of characteristic 0 and d any integer number greater than or equal to 2, we prove the invertibility of polynomial endomorphisms of the affine space of dimension d over K of the form F=Id+H, where each coordinate of H is the cube of a linear form and the cube of the Jacobian matrix of H is equal to zero. Our proof uses the inversion algorithm for polynomial maps presented in our previous paper. Our current result leads us to formulate a conjecture relating the nilpotency degree of the Jacobian matrix of H with the number of necessary steps in the inversion algorithm. △ Less

Submitted 9 August, 2015; originally announced August 2015.

MSC Class: 14R15; 14R10

An effective approach to Picard-Vessiot theory and the Jacobian Conjecture

Authors: Elzbieta Adamus, Pawel Bogdan, Zbigniew Hajto

Abstract: In this paper we present a theorem concerning an equivalent statement of the Jacobian Conjecture in terms of Picard-Vessiot extensions. Our theorem completes the earlier work of T. Crespo and Z. Hajto which suggested an effective criterion for detecting polynomial automorphisms of affine spaces. We show a simplified criterion and give a bound on the number of wronskians determinants which we need… ▽ More In this paper we present a theorem concerning an equivalent statement of the Jacobian Conjecture in terms of Picard-Vessiot extensions. Our theorem completes the earlier work of T. Crespo and Z. Hajto which suggested an effective criterion for detecting polynomial automorphisms of affine spaces. We show a simplified criterion and give a bound on the number of wronskians determinants which we need to consider in order to check if a given polynomial mapping with non-zero constant Jacobian determinant is a polynomial automorphism. Our method is specially efficient with cubic homogeneous mappings introduced and studied in fundamental papers by H. Bass, E. Connell, D. Wright and L. Druzkowski. △ Less

Submitted 4 June, 2015; originally announced June 2015.

MSC Class: 14R15; 14R10

An inversion algorithm for polynomial maps

Authors: Elzbieta Adamus, Pawel Bogdan, Teresa Crespo, Zbigniew Hajto

Abstract: We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero polynomial appears in all n sequences and moreover computes the inverse map of F. This algorithm provides a classification of polynomial automorphisms of affine sp… ▽ More We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero polynomial appears in all n sequences and moreover computes the inverse map of F. This algorithm provides a classification of polynomial automorphisms of affine spaces. △ Less

Submitted 4 June, 2015; originally announced June 2015.

MSC Class: 14R15; 14R10

Galois correspondence theorem for Picard-Vessiot extensions

Authors: Teresa Crespo, Zbigniew Hajto, Elzbieta Sowa-Adamus

Abstract: In this paper, we generalize the definition of the differential Galois group and the Galois correspondence theorem established previously for Picard-Vessiot extensions of real differential fields with real closed field of constants to any Picard-Vessiot extension. In this paper, we generalize the definition of the differential Galois group and the Galois correspondence theorem established previously for Picard-Vessiot extensions of real differential fields with real closed field of constants to any Picard-Vessiot extension. △ Less

Submitted 27 February, 2015; originally announced February 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1207.1890

MSC Class: 12H05; 12F10

Journal ref: Arnold Mathematical Journal 2 (2016), 21-27

Picard-Vessiot Extensions of Real Differential Fields

Authors: Teresa Crespo, Zbigniew Hajto

Abstract: For a linear differential equation defined over a formally real differential field K with real closed field of constants k, Crespo, Hajto and van der Put proved that there exists a unique formally real Picard- Vessiot extension up to K-differential automorphism. However such an equation may have Picard-Vessiot extensions which are not formally real fields. The differential Galois group of a Picard… ▽ More For a linear differential equation defined over a formally real differential field K with real closed field of constants k, Crespo, Hajto and van der Put proved that there exists a unique formally real Picard- Vessiot extension up to K-differential automorphism. However such an equation may have Picard-Vessiot extensions which are not formally real fields. The differential Galois group of a Picard-Vessiot extension for this equation has the structure of a linear algebraic group defined over k and is a k-form of the differential Galois group H of the equation over the differential field K(i), where i denotes a square root of -1 in the algebraic closure of k. These facts lead us to consider two issues: determining the number of K-differential isomorphism classes of Picard-Vessiot extensions and describing the variation of the differential Galois group in the set of k-forms of H. We address these two issues in the cases when H is a special linear, a special orthogonal, or a symplectic linear algebraic group and conclude that there is no general behaviour. △ Less

Submitted 24 December, 2019; v1 submitted 13 March, 2014; originally announced March 2014.

Journal ref: SIGMA 15 (2019), 100, 11 pages

Real and p-adic Picard-Vessiot fields

Authors: Teresa Crespo, Zbigniew Hajto, Marius van der Put

Abstract: We consider differential modules over real and p-adic differential fields such that their field of constants is real closed (respectively p-adically closed). Using Deligne's work on Tannakian categories and a result of Serre on Galois cohomology, a purely algebraic proof of the existence and unicity of real (respectively p-adic) Picard-Vessiot fields is obtained. We consider differential modules over real and p-adic differential fields such that their field of constants is real closed (respectively p-adically closed). Using Deligne's work on Tannakian categories and a result of Serre on Galois cohomology, a purely algebraic proof of the existence and unicity of real (respectively p-adic) Picard-Vessiot fields is obtained. △ Less

Submitted 31 August, 2013; v1 submitted 9 July, 2013; originally announced July 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1302.1012

MSC Class: 34M50; 12D15; 11E10; 11R34

Journal ref: Math. Ann. 365 (2016), 93-103

Picard-Vessiot theory for real partial differential fields

Authors: Teresa Crespo, Zbigniew Hajto

Abstract: We prove the existence of real Picard-Vessiot extensions for real partial differential fields with real closed field of constants. We establish a Galois correspondence theorem for these Picard-Vessiot extensions and characterize real Liouville extensions of real partial differential fields. We prove the existence of real Picard-Vessiot extensions for real partial differential fields with real closed field of constants. We establish a Galois correspondence theorem for these Picard-Vessiot extensions and characterize real Liouville extensions of real partial differential fields. △ Less

Submitted 12 April, 2021; v1 submitted 7 February, 2013; originally announced February 2013.

Comments: The results in this article were based on a result in a previous paper, where the given proof was incorrect

The unicity of real Picard-Vessiot fields

Authors: Teresa Crespo, Zbigniew Hajto, Marius van der Put

Abstract: The unicity of real Picard-Vessiot fields for differential modules over a real differential field is proved. The unicity of real Picard-Vessiot fields for differential modules over a real differential field is proved. △ Less

Submitted 5 February, 2013; originally announced February 2013.

MSC Class: 34M50; 12D15; 11E10; 11R34

Real Picard-Vessiot theory

Authors: Teresa Crespo, Zbigniew Hajto, Elzbieta Sowa

Abstract: The existence of a Picard-Vessiot extension for a homogeneous linear differential equation has been established when the differential field over which the equation is defined has an algebraically closed field of constants. In this paper, we prove the existence of a real Picard-Vessiot extension for a homogeneous linear differential equation defined over a real differential field K with real closed… ▽ More The existence of a Picard-Vessiot extension for a homogeneous linear differential equation has been established when the differential field over which the equation is defined has an algebraically closed field of constants. In this paper, we prove the existence of a real Picard-Vessiot extension for a homogeneous linear differential equation defined over a real differential field K with real closed field of constants. We give an adequate definition of the differential Galois group of a Picard- Vessiot extension of a real differential field with real closed field of constants and we prove a Galois correspondence theorem for such a Picard-Vessiot extension. △ Less

Submitted 8 July, 2012; originally announced July 2012.

MSC Class: 12H05; 12F10

Real Liouville extensions

Authors: Teresa Crespo, Zbigniew Hajto

Abstract: We give a characterization of real Liouville extensions by differential Galois groups. We give a characterization of real Liouville extensions by differential Galois groups. △ Less

Submitted 11 June, 2012; originally announced June 2012.

Journal ref: Comm. Algebra, 43 (2015), 2089-2093