Characterizing Moonshine Functions by Vertex-Operator-Algebraic Conditions

Scott Carnahan, Takahiro Komuro, Satoru Urano

Given a holomorphic $C_2$-cofinite vertex operator algebra $V$ with graded dimension $j-744$, Borcherds's proof of the monstrous moonshine conjecture implies any finite order autom…