Noncommutative affine pencils of conics

Haigang Hu; Izuru Mori; Koki Takeda; Wenchao Wu

arxiv: 2509.09393 · v1 · submitted 2025-09-11 · 🧮 math.RA · math.AG

Noncommutative affine pencils of conics

Haigang Hu , Izuru Mori , Koki Takeda , Wenchao Wu This is my paper

Pith reviewed 2026-05-18 17:54 UTC · model grok-4.3

classification 🧮 math.RA math.AG

keywords noncommutative conicsaffine pencilsFrobenius algebrasclassificationnoncommutative algebraalgebraic geometryring theory

0 comments

The pith

The classification of noncommutative affine pencils of conics coincides with that of 4-dimensional Frobenius algebras.

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

This paper defines noncommutative affine pencils of conics and gives their complete classification. It also produces a complete classification of all 4-dimensional Frobenius algebras. The two classifications are shown to be identical through an explicit correspondence. A reader cares because the result transfers classification techniques and invariants from one setting directly into the other.

Core claim

The paper establishes that the classification of noncommutative affine pencils of conics is the same as the classification of 4-dimensional Frobenius algebras.

What carries the argument

A bijective correspondence between noncommutative affine pencils of conics and 4-dimensional Frobenius algebras that enumerates both sets completely.

If this is right

Every noncommutative affine pencil of conics corresponds to a unique 4-dimensional Frobenius algebra.
Algebraic properties of Frobenius algebras immediately classify the corresponding pencils.
The explicit list of 4-dimensional Frobenius algebras supplies the complete list of these pencils.

Where Pith is reading between the lines

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

The same style of correspondence could be tested for higher-dimensional noncommutative varieties.
Methods for computing invariants of Frobenius algebras may now be applied to questions about noncommutative conics.
Classification problems in noncommutative ring theory and noncommutative geometry appear more directly linked than before.

Load-bearing premise

The definitions chosen for noncommutative affine pencils of conics and for 4-dimensional Frobenius algebras are compatible enough to produce a direct, exhaustive, and bijective correspondence.

What would settle it

Exhibiting one noncommutative affine pencil of conics that has no matching 4-dimensional Frobenius algebra, or one 4-dimensional Frobenius algebra that matches no such pencil.

read the original abstract

This paper is one of the series of papers which are dedicated to the complete classification of noncommutative conics. In this paper, we define and study noncommutative affine pencils of conics, and give a complete classification result. We also fully classify $4$-dimensional Frobenius algebras. It turns out that the classification of noncommutative affine pencils of conics is the same as the classification of $4$-dimensional Frobenius algebras.

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 equates its classification of noncommutative affine pencils of conics with the list of 4-dimensional Frobenius algebras via direct enumeration.

read the letter

The main point is that the authors define noncommutative affine pencils of conics and produce a complete list that turns out to be identical to their classification of 4-dimensional Frobenius algebras. This equivalence is the central result, presented as part of their ongoing series on noncommutative conics. They treat both sides as independent enumerations and then observe the match. The work stays within low-dimensional algebra, likely over an algebraically closed field, and focuses on explicit parametrization rather than abstract theorems. What stands out is the concrete output: two separate classifications that line up case by case. In ring theory, having an explicit roster of 4-dimensional Frobenius algebras with their multiplication tables or trace forms can be useful for checking properties like representations or deformations later. The definitions appear chosen to make the correspondence direct, which keeps the argument manageable. The soft spot is whether the chosen axioms for the pencils force any extra or missing objects that fall outside the standard Frobenius list. If the noncommutative conditions introduce degenerate cases not captured by the algebra side, the bijection could need extra verification. The paper presumably handles this through exhaustive case analysis, but the strength rests on how cleanly the two sets align without ad-hoc adjustments. This is aimed at specialists already working on noncommutative algebraic geometry or finite-dimensional algebras. A reader who needs the explicit list of 4-dimensional Frobenius algebras or wants to see how pencils behave in this setting will find the enumeration helpful. The paper is coherent on its own terms and shows clear engagement with the objects it classifies. It deserves a serious referee because the claims are concrete enough to be checked directly and the link between the two families could matter inside the subfield.

Referee Report

2 major / 2 minor

Summary. The manuscript defines noncommutative affine pencils of conics, provides their complete classification, fully classifies all 4-dimensional Frobenius algebras, and concludes that the two classifications coincide exactly.

Significance. If the claimed equivalence holds with a rigorous bijective correspondence, the result would be significant by unifying the classification of noncommutative affine pencils of conics with that of 4-dimensional Frobenius algebras. This connection could allow techniques from one area to inform the other in noncommutative algebra and potentially yield new structural insights into low-dimensional Frobenius algebras.

major comments (2)

[Classification results and equivalence statement] The central claim that the classifications coincide depends on an explicit bijective correspondence between the defined objects. The manuscript must construct the map in both directions (pencil to Frobenius algebra and conversely) and prove it is one-to-one and onto, confirming that the chosen definitions introduce neither missing cases nor duplicates.
[Section on 4-dimensional Frobenius algebras] The enumeration of 4-dimensional Frobenius algebras must be shown to be exhaustive under the standard multiplication and trace form, with each isomorphism class corresponding uniquely to a noncommutative affine pencil without degenerate or extra cases arising from the noncommutative conic axioms.

minor comments (2)

The abstract states that the paper belongs to a series on noncommutative conics; explicit citations to prior papers in the series would improve context and continuity.
Notation for the noncommutative structures and the Frobenius trace form should be introduced uniformly before the classification theorems to facilitate direct comparison.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and valuable suggestions. We address each major comment below and will incorporate the requested clarifications and proofs into a revised manuscript to strengthen the rigor of the equivalence claim.

read point-by-point responses

Referee: [Classification results and equivalence statement] The central claim that the classifications coincide depends on an explicit bijective correspondence between the defined objects. The manuscript must construct the map in both directions (pencil to Frobenius algebra and conversely) and prove it is one-to-one and onto, confirming that the chosen definitions introduce neither missing cases nor duplicates.

Authors: We agree that an explicit bijective correspondence is required to rigorously establish the claimed equivalence. While the manuscript enumerates both classifications and observes that they match, the maps were not constructed in detail. In the revision, we will add an explicit subsection defining the forward map (associating to each noncommutative affine pencil a 4-dimensional Frobenius algebra via the multiplication table and trace form extracted from the pencil's quadratic and linear terms) and the inverse map (recovering the pencil equations from the algebra's structure constants using the trace form). We will prove these maps are mutual inverses, hence bijective, and verify that the noncommutative conic axioms prevent both missing cases and duplicates. revision: yes
Referee: [Section on 4-dimensional Frobenius algebras] The enumeration of 4-dimensional Frobenius algebras must be shown to be exhaustive under the standard multiplication and trace form, with each isomorphism class corresponding uniquely to a noncommutative affine pencil without degenerate or extra cases arising from the noncommutative conic axioms.

Authors: We will revise the section on 4-dimensional Frobenius algebras to include a complete proof of exhaustiveness. We will start from the general definition of a 4-dimensional algebra equipped with a nondegenerate associative trace form and systematically enumerate all possible structure constants up to isomorphism. Each resulting isomorphism class will be shown to arise uniquely from a noncommutative affine pencil via the correspondence map, with the axioms of the pencils ensuring that no degenerate cases or extraneous algebras are included. revision: yes

Circularity Check

0 steps flagged

Independent classifications yield observed equivalence

full rationale

The paper first defines noncommutative affine pencils of conics and derives their complete classification via explicit case analysis on the underlying noncommutative structures. It then separately enumerates all 4-dimensional Frobenius algebras using their standard multiplication and trace form. The final statement that the two classifications coincide is presented as the outcome of comparing these two independently obtained lists rather than any definitional reduction, fitted parameter, or self-citation chain. No equations or steps in the provided abstract or structure reduce one object to the other by construction, and the equivalence remains a verifiable correspondence between two distinct algebraic categories.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the full set of background assumptions cannot be audited. No free parameters, ad-hoc axioms, or new postulated entities are mentioned in the abstract.

axioms (1)

standard math Standard axioms of associative algebras and noncommutative projective geometry
The work relies on established frameworks for defining conics and algebras in the noncommutative setting.

pith-pipeline@v0.9.0 · 5597 in / 1228 out tokens · 47029 ms · 2026-05-18T17:54:26.745186+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Artin, W

M. Artin, W. Schelter, Graded algebras of global dimension 3,Adv. Math.,66(1987), 171–216

work page 1987
[2]

Artin, J

M. Artin, J. J. Zhang, Noncommutative projective schemes,Adv. Math.,109(1994), 228–287

work page 1994
[3]

Bell and J

J. Bell and J. J. Zhang, An isomorphism lemma for graded rings,Proc. Amer. Math. Soc.,145(2017), no. 3, 989–994

work page 2017
[4]

Xi and J

C. Xi and J. Zhang, Self-injective algebras under derived equivalences,J. Pure Appl. Algebra,229:1 (2025), no. 107795

work page 2025
[5]

E. L. Green, Frobenius algebras and their quivers,Can. J. Math.,30:5 (1978), 1029–1044

work page 1978
[6]

He and Y

J.-W. He and Y. Ye, Clifford deformations of Koszul Frobenius algebras and noncommutative quadrics,Algebra Colloq.,31:1 (2024), 63–82

work page 2024
[7]

Hu, Classification of noncommutative conics associated to symmetric regular superpotentials,J

H. Hu, Classification of noncommutative conics associated to symmetric regular superpotentials,J. Algebra Appl., 22(2023), no. 06, 2350136. 16 HAIGANG HU, IZURU MORI, KOKI TAKEDA, WENCHAO WU

work page 2023
[8]

H. Hu, M. Matsuno and I. Mori, Noncommutative conics in Calabi-Yau quantum projective planes,J. Algebra, 620(2023), 194–224

work page 2023
[9]

Hu and I

H. Hu and I. Mori, Clifford quadratic complete intersections,Math. Z.,308(2024), no. 30

work page 2024
[10]

H. Hu, I. Mori and W. Wu, Classification of noncommutative conics, in preparation

work page
[11]

Matsumura,Commutative Ring Theory, Camb

H. Matsumura,Commutative Ring Theory, Camb. Stud. Adv. Math.,8, Cambridge University Press, 1986

work page 1986
[12]

Mori and K

I. Mori and K. Ueyama, Graded Morita equivalences for geometric AS-regular algebras,Glasg. Math. J.,55 (2) (2013), 241–257

work page 2013
[13]

Mori and K

I. Mori and K. Ueyama, Noncommutative Kn¨ orrer’s periodicity theorem and noncommutative quadric hypersur- faces,Algebra&Number Theory,16(2022), no. 2, 467–504

work page 2022
[14]

Rickard, Morita theory for derived categories,J

J. Rickard, Morita theory for derived categories,J. Lond. Math. Soc.,(2) 39 (1989), 436–456

work page 1989
[15]

Shelton and C

B. Shelton and C. Tingey, On Koszul algebras and a new construction of Artin-Schelter regular algebras,J. Algebra,241:2 (2001), 789–798

work page 2001
[16]

S. P. Smith, Some finite dimensional algebras related to elliptic curves: in Representation theory of algebras and related topics, CMS Conference Proceedings, 19 (1996), 315–348

work page 1996
[17]

S. P. Smith and M. Van den Bergh, Noncommutative quadric surfaces,J. Noncommut. Geom.,7(2013), 817–856

work page 2013
[18]

Skowronski and K

A. Skowronski and K. Yamagata,Frobenius Algebras I, EMS Textbooks in Mathematics, European Mathematical Society, 2012

work page 2012
[19]

Sturmfels,Argorithms in Invariant Theory, Texts & Monogr

B. Sturmfels,Argorithms in Invariant Theory, Texts & Monogr. Symb. Comput., Springer, 1993. 1 School of Mathematical Sciences, University of Science and Technology of China, Hefei Anhui 230026, CHINA Email address:huhaigang@ustc.edu.cn(H. Hu) 2 Department of Mathematics, F aculty of Science, Shizuoka University, Shizuoka 422-8529, JAPAN Email address:mori...

work page 1993

[1] [1]

Artin, W

M. Artin, W. Schelter, Graded algebras of global dimension 3,Adv. Math.,66(1987), 171–216

work page 1987

[2] [2]

Artin, J

M. Artin, J. J. Zhang, Noncommutative projective schemes,Adv. Math.,109(1994), 228–287

work page 1994

[3] [3]

Bell and J

J. Bell and J. J. Zhang, An isomorphism lemma for graded rings,Proc. Amer. Math. Soc.,145(2017), no. 3, 989–994

work page 2017

[4] [4]

Xi and J

C. Xi and J. Zhang, Self-injective algebras under derived equivalences,J. Pure Appl. Algebra,229:1 (2025), no. 107795

work page 2025

[5] [5]

E. L. Green, Frobenius algebras and their quivers,Can. J. Math.,30:5 (1978), 1029–1044

work page 1978

[6] [6]

He and Y

J.-W. He and Y. Ye, Clifford deformations of Koszul Frobenius algebras and noncommutative quadrics,Algebra Colloq.,31:1 (2024), 63–82

work page 2024

[7] [7]

Hu, Classification of noncommutative conics associated to symmetric regular superpotentials,J

H. Hu, Classification of noncommutative conics associated to symmetric regular superpotentials,J. Algebra Appl., 22(2023), no. 06, 2350136. 16 HAIGANG HU, IZURU MORI, KOKI TAKEDA, WENCHAO WU

work page 2023

[8] [8]

H. Hu, M. Matsuno and I. Mori, Noncommutative conics in Calabi-Yau quantum projective planes,J. Algebra, 620(2023), 194–224

work page 2023

[9] [9]

Hu and I

H. Hu and I. Mori, Clifford quadratic complete intersections,Math. Z.,308(2024), no. 30

work page 2024

[10] [10]

H. Hu, I. Mori and W. Wu, Classification of noncommutative conics, in preparation

work page

[11] [11]

Matsumura,Commutative Ring Theory, Camb

H. Matsumura,Commutative Ring Theory, Camb. Stud. Adv. Math.,8, Cambridge University Press, 1986

work page 1986

[12] [12]

Mori and K

I. Mori and K. Ueyama, Graded Morita equivalences for geometric AS-regular algebras,Glasg. Math. J.,55 (2) (2013), 241–257

work page 2013

[13] [13]

Mori and K

I. Mori and K. Ueyama, Noncommutative Kn¨ orrer’s periodicity theorem and noncommutative quadric hypersur- faces,Algebra&Number Theory,16(2022), no. 2, 467–504

work page 2022

[14] [14]

Rickard, Morita theory for derived categories,J

J. Rickard, Morita theory for derived categories,J. Lond. Math. Soc.,(2) 39 (1989), 436–456

work page 1989

[15] [15]

Shelton and C

B. Shelton and C. Tingey, On Koszul algebras and a new construction of Artin-Schelter regular algebras,J. Algebra,241:2 (2001), 789–798

work page 2001

[16] [16]

S. P. Smith, Some finite dimensional algebras related to elliptic curves: in Representation theory of algebras and related topics, CMS Conference Proceedings, 19 (1996), 315–348

work page 1996

[17] [17]

S. P. Smith and M. Van den Bergh, Noncommutative quadric surfaces,J. Noncommut. Geom.,7(2013), 817–856

work page 2013

[18] [18]

Skowronski and K

A. Skowronski and K. Yamagata,Frobenius Algebras I, EMS Textbooks in Mathematics, European Mathematical Society, 2012

work page 2012

[19] [19]

Sturmfels,Argorithms in Invariant Theory, Texts & Monogr

B. Sturmfels,Argorithms in Invariant Theory, Texts & Monogr. Symb. Comput., Springer, 1993. 1 School of Mathematical Sciences, University of Science and Technology of China, Hefei Anhui 230026, CHINA Email address:huhaigang@ustc.edu.cn(H. Hu) 2 Department of Mathematics, F aculty of Science, Shizuoka University, Shizuoka 422-8529, JAPAN Email address:mori...

work page 1993