Searcharxiv⌕ Search

arXiv subjects

Henry H. Kim

Publications and source records attributed to Henry H. Kim.

At least 19 recordsLinked to original sources
arXiv2026

On explicit Fourier expansions of theta lifts to ${\rm SO}(3,n+1)$ arising from elliptic newforms of level one

Using degenerate Whittaker functions and explicit computations of Eisenstein series, we obtain explicit formulas for the Fourier expansions of theta lifts to the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$, where $n\ge 3$ and $G$ splits at all finite places. The theta lifts in question are Hecke eigen, non-cuspidal, square-integrable automorphic forms of weight $l$ ($l\ge n+2$, even), arising from elliptic newforms for $\SL_2(\Z)$ of weight $l-\frac{n-2}{2}$ when $n$ is even and $2l-n+1$ when $n$ is odd.

math.NT↗
arXiv2026

Rationality of quaternionic Eisenstein series on $\mathrm{U}(2,n)$

Let $\mathbf{G}=\mathrm{U}(2,n)$ be the unitary group associated to a Hermitian space over a quadratic imaginary number field $E$. We assume that 2 is unramified in $E$, and the Hermitian space splits at all finite places and has signature $(2,n)$, where $n\equiv 2 \operatorname{mod} 4$. A theory of Fourier expansions of quaternionic modular forms on $\mathbf{G}$ is developed by Hilado, McGlade, and Yan. In this paper, we define a family of degenerate Heisenberg Eisenstein series $E_{\ell}$ for $\ell>n$ on $\mathbf{G}$, which is a weight $\ell$ quaternionic modular form, and we explicitly compute their Fourier expansions. We prove that the Fourier coefficients of $E_{\ell}$ are rational in a certain sense, and that their denominators are uniformly bounded by an integer depending only on $\ell,n$, and $E$. This provides the first family of quaternionic Eisenstein series whose Fourier coefficients are known to be rational or algebraic.

math.NT↗
arXiv2025

On the Fourier expansion of Gan-Gurevich lifts on the exceptional group of type $G_2$

By using the degenerate Whittaker functions, we study the Fourier expansion of the Gan-Gurevich lifts which are Hecke eigen quaternionic cusp forms of weight $k$ ($k\geq 2$, even) on the split exceptional group $G_2$ over $\mathbb{Q}$ which come from elliptic newforms of weight $2k$ without supercuspidal local components. In particular, our results give a partial answer to Gross' conjecture.

math.NT↗
arXiv2025

Central limit theorem for Hecke eigenvalues

In this paper, we obtain the central limit theorem of Hecke eigenvalues in very general setting of split simple algebraic groups over $\mathbb{Q}$, using irreducible characters of compact Lie groups.

math.NT↗
arXiv2022

Rankin-Selberg convolution for the Duke-Imamoglu-Ikeda lift

For two Hecke eigenforms $h_1$ and $h_2$ in the Kohnen plus space of half-integral weight, let $I_n(h_1)$ and $I_n(h_2)$ be the Duke-Imamoglu-Ikeda lift of $h_1$ and $h_2$, respectively, which are Siegel cusp forms with respect to $Sp_n(\ZZ)$. Moreover, let $E_{n/2+1/2}$ be the Cohen Eisenstein series of weight $n/2+1/2$. We then express the Rankin-Selberg convolution $R(s,I_n(h_1),I_n(h_2))$ of $I_n(h_1)$ and $I_n(h_2)$ in terms of a certain Dirichlet series $D(s,h_1,h_2,E_{n/2+1/2})$, which is similar to the triple convolution product of $h_1, h_2$ and $E_{n/2+1/2}$. We apply our formula to mass equidistribution for the Duke-Imamoglu-Ikeda lift assuming the holomorphy of $D(s,h_1,h_1,E_{n/2+1/2})$.

math.NT↗
arXiv2022

Period of the Ikeda type lift for $E_{7,3}$

In our previous work, he second and the third named authors constructed the Ikeda type lift for the exceptional group $E_{7,3}$ from an elliptic modular cusp form. In this paper, we prove an explicit formula for the period or the Petersson norm of the Ikeda type lift in terms of the product of the special values of the symmetric square $L$-function of the elliptic modular form. There are similar works done by the first author with his collaborator, but new technical inputs are required and developed to overcome some difficulties coming from the hugeness of $E_{7,3}$.

math.NT↗
arXiv2022

Equidistribution theorems for holomorphic Siegel cusp forms of general degree: the level aspect

We prove equidistribution theorems for a family of holomorphic Siegel cusp forms of general degree in the level aspect. Our main contribution is to estimate unipotent contributions for general degree in the geometric side of Arthur's invariant trace formula in terms of Shintani zeta functions. Several applications including the vertical Sato-Tate theorem and low-lying zeros for standard $L$-functions of holomorphic Siegel cusp forms are discussed. We also show that the "non-genuine forms" which come from non-trivial endoscopic contributions by Langlands functoriality classified by Arthur are negligible.

math.NT↗
arXiv2020

The Shintani double zeta functions

In this paper, we give an explicit formula of the Shintani double zeta functions with any ramification in the most general setting of adeles over an arbitrary number field. Three applications of the explicit formula are given. First, we obtain a functional equation satisfied by the Shintani double zeta functions in addition to Shintani's functional equations. Second, we establish the holomorphicity of a certain Dirichlet series generalizing a result by Ibukiyama and Saito. This Dirichlet series occurs in the study of unipotent contributions of the geometric side of the Arthur-Selberg trace formula of the symplectic group. Third, we prove an asymptotic formula of the weighted average of the central values of quadratic Dirichlet $L$-functions.

math.NT↗
arXiv2018

Higher level cusp forms on the exceptional group of type $E_{7}$

By using new techniques with the degenerate Whittaker functions found by Ikeda-Yamana, we construct higher level cusp form on $E_{7,3}$, called Ikeda type lift, from any Hecke cusp form whose corresponding automorphic representation has no supercuspidal local components. This generalizes the previous results on level one forms. But there are new phenomena in higher levels; first, we can handle non-trivial central characters. Second, the lift depends only on the restriction of the Hecke cusp form to $SL_2$. Hence any twist of the cusp form gives rise to the same lift. However for square free levels with the trivial central character, there is no such ambiguity.

math.NT↗
arXiv2018

Non-vanishing of Miyawaki type lift

Miyawaki type lifts are kinds of Langlands functorial lifts and a special case was first conjectured by Miyawaki and proved by Ikeda for Siegel cusp forms. Since then, such a lift for Hermitian modular forms was constructed by Atobe and Kojima , and for half-integral weight Siegel cusp forms by Hayashida, and we constructed Miyawaki type lift for ${\rm GSpin}(2,10)$. Recently Ikeda and Yamana generalized Ikeda type construction and accordingly did Miyawaki type lift for Hilbert cusp forms in a remarkable way. In all these works, a construction of Miyawaki type lift takes two steps as follows: First, construct Ikeda type lift on a bigger group from an elliptic cusp form, and then define a certain integral on a block diagonal element which is an analogue of pull-back formula studied by Garrett for Siegel Eisenstein series. If the integral is non-vanishing, we show that it is a Hecke eigen cusp form, and it is the Miyawaki type lift. The question of non-vanishing of the integral was left open. In this paper, we show the non-vanishing for certain special cases.

math.NT↗
arXiv2018

Equidistribution theorems for holomorphic Siegel modular forms for $GSp_4$; Hecke fields and $n$-level density

This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of Hecke fields is unbounded on the subspace of genuine forms which do not come from functorial lift of smaller subgroups of $GSp_4$ under a conjecture in local-global compatibility and Arthur's classification for $GSp_4$. Second, we prove simultaneous vertical Sato-Tate theorem. Namely, we prove simultaneous equidistribution of Hecke eigenvalues at finitely many primes. Third, we compute the $n$-level density of degree 4 spinor $L$-functions, and thus we can distinguish the symmetry type depending on the root numbers. This is conditional on certain conjecture on root numbers. Fourth, we consider equidistribution of paramodular forms. In this case, we can prove a result on root numbers. Main tools are the equidistribution theorem in our previous work and Shin-Templier's work.

math.NT↗
arXiv2016

Artin representations for $GL_n$

Let $π$ be a cuspidal automorphic representation of $GL_n(\mathbb{A}_\mathbb{Q})$ which satisfies certain reasonable assumptions such as integrality of Hecke polynomials, the existence of mod $\ell$ Galois representations attached to $π$. Under Langlands functoriality of exterior $m$-th power $\wedge^m(π)$, $m=2,...,[\frac n2]$, we will construct a unique Artin representation associated to $π$. As a corollary, we obtain that such a cuspidal representation of $GL_n(\mathbb{A}_\mathbb{Q})$ satisfies the Ramanujan conjecture. We also revisit our previous work on Artin representations associated to non-holomorphic Siegel cusp forms of weight (2,1), and show that we can associate non-holomorphic Siegel modular forms of weight $(2,1)$ to Maass forms for $GL_2/\mathbb{Q}$ and cuspidal representations of $GL_2$ over imaginary quadratic fields.

math.NT↗
arXiv2016

An equidistribution theorem for holomorphic Siegel modular forms for $GSp_4$

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier used Euler-Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A, B_1$ in the main theorem which have not been studied and a mysterious second term $B_2$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato-Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.

math.NT↗
arXiv2016

Extreme residues of Dedekind zeta functions

In a family of $S_{d+1}$-fields ($d=2,3,4$), we obtain the true upper and lower bound of the residues of Dedekind zeta functions except for a density zero set. For $S_5$-fields, we need to assume the strong Artin conjecture. We also show that there exists an infinite family of number fields with the upper and lower bound, resp.

math.NT↗
arXiv2016

The average of the smallest prime in a conjugacy class

Let $C$ be a conjugacy class of $S_n$ and $K$ an $S_n$-field. Let $n_{K,C}$ be the smallest prime which is ramified or whose Frobenius automorphism Frob$_p$ does not belong to $C$. Under some technical conjectures, we compute the average of $n_{K,C}$. For $S_3$ and $S_4$-fields, our result is unconditional. For $S_n$-fields, $n=3,4,5$, we give a different proof which depends on the strong Artin conjecture. Let $N_{K,C}$ be the smallest prime for which Frob$_p$ belongs to $C$. For $S_3$-fields, we obtain an unconditional result for the average of $N_{K,C}$ for $C=[(12)]$.

math.NT↗
arXiv2015

Miyawaki type lift for $GSpin(2,10)$

Let $\frak T_2$ (resp. $\mathfrak{T}$) be the Hermitian symmetric domain of $Spin(2,10)$ (resp. $E_{7,3}$). In the previous work, we constructed holomorphic cusp forms on $\mathfrak{T}$ from elliptic cusp forms with respect to $SL_2(\mathbb{Z})$. By using such cusp forms we construct holomorphic cusp forms on $\mathfrak{T}_2$ which are similar to Miyawaki lift in symplectic groups established by T. Ikeda.

math.NT↗