The extreme core (Q2581043)

The authors study Siegel modular forms and cusp forms of degree \(n\) and weight \(k\), which are denoted by \(M_{n}^{k}\) and \(S_{n}^{k}\), respectively. Nobel forms, kernels, valence inequality, the extreme core in degree two. Let \(f\) be a Siegel modular cusp form of degree \(n\) and weight \(k\) and let \(v(f)\) be the closure of the convex ray hull of support of the Fourier series inside the cone of a semi-definite form. The authors show the existence of the extreme core, \(C_{\text{ext}}\), which satisfies \(v(f)\supseteq kC_{\text{ext}}\) for all cusp forms. This result gives a generalization of the valence inequality to Siegel modular cusp forms. They develop functions and techniques from the geometry of numbers that helps estimate the extreme core. They also estimating the extreme core using Nobel forms and improve all relevant constants for \(n\leq 5\). They give two tables related to Nobel forms. They also give adjoint arguments for \(M_{2}\).