Theta series and trace operators for Г<Subscript>n</Subscript>[q]

We consider the action of suitable trace operators on non homogeneous theta series that are Siegel modular forms for the principal congruence subgroups of the symplectic group of odd levelq: Г _n [q]. This is used for investigating whether modular forms forГ _n [N], withN|q, which are linear combination of such theta series, can be expressed as combination of theta series that are modular forms with respect toГ _n [N].     

Modular forms and differential operators

In 1956, Rankin described which polynomials in the derivatives of modular forms are again modular forms, and in 1977, H Cohen defined for eachn ≥ 0 a bilinear operation which assigns to two modular formsf andg of weightk andl a modular form [f, g]_n of weightk +l + 2n. In the present paper we study these “Rankin-Cohen brackets” from two points of view. On the one hand we give various explanations of their modularity and various algebraic relations among them by relating the modular form theory to the theories of theta series, of Jacobi forms, and of pseudodifferential operators. In a different direction, we study the abstract algebraic structure (“RC algebra”) consisting of a graded vector space together with a collection of bilinear operations [,]_n of degree + 2n satisfying all of the axioms of the Rankin-Cohen brackets. Under certain hypotheses, these turn out to be equivalent to commutative graded algebras together with a derivationS of degree 2 and an element Φ of degree 4, up to the equivalence relation (∂,Φ) ~ (∂ - ϕE, Φ - ϕ² + ∂(ϕ)) where ϕ is an element of degree 2 andE is the Fuler operator (= multiplication by the degree). Dedicated to the memory of Professor K G Ramanathan     

Quaternionic theta constants

We investigate the six quaternionic theta constants introduced by Freitag and Hermann. More precisely we investigate their restrictions to the Hermitian resp. Siegel half-space of degree 2. It turns out that these theta constants generate the graded ring of symmetric Hermitian modular forms for the principal congruence subgroup of level 1 + i over the Gaussian number field resp. of Siegel modular forms for the principal congruence subgroup of level 2 and even weight. As an application we obtain a simple construction of Igusa’s Siegel modular form of degree 2 and weight 30 with respect to the non-trivial character.     

Trace operators and theta series for Γ<Subscript>0,n</Subscript>[q] and Γ<Subscript>n</Subscript>[q]

We consider the action of suitable trace operators on non homogeneous theta series that are Siegel modular forms for the principal congruence subgroups of the symplectic group of level q, _n[q]. Then, we prove that modular forms for the Hecke subgroup of level q, _0,n[q], that are linear combination of such theta series, can also be expressed as combination of (homogeneous) theta series that are modular forms with respect to _0,n[q].     

On singular modular forms for principal congruence subgroups

We show that spaces of vector–valued singular modular forms for principal congruence subgroups of the symplectic group Sp(n,ℤ) of integral weight are generated by suitable finite dimensional families of Siegel theta series. This is obtained as an application of some results concerning the action of trace operators on non–homogeneous theta series.     

On a sum involving Fourier coefficients of cusp forms

We improve the existing upper bound for the quantity |∑ _n⩽x a(n ²)|, where a(n ²) is the n ²th Hecke eigenvalue of a normalized holomorphic cusp form (Hecke eigenform) of the full modular group SL(2, ℤ), whenever the weight of the original holomorphic cusp form (Hecke eigenform) lies in a certain range. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 4, pp. 565–583, October–December, 2006.     

Extension of Floquet''''s theory to nonlinear quasiperiodic differential equations

In this paper, we consider the following autonomous system of differential equations: x = Ax f(x,θ), θ = ω, where θ∈Rm, ω = (ω1,…,ωm) ∈ Rm, x ∈ Rn, A ∈ Rn×n is a constant matrix and is hyperbolic, f is a C∞ function in both variables and 2π-periodic in each component of the vector e which satisfies f = O(||x||2) as x → 0. We study the normal form of this system and prove that under some proper conditions this system can be transformed to an autonomous system: x = Ax g(x), θ = ω. Additionally, the proof of this paper naturally implies the extension of Chen's theory in the quasi-periodic case.     

Asymptotic expansion of the log-likelihood function based on stopping times defined on a Markov process

Consider the parameter space Θ which is an open subset of ℝ ^k ,k≧1, and for each θ∈Θ, let the r.v.′sY _n ,n=0, 1, ... be defined on the probability space (X,A,P _θ) and take values in a Borel setS of a Euclidean space. It is assumed that the process {Y _n },n≧0, is Markovian satisfying certain suitable regularity conditions. For eachn≧1, let υ _n be a stopping time defined on this process and have some desirable properties. For 0 < τ _n → ∞ asn→∞, set h _n →h ∈R ^k , and consider the log-likelihood function of the probability measure with respect to the probability measure . Here is the restriction ofP _θ to the σ-field induced by the r.v.′sY ₀,Y ₁, ..., . The main purpose of this paper is to obtain an asymptotic expansion of in the probability sense. The asymptotic distribution of , as well as that of another r.v. closely related to it, is obtained under both and . This research was supported by the National Science Foundation, Grant MCS77-09574. Research supported by the National Science Foundation, Grant MCS76-11620.     

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

On the errors committed by sequences of estimator functionals

Consider a sequence of estimators [^(q)] _n\hat \theta _n which converges almost surely to θ ₀ as the sample size n tends to infinity. Under weak smoothness conditions, we identify the asymptotic limit of the last time [^(q)] _n\hat \theta _n is further than ɛ away from θ ₀ when ɛ → 0⁺. These limits lead to the construction of sequentially fixed width confidence regions for which we find analytic approximations. The smoothness conditions we impose is that [^(q)] _n\hat \theta _n is to be close to a Hadamard-differentiable functional of the empirical distribution, an assumption valid for a large class of widely used statistical estimators. Similar results were derived in Hjort and Fenstad (1992) for the case of Euclidean parameter spaces; part of the present contribution is to lift these results to situations involving parameter functionals. The apparatus we develop is also used to derive appropriate limit distributions of other quantities related to the far tail of an almost surely convergent sequence of estimators, like the number of times the estimator is more than ɛ away from its target. We illustrate our results by giving a new sequential simultaneous confidence set for the cumulative hazard function based on the Nelson-Aalen estimator and investigate a problem in stochastic programming related to computational complexity.     

Oscillations of Cusp Form Coefficients Over Primes

Let f(z)=∑ _n=1^∞ λ _f (n)n ^(κ−1)/2 e(nz) be a holomorphic cusp form of weight κ for the full modular group SL ₂(ℤ). In this paper we study the cancellation of the coefficients λ _f (n) over primes in exponential sums.     

The number of components of complements to level surfaces of partially harmonic polynomials

In this paperk-harmonic polynomials in ℝ ⁿ , i.e. polynomials satisfying the Laplace equation with respect tok variables: ∂²/∂x ₁ ² +...+∂²/∂x _k ² F=0 are considered; here 1≤k≤n andn≥2. For a polynomialF (of degreem) of this type, it is proved that the number of components of the complements of its level sets does not exceed 2m ⁿ⁻¹+O(m ⁿ⁻²). Under the assumptions that the singular set of the level surface is compact or that the leading homogeneous part of thek-harmonic polynomialF is nondegenerate, sharper estimates are also established. Translated fromMatematicheskie Zametki, Vol. 62, No. 6, pp. 831–835, December, 1997 Translated by S. S. Anisov     

Congruences for Siegel modular forms and their weights

J.-P. Serre proved that the congruences for elliptic modular forms mod p ^m descend to those of weights mod p ^m−1(p−1). Later, this result was generalized by T. Ichikawa to the case of Siegel modular forms. In this note we use elementary methods to reduce Ichikawa’s result to a similar question about elliptic modular forms with level, where results of Katz are available.     

Simplen-Lie algebras

Two classes of simple modular n-Lie algebras are constructed. A consequence is obtaining examples of simple finite-dimensional n-Lie algebras of dimensions pⁿ−1, pⁿ−2, pⁿ⁻¹, and pⁿ⁻¹−1 over a field F_p of characteristic p. Supported by a grant from the Ministry of General and Vocational Education (for Fundamental Research in Mathematics). Translated fromAlgebra i Logika, Vol. 38, No. 3, pp. 334–353, May–June, 1999.     

Binomial Thue equations,ternary equations and power values of polynomials

We explicitly solve the equation Ax ⁿ   − By ⁿ  = ±1 and, along the way, we obtain new results for a collection of equations Ax ⁿ   − By ⁿ  = z ^m with m ∈ {3, n}, where x, y, z, A, B, and n are unknown nonzero integers such that n ≥ 3, AB = p ^α q ^β with nonnegative integers α and β and with primes 2 ≤ p < q < 30. The proofs depend on a combination of several powerful methods, including the modular approach, recent lower bounds for linear forms in logarithms, somewhat involved local considerations, and computational techniques for solving Thue equations of low degree.     

Shimura lifts of half-integral weight modular forms arising from theta functions

In 1973, Shimura (Ann. Math. (2) 97:440–481, 1973) introduced a family of correspondences between modular forms of half-integral weight and modular forms of even integral weight. Earlier, in unpublished work, Selberg explicitly computed a simple case of this correspondence pertaining to those half-integral weight forms which are products of Jacobi’s theta function and level one Hecke eigenforms. Cipra (J. Number Theory 32(1):58–64, 1989) generalized Selberg’s work to cover the Shimura lifts where the Jacobi theta function may be replaced by theta functions attached to Dirichlet characters of prime power modulus, and where the level one Hecke eigenforms are replaced by more generic newforms. Here we generalize Cipra’s results further to cover theta functions of arbitrary Dirichlet characters multiplied by Hecke eigenforms.      

On the irrationality measure for certain series

Let K be either the rational number field \Bbb Q{\Bbb Q} or an imaginary quadratic field. We give irrationality results for the number q = ?_n=1^￥rⁿ/(qⁿ-r^l)\theta=\sum_{n=1}^{\infty}{r^n}/(q^n-r^l), where q (∣q∣ > 1) is an integer in K, r∈ K ^× (∣r∣ < ∣q∣), and 1 ￡ l ? \Bbb Z1\le l\in{\Bbb Z} with q ⁿ ≠ r ^l (n ≥ 1).     

Counting models in universal Horn classes

Definen _K (λ) to be either ω, or the number of non-isomorphic models inK having cardinality α, whichever cardinal is larger. This paper contains a proof that for a congruence modular variety ⋎ of algebras of countable similarity type, there are only six possible functionsn _⋎. It is also proved that ifn _K (λ)≠2^λ for some λ, andK is a universal Horn class of models for a countable language, thenK must satisfy two conditions, one of which is quite restrictive and requires that the members ofK are all in a certain sense Abelian. Presented by B. Jonsson.     

Intersection numbers of cycles on locally symmetric spaces and fourier coefficients of holomorphic modular forms in several complex variables

Using the theta correspondence we construct liftings from the cohomology with compact supports of locally symmetric spaces associated to O(p, q) (resp. U(p, q)) of degreenq (resp. Hodge typenq, nq) to the space of classical holomorphic Siegel modular forms of weight (p +q)/2 and genusn (resp. holomorphic hermitian modular forms of weightp +q and genusn). It is important to note that the cohomology with compact supports contains the cuspidal harmonic forms by Borel [3]. We can express the Fourier coefficients of the lift of η in terms of periods of η over certain totally geodesic cycles—generalizing Shintani’s solution [21] of a conjecture of Shimura. We then choose η to be the Poincaré dual of a (finite) cycle and obtain a collection of formulas analogous to those of Hirzebruch-Zagier [8]. In our previous work we constructed the above lifting but we were unable to prove that it took values in theholomorphic forms. Moreover, we were unable to compute the indefinite Fourier coefficients of a lifted class. By Koecher’s Theorem we may now conclude that all such coefficients are zero. Partially supported by NSF Grant # MCS-82-01660. Partially supported by NSF Grant # DMS-85-01742.