A categorification of Kauffman states for planar graphs

Domenico Fiorenza; Eugenio Landi; Giovanni Cerulli Irelli; Michele Matteucci

arxiv: 2605.19872 · v1 · pith:DBIBEBHTnew · submitted 2026-05-19 · 🧮 math.RT · math.CO· math.GN

A categorification of Kauffman states for planar graphs

Giovanni Cerulli Irelli , Domenico Fiorenza , Eugenio Landi , Michele Matteucci This is my paper

Pith reviewed 2026-05-20 01:24 UTC · model grok-4.3

classification 🧮 math.RT math.COmath.GN

keywords planar graphsKauffman statesdistributive latticesquiver with potentialrepresentationscategorificationBMS statesangular functions

0 comments

The pith

For decorated planar graphs, the directed graph of ω-compatible angular functions forms a graded distributive lattice isomorphic to a quiver representation lattice under suitable assumptions.

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

The paper starts with a planar graph G equipped with a cohomology class ω on its directed medial graph and defines ω-compatible angular functions. It builds the directed graph L(G,ω) whose vertices are these functions and shows that, given sufficient conditions, L(G,ω) is a graded distributive lattice. It also introduces BMS states as pairs of such functions with extra data and assigns to each a representation of the quiver with potential defined on the medial graph. Under the same suitable assumptions the lattice of subrepresentations of a maximal representation is shown to be isomorphic to L(G,ω). When G is a knot diagram this recovers Kauffman’s Clock Theorem and the construction generalizes an earlier isomorphism of Bazier-Matte–Schiffler.

Core claim

The authors prove that, under suitable assumptions, the directed graph L(G,ω) of ω-compatible angular functions on a decorated planar graph is a graded distributive lattice, and that the lattice of subrepresentations of the maximal representation built from the BMS states is isomorphic to L(G,ω).

What carries the argument

BMS states (pairs of ω-compatible functions plus additional data) together with the associated representations of the quiver with potential on the medial graph of G.

If this is right

When G is a knot diagram the lattice L(G,ω) reproduces the graded structure given by Kauffman’s Clock Theorem.
L(G,ω) is graded and distributive whenever the stated sufficient conditions hold.
The construction supplies a categorification of Kauffman states by means of representations of quivers with potential.
The isomorphism extends the corresponding result of Bazier-Matte–Schiffler to the setting of decorated planar graphs.

Where Pith is reading between the lines

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

Representation-theoretic invariants of the maximal quiver representation could be used to compute or compare the lattices L(G,ω) for different graphs.
The same quiver-with-potential construction might be tested on non-planar graphs or on diagrams with different decorations to see whether the lattice isomorphism persists.
Identifying explicit small graphs where the suitable assumptions hold would allow direct verification of the isomorphism by computing both lattices.

Load-bearing premise

The suitable but unspecified assumptions must hold so that the representations coming from BMS states produce a maximal representation whose subrepresentation lattice equals L(G,ω).

What would settle it

Exhibit a concrete decorated planar graph obeying the sufficient conditions for which the subrepresentation lattice of the maximal quiver representation fails to be isomorphic to L(G,ω).

read the original abstract

Given a decorated planar graph $(G,\omega)$, where $G$ is a planar graph and $\omega\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $\omega$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,\omega)$, which is the directed graph of such functions, and $BMS(G,\omega)$, the directed graph of BMS states which are some pairs of $\omega$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,\omega)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,\omega)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

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 abstract sketches a categorification of Kauffman states to planar graphs via angular functions and quiver representations, generalizing known theorems, but the full paper is needed to check the claims.

read the letter

The main thing to know is that this abstract outlines a way to categorify Kauffman states for general planar graphs by using angular functions compatible with a cohomology class on the medial graph, leading to a lattice isomorphism with subrepresentations of a quiver representation. But everything rests on the full paper, which isn't available yet. What looks new is the pair of directed graphs: L(G,ω) for the ω-compatible functions and BMS(G,ω) for the states with extra data. They give conditions making L a graded distributive lattice, which specializes to Kauffman's clock theorem for knots. They also build a quiver with potential from the medial graph and tie each BMS state to a representation, claiming an isomorphism to the subrepresentation lattice under suitable assumptions. This extends the Bazier-Matte--Schiffler result. The constructions seem to build straightforwardly on standard quiver-with-potential techniques and prior lattice results, which is a plus for keeping things grounded. The soft spots are obvious from the abstract-only view: no derivations, no examples, and the key assumptions for the isomorphism stay unspecified. If those assumptions turn out restrictive or if the lattice map has gaps, the main theorem could weaken. The circularity risk looks low since it cites external results, but we need the text to confirm. This paper would interest readers in combinatorial representation theory and algebraic topology who work on knot invariants and their generalizations. Someone familiar with the cited theorems would see the value quickest. I would bring this to a reading group once the full version is out, and it deserves serious peer review if the proofs check out.

Referee Report

1 major / 1 minor

Summary. The manuscript studies decorated planar graphs (G, ω) with ω in the first cohomology of the directed medial graph QG. It introduces ω-compatible angular functions and defines two directed graphs: L(G,ω) consisting of such functions, and BMS(G,ω) consisting of BMS states (pairs of ω-compatible functions with additional data). Sufficient conditions are stated under which L(G,ω) forms a graded distributive lattice, recovering Kauffman's Clock Theorem for knot diagrams. A potential is placed on QG and a representation of the associated quiver with potential is attached to each BMS state. Under suitable (unspecified) assumptions, the construction is claimed to yield an isomorphism between L(G,ω) and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

Significance. If the stated isomorphism and lattice properties hold, the work would supply a representation-theoretic categorification of Kauffman states for planar graphs and a concrete link between combinatorial lattices and subrepresentation lattices of quivers with potentials. The recovery of the Clock Theorem and the generalization of Bazier-Matte--Schiffler would strengthen connections between knot theory, graph theory, and quiver representation theory.

major comments (1)

[Abstract] Abstract: the isomorphism between L(G,ω) and the subrepresentation lattice of a maximal representation is asserted only 'under suitable assumptions' on the quiver-with-potential representations attached to BMS states. These assumptions are load-bearing for the central claim and for the claimed generalization of Bazier-Matte--Schiffler; they must be stated explicitly, shown to be non-vacuous, and verified in the body of the paper.

minor comments (1)

[Abstract] Abstract: the notation QG for the directed medial graph and the precise definition of 'BMS states' are introduced without prior reference or brief gloss, which may hinder immediate readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need for greater clarity on the assumptions underlying our main isomorphism result. We address this point below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract] Abstract: the isomorphism between L(G,ω) and the subrepresentation lattice of a maximal representation is asserted only 'under suitable assumptions' on the quiver-with-potential representations attached to BMS states. These assumptions are load-bearing for the central claim and for the claimed generalization of Bazier-Matte--Schiffler; they must be stated explicitly, shown to be non-vacuous, and verified in the body of the paper.

Authors: We agree that the assumptions require explicit statement. In the revised manuscript we will update the abstract to summarize the key conditions on the quiver-with-potential representations (specifically, that the representation attached to a maximal BMS state is maximal with respect to subrepresentations and that the potential satisfies the necessary non-degeneracy conditions). These conditions will be defined and verified in Section 3, with concrete examples (including the knot-diagram case recovering Bazier-Matte--Schiffler) given in Section 4 to show they are non-vacuous. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected from available text

full rationale

The abstract defines L(G,ω) and BMS(G,ω) from a decorated planar graph and ω-compatible functions, states sufficient conditions for L(G,ω) to be a graded distributive lattice, and claims an isomorphism to a subrepresentation lattice under suitable assumptions while generalizing an external result of Bazier-Matte--Schiffler. No equations, self-definitions, fitted inputs presented as predictions, or load-bearing self-citations appear in the text; the construction is framed as an extension of standard quiver-with-potential techniques and prior independent work, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

Abstract-only; the paper relies on standard algebraic topology and representation theory but details are not supplied. Inferred objects include newly defined states and functions without independent evidence outside the paper.

axioms (1)

standard math Standard properties of cohomology groups H^1 and directed medial graphs in algebraic topology
The decoration ω is taken from H^1(|QG|,Z), invoking background results from homology theory.

invented entities (2)

BMS states no independent evidence
purpose: Pairs of ω-compatible functions plus additional data used to define the directed graph BMS(G,ω) and associate quiver representations
Newly introduced objects in the paper to bridge combinatorial states with representation theory.
ω-compatible angular functions no independent evidence
purpose: Special functions on the graph that match the decoration ω and form the basis for L(G,ω)
Core new concept defined to enable the lattice and representation constructions.

pith-pipeline@v0.9.0 · 5704 in / 1444 out tokens · 62981 ms · 2026-05-20T01:24:53.134854+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 reality_from_one_distinction unclear

?

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

We give sufficient conditions for L(G,ω) to be a graded distributive lattice, recovering Kauffman's Clock Theorem when G is a knot diagram. We also define a potential on QG and associate a representation of the corresponding quiver with potential to every BMS state.

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.