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

Recognition: 2 theorem links

· Lean Theorem

Yoshida algebra for groupoids

Keitaro Shiizuka

Pith reviewed 2026-05-12 02:47 UTC · model grok-4.3

classification 🧮 math.CT

keywords Yoshida algebragroupoidsgroupoid algebracrossed Burnside ringcenter of algebraring homomorphismfinite groupoid

0 comments

The pith

The center of the Yoshida algebra of a finite groupoid is isomorphic to the center of the corresponding groupoid algebra.

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

The paper extends the Yoshida algebra, previously defined for finite groups, to the setting of finite groupoids. It proves that the center of this extended algebra is isomorphic to the center of the groupoid algebra. It further shows that the crossed Burnside ring of the groupoid admits a surjective ring homomorphism onto the center of the Yoshida algebra. These identifications connect representation data, combinatorial invariants, and ring centers in the groupoid context.

Core claim

For any finite groupoid the center of its Yoshida algebra is isomorphic to the center of its groupoid algebra, and the crossed Burnside ring of the groupoid maps surjectively onto this center by a ring homomorphism.

What carries the argument

The Yoshida algebra extended to groupoids, which carries the argument by supplying a ring whose center can be compared directly to the center of the groupoid algebra and related to the crossed Burnside ring.

If this is right

The isomorphism transfers known facts about centers of groupoid algebras to the Yoshida algebra setting.
The surjective homomorphism supplies a concrete way to produce elements in the center from Burnside ring data.
Ring-theoretic properties such as idempotents in the center can be studied uniformly via either construction.

Where Pith is reading between the lines

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

The same pattern of center isomorphism and Burnside surjection may hold for other algebraic extensions from groups to groupoids.
The result suggests that groupoid versions of representation rings and Burnside rings remain closely linked even after the extension.

Load-bearing premise

The extension of the Yoshida algebra to groupoids is defined so that its center can be compared in a direct way to the center of the groupoid algebra.

What would settle it

An explicit computation for a concrete finite groupoid, such as a non-trivial group or a groupoid with two isomorphic objects, showing that the two centers are not isomorphic as rings would disprove the central claim.

read the original abstract

In this paper, we extend the notion of the Yoshida algebra of a finite group introduced in \cite{Yos83} to finite groupoids and investigate its fundamental properties. Our main results show that the center of the Yoshida algebra of a finite groupoid is isomorphic to the center of the corresponding groupoid algebra, and that there exists a surjective ring homomorphism from the crossed Burnside ring of a finite groupoid, introduced in \cite{Shi26+}, onto the center of the Yoshida algebra of a finite groupoid.

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

Shiizuka extends the Yoshida algebra to finite groupoids and proves its center matches the groupoid algebra center with a surjection from the crossed Burnside ring.

read the letter

The main thing here is that the paper defines the Yoshida algebra for finite groupoids by extending the group version from Yos83 and then proves two results: the center of this new algebra is isomorphic to the center of the corresponding groupoid algebra, and there is a surjective ring homomorphism from the crossed Burnside ring of the groupoid onto that center. These statements are new and do not reduce directly to the group case, since groupoids involve multiple objects and a richer morphism structure that the definitions must handle carefully. The work does well by keeping the algebraic properties intact under the extension and by linking the structures to the crossed Burnside ring from the author's prior paper without obvious circularity. The citations are appropriate and the claims build on standard properties of centers and rings. The soft spots are minor and mostly about presentation. The abstract is very short and gives no proof sketches or examples, so it is hard to see exactly how much new verification is needed for the groupoid setting versus routine checks. That said, the stress-test finds no internal inconsistencies, no failure to reduce to the group case, and no hidden assumptions on object count or finiteness that would break the results. If the full manuscript includes even one explicit non-group example or a short derivation, it would make the claims easier to trust on first read. This is for readers already working in categorical algebra, representation theory of groupoids, or Burnside rings. Someone who knows the group results will see the value quickly and can use the isomorphism and homomorphism as tools for further calculations. It deserves a serious referee because the statements are precise, the setup is grounded in existing literature, and the results are checkable once the definitions are in place. I would send it to peer review rather than desk reject; the generalization looks worth the time to verify in detail.

Referee Report

0 major / 3 minor

Summary. The paper extends the Yoshida algebra, originally defined for finite groups in Yos83, to the setting of finite groupoids. It defines the extension and proves two main results: the center of the Yoshida algebra of a finite groupoid is isomorphic to the center of the corresponding groupoid algebra, and there exists a surjective ring homomorphism from the crossed Burnside ring of the finite groupoid (as introduced in Shi26+) onto the center of the Yoshida algebra.

Significance. If the results hold, this provides a direct categorical generalization of the Yoshida algebra and its center from groups to groupoids, together with a concrete link to the crossed Burnside ring. Such connections can be useful in representation theory of groupoids, equivariant homotopy theory, and the study of Burnside rings in categorical settings. The manuscript ships explicit definitions and stated theorems that reduce to the group case, which is a strength.

minor comments (3)

The abstract and introduction should include a brief recall of the original Yoshida algebra for groups (e.g., its definition via the Burnside ring or permutation representations) to make the extension to groupoids self-contained for readers unfamiliar with Yos83.
Notation for the groupoid algebra and its center should be introduced with a dedicated subsection or paragraph early in the paper, including how the multiplication is defined on the groupoid algebra, to clarify the isomorphism statement.
The surjectivity proof for the homomorphism from the crossed Burnside ring would benefit from an explicit description of the map (e.g., on generators) rather than only existence.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of our extension of the Yoshida algebra to finite groupoids, including the isomorphism of centers and the surjection from the crossed Burnside ring. The recommendation is minor revision, but the report lists no specific major comments to address.

Circularity Check

0 steps flagged

Derivation is self-contained with no circular reductions

full rationale

The paper extends the Yoshida algebra definition from groups to finite groupoids and derives two main theorems—an isomorphism between the centers of the Yoshida algebra and the groupoid algebra, plus a surjective ring homomorphism from the crossed Burnside ring (whose definition is referenced from prior work) onto the Yoshida center. These results are presented as following directly from the new definitions together with standard facts about centers and ring homomorphisms in algebras. No equation or claim reduces a derived quantity to an input by construction, no uniqueness theorem is imported from the same authors to force the construction, and the self-citation serves only to identify the external definition of the Burnside ring rather than to justify the new theorems themselves. The derivation chain therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5363 in / 1119 out tokens · 74347 ms · 2026-05-12T02:47:10.887539+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Our main results show that the center of the Yoshida algebra of a finite groupoid is isomorphic to the center of the corresponding groupoid algebra, and that there exists a surjective ring homomorphism from the crossed Burnside ring...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Definition 4.2. The ring k-mod G(k(Ω²), k(Ω²)) is called Yoshida algebra...

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

[1]

S. Bouc. Green functors and G -sets, volume 1671 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1997

work page 1997
[2]

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

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

work page 1926
[3]

Mitchel, Rings with several objects, Adv

B. Mitchel, Rings with several objects, Adv. Math. 8 (1972) 1-161

work page 1972
[4]

Oda and T

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

work page 2001
[5]

Rognerud

B. Rognerud. Equivalences between blocks of cohomological Mackey algebras, Math. Z. 280 (2015), no 1-2, 421-449

work page 2015
[6]

Shiizuka, Crossed Burnside rings for groupoids

K. Shiizuka, Crossed Burnside rings for groupoids. to be submitted

work page
[7]

Xu, Representations of categories and their applications, J

F. Xu, Representations of categories and their applications, J. Algebra 317 (2007), no. 1, 153-183

work page 2007
[8]

Yoshida, On G -functors (I -1.2pt I) Hecke operators and G -functors, J

T. Yoshida, On G -functors (I -1.2pt I) Hecke operators and G -functors, J. Math. Soc. Japan 35 (1983) 179-190

work page 1983