Zagier-type dualities and lifting maps for harmonic Maass-Jacobi forms

The real-analytic Jacobi forms of Zwegers' PhD thesis play an important role in the study of mock theta functions and related topics, but have not been part of a rigorous theory yet. In this paper, we introduce harmonic Maass-Jacobi forms, which include the classical Jacobi forms as well as Zwegers' functions as examples. Maass-Jacobi-Poincaré series also provide prime examples. We compute their Fourier expansions, which yield Zagier-type dualities and also yield a lift to skew-holomorphic Jacobi-Poincaré series. Finally, we link harmonic Maass-Jacobi forms to different kinds of automorphic forms via a commutative diagram.     

Eigenfunctions of transfer operators and cohomology

The eigenfunctions with eigenvalues 1 or −1 of the transfer operator of Mayer are in bijective correspondence with the eigenfunctions with eigenvalue 1 of a transfer operator connected to the nearest integer continued fraction algorithm. This is shown by relating these eigenspaces of these operators to cohomology groups for the modular group with coefficients in certain principal series representations.     

Exceptional congruences for the coefficients of certain eta-product newforms

Let F(z)=∑_n=1^∞a(n)qⁿ denote the unique weight 16 normalized cuspidal eigenform on . In the early 1970s, Serre and Swinnerton-Dyer conjectured that

     

Product set phenomena for countable groups

We develop in this paper novel techniques to analyze local combinatorial structures in product sets of two subsets of a countable group which are “large” with respect to certain classes of (not necessarily invariant) means on the group. Our methods heavily utilize the theory of C*-algebras and random walks on groups. As applications of our methods, we extend and quantify a series of recent results by Jin, Bergelson–Furstenberg–Weiss, Beiglböck–Bergelson–Fish, Griesmer and Di Nasso–Lupini to general countable groups.     

Note on divisor function for quaternion algebras

Let a be an integral ideal in a quaternion algebra U over rational numbers Q which ramifies precisely at p and ∞, and d(a) be its divisor function. Recently, Kim and Zhang proved a quaternion analogue of the classical formula , and then established an asymptotic formula for the sum . In this note we improved the upper bound for the error term in the asymptotic formula, and then considered the quaternion analogue of another well-known formula .     

Newman's phenomenon for generalized Thue-Morse sequences

Let t_j=(-1)^s(j) be the Thue-Morse sequence with s(j) denoting the sum of the digits in the binary expansion of j. A well-known result of Newman [On the number of binary digits in a multiple of three, Proc. Amer. Math. Soc. 21 (1969) 719-721] says that t₀+t₃+t₆+?+t_3k>0 for all k?0.In the first part of the paper we show that t₁+t₄+t₇+?+t_3k+1<0 and t₂+t₅+t₈+?+t_3k+2?0 for k?0, where equality is characterized by means of an automaton. This sharpens results given by Dumont [Discrépance des progressions arithmétiques dans la suite de Morse, C. R. Acad. Sci. Paris Sér. I Math. 297 (1983) 145-148]. In the second part we study more general settings. For a,g?2 let ω_a=exp(2πi/a) and , where s_g(j) denotes the sum of digits in the g-ary digit expansion of j. We observe trivial Newman-like phenomena whenever a|(g-1). Furthermore, we show that the case a=2 inherits many Newman-like phenomena for every even g?2 and large classes of arithmetic progressions of indices. This, in particular, extends results by Drmota and Ska?ba [Rarified sums of the Thue-Morse sequence, Trans. Amer. Math. Soc. 352 (2000) 609-642] to the general g-case.     

Transversality family of expanding rational semigroups

We study finitely generated expanding semigroups of rational maps with overlaps on the Riemann sphere. We show that if a d$d$-parameter family of such semigroups satisfies the transversality condition, then for almost every parameter value the Hausdorff dimension of the Julia set is the minimum of 2 and the zero of the pressure function. Moreover, the Hausdorff dimension of the exceptional set of parameters is estimated. We also show that if the zero of the pressure function is greater than 2$2$, then typically the 2-dimensional Lebesgue measure of the Julia set is positive. Some sufficient conditions for a family to satisfy the transversality conditions are given. We give non-trivial examples of families of semigroups of non-linear polynomials with the transversality condition for which the Hausdorff dimension of the Julia set is typically equal to the zero of the pressure function and is less than 2$2$. We also show that a family of small perturbations of the Sierpinski gasket system satisfies that for a typical parameter value, the Hausdorff dimension of the Julia set (limit set) is equal to the zero of the pressure function, which is equal to the similarity dimension. Combining the arguments on the transversality condition, thermodynamical formalisms and potential theory, we show that for each a∈C$a\in \mathbb{C}$ with |a|≠0,1$\left|a\right|\ne 0,1$, the family of small perturbations of the semigroup generated by {z²,az²}$\{z^2,a{z}^2\}$ satisfies that for a typical parameter value, the 2-dimensional Lebesgue measure of the Julia set is positive.     

Congruences for Hermitian modular forms of degree 2

We give two congruence properties of Hermitian modular forms of degree 2 over and . The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm?s theorem. Another is the well-definedness of the p-adic weight for Hermitian modular forms.     

The Bailey chain and mock theta functions

Standard applications of the Bailey chain preserve mixed mock modularity but not mock modularity. After illustrating this with some examples, we show how to use a change of base in Bailey pairs due to Bressoud, Ismail and Stanton to explicitly construct families of q$q$-hypergeometric multisums which are mock theta functions. We also prove identities involving some of these multisums and certain classical mock theta functions.     

On strong multiplicity one for automorphic representations

We extend the strong multiplicity one theorem of Jacquet, Piatetski-Shapiro and Shalika. Let π be a unitary, cuspidal, automorphic representation of . Let S be a set of finite places of K, such that the sum is convergent. Then π is uniquely determined by the collection of the local components finite} of π. Combining this theorem with base change, it is possible to consider sets S of positive density, having appropriate splitting behavior with respect to a solvable extension L of K, and where π is determined up to twisting by a character of the Galois group of L over K.     

The boundary map and the connecting orbits

The purpose of this article is to show that the image of the homological boundary map attached to a filtration for an attractor-repeller pair of a smooth flow on a compact manifold is a submodule of the Alexander cohomology of certain order of the connecting set (some restrictions have to be imposed in order to have a valid argument). In particular, this gives an affirmative answer to a conjecture in Conley index theory which states that if the boundary map is not zero in two dimensions, the connecting set cannot be contractible.     

Twisted Hecke L-values and period polynomials

Let f₁,…,fd be an orthogonal basis for the space of cusp forms of even weight 2k on Γ₀(N). Let L(fi,s) and L(fi,χ,s) denote the L-function of fi and its twist by a Dirichlet character χ, respectively. In this note, we obtain a “trace formula” for the values at integers m and n with 0<m,n<2k and proper parity. In the case N=1 or N=2, the formula gives us a convenient way to evaluate precisely the value of the ratio L(f,χ,m)/L(f,n) for a Hecke eigenform f.     

Iwasawa invariants for the False-Tate extension and congruences between modular forms

For an ordinary prime p?3, we consider the Hida family associated to modular forms of a fixed tame level, and their Selmer groups defined over certain Galois extensions of Q(μp) whose Galois group is G≅Zp?Zp. For Selmer groups defined over the cyclotomic Zp-extension of Q(μp), we show that if the μ-invariant of one member of the Hida family is zero, then so are the μ-invariants of the other members, while the λ-invariants remain the same only in a branch of the Hida family. We use these results to study the behavior of some invariants from non-commutative Iwasawa theory in the Hida family.     

The wild kernel of exceptional number fields

For an infinite class of exceptional number fields, F, we prove that a map of Keune from to the 2-Sylow subgroup of the wild kernel of F is an isomorphism, and in all cases we give an upper bound for the kernel and cokernel of this map. We find examples which show that the map is neither injective nor surjective in general.     

The Lie theory of the Rankin-Cohen brackets and allied bi-differential operators

The Lie theoretic nature of the Rankin-Cohen brackets is here uncovered. These bilinear operations, which, among other purposes, were devised to produce a holomorphic automorphic form from any pair of such forms, are instances of SL(2,R)-equivariant holomorphic bi-differential operators on the upper half-plane. All of the latter are here characterized and explicitly obtained, by establishing their one-to-one correspondence with singular vectors in the tensor product of two sl(2,C) Verma modules. The Rankin-Cohen brackets arise in the generic situation where the linear span of the singular vectors of a given weight is one-dimensional. The picture is completed by the special brackets which appear for the finite number of pairs of initial lowest weights for which the above space is two-dimensional. Explicit formulæ for basis vectors in both situations are obtained and universal Lie algebraic objects subsuming all of them are exhibited. A few applications of these results and Lie theoretic approach are then considered. First, a generalization of the latter yields Rankin-Cohen type brackets for Hilbert modular forms. Then, some Rankin-Cohen brackets are shown to intertwine the tensor product of two holomorphic discrete series representations of SL(2,R) with another such representation occurring in the tensor product decomposition. Finally, the sought for precise relationship between the Rankin-Cohen brackets and Gordan's transvection processes of the nineteenth century invariant theory is unveiled.     

Extension du domaine de définition d'une série de Dirichlet multiplicative

We prove a general theorem which allows to approach a multiplicative Dirichlet series with two variables by a known series.     

Nonvanishing of Koecher–Maass series attached to Siegel cusp forms

We prove a nonvanishing result for Koecher–Maass series attached to Siegel cusp forms of weight k and degree n   in certain strips on the complex plane. When n=2$n=2$, we prove such a result for forms orthogonal to the space of the Saito–Kurokawa lifts ‘up to finitely many exceptions’, in bounded regions.     

Periods of orbits modulo primes

Let S be a monoid of endomorphisms of a quasiprojective variety V defined over a global field K. We prove a lower bound for the size of the reduction modulo places of K of the orbit of any point α∈V(K) under the action of the endomorphisms from S. We also prove a similar result in the context of Drinfeld modules. Our results may be considered as dynamical variants of Artin's primitive root conjecture.