Let $G$ be a finite group and $A(G)$ its Burnside ring. For $H \subset G$ let $\mathbb{Z}_H$ denote the $A(G)$-module corresponding to the mark homomorphism associated to $H$. When the order of $G$ is square-free we give a complete description of the $A(G)$-modules $\textrm{Ext}^l_{A(G)}(\mathbb{Z}_H, \mathbb{Z}_J)$ and $\textrm{Tor}^{A(G)}_l(\mathbb{Z}_H, \mathbb{Z}_J)$ for any $H, J \subset G$ and $l \geq 0$. We show that if the order of $G$ is not square-free then there exist $H, J \subset G$ such that $\textrm{Ext}^l_{A(G)}(\mathbb{Z}_H, \mathbb{Z}_J)$ and $\textrm{Tor}^{A(G)}_l(\mathbb{Z}_H, \mathbb{Z}_J)$ have unbounded rank as finite groups.
This paper introduces two new Burnside rings for a finite group $G$, called the slice Burnside ring and the section Burnside ring. They are built as Grothendieck rings of the category of morphisms of $G$-sets, and of Galois morphisms of $G$-sets, respectively. The well known results on the usual Burnside ring, concerning ghost maps, primitive idempotents, and description of the prime spectrum, are extended to these rings. It is also shown that these two rings have a natural structure of Green biset functor. The functorial structure of unit groups of these rings is also discussed.
In a 1969 article, A. Dress described the prime ideals of the Burnside ring of a finite group G and the inclusion relations between them. One may ask whether similar results exist for the Burnside ring of a saturated fusion system F on a finite p-group S. The present paper answers positively, providing a typology for the prime ideals of A(F) and for those of A(F) (p) as a consequence.
This note describes an application of the theory of generalised Burnside rings to algebraic representation theory. Tables of marks are given explicitly for the groups $S_4$ and $S_5$ which are of particular interest in the context of reductive algebraic groups. As an application, the base sets for the nilpotent element $F_4 (a_3)$ are computed.
The Brauer group of a commutative ring is an important invariant of a commutative ring, a common journeyman to the group of units and the Picard group. Burnside rings of finite groups play an important role in representation theory, and their groups of units and Picard groups have been studied extensively. In this short note, we completely determine the Brauer groups of Burnside rings: they vanish.
In this paper, we construct a $q$-deformation of the Witt-Burnside ring of a profinite group over a commutative ring, where $q$ ranges over the set of integers. When $q=1$, it coincides with the Witt-Burnside ring introduced by A. Dress and C. Siebeneicher (Adv. Math. {70} (1988), 87-132). To achieve our goal we first show that there exists a $q$-deformation of the necklace ring of a profinite group over a commutative ring. As in the classical case, i.e., the case $q=1$, q-deformed Witt-Burnside rings and necklace rings always come equipped with inductions and restrictions. We also study their…
We determine the blocks, i.e., the primitive central idempotents, of the bifree double Burnside ring $B^Δ(G,G)$ and the left-free double Burnside ring $B^{\trl}(G,G)$, as well as the primitive central idempotents of the algebras arising from scalar extension to $\QQ$.
Let $A$ be an abelian group such that $\mathrm{Hom}(G,A)$ is finite for all finite groups $G$, and let $\mathbb{K}$ be a field of characteristic zero containing roots of unity of all orders equal to finite element orders in $A$. In this paper we prove foundational properties of the $A$-fibered Burnside ring functor $B_{\mathbb{K}}^A$ as an $A$-fibered biset functor over $\mathbb{K}$. This includes the determination of the lattice of subfunctors of $B_{\mathbb{K}}^A$ and the determination of the composition factors of $B_{\mathbb{K}}^A$. The results of the paper extend results of Coşkun and Yıl…
For every profinite group $G$, we construct two covariant functors $Δ_G$ and ${\bf {\mathcal {AP}}}_G$ from the category of commutative rings with identity to itself, and show that indeed they are equivalent to the functor $W_G$ introduced in [A. Dress and C. Siebeneicher, The Burnside ring of profinite groups and the Witt vectors construction, {\it Adv. in Math.} {\bf{70}} (1988), 87-132]. We call $Δ_G$ the generalized Burnside-Grothendieck ring functor and ${\bf {\mathcal {AP}}}_G$ the aperiodic ring functor (associated with $G$). In case $G$ is abelian, we also construct another functor ${\…
Let $G$ be a finite group, $Ω(G)$ be its Burnside ring, and $Δ(G)$ its augmentation ideal. Denote by $Δ^n(G)$ and $Q_n(G)$ the $n$-th power of $Δ(G)$ and the $n$-th consecutive quotient group $Δ^n(G)/Δ^{n+1}(G)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for $Δ^n(\mathcal{H})$ and determine the isomorphism class of $Q_n(\mathcal{H})$ for each positive integer $n$, where $\mathcal{H}=\langle g,h |\, g^{p^m}=h^p=1, h^{-1}gh=g^{p^{m-1}+1}\rangle$, $p$ is an odd prime.
Let $B^\times$ be the biset functor over $\mathbb{F}_2$ sending a finite group~$G$ to the group $B^\times(G)$ of units of its Burnside ring $B(G)$, and let $\widehat{B^\times}$ be its dual functor. The main theorem of this paper gives a characterization of the cokernel of the natural injection from $B^\times$ in the dual Burnside functor $\widehat{\mathbb{F}_2B}$, or equivalently, an explicit set of generators $\mathcal{G}_S$ of the kernel $L$ of the natural surjection $\mathbb{F}_2B\to \widehat{B^\times}$. This yields a two terms projective resolution of $\widehat{B^\times}$, leading to some …
Let $G$ be a finite group, and $C$ be an abelian group. We introduce the notions of $C$-monomial $G$-sets and $C$-monomial $G$-posets, and state some of their categorical properties. This gives in particular a new description of the $C$-monomial Burnside ring $B_C(G)$. We also introduce Lefschetz invariants of $C$-monomial $G$-posets, which are elements of $B_C(G)$. These invariants allow for a definition of a generalized tensor induction multiplicative map $\mathcal{T}_{U,λ}: B_C(G)\to B_C(H)$ associated to any $C$-monomial $(G,H)$-biset $(U,λ)$, which in turn gives a group homomorphism $B_C(…
Graded skew-commutative rings occur often in practice. Here are two examples: 1) The cohomology ring of a compact three-dimensional manifold. 2) The cohomology ring of the complement of a hyperplane arrangement (the Orlik-Solomon algebra). We present some applications of the homological theory of these graded skew-commutative rings. In particular we find compact oriented 3-manifolds without boundary for which the Hilbert series of the Yoneda Ext-algebra of the cohomology ring of the fundamental group is an explicit transcendental function. This is only possible for large first Betti numbers of…
Let $a$ and $b$ be two coprime positive integers and $k$ an arbitrary field. We determine the ring structure of the Hochschild cohomology of the numerical semigroup algebras $k[s^{a},s^{b}]$ of embedding dimension two (thus also complete intersections) in terms of generators and relations. In addition, we compute the Hilbert series for this cohomology ring.
The lambda-ring cohomology in dimensions 0 and 1 of certain truncated polynomial filtered lambda-rings are computed. The dimension 1 case is related to deformations of lambda-rings.
Let R be a (unital) commutative ring, and G be a finite group with order invertible in R. We introduce new idempotents in the double Burnside algebra RB(G,G), indexed by conjugacy classes of minimal sections of G, i.e. pairs (T,S) of subgroups of G, where S is a normal subgroup of T contained in the Frattini subgroup of T. These idempotents are orthogonal, and their sum is equal to the identity. It follows that for any biset functor F over R, the evaluation F (G) splits as a direct sum of specific R-modules indexed by minimal sections of G, up to conjugation. The restriction of these construct…
On Locally Generalized radical linear groups over rings
An Giang University（安江大学）；Vietnam National University, Ho Chi Minh City（越南国家大学胡志明市分校）；Faculty of Mathematics and Computer Science, University of Science, Ho Chi Minh City（胡志明市科学大学数学与计算机科学系）
We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomology rings of symmetric algebras, and to Tate cohomology rings over group algebras. We also prove similar results for Tate cohomology rings over commutative local Gorenstein rings.
We study the existence of a Batalin-Vilkovisky differential on the complete cohomology ring of a Frobenius algebra.We construct a Batalin-Vilkovisky differential on the complete cohomology ring in the case of Frobenius algebras with diagonalizable Nakayama automorphisms.
We give a general construction of rings graded by the conjugacy classes of a finite group. Some examples of our construction are the Hochschild cohomology ring of a finite group algebra, the Grothendieck ring of the Drinfel'd double of a group, and the orbifold cohomology ring for a global quotient. We generalize the first two examples by deriving product formulas for the Hochschild cohomology ring of a group crossed product and for the Grothendieck ring of an abelian extension of Hopf algebras. Our results account for similarities in the product structures among these examples.
We consider a class of self-injective special biserial algebras $Λ_N$ over a field $K$ and show that the Hochschild cohomology ring of $Λ_N$ is a finitely generated $K$-algebra. Moreover the Hochschild cohomology ring of $Λ_N$ modulo nilpotence is a finitely generated commutative $K$-algebra of Krull dimension two. As a consequence the conjecture of Snashall-Solberg \cite{SS}, concerning the Hochschild cohomology ring modulo nilpotence, holds for this class of algebras.
We compute the structure of the cohomology ring for the quantized enveloping algebra (quantum group) $U_q$ associated to a finite-dimensional simple complex Lie algebra $\mathfrak{g}$. We show that the cohomology ring is generated as an exterior algebra by homogeneous elements in the same odd degrees as generate the cohomology ring for the Lie algebra $\mathfrak{g}$. Partial results are also obtained for the cohomology rings of the non-restricted quantum groups obtained from $U_q$ by specializing the parameter $q$ to a non-zero value $ε\in \mathbb{C}$.
We show that the Tate-Hochschild cohomology ring $HH^*(RG,RG)$ of a finite group algebra $RG$ is isomorphic to a direct sum of the Tate cohomology rings of the centralizers of conjugacy class representatives of $G$. Moreover, our main result provides an explicit formula for the cup product in $HH^*(RG,RG)$ with respect to this decomposition. As an example, this formula helps us to compute the Tate-Hochschild cohomology ring of the symmetric group $S_3$ with coefficients in a field of characteristic 3.
We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show that there are no nilpotent elements in the cohomology rings of individual alternating groups. We calculate the action of the Steenrod algebra and discuss individual component rings. A range of techniques is needed: an almost Hopf ring structure associated to the embeddings of products of alternating groups, the Gysin sequence relating the cohomology of alte…
