Related papers: A Galois Connection for Weighted (Relational) Clon…

Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation. In this paper, we employ a completely algebraic variation of…

We show that if $\{\rho_{\ell}\}$ is a compatible system of absolutely irreducible Galois representations of a number field then the residual representation $\overline{\rho}_{\ell}$ is absolutely irreducible for $\ell$ in a density 1 set of…

Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones,…

This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence…

This text answers a question raised by Joux and the second author about the computation of discrete logarithms in the multiplicative group of finite fields. Given a finite residue field $\bK$, one looks for a smoothness basis for $\bK^*$…

The relationship between the exactness of a first order differential calculus on a comodule algebra $P$ and the Galois property of $P$ is investigated.

We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of…

We show that the Jordan decomposition of characters of finite reductive groups can be chosen so that if the centralizer of the relevant semisimple element in the dual group is connected, then the map is Galois-equivariant. Further, in this…

We study the relationship between rational points and Galois points for a plane curve over a finite field. It is known that the set of Galois points coincides with that of rational points of the projective plane if the curve is the…

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.

For many finite groups, the Inverse Galois Problem can be approached through modular/automorphic Galois representations. This is a report explaining the basic strategy, ideas and methods behind some recent results. It focusses mostly on the…

We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultraproducts are called cohesive products, since the role of an…

The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…

Recently, Dor\"oz et al. (2017) proposed a new hard problem, called the finite field isomorphism problem, and constructed a fully homomorphic encryption scheme based on this problem. In this paper, we generalize the problem to the case of…

We prove that Galois cohomology satisfies several surprisingly strong versions of Koszul properties, under a well known conjecture, in the finitely generated case. In fact, these versions of Koszulity hold for all finitely generated maximal…

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…

The tractability of certain CSPs for dense or sparse instances is known from the 90s. Recently, the densification and the sparsification of CSPs were formulated as computational tasks and the systematical study of their computational…

A cubic Galois polynomial is a cubic polynomial with rational coefficients that defines a cubic Galois field. Its discriminant is a full square and its roots $x_1,x_2,x_3$ (enumerated in some order) are real. There exists (and only one)…

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…

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…