SearcharxivSearch

arXiv subjects

Haowu Wang

Publications and source records attributed to Haowu Wang.

At least 19 recordsLinked to original sources

Dynkin diagrams, generalized Nahm sums and 2d CFTs

A folklore conjecture states that the Nahm sum associated with a pair of Dynkin diagrams of type $ADET$ is a modular function. In this paper, we extend this conjecture to Dynkin diagrams of type $ABCDEFGT$ in the context of generalized Nahm sums. The modular Nahm sums are closely related to the characters of 2d rational conformal field theories. In this work, we identify many specific generalized Nahm sums with characters of some well-studied 2d CFTs. For example, we find that the generalized Nahm sums associated with $(T_1, C_r)$ and $(T_1,D_r)$ correspond to the supersymmetric Virasoro minimal models $\mathrm{SM}(4r+6, 4)$ and $\mathrm{SM}(8r+4, 2)$, respectively.

math-ph

Jacobi forms of weight one on $Γ_0(N)$

Let $J_{1,m}(N)$ be the vector space of Jacobi forms of weight one and index $m$ on $Γ_0(N)$. In 1985, Skoruppa proved that $J_{1,m}(1)=0$ for all $m$. In 2007, Ibukiyama and Skoruppa proved that $J_{1,m}(N)=0$ for all $m$ and all squarefree $N$ with $\mathrm{gcd}(m,N)=1$. This paper aims to extend their results. We determine all levels $N$ separately, such that $J_{1,m}(N)=0$ for all $m$; or $J_{1,m}(N)=0$ for all $m$ with $\mathrm{gcd}(m,N)=1$. We also establish explicit dimension formulas of $J_{1,m}(N)$ when $m$ and $N$ are relatively prime or $m$ is squarefree. These results are obtained by refining Skoruppa's method and analyzing local invariants of Weil representations. As applications, we prove the vanishing of Siegel modular forms of degree two and weight one in some cases.

math.NT

Hyperbolization of Affine Lie Algebras

In 1983, Feingold and Frenkel discovered a relation between Siegel modular forms of genus two and a rank-three hyperbolic Kac--Moody algebra extending the affine Lie algebra of type $A_1$. It inspires a problem to explore more general relations between affine Lie algebras, hyperbolic Kac--Moody algebras and modular forms. In this paper, we give an automorphic answer to this problem. We classify hyperbolic Borcherds--Kac--Moody superalgebras whose super-denominators define reflective automorphic products of singular weight on lattices of type $2U\oplus L$. As a consequence, we prove that there are exactly $81$ affine Lie algebras $\widehat{\mathfrak{g}}$ which have extensions to hyperbolic BKM superalgebras for which the leading Fourier--Jacobi coefficients of super-denominators coincide with the denominators of $\widehat{\mathfrak{g}}$. We find that $69$ of them appear in Schellekens' list of semi-simple $V_1$ structures of holomorphic CFT of central charge $24$, while $8$ of them correspond to the $N=1$ structures of holomorphic SCFT of central charge $12$ composed of $24$ chiral fermions. The last $4$ cases are related to exceptional modular invariants from nontrivial automorphisms of fusion algebras. This clarifies the relationship of affine Lie algebras, vertex algebras and hyperbolic BKM superalgebras at the level of modular forms.

math.NT

On the vanishing order of Jacobi forms at infinity

In this paper, we establish two types of upper bounds on the vanishing order of Jacobi forms at infinity. The first type is for classical Jacobi forms, which is optimal in a certain sense. The second type is for Jacobi forms of lattice index. Based on this bound, we obtain a lower bound on the slope of orthogonal modular forms, and we prove that the module of symmetric formal Fourier--Jacobi series on $\mathrm{O}(m,2)$ has finite rank.

math.NT

Sums of four polygonal numbers: precise formulas

In this paper we give unified formulas for the numbers of representations of positive integers as sums of four generalized $m$-gonal numbers, and as restricted sums of four squares under a linear condition, respectively. These formulas are given as $\mathbb{Z}$-linear combinations of Hurwitz class numbers. As applications, we prove several Zhi-Wei Sun's conjectures. As by-products, we obtain formulas for expressing the Fourier coefficients of $\vartheta(τ,z)^4$, $η(τ)^{12}$, $η(τ)^4$ and $η(τ)^8η(2τ)^8$ in terms of Hurwitz class numbers, respectively. The proof is based on the theory of Jacobi forms.

math.NT

On the non-existence of singular Borcherds products

Let $l\geq 3$ and $F$ be a modular form of weight $l/2-1$ on $\mathrm{O}(l,2)$ which vanishes only on rational quadratic divisors. We prove that $F$ has only simple zeros and that $F$ is anti-invariant under every reflection fixing a quadratic divisor in the zeros of $F$. In particular, $F$ is a reflective modular form. As a corollary, the existence of $F$ leads to $l\leq 20$ or $l=26$, in which case $F$ equals the Borcherds form on $\mathrm{II}_{26,2}$. This answers a question posed by Borcherds in 1995.

math.NT

There are no extremal eutactic stars other than root systems

A eutactic star on an integral lattice is called extremal if it induces a holomorphic Jacobi form of lattice index and singular weight via the theta block. The famous Macdonald identities imply that root systems are extremal as eutactic stars. In this paper we prove that every extremal eutactic star arises as a root system. This answers a question posed by Skoruppa.

math.NT

On Intermediate Exceptional Series

The Freudenthal--Tits magic square $\mathfrak{m}(\mathbb{A}_1,\mathbb{A}_2)$ for $\mathbb{A}=\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}$ of semi-simple Lie algebras can be extended by including the sextonions $\mathbb{S}$. A series of non-reductive Lie algebras naturally appear in the new row associated with the sextonions, which we will call the \textit{intermediate exceptional series}, with the largest one as the intermediate Lie algebra $E_{7+1/2}$ constructed by Landsberg--Manivel. We study various aspects of the intermediate vertex operator (super)algebras associated with the intermediate exceptional series, including rationality, coset constructions, irreducible modules, (super)characters and modular linear differential equations. For all $\mathfrak{g}_I$ belonging to the intermediate exceptional series, the intermediate VOA $L_1(\mathfrak{g}_I)$ has characters of irreducible modules coinciding with those of the simple rational $C_2$-cofinite $W$-algebra $W_{-h^\vee/6}(\mathfrak{g},f_θ)$ studied by Kawasetsu, with $\mathfrak{g} $ belonging to the Cvitanović--Deligne exceptional series. We propose some new intermediate VOA $L_k(\mathfrak{g}_I)$ with integer level $k$ and investigate their properties. For example, for the intermediate Lie algebra $D_{6+1/2}$ between $D_6$ and $E_7$ in the subexceptional series and also in Vogel's projective plane, we find that the intermediate VOA $L_2(D_{6+1/2})$ has a simple current extension to a SVOA with four irreducible Neveu--Schwarz modules. We also provide some (super) coset constructions such as $L_2(E_7)/L_2(D_{6+1/2})$ and $L_1(D_{6+1/2})^{\otimes2}\!/L_2(D_{6+1/2})$. In the end, we find that the theta blocks associated with the intermediate exceptional series produce some new holomorphic Jacobi forms of critical weight and lattice index.

math-ph

Orbits of Jacobi forms and Theta relations

Jacobi theta functions with rational characteristics can be viewed as vector-valued Jacobi forms. Theta relations usually correspond to different constructions of certain Jacobi forms. From this observation, we extract a new approach, which is called orbits of Jacobi forms, to produce identities on Jacobi theta functions. Our approach not only provides simple proofs of many known theta relations but also produces a large number of new identities, which can be considered as generalizations of Riemann's theta relations.

math.NT

On intermediate Lie algebra $E_{7+1/2}$

$E_{7+1/2}$ is an intermediate Lie algebra filling a hole between $E_7$ and $E_8$ in the Deligne-Cvitanović exceptional series. It was found independently by Mathur, Muhki, Sen in the classification of 2d RCFTs via modular linear differential equations (MLDE) and by Deligne, Cohen, de Man in representation theory. In this paper we propose some new vertex operator algebras (VOA) associated with $E_{7+1/2}$ and give some useful information at small levels. We conjecture that the affine VOA $(E_{7+1/2})_k$ is rational if and only if the level $k$ is at most $5$, and provide some evidence from the viewpoint of MLDE. We propose a conjectural Weyl dimension formula for infinitely many irreducible representations of $E_{7+1/2}$, which generates almost all irreducible representations of $E_{7+1/2}$ with level $k\leq 4$. More concretely, we propose the affine VOA $E_{7+1/2}$ at level 2 and the rank-two instanton VOA associated with $E_{7+1/2}$. We compute the VOA characters and provide some coset constructions. These generalize the previous works of Kawasetsu for affine VOA $E_{7+1/2}$ at level 1 and of Arakawa--Kawasetsu at level $-5$. We then predict the conformal weights of affine VOA $E_{7+1/2}$ at level $3,4,5$.

math-ph

The fake monster algebra and singular Borcherds products

In this paper we consider several problems in the theory of automorphic products and generalized Kac--Moody algebras proposed by Borcherds in 1995. We show that the denominator of the fake monster algebra defines the unique holomorphic Borcherds product of singular weight on a maximal lattice. We give a full classification of symmetric holomorphic Borcherds products of singular weight on lattices of prime level. Finally we prove that all twisted denominator identities of the fake monster algebra arise as the Fourier expansions of Borcherds products of singular weight at a certain cusp. The proofs rely on an identification between modular forms for the Weil representation attached to lattices of type $U(N)\oplus U \oplus L$ and certain tuples of Jacobi forms of level $N$.

math.NT

On the classification of reflective modular forms

A modular form on an even lattice $M$ of signature $(l,2)$ is called reflective if it vanishes only on quadratic divisors orthogonal to roots of $M$. In this paper we show that every reflective modular form on a lattice of type $2U\oplus L$ induces a root system satisfying certain constrains. As applications, (1) we prove that there is no lattice of signature $(21,2)$ with a reflective modular form and that $2U\oplus D_{20}$ is the unique lattice of signature $(22,2)$ and type $U\oplus K$ which has a reflective Borcherds product; (2) we give an automorphic proof of Shvartsman and Vinberg's theorem, asserting that the algebra of modular forms for an arithmetic subgroup of $\mathrm{O}(l,2)$ is never freely generated when $l\geq 11$. We also prove several results on the finiteness of lattices with reflective modular forms.

math.NT

The classification of 2-reflective modular forms

The classification of reflective modular forms is an important problem in the theory of automorphic forms on orthogonal groups. In this paper, we develop an approach based on the theory of Jacobi forms to give a full classification of 2-reflective modular forms. We prove that there are only 3 lattices of signature $(2,n)$ having 2-reflective modular forms when $n\geq 14$. We show that there are exactly 51 lattices of type $2U\oplus L(-1)$ which admit 2-reflective modular forms and satisfy that $L$ has 2-roots. We further determine all 2-reflective modular forms giving arithmetic hyperbolic 2-reflection groups. This is the first attempt to classify reflective modular forms on lattices of arbitrary level.

math.NT

$2$-reflective lattices of signature $(n,2)$ with $n\geq 8$

An even lattice $M$ of signature $(n,2)$ is called $2$-reflective if there is a non-constant modular form for the orthogonal group of $M$ which vanishes only on quadratic divisors orthogonal to $2$-roots of $M$. In [Amer. J. Math. 2017] Shouhei Ma proved that there are only finitely many $2$-reflective lattices of signature $(n,2)$ with $n\geq 7$. In this paper we extend the finiteness result of Ma to $n\geq 5$ and show that there are exactly forty-two $2$-reflective lattices of signature $(n,2)$ with $n\geq 8$.

math.NT

Weyl invariant $E_8$ Jacobi forms and $E$-strings

In 1992 Wirthmüller showed that for any irreducible root system not of type $E_8$ the ring of weak Jacobi forms invariant under Weyl group is a polynomial algebra. However, it has recently been proved that for $E_8$ the ring is not a polynomial algebra. Weyl invariant $E_8$ Jacobi forms have many applications in string theory and it is an open problem to describe such forms. The scaled refined free energies of $E$-strings with certain $η$-function factors are conjectured to be Weyl invariant $E_8$ quasi holomorphic Jacobi forms. It is further observed that the scaled refined free energies up to some powers of $E_4$ can be written as polynomials in nine Sakai's $E_8$ Jacobi forms and Eisenstein series $E_2$, $E_4$, $E_6$. Motivated by the physical conjectures, we prove that for any Weyl invariant $E_8$ Jacobi form $ϕ_t$ of index $t$ the function $E_4^{[t/5]}Δ^{[5t/6]}ϕ_t$ can be expressed uniquely as a polynomial in $E_4$, $E_6$ and Sakai's forms, where $[x]$ is the integer part of $x$. This means that a Weyl invariant $E_8$ Jacobi form is completely determined by a solution of some linear equations. By solving the linear systems, we determine the generators of the free module of Weyl invariant $E_8$ weak (resp. holomorphic) Jacobi forms of given index $t$ when $t\leq 13$ (resp. $t\leq 11$).

math.NT

Conway invariant Jacobi forms on the Leech lattice

In this paper we study Jacobi forms associated with the Leech lattice $Λ$ which are invariant under the Conway group $\mathrm{Co}_0$. We determine and construct generators of modules of both weak and holomorphic Jacobi forms of integral weight and fixed index $t\leq 3$. As applications, (1) we find the modular linear differential equations satisfied by the holomorphic generators; (2) we determine the decomposition of many products of orbits of Leech vectors; (3) we calculate the intersection between orbits and Leech vectors; (4) we derive some conjugate relations among orbits modulo $tΛ$.

math.NT

Mathieu moonshine and Borcherds products

The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic genera and conjectured that they define Siegel modular forms of degree two. In this paper we prove that for each conjugacy class of level $N_g$ the associated product is a meromorphic Borcherds product on the lattice $U(N_g)\oplus U \oplus A_1$ in a strict sense. We also compute the divisors of these products and determine for which conjugacy classes the product can be realized as an additive (generalized Saito--Kurokawa) lift.

math.NT