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.
This paper develops links between the Burnside ring of a finite group $G$ and the slice Burnside ring}. The goal is to gain a better understanding of ghost maps, idempotents, prime spectrum of these Burnside rings and connections between them.
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.
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.
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…
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 give minimal presentations for the $RO(C_2)$-graded Bredon cohomology of the equivariant classifying spaces $B_{C_2}U(n), B_{C_2}SO(n)$ and $B_{C_2}Sp(n)$ with coefficients in the rational Burnside Green functor $A_{\mathbf Q}$. This results in an efficient description of rational $C_2$ equivariant Chern, Pontryagin and symplectic characteristic classes. These classes are then related to each other using the inclusions of maximal tori.
In this paper we discuss some enlargements of the category of sets with semigroup actions and equivariant functions. We show that these enlarged categories possess two idempotent endofunctors. In the case of groups these enlarged categories are equivalent to the usual category of group actions and equivariant functions, and these idempotent endofunctors reverse a given action. For a general semigroup we show that these enlarged categories admit homotopical category structures defined by using these endofunctors and show that up to homotopy these categories are equivalent to the usual category …
After we have given a survey on the Burnside ring of a finite group, we discuss and analyze various extensions of this notion to infinite (discrete) groups. The first three are the finite-G-set-version, the inverse-limit-version and the covariant Burnside group. The most sophisticated one is the fourth definition as the equivariant zero-th cohomotopy of the classifying space for proper actions. In order to make sense of this definition we define equivariant cohomotopy groups of finite proper equivariant CW-complexes in terms of maps between the sphere bundles associated to equivariant vector b…
We provide a complete characterization of the equivariant commutative ring structures of all the factors in the idempotent splitting of the G-equivariant sphere spectrum, including their Hill-Hopkins-Ravenel norms, where G is any finite group. Our results describe explicitly how these structures depend on the subgroup lattice and conjugation in G. Algebraically, our analysis characterizes the multiplicative transfers on the localization of the Burnside ring of G at any idempotent element, which is of independent interest to group theorists. As an application, we obtain an explicit description …
We give a new, unexpected characterization of saturated fusion systems on a p-group S in terms of idempotents in the p-local double Burnside ring of S that satisfy a Frobenius reciprocity relation, and reformulate fusion-theoretic phenomena in the language of idempotents. Interpreting our results in stable homotopy, we answer a long-standing question on stable splittings of classifying spaces of finite groups, and generalize the Adams--Wilkerson criterion for recognizing rings of invariants in the cohomology of an elementary abelian p-group. This work is partly motivated by a conjecture of Hay…
Using an analogy between the Brauer groups in algebra and the Whitehead groups in topology, we first use methods of algebraic K-theory to give a natural definition of Brauer spectra for commutative rings, such that their homotopy groups are given by the Brauer group, the Picard group and the group of units. Then, in the context of structured ring spectra, the same idea leads to two-fold non-connected deloopings of the spectra of units.
Let G be a compact Lie group. We present two induction theorems for certain generalized G-equivariant cohomology theories. The theory applies to G-equivariant K-theory K_G, and to the Borel cohomology associated to any complex oriented cohomology theory. The coefficient ring of K_G is the representation ring R(G) of G. When G is a finite group the induction theorems for K_G coincide with the classical Artin and Brauer induction theorems for R(G).
We introduce the notion of Azumaya object in general homotopy-theoretic settings. We give a self-contained account of Azumaya objects and Brauer groups in bicategorical contexts, generalizing the Brauer group of a commutative ring. We go on to describe triangulated bicategories and prove a characterization theorem for Azumaya objects therein. This theory applies to give a homotopical Brauer group for derived categories of rings and ring spectra. We show that the homotopical Brauer group of an Eilenberg-Mac Lane spectrum is isomorphic to the homotopical Brauer group of its underlying commutativ…
We investigate a notion of Azumaya algebras in the context of structured ring spectra and give a definition of Brauer groups. We investigate their Galois theoretic properties, and discuss examples of Azumaya algebras arising from Galois descent and cyclic algebras. We construct examples that are related to topological Hochschild cohomology of group ring spectra and we present a K(n)-local variant of the notion of Brauer groups.
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…
In this paper we develop methods for classifying Baker-Richter-Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss-Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$-categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$, we find …
This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general Beauville-Laszlo kind of statement for quasi-coherent sheaves of categories. Next, we prove that given any (derived) scheme $X$, proper over the spectrum of a quasi-excellent Henselian ring, the derived Brauer group of $X$ injects into the one of the Henselization of $X$ along the base, generalizing a classical result of Grothendieck and a more recent theorem of Geis…