3 papers
math.QA2026
Subregular affine cells and the level vertex algebra of type
Sihai Jin
We prove the simple-object prediction of Shan--Yan--Zhao and a basis-preserving dual-cell realization for the distinguished vacuum block of the simple affine vertex algebras $L_{-1…
math.QA2026
A Lean 4 Verification Report for Subregular Affine Cells and the Level Vertex Algebra of Type
Sihai Jin
We report a Lean 4 formal verification accompanying the paper "Subregular Affine Cells and the Level -1 Vertex Algebra of Type D" (arXiv:2608.11997). The formalization kernel-check…
math.QA2026
Completing the Arakawa--Moreau Conjecture on Maximal Ideals of Affine Vertex Algebras
Sihai Jin
Arakawa and Moreau constructed explicit singular vectors in a family of negative-level universal affine vertex algebras of types and and conjectured that the ideals generat…