The characterization of Eisenstein-type orthogonal modular forms

Following the notation above, let a=k+j3a=k+j-3 and b=k3b=k-3, with ab(mod2)a\equiv b\pmod 2. Let Ma,b(SO(Λ),ϑd)M_{a,b}(\operatorname{SO}(\Lambda),\vartheta_d) be the space of orthogonal modular forms of weight representation Wa,bW_{a,b} and radical character ϑd\vartheta_d. The subspace of forms of Eisenstein type is the span of constant functions when

(a,b)=(0,0)(a,b)=(0,0)

that is, when (k,j)=(3,0)(k,j)=(3,0), and is trivial otherwise.

The characterization of Eisenstein-type forms. The subspace of Ma,b(SO(Λ),ϑd)M_{a,b}(\operatorname{SO}(\Lambda),\vartheta_d) spanned by forms of Eisenstein type is the span of constant functions when (a,b)=(0,0)(a,b)=(0,0), and is trivial otherwise.

This statement identifies the forms that must be removed to isolate forms of general type in the relevant orthogonal modular-form spaces. The source presents it as the expected description following a cited proposition; its resolution is not established in the supplied text.

Sources & referencesView supporting material

Primary source

Eran Assaf, Watson Ladd, Gustavo Rama, Gonzalo Tornaria and John Voight, “A database of paramodular forms from quinary orthogonal modular forms”, arXiv:2308.09824 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.