On rank one 2-representations of web categories

Daniel Tubbenhauer

arxiv: 2307.00785 · v3 · submitted 2023-07-03 · 🧮 math.RT · math.CT· math.QA

On rank one 2-representations of web categories

Daniel Tubbenhauer This is my paper

Pith reviewed 2026-05-24 07:54 UTC · model grok-4.3

classification 🧮 math.RT math.CTmath.QA

keywords web categoriesrank one 2-representationsSL2GL2SO3bilinear formstrilinear formsclassification

0 comments

The pith

The SL2, GL2 and SO3 web categories have their rank one 2-representations classified by reducing to bilinear and trilinear forms.

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

The paper classifies all rank one 2-representations of the SL2, GL2, and SO3 web categories. It achieves this by reducing the problem to classifying bilinear and trilinear forms, drawing from similar work on quantum groups. The formulation allows the method to be adapted to other web categories. If correct, this gives an explicit list of such representations for these cases. A reader would care as it provides a model for handling low-rank cases in categorical representation theory.

Core claim

We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms, and is formulated such that it can be adapted to other web categories.

What carries the argument

The reduction of the classification problem for rank one 2-representations to the classification of bilinear and trilinear forms.

If this is right

The rank one 2-representations for these web categories are in bijection with certain bilinear and trilinear forms.
The classification covers all such representations without omissions or extras.
The approach can be extended to classify rank one cases in additional web categories.
Explicit lists of the representations become available for SL2, GL2, and SO3.

Where Pith is reading between the lines

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

This approach might apply to web categories associated with other Lie algebras or groups.
Similar reductions could classify higher rank 2-representations if the forms can be generalized.
Connections to other categorifications of quantum group representations may become clearer.
Computational checks for small cases could verify the correspondence.

Load-bearing premise

The reduction of the 2-representation classification problem to the classification of bilinear and trilinear forms is complete and captures every rank-one case for the SL2, GL2, and SO3 web categories without missing or extraneous objects.

What would settle it

Discovery of a rank one 2-representation of the SL2 web category that does not arise from any bilinear or trilinear form would show the reduction is incomplete.

read the original abstract

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

The paper classifies rank one 2-representations for the SL2, GL2, and SO3 web categories by reducing to bilinear and trilinear forms, extending the quantum group approach with an adaptable setup.

read the letter

The paper classifies rank one 2-representations of the SL2, GL2 and SO3 web categories. It does so by reducing the problem to the classification of bilinear and trilinear forms, following the quantum group precedent but set up for web categories and noted as adaptable to others. This reduction is the central result and organizes the rank one objects for these three cases. The formulation supplies the explicit forms that satisfy the web relations in rank one. The paper does well by keeping the focus narrow and by making the method reusable rather than claiming a new general framework. It ties the work directly to existing quantum group results without overreaching. The soft spots are minor and center on verifying that the reduction is exhaustive in the proofs. The high-level description gives no sign of missed cases or extraneous objects, and there is no circularity or dependence on fitted parameters inside the paper. The approach stays grounded in the literature. This work is for specialists already in 2-representation theory or diagrammatic categories. A reader in that area gets a concrete list of forms and a technique they can apply elsewhere. It is an incremental classification that keeps the subfield organized. The thinking is clear and engages the prior results honestly. I would bring it to a reading group to see the details of the reduction. It deserves peer review because the result is specific, the method is stated cleanly, and the scope is well contained.

Referee Report

1 major / 0 minor

Summary. The paper classifies rank one 2-representations of the SL2, GL2 and SO3 web categories. The classification is obtained by reducing the problem to the classification of bilinear and trilinear forms, inspired by analogous results for quantum groups, and is formulated in a manner intended to be adaptable to other web categories.

Significance. If the reduction is shown to be complete and the resulting forms are correctly enumerated without omissions or extraneous cases, the work would supply an explicit classification of these rank-one objects and a template for extending the method to additional web categories in diagrammatic representation theory.

major comments (1)

The central claim rests on a reduction of rank-one 2-representations to bilinear and trilinear forms, yet no explicit mapping, completeness argument, or enumeration of the forms is provided in the manuscript; without these steps it is impossible to verify that every rank-one object is captured and that no extraneous objects are introduced.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The major comment correctly identifies a gap in the explicitness of the reduction argument, and we will revise the manuscript to address it.

read point-by-point responses

Referee: The central claim rests on a reduction of rank-one 2-representations to bilinear and trilinear forms, yet no explicit mapping, completeness argument, or enumeration of the forms is provided in the manuscript; without these steps it is impossible to verify that every rank-one object is captured and that no extraneous objects are introduced.

Authors: We agree that the current manuscript does not supply a sufficiently explicit mapping from rank-one 2-representations to the corresponding bilinear and trilinear forms, nor a self-contained completeness argument or full enumeration. In the revised version we will insert a dedicated subsection (placed after the definition of the web categories) that (i) defines the explicit functor sending a rank-one 2-representation to its associated form, (ii) proves that every rank-one 2-representation arises in this way, and (iii) enumerates the admissible forms for each of the three categories, confirming that no extraneous cases appear. These additions will make the classification directly verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper classifies rank one 2-representations of the SL2, GL2 and SO3 web categories by reducing the problem to the classification of bilinear and trilinear forms, explicitly describing the approach as inspired by prior quantum-group results and formulated for adaptability to other categories. No equations, definitions, or steps in the provided text equate any output classification to fitted parameters or self-referential inputs by construction; the reduction is presented as an external methodological transfer rather than an internal tautology. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new postulated entities; the reduction to bilinear and trilinear forms is mentioned but not unpacked.

pith-pipeline@v0.9.0 · 5561 in / 1208 out tokens · 39458 ms · 2026-05-24T07:54:03.987646+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/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

For Web(SL2) the classification is similar to the classification of bilinear forms and has therefore a short-and-sweet answer, see Theorem 3B.2. For Web(GL2) trilinear forms make their appearance... For Web(SO3) honest trilinear forms appear

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.