arXiv subjects
Publications and source records attributed to Robert Boltje.
The theory of biset functors, introduced by Serge Bouc, gives a unified treatment of operations in representation theory that are induced by permutation bimodules. In this paper, by considering fibered bisets, we introduce and describe the basic theory of fibered biset functors which is a natural framework for operations induced by monomial bimodules. The main result of this paper is the classification of simple fibered biset functors.
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$-blocks of group algebras in the case that the block is the group algebra of a $p$-group.
Let $k$ be a field of characteristic $0$, let $\mathsf{C}$ be a finite split category, let $α$ be a 2-cocycle of $\mathsf{C}$ with values in the multiplicative group of $k$, and consider the resulting twisted category algebra $A:=k_α\mathsf{C}$. Several interesting algebras arise that way, for instance, the Brauer algebra. Moreover, the category of biset functors over $k$ is equivalent to a module category over a condensed algebra $\varepsilon A\varepsilon$, for an idempotent $\varepsilon$ of $A$. In [2] the authors proved that $A$ is quasi-hereditary (with respect to an explicit partial order $\le$ on the set of irreducible modules), and standard modules were given explicitly. Here, we improve the partial order $\le$ by introducing a coarser order $\unlhd$ leading to the same results on $A$, but which allows to pass the quasi-heredity result to the condensed algebra $\varepsilon A\varepsilon$ describing biset functors, thereby giving a different proof of a quasi-heredity result of Webb, see [26]. The new partial order $\unlhd$ has not been considered before, even in the special cases, and we evaluate it explicitly for the case of biset functors and the Brauer algebra. It also puts further restrictions on the possible composition factors of standard modules.
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$.
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 of relations (when a subgroup of $G\times G$ is interpreted as a relation between $G$ and $G$). The algebras $A$ and $\Atilde$ are isomorphic via Möbius inversion in the poset $\scrS_{G\times G}$. As an application we improve results by Bouc on the parametrization of simple modules of $\QQ B(G,G)$ and also of simple biset functors, by using results by Linckelmann and Stolorz on the parametrization of simple modules of finite category algebras. Finally, in the case where $G$ is a cyclic group of order $n$, we give an explicit isomorphism between $\QQ B(G,G)$ and a direct product of matrix rings over group algebras of the automorphism groups of cyclic groups of order $k$, where $k$ divides $n$.
A category is called {\em split} if for every morphism $s\colon X\to Y$ there exists a morphism $t\colon Y\to X$ such that $s\circ t\circ s = s$. Let $C$ be a finite split category, let $k$ be a field of characteristic 0 and let $α$ be a 2-cocycle of $C$ with values in the unit group of $k$. Then the twisted category algebra $k_αC$ is a quasi-hereditary algebra.
In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht module for the symmetric group in terms of permutation modules. In this paper we extend the definition of the chain complex to the integral Iwahori Hecke algebra and prove the same partial exactness results that were proved in the symmetric group case. A complete proof of the exactness conjecture in the symmetric group case was recently given by Santana and Yudin, Adv. in Math. 229 (2012), 2578-2601.
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 modules of the left-free double Burnside algebra and prove semisimplicity results for the bifree double Burnside algebra. These results carry over to results about biset-functor categories. Finally, we apply the ghost ring and mark homomorphism to fusion systems on a finite $p$-group. We extend a remarkable bijection, due to Ragnarsson and Stancu, between saturated fusion systems and certain idempotents of the bifree double Burnside algebra over $\ZZ_{(p)}$, to a bijection between all fusion systems and a larger set of idempotents in the bifree double Burnside algebra over $\QQ.$
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.