On the Orthogonal Projections

Jiarui Fei

arxiv: 2510.01615 · v3 · submitted 2025-10-02 · 🧮 math.RT · math.RA

On the Orthogonal Projections

Jiarui Fei This is my paper

Pith reviewed 2026-05-18 11:14 UTC · model grok-4.3

classification 🧮 math.RT math.RA

keywords orthogonal projectionsrigid presentationsquivers with potentialsrepresentation categoriesmodule categoriesmutation formulascluster algebrasstabilization functors

0 comments

The pith

For any rigid presentation e, an orthogonal projection functor to rep(e^perp) exists as the left adjoint to the natural embedding.

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

The paper establishes that given a rigid presentation e, one can build an orthogonal projection functor sending representations to the perpendicular subcategory rep(e^perp) while serving as left adjoint to the inclusion map. This construction yields a bijection between presentations inside rep(e^perp) and those compatible with e. When the setup involves quivers with potentials, the perpendicular category becomes a module category over a new quiver with potential, and explicit mutation formulas are given for delta-vectors of complements and dimension vectors of simple modules. The results also supply an algorithm for producing the projected quiver with potential and link the construction to stabilization functors used in cluster algebras.

Core claim

For any rigid presentation e, the orthogonal projection functor to rep(e^perp) is defined and shown to be left adjoint to the embedding; this induces a bijection on presentations, and in the quiver-with-potential case rep(e^perp) is a module category over another quiver with potential, with derived mutation formulas for the delta-vectors of positive and negative complements together with the dimension vectors of its simple modules.

What carries the argument

The orthogonal projection functor, constructed for a rigid presentation e and serving as left adjoint to the embedding into the full representation category while mapping to rep(e^perp).

If this is right

The bijection classifies presentations inside the perpendicular subcategory in terms of those compatible with e.
The mutation formulas for delta-vectors and dimension vectors produce an explicit algorithm that computes the quiver with potential of the projected category.
The module-category structure on rep(e^perp) transfers representation-theoretic data from the original quiver with potential to the smaller one.
The connection to stabilization functors transfers the projection results directly into statements about cluster algebras.

Where Pith is reading between the lines

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

The projection could reduce the complexity of computing mutation sequences by successively removing rigid summands.
The modified projection that preserves general presentations might extend the same reduction technique to non-rigid settings where ordinary orthogonality fails.
The algorithm for the projected quiver with potential could be implemented as a computational tool for enumerating cluster variables in small cases.

Load-bearing premise

The presentation e must be rigid for the orthogonal projection functor and all subsequent bijections and mutation formulas to be defined.

What would settle it

Exhibit a rigid presentation e for which the claimed left-adjoint projection functor fails to map objects into rep(e^perp) or for which the stated bijection between presentations fails to hold.

read the original abstract

For any rigid presentation $e$, we construct an orthogonal projection functor to ${\rm rep}(e^\perp)$ left adjoint to the natural embedding. We establish a bijection between presentations in ${\rm rep}(e^\perp)$ and presentations compatible with $e$. For quivers with potentials, we show that ${\rm rep}(e^\perp)$ forms a module category of another quiver with potential. We derive mutation formulas for the $\delta$-vectors of positive and negative complements and the dimension vectors of simple modules in ${\rm rep}(e^\perp)$, enabling an algorithm to find the projected quiver with potential. Additionally, we introduce a modified projection for quivers with potentials that preserves general presentations. For applications to cluster algebras, we establish a connection to the stabilization functors.

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 gives explicit left-adjoint projection functors and mutation formulas for rigid presentations in quiver representation categories, plus a bijection and module-category structure, but the value is mostly computational tools for specialists.

read the letter

The core contribution is the construction, for any rigid presentation e, of an orthogonal projection functor from the ambient category to rep(e^perp) that is left adjoint to the inclusion, together with a bijection between presentations in the perpendicular category and those compatible with e. They also show that rep(e^perp) carries a module-category structure over another quiver with potential, derive explicit mutation formulas for delta-vectors of complements and dimension vectors of simples, and give a modified projection that keeps general presentations intact. The link to stabilization functors is noted as an application to cluster algebras. These pieces are presented as direct consequences of rigidity plus standard adjoint-functor and mutation machinery, which makes the claims straightforward to state once the setup is fixed. The formulas look concrete enough that someone computing examples could actually use them to produce the projected quiver with potential algorithmically. The main limitation is that rigidity of e is the load-bearing hypothesis for every step, and the paper does not test how restrictive that is in practice or what breaks without it. The proofs of adjointness and the module-category axioms are not visible in the abstract, so a referee would need to verify there are no extra compatibility conditions hidden in the potentials. The work stays within the usual quiver-with-potential toolkit and does not claim broader impact outside that subfield. This is for readers already working on mutations, classifications, or computational aspects of cluster algebras and quiver representations. A specialist could extract usable formulas from it. It is worth sending to peer review so the derivations can be checked in detail rather than desk-rejected on the abstract alone.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that for any rigid presentation e, an orthogonal projection functor to rep(e^perp) exists as the left adjoint to the natural embedding. It establishes a bijection between presentations in rep(e^perp) and presentations compatible with e. For quivers with potentials, rep(e^perp) is shown to form a module category over another quiver with potential. Mutation formulas are derived for the δ-vectors of positive and negative complements and the dimension vectors of simple modules in rep(e^perp), which enable an algorithm to compute the projected quiver with potential. A modified projection preserving general presentations is introduced, and a connection to stabilization functors is established for applications to cluster algebras.

Significance. If the constructions and formulas hold, the work supplies explicit tools for handling perpendicular categories in the representation theory of quivers with potentials, including computable mutation rules and an algorithm for projected structures. These could streamline calculations in cluster algebra contexts via the link to stabilization functors. The direct use of rigidity to obtain adjoint functors and bijections follows standard techniques in the field and would be a useful addition if the details are fully verified.

major comments (2)

[§3] §3: The construction of the orthogonal projection functor as left adjoint relies on the rigidity of e, but the explicit verification of the adjunction (unit and counit maps) is not detailed enough to confirm it holds without additional compatibility conditions on the presentation.
[§5] §5: The mutation formulas for δ-vectors of positive and negative complements are stated as enabling an algorithm, yet the derivation steps from the adjoint functor to the explicit vector transformations are omitted; this is load-bearing for the claim that the formulas are effective for computation.

minor comments (2)

[Introduction] The abstract refers to 'presentations compatible with e' without a prior definition; adding this in the preliminaries would improve clarity.
Notation for rep(e^perp) and the perpendicular quiver with potential should be introduced consistently before the module category result is stated.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and have revised the manuscript to provide the requested details and clarifications.

read point-by-point responses

Referee: [§3] §3: The construction of the orthogonal projection functor as left adjoint relies on the rigidity of e, but the explicit verification of the adjunction (unit and counit maps) is not detailed enough to confirm it holds without additional compatibility conditions on the presentation.

Authors: We appreciate this observation. Rigidity of e is used to ensure that the natural embedding admits a left adjoint, but we agree that the verification of the unit and counit was not written out in sufficient detail. In the revised version we have expanded the relevant part of §3 to construct the unit and counit maps explicitly from the rigidity hypothesis and to verify the triangle identities directly. The argument shows that no further compatibility conditions on the presentation are needed beyond rigidity; the natural embedding preserves the exact sequences required for the adjunction to hold. We believe this fully addresses the concern. revision: yes
Referee: [§5] §5: The mutation formulas for δ-vectors of positive and negative complements are stated as enabling an algorithm, yet the derivation steps from the adjoint functor to the explicit vector transformations are omitted; this is load-bearing for the claim that the formulas are effective for computation.

Authors: We agree that the derivation of the explicit vector transformations was insufficiently spelled out. In the revised manuscript we have inserted a new subsection in §5 that derives the mutation formulas for the δ-vectors of the positive and negative complements, as well as the dimension vectors of the simple modules in rep(e^perp), directly from the properties of the adjoint functor and the bijection between presentations. The steps are now written out in full, and we include a short computational example illustrating how the formulas produce the projected quiver with potential. This makes the algorithm claim verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper begins from the explicit hypothesis that e is a rigid presentation and constructs the orthogonal projection functor, left adjoint to the embedding, and the bijection on presentations using standard adjoint-functor existence and quiver-with-potential mutation techniques. These steps are presented as direct consequences of the rigidity assumption together with ordinary category-theoretic and representation-theoretic facts; no equation or construction is shown to reduce by definition to a fitted parameter, a renamed input, or a self-citation whose content is itself unverified. The derivations therefore remain self-contained against external benchmarks in the representation theory of quivers with potentials.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies on domain assumptions from quiver representation theory; no free parameters, invented entities, or ad hoc axioms explicitly introduced beyond standard rigidity and potential structures.

axioms (1)

domain assumption The presentation e is rigid, enabling the orthogonal projection functor construction.
Invoked as prerequisite for the main functor and bijection results.

pith-pipeline@v0.9.0 · 5644 in / 1124 out tokens · 42688 ms · 2026-05-18T11:14:28.843333+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.

For any rigid presentation e, we construct an orthogonal projection functor to rep(e⊥) left adjoint to the natural embedding. ... mutation formulas for the δ-vectors ... connection to the stabilization functors.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery and embed_strictMono unclear

?

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

We derive mutation formulas for the δ-vectors of positive and negative complements and the dimension vectors of simple modules in rep(e⊥)

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.