arXiv subjects
Publications and source records attributed to Yuval Ginosar.
The Donald-Flanigan conjecture asserts that any group algebra of a finite group has a separable deformation. We apply an inductive method to deform group algebras from deformations of normal subgroup algebras, establishing an infinite family of metacyclic groups which fulfill the conjecture.
Quotient grading classes are essential participants in the computation of the intrinsic fundamental group $π_1(A)$ of an algebra $A$. In order to study quotient gradings of a finite-dimensional semisimple complex algebra $A$ it is sufficient to understand the quotient gradings of twisted gradings. We establish the graded structure of such quotients using Mackey's obstruction class. Then, for matrix algebras $A=M_n(\mathbb{C})$ we tie up the concepts of braces, group-theoretic Lagrangians and elementary crossed products. We also manage to compute the intrinsic fundamental group of the diagonal algebras $A=\mathbb{C} ^4$ and $A=\mathbb{C} ^5$.
For every action $ϕ\in\text{Hom}(G,\text{Aut}_k(K))$ of a group $G$ on a commutative ring $K$ we introduce two abelian monoids. The monoid $\text{Cliff}_k(ϕ)$ consists of equivalent classes of $G$-graded Clifford system extensions of type $ϕ$ of $K$-central algebras. The monoid $\mathcal{C}_k{(ϕ)}$ consists of equivariant classes of generalized collective characters of type $ϕ$ from $G$ to the Picard groups of $K$-central algebras. Furthermore, for every such $ϕ$ there is an exact sequence of abelian monoids $$0\to H^2(G,K^*_ϕ)\to\text{Cliff}_k(ϕ)\to\mathcal{C}_k{(ϕ)}\to H^3(G,K^*_ϕ).$$ The rightmost homomorphism is often surjective, terminating the above sequence. When $ϕ$ is a Galois action, then the restriction-obstruction sequence of Brauer groups is an image of an exact sequence of sub-monoids of this sequence.
G.W. Mackey's celebrated obstruction theory for projective representations of locally compact groups was remarkably generalized by J. M. G. Fell and R. S. Doran to the wide area of saturated Banach *-algebraic bundles. Analogous obstruction is suggested here for discrete group graded algebras which are not necessarily saturated, i.e. strongly graded in the discrete context. The obstruction is a map assigning a certain second cohomology class to every equivariance class of absolutely simple graded modules. The set of equivariance classes of such modules is equipped with an appropriate multiplication, namely a graded product, such that the obstruction map is a homomorphism of abelian monoids. Graded products, essentially arising as pull-backs of bundles, admit many nice properties, including a way to twist graded algebras and their graded modules. The obstruction class turns out to determine the fine part that appears in the Bahturin-Zaicev-Sehgal decomposition, i.e. the graded Artin-Wedderburn theorem for graded simple algebras which are graded Artinian, in case where the base algebras (i.e. the unit fiber algebras) are finite-dimensional over algebraically closed fields.
The group algebras $kQ_{2^n}$ of the generalized quaternion groups $Q_{2^n}$ over fields $k$ which contain $\mathbb{F}_{2^{n-2}}$, are deformed to separable $k((t))$-algebras $[kQ_{2^n}]_t$. The dimensions of the simple components of $\overline{k((t))}\otimes_{k((t))}[kQ_{2^n}]_t$ over the algebraic closure $\overline{k((t))}$, and those of $\mathbb{C} Q_{2^n}$ over $\mathbb {C}$ are the same, yielding strong solutions of the Donald-Flanigan conjecture for the generalized quaternion groups.
Families of codes such as group codes, constacyclic and skew cyclic codes, some of which independently suggested in the literature, turn out to be special instances of the general family of crossed product codes. Hamming-metric is a main feature of ambient code spaces which is used to evaluate the efficiency of their various codes. This note aims at classifying the ambient spaces of crossed products up to Hamming-isometry. We establish a criterion for two crossed products of a group G over a base ring R to be isometric in terms of a certain G-automorphism action on the second cohomology of G with coefficients in R*. This classification is demonstrated by two families of examples, namely crossed products of cyclic groups over finite fields, and twisted group algebras of elementary abelian groups over the complex field and over finite fields. We also determine when crossed products belonging to these families are (relative) semisimple, and in particular, when they admit only trivial codes.
We suggest a cohomological framework to describe groups of $I$-type and involutive Yang-Baxter groups. These groups are key in the study of involutive non-degenerate set-theoretic solutions of the quantum Yang-Baxter equation. Our main tool is a lifting criterion for 1-cocycles, established here in a general non-abelian setting.
Maximal connected grading classes of a finite-dimensional algebra $A$ are in one-to-one correspondence with Galois covering classes of $A$ which admit no proper Galois covering and therefore are key in computing the intrinsic fundamental group $π_1(A)$. Our first concern here is the algebras $A=M_n(\mathbb{C})$. Their maximal connected gradings turn out to be in one-to-one correspondence with the Aut$(G)$-orbits of non-degenerate classes in $H^2(G,\C^*)$, where $G$ runs over all groups of central type whose orders divide $n^2$. We show that there exist groups of central type $G$ such that $H^2(G,\C^*)$ admits more than one such orbit of non-degenerate classes. We compute the family $Λ$ of positive integers $n$ such that there is a unique group of central type of order $n^2$, namely $C_n\times C_n$. The family $Λ$ is of square-free integers and contains all prime numbers. It is obtained by a full description of all groups of central type whose orders are cube-free. We establish the maximal connected gradings of all finite dimensional semisimple complex algebras using the fact that such gradings are determined by dimensions of complex projective representations of finite groups. In some cases we give a description of the corresponding fundamental groups.
The analogue of Lagrangians for symplectic forms over finite groups is studied, motivated by the fact that symplectic G-forms with a normal Lagrangian N<G are in one-to-one correspondence, up to inflation, with bijective 1-cocycle data on the quotients G/N. This yields a method to construct groups of central type from such quotients, known as Involutive Yang-Baxter groups. Another motivation for the search of normal Lagrangians comes from a non-commutative generalization of Heisenberg liftings which require normality. Although it is true that symplectic forms over finite nilpotent groups always admit Lagrangians, we exhibit an example where none of these subgroups is normal. However, we prove that symplectic forms over nilpotent groups always admit normal Lagrangians if all their p-Sylow subgroups are of order less than p^8.
Any simple group-grading of a finite dimensional complex algebra induces a natural family of digraphs. We prove that $|E\circ E^{\text{op}}\cup E^{\text{op}}\circ E|\geq |E|$ for any digraph $Γ=(V,E)$ without parallel edges, and deduce that for any simple group-grading, the dimension of the trivial component is maximal.
We suggest an alternative proof of a theorem due to Lambek and Moser using a perceptible model.
The problem of determining when a (classical) crossed product $T=S^f*G$ of a finite group $G$ over a discrete valuation ring $S$ is a maximal order, was answered in the 1960's for the case where $S$ is tamely ramified over the subring of invariants $S^G$. The answer was given in terms of the conductor subgroup (with respect to $f$) of the inertia. In this paper we solve this problem in general when $S/S^G$ is residually separable. We show that the maximal order property entails a restrictive structure on the sub-crossed product graded by the inertia subgroup. In particular, the inertia is abelian. Using this structure, one is able to extend the notion of the conductor. As in the tame case, the order of the conductor is equal to the number of maximal two sided ideals of $T$ and hence to the number of maximal orders containing $T$ in its quotient ring. Consequently, $T$ is a maximal order if and only if the conductor subgroup is trivial.
A finite group $G$ is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class $[c]\in H^2(G,\C^*)$ ($G$ acts trivially on $\C^*$). Groups of central type play a fundamental role in the classification of semisimple triangular complex Hopf algebras and can be determined by their representation theoretical properties. Suppose that a finite group $Q$ acts on an abelian group $A$ so that there exists a bijective 1-cocycle $π\in Z^1(Q,\ach)$, where $\ach=\rm{Hom}(A,\C^*)$ is endowed with the diagonal $Q$-action. Under this assumption, Etingof and Gelaki gave an explicit formula for a non-degenerate 2-cocycle in $Z^2(G,\C^*)$, where $G:=A\rtimes Q$. Hence, the semidirect product $G$ is of central type. In this paper we present a more general correspondence between bijective and non-degenerate cohomology classes. In particular, given a bijective class $[π]\in H^1(Q,\ach)$ as above, we construct non-degenerate classes $[c_π]\in H^2(G,\C^*)$ for certain extensions $1\to A\to G\to Q\to 1$ which are not necessarily split. We thus strictly extend the above family of central type groups.
The Donald-Flanigan conjecture asserts that for any finite group and for any field, the corresponding group algebra can be deformed to a separable algebra. The minimal unsolved instance, namely the quaternion group over a field of characteristic 2 was considered as a counterexample. We present here a separable deformation of the quaternion group algebra. In a sense, the conjecture for any finite group is open again.