-
Homology and cohomology of crossed products by inverse monoid actions and Steinberg algebras
Authors:
Mikhailo Dokuchaev,
Mykola Khrypchenko,
Juan Jacobo Simón
Abstract:
Given a unital action $θ$ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_θS$ with values in a bimodule over $A\rtimes_θS$. The spectral sequences involve a new kind of (co)homology of the inverse monoid $S,$ which is based on $KS$-modules. The spectral sequences ta…
▽ More
Given a unital action $θ$ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_θS$ with values in a bimodule over $A\rtimes_θS$. The spectral sequences involve a new kind of (co)homology of the inverse monoid $S,$ which is based on $KS$-modules. The spectral sequences take especially nice form, when $(A\rtimes_θS)^e $ is flat as a left (homology case) or right (cohomology case) $A^e$-module, involving also the Hochschild (co)homology of $A.$ Same nice spectral sequences are also obtained if $K$ is a commutative ring, over which $A$ is projective, and $S$ is $E$-unitary. We apply our results to the Steinberg algebra $A_K(\mathscr{G})$ over a field $K$ of an ample groupoid $\mathscr{G},$ whose unit space $\mathscr{G} ^{(0)}$ is compact. In the homology case our spectral sequence collapses on the $p$-axis, resulting in an isomorphism between the Hochschild homology of $A_K(\mathscr{G})$ with values in an $A_K(\mathscr{G})$-bimodule $M$ and the homology of the inverse semigroup of the compact open bisections of $\mathscr{G}$ with values in the invariant submodule of $M.$
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Globalization of group cohomology in the sense of Alvares-Alves-Redondo
Authors:
Mikhailo Dokuchaev,
Mykola Khrypchenko,
Juan Jacobo Simón
Abstract:
Recently E. R. Alvares, M. M. Alves and M. J. Redondo introduced a cohomology for a group $G$ with values in a module over the partial group algebra $K_{\mathrm{par}}(G)$, which is different from the partial group cohomology defined earlier by the first two named authors of the present paper. Given a unital partial action $α$ of $G$ on a (unital) algebra $\mathcal{A}$ we consider $\mathcal{A}$ as…
▽ More
Recently E. R. Alvares, M. M. Alves and M. J. Redondo introduced a cohomology for a group $G$ with values in a module over the partial group algebra $K_{\mathrm{par}}(G)$, which is different from the partial group cohomology defined earlier by the first two named authors of the present paper. Given a unital partial action $α$ of $G$ on a (unital) algebra $\mathcal{A}$ we consider $\mathcal{A}$ as a $K_{\mathrm{par}}(G)$-module in a natural way and study the globalization problem for the cohomology in the sense of Alvares-Alves-Redondo with values in $\mathcal{A}$. The problem is reduced to an extendibility property of cocycles. Furthermore, assuming that $\mathcal{A}$ is a product of blocks, we prove that any cocycle is globalizable, and globalizations of cohomologous cocycles are also cohomologous. As a consequence we obtain that the Alvares-Alves-Redondo cohomology group $H_{par}^n(G,\mathcal{A})$ is isomorphic to the usual cohomology group $H^n(G,\mathcal{M}(\mathcal{B}))$, where $\mathcal{M}(\mathcal{B})$ is the multiplier algebra of $\mathcal{B}$ and $\mathcal{B}$ is the algebra under the enveloping action of $α$.
△ Less
Submitted 12 November, 2019; v1 submitted 15 April, 2019;
originally announced April 2019.
-
Globalization of partial cohomology of groups
Authors:
Mikhailo Dokuchaev,
Mykola Khrypchenko,
Juan Jacobo Simón
Abstract:
We study the relations between partial and global group cohomology with values in a commutative unital ring $\mathcal{A}$. In particular, for a unital partial action of a group $G$ on $\mathcal{A}$, such that $\mathcal{A}$ is a direct product of commutative indecomposable rings, we show that any partial $n$-cocycle of $G$ with values in $\mathcal{A}$ is globalizable.
We study the relations between partial and global group cohomology with values in a commutative unital ring $\mathcal{A}$. In particular, for a unital partial action of a group $G$ on $\mathcal{A}$, such that $\mathcal{A}$ is a direct product of commutative indecomposable rings, we show that any partial $n$-cocycle of $G$ with values in $\mathcal{A}$ is globalizable.
△ Less
Submitted 7 July, 2020; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Globalization of twisted partial actions
Authors:
M. Dokuchaev,
R. Exel,
J. J. Simón
Abstract:
Let A be a unital ring which is a product of possibly infinitely many indecomposable rings. We establish criteria for the existence of a globalization for a given twisted partial action of a group on A. If the globalization exists, it is unique up to a certain equivalence relation and, moreover, the crossed product corresponding to the twisted partial action is Morita equivalent to that correspond…
▽ More
Let A be a unital ring which is a product of possibly infinitely many indecomposable rings. We establish criteria for the existence of a globalization for a given twisted partial action of a group on A. If the globalization exists, it is unique up to a certain equivalence relation and, moreover, the crossed product corresponding to the twisted partial action is Morita equivalent to that corresponding to its globalization. For arbitrary unital rings the globalization problem is reduced to an extendibility property of the multipliers involved in the twisted partial action.
△ Less
Submitted 13 March, 2010;
originally announced March 2010.
-
Group code structures on affine-invariant codes
Authors:
Jose Joaquin Bernal,
Angel del Rio,
Juan Jacobo Simon
Abstract:
A group code structure of a linear code is a description of the code as one-sided or two-sided ideal of a group algebra of a finite group. In these realizations, the group algebra is identified with the ambient space, and the group elements with the coordinates of the ambient space. It is well known that every affine-invariant code of length $p^m$, with $p$ prime, can be realized as an ideal of…
▽ More
A group code structure of a linear code is a description of the code as one-sided or two-sided ideal of a group algebra of a finite group. In these realizations, the group algebra is identified with the ambient space, and the group elements with the coordinates of the ambient space. It is well known that every affine-invariant code of length $p^m$, with $p$ prime, can be realized as an ideal of the group algebra $\F\I$, where $\I$ is the underlying additive group of the field with $p^m$ elements. In this paper we describe all the group code structures of an affine-invariant code of length $p^m$ in terms of a family of maps from $\I$ to the group of automorphisms of $\I$.
△ Less
Submitted 5 March, 2009;
originally announced March 2009.
-
Crossed products by twisted partial actions and graded algebras
Authors:
M. Dokuchaev,
R. Exel,
J. J. Simon
Abstract:
For a twisted partial action Θof a group G on an (associative non-necessarily unital) algebra A over a commutative unital ring k, the crossed product A X_ΘG is proved to be associative. Given a G-graded k-algebra B = \oplus_{g\in G}\B_g with the mild restriction of homogeneous non-degeneracy, a criteria is established for B to be isomorphic to the crossed product B_1 X_ΘG for some twisted partia…
▽ More
For a twisted partial action Θof a group G on an (associative non-necessarily unital) algebra A over a commutative unital ring k, the crossed product A X_ΘG is proved to be associative. Given a G-graded k-algebra B = \oplus_{g\in G}\B_g with the mild restriction of homogeneous non-degeneracy, a criteria is established for B to be isomorphic to the crossed product B_1 X_ΘG for some twisted partial action of G on B_1. The equality B_g\B_{g^{-1}}B_g = \B_g for all g\in G is one of the ingredients of the criteria, and if it holds and, moreover, B has enough local units, then it is shown that B is stably isomorphic to a crossed product by a twisted partial action of G.
△ Less
Submitted 24 June, 2008;
originally announced June 2008.
