Representability of the automorphism group of finitely generated vertex algebras

Arturo Pianzola; Robin Mader; Terry Gannon

arxiv: 2605.15605 · v1 · pith:MWXKUGYDnew · submitted 2026-05-15 · 🧮 math.QA · math.AG· math.RA

Representability of the automorphism group of finitely generated vertex algebras

Terry Gannon , Robin Mader , Arturo Pianzola This is my paper

Pith reviewed 2026-05-19 18:33 UTC · model grok-4.3

classification 🧮 math.QA math.AGmath.RA

keywords vertex algebrasautomorphism groupsaffine group schemesnoetherian ringsfree algebrasrepresentabilitycomposition laws

0 comments

The pith

The automorphism group of finitely generated vertex algebras over noetherian rings is an affine group scheme.

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

The paper proves that the automorphism groups of finitely generated vertex algebras over noetherian rings are affine group schemes. This follows from a broader analysis of automorphism groups for free algebras that carry multiple composition laws, which may be infinite in number. A sympathetic reader would care because the result equips these symmetry groups with the structure of an algebraic scheme, so that standard tools of algebraic geometry become available for studying deformations, base changes, and families of such automorphisms.

Core claim

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are affine group schemes.

What carries the argument

The automorphism group attached to a free algebra with multiple composition laws, which supplies the general mechanism used to prove affine representability in the vertex-algebra case.

Load-bearing premise

The vertex algebra is finitely generated and the base ring is noetherian.

What would settle it

An explicit finitely generated vertex algebra over a noetherian ring whose automorphism group fails to be represented by any affine scheme would disprove the claim.

read the original abstract

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 shows that automorphism groups of finitely generated vertex algebras over noetherian rings are affine group schemes by first proving a general representability result for free algebras with arbitrary collections of composition laws.

read the letter

The central result is that the automorphism group of a finitely generated vertex algebra over a noetherian ring is an affine group scheme. The authors reach this by first establishing a general theorem: the automorphism functor of a free algebra equipped with any collection of composition operations (possibly infinite) is representable by an affine scheme carrying a Hopf algebra structure. They then verify that a finitely generated vertex algebra fits inside this framework, with the n-products serving as the composition laws. Finite generation ensures homomorphisms are determined by their action on a finite set of generators, and the noetherian hypothesis on the base ring lets them construct the coordinate ring as a quotient without introducing non-representable pathologies. This reduction looks clean and avoids obvious circularity. The general setup is the genuinely new piece; the vertex-algebra application follows once the framework is in place. I see no load-bearing gaps in the outline. The infinite collection of operations is handled through the free-algebra construction, and the stress-test found no internal inconsistency under the stated hypotheses. A minor soft spot is that the necessity of the noetherian condition could use a short remark or counterexample to show where things break without it, but that is polishing rather than a flaw in the argument. The paper is aimed at people working in vertex algebras and quantum algebra who want geometric tools for symmetry questions. It is grounded enough and the claim is specific enough to deserve referee time rather than a desk rejection. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a general representability theorem for the automorphism group functor of a free algebra equipped with an arbitrary (possibly infinite) collection of composition laws. It then applies this framework to finitely generated vertex algebras over Noetherian rings, proving that their automorphism groups are affine group schemes carrying a natural Hopf algebra structure.

Significance. If the central claims hold, the work supplies a useful bridge between the theory of vertex algebras and algebraic geometry by showing that automorphism groups are representable by affine schemes. The general result on free algebras with multiple composition laws may extend to other algebraic structures with operations, and the finite-generation plus Noetherian hypotheses are used precisely to guarantee that homomorphisms are determined by values on a finite set and that the coordinate ring can be realized as a quotient without pathologies.

minor comments (2)

[§2] §2 (general representability theorem): the construction of the representing Hopf algebra from the quotient of the free algebra on the generators could be illustrated with a short explicit example for a finite collection of operations before passing to the infinite case.
[§4] §4 (application to vertex algebras): the verification that the n-products fit the composition-law framework would benefit from a brief remark on why the Noetherian hypothesis is essential and whether a counter-example exists over non-Noetherian rings.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The referee's summary and significance statement accurately reflect the main contributions: the general representability result for automorphism groups of free algebras with (possibly infinitely many) composition laws, and its application showing that automorphism groups of finitely generated vertex algebras over Noetherian rings are affine group schemes.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes a general representability result for automorphism groups of free algebras with arbitrary (possibly infinite) collections of composition laws, then verifies that finitely generated vertex algebras over noetherian rings fit this framework by treating n-products as the operations. Finite generation ensures homomorphisms are determined by values on a finite set, and the noetherian hypothesis permits the coordinate ring to be constructed as a quotient without pathologies. The resulting functor is represented by an affine scheme with Hopf structure. This proceeds via standard algebraic constructions without self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations that collapse the claim to its inputs. The argument remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review is based on abstract only; ledger therefore records only the standard background assumptions visible in the statement.

axioms (2)

standard math Standard definitions and basic properties of vertex algebras and affine group schemes from the existing literature
The application to vertex algebras presupposes the usual axioms of vertex algebra theory.
standard math Noetherian rings satisfy the ascending-chain condition on ideals
Invoked explicitly in the statement of the main theorem.

pith-pipeline@v0.9.0 · 5553 in / 1270 out tokens · 58907 ms · 2026-05-19T18:33:49.203583+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are affine group schemes.

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.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Bass, Big projective modules are free , Illinois J

H. Bass, Big projective modules are free , Illinois J. Math. 7 (1963), 24–31

work page 1963
[2]

R. E. Borcherds and A. J. E. Ryba, Modular Moonshine. II , Duke Math. J. 83 (1996), no. 2, 435–459

work page 1996
[3]

Bourbaki, Algebra I, Chapters 1-3 , Addison-Wesley Boston, MA, 1974

N. Bourbaki, Algebra I, Chapters 1-3 , Addison-Wesley Boston, MA, 1974

work page 1974
[4]

Carnahan, A self-dual integral form of the Moonshine module , SIGMA Symmetry Integrability Geom

S. Carnahan, A self-dual integral form of the Moonshine module , SIGMA Symmetry Integrability Geom. Methods Appl. 15 (2019), Paper No. 030, 36

work page 2019
[5]

Carnahan and H

S. Carnahan and H. Kobayashi, Automorphism group schemes of lattice vertex operator algebras, 2025, arXiv: 2502.06121

work page arXiv 2025
[6]

Demazure and P

M. Demazure and P. Gabriel, Groupes alg´ ebriques. Tome I: G´ eom´ etrie alg´ ebrique, g´ en´ eralit´ es, groupes commutatifs, Masson & Cie, ´Editeurs, Paris; North-Holland Pub- lishing Co., Amsterdam, 1970. 8

work page 1970
[7]

Dong and R

C. Dong and R. L. Griess, Jr., Automorphism groups and derivation algebras of ﬁnitely generated vertex operator algebras , Michigan Math. J. 50 (2002), no. 2, 227–239

work page 2002
[8]

Dong and L

C. Dong and L. Ren, Representations of vertex operator algebras over an arbitr ary ﬁeld , J. Algebra 403 (2014), 497–516

work page 2014
[9]

R. L. Griess, Jr. and C. H. Lam, Groups of Lie type, vertex algebras, and modular moonshine, Int. Math. Res. Not. IMRN (2015), no. 21, 10716–10755

work page 2015
[10]

X. Jiao, H. Li, and Q. Mu, Modular Virasoro vertex algebras and aﬃne vertex algebras , J. Algebra 519 (2019), 273–311

work page 2019
[11]

Kac, Vertex algebras for beginners , second ed., University Lecture Series, vol

V. Kac, Vertex algebras for beginners , second ed., University Lecture Series, vol. 10, American Mathematical Society, Providence, RI, 1998

work page 1998
[12]

Kaplansky, Projective modules, Ann

I. Kaplansky, Projective modules, Ann. of Math. (2) 68 (1958), 372–377

work page 1958
[13]

Lam, Serre’s conjecture, Lecture Notes in Mathematics 635, Springer-Verlag, 1978

T.J. Lam, Serre’s conjecture, Lecture Notes in Mathematics 635, Springer-Verlag, 1978

work page 1978
[14]

Mader, T

R. Mader, T. Gannon, and A. Pianzola, Descent theory for vertex algebras , C. R. Math. Acad. Sci. Soc. R. Can. 47 (2025), no. 4, 36–56

work page 2025
[15]

Mason, Vertex rings and their Pierce bundles , Vertex algebras and geometry, Con- temp

G. Mason, Vertex rings and their Pierce bundles , Vertex algebras and geometry, Con- temp. Math., vol. 711, Amer. Math. Soc., Providence, RI, 2018, pp . 45–104

work page 2018
[16]

McRae, On integral forms for vertex algebras associated with aﬃne L ie algebras and lattices, J

R. McRae, On integral forms for vertex algebras associated with aﬃne L ie algebras and lattices, J. Pure Appl. Algebra 219 (2015), no. 4, 1236–1257

work page 2015
[17]

Mathematisches Institut, Ludwig-Maximilians-Universit¨ at M¨ unchen, Theresienstr

Stacks project, https://stacks.math.columbia.edu. Mathematisches Institut, Ludwig-Maximilians-Universit¨ at M¨ unchen, Theresienstr. 39, 80333 M¨ unchen, Germany; and Department of Mathematical and Statistical Sciences, Univ ersity of Alberta, Edmonton, Alberta T6G 2G1, Canada, e-mail : rmader@ualberta.ca Department of Mathematical and Statistical Science...

work page

[1] [1]

Bass, Big projective modules are free , Illinois J

H. Bass, Big projective modules are free , Illinois J. Math. 7 (1963), 24–31

work page 1963

[2] [2]

R. E. Borcherds and A. J. E. Ryba, Modular Moonshine. II , Duke Math. J. 83 (1996), no. 2, 435–459

work page 1996

[3] [3]

Bourbaki, Algebra I, Chapters 1-3 , Addison-Wesley Boston, MA, 1974

N. Bourbaki, Algebra I, Chapters 1-3 , Addison-Wesley Boston, MA, 1974

work page 1974

[4] [4]

Carnahan, A self-dual integral form of the Moonshine module , SIGMA Symmetry Integrability Geom

S. Carnahan, A self-dual integral form of the Moonshine module , SIGMA Symmetry Integrability Geom. Methods Appl. 15 (2019), Paper No. 030, 36

work page 2019

[5] [5]

Carnahan and H

S. Carnahan and H. Kobayashi, Automorphism group schemes of lattice vertex operator algebras, 2025, arXiv: 2502.06121

work page arXiv 2025

[6] [6]

Demazure and P

M. Demazure and P. Gabriel, Groupes alg´ ebriques. Tome I: G´ eom´ etrie alg´ ebrique, g´ en´ eralit´ es, groupes commutatifs, Masson & Cie, ´Editeurs, Paris; North-Holland Pub- lishing Co., Amsterdam, 1970. 8

work page 1970

[7] [7]

Dong and R

C. Dong and R. L. Griess, Jr., Automorphism groups and derivation algebras of ﬁnitely generated vertex operator algebras , Michigan Math. J. 50 (2002), no. 2, 227–239

work page 2002

[8] [8]

Dong and L

C. Dong and L. Ren, Representations of vertex operator algebras over an arbitr ary ﬁeld , J. Algebra 403 (2014), 497–516

work page 2014

[9] [9]

R. L. Griess, Jr. and C. H. Lam, Groups of Lie type, vertex algebras, and modular moonshine, Int. Math. Res. Not. IMRN (2015), no. 21, 10716–10755

work page 2015

[10] [10]

X. Jiao, H. Li, and Q. Mu, Modular Virasoro vertex algebras and aﬃne vertex algebras , J. Algebra 519 (2019), 273–311

work page 2019

[11] [11]

Kac, Vertex algebras for beginners , second ed., University Lecture Series, vol

V. Kac, Vertex algebras for beginners , second ed., University Lecture Series, vol. 10, American Mathematical Society, Providence, RI, 1998

work page 1998

[12] [12]

Kaplansky, Projective modules, Ann

I. Kaplansky, Projective modules, Ann. of Math. (2) 68 (1958), 372–377

work page 1958

[13] [13]

Lam, Serre’s conjecture, Lecture Notes in Mathematics 635, Springer-Verlag, 1978

T.J. Lam, Serre’s conjecture, Lecture Notes in Mathematics 635, Springer-Verlag, 1978

work page 1978

[14] [14]

Mader, T

R. Mader, T. Gannon, and A. Pianzola, Descent theory for vertex algebras , C. R. Math. Acad. Sci. Soc. R. Can. 47 (2025), no. 4, 36–56

work page 2025

[15] [15]

Mason, Vertex rings and their Pierce bundles , Vertex algebras and geometry, Con- temp

G. Mason, Vertex rings and their Pierce bundles , Vertex algebras and geometry, Con- temp. Math., vol. 711, Amer. Math. Soc., Providence, RI, 2018, pp . 45–104

work page 2018

[16] [16]

McRae, On integral forms for vertex algebras associated with aﬃne L ie algebras and lattices, J

R. McRae, On integral forms for vertex algebras associated with aﬃne L ie algebras and lattices, J. Pure Appl. Algebra 219 (2015), no. 4, 1236–1257

work page 2015

[17] [17]

Mathematisches Institut, Ludwig-Maximilians-Universit¨ at M¨ unchen, Theresienstr

Stacks project, https://stacks.math.columbia.edu. Mathematisches Institut, Ludwig-Maximilians-Universit¨ at M¨ unchen, Theresienstr. 39, 80333 M¨ unchen, Germany; and Department of Mathematical and Statistical Sciences, Univ ersity of Alberta, Edmonton, Alberta T6G 2G1, Canada, e-mail : rmader@ualberta.ca Department of Mathematical and Statistical Science...

work page