On geometrically reductive tensor categories

Kevin Coulembier

arxiv: 2605.19167 · v2 · pith:PBMT3OB5new · submitted 2026-05-18 · 🧮 math.RT

On geometrically reductive tensor categories

Kevin Coulembier This is my paper

Pith reviewed 2026-05-20 07:02 UTC · model grok-4.3

classification 🧮 math.RT

keywords geometric reductivityhigher Verlinde categoriestensor categoriesalgebraic geometryrepresentation theoryconjectures in tensor categories

0 comments

The pith

Higher Verlinde categories are geometrically reductive.

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

The paper proves the conjecture that higher Verlinde categories are geometrically reductive. This property is one of two needed for recent results on algebraic geometry in tensor categories to apply directly to these categories. The work also reduces two further conjectures on geometric reductivity for tensor categories to other conjectures already present in the literature. A sympathetic reader would care because the result connects abstract tensor category structures to geometric methods that can now be used without additional barriers.

Core claim

The author proves the conjecture that higher Verlinde categories are geometrically reductive. This fulfills one of the two properties required to apply recent results on algebraic geometry in tensor categories to these categories. The proof additionally reduces two further conjectures concerning geometric reductivity for tensor categories to other conjectures that appear in the literature.

What carries the argument

Geometric reductivity for tensor categories, the property that permits algebraic geometry techniques to function inside the categorical setting.

Load-bearing premise

The definitions and structural properties of higher Verlinde categories hold exactly as formulated in the conjecture being proved, along with the two reduced conjectures from the literature.

What would settle it

A concrete higher Verlinde category that fails to satisfy the axioms or structural requirements of geometric reductivity would disprove the central claim.

read the original abstract

We prove the conjecture that higher Verlinde categories are geometrically reductive. This is one of the two properties required in order for recent results on algebraic geometry in tensor categories to apply to these categories. We also reduce two further conjectures concerning geometric reductivity for tensor categories to other conjectures appearing in the literature.

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 proves the conjecture that higher Verlinde categories are geometrically reductive and reduces two others to existing questions in the literature.

read the letter

The paper proves that higher Verlinde categories are geometrically reductive. This is the main new result, and it directly addresses one of the two properties needed to apply recent algebraic geometry techniques within tensor categories. What the paper does well is provide a direct proof of that conjecture rather than just restating prior work. It also reduces two further conjectures about geometric reductivity in tensor categories to other conjectures that are already out there in the literature. This keeps the contribution focused and builds logically on existing ideas. The soft spots are limited. The central claim rests on the definitions and structural properties of higher Verlinde categories as given in the conjecture, plus the assumption that the two reduced conjectures hold. There's no indication of circularity in the main argument, and the structure seems consistent once those inputs are accepted. Since this is a proof paper, the details of the derivation would need checking, but nothing jumps out as problematic from the outline. This work is for researchers in representation theory and tensor categories who are interested in geometric methods. A reader who knows the background on Verlinde categories and the algebraic geometry results in question will get the most out of it, as it advances specific open questions in that niche. I would recommend sending this to peer review. The progress on the conjecture is substantive enough to warrant a detailed look by referees familiar with the area.

Referee Report

0 major / 2 minor

Summary. The manuscript proves the conjecture that higher Verlinde categories are geometrically reductive. This establishes one of the two required properties for applying recent results on algebraic geometry in tensor categories to these objects. The paper additionally reduces two further conjectures on geometric reductivity of tensor categories to other conjectures already present in the literature.

Significance. If the central proof holds, the result is significant for the study of tensor categories because it directly enables the transfer of algebraic-geometric techniques to higher Verlinde categories. The reductions to existing conjectures in the literature provide a clear route for further progress and connect the work to ongoing research programs in the field. The manuscript supplies an explicit proof of the main conjecture together with the indicated reductions.

minor comments (2)

[§3] The statement of the main theorem in §3 could include a short reminder of the precise definition of geometric reductivity used throughout the paper to improve readability for readers who consult the result in isolation.
[§4] In the discussion of the two reduced conjectures (around the end of §4), a brief comparison table or explicit cross-reference to the statements in the cited literature would help the reader verify the reductions at a glance.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including recognition of the proof that higher Verlinde categories are geometrically reductive and the reductions of two further conjectures to existing ones in the literature. The recommendation for minor revision is noted, but the report contains no specific major comments or requested changes.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper proves the stated conjecture on geometric reductivity of higher Verlinde categories by direct appeal to their definitions and structural properties as given in the conjecture, together with reductions of two auxiliary conjectures to independent statements already present in the literature. No step equates a derived quantity to its own input by construction, renames a fitted parameter as a prediction, or relies on a load-bearing self-citation whose validity is internal to the present work. The central argument remains a genuine proof once the external conjectures are granted, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on background definitions of tensor categories, Verlinde categories, and geometric reductivity from prior literature; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Standard axioms and properties of tensor categories and higher Verlinde categories as defined in the literature
Invoked to state the conjecture being proved

pith-pipeline@v0.9.0 · 5551 in / 975 out tokens · 24474 ms · 2026-05-20T07:02:03.031737+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

a tensor category C is geometrically reductive (GR) if for every non-zero morphism X→1, there is some m>0 for which the induced epimorphism S^m X ↠1 is split
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Theorem A. For any p>0, the tensor category Ver_p^∞ is geometrically reductive

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.