SearcharxivSearch

arXiv subjects

Zbigniew Hajto

Publications and source records attributed to Zbigniew Hajto.

18 recordsLinked to original sources

Order and Pascal depth of Pascal finite automorphisms of the plane

Let $K$ be a field of characteristic $p>0$. For a Pascal finite automorphism $F$ of the affine plane we show that its order is determined by its Pascal depth, $|F|=p^{\lceil\log_pτ_K(F)\rceil}$, and that, combined with Dolgachev's theorem on the plane Cremona group, this pins the order spectrum of Pascal finite plane automorphisms to $\{1,p,p^2\}$ and bounds the Pascal depth by $τ_K(F)\le p^2$. For the polynomial group $\text{GA}_2(K)$ we give a second, independent proof of the order-$p^2$ ceiling, a purely group-theoretic argument from the Jung--van der Kulk amalgam and Serre's tree theorem, using no birational geometry. We prove that the bound is sharp in two independent senses. Order~$p^2$ is attained by the length-two Witt vectors, and Pascal depth $p^2$ is attained by an explicit tame automorphism $G_p$, for which we give a characteristic-free proof that $τ_K(G_p)=p^2$. We contrast the plane with higher dimensions, where both order and depth are unbounded.

math.AG

On the Jung-van der Kulk decomposition into Pascal finite factors

Combining the Jung--van der Kulk theorem with the conjugacy invariance of the Pascal finite class, we show that every polynomial automorphism $F$ of the plane over an arbitrary field $K$, satisfying $F(0) = 0$, decomposes into the form $F = \diag(\det J_F, 1) \circ P_1 \circ \dots \circ P_s$, where all $P_i$ are Pascal finite automorphisms. Since every Pascal finite automorphism has Jacobian determinant equal to 1, the diagonal factor is the only obstacle: $F$ is a composition of Pascal finite maps if and only if $\det J_F = 1$. In particular, Question~3.1 from \cite{ABCH2} has a positive answer in dimension 2 in any characteristic, which constitutes an analogue of the Exponential Generators Conjecture in positive characteristic. In characteristic $p$, the factors can be chosen to have an order dividing $p^2$.

math.AG

Strongly nilpotent automorphisms are Pascal finite

We compare two classes of polynomial automorphisms, strongly nilpotent and Pascal finite. We conclude that every strongly nilpotent automorphism is a Pascal finite one, but not vice versa. We observe that Nagata's automorphism is Pascal finite, but not strongly nilpotent. Considering Vasyunin example leads us to conclusion that not every quadratic polynomial automorphism is Pascal finite.

math.AC

Real Liouvillian Extensions of Partial Differential Fields

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.

math.RA

Picard-Vessiot theory for 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.

math.AG

Tame topology and non-integrability of dynamical systems

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.

math.DS

Picard-Vessiot Extensions of Real Differential Fields

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.

math.AG

Jacobian Conjecture via Differential Galois Theory

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.

math.AG

On some nice polynomial automorphisms

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.

math.AG

A new characterization of the invertibility of polynomial maps

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.

math.AC

Jacobian Conjecture and Nilpotency

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.

math.AG

An inversion algorithm for polynomial maps

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.

math.AC

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

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.

math.AC

Galois correspondence theorem for Picard-Vessiot extensions

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.

math.AC

Real and p-adic Picard-Vessiot fields

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.

math.AG

Real Picard-Vessiot theory

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.

math.AG