Related papers: Galois Theory of Parameterized Differential Equati…
In the frame of Mahler's method for algebraic independence we show that the algebraic relations over Q linking the values of functions solutions of a system of functional equations come from the algebraic relations between the functions…
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…
We obtain a criterion for when the specialization of the iterated Galois group for a post-critically finite (PCF) rational map is as large as possible, i.e., it equals the generic iterated Galois group for the given map.
We introduce the concept of a Galois covering of a pointed coalgebra. The theory developed shows that Galois coverings of pointed coalgebras can be concretely expressed by smash coproducts using the coaction of the automorphism group of the…
We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $\sigma$ that is either a shift $\sigma:x\mapsto x+1$, $q$-dilation $\sigma:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…
We prove that a differential field K is algebraically closed and Picard-Vessiot closed if and only if the differential Galois cohomology group H^1_\partial(K,G) is trivial for any linear differential algebraic group G over K. We give an…
Let $P\in\mathbb Q[t,x]$ be a polynomial in two variables with rational coefficients, and let $G$ be the Galois group of $P$ over the field $\mathbb Q(t)$. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $c$…
We show how the Galois-Picard_Vessiot theory of differential equations and difference equations, and the theory of holonomy groups in differential geometry, are different aspects of a unique Galois theory. The latter is based upon the…
We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Expos\'es that make up the monograph.
This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics: classifying groups definable in specific structures or theories and the relation to algebraic groups, groups…
The aim of this article is to study rational parallelisms of algebraic varieties by means of the transcendence of their symmetries. The nature of this transcendence is measured by a Galois group built from the Picard-Vessiot theory of…
We prove that the Galois groupoid of the category of $G$-spectra for a finite group $G$ is algebraic, i.e. equivalent to the \'etale fundamental groupoid of the Burnside ring of $G$. We implement an algorithm that computes the latter from…
The fundamental concepts in the Galois Theory are separable, normal and Galois field extensions. These concepts are central in proofs of the Galois Theory. In the paper, we introduce a new approach, a ring theoretic approach, to the Galois…
Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine…
Lie theory is, beyond any doubt, an absolutely essential part of differential geometry. It is therefore necessary to seek its generalization to $\mathbb{Z}$-graded geometry. In particular, it is vital to construct non-trivial and explicit…
It is well known that the Galois group of an extension puts constraints on the structure of the relative ideal class groups. Using only basic parts of the theory of group representations, we give a unified approach to such results.
For a differential operator $L$ of order $n$ over $C(z)$ with a finite (differential) Galois group $G\subset {\rm GL}(C^n)$, there is an algorithm, by M. van Hoeij and J.-A.~Weil, which computes the associated evaluation of the invariants…
We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois…
We study the determinant of certain etale sheaves constructed via middle convolution in order to realize special linear groups regularly as Galois groups over the rationals.