On the lifting of elliptic cusp forms to cusp forms on quaternionic unitary groups

Let H be a definite quaternion algebra over Q with discriminant DH and R a maximal order of H. We denote by Gn a quaternionic unitary group and put Γn=Gn(Q)∩GL2n(R). Let Sκ(Γn) be the space of cusp forms of weight κ with respect to Γn on the quaternion half-space of degree n. We construct a lifting from primitive forms in Sk(SL₂(Z)) to Sk+2n−2(Γn) and a lifting from primitive forms in Sk(Γ₀(d)) to Sk+2(Γ₂), where d is a factor of DH. These liftings are generalizations of the Maass lifting investigated by Krieg.     

Regularity of patterns in the factorization of n!

Consider the multiplicities ep₁(n),ep₂(n),…,epk(n) in which the primes p₁,p₂,…,pk appear in the factorization of n!. We show that these multiplicities are jointly uniformly distributed modulo (m₁,m₂,…,mk) for any fixed integers m₁,m₂,…,mk, thus improving a result of Luca and St?nic? [F. Luca, P. St?nic?, On the prime power factorization of n!, J. Number Theory 102 (2003) 298-305]. To prove the theorem, we obtain a result regarding the joint distribution of several completely q-additive functions, which seems to be of independent interest.     

On the second cohomology of an algebraic group and of its lie algebra in a positive characteristic

Necessary and sufficient isomorphism conditions for the second cohomology group of an algebraic group with an irreducible root system over an algebraically closed field of characteristic p ≥ 3h ? 3, where h stands for the Coxeter number, and the corresponding second cohomology group of its Lie algebra with coefficients in simple modules are obtained, and also some nontrivial examples of isomorphisms of the second cohomology groups of simple modules are found. In particular, it follows from the results obtained here that, among the simple algebraic groups SL₂(k), SL₃(k), SL₄(k), Sp₄(k), and G ₂, nontrivial isomorphisms of this kind exist for SL₄(k) and G ₂ only. For SL₄(k), there are two simple modules with nontrivial second cohomology and, for G ₂, there is one module of this kind. All nontrivial examples of second cohomology obtained here are one-dimensional.     

On the distribution of sociable numbers

For a positive integer n, define s(n) as the sum of the proper divisors of n. If s(n)>0, define s₂(n)=s(s(n)), and so on for higher iterates. Sociable numbers are those n with sk(n)=n for some k, the least such k being the order of n. Such numbers have been of interest since antiquity, when order-1 sociables (perfect numbers) and order-2 sociables (amicable numbers) were studied. In this paper we make progress towards the conjecture that the sociable numbers have asymptotic density 0. We show that the number of sociable numbers in [1,x], whose cycle contains at most k numbers greater than x, is o(x) for each fixed k. In particular, the number of sociable numbers whose cycle is contained entirely in [1,x] is o(x), as is the number of sociable numbers in [1,x] with order at most k. We also prove that but for a set of sociable numbers of asymptotic density 0, all sociable numbers are contained within the set of odd abundant numbers, which has asymptotic density about 1/500.     

A remark on sociable numbers of odd order

Write s(n) for the sum of the proper divisors of the natural number n. We call n sociable if the sequence n, s(n), s(s(n)), … is purely periodic; the period is then called the order of sociability of n. The ancients initiated the study of order 1 sociables (perfect numbers) and order 2 sociables (amicable numbers), and investigations into higher-order sociable numbers began at the end of the 19th century. We show that if k is odd and fixed, then the number of sociable n?x of order k is bounded by as x→∞. This improves on the previously best-known bound of , due to Kobayashi, Pollack, and Pomerance.     

A relative Kuznietsov trace formula on G2

In this paper, we set up the general formulation to study distinguished residual representations of a reductive group G by the relative trace formula approach. This approach simplifies the argument of [JR], which deals with this type of relative trace formula for a special symmetric pair (GL(2n), Sp(2n)) and also works for non-symmetric, spherical pairs. To illustrate our idea and method, we complete our relative trace formula (both the geometric side identity and the spectral side identity) for the case (G ₂, SL(3)). Received: 6 February 1999     

Differential operators on Hilbert modular forms

We investigate differential operators and their compatibility with subgroups of SL₂n(R). In particular, we construct Rankin-Cohen brackets for Hilbert modular forms, and more generally, multilinear differential operators on the space of Hilbert modular forms. As an application, we explicitly determine the Rankin-Cohen bracket of a Hilbert-Eisenstein series and an arbitrary Hilbert modular form. We use this result to compute the Petersson inner product of such a bracket and a Hilbert modular cusp form.     

Arithmetic expressions of Selberg's zeta functions for congruence subgroups

In [P. Sarnak, Class numbers of indefinite binary quadratic forms, J. Number Theory 15 (1982) 229-247], it was proved that the Selberg zeta function for SL₂(Z) is expressed in terms of the fundamental units and the class numbers of the primitive indefinite binary quadratic forms. The aim of this paper is to obtain similar arithmetic expressions of the logarithmic derivatives of the Selberg zeta functions for congruence subgroups of SL₂(Z). As applications, we study the Brun-Titchmarsh type prime geodesic theorem and the asymptotic formula of the sum of the class number.     

Algorithms for finding K-best perfect matchings

In the K-best perfect matching problem (KM) one wants to find K pairwise different, perfect matchings M₁,…,M_k such that w(M₁) ≥ w(M₂) ≥ ⋯ ≥ w(M_k) ≥ w(M), ∀M ≠ M₁, M₂,…, M_k. The procedure discussed in this paper is based on a binary partitioning of the matching solution space. We survey different algorithms to perform this partitioning. The best complexity bound of the resulting algorithms discussed is O(Kn³), where n is the number of nodes in the graph.     

Dense edge-magic graphs and thin additive bases

A graph G of order n and size m is edge-magic if there is a bijection l:V(G)∪E(G)→[n+m] such that all sums l(a)+l(b)+l(ab), ab∈E(G), are the same. We present new lower and upper bounds on M(n), the maximum size of an edge-magic graph of order n, being the first to show an upper bound of the form . Concrete estimates for ε can be obtained by knowing s(k,n), the maximum number of distinct pairwise sums that a k-subset of [n] can have.So, we also study s(k,n), motivated by the above connections to edge-magic graphs and by the fact that a few known functions from additive number theory can be expressed via s(k,n). For example, our estimate

     

On the structure of generalized symmetric spaces of SLn𝔽q)

In this paper we extend previous results regarding SL₂(k) over any finite field k by investigating the structure of the symmetric spaces for the family of special linear groups SL_n(k) for any integer n>2. Specifically, we discuss the generalized and extended symmetric spaces of SL_n(k) for all conjugacy classes of involutions over a finite field of odd or even characteristic. We characterize the structure of these spaces and provide an explicit difference set in cases where the two spaces are not equal.     

Betti and Tachibana numbers

The Tachibana numbers t _r (M), the Killing numbers k _r (M), and the planarity numbers p _r (M) are considered as the dimensions of the vector spaces of, respectively, all, coclosed, and closed conformal Killing r-forms with 1 ≤ r ≤ n ? 1 “globally” defined on a compact Riemannian n-manifold (M,g), n >- 2. Their relationship with the Betti numbers b _r (M) is investigated. In particular, it is proved that if b _r (M) = 0, then the corresponding Tachibana number has the form t _r (M) = k _r (M) + p _r (M) for t _r (M) > k _r (M) > 0. In the special case where b ₁(M) = 0 and t ₁(M) > k ₁(M) > 0, the manifold (M,g) is conformally diffeomorphic to the Euclidean sphere.     

Dirichlet series associated with polynomials and applications

We consider the possibility of the analytic continuation of the Dirichlet series SP;Z(s) associated with a polynomial P(x) and auxiliary series Z(s). In fact, we derive a certain criterion for the analytic continuation for some class of polynomials and give examples such that SP;Z(s) cannot be continued meromorphically to the whole plane C. We also study the asymptotic behaviors of the sum MP(x)=_∑P(n₁,…,nk)?xΛ(n₁)?Λ(nk) considered first by M. Peter. Generalizations of this sum are also considered.     

Cesàro asymptotics for the orders of SLk(Zn) and GLk(Zn) as n→∞

Given an integer k>0, our main result states that the sequence of orders of the groups $\text{SL}{}_{\mathrm{k}}\text{(}\text{Z}{}_{\mathrm{n}}\text{)}$ (respectively, of the groups $\text{GL}{}_{\mathrm{k}}\text{(}\text{Z}{}_{\mathrm{n}}\text{)}$) is Cesàro equivalent as n→∞ to the sequence C₁(k)n^k2?1 (respectively, C₂(k)n^k2), where the coefficients C₁(k) and C₂(k) depend only on k; we give explicit formulas for C₁(k) and C₂(k). This result generalizes the theorem (which was first published by I. Schoenberg) that says that the Euler function ?(n) is Cesàro equivalent to $\text{n}\text{6}\text{π}{}^2$. We present some experimental facts related to the main result. To cite this article: A.G. Gorinov, S.V. Shadchin, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Torsion subgroups of Brauer groups and extensions of constant local degree for global function fields

We show that, for all characteristic p global fields k and natural numbers n coprime to the order of the non-p-part of the Picard group Pic⁰(k) of k, there exists an abelian extension L/k whose local degree at every prime of k is equal to n. This answers in the affirmative in this context a question recently posed by Kisilevsky and Sonn. As a consequence, we show that, for all n and k as above, the n-torsion subgroup Br_n(k) of the Brauer group Br(k) of k is algebraic, answering a question of Aldjaeff and Sonn in this context.     

Linear transformations which preserve fixed rank

Let M_{m, n}(F) denote the set of all m×n matrices over the algebraically closed field F. Let T denote a linear transformation, T:M_{m, n}(F)→M_{m, n}(F). Theorem: If max(m, n)?2k?2, k?1, and T preserves rank k matrices [i.e.?(A)=k implies ?(T(A))=k], then there exist nonsingular m×m and n×n matrices U and V respectively such that either (i) T:A→UAV for all A?M_{m, n}(F), or (ii) m=n and T:A→UA^tV for all A?M_n(F), where A^t denotes the transpose of A.     

On the concept of level for subgroups of SL2 over arithmetic rings

We define the concept of level for arbitrary subgroups Γ of finite index in the special linear group SL₂(A _S), whereA _S is the ring ofS-integers of a global fieldk provided thatk is an algebraic number field, or card (S) ≥ 2. It is shown that this concept agrees with the usual notion of ‘Stufe’ for congruence subgroups. In the case SL₂(O),O the ring of integers of an imaginary quadratic number field, this criterion for deciding whether or not an arbitrary subgroup of finite index is a congruence subgroup is used to determine the minimum of the indices of non-congruence subgroups.     

Projective Resolutions for Modules over Infinite Groups

We define a notion of complexity for modules over group rings of infinite groups. This generalizes the notion of complexity for modules over group algebras of finite groups. We show that if M is a module over the group ring kG, where k is any ring and G is any group, and M has f-complexity (where f is some complexity function) over some set of finite index subgroups of G, then M has f-complexity over G (up to a direct summand). This generalizes the Alperin-Evens Theorem, which states that if the group G is finite then the complexity of M over G is the maximal complexity of M over an elementary abelian subgroup of G. We also show how we can use this generalization in order to construct projective resolutions for the integral special linear groups, SL(n, ℤ), where n ≥ 2.     

Hasse principle for classical groups over function fields of curves over number fields

In (Letter to J.-P. Serre, 12 June 1991) Colliot-Thélène conjectures the following: Let F be a function field in one variable over a number field, with field of constants k and G be a semisimple simply connected linear algebraic group defined over F. Then the map has trivial kernel, denoting the set of places of k.The conjecture is true if G is of type 1A∗, i.e., isomorphic to SL₁(A) for a central simple algebra A over F of square free index, as pointed out by Colliot-Thélène, being an immediate consequence of the theorems of Merkurjev-Suslin [S1] and Kato [K]. Gille [G] proves the conjecture if G is defined over k and F=k(t), the rational function field in one variable over k. We prove that the conjecture is true for groups G defined over k of the types 2A∗, B_n, C_n, D_n (D₄ nontrialitarian), G₂ or F₄; a group is said to be of type 2A∗, if it is isomorphic to SU(B,τ) for a central simple algebra B of square free index over a quadratic extension k′ of k with a unitary k′|k involution τ.