In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these constructions agree with the usual ones for algebras. In case of the smash product for an infinite group our construction specialized for a ring agrees with M. Beattie's construction of a ring with local units in \cite{be}. We recover in a categorical generalized setting the Duality Theorems of M. Cohen and S. Montgomery in \cite{cm}, and we provide a unification with the results on coverings of quivers and relations by E. Green in \cite{g}. We obtain a confirmation in a quiver and relations free categorical setting that both constructions are mutual inverses, namely the quotient of a free action category and the smash product of a graded category. Finally we describe functorial relations between the representation theories of a category and of a Galois cover of it.
We consider categories over a field $k$ in order to prove that smash extensions and Galois coverings with respect to a finite group coincide up to Morita equivalence of $k$-categories. For this purpose we describe processes providing Morita equivalences called contraction and expansion. We prove that composition of these processes provides any Morita equivalence, a result which is related with the karoubianisation (or idempotent completion) and additivisation of a $k$-category.
We introduce the concept of a Galois covering of a pointed coalgebra. The theory developed shows that Galois coverings of pointed coalgebras can be concretely expressed by smash coproducts using the coaction of the automorphism group of the covering. Thus the theory of Galois coverings is seen to be equivalent to group gradings of coalgebras. An advantageous feature of the coalgebra theory is that neither the grading group nor the quiver is assumed finite in order to obtain a smash product coalgebra.
Let H be a Hopf algebra and A be an H-module algebra. This article investigates when the smash product A#H is (skew) Calabi-Yau, has Van den Bergh duality or is Artin-Schelter regular or Gorenstein. In particular, if A and H are skew Calabi-Yau, then so is A#H and its Nakayama automorphism is expressed using the ones of A and H. This is based on a description of the inverse dualising complex of A#H when A is a homologically smooth dg algebra and H is homologically smooth and with invertible antipode. This description is also used to explain the compatibility of standard constructions of Calabi…
In this article, we introduce the concept of partial groupoid actions on R- semicategories as well as we give criteria for existence of a globalization of it. This point of view is a generalization of the notions of partial groupoid actions on rings and partial group action on an R-semicategory. We also define the notions of partial skew groupoid category, smash product and describe functorial relations between them, in particular we show that the smash product is a Galois covering of its associated skew groupoid category.
In the theory of dynamical Yang-Baxter equation, with any Hopf algebra $H$ and a certain $H$-module and $H$-comodule algebra $L$ (base algebra) one associates a monoidal category. Given an algebra $A$ in that category, one can construct an associative algebra $A\rtimes L$, which is a generalization of the ordinary smash product when $A$ is an ordinary $H$-algebra. We study this "dynamical smash product" and its modules induced from one-dimensional representation of the subalgebra $L$. In particular, we construct an analog of the Galois map $A\otimes_{A^H} A\to A\otimes H^*$.
We define a bi-skew brace to be a set $G$ with two group operations $\star$ and $\circ$ so that $(G, \circ, \star)$ is a skew brace with additive group $(G, \star)$ and also with additive group $(G, \circ)$. If $G$ is a skew brace, then $G$ corresponds to a Hopf Galois structure of type $(G, \star)$ on any Galois extension of fields with Galois group isomorphic to $(G, \circ)$. If $G$ is a bi-skew brace, then $G$ also corresponds to a Hopf Galois structure of type $(G, \circ)$ on a Galois extension of fields with Galois group isomorphic to $(G, \star)$. Many non-trivial examples exist. One sou…
Let $L/K$ be a Galois extension of fields with Galois group $Γ$, and suppose $L/K$ is also an $H$-Hopf Galois extension. Using the recently uncovered connection between Hopf Galois structures and skew left braces, we introduce a method to quantify the failure of surjectivity of the Galois correspondence from subHopf algebras of $H$ to intermediate subfields of $L/K$, given by the Fundamental Theorem of Hopf Galois Theory. Suppose $L \otimes_K H = LN$ where $N \cong (G, \star)$. Then there exists a skew left brace $(G, \star, \circ)$ where $(G, \circ) \cong Γ$. We show that there is a bijective…
We present a different version of the well-known connection between Hopf--Galois structures and skew braces, building on a recent paper of A. Koch and P. J. Truman. We show that the known results that involve this connection easily carry over to this new perspective, and that new ones naturally appear. As an application, we present new insights on the study of the surjectivity of the Hopf--Galois correspondence, explaining in more detail the role of bi-skew braces in Hopf--Galois theory.
We study commutative ring structures on the integral span of rooted trees and $n$-dimensional skew shapes. The multiplication in these rings arises from the smash product operation on monoid representations in pointed sets. We interpret these as Grothendieck rings of indecomposable monoid representations over $\fun$ - the "field" of one element. We also study the base-change homomorphism from $\mt$-modules to $k[t]$-modules for a field $k$ containing all roots of unity, and interpret the result in terms of Jordan decompositions of adjacency matrices of certain graphs.
It is shown that, the quasi-Koszulities of algebras and modules are Morita invariance. A finite-dimensional $K$-algebra $A$ with an action of $G$ is quasi-Koszul if and only if so is the skew group algebra $A \ast G$, where $G$ is a finite group satisfying $\char K \nmid |G|$. A finite-dimensional $G$-graded $K$-algebra $A$ is quasi-Koszul if and only if so is the smash product $A # G^*$, where $G$ is a finite group satisfying $\char K \nmid |G|$. These results are applied to prove that, if a finite-dimensional connected quiver algebra is Koszul then so are its Galois covering algebras with fi…
Let $L/K$ be a $G$-Galois extension of fields with an $H$-Hopf Galois structure of type $N$. We study the ratio $GC(G, N)$, which is the number of intermediate fields $E$ with $K \subseteq E \subseteq L$ that are in the image of the Galois correspondence for the $H$-Hopf Galois structure on $L/K$, divided by the number of intermediate fields. By Galois descent, $L \otimes_K H = LN$ where $N$ is a $G$-invariant regular subgroup of $\mathrm{Perm}(G)$, and then $GC(G, N)$ is the number of $G$-invariant subgroups of $N$, divided by the number of subgroups of $G$. We look at the Galois corresponden…
In this paper, we study the Ext-algebras of graded skew extensions. For a connected graded algebra $A$ and a graded automorphism $σ$, we analyze the Yoneda product of the Ext-algebra of graded skew extension $A[z;σ]$, and prove this Ext-algebra is an $R$-smash product of the Ext-algebra of $A$ and the one of polynomial algebra $k[z]$ as an associative algebra.
Let $G$ and $N$ be two finite groups of the same order. It is well-known that the existences of the following are equivalent: (a) a Hopf-Galois structure of type $N$ on any Galois $G$-extension; (b) a skew brace with additive group $N$ and multiplicative group $G$; (c) a regular subgroup isomorphic to $G$ in the holomorph of $N$. We shall say that $(G,N)$ is realizable when any of the above exists. Fixing $N$ to be a cyclic group, W. Rump (2019) has determined the groups $G$ for which $(G,N)$ is realizable. In this paper, fixing $G$ to be a cyclic group instead, we shall give a complete charac…
In this work, linearized multivariate skew polynomials over division rings are introduced. Such polynomials are right linear over the corresponding centralizer and generalize linearized polynomial rings over finite fields, group rings or differential polynomial rings. Their natural evaluation is connected to the remainder-based evaluation of free multivariate skew polynomials. It is shown that P-independent sets are those given by right linearly independent sets when partitioned into conjugacy classes. Hence finitely generated P-closed sets correspond to lists of finite-dimensional right vecto…
Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category construction and of the smash product construction turn out to be 2-equivalences (2-quasi-inverses to each other), which extends the Cohen-Montgomery duality.
We introduce and develop a structure theory of a new class of noncommutative rings - Galois orders, that generalize classical orders in noncommutative rings. Galois orders realized as certain subrings of invariants in skew semigroup rings. This class of rings contains many classical objects, in particular the Generalized Weyl algebras, the universal enveloping algebra of the general linear Lie algebra and certain rings of invariant differential operators on algebraic varieties.
We discuss a general construction of a deformation of a smash product algebra coming from an action of a particular Hopf algebra. This Hopf algebra is generated by skew-primitive and group-like elements, and depends on a complex parameter. The smash product algebra is defined on the quantum symmetric algebra of a finite-dimensional vector space and a group. In particular, an application of this result has enabled us to find a deformation of such a smash product algebra which is, to the best of our knowledge, the first known example of a deformation in which the new relations in the deformed al…
Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be the skew category. We provide decompositions of the (co)homology of $\mathcal C[G]$ along the conjugacy classes of $G$. For Hochschild homology of a $k$-algebra, this corresponds to the decomposition obtained by M. Lorenz. If the coinvariants and invariants functors are exact, we obtain isomorphisms $\left(HH_*(C)\right)_G\simeq HH^{\{1\}}_* (\mathcal C[G])$…
$\DeclareMathOperator{\Aut}{Aut}$Let $p, q$ be distinct primes, with $p > 2$. We classify the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, such that the Sylow $p$-subgroups of the Galois group are cyclic. This we do, according to Greither and Pareigis, and Byott, by classifying the regular subgroups of the holomorphs of the groups $(G, \cdot)$ of order $p^{2} q$, in the case when the Sylow $p$-subgroups of $G$ are cyclic. This is equivalent to classifying the skew braces $(G, \cdot, \circ)$. Furthermore, we prove that if $G$ and $Γ$ are groups of order $p^{2} q$ with non-is…
Let $n \geq 1$ be a squarefree integer, and let $M$, $A$ be two groups of order $n$. Using our previous results on the enumeration of Hopf-Galois structures on Galois extensions of fields of squarefree degree, we determine the number of skew braces (up to isomorphism) with multiplicative group $M$ and additive group $A$. As an application, we enumerate skew braces whose order is the product of three distinct primes.
In this paper, our objects of interest are Hopf Galois extensions (e.g., Hopf algebras, Galois field extensions, strongly graded algebras, crossed products, principal bundles, etc.) and families of noncommutative rings (e.g., skew polynomial rings, PBW extensions and skew PBW extensions, etc.). We collect and systematize questions, problems, properties and recent advances in both theories by explicitly developing examples and doing calculations that are usually omitted in the literature. In particular, for Hopf Galois extensions we consider approaches from the point of view of quantum torsors …
Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor a…
We provide necessary and sufficient conditions to extend the Hopf-Galois algebra structure on an algebra R to a generalized ambiskew ring based on R, in a way such that the added variables for the extension are skew-primitive in an appropriate sense. We show that the associated Hopf algebra is again a a generalized ambiskew ring, based on a suitable Hopf algebra H(R). Several examples are examined, including the Hopf-Galois objects over Uq(sl2).
To a finite Hopf-Galois extension $A | B$ we associate dual bialgebroids $S := \End_BA_B$ and $T := (A ø_B A)^B$ over the centralizer $R$ using the depth two theory in math.RA/0108067. First we extend results on the equivalence of certain properties of Hopf-Galois extensions with corresponding properties of the coacting Hopf algebra \cite{KT,Doi} to depth two extensions using coring theory math.RA/0002105. Next we show that $T^{\rm op}$ is a Hopf algebroid over the centralizer $R$ via Lu's theorem 5.1 in math.QA/9505024 for smash products with special modules over the Drinfel'd double, the Miy…
Given a finite group G acting as automorphisms on a ring A, the skew group ring A*G is an important tool for studying the structure of G-stable ideals of A. The ring A*G is G-graded, i.e.G coacts on A*G. The Cohen-Montgomery duality says that the smash product A*G#k[G]^* of A*G with the dual group ring k[G]^* is isomorphic to the full matrix ring M_n(A) over A, where n is the order of G. In this note we show how much of the Cohen-Montgomery duality carries over to partial group actions in the sense of R.Exel. In particular we show that the smash product (A*_αG)#k[G]^* of the partial skew group…
We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the classical theorem: a finite field extension is Galois iff it is separable and normal. Suppose N < M is a separable Frobenius extension of k-algebras split as N-bimodules with a trivial centralizer C_M(N). Let M_1 := End(M)_N and M_2 := End(M_1)_M be the endomorphism algebras in the Jones tower N < M < M_1 < M_2. We show that under depth 2 conditions on the second…
We describe relations between maximal subfields in a division ring and in its rational extensions. More precisely, we prove that properties such as being Galois or purely inseparable over the centre generically carry over from one to another. We provide an application to enveloping skewfields in positive characteristics. Namely, there always exist two maximal subfields of the enveloping skewfield of a solvable Lie algebra, such that one is Galois and the second purely inseparable of exponent 1 over the centre. This extends results of Schue in the restricted case. Along the way we provide a des…
If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$ is explicitly described as a subgroup of the canonical semidirect product of groups ${\rm GL} (m, \, k) \rtimes {\rm M}_{n\times m} (k)$. An Artin type theorem for Lie algebras is proved: if a group $G$ whose order isinvertible in $k$ acts as automorphisms on a Lie algebra $\mathfrak{h}$, then $\mathfrak{h}$ is isomorphic to a skew crossed product $\mathfrak…
Skew polynomial rings over finite fields ([7] and [10]) and over Galois rings ([8]) have been used to study codes. In this paper, we extend this concept to finite chain rings. Properties of skew constacyclic codes generated by monic right divisors of $x^n-λ$, where $λ$ is a unit element, are exhibited. When $λ^2=1$, the generators of Euclidean and Hermitian dual codes of such codes are determined together with necessary and sufficient conditions for them to be Euclidean and Hermitian self-dual. Of more interest are codes over the ring $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$. The structure of all …
In this paper, we are interested in the study of the existence of connections between partial groupoid actions and partial group actions. Precisely, we prove that there exists a datum connecting a partial action of a connected groupoid and a partial action of any of its isotropy groups. Furthermore, it will be proved that under a suitable condition the partial skew groupoid ring corresponding to a partial action by a connected groupoid is isomorphic to a specific partial skew group ring. We also present a Morita theory and a Galois theory related to these partial actions as well as considerati…
Let $S$ be a unital ring, $S[t;σ,δ]$ a skew polynomial ring where $σ$ is an injective endomorphism and $δ$ a left $σ$-derivation, and suppose $f\in S[t;σ,δ]$ has degree $m$ and an invertible leading coefficient. Using right division by $f$ to define the multiplication, we obtain unital nonassociative algebras $S_f$ on the set of skew polynomials in $S[t;σ,δ]$ of degree less than $m$. We study the structure of these algebras. When $S$ is a Galois ring and $f$ base irreducible, these algebras yield families of finite unital nonassociative rings $A$, whose set of (left or right) zero divisors has…
Let $D_{2n}=\langle x,y\mid x^n=1, y^2=1, yxy=x^{-1}\rangle$ be a dihedral group, and $R={\rm GR}(p^2,m)$ be a Galois ring of characteristic $p^2$ and cardinality $p^{2m}$ where $p$ is a prime. Left ideals of the group ring $R[D_{2n}]$ are called left dihedral codes over $R$ of length $2n$, and abbreviated as left $D_{2n}$-codes over $R$. Let ${\rm gcd}(n,p)=1$ in this paper. Then any left $D_{2n}$-code over $R$ is uniquely decomposed into a direct sum of concatenated codes with inner codes ${\cal A}_i$ and outer codes $C_i$, where ${\cal A}_i$ is a cyclic code over $R$ of length $n$ and $C_i$…
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides wit…
Let $A$ be a ring with identity, $σ$ a ring endomorphism of $A$ that maps the identity to itself, $δ$ a $σ$-derivation of $A$, and consider the skew-polynomial ring $A[X;σ,δ]$. When $A$ is a finite field, a Galois ring, or a general ring, some fairly recent literature used $A[X;σ,δ]$ to construct new interesting codes (e.g. skew-cyclic and skew-constacyclic codes) that generalize their classical counterparts over finite fields (e.g. cyclic and constacyclic linear codes). This paper presents results concerning {\it principal} $(f, σ, δ)$-codes over a ring $A$, where $f\in A[X;σ,δ]$ is monic. We…
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to consider non-unital groupoid graded rings of a particular type that we call object unital. We determine when such rings are strongly graded, crossed products, skew groupoid rings and twisted groupoid rings. We also obtain necessary and sufficient criteria for when object unital groupoid graded rings are separable over their principal component, thereby generalizi…
