Related papers: Galois correspondence for augmented monads

In this paper we develop a theory of class invariants associated to $p$-adic representations of absolute Galois groups of number fields. Our main tool for doing this involves a new way of describing certain Selmer groups attached to…

We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a…

We introduce a new type of closure operator on the set of relations, max-implementation, and its weaker analog max-quantification. Then we show that approximation preserving reductions between counting constraint satisfaction problems…

In this paper we explicitly compute mod-l Galois representations associated to modular forms. To be precise, we look at cases with l<=23 and the modular forms considered will be cusp forms of level 1 and weight up to 22. We present the…

We study the differential Galois theory of difference equations under weaker hypothesis on the field of constants of the automorphism. This framework yields a new approach to results by C.Hardouin and M.Singer, which answers possitively a…

We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…

We extend some properties of pullbacks which are known to hold in a Mal'tsev context to the more general context of Gumm categories. The varieties of universal algebras which are Gumm categories are precisely the congruence modular ones.…

Analogical proportions are 4-ary relations that read "A is to B as C is to D". Recent works have highlighted the fact that such relations can support a specific form of inference, called analogical inference. This inference mechanism was…

We show that given a separable cocontinuous monad on a stable derivator, the levelwise Eilenberg-Moore categories of modules glue together to a stable derivator. As an application, we give examples of derivators that satisfy all the axioms…

The set of modular invariants that can be obtained from Galois transformations is investigated systematically for WZW models. It is shown that a large subset of Galois modular invariants coincides with simple current invariants. For…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

We define invariants $\operatorname{inv}_1,\dots,\operatorname{inv}_m$ of Galois extensions of number fields with a fixed Galois group. Then, we propose a heuristic in the spirit of Malle's conjecture which asymptotically predicts the…

For a differential field $F$ having an algebraically closed field of constants, we analyze the structure of Picard-Vessiot extensions of $F$ whose differential Galois groups are unipotent algebraic groups and apply these results to study…

We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.

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…

We prove that the forgetful functor from the category of Boolean inverse semigroups to inverse semigroups with zero has a left adjoint. This left adjoint is what we term the `Booleanization'. We establish the exact connection between the…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…

A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…

We propose two new approaches to the Tannakian Galois groups of holonomic D-modules on abelian varieties. The first is an interpretation in terms of principal bundles given by the Fourier-Mukai transform, which shows that they are almost…

We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…