Related papers: Galois theory and commutators

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

We introduce a notion of relative commutator -- an important special case being commutators twisted by an action -- as a straightforward modification of the definition of the Higgins commutator, establish its relation with a new notion of…

The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the…

Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal…

Galois theory is developed using elementary polynomial and group algebra. The method follows closely the original prescription of Galois, and has the benefit of making the theory accessible to a wide audience. The theory is illustrated by a…

{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…

We investigate models of algebraic theories in the category of cocommutative coalgebras over a field. We establish some of their categorical properties, similar to those of algebraic varieties. We introduce a class of categories of…

The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in…

We present several new examples of reflection principles which apply to both class groups of number fields and picard groups of of curves over $\mathbb{P}^{1}/\mathbb{F}_{p}$. This proves a conjecture of Lemmermeyer about equality of 2-rank…

We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over an Artinian ring containing the group of…

Cluster algebras *with coefficients* are important since they appear in nature as coordinate algebras of varieties like Grassmannians, double Bruhat cells, unipotent cells, ... . The approach of Geiss-Leclerc-Schr\"oer often yields…

Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…

It is well known that the Galois group of an extension puts constraints on the structure of the relative ideal class groups. Using only basic parts of the theory of group representations, we give a unified approach to such results.

This paper deals with criteria of algebraic independence for the derivatives of solutions of rank one difference equations. The key idea consists in deriving from the commutativity of the differentiation and difference operators a sequence…

We carry out some of Galois's work in the setting of an arbitrary first-order theory T. We replace the ambient algebraically closed field by a large model M of T, replace fields by definably closed subsets of M, assume that T codes finite…

Let $G$ be an algebraic group over a field $k$, and $M$ and $N$ be $G$-modules. In 1961, Hochschild showed how one can define the cohomology groups $\text{Ext}_{G}^{i}(M,N)$. Kimura, in 1965, showed that one can generalize this to get…

In this paper, we establish a local Lie theory for relative Rota-Baxter operators of weight $1$. First we recall the category of relative Rota-Baxter operators of weight $1$ on Lie algebras and construct a cohomology theory for them. We use…

Real forms of a complex reductive group are classified in terms of Galois cohomology $H^1(\Gamma,G_{ad})$ where $G_{ad}$ is the adjoint group. Alternatively, the theory of the Cartan involution gives a description in terms of cohomology…

Inspired by Kummer theory on abelian varieties, we give similar looking descriptions of the Galois groups occuring in the differential Galois theories of Picard-Vessiot, Kolchin and Pillay, and mention some arithmetic applications.

Let $\Gamma$ be a discrete group acting on a compact Hausdorff space $X$. Given $x\in X$, and $\mu\in\text{Prob}(X)$, we introduce the notion of contraction of $\mu$ towards $x$ with respect to unitary elements of a group von Neumann…