Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1701.07846

Fricke Lie algebras and the genus zero property in Moonshine

Scott Carnahan
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a new, simpler proof that the canonical actions of finite groups on Fricke-type Monstrous Lie algebras yield genus zero functions in Generalized Monstrous Moonshine, using a Borcherds-Kac-Moody Lie algebra decomposition due to Jurisich. We describe a compatibility condition, arising from the no-ghost theorem in bosonic string theory, that yields the genus zero property. We give evidence for and against the conjecture that such a compatibility for symmetries of the Monster Lie algebra gives a characterization of the Monster group.

Explore related subjects

math.RTmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Scott Carnahan. 2017-07-10. Fricke Lie algebras and the genus zero property in Moonshine. https://doi.org/10.1088/1751-8121%2Faa781d

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Koszulity in the category $\mathcal{O}$ of the periplectic Lie Superalgebra $\mathfrak{pe}(2)$

The main result of this paper is to establish precisely which blocks in the Category $\mathcal{O}$ of the periplectic Lie superalgebra $\mathfrak{pe}(2)$ are Koszul. It is known that $\mathcal{O}(\mathfrak{pe}(2))$ has three blocks up to equivalence; one generic block and two integral blocks. The generic block is known to be Koszul, and the principle integral block is verifiably not Koszul. In this paper, we prove that the remaining of the three blocks of $\mathcal{O}(\mathfrak{pe}(2))$ is Koszul. This is done by explicitly computing the endomorphism algebra of projective modules in this block and then proving that it is Koszul inductively. Along the way, we compute all $\mathrm{Ext}$ groups between simples in this block. To compute the endomorphism algebra we are aided by a computer algebra tool developed in Mathematica, inspired by a post on Stack Exchange.

math.RT↗
arXiv2026

Sign components of diagonal superspace coinvariants

We prove the sign-isotypic components of the coinvariant rings $R_n^{(2,1)}$ and $R_n^{(2,0)} \otimes R_n^{(0,1)}$ are isomorphic and show that the triply-graded multiplicity of this sign character is the Schröder polynomial $S_n(q,t,a)$, divided by $1+a$. This settles the sign-character component of a conjecture of Zabrocki (2019) on a module for the Delta theorem and proves a conjecture of F. Bergeron (2020) on the multiplicity of the sign character of $R_n^{(2,1)}$. Finally, using a result of Hogancamp (2017), we enhance a recent result of Gorsky--Mellit (2026) which relates the Khovanov--Rozansky homology of the $(n,n+1)$-torus knot to $R_n^{(2,0)} \otimes R_n^{(0,1)}$, by showing that the associated Poincaré series for this knot can be computed from the sign component of $R_n^{(2,1)}$.

math.RT↗
arXiv2026

Reflexive modules and Auslander-type conditions

We study the category $\mathop{\mathrm{ref}}Λ$ of reflexive modules over a two-sided Noetherian ring $Λ$. We show that the category $\mathop{\mathrm{ref}}Λ$ is quasi-abelian if and only if $Λ$ satisfies certain Auslander-type condition on the minimal injective resolution of the ring itself. Furthermore, we establish a Morita theorem which characterizes the category of reflexive modules among quasi-abelian categories in terms of generator-cogenerators.

math.RT↗