Root multiplicities of hyperbolic Kac–Moody algebras and Fourier coefficients of modular forms

In this paper we consider the hyperbolic Kac–Moody algebra $\mathcal {F}$ associated with the generalized Cartan matrix . Its connection to Siegel modular forms of genus 2 was first studied by A. Feingold and I. Frenkel. The denominator function of $\mathcal{F}$ is not an automorphic form. However, Gritsenko and Nikulin extended $\mathcal{F}$ to a generalized Kac–Moody algebra whose denominator function is a Siegel modular form. Using the Borcherds denominator identity, the denominator function can be written as an infinite product. The exponents that appear in the product are given by Fourier coefficients of a weak Jacobi form. P. Niemann also constructed a generalized Kac–Moody algebra which contains $\mathcal {F}$ and whose denominator function is related to a product of Dedekind η-functions. In particular, root multiplicities of the generalized Kac–Moody algebra are determined by Fourier coefficients of a modular form. As the main results of this paper, we compute asymptotic formulas for these Fourier coefficients using the method of Hardy–Ramanujan–Rademacher, and obtain an asymptotic bound for root multiplicities of the algebra $\mathcal{F}$ . Our method can be applied to other hyperbolic Kac–Moody algebras and to other modular forms as demonstrated in the later part of the paper.     

On the Bloch–Kato conjecture for elliptic modular forms of square-free level

Let $\kappa \ge 6$ be an even integer, $M$ an odd square-free integer, and $f \in S_{2\kappa -2}(\Gamma _0(M))$ a newform. We prove that under some reasonable assumptions that half of the $\lambda $ -part of the Bloch–Kato conjecture for the near central critical value $L(\kappa ,f)$ is true. We do this by bounding the $\ell $ -valuation of the order of the appropriate Bloch–Kato Selmer group below by the $\ell $ -valuation of algebraic part of $L(\kappa ,f)$ . We prove this by constructing a congruence between the Saito–Kurokawa lift of $f$ and a cuspidal Siegel modular form.     

Characterization of Siegel cusp forms by the growth of their Fourier coefficients

We characterize all Siegel cusp forms of degree $n$ and large weight $k$ by the growth of their Fourier coefficients. More precisely we prove, among other related results, that if the Fourier coefficients of a modular form on the congruence subgroup $\Gamma _0^n(N)$ of square–free level $N$ satisfy the “Hecke bound” at the cusp $\infty $ , then it must be a cusp form, provided $k >2n+1$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

p-Groups with few conjugacy classes of normalizers

For a group $G$ , denote by $\omega (G)$ the number of conjugacy classes of normalizers of subgroups of $G$ . Clearly, $\omega (G)=1$ if and only if $G$ is a Dedekind group. Hence if $G$ is a 2-group, then $G$ is nilpotent of class $\le 2$ and if $G$ is a $p$ -group, $p>2$ , then $G$ is abelian. We prove a generalization of this. Let $G$ be a finite $p$ -group with $\omega (G)\le p+1$ . If $p=2$ , then $G$ is of class $\le 3$ ; if $p>2$ , then $G$ is of class $\le 2$ .     

Stability of contact discontinuity for steady Euler system in infinite duct

In this paper, we prove stability of contact discontinuities for full Euler system. We fix a flat duct ${\mathcal{N}_0}$ of infinite length in ${\mathbb{R}^2}$ with width W ₀ and consider two uniform subsonic flow ${{U_l}^{\pm}=(u_l^{\pm}, 0, pl,\rho_l^{\pm})}$ with different horizontal velocity in ${\mathcal{N}_0}$ divided by a flat contact discontinuity ${\Gamma_{cd}}$ . And, we slightly perturb the boundary of ${\mathcal{N}_0}$ so that the width of the perturbed duct converges to ${W_0+\omega}$ for ${|\omega| < \delta}$ at ${x=\infty}$ for some ${\delta >0 }$ . Then, we prove that if the asymptotic state at left far field is given by ${{U_l}^{\pm}}$ , and if the perturbation of boundary of ${\mathcal{N}_0}$ and ${\delta}$ is sufficiently small, then there exists unique asymptotic state ${{U_r}^{\pm}}$ with a flat contact discontinuity ${\Gamma_{cd}^*}$ at right far field( ${x=\infty}$ ) and unique weak solution ${U}$ of the Euler system so that U consists of two subsonic flow with a contact discontinuity in between, and that U converges to ${{U_l}^{\pm}}$ and ${{U_r}^{\pm}}$ at ${x=-\infty}$ and ${x=\infty}$ respectively. For that purpose, we establish piecewise C ¹ estimate across a contact discontinuity of a weak solution to Euler system depending on the perturbation of ${\partial\mathcal{N}_0}$ and ${\delta}$ .     

The Saito–Kurokawa lifting and Darmon points

Let $E_{/_\mathbb{Q }}$ be an elliptic curve of conductor $Np$ with $p\not \mid N$ and let $f$ be its associated newform of weight $2$ . Denote by $f_\infty $ the $p$ -adic Hida family passing though $f$ , and by $F_\infty $ its $\varLambda $ -adic Saito–Kurokawa lift. The $p$ -adic family $F_\infty $ of Siegel modular forms admits a formal Fourier expansion, from which we can define a family of normalized Fourier coefficients $\{\widetilde{A}_T(k)\}_T$ indexed by positive definite symmetric half-integral matrices $T$ of size $2\times 2$ . We relate explicitly certain global points on $E$ (coming from the theory of Darmon points) with the values of these Fourier coefficients and of their $p$ -adic derivatives, evaluated at weight $k=2$ .     

On the field of definition of p-torsion points on elliptic curves over the rationals

Let $S_\mathbb Q (d)$ be the set of primes $p$ for which there exists a number field $K$ of degree $\le d$ and an elliptic curve $E/\mathbb Q $ , such that the order of the torsion subgroup of $E(K)$ is divisible by $p$ . In this article we give bounds for the primes in the set $S_\mathbb Q (d)$ . In particular, we show that, if $p\ge 11$ , $p\ne 13,37$ , and $p\in S_\mathbb Q (d)$ , then $p\le 2d+1$ . Moreover, we determine $S_\mathbb Q (d)$ for all $d\le 42$ , and give a conjectural formula for all $d\ge 1$ . If Serre’s uniformity problem is answered positively, then our conjectural formula is valid for all sufficiently large $d$ . Under further assumptions on the non-cuspidal points on modular curves that parametrize those $j$ -invariants associated to Cartan subgroups, the formula is valid for all $d\ge 1$ .     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

Harmonic lifts of modular forms

It is shown that each complex conjugate of a meromorphic modular form for $\mathrm{SL}_{2}(\mathbb{Z})$ of any complex weight p occurs as the image of a harmonic modular form under the operator $2i y^{p} \partial_{\bar{z}}$ . These harmonic lifts occur in holomorphic families with the weight as the parameter.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Quasirandom permutations are characterized by 4-point densities

For permutations ${\pi}$ and ${\tau}$ of lengths ${|\pi|\le|\tau|}$ , let ${t(\pi,\tau)}$ be the probability that the restriction of ${\tau}$ to a random ${|\pi|}$ -point set is (order) isomorphic to ${\pi}$ . We show that every sequence ${\{\tau_j\}}$ of permutations such that ${|\tau_j|\to\infty}$ and ${t(\pi,\tau_j)\to 1/4!}$ for every 4-point permutation ${\pi}$ is quasirandom (that is, ${t(\pi,\tau_j)\to 1/|\pi|!}$ for every ${\pi}$ ). This answers a question posed by Graham.     

On the Hall algebra of semigroup representations over \mathbb F _1

Let $\mathrm{A }$ be a finitely generated semigroup with 0. An $\mathrm{A }$ -module over $\mathbb F _1$ (also called an $\mathrm{A }$ -set), is a pointed set $(M,*)$ together with an action of $\mathrm{A }$ . We define and study the Hall algebra $\mathbb H _{\mathrm{A }}$ of the category $\mathcal C _{\mathrm{A }}$ of finite $\mathrm{A }$ -modules. $\mathbb H _{\mathrm{A }}$ is shown to be the universal enveloping algebra of a Lie algebra $\mathfrak n _{\mathrm{A }}$ , called the Hall Lie algebra of $\mathcal C _{\mathrm{A }}$ . In the case of $\langle t \rangle $ —the free monoid on one generator $\langle t \rangle $ , the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\langle t \rangle $ -modules) is isomorphic to Kreimer’s Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\mathrm{A }$ is a quotient of $\langle t \rangle $ by a congruence, and the monoid $G \cup \{ 0\}$ for a finite group $G$ .     

An Index Formula in Connection with Meromorphic Approximation

Let $\Phi $ be a continuous $n\times n$ matrix-valued function on the unit circle $\mathbb T $ such that the $(k-1)$ st singular value of the Hankel operator with symbol $\Phi $ is greater than the $k$ th singular value. In this case, it is well-known that $\Phi $ has a unique superoptimal meromorphic approximant $Q$ in $H^{\infty }_{(k)}$ ; that is, $Q$ has at most $k$ poles in the unit disc $\mathbb D $ (in the sense that the McMillan degree of $Q$ in $\mathbb D $ is at most $k$ ) and $Q$ minimizes the essential suprema of singular values $s_{j}\left((\Phi -Q)(\zeta )\right)\!, j\ge 0$ , with respect to the lexicographic ordering. For each $j\ge 0$ , the essential supremum of $s_{j}\left((\Phi -Q)(\zeta )\right)$ is called the $j$ th superoptimal singular value of degree $k$ of $\Phi $ . We prove that if $\Phi $ has $n$ non-zero superoptimal singular values of degree $k$ , then the Toeplitz operator $T_{\Phi -Q}$ with symbol $\Phi -Q$ is Fredholm and has index $$ \mathrm{ind}T_{\Phi -Q}=\dim \ker T_{\Phi -Q}=2k+\dim \mathcal E , $$ where $\mathcal E =\{ \xi \in \ker H_{Q}: \Vert H_{\Phi }\xi \Vert _{2}=\Vert (\Phi -Q)\xi \Vert _{2}\}$ and $H_{\Phi }$ denotes the Hankel operator with symbol $\Phi $ . This result can in fact be extended from continuous matrix-valued functions to the wider class of $k$ -admissible matrix-valued functions, i.e. essentially bounded $n\times n$ matrix-valued functions $\Phi $ on $\mathbb T $ for which the essential norm of the Hankel operator $H_{\Phi }$ is strictly less than the smallest non-zero superoptimal singular value of degree $k$ of $\Phi $ .     

Heegner cycles and higher weight specializations of big Heegner points

Let ${\mathbf{{f}}}$ be a $p$ -ordinary Hida family of tame level $N$ , and let $K$ be an imaginary quadratic field satisfying the Heegner hypothesis relative to $N$ . By taking a compatible sequence of twisted Kummer images of CM points over the tower of modular curves of level $\Gamma _0(N)\cap \Gamma _1(p^s)$ , Howard has constructed a canonical class $\mathfrak{Z }$ in the cohomology of a self-dual twist of the big Galois representation associated to ${\mathbf{{f}}}$ . If a $p$ -ordinary eigenform $f$ on $\Gamma _0(N)$ of weight $k>2$ is the specialization of ${\mathbf{{f}}}$ at $\nu $ , one thus obtains from $\mathfrak{Z }_{\nu }$ a higher weight generalization of the Kummer images of Heegner points. In this paper we relate the classes $\mathfrak{Z }_{\nu }$ to the étale Abel-Jacobi images of Heegner cycles when $p$ splits in $K$ .     

A contour line of the continuum Gaussian free field

Consider an instance $h$ of the Gaussian free field on a simply connected planar domain $D$ with boundary conditions $-\lambda $ on one boundary arc and $\lambda $ on the complementary arc, where $\lambda $ is the special constant $\sqrt{\pi /8}$ . We argue that even though $h$ is defined only as a random distribution, and not as a function, it has a well-defined zero level line $\gamma $ connecting the endpoints of these arcs, and the law of $\gamma $ is $\mathrm{SLE}(4)$ . We construct $\gamma $ in two ways: as the limit of the chordal zero contour lines of the projections of $h$ onto certain spaces of piecewise linear functions, and as the only path-valued function on the space of distributions with a natural Markov property. We also show that, as a function of $h, \gamma $ is “local” (it does not change when $h$ is modified away from $\gamma $ ) and derive some general properties of local sets.     

On the bicanonical map of primitive varieties with q(X) = \mathrm{dim }X: the degree and the Euler number

Let $X$ be a variety of maximal Albanese dimension and of general type. Assume that $q(X) = \mathrm{dim }X$ , the Albanese variety $\mathrm {Alb} (X)$ is a simple abelian variety, and the bicanonical map is not birational. We prove that the Euler number $\chi (X, \omega _X)$ is equal to 1, and $|2K_X|$ separates two distinct points over the same general point on $\mathrm {Alb} (X)$ via $\mathrm {alb}_X$ (Theorem 1.1).     

Actions of arithmetic groups on homology spheres and acyclic homology manifolds

We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary $p$ -groups in the groups concerned. In some cases, including ${\mathrm{Sp}}(2n,\mathbb Z )$ , the bounds we obtain are sharp: if $X$ is a generalized $\mathbb Z /3$ -homology sphere of dimension less than $2n-1$ or a $\mathbb Z /3$ -acyclic $\mathbb Z /3$ -homology manifold of dimension less than $2n$ , and if $n\ge 3$ , then any action of ${\mathrm{Sp}}(2n,\mathbb Z )$ by homeomorphisms on $X$ is trivial; if $n=2$ , then every action of ${\mathrm{Sp}}(2n,\mathbb Z )$ on $X$ factors through the abelianization of ${\mathrm{Sp}}(4,\mathbb Z )$ , which is $\mathbb Z /2$ .     

Stability results for the N-dimensional Schiffer conjecture via a perturbation method

Given a eigenvalue $\mu _{0m}^2$ of $-\Delta $ in the unit ball $B_1$ , with Neumann boundary conditions, we prove that there exists a class $\mathcal{D}$ of $C^{0,1}$ -domains, depending on $\mu _{0m} $ , such that if $u$ is a no trivial solution to the following problem $ \Delta u+\mu u=0$ in $\Omega , u=0$ on $\partial \Omega $ , and $ \int \nolimits _{\partial \Omega }\partial _{\mathbf{n}}u=0$ , with $\Omega \in \mathcal{D}$ , and $\mu =\mu _{0m}^2+o(1)$ , then $\Omega $ is a ball. Here $\mu $ is a eigenvalue of $-\Delta $ in $\Omega $ , with Neumann boundary conditions.