arxiv: 2605.03401 · v1 · submitted 2026-05-05 · 🧮 math.CT

Recognition: unknown

Crossed Burnside rings for groupoids

Keitaro Shiizuka

Pith reviewed 2026-05-09 16:34 UTC · model grok-4.3

classification 🧮 math.CT

keywords crossed Burnside ringgroupoidcrossed G-setmonoidal structuredecomposition theoremfinite groupoidBurnside ring

0 comments

The pith

The crossed Burnside ring of a finite groupoid equals the product of the crossed Burnside rings of the groups that comprise it.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends the theory of crossed G-sets and crossed Burnside rings from finite groups to finite groupoids. It equips the category of crossed groupoid-sets over a groupoid-monoid with a natural monoidal structure that yields a ring. The central result is a decomposition theorem that factors the groupoid ring as a product of the corresponding rings for the groups in the groupoid. A reader interested in algebraic invariants of symmetries would care because groupoids capture more general symmetries than single groups, and the product form reduces new calculations to familiar group cases.

Core claim

We extend the classical theory of crossed G-sets and the crossed Burnside ring from a finite group G to a finite groupoid G. We introduce a natural monoidal structure on the category of crossed G-sets over a G-monoid and construct the corresponding crossed Burnside ring of a G-monoid. Finally, we prove a decomposition theorem that expresses the crossed Burnside ring of a groupoid as a product of crossed Burnside rings of groups.

What carries the argument

The monoidal structure on the category of crossed groupoid-sets over a groupoid-monoid, which induces the ring operations and supports the decomposition into group rings.

If this is right

The crossed Burnside ring is now defined for every finite groupoid-monoid.
Ring operations and additive structure on the groupoid level reduce to the corresponding operations on its groups.
Any invariant previously computed via the crossed Burnside ring of a group extends immediately to groupoids by taking the product over the groups.
The decomposition preserves the ring homomorphism properties that hold in the group case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests that many other Burnside-type constructions for groupoids will admit similar reductions to group data.
It opens a route to uniform statements about equivariant structures or actions where the symmetry is given by a groupoid rather than a single group.
One could test the same decomposition pattern in related rings such as the ordinary Burnside ring or the representation ring by replacing the crossed-set category with the appropriate monoidal category.

Load-bearing premise

The monoidal product on crossed groupoid-sets is associative, unital, and commutative enough to define a ring, and the groupoid is finite so all sets and sums remain finite.

What would settle it

Direct computation of the crossed Burnside ring for the groupoid consisting of two objects connected by a single isomorphism, checking whether it equals the product of the two trivial-group rings.

read the original abstract

In this paper, we extend the classical theory of crossed $G$-sets and the crossed Burnside ring from a finite group $G$ to a finite groupoid $\mathcal{G}$. We introduce a natural monoidal structure on the category of crossed $\mathcal{G}$-sets over a $\mathcal{G}$-monoid and construct the corresponding crossed Burnside ring of a $\mathcal{G}$-monoid. Finally, we prove a decomposition theorem that expresses the crossed Burnside ring of a groupoid as a product of crossed Burnside rings of groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a clean extension of crossed Burnside rings to finite groupoids with a decomposition into the group case, which is new but stays narrowly within categorical algebra.

read the letter

Hi, the main things to know are that Shiizuka lifts the crossed Burnside ring from finite groups to finite groupoids and proves it decomposes as a product of the corresponding group rings. That decomposition is the actual new result here. The paper sets up crossed groupoid-sets over a groupoid-monoid, equips them with a monoidal structure coming from the action, and forms the ring from isomorphism classes in the usual way. The decomposition then follows because a finite groupoid is equivalent to a disjoint union of its automorphism groups, so the category of crossed sets splits as a product and the ring does too. This inherits associativity and the other monoidal properties directly from the group case without new coherence conditions to check. The finiteness assumption keeps all colimits and classes finite, which is the right restriction. The argument looks coherent and avoids circularity or extra parameters. What works is the direct use of standard groupoid equivalences to reduce the problem; it is efficient and does not overclaim. The soft spots are mostly about scope. The construction is a standard categorical extension rather than something that reveals new phenomena or works for infinite groupoids or non-finite monoids. Without concrete examples or explicit small computations in the text, it is harder to see how the ring behaves in practice, though the outline does not suggest problems. The monoidal axioms are asserted to hold by inheritance, but a referee would want to see the verification written out. This is for people already working in Burnside rings or categorical algebra with groupoids. A specialist who knows the group version will find the reduction useful as a reference. It shows clear thinking and proper engagement with the existing literature on the group case. I would bring it to a reading group only if the session is on rings or groupoids, so maybe. I would not cite it in my own work in the next year. It still deserves peer review because the central theorem is new, the logic is sound on the given evidence, and the result is a useful structural fact inside its subfield.

Referee Report

1 major / 2 minor

Summary. The paper extends the classical theory of crossed G-sets and crossed Burnside rings from finite groups to finite groupoids. It introduces a monoidal structure on the category of crossed G-sets over a G-monoid, constructs the corresponding crossed Burnside ring, and proves a decomposition theorem expressing the crossed Burnside ring of a groupoid as a product of crossed Burnside rings of groups.

Significance. If the decomposition theorem holds, the result reduces the groupoid case to the group case via the equivalence of a finite groupoid with a disjoint union of its automorphism groups. This provides a structural simplification that could aid computations in equivariant algebra and representation theory. The construction inherits monoidal properties from the group case in a natural way, and the finiteness assumption ensures all relevant colimits and isomorphism classes remain finite.

major comments (1)

The monoidal axioms (associativity, unit) for the product on crossed G-sets over a G-monoid require explicit verification in the manuscript, as this step is load-bearing for inducing the ring structure on the Burnside ring and for the subsequent decomposition theorem.

minor comments (2)

Clarify the precise definition of a G-monoid in the groupoid setting and how it reduces to the group case.
Add a brief remark on how the decomposition interacts with the monoidal structure to preserve the ring operations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, positive summary, and recommendation for minor revision. We address the major comment below.

read point-by-point responses

Referee: The monoidal axioms (associativity, unit) for the product on crossed G-sets over a G-monoid require explicit verification in the manuscript, as this step is load-bearing for inducing the ring structure on the Burnside ring and for the subsequent decomposition theorem.

Authors: We agree that an explicit verification of the monoidal axioms is necessary for rigor, particularly since the monoidal structure underpins both the crossed Burnside ring and the decomposition theorem. In the revised version, we will insert a new subsection (likely in Section 3) that directly verifies associativity of the product (via the associativity of the groupoid composition and the G-monoid action) and the unit axioms (using the identity morphisms and the unit of the G-monoid). This verification will be self-contained and will not rely on external references beyond the definitions already present in the paper. revision: yes

Circularity Check

0 steps flagged

Decomposition follows from standard groupoid equivalence; no circularity

full rationale

The paper extends the definition of crossed G-sets and their monoidal structure from groups to finite groupoids using the standard action and monoid data. The decomposition theorem then follows directly from the categorical fact that any finite groupoid is equivalent to the disjoint union of its connected components (each equivalent to a group with its automorphism group), inducing a product of the corresponding crossed Burnside rings. This equivalence is external to the ring construction and does not rely on any fitted parameters, self-definitions, or load-bearing self-citations. All steps are self-contained categorical arguments with no reduction of outputs to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies entirely on standard definitions and axioms from category theory and groupoid theory; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption Finite groupoids have finitely many objects and morphisms.
Required for all constructions to remain finite.
standard math Standard axioms of monoidal categories and groupoid actions.
Background results from prior literature invoked without proof.

pith-pipeline@v0.9.0 · 5370 in / 1176 out tokens · 47183 ms · 2026-05-09T16:34:57.634082+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

11 extracted references

[1]

\' A vila; V

J. \' A vila; V. Mar\' i n and H. Pinedo, Isomorphism theorems for groupoids and some applications, International Journal of Mathmatics and Mathematical Sciences, (2020), Art.ID 3967368, 10. MR 4073238

2020
[2]

Balmer and I

P. Balmer and I. Dell' Ambrogio, Mackey 2-functors and Mackey 2-motives (European Mathmatical 'Society (EMS), Z\" u rich, 2020)

2020
[3]

S. Bouc. The p -blocks of the Mackey algebra. Algebr. Represent. Theory, 6(5): 515-543, 2003

2003
[4]

Brandt, \" U ber eine Verallgemeinerung des Gruppenbegriffes, Math

H. Brandt, \" U ber eine Verallgemeinerung des Gruppenbegriffes, Math. Ann., 96 (1926), 360-366

1926
[5]

On Burnside Theory for groupoids

L. EI Kaoutit and L. Spinosa, "On Burnside Theory for groupoids", Bull. Math. Soc. Sci. Math. Roumanie (2023) Tome 66(114), No.1, 41--87

2023
[6]

Ivan, Algebraic constructions of Brandt Groupoids, Proceeding of the Algebra Symposium, Babes-Bolyai University Cluj, 69-90, 2002

G. Ivan, Algebraic constructions of Brandt Groupoids, Proceeding of the Algebra Symposium, Babes-Bolyai University Cluj, 69-90, 2002

2002
[7]

Williams, On Grothendieck universes

N.H. Williams, On Grothendieck universes. Conpositio Mathematica, tome 21, No.1, (1969), 1-3

1969
[8]

Oda and T

F. Oda and T. Yoshida. Crossed Burnside rings. I. The fundamental theorem, J. Algebra, 236 (2001), no. 1, 29-79

2001
[9]

Oda and T

F. Oda and T. Yoshida. Crossed Burnside rings. II. The Dress construction of a Green functor, J. Algebra, 282 (2004), no. 1, 58-82

2004
[10]

Rognerud

B. Rognerud. Equivalences de blocs d'alg\` e bres de Mackey. PhD thesis, Universit\' e de Picardie Jules Verne, December 2013

2013
[11]

T. Yoshida. Crossed G -sets and crossed Burnside rings.\\ S\= u rikaisekikenk\= y usho K\= o ky\= u roku, (991):1-15, 1997. Group theory and combinatorial mathematics (Japanese) (Kyoto, 1996)

1997