Related papers: Real Liouvillian Extensions of Partial Differentia…

Linear finite dynamical systems play an important role, for example, in coding theory and simulations. Methods for analyzing such systems are often restricted to cases in which the system is defined over a field %and usually strive to…

Let $V$ be a projective limit, with respect to the renormalized norm mappings, of the groups of principal units corresponding to a strictly increasing sequence of finite separable totally and tamely ramified Galois extensions of a local…

We prove automorphy lifting theorems for 2-dimensional Galois representations of absolute Galois groups of totally real fields when the residual representation is of "exceptional" type. This exceptional case is when we are in characteristic…

In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…

We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curriculum in Lean. We discuss some of the challenges we faced and…

We describe a method for counting the number of extensions of $\mathbb{Q}_p$ with a given Galois group $G$, founded upon the description of the absolute Galois group of $\mathbb{Q}_p$ due to Jannsen and Wingberg. Because this description is…

We introduce the notion of differential torsors, which allows the adaptation of constructions from algebraic geometry to differential Galois theory. Using these differential torsors, we set up a general framework for applying patching…

In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work of Neukirch, Pop conjectured the following $p$-adic…

Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. We first classify semi-stable representations of $G_K$ by weakly admissible filtered…

There is a serious discrepancy among literature on the Picard-Vessiot theory in positive characteristics (for iterative differential fields). It is about descriptions of Galois correspondence. We should use affine group schemes instead of…

Cyclic, ramified extensions $L/K$ of degree $p$ of local fields with residue characteristic $p$ are fairly well understood. Unless $\mbox{char}(K)=0$ and $L=K(\sqrt[p]{\pi_K})$ for some prime element $\pi_K\in K$, they are defined by an…

In this article, we realize some groups as Galois groups over rational numbers and finite extension of rational numbers by studying right splitting of some exact sequences, Galois correspondence and algebraic operations on Galois…

In this paper a Galoisian approach to build propagators through Riccati equations is presented. The main result corresponds to the relationship between the Galois integrability of the linear Schr\"odinger equation and the virtual…

We describe relations between maximal subfields in a division ring and in its rational extensions. More precisely, we prove that properties such as being Galois or purely inseparable over the centre generically carry over from one to…

Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool…

In this article we introduce the notion of projective isomonodromy, which is a special type of monodromy evolving deformation of linear differential equations, based on the example of the Darboux-Halphen equation. We give an algebraic…

We extend the Brauer-Siegel theorem to new families of number fields, both in the classical setting of asymptotically bad families and in the more general framework due to Tsfasman and Vl\u{a}du\c{t} of asymptotically exact families. We…

In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…

We establish the automorphy of some families of 2-dimensional representations of the absolute Galois group of a totally real field, which do not satisfy the so-called `Taylor--Wiles hypothesis'. We apply this to the problem of the…

In this manuscript, we apply patching methods to give a positive answer to the inverse differential Galois problem over function fields over Laurent series fields of characteristic zero. More precisely, we show that any linear algebraic…