SearcharxivSearch

arXiv subjects

YoungJu Choie

Publications and source records attributed to YoungJu Choie.

At least 19 recordsLinked to original sources

Cusp forms and parabolic cohomology classes for symmetric spaces of rank one

For any rank-one Riemannian symmetric space S of non-compact type and any discrete, cofinite, non-cocompact, torsion-free group $\Gamma$ of orientation-preserving Riemannian isometries on S, we develop a cohomological interpretation for the cusp forms of $\Gamma$. To that end, we identify certain $\Gamma$-submodules of smooth semi-analytic vectors in the spherical principal series representation with spectral parameter $\nu$ as well as certain subspaces of parabolic cohomology spaces of $\Gamma$ of degree dim S-1 with these $\Gamma$-submodules. We provide explicit isomorphisms between the spaces of cusp forms of spectral parameter $\nu$ and these specific cohomology subspaces. The isomorphisms from cusp forms to cohomology are given by an integral transform, and the explicit form of the inverse isomorphism takes advantage of a certain reproducing property of the integral transform. The result is uniform for all these symmetric spaces and does not rely on their classification.

math.NT

Kronecker second limit formula for real quadratic fields

In this paper, the second Kronecker ``limit" formula for a real quadratic field is established for the first time. More precisely, we obtain the second Kronecker limit formula of Zagier's zeta function. Using the reduction theory of Zagier, which connects Zagier's zeta function to the zeta function of real quadratic fields, we express the values of the zeta function of narrow ideal classes in real quadratic fields at natural arguments in terms of an analytic function which we call the \emph{higher Herglotz-Zagier-Novikov function} and denote it by $\mathscr{F}_k(x; α, β)$. This function plays a central role in our study. The function $\mathscr{F}_k(x; α, β)$ possesses elegant properties, for example, we prove that it satisfies the two, three and six-term functional equations. As a result of our Kronecker limit formula and functional equations, we provide another expression for the combinations of zeta values. Finally, we interpret our Kronecker ``limit" formula in terms of cohomological relations and establish a connection between $\mathscr{F}_k(x; α, β)$ and a generalized Dedekind-eta function.

math.NT

Period Function of Maass forms from Ramanujan's Lost Notebook

The Lost Notebook of Ramanujan contains a number of beautiful formulas, one of which can be found on its page 220. It involves an interesting function, which we denote as $\mathcal{F}_1(x)$. In this paper, we show that $\mathcal{F}_1(x)$ belongs to the category of period functions as it satisfies the period relations of Maass forms in the sense of Lewis and Zagier \cite{lz}. Hence, we refer to $\mathcal{F}_1(x)$ as the \emph{Ramanujan period function}. Moreover, one of the salient aspects of the Ramanujan period function $\mathcal{F}_1(x)$ that we found out is that it is a Hecke eigenfunction under the action of Hecke operators on the space of periods. We also establish that it naturally appears in a Kronecker limit formula of a certain zeta function, revealing its connections to various topics. Finally, we generalize $\mathcal{F}_1(x)$ to include a parameter $s,$ connecting our work to the broader theory of period functions developed by Bettin and Conrey \cite{bc} and Lewis and Zagier \cite{lz}. We emphasize that Ramanujan was the first to study this function, marking the beginning of the study of period functions.

math.NT

Schubert Eisenstein series and Poisson summation for Schubert varieties

The first author and Bump defined Schubert Eisenstein series by restricting the summation in a degenerate Eisenstein series to a particular Schubert variety. In the case of $\mathrm{GL}_3$ over $\mathbb{Q}$ they proved that these Schubert Eisenstein series have meromorphic continuations in all parameters and conjectured the same is true in general. We revisit their conjecture and relate it to the program of Braverman, Kazhdan, Lafforgue, Ngô, and Sakellaridis aimed at establishing generalizations of the Poisson summation formula. We prove the Poisson summation formula for certain schemes closely related to Schubert varieties and use it to refine and establish the conjecture of the first author and Bump in many cases.

math.NT

Period functions for vector-valued Maass cusp forms of real weight, with an application to Jacobi Maass cusp forms

For vector-valued Maass cusp forms for~$SL_2(\mathbb{Z})$ with real weight~$k\in\mathbb{R}$ and spectral parameter $s\in\mathbb{C}$, $\mathrm{Re} s\in (0,1)$, $s\not\equiv \pm k/2$ mod $1$, we propose a notion of vector-valued period functions, and we establish a linear isomorphism between the spaces of Maass cusp forms and period functions by means of a cohomological approach. The period functions are a generalization of those for the classical Maass cusp forms, being solutions of a finite-term functional equation or, equivalently, eigenfunctions with eigenvalue $1$ of a transfer operator deduced from the geodesic flow on the modular surface. We apply this result to deduce a notion of period functions and related linear isomorphism for Jacobi Maass forms of weight $k+1/2$ for the semi-direct product of $SL_2(\mathbb{Z})$ with the integer points $Hei(\mathbb{Z})$ of the Heisenberg group.

math.NT

On Rankin-Cohen Brackets of Hecke Eigenforms and Modular Forms of Half-Integral Weight

We generalize the linear relation formula between the square of normalized Hecke eigenforms of weight $k$ and normalized Hecke eigenforms of weight $2k$, to Rankin-Cohen brackets of general degree. As an ingredient of the proof, we also generalize a formula of Zagier on the Petersson inner product of Rankin-Cohen brackets involving Eisenstein series.

math.NT

Twisted Kronecker series and periods of modular forms on $Γ_0(N)$

We introduce an infinite family of Kronecker series twisted by characters. As an application, we give a closed formula for the sum of all Hecke eigenforms on $Γ_0(N) $ multiplied by their twisted period polynomials in terms of the product of those twisted Kronecker series, when N is square free. This extends an identity of Zagier among period polynomials, Hecke eigenforms and a quotient of Jacobi theta series.

math.NT

Arithmetic properties of the Herglotz-Zagier-Novikov function

In this article, we undertake the study of the function $\mathscr{F}(x;u,v)$, which we refer to as the Herglotz-Zagier-Novikov function. This function appears in Novikov's work on the Kronecker limit formula, which was motivated by Zagier's paper where he obtained the Kronecker limit formula in terms of the Herglotz function $F(x)$. Two, three, and six-term functional equations satisfied by $\mathscr{F}(x;u,v)$ are exhibited. These are cohomological relations coming from the action of an involution and SL$_2(\mathbb{Z})$ on $\mathbb{C}\times {\mathbb{D}_1}^2$ (the unit circle ${\mathbb{D}_1})$. We also provide the special values of $\mathscr{F}(x;u,v)$ at rational arguments of $x$. Importantly, $\mathscr{F}(x;u,v)$ serves as a unified generalization of three other interesting functions, namely $F(x)$, $J(x)$, and $T(x)$, which also appear in various Kronecker limit formulas and are previously studied by Cohen, Herglotz, Muzaffar and Williams, and Radchenko and Zagier. Consequently, our study not only reveals the numerous elegant properties of $\mathscr{F}(x;u,v)$ but also helps us to further develop the theories of functions related to its special cases such as $J(x)$ and $T(x)$.

math.NT

Periods of Hilbert Modular forms, Kronecker series and Cohomology

Generalizing a result of \cite{Z1991, CPZ} about elliptic modular forms, we give a closed formula for the sum of all Hilbert Hecke eigenforms over a totally real number field with strict class number $1$, multiplied by their period polynomials, as a single product of the Kronecker series.

math.NT

Simultaneous nonvanishing of the Products of L-functions associated to elliptic cusp forms

A generalized Riemann hypothesis states that all zeros of the completed Hecke $L$-function $L^*(f,s)$ of a normalized Hecke eigenform $f$ on the full modular group should lie on the vertical line $Re(s)=\frac{k}{2}.$ It was shown by Kohnen that there exists a Hecke eigenform $f$ of weight $k$ such that $L^*(f,s) \neq 0$ for sufficiently large $k$ and any point on the line segments $Im(s)=t_0, \frac{k-1}{2} < Re(s) < \frac{k}{2}-ε, \frac{k }{2}+ε< Re(s) < \frac{k+1}{2},$ for any given real number $t_0$ and a positive real number $ε.$ This paper concerns the non-vanishing of the product $L^*(f,s)L^*(f,w)$ $(s,w\in \mathbb{C})$ on average.

math.NT

Modular cocycles and cup product

We extend to positive real weights Haberland's formula giving a cohomological description of the Petersson scalar product of modular cusp forms of positive even weight. This relation is based on the cup product of an Eichler cocycle and a Knopp cocycle. We also consider the cup product of two Eichler cocycles attached to modular forms. In the classical context of integral weights at least $2$ this cup product is uninteresting. We show evidence that for real weights this cup product may very well be non-trivial. We approach the question whether the cup product is a non-trivial coinvariant by duality with a space of entire modular forms. Under suitable conditions on the weights this leads to an explicit triple integral involving three modular forms. We use this representation to study the cup product numerically.

math.NT

Multiple period integrals and cohomology

This work gives a version of the Eichler-Shimura isomorphism with a non-abelian $H^1$ in group cohomology. Manin has given a map from vectors of cusp forms to a noncommutative cohomology set by means of iterated integrals. We show Manin's map is injective but far from surjective. By extending Manin's map we are able to construct a bijective map and remarkably this establishes the existence of a non-abelian version of the Eichler-Shimura map.

math.NT

Holomorphic automorphic forms and cohomology

We investigate the correspondence between holomorphic automorphic forms on the upper half-plane with complex weight and parabolic cocycles. For integral weights at least 2 this correspondence is given by the Eichler integral. Knopp generalized this to real weights. We show that for weights that are not an integer at least 2 the generalized Eichler integral gives an injection into the first cohomology group with values in a module of holomorphic functions, and characterize the image. We impose no condition on the growth of the automorphic forms at the cusps. For real weights that are not an integer at least 2 we similarly characterize the space of cusp forms and the space of entire automorphic forms. We give a relation between the cohomology classes attached to holomorphic automorphic forms of real weight and the existence of harmonic lifts. A tool in establishing these results is the relation to cohomology groups with values in modules of "analytic boundary germs", which are represented by harmonic functions on subsets of the upper half-plane. Even for positive integral weights cohomology with these coefficients can distinguish all holomorphic automorphic forms, unlike the classical Eichler theory.

math.NT

Functional equations for double series of Euler type with coefficients

We prove two types of functional equations for double series of Euler type with complex coefficients. The first one is a generalization of the functional equation for the Euler double zeta-function, proved in a former work of the second-named author. The second one is more specific, which is proved when the coefficients are Fourier coefficients of cusp forms and the modular relation is essentially used in the course of the proof. As a consequence of functional equation we are able to determine trivial zero divisors.

math.NT

Functional equations for double series of Euler-Hurwitz-Barnes type with coefficients

We first survey the known results on functional equations for the double zeta-function of Euler type and its various generalizations. Then we prove two new functional equations for double series of Euler-Hurwitz-Barnes type with complex coefficients. The first one is of general nature, while the second one is valid when the coefficients are Fourier coefficients of a cusp form.

math.NT

Iterated period integrals and multiple Hecke $L$-functions

In this paper we express the multiple Hecke $L$-function in terms of a linear combination of iterated period integrals associated with elliptic cusp forms, which is introduced by Manin around 2004. This expression generalizes the classical formula of Hecke $L$-function obtained by the Mellin transformation of a cusp form. Also the expression gives a way of the analytic continuation of the multipleHecke $L$-function.

math.NT