Related papers: Formalizing Galois Theory

We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no…

Let us consider a linear differential equation over a differential field K. For a differential field extension L/K generated by a fundamental system of the equation, we show that Galois group according to the general Galois theory of…

We study the relation between the Galois group $G$ of a linear difference-differential system and two classes $\mathcal{C}_1$ and $\mathcal{C}_2$ of groups that are the Galois groups of the specializations of the linear difference equation…

A self-contained exposition is given of the topological and Galois-theoretic properties of the category of combinatorial 1-complexes, or graphs, very much in the spirit of Stallings. A number of classical, as well as some new results about…

We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalences or metrics (also known as Hennessy-Milner theorems). It…

We show how the output of the algorithm to compute modular Galois representations described in our previous article can be certified. We have used this process to compute certified tables of such Galois representations obtained thanks to an…

We establish some comparison results among the different parameterized Galois theories for $q$-difference equations, completing the work by CHatzidakis, Hardouin and Singer, that addresses the problem in the case without parameters. Our…

One of the key points in Galois theory via field extensions is to build up a correspondence between subfields of a field and subgroups of its automorphism group, so as to study fields via methods of groups. As an analogue of the Galois…

This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…

The Galois action on the pro-$\ell$ \'etale fundamental groupoid of the projective line minus three points with rational base points gives rise to a non-commutative formal power series in two variables with $\ell$-adic coefficients, called…

This paper deals with the Weak Inverse Galois Problem which, for a given field $k$, states that, for every finite group $G$, there exists a finite separable extension $L/k$ such that ${\rm{Aut}}(L/k)=G$. One of its goals is to explain how…

The main theorem of Galois theory states that there are no finite group-subgroup pairs with the same invariants. On the other hand, if we consider complex linear reductive groups instead of finite groups, the analogous statement is no…

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…

We point out the relevance of the Differential Galois Theory of linear differential equations for the exact semiclassical computations in path integrals in quantum mechanics. The main tool will be a necessary condition for complete…

We extend and apply the Galois theory of linear differential equations equipped with the action of an endomorphism. The Galois groups in this Galois theory are difference algebraic groups and we use structure theorems for these groups to…

This paper introduces a new approach to the study of certain aspects of Galois module theory by combining ideas arising from the study of the Galois structure of torsors of finite group schemes with techniques coming from relative algebraic…

In this paper, the changes of representations of a group are used in order to describe its action as algebraic Galois group of an univariate polynomial on the roots of factors of any Lagrange resolvent. By this way, the Galois group of…

This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…

This article revisits standard theorems from elementary number theory from a constructive, algorithmic, and proof-theoretic perspective, framed within the theory of computable functionals TCF. Key examples include B\'ezout's identity, the…

We discuss lifting properties of continuous homomorphisms from absolute Galois groups into (pro)finite groups. An analogy with the Langlands program is pointed out in the beginning of the note.