Associated varieties of simple affine vertex algebras at rational levels

Peng Shan; Qixian Zhao; WenBin Yan

A conjecture describes the associated varieties of simple affine vertex algebras at any rational level above critical using a covering duality map.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-27 14:58 UTC pith:IAVMNC36

load-bearing objection The paper conjectures associated varieties for rational-level affine vertex algebras using the covering duality map, with evidence but no proof. the 1 major comments →

arxiv 2606.08990 v2 pith:IAVMNC36 submitted 2026-06-08 math.RT

Associated varieties of simple affine vertex algebras at rational levels

Peng Shan , Wenbin Yan , Qixian Zhao This is my paper

classification math.RT

keywords associated varietiesaffine vertex algebrasrational levelscovering duality mapsimply-laced Lie algebrassimple modulesnilpotent orbits

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper conjectures an explicit description of the associated varieties attached to simple affine vertex algebras L_k(g) when g is simply-laced and the level k is rational and greater than critical. The description extends the known integral-level case by applying the covering duality map of Gao-Liu-Lo-Shahidi to the rational setting. Evidence is supplied in support of the conjecture. A reader would care because the result would give a uniform picture of these varieties across both integral and rational levels.

Core claim

We present a conjecture for associated varieties of simple affine vertex algebras L_k(g) attached to a simple Lie algebra g of simply-laced type and any rational level k greater than the critical level. The key new ingredient compared to the integral case is the covering duality map introduced by Gao-Liu-Lo-Shahidi. We provide evidence for the conjecture.

What carries the argument

The covering duality map of Gao-Liu-Lo-Shahidi, which is used to extend the integral-level description of associated varieties to arbitrary rational levels.

Load-bearing premise

The covering duality map extends from the integral-level setting to arbitrary rational levels without additional obstructions.

What would settle it

An explicit computation of the associated variety for a concrete simply-laced g and a specific rational level k where the result fails to match the conjectured orbit determined by the covering duality map.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

Associated varieties of L_k(g) are determined by the image of the covering duality map applied to the level-k data.
The conjecture supplies a uniform formula that reduces to the known integral-level case when k is integral.
Evidence for the conjecture is obtained by direct verification in low-rank cases or at specific rational levels.

Where Pith is reading between the lines

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

If the conjecture holds, it would allow computation of associated varieties without first determining the full representation theory at rational levels.
The same covering duality mechanism might apply to non-simply-laced types once suitable extensions are found.
Verification of the conjecture for one additional family of rational levels would strengthen the case for its general validity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

The paper conjectures associated varieties for rational-level affine vertex algebras using the covering duality map, with evidence but no proof.

read the letter

The paper's main contribution is a conjecture for the associated varieties of simple affine vertex algebras at rational levels above the critical level, for simply-laced Lie algebras. It relies on extending the covering duality map from Gao-Liu-Lo-Shahidi.

This is new because previous work handled the integral case, and rational levels bring extra difficulties with the module category.

The paper states the conjecture cleanly and supplies evidence for it.

The soft spots are that it is a conjecture, not a theorem. The evidence strength is not clear from the abstract, and one needs to see if the map really applies without issues from the non-integral grading or loss of semisimplicity. The stress-test note flags a potential problem there, and if the paper does not check for extra nilpotents or changed support, that would be a gap worth noting. However, since the abstract says they provide evidence, perhaps they have done some checks.

This work is for experts in affine vertex algebra representation theory. A reader in that area gets value from the organizing conjecture and the suggested extension.

It engages honestly with the literature by citing the map and building on integral results. The citation pattern looks standard for the subfield.

I would recommend sending it to peer review, as the conjecture could guide further work if the evidence holds up. Even though it's not proven, in this area conjectures with evidence can be valuable for organizing the field.

Referee Report

1 major / 0 minor

Summary. The manuscript presents a conjecture for the associated varieties of the simple affine vertex algebras L_k(g) attached to simply-laced simple Lie algebras g at any rational level k greater than the critical level. The key new ingredient is the covering duality map of Gao-Liu-Lo-Shahidi, which is used to extend results from the integral-level case; supporting evidence is provided.

Significance. If the conjecture is correct, it would extend the description of associated varieties from the integral-level setting to rational levels, where the module category is non-semisimple. This could have implications for the representation theory of affine vertex algebras beyond the integral case.

major comments (1)

[Abstract (and the statement of the conjecture)] The conjecture rests on the assumption that the covering duality map of Gao-Liu-Lo-Shahidi extends directly to arbitrary rational levels without new obstructions arising from the non-semisimple module category or the rational central charge. The manuscript does not supply an explicit check or reduction showing that the annihilator in the enveloping algebra and the support of the variety remain unchanged under this extension; this assumption is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the central assumption in our conjecture. We respond to the major comment below and will incorporate clarifications in a revised version.

read point-by-point responses

Referee: [Abstract (and the statement of the conjecture)] The conjecture rests on the assumption that the covering duality map of Gao-Liu-Lo-Shahidi extends directly to arbitrary rational levels without new obstructions arising from the non-semisimple module category or the rational central charge. The manuscript does not supply an explicit check or reduction showing that the annihilator in the enveloping algebra and the support of the variety remain unchanged under this extension; this assumption is load-bearing for the central claim.

Authors: We agree that the conjecture depends on the covering duality map extending to rational levels without introducing new obstructions to the annihilator or variety support. The map is constructed in Gao-Liu-Lo-Shahidi without reference to integrality of the level, and the paper supplies supporting evidence through explicit computations at selected rational levels (including cases where the module category is known to be non-semisimple). A general reduction proving invariance of the annihilator and support under the extension would require additional results on the rational-level representation theory that lie beyond the scope of the present work. We will revise the abstract and the statement of the conjecture to state this assumption explicitly and to clarify that the conjecture is conditional on the map behaving as expected. revision: partial

Circularity Check

0 steps flagged

No circularity: conjecture relies on external cited map with independent evidence

full rationale

The paper states a conjecture for AV(L_k(g)) at rational levels k > k_crit, identifying the covering duality map of Gao-Liu-Lo-Shahidi as the key new external ingredient relative to the integral case. No derivation, prediction, or uniqueness claim reduces by construction to a fitted parameter, self-defined quantity, or self-citation chain inside the paper. The cited map originates from non-overlapping authors and is treated as an independent input; the paper supplies separate evidence rather than deriving the result from its own definitions. This matches the default expectation of a self-contained conjecture without load-bearing internal reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; full text unavailable so ledger entries are inferred at the level of standard domain assumptions rather than explicit statements.

axioms (1)

domain assumption Properties of affine vertex algebras and their associated varieties at rational levels are governed by the covering duality map of Gao-Liu-Lo-Shahidi.
Invoked as the key new ingredient that allows the conjecture to be stated.

pith-pipeline@v0.9.1-grok · 5578 in / 1137 out tokens · 17937 ms · 2026-06-27T14:58:52.103011+00:00 · methodology

0 comments

read the original abstract

We present a conjecture for associated varieties of simple affine vertex algebras $L_k(\mathfrak{g})$ attached to a simple Lie algebra $\mathfrak{g}$ of simply-laced type and any rational level $k$ greater than the critical level. The key new ingredient compared to the integral case is the covering duality map introduced by Gao-Liu-Lo-Shahidi. We provide evidence for the conjecture.

Associated varieties of simple affine vertex algebras at rational levels

Core claim

What carries the argument

Load-bearing premise

What would settle it

If this is right

Where Pith is reading between the lines

discussion (0)