Weak integral forms and the sixth Kaplansky conjecture

Dmitriy Rumynin

arxiv: 1907.02529 · v1 · pith:C7MR3OOVnew · submitted 2019-07-04 · 🧮 math.QA · math.RA· math.RT

Weak integral forms and the sixth Kaplansky conjecture

Dmitriy Rumynin This is my paper

Pith reviewed 2026-05-25 09:15 UTC · model grok-4.3

classification 🧮 math.QA math.RAmath.RT

keywords Hopf algebrasemisimpleweak integral formFrobenius typeKaplansky conjectureintegral forms

0 comments

The pith

Finite-dimensional semisimple Hopf algebras that admit a weak integral form must be of Frobenius type.

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

The paper states and proves a folklore result: a finite-dimensional semisimple Hopf algebra over a field admits a weak integral form only if it is of Frobenius type. The proof adapts an argument from Fossum that predates the Kaplansky conjectures and relies on standard properties of integrals in Hopf algebras. A sympathetic reader would care because the result supplies a concrete sufficient condition for the Frobenius-type property, which bears directly on the sixth Kaplansky conjecture about the structure of these algebras. The note is released publicly because later papers cite the result.

Core claim

If a finite dimensional semisimple Hopf algebra admits a weak integral form then it is of Frobenius type. The argument follows the same lines as Fossum's earlier work and applies the definitions of semisimple Hopf algebras and weak integral forms in the category of algebras over a field.

What carries the argument

The weak integral form, which supplies a lattice-like structure that lets integral arguments establish the Frobenius-type property for the Hopf algebra.

If this is right

The Hopf algebra satisfies the dimension conditions that define Frobenius type.
The implication holds whenever the algebra is finite-dimensional and semisimple over a field.
The same style of argument applies to related structural questions on Hopf algebras that predate the Kaplansky conjectures.

Where Pith is reading between the lines

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

The result isolates the existence of a weak integral form as a sufficient condition, leaving open whether every finite-dimensional semisimple Hopf algebra automatically possesses one.
Examples of semisimple Hopf algebras without weak integral forms could be checked separately to test the full sixth Kaplansky conjecture.
The approach may extend to other conjectures on finite-dimensional Hopf algebras by replacing the weak integral form with a different lattice or form.

Load-bearing premise

The standard definitions and properties of finite-dimensional semisimple Hopf algebras and weak integral forms hold in the category of algebras over a field.

What would settle it

A finite-dimensional semisimple Hopf algebra that admits a weak integral form yet fails to be of Frobenius type.

read the original abstract

It is a short unpublished note from 1998. I make it public because Cuadra and Meir refer to it in their paper. We precisely state and prove a folklore result that if a finite dimensional semisimple Hopf algebra admits a weak integral form then it is of Frobenius type. We use an argument similar to that of Fossum \cite{fos}, which predates the Kaplansky conjectures.

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 is a 1998 note releasing a folklore implication for semisimple Hopf algebras rather than new work.

read the letter

The paper is a short note from 1998 that states and proves one implication: a finite-dimensional semisimple Hopf algebra admitting a weak integral form must be of Frobenius type. The argument follows the pattern in Fossum's earlier work on similar properties. The author releases it only because it was cited in a later paper by Cuadra and Meir. Nothing in the note claims originality or adds extensions, computations, or new examples. The statement is precise and the short proof is supplied directly in the text, so the central claim can be checked against the definitions of semisimplicity, weak integral forms, and Frobenius type. That is the main positive: it gives a clean, self-contained record of the folklore result. The obvious limitation is that the result is presented as already known for decades, so the paper contributes an archival reference more than a research advance. No new techniques or broader applications appear. This is useful only to readers already working inside the narrow area of Hopf algebra integral forms and the Kaplansky conjectures. A specialist might want the exact statement for citation, but the note does not change the state of knowledge. I would not bring it to a general reading group. I would not cite it in my own work. It does not need peer review; the content is too minor and retrospective for that process.

Referee Report

0 major / 2 minor

Summary. The manuscript is a short note from 1998 that precisely states and proves the folklore result that if a finite-dimensional semisimple Hopf algebra admits a weak integral form then it is of Frobenius type. The proof follows an argument patterned on Fossum (predating the Kaplansky conjectures), and the note is published because it is cited in Cuadra and Meir.

Significance. If the implication holds under the standard definitions, the note supplies a clear, self-contained reference for a standard fact relevant to the sixth Kaplansky conjecture. A positive aspect is the reliance on an existing argument from Fossum rather than new constructions or parameters; this avoids ad-hoc entities and directly addresses a cited gap in the literature.

minor comments (2)

The note is very brief; adding one or two sentences recalling the definitions of weak integral form and Frobenius type (even if standard) would improve readability without lengthening the manuscript substantially.
The citation to Fossum is given, but a parenthetical remark on which specific result or section of that reference is being adapted would help readers trace the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our short note and for recommending minor revision. The report accurately describes the manuscript as a 1998 note making a folklore result available as a self-contained reference, following Fossum's earlier argument. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript is a short note proving a folklore implication (finite-dimensional semisimple Hopf algebra with weak integral form is of Frobenius type) via a direct argument modeled on Fossum's external, pre-Kaplansky work. No equations, fitted parameters, self-definitional reductions, or load-bearing self-citations appear; the central claim follows from standard definitions and an independent prior reference. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records the minimal background assumptions stated or implied. No free parameters, invented entities, or ad-hoc axioms are mentioned.

axioms (1)

domain assumption Finite-dimensional semisimple Hopf algebras over a field satisfy the standard axioms of Hopf algebra theory.
The claim is stated inside this established framework.

pith-pipeline@v0.9.0 · 5585 in / 1068 out tokens · 23239 ms · 2026-05-25T09:15:28.697969+00:00 · methodology

Weak integral forms and the sixth Kaplansky conjecture

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)