pith. sign in

arxiv: 1907.05470 · v1 · pith:XBMJGEQOnew · submitted 2019-07-11 · 🧮 math.RA · math.AT· math.DG

Nearly Frobenius Algebras

Ana Gonz\'alez , Ernesto Lupercio , Carlos Segovia , Bernardo Uribe This is my paper

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

classification 🧮 math.RA math.ATmath.DG
keywords nearly Frobenius algebrasFrobenius algebrastrace-free algebrastopologyrepresentation theorynoncommutative geometry
0
0 comments X

The pith

Nearly Frobenius algebras generalize Frobenius algebras by dropping the trace map and arise naturally in topology.

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

The paper defines nearly Frobenius algebras as algebras equipped with a non-degenerate bilinear form but without a co-unit or trace. It presents basic structural results for these objects and maps out their occurrences across geometry, topology, and representation theory. A reader would care because the missing trace removes a restrictive duality condition that standard Frobenius algebras impose, potentially allowing algebraic models for a wider range of topological constructions. The survey positions the new class as a direct extension that preserves useful pairing properties while relaxing the counit requirement.

Core claim

Nearly Frobenius algebras are algebras over a field together with a non-degenerate associative bilinear pairing that lack a co-unit; the paper establishes their basic properties and records applications in geometry, topology, and representation theory.

What carries the argument

Nearly Frobenius algebra: an associative algebra with a non-degenerate bilinear form that satisfies the Frobenius compatibility condition but carries no trace or co-unit map.

Load-bearing premise

The structures appear naturally in topology and therefore merit systematic study in algebra and geometry.

What would settle it

An exhaustive check of low-dimensional topological invariants showing that every algebra arising from a manifold or knot actually admits a trace would falsify the claim that the trace-free version is required.

Figures

Figures reproduced from arXiv: 1907.05470 by Ana Gonz\'alez, Bernardo Uribe, Carlos Segovia, Ernesto Lupercio.

Figure 2
Figure 2. Figure 2: The Frobenius algebra structure Notice that for a closed ￾ (so that @⌃ = ;) the linear mapping ⌃ : C ! C is simply a number, known as the partition function of the theory at ⌃. 3 [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The multiplication µ: A ⊗ A → A and the trace map θ : A → k for A = Z(1). c b x µ x1 2 Id a µ [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: (ab)c 4 [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: a(bc) = = = = [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Each one of these cobordisms in Cob2 implies an algebraic property of A. From top to bottom: a(bc) = (ab)c, ab = ba, 1a = a and finally, the non-degeneracy of θ It is a famous theorem that this construction defines an isomorphism of categories: F : TQFT2 → Frob, (1) form the category of TQFT2 to the category of Frobenius algebras (e.g. [11]). So far, the algebras A thus obtained could be non-commutative; f… view at source ↗
Figure 7
Figure 7. Figure 7: The elementary cobordisms (2, 0, 1), (0, 0, 1), (1, 0, 1), (1, 0, 0) and (1, 0, 2). They correspond under the functor Z to the maps µ = Z(2, 0, 1), u = Z(0, 0, 1), IdA = Z(1, 0, 1), and their duals, θ = Z(1, 0, 0) and ∆ = Z(1, 0, 2). Notice that the multiplicative unit element 1 ∈ A can be thought of as a map u : k → A written as u(λ) = λ · 1 ∈ A, and therefore as u = Z(0, 0, 1). The topological interpreta… view at source ↗
Figure 8
Figure 8. Figure 8: Co-associativity for A: (∆ ⊗ 1) (∆(x)) = (1 ⊗ ∆) ∆(x)  . From the discussion above, we have managed to associate an operator Z(n, g, m) to every decomposition of Σ = (n, g, m) into elementary cobordisms, but we do not know that this operator does not depend on the decomposition; in fact, it doesn’t. The proof of this independence can be divided into two steps: the first step being an alge￾braic lemma, an… view at source ↗
Figure 9
Figure 9. Figure 9: a ⊗ b 7−→ ∆(a)b a b x μ Δ x1 2 [PITH_FULL_IMAGE:figures/full_fig_p008_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: a ⊗ b 7−→ ∆(ab) What these pictures (equivalently, the above commutative diagrams) tell us is that we can “slide” the critical point x1 past x2 exchanging their positions. In any case, by capping off with a unit a input boundary and with a co-unit an output boundary component, we can readily imply the non-degeneracy of the trace. Conversely if we have a non-degenerate trace, as a consequence we have that … view at source ↗
Figure 11
Figure 11. Figure 11: To every Morse function f with distinct critical points we associate a decom￾position of the surface Σ. As we vary f in M, the pants-decomposition changes: this happens as any two consecutive critical points xi , xi+1, f(xi) < f(xi+1), cross a wall (such wall defined by the condition that f takes the same value on both points f(xi) = f(xi+1)), and then, as f changes, they exchange places xi ↔ xi+1, f(xi+1… view at source ↗
Figure 12
Figure 12. Figure 12: Two critical points x4 and x5 cross as we move f in M(Z), taking fa into its final canonical form fb. The algebraic change between the decomposition (a) and (b) is calculated by Lemma 2.1. As we have seen, given a TQFT, defining a Frobenius algebra structure on the vec￾tor space A associated to the connected boundary circle is very straighforward. Con￾versely, to associate a TQFT to a Frobenius algebra in… view at source ↗
read the original abstract

In this introductory paper we study nearly Frobenius algebras which are generalizations of the concept of a Frobenius algebra which appear naturally in topology: nearly Frobenius algebras have no traces (co-units). We survey the most basic foundational results and some of the applications they encounter in geometry, topology and representation theory.

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.

Referee Report

2 major / 2 minor

Summary. The paper introduces nearly Frobenius algebras as a generalization of Frobenius algebras obtained by omitting the co-unit (trace), surveys basic foundational results on their structure and properties, and discusses applications in geometry, topology, and representation theory, with the central assertion that such algebras arise naturally in topological contexts.

Significance. If the natural occurrence in topology can be substantiated with explicit constructions, the framework could offer a useful algebraic lens for topological invariants and TQFT-like structures without requiring a trace; however, the manuscript's survey format leaves the significance dependent on whether the definitions capture genuine examples rather than purely formal extensions.

major comments (2)
  1. [Abstract/Introduction] The manuscript asserts that nearly Frobenius algebras 'appear naturally in topology' (abstract and introduction) but provides no concrete construction: no chain complex, manifold, or TQFT is used to produce an algebra whose multiplication and unit satisfy the nearly-Frobenius axioms while the co-unit is provably absent. This renders the motivation for studying them in geometry and topology unsupported.
  2. [Introduction] Without at least one explicit example verifying that the axioms hold in a topological setting and that the absence of the co-unit is forced by the context (rather than imposed by definition), the claim that the structures merit foundational study in topology remains an untested premise.
minor comments (2)
  1. Notation for the multiplication, unit, and any attempted co-unit maps should be introduced with explicit diagrams or equations early in the text to aid readability.
  2. The survey of applications would benefit from a table or list cross-referencing each claimed application to the specific algebraic property used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful comments on our manuscript. The points raised highlight the need for stronger motivation through explicit examples, which we will address in the revision.

read point-by-point responses

  1. Referee: [Abstract/Introduction] The manuscript asserts that nearly Frobenius algebras 'appear naturally in topology' (abstract and introduction) but provides no concrete construction: no chain complex, manifold, or TQFT is used to produce an algebra whose multiplication and unit satisfy the nearly-Frobenius axioms while the co-unit is provably absent. This renders the motivation for studying them in geometry and topology unsupported.

    Authors: The manuscript is an introductory survey paper, and while it discusses applications in topology, we agree that it lacks a specific, self-contained construction demonstrating the axioms in a topological context. We will revise the introduction and add an explicit example from, for instance, the cohomology of a manifold or a chain complex where the trace is not naturally present. revision: yes

  2. Referee: [Introduction] Without at least one explicit example verifying that the axioms hold in a topological setting and that the absence of the co-unit is forced by the context (rather than imposed by definition), the claim that the structures merit foundational study in topology remains an untested premise.

    Authors: We concur that an explicit example is necessary to substantiate the claim. In the revised version, we will provide at least one such example to show that the nearly Frobenius structure arises naturally without a co-unit. revision: yes

Circularity Check

0 steps flagged

No circularity: introductory survey with no derivation chain or self-referential constructions

full rationale

The paper is explicitly an introductory survey of basic foundational results for nearly Frobenius algebras (defined as Frobenius algebras without co-units) and their applications. No equations, predictions, fitted parameters, or load-bearing derivations are exhibited in the provided text. The motivation that such algebras 'appear naturally in topology' is stated as premise without any claimed first-principles derivation or reduction that could be checked for equivalence to inputs. No self-citations are invoked to justify uniqueness or ansatzes. This is the standard case of a non-circular survey paper whose central content remains independent of any internal fitting or renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities beyond the definitional introduction of nearly Frobenius algebras as a new named object.

axioms (1)
  • standard math Standard properties of Frobenius algebras from prior literature
    The generalization is defined relative to the existing concept of Frobenius algebras.
invented entities (1)
  • nearly Frobenius algebra no independent evidence
    purpose: Algebraic structure generalizing Frobenius algebras by omitting the trace/co-unit
    Introduced in the abstract as the central object of study appearing in topology

pith-pipeline@v0.9.0 · 5570 in / 1050 out tokens · 22670 ms · 2026-05-24T22:20:29.627464+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 1 internal anchor

  1. [1]

    Two-dimensional topological quantum field theories and Frobenius alge- bras

    Lowell Abrams. Two-dimensional topological quantum field theories and Frobenius alge- bras. J. Knot Theory Ramifications, 5(5): 569-587, 1996

    work page 1996

  2. [2]

    Artenstein, A

    D. Artenstein, A. González, and M. Lanzilotta. Constructing Nearly Frobenius Alge- bras, Algebras and Representation Theory (2015) Volume 18, 339-367

    work page 2015

  3. [3]

    Elements of the Representa- tion Theory of Associative Algebra 1 Techniques of Representation Theory Volume 1, Cam- bridge University Press, 2006

    Ibrahim Assem, Daniel Simson and Andrzej Skowro `nski. Elements of the Representa- tion Theory of Associative Algebra 1 Techniques of Representation Theory Volume 1, Cam- bridge University Press, 2006. 25

    work page 2006

  4. [4]

    Topological quantum field theories

    Michael Atiyah. Topological quantum field theories . Inst. Hautes Études Sci. Publ. Math., (68): 175-186 (1989), 1988

    work page 1989

  5. [5]

    Brauer and C

    R. Brauer and C. Nesbitt. On the regular representations of algebras. Proc. Nat. Acad. Sci. USA, 23: 236-240, 1937

    work page 1937

  6. [6]

    J. Cerf. La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie. Inst. Hautes Études Sci. Publ. Math., 39:5-173, 1970

    work page 1970

  7. [7]

    Chas and D

    M. Chas and D. Sullivan. String Topology. arXiv:math.GT/9911159

    work page arXiv

  8. [8]

    Cohen and Véronique Godin, A polarized view of string topology

    Ralph L. Cohen and Véronique Godin, A polarized view of string topology. Topology, geometry and quantum field theory. Proceedings of the 2002 Oxford symposium in honour of the 60th birthday of Graeme Segal. London Math. Soc. Lecture Note Ser., vol. 308, Cambridge Univ. Press, Cambridge, 2004, pp. 127-154

    work page 2002

  9. [9]

    R. L. Cohen and J. D. S. Jones. A homotopy theoretic realization of string topology. Math. Ann. 324(4):773-798, 2002

    work page 2002

  10. [10]

    Klein and Dennis Sullivan

    Ralph L.Cohen, John R. Klein and Dennis Sullivan. The homotopy invariance of the string topology loop product and string bracket. Journal of Topology, 1(2):391-408, 2008

    work page 2008

  11. [11]

    D-branes and K-theory in 2D topological field theory

    Gregory Moore and Graeme Segal. D-branes and K-theory in 2D topological field theory. http://arxiv.org/abs/hep-th/0609042

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Nakayama

    T. Nakayama. On Frobeniusean algebras I. Ann. of Math, 40:611-633, 1939

    work page 1939

  13. [13]

    Nakayama

    T. Nakayama. On Frobeniusean algebras II. Ann. of Math, 41:1-21, 1941. 26

    work page 1941