Related papers: Galois groupoid and confluence of difference equat…
We present a family of algorithms for computing the Galois group of a polynomial defined over a $p$-adic field. Apart from the "naive" algorithm, these are the first general algorithms for this task. As an application, we compute the Galois…
In this paper, we develop a difference Galois theory in the setting of real fields. After proving the existence and uniqueness of the real Picard-Vessiot extension, we define the real difference Galois group and prove a Galois…
We propose an analytical approach to the Galois theory of singular regular linear q-difference systems. We use Tannaka duality along with Birkhoff's classification scheme with the connection matrix to define and describe their Galois…
We prove the Galois correspondence between the subgroups of a finite automorphism group G of a simple vertex operator algebra V and the vertex operator subalgebras of V containing the set V^G of G-invariants.
As a simple corollary of a highly general framework for differential and difference Galois theory introduced by Y. Andre, we formulate a version of the Galois correspondence that applies over a difference field with arbitrary field of…
We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear…
We study the middle convolution of local systems on the punctured affine line in the setting of singular cohomology and in the setting of \'etale cohomology. We derive a formula to compute the topological monodromy of the middle convolution…
A categorical theory for the discretization of a large class of dynamical systems with variable coefficients is proposed. It is based on the existence of covariant functors between the Rota category of Galois differential algebras and…
We present an algorithm to determine the Galois group of an irreducible monic polynomial $f(x) \in \mathbb{Z}[x]$ of degree at most five. Following work of Conrad, Dummit, and Stauduhar this comes down to answering two questions: Is a given…
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…
We present a simple method for the construction of polynomials with cyclic Galois groups, hoping to encourage a reader with some background in algebra to make computations of his/her own.
The complexity of computing the Galois group of a linear differential equation is of general interest. In a recent work, Feng gave the first degree bound on Hrushovski's algorithm for computing the Galois group of a linear differential…
We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting…
Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial is a very old problem. Currently, the best algorithmic solution is Stauduhar's method. Computationally, one of the key challenges in…
Counting number fields with prescribed Galois group is an enduring challenge in arithmetic statistics. Using the determinant method, we provide an upper bound for even groups, which is new in some cases.
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…
We determine the differential Galois group of the family of all regular singular differential equations on the Riemann sphere. It is the free proalgebraic group on a set of cardinality $|\mathbb{C}|$.
We study a Sturm-Liouville type eigenvalue problem for second-order differential equations on the infinite interval. Here the eigenfunctions are nonzero solutions exponentially decaying at infinity. We prove that at any discrete eigenvalue…
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…