Using the Burnside ring theoretic methods a new setting and a complete description of the Artin exponent $A(G)$ of finite $p$-groups was obtained in a previous article of the first-named author. In this paper, we compute $A(G)$ for any finite group $G$ -- hence providing the global version of that result.
For a finite group $G$, we define a ghost ring and a mark homomorphism for the double Burnside ring of left-free $(G,G)$-bisets. In analogy to the case of the Burnside ring $B(G)$, the ghost ring has a much simpler ring structure, and after tensoring with $\QQ$ one obtains an isomorphism of $\QQ$-algebras. As an application of a key lemma, we obtain a very general formula for the Brauer construction applied to a tensor product of two $p$-permutation bimodules $M$ and $N$ in terms of Brauer constructions of the bimodules $M$ and $N$. Over a field of characteristic 0 we determine the simple modu…
The theory of biset functors developed by Serge Bouc has been instrumental in the study of the unit group of the Burnside ring of a finite group, in particular for the case of p-groups. The ghost ring of the Burnside ring defines an inflation functor, and becomes a useful tool in studying the Burnside ring functor itself. We are interested in studying the unit group of another representation ring: the trivial source ring of a finite group. In this article, we show how the unit groups of the trivial source ring and its associated ghost ring define inflation functors. Since the trivial source ri…
We describe the generalized Matsuda's theorem, and some results of a Burnside ring extend a partial Burnside ring. In particular, we give isomorphism between partial Burnside rings of different groups. Moreover, we consider the relationship between image of Frobenius-Wielandt homomorphism, a partial Burnside ring, and structure of a group.
In this note, we present a notion of species isomorphism for fibered Burnside rings. We prove that a species isomorphism can be restricted to an isomorphism of mark tables, that it can be extended to an isomorphism between the ghost rings and we provide three additional characterizations of this concept.
For a finite group $G$, we introduce a multiplication on the $\QQ$-vector space with basis $\scrS_{G\times G}$, the set of subgroups of $G\times G$. The resulting $\QQ$-algebra $\Atilde$ can be considered as a ghost algebra for the double Burnside ring $B(G,G)$ in the sense that the mark homomorphism from $B(G,G)$ to $\Atilde$ is a ring homomorphism. Our approach interprets $\QQ B(G,G)$ as an algebra $eAe$, where $A$ is a twisted monoid algebra and $e$ is an idempotent in $A$. The monoid underlying the algebra $A$ is again equal to $\scrS_{G\times G}$ with multiplication given by composition o…
The bifree double Burnside ring $B^Δ(G,G)$ of a finite group $G$ has a natural anti-involution. We study the group $B^Δ_\circ(G,G)$ of orthogonal units in $B^Δ(G,G)$. It is shown that this group is always finite and contains a subgroup isomorphic to $B(G)^\times\rtimes \Out(G)$, where $B(G)^\times$ denotes the unit group of the Burnside ring of $G$ and $\Out(G)$ denotes the outer automorphism group of $G$. Moreover it is shown that if $G$ is nilpotent then $B^Δ_\circ(G,G)\cong B(G)^\times\rtimes \Out(G)$. The results can be interpreted as positive answers to questions on equivalences of $p$-bl…
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.
In this note we present an algorithm for the construction of the unit group of the Burnside ring $Ω(G)$ of a finite group $G$ from a list of representatives of the conjugacy classes of subgroups of G.
Balmer and Dell'Ambrogio introduced the pseudo-functor $P$ from the bicategory of $k$-linear Mackey $2$-motives to the bicategory of $k$-linear cohomological Mackey $2$-motives over a commutative ring $k$. They showed that $P$ maps the general Mackey $2$-motives to the cohomological Mackey $2$-motives by using the ring homomorphism from the crossed Burnside ring of a finite group $G$ over $k$ to the center $ ZkG$ of group algebra $kG$ ([BD21, Theorem 5.3]). We study the behavior of motivic decomposition of cohomological Mackey $2$-motives as images by $P$ of motivic decomposition of Mackey $2$…
We determine the composition factors of the $A$-fibered Burnside functor $kB^A$ for $p$-groups over a field $k$ of characteristic $q$ with $q\neq p$ and cyclic fiber group $A$. We also show that, in this case, $kB^A$ is uniserial.
We consider the Burnside ring $A(\mathcal{F})$ of $\mathcal{F}$-stable $S$-sets for a saturated fusion system $\mathcal{F}$ defined on a $p$-group $S$. It is shown by S. P. Reeh that the monoid of $\mathcal{F}$-stable sets is a free commutative monoid with canonical basis $\{α_P\}$. We give an explicit formula that describes $α_P$ as an $S$-set. In the formula we use a combinatorial concept called broken chains which we introduce to understand inverses of modified Möbius functions.
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…
We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between two categorified group-sets is given by a particular equivalence between the underlying categories. We also exhibit some of the differences between the old Burnside theory and the new one. Lastly, we briefly explain how to extend these new techniques and concepts to the context of groupoids, employing the categories of (right) groupoid-sets, aiming by this to…
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.
We construct a well-behaved transfer map from the p-local Burnside ring of the underlying p-group S to the p-local Burnside ring of a saturated fusion system F. Using this transfer map, we give new results on the characteristic idempotent of F -- the unique idempotent in the p-local double Burnside ring of S satisfying properties of Linckelmann and Webb. We describe this idempotent explicitly both in terms of fixed points and as a linear combination of transitive bisets. Additionally, using fixed points we determine the map for Burnside rings given by multiplication with the characteristic ide…
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$.
We describe the essential algebra, $\widehat{kB_T}(G)$, of the Burnside biset functor shifted by a group $T$, at a group $G$, in two cases. First, when $G$ and $T$ are both finite abelian groups and $k$ is a field of characteristic $0$. In this case, $\widehat{kB_T}(G)$ is isomorphic to a quotient of the shifted star algebra, which is defined in terms of the subgroups of $G\times G\times T$. The second case is when $G$ and $T$ are any finite groups satisfying $(|G|, |T|)=1$ and $k$ is a commutative unitary ring. In this case, $\widehat{kB_T}(G)$ is isomorphic to a semidirect product of $Out(G)…
We study 2-representations, i.e., actions of 2-groups on 2-vector spaces. Our main focus is character theory for 2-representations. To this end we employ the technique of extended Burnside rings. Our main theorem is that the Ganter-Kapranov 2-character is a particular mark homomorphism of the Burnside ring. As an application we give a new proof of Osorno formula for the Ganter-Kapranov 2-character of a finite group.
The double Burnside $R$-algebra $\text{B}_R(G,G)$ of a finite group $G$ with coefficients in a commutative ring $R$ has been introduced by S. Bouc. It is $R$-linearly generated by finite $(G,G)$-bisets, modulo a relation identifying disjoint union and sum. Its multiplication is induced by the tensor product. B. Masterson described $\text{B}_{\mathbf{Q}}(\text{S}_3,\text{S}_3)$ as a subalgebra of $\mathbf{Q}^{8\times 8}$. We give a variant of this description and continue to describe $\text{B}_R(\text{S}_3,\text{S}_3)$ for $R\in\{\mathbf{Z},\mathbf{Z}_{(2)},\mathbf{F}_2,\mathbf{Z}_{(3)},\mathbf…
We give an equivariant version of the Saito duality which can be regarded as a Fourier transformation on Burnside rings. We show that (appropriately defined) reduced equivariant monodromy zeta functions of Berglund-Hübsch dual invertible polynomials are Saito dual to each other with respect to their groups of diagonal symmetries. Moreover we show that the relation between "geometric roots" of the monodromy zeta functions for some pairs of Berglund-Hübsch dual invertible polynomials described in a previous paper is a particular case of this duality.
Given a finite group $G$, its double Burnside ring $B(G,G)$, has a natural duality operation that arises from considering opposite $(G,G)$-bisets. In this article, we systematically study the subgroup of units of $B(G,G)$, where elements are inverse to their dual, so called orthogonal units. We show the existence of an inflation map that embeds the group of orthogonal units of $B(G/N,G/N)$ into the group of orthogonal units of $B(G,G)$, when $N$ is a normal subgroup of $G$, and study some properties and consequences. In particular, we use these maps to determine the orthogonal units of $B(G,G)…
In this note an `extended Burnside ring' is defined, generated by classes of semisimple module categories over Rep(G) with quasifibre functors. Here G is a finite group and representations are taken over an algebraically closed field of characteristic 0. It is shown that this is equivalent to a ring generated by centrally extended G-sets and hence the name. Ring homomorphisms into the multiplicative group of the field are computed with an explicit formula and tables of these homomorphisms are given for the groups S_4 and S_5 which are of particular interest in the context of reductive algebrai…
The theory of bisets has been very useful in progress towards settling the longstanding question of determining units for the Burnside ring. In 2006 Bouc used bisets to settle the question for $p$-groups. In this paper, we provide a standard basis for the unit group of the Burnside ring for groups that contain a abelian subgroups of index two. We then extend this result to groups $G$, where $G$ has a normal subgroup, $N$, of odd index, such that $N$ contains an abelian subgroups of index $2$. Next, we study the structure of the unit group of the Burnside ring as a biset functor, $B^\times$ on …
This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of the $2$-group and study the Real categorical character theory. This paper unifies two previous lines of inquiry, the approach to $2$-representation theory via Morita theory and Burnside rings, initiate…
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 …
In this article we define the $-_+$-construction and the $-^+$-construction, that was crucial in the theory of canonical induction formulas (see \cite{Boltje1998b}), in the setting of biset functors, thus providing the necessary framework to define and construct canonical induction formulas for representation rings that are most naturally viewed as biset functors. Additionally, this provides a unified approach to the study of a class of functors including the Burnside ring, the monomial Burnside ring and global representation ring.
If G is a non-cyclic finite group, non-isomorphic G-sets X, Y may give rise to isomorphic permutation representations C[X] and C[Y]. Equivalently, the map from the Burnside ring to the representation ring of G has a kernel. Its elements are called Brauer relations, and the purpose of this paper is to classify them in all finite groups, extending the Tornehave-Bouc classification in the case of p-groups.
Formulas for the primitive idempotents of the trivial source algebra, in characteristic zero, have been given by Boltje and Bouc--Thévenaz. We shall give another formula for those idempotents, expressing them as linear combinations of the elements of a canonical basis for the integral ring. The formula is an inversion formula analogous to the Gluck--Yoshida formula for the primitive idempotents of the Burnside algebra. It involves all the irreducible characters of all the normalizers of $p$-subgroups. As a corollary, we shall show that the linearization map from the monomial Burnside ring has …
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(…
A ghost in the stable module category of a group G is a map between representations of G that is invisible to Tate cohomology. We show that the only non-trivial finite p-groups whose stable module categories have no non-trivial ghosts are the cyclic groups of order 2 and 3. We compare this to the situation in the derived category of a commutative ring. We also determine for which groups G the second power of the Jacobson radical of kG is stably isomorphic to a suspension of k.
We classify the primitive idempotents of the $p$-local complex representation ring of a finite group $G$ in terms of the cyclic subgroups of order prime to $p$ and show that they all come from idempotents of the Burnside ring. Our results hold without adjoining roots of unity or inverting the order of $G$, thus extending classical structure theorems. We then derive explicit group-theoretic obstructions for tensor induction to be compatible with the resulting idempotent splitting of the representation ring Mackey functor. Our main motivation is an application in homotopy theory: we conclude tha…
This is the second in a series of papers investigating the space of Brauer relations of a finite group, the kernel of the natural map from its Burnside ring to the rational representation ring. The first paper classified all primitive Brauer relations, that is those that do not come from proper subquotients. In the case of quasi-elementary groups the description is intricate, and it does not specify groups that have primitive relations in terms of generators and relations. In this paper we do this for quasi-elementary groups of order p^aq.
Let $G$ be a finite group and $p$ be a prime. We study the kernel of the map, between the Burnside ring of $G$ and the Grothendieck ring of $\mathbb{F}_p[G]$-modules, taking a $G$-set to its associated permutation module. We are able, for all finite groups, to classify the primitive quotient of the kernel; that is for each $G$, the kernel modulo elements coming from the kernel for proper subquotients of $G$. We are able to identify exactly which groups have non-trivial primitive quotient and we give generators for the primitive quotient in the soluble case.
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…
Let $G$ be a finite group, $p$ a prime, and $(K,\mathcal{O},F)$ a $p$-modular system. We prove that the trivial source ring of $\mathcal{O} G$ is isomorphic to the ring of {\em coherent} $G$-stable tuples $(χ_P)$, where $χ_P$ is a virtual character of $K[N_G(P)/P]$, $P$ runs through all $p$-subgroups of $G$, and the coherence condition is the equality of certain character values. We use this result to describe the group of orthogonal units of the trivial source ring as the product of the unit group of the Burnside ring of the fusion system of $G$ with the group of coherent $G$-stable tuples $(…
Given a finite group G and a field F, a G-set X gives rise to an F[G]-permutation module F[X]. This defines a map from the Burnside ring of G to its representation ring over F. It is an old problem in representation theory, with wide-ranging applications in algebra, number theory, and geometry, to give explicit generators of the kernel K_F(G) of this map, i.e. to classify pairs of G-sets X, Y such that F[X] is isomorphic to F[Y]. When F has characteristic 0, a complete description of K_F(G) is now known. In this paper, we give a similar description of K_F(G) when F is a field of characteristic…
Arone and Lesh constructed and studied spectrum level filtrations that interpolate between connective (topological or algebraic) K-theory and the Eilenberg-MacLane spectrum for the integers. In this paper we consider (global) equivariant generalizations of these filtrations and of another closely related class of filtrations, the modified rank filtrations of the K-theory spectra themselves. We lift Arone and Lesh's description of the filtration subquotients to the equivariant context and apply it to compute algebraic filtrations on representation rings that arise on equivariant homotopy groups…
Let p be a prime number. This paper introduces the Roquette category R_p of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In R_p, every finite p-group P admits a canonical direct summand, called the edge of P. Moreover P splits uniquely as a direct sum of edges of Roquette p-groups, and the tensor structure of R_p can be described in terms of such edges. The main motivation for considering this category is that the additive functors from R_p to abelian groups are exactly the rational p-biset functors. This yields in particular very effi…