The characterization of Eisenstein-type orthogonal modular forms

About 3 years old · traced to

Following the notation above, let a=k+j−3a=k+j-3 and b=k−3b=k-3, with a≡b(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.

References

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.