pith. sign in

arxiv: 2606.03649 · v1 · pith:SV2VWXIXnew · submitted 2026-06-02 · 🧮 math.AT

Composition of bispans of G-sets and plethysm

Nathan Cornelius , Evan Franchere , Usman Hafeez , Jesse Keyes , David Mehrle , Lakshay Modi , Nathaniel Stapleton This is my paper

Pith reviewed 2026-06-28 07:28 UTC · model grok-4.3

classification 🧮 math.AT
keywords bispansG-setsBurnside ringcharacter mapplethoryplethysmcomposition of bispansGrothendieck ring
0
0 comments X

The pith

The character map from the bispan ring P(G) sends composition of bispans to the plethysm operation in a plethory of polynomial rings.

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

P(G) is defined as the Grothendieck ring of the semiring of endomorphisms of the point in the category of bispans of finite G-sets, serving as the bispan analogue of the Burnside ring. This ring carries an extra operation arising directly from composition of bispans. The paper constructs a character map from P(G) into a plethory assembled from polynomial rings indexed by the poset of conjugacy classes of subgroups of G. It proves that this map is a ring homomorphism that converts bispan composition into the plethysm product, which extends ordinary composition of polynomials. A sympathetic reader cares because the result equips the bispan Burnside ring with an algebraic calculus that mirrors polynomial composition and may simplify explicit calculations involving group actions and fixed-point data.

Core claim

The paper proves that the character map from P(G) to the plethory built out of polynomial rings and the poset of conjugacy classes of subgroups of G is a homomorphism that sends the composition operation on bispans to the plethysm operation, where P(G) is the Grothendieck ring of endomorphisms of the point in the 1-category of bispans of finite G-sets.

What carries the argument

The character map from P(G) to the plethory, which intertwines bispan composition with plethysm.

If this is right

  • Composition of bispans in P(G) reduces to plethysm in the target plethory.
  • The third operation on the bispan Burnside ring analogue is identified with a generalized form of polynomial composition.
  • Calculations involving iterated bispan compositions become equivalent to iterated plethystic substitutions.
  • The construction extends the classical fact that character maps preserve multiplicative structure in representation rings.

Where Pith is reading between the lines

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

  • The result may yield explicit formulas for compositions when G is a symmetric group or other groups with known subgroup lattices.
  • It suggests that similar character maps could be defined for bispans in other categories of G-spaces or orbifolds.
  • Plethystic techniques from algebraic combinatorics become available for studying fixed-point data in bispan categories.

Load-bearing premise

The plethory is defined so that its plethysm operation makes the character map a well-defined homomorphism.

What would settle it

For the cyclic group of order two, compute the image under the character map of two specific composed bispans and check whether it equals the plethysm of their separate images.

Figures

Figures reproduced from arXiv: 2606.03649 by David Mehrle, Evan Franchere, Jesse Keyes, Lakshay Modi, Nathan Cornelius, Nathaniel Stapleton, Usman Hafeez.

Figure 1
Figure 1. Figure 1: Composition of spans. The span [X ← A → Y ] is highlighted in blue, the span [Y ← B → Z] is highlighted in red, and the composite span [Y ← B → Z] ◦ [X ← A → Y ] is highlighted in green. The central diamond of the figure is a pullback square in FinG. The category Span(FinG) has all finite products, given by the ordinary disjoint union of G-sets. Proposition 2.4. For any two finite G-sets X and Y , Span(Fin… view at source ↗
Figure 2
Figure 2. Figure 2: Composition of bispans. Given bispans [X ←− A −→ B −→ Y ] (highlighted in blue) and [Y ←− C −→ D −→ Z] (highlighted in red), we form the composite bispan [Y ←− C −→ D −→ Z] ◦ [X ←− A −→ B −→ Y ] by first taking pullbacks (P1) and then (P2), then forming an exponential diagram (E3), then finally forming the pullback (P4). The resulting bispan [X ← A′′ → D′ → Z] (highlighted in green) is the composite [PITH… view at source ↗
Figure 3
Figure 3. Figure 3: Composition of bispans from the point to the point. The bispan [A φ −→ B] is in blue, the bispan [X ψ −→ Y ] is in red, and their composite [X ψ −→ Y ] ◦ [A φ −→ B] is in green. Example 4.6. Consider the subgroup P(G)1 ⊆ P(G). There is an isomorphism of abelian groups A(G) ∼= P(G)1 given by sending [X] to [X idX −−→ X]. Since pullbacks and dependent products along identity maps are identity functors (Examp… view at source ↗
read the original abstract

Let $P(G)$ be the Grothendieck ring of the semiring of endomorphisms of the point in the $1$-category of bispans of finite $G$-sets for a finite group $G$. This is the bispan analogue of the Burnside ring of $G$. The ring $P(G)$ admits a third operation from composition of bispans. We produce a character map for $P(G)$ landing in a plethory built out of polynomial rings and the poset of conjugacy classes of subgroups of $G$. We prove that the character map sends composition of bispans to the plethysm operation -- which is a generalization of composition of polynomials.

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.

Referee Report

0 major / 1 minor

Summary. The paper defines P(G) as the Grothendieck ring of the semiring of endomorphisms of the point in the 1-category of bispans of finite G-sets for a finite group G. It constructs a character map from P(G) to a plethory built from polynomial rings and the poset of conjugacy classes of subgroups of G, and proves that this map sends the composition operation on bispans to the plethysm operation in the target.

Significance. If the construction and compatibility proof hold, the result supplies a character theory for the bispan analogue of the Burnside ring and identifies its third operation with plethysm, generalizing the case of polynomial composition. This could furnish new invariants and operations in equivariant homotopy theory and combinatorial representation theory.

minor comments (1)
  1. The abstract refers to 'the 1-category of bispans' and 'the poset of conjugacy classes of subgroups'; a brief recall of the relevant definitions or a reference to standard sources would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report. The provided summary accurately reflects the content of the manuscript. No specific major comments are listed, and the recommendation is listed as uncertain without further elaboration on any potential issues with the construction or proofs.

Circularity Check

0 steps flagged

No significant circularity; direct proof of compatibility

full rationale

The paper defines P(G) explicitly as the Grothendieck ring of endomorphisms of the point in the bispan category of finite G-sets, equips it with the composition operation by construction, builds a target plethory from polynomial rings and the poset of conjugacy classes, and states a theorem that the character map intertwines the two operations. No equation or step reduces a claimed result to a fitted input, self-citation, or definitional renaming; the compatibility is presented as a theorem to be proved rather than an implicit assumption or tautology. The derivation chain is therefore self-contained against external category-theoretic and ring-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The paper introduces P(G) and the target plethory as new objects built from standard categorical and group-theoretic ingredients. No numerical free parameters appear in the abstract. The work relies on the standard axioms of 1-categories and the finiteness of G.

axioms (2)
  • standard math The 1-category of bispans of finite G-sets is well-defined and forms a semiring under the appropriate operations.
    Invoked to define the endomorphisms whose Grothendieck ring is P(G).
  • domain assumption G is a finite group, so that conjugacy classes of subgroups form a poset.
    Required for indexing the polynomial rings in the plethory.
invented entities (2)
  • P(G) no independent evidence
    purpose: Bispan analogue of the Burnside ring carrying an extra composition operation.
    Newly defined Grothendieck ring in the abstract.
  • Plethory built from polynomial rings and the poset of conjugacy classes of subgroups no independent evidence
    purpose: Codomain of the character map in which plethysm is defined.
    Constructed as the target structure in the abstract.

pith-pipeline@v0.9.1-grok · 5661 in / 1456 out tokens · 40356 ms · 2026-06-28T07:28:56.191109+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 14 canonical work pages

  1. [1]

    and Hill, Michael A

    Blumberg, Andrew J. and Hill, Michael A. , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.07.013 , URL =

    work page doi:10.1016/j.aim.2015.07.013 2015

  2. [2]

    and Hill, Michael A

    Blumberg, Andrew J. and Hill, Michael A. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/agt.2018.18.723 , URL =

    work page doi:10.2140/agt.2018.18.723 2018

  3. [3]

    and Hill, Michael A

    Blumberg, Andrew J. and Hill, Michael A. , TITLE =. Homotopy theory: tools and applications , SERIES =. [2019] 2019 , ISBN =. doi:10.1090/conm/729/14691 , URL =

    work page doi:10.1090/conm/729/14691 2019

  4. [4]

    Advances in Mathematics (New York

    Borger, James and Wieland, Ben , TITLE =. Advances in Mathematics (New York. 1965) , LANGUAGE =

    1965

  5. [5]

    2024 , eprint=

    Normed equivariant ring spectra and higher Tambara functors , author=. 2024 , eprint=

    2024

  6. [6]

    Cnossen, Bastiaan and Haugseng, Rune and Lenz, Tobias and Linskens, Sil , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/jlms.70200 , URL =

    work page doi:10.1112/jlms.70200 2025

  7. [7]

    2025 , eprint=

    On the Tambara Affine Line , author=. 2025 , eprint=

    2025

  8. [9]

    Dress, Andreas W. M. , TITLE =. Algebraic

  9. [10]

    Elmanto, Elden and Haugseng, Rune , TITLE =. Compos. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/s0010437x23007388 , URL =

    work page doi:10.1112/s0010437x23007388 2023

  10. [11]

    Gambino, Nicola and Kock, Joachim , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2013 , NUMBER =. doi:10.1017/S0305004112000394 , URL =

    work page doi:10.1017/s0305004112000394 2013

  11. [12]

    and Mazur, Kristen , TITLE =

    Hill, Michael A. and Mazur, Kristen , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.jpaa.2019.04.001 , URL =

    work page doi:10.1016/j.jpaa.2019.04.001 2019

  12. [13]

    and Mehrle, David and Quigley, James D

    Hill, Michael A. and Mehrle, David and Quigley, James D. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2023 , NUMBER =. doi:10.1093/imrn/rnab361 , URL =

    work page doi:10.1093/imrn/rnab361 2023

  13. [14]

    2024 , eprint=

    Koszul Resolutions over Free Incomplete Tambara Functors for Cyclic p -Groups , author=. 2024 , eprint=

    2024

  14. [15]

    Mehrle, David and Quigley, J. D. and Stahlhauer, Michael , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/blms.70138 , URL =

    work page doi:10.1112/blms.70138 2025

  15. [16]

    2012 , eprint =

    Tambara functors , author =. 2012 , eprint =

    2012

  16. [17]

    Tall, D. O. and Wraith, G. C. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1970 , PAGES =. doi:10.1112/plms/s3-20.4.619 , URL =

    work page doi:10.1112/plms/s3-20.4.619 1970

  17. [18]

    , TITLE =

    Tambara, D. , TITLE =. Comm. Algebra , FJOURNAL =. 1993 , NUMBER =. doi:10.1080/00927879308824627 , URL =

    work page doi:10.1080/00927879308824627 1993

  18. [19]

    Rubin, Jonathan , TITLE =. Glasg. Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1017/S001708952000021X , URL =

    work page doi:10.1017/s001708952000021x 2021

  19. [20]

    Mathematische Zeitschrift , FJOURNAL =

    Dress, Jonathan , TITLE =. Mathematische Zeitschrift , FJOURNAL =. 1969 , NUMBER =. doi:10.1007/BF01110213 , URL =

    work page doi:10.1007/bf01110213 1969

  20. [21]

    Some remarks on G-functors and the Brauer morphism

    Thevenaz, Jacques , journal =. Some remarks on G-functors and the Brauer morphism. , url =

  21. [22]

    Chan, David , TITLE =. Tunis. J. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/tunis.2024.6.1 , URL =

    work page doi:10.2140/tunis.2024.6.1 2024

  22. [23]

    , booktitle =

    Dieck, Tammo tom. , booktitle =. Transformation groups and representation theory , year =

  23. [24]

    2025 , eprint=

    Algebraically Closed Fields in Equivariant Algebra , author=. 2025 , eprint=

    2025

  24. [25]

    2013 , eprint=

    Tambara Functors and Commutative Ring Spectra , author=. 2013 , eprint=

    2013