Related papers: On modules associated to coalgebra Galois extensio…

As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on…

Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via…

The construction of the Leavitt path algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. The new algebras, $L_K(E,C)$, are…

We introduce the notion of a $c$-category, which is a kind of category whose behaviour is controlled by connective ring spectra. More precisely, any $c$-category admits a finite step resolution by categories of compact modules over…

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…

The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After…

Let $F$ be a local field of mixed characteristic, let $k$ be a finite extension of its residue field, let ${\mathcal H}$ be the pro-$p$-Iwahori Hecke $k$-algebra attached to ${\rm GL}_{d+1}(F)$ for some $d\ge1$. We construct an exact and…

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…

We introduce a generalization of the b-metric we call a (b,c)-metric. We show that if $X$ is a $(b,c)$-metric space and $\psi: X \longrightarrow Y$ is a quasi-isometry then $Y$ is $(b,c)$-metrizable. We also define a particular kind of…

Hopf Galois theory expands the classical Galois theory by considering the Galois property in terms of the action of the group algebra k[G] on K/k and then replacing it by the action of a Hopf algebra. We review the case of separable…

Inspired in part by recent work of \v{S}aroch and \v{S}\v{t}ov\'{\i}\v{c}ek in the setting of Gorenstein homological algebra, we extend the notion of Foxby-Golod ${\rm G_C}$-dimension of finitely generated modules with respect to a…

In this paper, we introduce geometric multiplicities, which are positive varieties with potential fibered over the Cartan subgroup $H$ of a reductive group $G$. They form a monoidal category and we construct a monoidal functor from this…

We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of…

We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules…

This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids…

We study Hopf Galois extensions of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we introduce (skew-)regular comodules and generalize the structure theorem for relative Hopf modules. Also, we show that…

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…

The class-invariant homomorphism allows one to measure the Galois module structure of extensions obtained by dividing points on abelian varieties. In this paper, we consider the case when the abelian variety is the Jacobian of a Fermat…

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

We use the theory of trianguline $(\varphi,\Gamma)$-modules over pseudorigid spaces to prove a modularity lifting theorem for certain Galois representations which are trianguline at $p$, including those with characteristic $p$ coefficients.…