An Elementary Approach To Toy Models For D. H. Lehmer'S Conjecture

Eiichi Bannai,Tsuyoshi Miezaki,Vladimir A. Yudin

DOI: https://doi.org/10.1070/IM2011v075n06ABEH002565

2011-01-01

Izvestiya Mathematics

Abstract:We use the theory of algebraic fields to establish that none of the shells of the lattice Z(2) (resp. A(2)) is a 4-design (resp. 6-design). We discuss the connection between spherical designs and imaginary quadratic fields.

What problem does this paper attempt to address?

Toy Models for D. H. Lehmer's Conjecture

Eiichi Bannai,Tsuyoshi Miezaki

DOI: https://doi.org/10.2969/jmsj/06230687

2010-01-01

Journal of the Mathematical Society of Japan

Abstract:In 1947, Lehmer conjectured that the Ramanujan tau-function tau(m) never vanishes for all positive integers m, where tau(m) are the Fourier coefficients of the cusp form Delta(24) of weight 12. Lehmer verified the conjecture in 1947 for m < 214928639999. In 1973, Serre verified up to m < 10(15), and in 1999, Jordan and Kelly for m < 22689242781695999.The theory of spherical t-design, and in particular those which are the shells of Euclidean lattices, is closely related to the theory of modular forms, as first shown by Venkov in 1984. In particular, Ramanujan's tau-function gives the coefficients of a weighted theta series of the E-8-lattice. It is shown, by Venkov, de la Harpe, and Pache, that tau(m) = 0 is equivalent to the fact that the shell of norm 2m of the E-8-lattice is an 8-design. So, Lehmer's conjecture is reformulated in terms of spherical t-design.Lehmer's conjecture is difficult to prove, and still remains open. In this paper, we consider toy models of Lehmer's conjecture. Namely, we show that the m-th Fourier coefficient of the weighted theta series of the Z(2)-lattice and the A(2)-lattice does not vanish, when the shell of norm in of those lattices is not the empty set. In other words, the spherical 5 (resp. 7)-design does not exist among the shells in the Z(2)-lattice (resp. A(2)-lattice).
Spherical designs and modular forms of the $D_4$ lattice

Masatake Hirao,Hiroshi Nozaki,Koji Tasaka

2023-09-28

Abstract:In this paper, we study shells of the $D_4$ lattice with a {slight generalization} 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{, for any positive integer $m$,} 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 a 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 coefficients of a certain newform of level 2. Motivated by this, congruence relations for the Fourier coefficients are discussed.

Combinatorics,Number Theory
Элементарный Подход Для Игровых Моделей Гипотезы Лемера

Эйчи Баннаи,Eiichi Bannai,Т Миезаки,Tsuyoshi Miezaki,Владимир Александрович Юдин,Vladimir Alexandrovich Yudin

DOI: https://doi.org/10.4213/im4556

2011-01-01

Abstract:5Е. Баннаи, Т. Миезаки, В. А. Юдин Элементарный подход для игровых моделей гипотезы ЛемераИспользуя теорию алгебраических полей, устанавливаем, что ни одна из оболочек решеток Z 2 и A2 не является 4-дизайном и 6-дизайном соответственно.Разбирается связь сферических дизайнов с мнимым квадратичным полем.
ABSTRACTS OF LECTURES MODULI 2007

Caucher Birkar,Ching-Li Chai

2007-01-01

Abstract:First, I will quickly recall some of the basic elements of the minimal model program. Then, I concentrate on the interactions between the minimal model program and some moduli problems. In particular, I explain the construction of moduli spaces of varieties of general type via the minimal model program. Abstract. The Hecke symmetry is a salient feature of Shimura varieties. In the more recent past these symmetries have led to the notion of leaves, a global structure on the reduction of modular varieties of PEL type defined by Oort, and conjecturally for all Shimura varieties with good reduction. The Hecke symmetry also led to the notion of canonical coordinates on leaves, generalizing the classical Serre-Tate coordinates. We will discuss some recent works related to the Hecke symmetry : (1) -adic and p-adic monodromy of leaves, and irreducibility of leaves (joint work with F. Oort). One of the methods for showing that the p-adic monodromy is big is inspired by H. Hida. (2) CM lifting modulo Hecke symmetry (joint work with B. Conrad and F. Oort). Abstract. In this lecture we explain how to attach a p-adic representation to a vector bundle with strongly semistable reduction of degree zero on a p-adic curve. We also discuss higher dimensional generalizations. This is a report on joint work with Annette Werner. Abstract. Since the proof of Iwasawa's main conjecture in the classical case (the- orem of Mazur and Wiles), automorphic forms on GL(2) have played an essential role to understand GL(1)-problems. After the breakthrough by A. Wiles ((1)), there has been a substantial progress in the class field theory for GL2. In this talk, open problems in classical Iwasawa theory are discussed from this perspective, based on Galois deformations.
Design Theory from the Viewpoint of Algebraic Combinatorics

Eiichi Bannai,Etsuko Bannai,Hajime Tanaka,Yan Zhu

DOI: https://doi.org/10.1007/s00373-016-1739-2

2016-01-01

Graphs and Combinatorics

Abstract:The similarity between spherical t-designs and combinatorial t-designs, as well as t-designs in Q-polynomial association schemes.
A toy model of shtukas

Zhiyuan Ding

DOI: https://doi.org/10.48550/arXiv.1802.04482

2018-11-02

Abstract:Motivated by the question of constructing certain rational functions (modular units) on the moduli stack of Drinfeld shtukas, we introduce the notion of toy shtukas. We prove basic properties of the moduli scheme of toy shtukas. Analogously to horospherical divisors on the moduli stack of Drinfeld shtukas, there are toy horospherical divisors on the moduli scheme of toy shtukas. We describe the space of principal toy horospherical divisors. There is a canonical morphism from the moduli stack of Drinfeld shtukas to the moduli scheme of toy shtukas. Our main result is a description of the space of principal horospherical divisors obtained from the pullback.

Algebraic Geometry,Number Theory,Representation Theory
Counterexamples to a Conjecture of Ahmadi and Shparlinski

Taylor Dupuy,Kiran Kedlaya,David Roe,Christelle Vincent

DOI: https://doi.org/10.1080/10586458.2021.1980463

2021-10-26

Experimental Mathematics

Abstract:Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.

mathematics
Zilber's notion of logically perfect structure: Universal Covers

John T. Baldwin,Andrés Villaveces

2023-10-13

Abstract:We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we discuss in a systematic and unified way several examples indicating the main ideas of the proofs and the necessary changes in method for different situations: exponential covers, modular and Shimura curves, Shimura and abelian varieties, and coherent families of smooth covers.

Logic
Congruence relations of Ankeny$\unicode{x2013}$Artin$\unicode{x2013}$Chowla type for real quadratic fields

Nic Fellini

2024-11-09

Abstract:In 1951, Ankeny, Artin, and Chowla published a brief note containing four congruence relations involving the class number of $\mathbb{Q}(\sqrt{d})$ for positive squarefree integers $d\equiv 1 \bmod{4}$. Many of the ideas present in their paper can be seen as the precursors to the now developed theory of cyclotomic fields. Curiously, little attention has been paid to the cases of $d\equiv 2,3\bmod{4}$ in the literature. In the present work, we show that the congruences of the type proven by Ankeny, Artin, and Chowla can be seen as a special case of a more general methodology using Kubota$\unicode{x2013}$Leopoldt $p$-adic $L$-functions. Aside from the classical congruence involving Bernoulli numbers, we derive congruences involving quadratic residues and non-residues in $\mathbb{Z}/p\mathbb{Z}$ by relating these values to a well known expression for $L_p(1, \chi)$. We conclude with a discussion of known counterexamples to the so-called Composite Ankeny$\unicode{x2013}$Artin$\unicode{x2013}$Chowla conjecture and relate these to special dihedral extensions of $\mathbb{Q}$.

Number Theory
SHELLS OF SELFDUAL LATTICES VIEWED AS SPHERICAL DESIGNS

CLAUDE PACHE

DOI: https://doi.org/10.1142/s0218196705002797

2005-10-01

International Journal of Algebra and Computation

Abstract:We find out for which t shells of selfdual lattices and of their shadows are spherical t-designs. The method uses theta series of lattices, which are modular forms. We analyze fully cubic and Witt lattices, as well as all selfdual lattices of rank at most 24.
Minimal models, modular linear differential equations and modular forms of fractional weights

Kiyokazu Nagatomo,Yuichi Sakai

2023-04-23

Abstract:We show that modular forms of fractional weights on principal congruence subgroups of odd levels, which are found by T. Ibukiyama, naturally appear as characters being multiplied $\eta^{c_{\text{eff}}}$ of the so-called minimal models of type $(2, p)$, where $c_{\text{eff}}$ is the effective central charge of a minimal model. Using this fact and modular invariance property of the space of characters, we give a different proof of the result showned by Ibukiyama that is the explicit formula representing $\mathrm{SL}_{2}(\mathbb{Z})$ on the space of the ibukiyama modular forms. We also find several pairs of spaces of the Ibukiyama modular forms on $\Gamma(m)$ and $\Gamma(n)$ with $m|n$ having the property that the former are included in the latter. Finally, we construct vector-valued modular forms of weight $k\in\frac{1}{5}\mathbb{Z}_{>0}$ starting from the Ibukiyama modular forms of weight $k\in\frac{1}{5}\mathbb{Z}_{>0}$ with some multiplier system by a symmetric tensor product of this representation and show that the components functions coincides with the solution space of some monic modular linear differential equation of weight $k$ and the order $1+5k$.

Number Theory,Mathematical Physics
Modular Representations and Coinvariants of the Dihedral Group

Haixian Chen,Jizhu Nan

DOI: https://doi.org/10.1142/s1005386724000531

2024-11-29

Algebra Colloquium

Abstract:Algebra Colloquium, Volume 31, Issue 04, Page 711-720, December 2024. In this paper, we completely classify a finite number of inequivalent indecomposable modular representations of the dihedral group [math] in characteristic [math], [math], and determine that there exists a summand of the group algebra which is not a summand of the rings of coinvariants of these representations.

mathematics, applied
SUPERCONFORMAL 2D MINIMAL MODELS AND AN UNUSUAL COSET CONSTRUCTION

M. YU. LASHKEVICH

DOI: https://doi.org/10.1142/s021773239300088x

1993-03-21

Modern Physics Letters A

Abstract:We consider a coset construction of minimal models. We define it rigorously and prove that it gives superconformal minimal models. This construction allows us to build all primary fields of superconformal models and to calculate their tree-point correlation functions.

astronomy & astrophysics,physics, particles & fields, nuclear, mathematical
From Young's Lattice to Coinvariants

Eugene Stern

2023-05-15

Abstract:Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.

Representation Theory,Combinatorics,Quantum Algebra
Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Junhwa Choi,Yukako Kezuka,Yongxiong Li

DOI: https://doi.org/10.4310/ajm.2019.v23.n3.a2

2019-01-01

Asian Journal of Mathematics

Abstract:Let K = Q(root-q), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O = pp*, and there is a unique Z(2)-extension K-infinity of K which is unramified outside p. Let H be the Hilbert class field of K, and write H-infinity = HK infinity. Let M(H-infinity) be the maximal abelian 2-extension of H-infinity which is unramified outside the primes above p, and put X(H-infinity) = Gal(M(H-infinity)/H-infinity). We prove that X(H-infinity) is always a finitely generated Z(2)-module, by an elliptic analogue of Sinnott's cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J(infinity) of K-infinity with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell-Weil group E(J(infinity)) modulo torsion of certain elliptic curves E with complex multiplication by O.
Lattices in function fields and applications

Christian Bagshaw,Bryce Kerr

2023-04-11

Abstract:In recent decades, the use of ideas from Minkowski's Geometry of Numbers has gained recognition as a helpful tool in bounding the number of solutions to modular congruences with variables from short intervals. In 1941, Mahler introduced an analogue to the Geometry of Numbers in function fields over finite fields. Here, we build on Mahler's ideas and develop results useful for bounding the sizes of intersections of lattices and convex bodies in $\mathbb{F}_q((1/T))^d$, which are more precise than what is known over $\mathbb{R}^d$. These results are then applied to various problems regarding bounding the number of solutions to congruences in $\mathbb{F}_q[T]$, such as the number of points on polynomial curves in low dimensional subspaces of finite fields. Our results improve on a number of previous bounds due to Bagshaw, Cilleruelo, Shparlinski and Zumalacárregui. We also present previous techniques developed by various authors for estimating certain energy/point counts in a unified manner.

Number Theory
Modular forms with poles on hyperplane arrangements

Haowu Wang,Brandon Williams

DOI: https://doi.org/10.48550/arXiv.2112.06524

2021-12-13

Abstract:We study algebras of meromorphic modular forms whose poles lie on Heegner divisors for orthogonal and unitary groups associated to root lattices. We give a uniform construction of $147$ hyperplane arrangements on type IV symmetric domains for which the algebras of modular forms with constrained poles are free and therefore the Looijenga compactifications of the arrangement complements are weighted projective spaces. We also construct $8$ free algebras of modular forms on complex balls with poles on hyperplane arrangements. The most striking example is the discriminant kernel of the $2U\oplus D_{11}$ lattice, which admits a free algebra on $14$ meromorphic generators. Along the way, we determine minimal systems of generators for non-free algebras of orthogonal modular forms for $26$ reducible root lattices and prove the modularity of formal Fourier--Jacobi series associated to them. By exploiting an identity between weight one singular additive and multiplicative lifts on $2U\oplus D_{11}$, we prove that the additive lift of any (possibly weak) theta block of positive weight and $q$-order one is a Borcherds product; the special case of holomorphic theta blocks of one elliptic variable is the theta block conjecture of Gritsenko, Poor and Yuen.

Number Theory,Algebraic Geometry
Tight Relative $T$-Designs on Two Shells in Hypercubes, and Hahn and Hermite Polynomials

Eiichi Bannai,Etsuko Bannai,Hajime Tanaka,Yan Zhu

DOI: https://doi.org/10.26493/1855-3974.2352.eaf

2022-01-01

Ars Mathematica Contemporanea

Abstract:Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,\lambda)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.
On Bosch-Lütkebohmert-Raynaud's Conjecture I

Otto Overkamp

2024-09-20

Abstract:Let $G$ be a smooth algebraic group over the field of rational functions of an excellent Dedekind scheme $S$ of equal characteristic $p>0.$ A Néron lft-model of $G$ is a smooth separated model $\mathscr{G} \to S$ of $G$ satisfying a universal property. Predicting whether a given $G$ admits such a model is a very delicate (and, in general, open) question if $S$ has infinitely many closed points, which is the subject of Conjecture I due to Bosch-Lütkebohmert-Raynaud. This conjecture was recently proven by T. Suzuki and the author if the residue fields of $S$ at closed points are perfect, but refuted in general. The aim of the present paper is two-fold: firstly, we give a new construction of counterexamples which is more general and provides a conceptual explanation for the only counterexamples known previously, as well as providing many new counterexamples. Secondly, we shall give a new and elementary proof of Conjecture I in the case of perfect residue fields. Both parts make use of the concept of weakly permawound unipotent groups recently introduced by Rosengarten.

Algebraic Geometry,Number Theory
Unitary and non-unitary $N=2$ minimal models

Thomas Creutzig,Tianshu Liu,David Ridout,Simon Wood

DOI: https://doi.org/10.1007/JHEP06%282019%29024

2019-02-22

Abstract:The unitary $N = 2$ superconformal minimal models have a long history in string theory and mathematical physics, while their non-unitary (and logarithmic) cousins have recently attracted interest from mathematicians. Here, we give an efficient and uniform analysis of all these models as an application of a type of Schur-Weyl duality, as it pertains to the well-known Kazama-Suzuki coset construction. The results include straightforward classifications of the irreducible modules, branching rules, (super)characters and (Grothendieck) fusion rules.

Mathematical Physics,High Energy Physics - Theory,Quantum Algebra

An Elementary Approach To Toy Models For D. H. Lehmer'S Conjecture

Toy Models for D. H. Lehmer's Conjecture

Spherical designs and modular forms of the $D_4$ lattice

Элементарный Подход Для Игровых Моделей Гипотезы Лемера

ABSTRACTS OF LECTURES MODULI 2007

Design Theory from the Viewpoint of Algebraic Combinatorics

A toy model of shtukas

Counterexamples to a Conjecture of Ahmadi and Shparlinski

Zilber's notion of logically perfect structure: Universal Covers

Congruence relations of Ankeny$\unicode{x2013}$Artin$\unicode{x2013}$Chowla type for real quadratic fields

SHELLS OF SELFDUAL LATTICES VIEWED AS SPHERICAL DESIGNS

Minimal models, modular linear differential equations and modular forms of fractional weights

Modular Representations and Coinvariants of the Dihedral Group

SUPERCONFORMAL 2D MINIMAL MODELS AND AN UNUSUAL COSET CONSTRUCTION

From Young's Lattice to Coinvariants

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Lattices in function fields and applications

Modular forms with poles on hyperplane arrangements

Tight Relative $T$-Designs on Two Shells in Hypercubes, and Hahn and Hermite Polynomials

On Bosch-Lütkebohmert-Raynaud's Conjecture I

Unitary and non-unitary $N=2$ minimal models