Pseudotraces on Almost Unital and Finite-Dimensional Algebras

Bin Gui; Hao Zhang

arxiv: 2508.00431 · v2 · submitted 2025-08-01 · 🧮 math.QA · math.RA· math.RT

Pseudotraces on Almost Unital and Finite-Dimensional Algebras

Bin Gui , Hao Zhang This is my paper

Pith reviewed 2026-05-19 01:49 UTC · model grok-4.3

classification 🧮 math.QA math.RAmath.RT

keywords AUF algebraspseudotracessymmetric linear functionalsprojective generatorsMorita equivalencemodule categoriesnon-unital algebras

0 comments

The pith

For algebras with enough idempotents, the pseudotrace gives an isomorphism between spaces of symmetric linear functionals on an algebra and on the endomorphism ring of its projective generator.

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

The paper defines almost unital and finite-dimensional algebras as associative complex algebras that possess sufficiently many idempotents, even if they are non-unital or infinite-dimensional. It extends the pseudotrace construction to these algebras. When A is such an algebra and G is a projective generator in the category of finitely generated left A-modules that arise as quotients of free modules, the construction produces an isomorphism from the space of symmetric linear functionals on A to the corresponding space on B, the opposite of the endomorphism algebra of G. The isomorphism also identifies the non-degenerate functionals on each side. A sympathetic reader cares because the result lets one move questions about traces and functionals between Morita-related algebras without requiring the algebra to be unital or finite-dimensional.

Core claim

For an AUF algebra A with a projective generator G in Coh_L(A) and B equal to the opposite endomorphism algebra of G, the pseudotrace construction yields a linear isomorphism SLF(A) isomorphic to SLF(B) under which a symmetric linear functional is non-degenerate if and only if its counterpart is non-degenerate.

What carries the argument

The pseudotrace construction, which uses the idempotents of the AUF algebra and the action of the projective generator G to map symmetric linear functionals on A to those on B.

If this is right

Symmetric linear functionals correspond bijectively between A and its Morita partner B.
Non-degeneracy of a symmetric linear functional is preserved under the pseudotrace isomorphism.
The result applies equally to non-unital AUF algebras and to unital ones.
Questions about the dimension or basis of SLF(A) can be transferred to the endomorphism algebra B.

Where Pith is reading between the lines

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

The equivalence suggests that SLF depends only on the Morita class of the AUF algebra rather than on a particular presentation.
One could check the result on concrete families of algebras that satisfy the idempotent condition but are not unital.
If the AUF property passes to endomorphism algebras, the construction could be iterated.

Load-bearing premise

The algebra must have sufficiently many idempotents for the category Coh_L(A) to admit a projective generator and for the pseudotrace to be well-defined.

What would settle it

An explicit AUF algebra A together with its B for which the pseudotrace map between SLF(A) and SLF(B) is not bijective or fails to preserve non-degeneracy.

read the original abstract

We introduce the notion of almost unital and finite-dimensional (AUF) algebras, which are associative $\mathbb C$-algebras that may be non-unital or infinite-dimensional, but have sufficiently many idempotents. We show that the pseudotrace construction, originally introduced by Hattori and Stallings for unital finite-dimensional algebras, can be generalized to AUF algebras. Let $A$ be an AUF algebra. Suppose that $G$ is a projective generator in the category $\mathrm{Coh}_{\mathrm{L}}(A)$ of finitely generated left $A$-modules that are quotients of free left $A$-modules, and let $B = \mathrm{End}_{A,-}(G)^{\mathrm{opp}}$. We prove that the pseudotrace construction yields an isomorphism between the spaces of symmetric linear functionals $\mathrm{SLF}(A)\xrightarrow{\simeq} \mathrm{SLF}(B)$, and that the non-degeneracies on the two sides are equivalent.

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 defines AUF algebras and gives a conditional isomorphism for pseudotraces when a projective generator exists, but the AUF condition alone may not guarantee that generator.

read the letter

The main takeaway is that this work carves out a class of algebras called AUF—those with enough idempotents, possibly non-unital or infinite-dimensional—and extends the classical pseudotrace isomorphism to them, but only under the extra assumption that a projective generator G exists in the category of finitely generated left modules. The result then produces SLF(A) isomorphic to SLF(B) where B is the opposite endomorphism ring of G, plus equivalence of non-degeneracy on both sides. That is the concrete new piece relative to Hattori-Stallings. The setup with Coh_L(A) is handled cleanly enough in the abstract, and the authors state the conditional clearly rather than claiming it for every AUF algebra outright. That keeps the claim honest. The argument follows the expected lines from the unital finite-dimensional case and adapts the idempotent condition to make the category well-behaved, which is a reasonable move for this subfield. One soft spot is whether the AUF definition actually produces a single projective generator for the whole category in every case, or whether the result only applies when such a G happens to exist. The stress-test note flags this, and the abstract's wording supports treating it as conditional rather than automatic. If the full proofs show that sufficiently many idempotents always yield the generator, that would close the gap; otherwise the scope is narrower than the title might suggest. The citation pattern looks standard and the definitions are introduced without obvious circularity. This is a technical note for people already working on traces, symmetric functionals, and module categories over non-unital algebras. Specialists in representation theory or noncommutative algebra will get the most out of it, while outsiders will find it narrow. It has enough formal grounding and a clear statement to deserve referee time rather than a desk reject, even if revisions are needed on the generator existence question.

Referee Report

2 major / 2 minor

Summary. The paper introduces almost unital and finite-dimensional (AUF) algebras: associative ℂ-algebras that may be non-unital or infinite-dimensional but possess sufficiently many idempotents. It generalizes the Hattori–Stallings pseudotrace construction to this setting. For an AUF algebra A with a projective generator G in the category Coh_L(A) of finitely generated left A-modules that are quotients of free left modules, and with B = End_{A,-}(G)^opp, the pseudotrace yields an isomorphism SLF(A) ≃ SLF(B) together with equivalence of non-degeneracy on the two sides.

Significance. If the central result holds, the work extends classical pseudotrace theory to a wider class of algebras and supplies an isomorphism relating symmetric linear functionals on an algebra and on the endomorphism ring of a generator. This supplies a concrete link between SLF spaces under a generator-induced equivalence and preserves non-degeneracy, which may be useful for computations in noncommutative algebra and representation theory. The paper provides a direct generalization of the pseudotrace construction rather than a reduction to previously fitted quantities.

major comments (2)

The definition of AUF algebra (via 'sufficiently many idempotents' ensuring Coh_L(A) behaves well) does not include an explicit theorem or construction guaranteeing the existence of a single projective generator G for every such algebra. The main result is stated under the supposition that such a G exists; consequently the isomorphism SLF(A) ≃ SLF(B) is proven only conditionally rather than for the full class of AUF algebras.
The proof that the pseudotrace map is bijective and that non-degeneracy is equivalent relies on the properties of Coh_L(A) and the generator G. A more detailed verification is needed showing precisely where the idempotent condition is used to establish that the map is well-defined, injective, and surjective (e.g., in the relevant section containing the isomorphism statement).

minor comments (2)

Clarify whether Coh_L(A) coincides with the usual category of finitely generated left modules or is strictly smaller; the distinction affects the scope of the generator assumption.
Add explicit references to the original Hattori and Stallings papers on pseudotraces for unital finite-dimensional algebras.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, agreeing with the observations where they correctly identify limitations in the current presentation and outlining the revisions we will make.

read point-by-point responses

Referee: The definition of AUF algebra (via 'sufficiently many idempotents' ensuring Coh_L(A) behaves well) does not include an explicit theorem or construction guaranteeing the existence of a single projective generator G for every such algebra. The main result is stated under the supposition that such a G exists; consequently the isomorphism SLF(A) ≃ SLF(B) is proven only conditionally rather than for the full class of AUF algebras.

Authors: We agree that the main result is stated conditionally on the existence of a projective generator G in Coh_L(A). The AUF condition, via the presence of sufficiently many idempotents, ensures that Coh_L(A) is an abelian category with enough projectives and that the pseudotrace is well-defined, but it does not by itself guarantee a single generator for arbitrary AUF algebras. Such a generator exists in standard cases (e.g., when A is unital and finite-dimensional, or when A is Morita equivalent to a unital algebra), but may fail in more exotic non-unital or infinite-dimensional examples. We will add a new remark after the definition of AUF algebras and before the statement of the main theorem clarifying this conditional scope, together with sufficient conditions (such as the existence of a finite set of orthogonal idempotents whose sum acts as a local unit on a generating set) under which a projective generator is guaranteed to exist. This makes the applicability of the isomorphism explicit without overstating the result. revision: yes
Referee: The proof that the pseudotrace map is bijective and that non-degeneracy is equivalent relies on the properties of Coh_L(A) and the generator G. A more detailed verification is needed showing precisely where the idempotent condition is used to establish that the map is well-defined, injective, and surjective (e.g., in the relevant section containing the isomorphism statement).

Authors: We accept that the current proof would benefit from greater explicitness regarding the role of the idempotent condition. In the proof of the isomorphism (Theorem 3.5), the AUF idempotent hypothesis is invoked to ensure that every module in Coh_L(A) admits a presentation by free modules on which local units exist, allowing the Hattori–Stallings pseudotrace to be defined independently of choices. We will revise the proof by inserting three short lemmas immediately preceding the main argument: (i) a lemma establishing well-definedness of the pseudotrace map by using the idempotents to show invariance under change of basis or presentation; (ii) a lemma proving injectivity by lifting symmetric functionals via the generator property of G and the resulting Morita equivalence; and (iii) a lemma for surjectivity that constructs the inverse map explicitly using the opposite endomorphism ring B. Each lemma will contain a sentence pinpointing the precise use of the idempotent condition. These additions will be placed in the section containing the isomorphism statement. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the pseudotrace generalization

full rationale

The paper defines AUF algebras via the property of having sufficiently many idempotents, allowing Coh_L(A) to behave appropriately, and generalizes the pseudotrace from Hattori-Stallings. The central result is the conditional statement that if a projective generator G exists in Coh_L(A), then the pseudotrace induces SLF(A) ≃ SLF(B) with equivalent non-degeneracies. This is an explicit supposition in the statement, yielding a direct algebraic proof rather than any reduction by construction, fitted input renamed as prediction, or load-bearing self-citation. The derivation is self-contained as a generalization under stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the newly introduced definition of AUF algebras and the existence of a projective generator G in the module category. No free parameters are fitted to data. Standard mathematical axioms of associative algebras and module categories are used.

axioms (1)

standard math Associativity of the algebra multiplication and the standard properties of finitely generated modules that are quotients of free modules.
Invoked implicitly when defining Coh_L(A) and the endomorphism algebra B.

invented entities (1)

AUF algebra no independent evidence
purpose: To generalize unital finite-dimensional algebras while retaining enough idempotents for pseudotrace to make sense.
Newly defined class; no independent evidence outside the paper is provided in the abstract.

pith-pipeline@v0.9.0 · 5700 in / 1365 out tokens · 20929 ms · 2026-05-19T01:49:49.963540+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/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

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

Let A be an AUF algebra. Suppose that G is a projective generator in the category Coh_L(A) ... B = End_{A,-}(G)^opp. We prove that the pseudotrace construction yields an isomorphism SLF(A) ≃ SLF(B)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

A is almost unital and finite-dimensional (AUF) if there is a family of mutually orthogonal idempotents (e_i) such that dim e_i A e_j < ∞ and A = ⊕ e_i A e_j

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.