Geometric characterization of strongly normal extensions

This paper continues previous work in which we developed the Galois theory of strongly normal extensions using differential schemes. In the present paper we derive two main results. First, we show that an extension is strongly normal if and only if a certain differential scheme splits, i.e. is obtained by base extension of a scheme over constants. This gives a geometric characterization to the notion of strongly normal. Second, we show that Picard-Vessiot extensions are characterized by their Galois group being affine. Our proofs are elementary and do not use ``group chunks' or cohomology. We end by recalling some important results about strongly normal extensions with the hope of spurring future research.

     

Picard-Vessiot theory for real fields

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 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.     

Purely Inseparable Extensions and Ramification Filtrations

In this article, we investigate the shift of Abbes and Saito's ramification filtrations of the absolute Galois group of a complete discrete valuation field of positive characteristic under a purely inseparable extension. We also study a functoriality property for characteristic forms.     

The differential Galois theory of strongly normal extensions

Differential Galois theory, the theory of strongly normal extensions, has unfortunately languished. This may be due to its reliance on Kolchin's elegant, but not widely adopted, axiomatization of the theory of algebraic groups. This paper attempts to revive the theory using a differential scheme in place of those axioms. We also avoid using a universal differential field, instead relying on a certain tensor product.

We identify automorphisms of a strongly normal extension with maximal differential ideals of this tensor product, thus identifying the Galois group with the closed points of an affine differential scheme. Moreover, the tensor product has a natural coring structure which translates into the Galois group operation: composition of automorphisms.

This affine differential scheme splits, i.e. is obtained by base extension from a (not differential, not necessarily affine) group scheme. As a consequence, the Galois group is canonically isomorphic to the closed, or rational, points of a group scheme defined over constants. We obtain the fundamental theorem of differential Galois theory, giving a bijective correspondence between subgroup schemes and intermediate differential fields.

On the way to this result we study certain aspects of differential algebraic geometry, e.g. closed immersions, products, local ringed space of constants, and split differential schemes.

     

The structure of a partial Galois extension

In this paper, we present an easy way to construct partial Galois extensions; in particular, any direct sum of finitely many Galois extensions forms a partial Galois extension. The idea is inspired by the study of how Galois extensions are embedded in a partial Galois extension via minimal elements in an associated Boolean semigroup.     

Lie symmetries and differential Galois groups of linear equations

For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formulation of Lie symmetries is developed. It turns out that there is no direct relation between the two above objects. In connection with this a new algorithm for computing the Lie symmetries of a linear ordinary differential equation is presented.     

General differential Galois theory

The general Galois theory of arbitrary nonlinear partial differential equations is presented in the paper. For each system of differential equations its splitting field and the differential Galois group are defined. The main result is the theorem on the Galois correspondence for normal extensions.     

Generic rings for Picard-Vessiot extensions and generic differential equations

Let G be an observable subgroup of GL_n. We produce an extension of differential commutative rings generic for Picard-Vessiot extensions with group G.     

On differential Galois groups of strongly normal extensions

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p‐valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in , we establish a relative Galois correspondence for relatively definable subgroups of the group of differential order automorphisms.     

Projective Extensions of Fields

Every field K admits proper projective extensions, that is,Galois extensions where the Galois group is a non-trivial projectivegroup, unless K is separably closed or K is a pythagorean formallyreal field without cyclic extensions of odd degree. As a consequence,it turns out that almost all absolute Galois groups decomposeas proper semidirect products. We show that each local field has a unique maximal projectiveextension, and that the same holds for each global field ofpositive characteristic. In characteristic 0, we prove thatLeopoldt's conjecture for all totally real number fields isequivalent to the statement that, for all totally real numberfields, all projective extensions are cyclotomic. So the realizabilityof any non-procyclic projective group as Galois group over Qproduces counterexamples to the Leopoldt conjecture.     

An attempt to differential Galois theory of second order polynomial system and solvable subgroup of Mbius transformations

By introducing the conception "relativistic differential Galois group" for the second order polynomial systems, we establish the relation between the conformal relativistic differential Galois group and the subgroup of Mobius transformations, and prove that the system is integrable in the sense of Liouville if its conformal relativistic differential Galois group is solvable with a derived length at most 2. Some omissions on the structures of solvable subgroups of Mobius transformations at the first author's article published in this journal in 1996 are refreshed in this paper.     

A convergent difference scheme for the infinity Laplacian: Construction of absolutely minimizing Lipschitz extensions

This article considers the problem of building absolutely minimizing Lipschitz extensions to a given function. These extensions can be characterized as being the solution of a degenerate elliptic partial differential equation, the ``infinity Laplacian', for which there exist unique viscosity solutions.

A convergent difference scheme for the infinity Laplacian equation is introduced, which arises by minimizing the discrete Lipschitz constant of the solution at every grid point. Existence and uniqueness of solutions to the scheme is shown directly. Solutions are also shown to satisfy a discrete comparison principle.

Solutions are computed using an explicit iterative scheme which is equivalent to solving the parabolic version of the equation.

     

An attempt to differential Galois theory of second order polynomial system and solvable subgroup of Möbius transformations

By introducing the conception “relativistic differential Galois group” for the second order polynomial systems, we establish the relation between the conformal relativistic differential Galois group and the subgroup of Möbius transformations, and prove that the system is integrable in the sense of Liouville if its conformal relativistic differential Galois group is solvable with a derived length at most 2. Some omissions on the structures of solvable subgroups of Möbius transformations at the first author’s article published in this journal in 1996 are refreshed in this paper.     

An attempt to differential Galois theory of second order polynomial system and solvable subgroup of M(o)bius transformations

By introducing the conception "relativistic differential Galois group" for the second order polynomial systems, we establish the relation between the conformal relativistic differential Galois group and the subgroup of M(o)bius transformations, and prove that the system is integrable in the sense of Liouville if its conformal relativistic differential Galois group is solvable with a derived length at most 2. Some omissions on the structures of solvable subgroups of M(o)bius transformations at the first author's article published in this journal in 1996 are refreshed in this paper.     

Abelian extensions in picard - Vessiot theory

A classification is given of Pcard-Vessiot extensions with an Abelian Galois group for a partial differential field of characteristic zero with an algebraically closed field of constants.     

Extensions galoisiennes non commutatives :normalité cohomologie non abélienne

We study various types of noncommutative Galois extensions and present some examples. We state a criterion which decides whether a given automorphism of a Galois extension belongs to the corresponding Galois group or not. We then compute Borovoi’s nonabelian cohomology sets (in degree 0, 1, 2) of the Galois group with coefficients in a crossed module associated to the Galois extension.     

Invariante Zwischenkörper endlicher Körpererweiterungen

Let KM be a finite field extension. An intermediate field L is called invariant if there is an affine algebraic K-group acting on M with L as its invariant field. The question, which intermediate fields are invariant, was studied by Bégueri [1] for purely inseparable extensions and by Sweedler [6] for arbitrary extensions, but only for a restricted class of groups. In this paper Bégueri's result is generalized to arbitrary field extensions. Additionally it is shown that one can check whether a given intermediate field is invariant or not by computing the rank of certain matrices. As an application we get a class of invariant intermediate fields.     

Galois self-dual extended duadic constacyclic codes

Galois inner product is a generalization of the Euclidean inner product and Hermitian inner product. The theory on linear codes under Galois inner product can be applied in the constructions of MDS codes and quantum error-correcting codes. In this paper, we construct Galois self-dual codes and MDS Galois self-dual codes from extensions of constacyclic codes. First, we explicitly determine all the Type II splittings leading to all the Type II duadic constacyclic codes in two cases. Second, we propose methods to extend two classes of constacyclic codes to obtain Galois self-dual codes, and we also provide existence conditions of Galois self-dual codes which are extensions of constacyclic codes. Finally, we construct some (almost) MDS Galois self-dual codes using the above results. Some Galois self-dual codes and (almost) MDS Galois self-dual codes obtained in this paper turn out to be new.     

A counter example to Malle's conjecture on the asymptotics of discriminants

In this Note we give a counter example to a conjecture of Malle which predicts the asymptotic behavior of the counting functions for field extensions with given Galois group and bounded discriminant. To cite this article: J. Klüners, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

On the Galois group of some Fuchsian systems

In this paper, we give a new result ofn the differential Galois theory of linear ordinary differential equations. In particular, we compute the differential Galois group for a special type of nonresonant Fuchsian system.