Spherical designs and modular forms of the D₄ lattice

DOI10.1007/S40993-023-00479-1MaRDI QIDQ6072071zbMATH OpenOpenAlexFDO

Authors Masatake Hirao, Hiroshi Nozaki, Koji Tasaka

Publication date 29 November 2023

Published in Research in Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2303.09000

zbMATH Keywords

spherical designs of harmonic indexweighted theta functions\(D_4\) root lattice/systemnon-vanishing and congruences of Fourier coefficients of cusp forms of level 2

Mathematics Subject Classification ID

Other designs, configurations (05B30) Congruences for modular and (p)-adic modular forms (11F33) Fourier coefficients of automorphic forms (11F30) Lattices and convex bodies (number-theoretic aspects) (11H06) Lattice points in specified regions (11P21)

Abstract: In this paper, we study shells of the $D_4$ lattice with a slightly general concept of spherical $t$-designs due to Delsarte-Goethals-Seidel, namely, the spherical design of harmonic index $T$ (spherical $T$-design for short) introduced by Delsarte-Seidel. We first observe that the $2m$-shell of $D_4$ is an antipodal spherical $10,4,2$-design on the three dimensional sphere. We then prove that the $2$-shell, which is the $D_4$ root system, is tight $10,4,2$-design, using the linear programming method. The uniqueness of the $D_4$ root system as an antipodal spherical $10,4,2$-design with 24 points is shown. We give two applications of the uniqueness: a decomposition of the shells of the $D_4$ lattice in terms of orthogonal transformations of the $D_4$ root system: and the uniqueness of the $D_4$ lattice as an even integral lattice of level 2 in the four dimensional Euclidean space. We also reveal a connection between the harmonic strength of the shells of the $D_4$ lattice and non-vanishing of the Fourier coefficient of a certain newforms of level 2. Motivated by this, congruence relations for the Fourier coefficients are discussed.

Recommendations

• scientific article; zbMATH DE number 5182595
• scientific article; zbMATH DE number 2140363
• scientific article; zbMATH DE number 2140364
• SHELLS OF SELFDUAL LATTICES VIEWED AS SPHERICAL DESIGNS
• Toy models for D. H. Lehmer's conjecture. II

Cites work

• scientific article; zbMATH DE number 2134201 (Why is no real title available?)
• scientific article; zbMATH DE number 3422462 (Why is no real title available?)
• scientific article; zbMATH DE number 3824586 (Why is no real title available?)
• scientific article; zbMATH DE number 599949 (Why is no real title available?)
• scientific article; zbMATH DE number 2140364 (Why is no real title available?)
• scientific article; zbMATH DE number 1881995 (Why is no real title available?)
• scientific article; zbMATH DE number 3230201 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• scientific article; zbMATH DE number 3404329 (Why is no real title available?)
• scientific article; zbMATH DE number 3407760 (Why is no real title available?)
• scientific article; zbMATH DE number 2232233 (Why is no real title available?)
• A generalization of Ramanujan's congruence to modular forms of prime level
• A new relative bound for equiangular lines and nonexistence of tight spherical designs of harmonic index 4
• A survey on spherical designs and algebraic combinatorics on spheres
• Computing distance distributions of spherical designs
• Construction of spherical cubature formulas using lattices
• Cubature formulas, geometrical designs, reproducing kernels, and Markov operators
• Design theory from the viewpoint of algebraic combinatorics
• Engendrement par des séries theta de certains espaces de formes modulaires
• Fisher type inequalities for Euclidean t-designs
• Half of an antipodal spherical design
• La conjecture de Weil. I
• Modular forms and ellipsoidal \(T\)-designs
• New upper bounds for kissing numbers from semidefinite programming
• On a generalization of spherical designs
• On antipodal spherical \(t\)-designs of degree \(s\) with \(t\geq 2s-3\)
• On even unimodular extremal lattices
• On spherical designs of some harmonic indices
• On the modularity of reducible \(\mathrm{mod}\;l\) Galois representations
• On theta series attached to maximal lattices and their adjoints
• Ramanujan-style congruences for prime level
• Ramanujan-style congruences of local origin
• Ramanujan-type systems of nonlinear ODEs for \(\Gamma_0 (2)\) and \(\Gamma_0 (3)\)
• Remarks on Hilbert identities, isometric embeddings, and invariant cubature
• SHELLS OF SELFDUAL LATTICES VIEWED AS SPHERICAL DESIGNS
• Spherical codes and designs
• Spherical designs of harmonic index \(t\)
• The Magma algebra system. I: The user language
• The kissing number in four dimensions
• The vanishing of Ramanujan's function \(\tau(n)\)
• TheD₄Root System Is Not Universally Optimal
• Toy models for D. H. Lehmer's conjecture
• Uniqueness of Certain Spherical Codes
• Uniqueness of the 120-point spherical 11-design in four dimensions

Cited in

(4)

• Spherical designs and zeta functions of lattices
• scientific article; zbMATH DE number 5182595 (Why is no real title available?)
• Euclidean lattices, spherical designs and modular forms. On the works of Boris Venkov
• Delsarte problem for 4-designs on the unit 3-sphere

This page was built for publication: Spherical designs and modular forms of the \(D_4\) lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6072071)