Ordnung muss sein

Henning Krause

arxiv: 2602.01316 · v3 · submitted 2026-02-01 · 🧮 math.RT · math.CT· math.RA

Ordnung muss sein

Henning Krause This is my paper

Pith reviewed 2026-05-16 08:26 UTC · model grok-4.3

classification 🧮 math.RT math.CTmath.RA

keywords length categoriespartial ordersrepresentations of posetssheaves of division ringsT0-spacesmodule categoriessimple objectsfinite length

0 comments

The pith

Length categories obeying rules on their simple objects are exactly the finite-dimensional representations of a partially ordered set.

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

The paper identifies a short list of necessary and sufficient rules on the simple objects of any length category. When these rules hold, the isomorphism classes of simples carry a partial order, and the whole category becomes equivalent to the finite-dimensional representations of that poset. The same categories are also characterized as modules over a sheaf of division rings on a finite T0-space. This gives a concrete combinatorial description of an otherwise abstract class of categories. Readers care because the rules turn classification problems about length categories into questions about posets and their representations.

Core claim

For any length category, we establish a set of rules (necessary and sufficient) that ensure a partial order on the isomorphism classes of simple objects such that the category is equivalent to the category of finite dimensional representations of this partially ordered set. Equivalently, we characterise the length categories that arise as categories of modules over a sheaf of division rings on a finite T0-space.

What carries the argument

The necessary and sufficient rules on the simple objects that induce a partial order on their isomorphism classes and produce the equivalence to the poset representation category.

If this is right

Every length category obeying the rules admits a canonical partial order on its simple objects.
The equivalence identifies objects in the length category with finite-dimensional representations over the poset.
Every finite-dimensional representation category of a poset arises this way and satisfies the rules.
The T0-space formulation gives a topological model for the same categories via sheaves of division rings.

Where Pith is reading between the lines

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

Enumeration of small posets could yield a practical way to list all length categories obeying the rules.
The rules may extend to decide when a given length category is Morita equivalent to a poset representation category.
Verification on known examples such as representations of finite quivers with relations would test whether the rules recover familiar cases.

Load-bearing premise

The input is a length category and there exists data from which a unique partial order or T0-space satisfying the rules can be canonically extracted.

What would settle it

A specific length category whose simples satisfy the stated rules yet whose extension groups or composition series fail to match those of the representations of the induced poset.

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

Krause gives necessary and sufficient rules that turn a length category into the finite-dimensional representations of a poset on its simples.

read the letter

Henning Krause's paper supplies explicit necessary and sufficient conditions on a length category so that it becomes equivalent to the category of finite-dimensional representations of a poset whose elements are the isomorphism classes of simple objects. Equivalently, the category arises as modules over a sheaf of division rings on a finite T0-space. That is the central result, and it is stated cleanly in the abstract and carried through the manuscript with the standard poset-T0 correspondence under the specialization order. The necessity direction follows from the way extensions and composition series behave in any representation category of a poset. Sufficiency constructs the poset or sheaf directly from the given length category once the rules are satisfied. The argument stays within the finite-length setting and avoids circular definitions or fitted parameters. The rules themselves are concrete enough that one can check them on examples such as modules over artinian algebras or finite poset representations already in the literature. One minor boundary is that the result applies only to length categories, so it does not address categories containing objects of infinite length; that is a deliberate scope choice rather than a gap. The construction also assumes that the data of the length category determines a unique poset satisfying the rules, which the paper verifies but which could be tested further on categories with multiple possible orders. The paper is aimed at representation theorists who work with module categories over algebras and want a handle on when those categories admit a poset model. A reader already familiar with length categories and poset representations will find the characterization useful for classification questions. The work is formally grounded and the logic holds up without internal contradictions, so it deserves a serious referee even if the final verdict after review is that the rules need minor polishing for clarity.

Referee Report

0 major / 2 minor

Summary. The paper claims that for any length category, a set of necessary and sufficient rules can be established on the category that induce a partial order on the isomorphism classes of its simple objects, yielding an equivalence between the category and the category of finite-dimensional representations of this poset. Equivalently, the work characterizes the length categories that arise as categories of modules over a sheaf of division rings on a finite T0-space, using the standard correspondence between finite T0-spaces and posets under the specialization order.

Significance. If the result holds, it supplies a precise characterization linking abstract length categories in representation theory to combinatorial and topological data via posets and sheaves on T0-spaces. This could facilitate classification of module categories and provide canonical order-theoretic invariants for such categories. The explicit presentation of the rules and the derivation of both directions of the equivalence via standard poset-T0-space correspondence are strengths of the manuscript.

minor comments (2)

The statement of the main theorem in the introduction would benefit from an explicit reference to the section where the rules are defined and proved necessary and sufficient.
Notation for the sheaf of division rings and the specialization order could be introduced with a short example in Section 1 to aid readability for readers less familiar with T0-spaces.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary correctly captures the main contribution: a characterization of length categories via necessary and sufficient conditions inducing a partial order on simple objects, together with the equivalent description in terms of modules over sheaves of division rings on finite T0-spaces.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation establishes necessary and sufficient rules on a length category to induce a partial order on isomorphism classes of simples, yielding an equivalence to finite-dimensional representations of the resulting poset (or modules over a sheaf on a finite T0-space). This proceeds via the standard specialization-order correspondence between finite T0-spaces and posets, with no equations or definitions reducing the target equivalence to a quantity defined in terms of itself, no fitted parameters renamed as predictions, and no load-bearing self-citations or imported uniqueness theorems that collapse the central claim to prior unverified input. The construction remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard definition of length categories and the usual axioms of abelian categories; no free parameters, new entities, or ad-hoc assumptions beyond the domain are visible in the abstract.

axioms (1)

domain assumption Every object admits a finite composition series of simple objects.
This is the explicit definition of a length category used as the input class in the abstract.

pith-pipeline@v0.9.0 · 5336 in / 1251 out tokens · 31559 ms · 2026-05-16T08:26:34.717814+00:00 · methodology

Ordnung muss sein

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)