pith. sign in

arxiv: 2508.21662 · v2 · submitted 2025-08-29 · 🧮 math.QA

Rank-two parabolic-type VOAs and nilpotency of nil ideals

Jianqi Liu This is my paper

Pith reviewed 2026-05-18 20:21 UTC · model grok-4.3

classification 🧮 math.QA
keywords vertex operator algebrasparabolic-type subVOAsZhu algebrasnil idealsnilpotencylattice VOAsC1-cofiniteirrational VOAs
0
0 comments X

The pith

Zhu algebras from parabolic-type subVOAs contain nil ideals that are not nilpotent

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

The paper examines parabolic-type sub-vertex operator algebras V_P inside rank-two lattice VOAs V_L. It classifies the types of these subVOAs according to the submonoids P that define them and determines the irreducible modules for each type. Certain associated Zhu algebras A(V_P) are shown to furnish new examples of rings that possess nil ideals without those ideals being nilpotent. The simple quotient V_H of any parabolic-type subVOA is established to be a C1-cofinite irrational VOA that satisfies the strongly unital property.

Core claim

By analyzing submonoids P of rank-two lattices L, the paper classifies all parabolic-type subVOAs V_P and their irreducible modules. It shows that specific Zhu algebras A(V_P) are rings having nil ideals which are not nilpotent. The simple quotient V_H of every parabolic-type subVOA V_P is a C1-cofinite irrational vertex operator algebra that satisfies the strongly unital property.

What carries the argument

Parabolic-type subVOA V_P constructed from submonoid P of a rank-two lattice L, which determines the structure of the Zhu algebra A(V_P) and the simple quotient V_H

If this is right

  • The classification supplies a complete list of types and irreducible modules for all rank-two parabolic-type subVOAs.
  • The Zhu algebras A(V_P) supply explicit new examples of rings with nil ideals that fail to be nilpotent.
  • Every simple quotient V_H is C1-cofinite and irrational while also satisfying the strongly unital property.

Where Pith is reading between the lines

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

  • The new examples of non-nilpotent nil ideals may illuminate the distinction between nil and nilpotent ideals in algebras constructed from vertex operator algebras.
  • Similar constructions on lattices of higher rank could produce additional families of such rings and VOAs.
  • The strongly unital property may simplify the description of module categories for these C1-cofinite irrational VOAs.

Load-bearing premise

All parabolic-type subVOAs arise from submonoids of rank-two lattices in the standard manner, and the classification of types and modules is exhaustive for this construction.

What would settle it

Discovery of an irreducible module for some parabolic-type subVOA V_P that lies outside the listed classification, or a Zhu algebra A(V_P) in which every nil ideal is nilpotent.

read the original abstract

In this paper, we undertake a systematic study of the parabolic-type sub-vertex operator algebras (subVOAs) \(V_P\) of rank-two lattice VOAs \(V_L\), originally introduced by the first-named author. We first classify all possible types of such subVOAs by analyzing the corresponding submonoids \(P \subseteq L\). For each type of \(V_P\), we then classify its irreducible modules. Certain Zhu algebras \(A(V_P)\) provide new examples of rings with nil ideals that are not nilpotent. Finally, we show that the simple quotient \(V_H\) of any parabolic-type subVOA \(V_P\) is a \(C_1\)-cofinite irrational VOA satisfying the strongly unital property recently introduced by Damiolini--Gibney--Krashen.

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 manuscript classifies all types of parabolic-type subVOAs V_P of rank-two lattice VOAs V_L by analyzing the corresponding submonoids P ⊆ L. For each type it classifies the irreducible modules. It shows that certain Zhu algebras A(V_P) provide new examples of rings with nil ideals that are not nilpotent. It proves that the simple quotient V_H of any such V_P is a C_1-cofinite irrational VOA satisfying the strongly unital property.

Significance. If the classifications and proofs hold, the work supplies explicit new examples of Zhu algebras exhibiting nil-but-not-nilpotent ideals and verifies C_1-cofiniteness together with the strongly unital property for a family of irrational VOAs. The rank-two classification is concrete and may serve as a template for higher-rank cases. The stress-test concern about constructions outside the submonoid framework does not land: the paper works strictly inside the parabolic-type subVOAs V_P defined via submonoids of rank-two lattices, as originally introduced by the first-named author.

major comments (2)
  1. [§3] §3 (Classification of types): The enumeration of admissible submonoids P appears exhaustive within the stated framework, but the argument that these are all submonoids satisfying the parabolic condition should include an explicit check that no additional generators or relations are possible beyond the cases listed in Theorem 3.4.
  2. [§5.2] §5.2 (Zhu algebra computations): The explicit nil ideal in A(V_P) for the type-(2,2) case is central to the nilpotency claim; the proof that the ideal is not nilpotent relies on a specific infinite ascending chain of elements, which should be verified by exhibiting the first two non-zero powers explicitly.
minor comments (2)
  1. [§2.1] §2.1: The notation distinguishing the lattice L from the submonoid P would benefit from a small diagram or concrete numerical example at the outset.
  2. [References] References: Add the original paper by the first-named author that introduced parabolic-type subVOAs to the bibliography for direct cross-reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and constructive suggestions. We address the two major comments below and will incorporate clarifications in a revised version to strengthen the exposition of the classification and the explicit verification of the nilpotency claim.

read point-by-point responses

  1. Referee: [§3] §3 (Classification of types): The enumeration of admissible submonoids P appears exhaustive within the stated framework, but the argument that these are all submonoids satisfying the parabolic condition should include an explicit check that no additional generators or relations are possible beyond the cases listed in Theorem 3.4.

    Authors: We agree that an explicit verification of exhaustiveness would improve clarity. In the revised manuscript we will expand the proof of Theorem 3.4 with a direct case analysis of possible minimal generators for a submonoid P of a rank-two lattice that satisfies the parabolic condition. We will show that any such P must coincide with one of the four types already listed, by enumerating the admissible linear relations among generators and confirming that no further generators or relations can arise while preserving the parabolic property. revision: yes

  2. Referee: [§5.2] §5.2 (Zhu algebra computations): The explicit nil ideal in A(V_P) for the type-(2,2) case is central to the nilpotency claim; the proof that the ideal is not nilpotent relies on a specific infinite ascending chain of elements, which should be verified by exhibiting the first two non-zero powers explicitly.

    Authors: We accept this suggestion. In the revised version of §5.2 we will explicitly compute and display the first two non-zero powers of the relevant generators in the ascending chain for the nil ideal of A(V_P) in the type-(2,2) case. These explicit calculations will confirm that the chain continues indefinitely, thereby verifying that the ideal is not nilpotent. revision: yes

Circularity Check

1 steps flagged

Minor self-citation to prior definition; independent classification and module analysis performed

specific steps
  1. self citation load bearing [Abstract]
    "originally introduced by the first-named author"

    The central objects V_P are defined via the author's prior construction, and the paper assumes this submonoid framework exhausts all parabolic-type subVOAs of V_L without an independent proof that no other constructions exist; however, the subsequent type/module classification and Zhu-algebra analysis remain independent of this assumption.

full rationale

The paper references the original construction of parabolic-type subVOAs V_P from submonoids P of rank-two lattices L as introduced by the first-named author, then conducts its own classification of types and irreducible modules. The claims regarding new nil-but-not-nilpotent ideals in Zhu algebras A(V_P) and the C1-cofiniteness, irrationality, and strong unitality of simple quotients V_H are derived from these explicit classifications and computations rather than reducing tautologically to the prior definition. No fitted parameters, self-referential predictions, or load-bearing uniqueness theorems from overlapping authors are used to force the results. The self-citation supports the starting framework but does not collapse the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Because only the abstract is available, the precise free parameters, axioms, and invented entities cannot be audited. The construction appears to rely on the pre-existing definition of parabolic-type subVOAs and the rank-two lattice setting, but no explicit free parameters or new entities are named in the summary.

pith-pipeline@v0.9.0 · 5659 in / 1324 out tokens · 33997 ms · 2026-05-18T20:21:33.419373+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.