Related papers: A Chevalley theorem for difference equations

Using the Feferman-Vaught Theorem, we prove that a definable subset of a product structure must be a Boolean combination of open sets, in the product topology induced by giving each factor structure the discrete topology. We prove a…

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…

The main idea of [4] was that structures built from periodic prime ideals have better properties from the usual ones built from invariant ideals; but unable to work with periodic ideals alone, we had to generalise further to a somewhat…

Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…

In this paper we construct the sheaf morphism from the sheaf of pseudodifferential operators to its symbol class. Since the map is hard to construct directly, we realize it with two original ideas as follows. First, to calculate…

In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank >1 over a commutative ring (with 1/2 for the systems A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) is…

We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double…

A system of linear equations over a skew field has properties similar to properties of a system of linear equations over a field. Even noncommutativity of a product creates a new picture the properties of system of linear equations and of…

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…

An algebraic group is called semi-reductive if it is a semi-direct product of a reductive subgroup and the unipotent radical. Such a semi-reductive algebraic group naturally arises and also plays a key role in the study of modular…

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

Let G be a reductive algebraic group over a field of prime characteristic. One can associate to G (or subgroups thereof) its Lie algebra, its Frobenius kernels, and the finite Chevalley group of points over a finite field. The…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudo-reflection groups over regular domains. More precisely, let $A$ be a regular domain and let $K$ be its field of…

The analogy between the arithmetic of varieties over number fields and the arithmetic of varieties over function fields is a leading theme in arithmetic geometry. This analogy is very powerful but there are some gaps. In this note we will…

We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers. We construct such a homeomorphism by choosing a small…

We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…

The purpose of this short note is to establish the existence of $\partial$-parameterized Picard-Vessiot extensions of systems of linear difference-differential equations over difference-differential fields with algebraically closed…

For a split reductive group defined over a number field, we first introduce the notations of arithmetic torsors and arithmetic Higgs torsors. Then we construct arithmetic characteristic curves associated to arithmetic Higgs torsors, based…