Nonvanishing of Rankin–Selberg L-functions for Hilbert modular forms

Let F be a totally real number field of degree n over $\mathbb{Q}$ with ring of integers $\mathcal{O}$ and narrow class number one. Let S _2k (Γ) be the vector space of cuspidal Hilbert modular forms of parallel weight 2k for $\varGamma=\mathrm{SL}_{2}(\mathcal{O})$ , and let B _2k be an orthogonal Hecke eigenbasis for this space. For any fixed Hecke eigenform f∈S _2k (Γ) and any ε>0, we prove that $$\# \biggl\{ g \in B_{2k}: L \biggl(f \times g, \frac{1}{2} \biggr) \ne0 \biggr\} \gg k^{n- \varepsilon}, $$ where L(f×g,s) is the Rankin–Selberg L–function of f and g.     

On correspondences between certain automorphic forms on Sp_{4n} (\mathbb{A}) and \widetilde{Sp}_{2n} (\mathbb{A})

In 2005, Ginzburg, Rallis and Soudry constructed, in terms of residues of certain Eisenstein series, and by use of the descent method, families of nontempered automorphic representations of $Sp_{4nm} (\mathbb{A})$ and $\widetilde{Sp}_{2n(2m - 1)} (\mathbb{A})$ , which generalized the classical work of Piatetski-Shapiro on Saito-Kurokawa liftings. In this paper, we introduce a new framework (Diagrams of Constructions) in order to establish explicit relations among the representations introduced in [GRS05]. In particular, we prove that these constructions yield bijections between a certain set of cuspidal automorphic forms on $\widetilde{Sp}_{2n} (\mathbb{A})$ and a certain set of square-integrable automorphic forms of $Sp_{4n} (\mathbb{A})$ . The proofs use new interpretations of composition of two consecutive descents with explicit identities, which we expect to be very useful to further investigation of the automorphic discrete spectrum of classical groups.     

A Product of Tensor Product L-functions of Quasi-split Classical Groups of Hermitian Type

A family of global zeta integrals representing a product of tensor product (partial) L-functions: $$L^S(s, \pi \times \tau_1)L^S(s,\pi \times \tau_2)\cdots L^S(s, \pi \times \tau_r)$$ is established in this paper, where π is an irreducible cuspidal automorphic representation of a quasi-split classical group of Hermitian type and ${\tau_1,\ldots,\tau_r}$ are irreducible unitary cuspidal automorphic representations of ${{\rm GL}_{a_1},\ldots,{\rm GL}_{a_r}}$ , respectively. When r = 1 and the classical group is an orthogonal group, this family was studied by Ginzburg et al. (Mem Am Math Soc 128: viii+218, 1997). When π is generic and ${\tau_1,\ldots,\tau_r}$ are not isomorphic to each other, such a product of tensor product (partial) L-functions is considered by Ginzburg et al. (The descent map from automorphic representations of GL(n) to classical groups, World Scientific, Singapore, 2011) in with different kind of global zeta integrals. In this paper, we prove that the global integrals are eulerian and finish the explicit calculation of unramified local zeta integrals in a certain case (see Section 4 for detail), which is enough to represent the product of unramified tensor product local L-functions. The remaining local and global theory for this family of global integrals will be considered in our future work.     

Foliations on the tangent bundle of Finsler manifolds

Let M be a smooth manifold with Finsler metric F,and let T M be the slit tangent bundle of M with a generalized Riemannian metric G,which is induced by F.In this paper,we prove that (i) (M,F) is a Landsberg manifold if and only if the vertical foliation F V is totally geodesic in (T M,G);(ii) letting a:= a(τ) be a positive function of τ=F 2 and k,c be two positive numbers such that c=2 k(1+a),then (M,F) is of constant curvature k if and only if the restriction of G on the c-indicatrix bundle IM (c) is bundle-like for the horizontal Liouville foliation on IM (c),if and only if the horizontal Liouville vector field is a Killing vector field on (IM (c),G),if and only if the curvature-angular form Λ of (M,F) satisfies Λ=1-a 2/R on IM (c).     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

On the chromatic numbers of spheres in ℝ n

Let χ(S _r ^n?1 )) be the minimum number of colours needed to colour the points of a sphere S _r ^n?1 of radius $r \geqslant \tfrac{1} {2}$ in ? ⁿ so that any two points at the distance 1 apart receive different colours. In 1981 P. Erd?s conjectured that χ(S _r ^n?1 )→∞ for all $r \geqslant \tfrac{1} {2}$ . This conjecture was proved in 1983 by L. Lovász who showed in [11] that χ(S _r ^n?1 ) ≥ n. In the same paper, Lovász claimed that if $r < \sqrt {\frac{n} {{2n + 2}}}$ , then χ(S _r ^n?1 ) ≤ n+1, and he conjectured that χ(S _r ^n?1 ) grows exponentially, provided $r \geqslant \sqrt {\frac{n} {{2n + 2}}}$ . In this paper, we show that Lovász’ claim is wrong and his conjecture is true: actually we prove that the quantity χ(S _r ^n?1 ) grows exponentially for any $r > \tfrac{1} {2}$ .     

The densities for 3-ranks of tame kernels of cyclic cubic number fields

Let F be a cubic cyclic field with t(2)ramified primes.For a finite abelian group G,let r3(G)be the 3-rank of G.If 3 does not ramify in F,then it is proved that t-1 r3(K2O F)2t.Furthermore,if t is fixed,for any s satisfying t-1 s 2t-1,there is always a cubic cyclic field F with exactly t ramified primes such that r3(K2O F)=s.It is also proved that the densities for 3-ranks of tame kernels of cyclic cubic number fields satisfy a Cohen-Lenstra type formula d∞,r=3-r2∞k=1(1-3-k)r k=1(1-3-k)2.This suggests that the Cohen-Lenstra conjecture for ideal class groups can be extended to the tame kernels of cyclic cubic number fields.     

The invertibility of the isoparametric mappings for triangular quadratic Lagrange finite elements

A reference triangular quadratic Lagrange finite element consists of a right triangle $\hat K$ with unit legs S ₁, S ₂, a local space $\hat L$ of quadratic polynomials on $\hat K$ and of parameters relating the values in the vertices and midpoints of sides of $\hat K$ to every function from $\hat L$ . Any isoparametric triangular quadratic Lagrange finite element is determined by an invertible isoparametric mapping ${F_h} = ({F_1},{F_2}) \in \hat L \times \hat L$ . We explicitly describe such invertible isoparametric mappings F _h for which the images F _h (S ₁), F _h (S ₂) of the segments S ₁, S ₂ are segments, too. In this way we extend the well-known result going back to W.B. Jordan, 1970, characterizing those invertible isoparametric mappings whose restrictions to the segments S ₁ and S ₂ are linear.     

Module amenability of the second dual and module topological center of semigroup algebras

In this paper we define the module topological center of the second dual $\mathcal{A}^{**}$ of a Banach algebra $\mathcal{A}$ which is a Banach $\mathfrak{A}$ -module with compatible actions on another Banach algebra $\mathfrak{A}$ . We calculate the module topological center of ? ¹(S)^**, as an ? ¹(E)-module, for an inverse semigroup S with an upward directed set of idempotents E. We also prove that ? ¹(S)^** is ? ¹(E)-module amenable if and only if an appropriate group homomorphic image of S is finite.     

Exponent of a finite group with a four-group of automorphisms

Let A be a group isomorphic with either S ₄, the symmetric group on four symbols, or D ₈, the dihedral group of order 8. Let V be a normal four-subgroup of A and ?? an involution in ${A\setminus V}$ . Suppose that A acts on a finite group G in such a manner that C _G (V)?=?1 and C _G (??) has exponent e. We show that if ${A\cong S_4}$ then the exponent of G is e-bounded and if ${A\cong D_8}$ then the exponent of the derived group G?? is e-bounded. This work was motivated by recent results on the exponent of a finite group admitting an action by a Frobenius group of automorphisms.     

Normal edge-transitive Cayley graphs on non-abelian groups of order 4p, where p is a prime number

We determine all connected normal edge-transitive Cayley graphs on non-abelian groups with order 4p,where p is a prime number.As a consequence we prove if |G|=2δp,δ=0,1,2 and p prime,then Γ=Cay(G,S) is a connected normal 1/2 arc-transitive Cayley graph only if G=F4p,where S is an inverse closed generating subset of G which does not contain the identity element of G and F 4p is a group with presentation F4p = a,b|ap=b4=1,b-1ab=aλ,where λ2≡-1(mod p).     

ℓ-Independence for a system of motivic representations

Let M be a motive over a number field F and v a non-archimedean valuation of F with residual characteristic p. Let \({\rho_{M,\ell} : \Gamma_{F} \rightarrow G_{M}(\mathbb{Q}_{\ell})}\) be the canonical system of ?-adic Galois representations associated to M, with values in the motivic Galois group G _M of M. Let \({\Phi_{v} \in \Gamma_{F}}\) be an arithmetic Frobenius element. When M belongs to a particular family of motives, we show the following (under certain hypotheses): (i) if M has good reduction at v, then for \({\ell \neq p}\) , the conjugacy class of \({\rho_{M,\ell}(\Phi_{v})}\) in G _M is rational over \({\mathbb{Q}}\) and is independent of ?, thus giving a partial answer to a question of Serre; (ii) if M has semistable reduction at v, then the system of representations of the Weil–Deligne group \({'W_{v}}\) , associated to \({\rho_{M,\ell}}\) for \({\ell \neq p}\) , is a compatible system of representations of \({'W_{v}}\) with values in G _M .     

Topological Brandt semigroups

In the present paper, the properties of a locally compact Hausdorff topological Brandt semigroup, and the relation between its semigroup algebras and ? ¹-Munn algebras over group algebras are investigated. It is proved that for each locally compact Hausdorff topological group G, and each index set I, there exists a locally compact Hausdorff topological Brandt semigroup S=B(G,I) such that the Banach algebras $\mathcal {LM}_{I}(M(G))$ and $\mathcal{LM}_{I}(L^{1}(G))$ are isometrically isomorphic to M(S)/? ¹({0}) and M _a (S)/? ¹({0}), respectively.     

О факториэации и о нулях преобраэовании Фуряе бесконечно дифференцируемых функции с компактным носителем

LetF denote the class of Fourier transforms of infinitely differentiable functions on the real line with compact support. We prove that if each zero of a functionF ∈ $F \in \mathcal{F}$ lies in the union of a horizontal strip with a finite number of semistrips, them a factorizationF=F ₁ F ₂ holds, where $F_1 ,F_2 \in \mathcal{F}$ . We give estimates of |F ₁(z)/F ₂(z)| from above and from below. The zero sets of functions fromF are described in terms of integral sequences.     

On sum sets of sidon sets,II

LetG be a finite abelian group,G?{Z _n, Z₂?Z_2n}. Then every sequenceA={g ₁,...,g_t} of $t = \frac{{4\left| G \right|}}{3} + 1$ elements fromG contains a subsequenceB?A, |G|=|G| such that $\sum\nolimits_{g_i \in B^{g_i } } { = 0 (in G)} $ . This bound, which is best possible, extends recent results of [1] and [22] concerning the celebrated theorem of Erdös-Ginzburg-Ziv [21].     

A Spanning Tree with High Degree Vertices

Let G be a connected graph, let ${X \subset V(G)}$ and let f be a mapping from X to {2, 3, . . .}. Kaneko and Yoshimoto (Inf Process Lett 73:163–165, 2000) conjectured that if |N _G (S) ? X| ≥ f (S) ? 2|S| + ω _G (S) + 1 for any subset ${S \subset X}$ , then there exists a spanning tree T such that d _T (x) ≥ f (x) for all ${x \in X}$ . In this paper, we show a result with a stronger assumption than this conjecture; if |N _G (S) ? X| ≥ f (S) ? 2|S| + α(S) + 1 for any subset ${S \subset X}$ , then there exists a spanning tree T such that d _T (x) ≥ f (x) for all ${x \in X}$ .     

Representations of Positive Integers by a Direct Sum of Quadratic forms

The number of representation of positive integers by quadratic forms $ F_{1}=x_{1}^{2}+3x_{1}x_{2}+8x_{2}^{2} $ and $ G_{1}=2x_{1}^{2}+3x_{1}x_{2}+4x_{2}^{2} $ of discriminant —23 are given. Moreover, a basis for the cusp form space S ₄(Γ₀(23), 1) are constructed. Furthermore, formulas for the representation of positive integers by direct sum of copies of F ₁ and G ₁, i.e. formulas for $ r(n; F_{4}), r(n; G_{4}), r(n; F_{3} \oplus G_{1}), r(n; F_{2} \oplus G_{2}), {\rm and}\ r(n; F_{1} \oplus G_{3}) $ , are derived using the elements of the space S ₄(Γ(23), 1).     

On representations of GL(n) distinguished by GL(n − 1) over a p-adic field

For a nonarchimedean local field F, let GL(n):= GL(n, F) and GL(n?1) be embedded in GL(n) via g ? ( _{0 1} ^{g 0} ). Let π be an irreducible admissible representation of GL(n) for n ≥ 3. We prove that π is GL(n ? 1)-distinguished if and only if the Langlands parameter L(π) associated to π by the Local Langlands Correspondence has a subrepresentation L(11 _n?2) of dimension n?2 corresponding to the trivial representation of GL(n?2) such that the two-dimensional quotient L(π)/L(11 _n?2) corresponds either to an infinite-dimensional representation or the one-dimensional representations $\nu ^{ \pm (\tfrac{{n - 2}}{2})} $ of GL(2). We also prove that, for a parabolic subgroup P of GL(n) and an irreducible admissible representation ρ of the Levi subgroup of P, $\dim _\mathbb{C} (Hom_{GL(n - 1)} [ind_P^{GL(n)} (\rho ),\mathbb{I}_{n - 1} ]) \leqslant 2$ . For the standard Borel subgroup B _n of GL(n) and characters x _i of GL(1), we classify all representations ξ of the form $ind_{B_n }^{GL(n)} (\chi _1 \otimes \cdots \otimes \chi _n )$ for which $\dim _\mathbb{C} (Hom_{GL(n - 1)} [\xi ,\mathbb{I}_{n - 1} ]) = 2$ .