Archimedean zeta integrals on GL n × GL m and SO2n+1 × GL m

In this paper, we evaluate archimedean zeta integrals for automorphic L-functions on GL _n × GL _n-1+? and on SO_2n+1 × GL _n+? , for ? = ?1, 0, and 1. In each of these cases, the zeta integrals in question may be expressed as Mellin transforms of products of class one Whittaker functions. Here, we obtain explicit expressions for these Mellin transforms in terms of Gamma functions and Barnes integrals. When ? = 0 or ? = 1, the archimedean zeta integrals amount to integrals over the full torus. We show that, as has been predicted by Bump for such domains of integration, these zeta integrals are equal to the corresponding local L-factors—which are simple rational combinations of Gamma functions. (In the cases of GL _n × GL _n-1 and GL _n × GL _n this has, in large part, been shown previously by the second author of the present work, though the results here are more general in that they do not require the assumption of trivial central characters. Our techniques here are also quite different. New formulas for GL(n, R) Whittaker functions, obtained recently by the authors of this work, allow for substantially simplified computations). In the case ? = ?1, we express our archimedean zeta integrals explicitly in terms of Gamma functions and certain Barnes-type integrals. These evaluations rely on new recursive formulas, derived herein, for GL(n, R) Whittaker functions. Finally, we indicate an approach to certain unramified calculations, on SO_2n+1 × GL _n and SO_2n+1 × GL _n+1, that parallels our method herein for the corresponding archimedean situation. While the unramified theory has already been treated using more direct methods, we hope that the connections evoked herein might facilitate future archimedean computations.     

Minimal quadratic residue cyclic codes of length 2 n

LetF be a finite field of prime power orderq(odd) and the multiplicative order ofq modulo 2 ⁿ (n>1) be ?(2 ⁿ )/2. Ifn>3, thenq is odd number(prime or prime power) of the form 8m±3. Ifq=8m?3, then the ring $$R_{2^n } = F\left[ x \right]/< x^{2^n } - 1 > $$ has 2n primitive idempotents. The explicit expressions for these primitive idempotents are obtained and the minimal QR cyclic codes of length 2 ⁿ generated by these idempotents are completely described. Ifq=8m+3 then the expressions for the 2n?1 primitive idempotents ofR ₂ ⁿ are obtained. The generating polynomials and the upper bounds of the minimum distance of minimal QR cyclic codes generated by these 2n?1 idempotents are also obtained. The casen=2, 3 is dealt separately.     

Multi-Component Ginzburg-Landau Theory: Microscopic Derivation and Examples

This paper consists of three parts. In part I, we microscopically derive Ginzburg–Landau (GL) theory from BCS theory for translation-invariant systems in which multiple types of superconductivity may coexist. Our motivation are unconventional superconductors. We allow the ground state of the effective gap operator \({K_{T_c}+V}\) to be n-fold degenerate and the resulting GL theory then couples n order parameters. In part II, we study examples of multi-component GL theories which arise from an isotropic BCS theory. We study the cases of (a) pure d-wave order parameters and (b) mixed (s + d)-wave order parameters, in two and three-dimensions. In part III, we present explicit choices of spherically symmetric interactions V which produce the examples in part II. In fact, we find interactions V which produce ground state sectors of \({K_{T_c}+V}\) of arbitrary angular momentum, for open sets of of parameter values. This is in stark contrast with Schrödinger operators \({-\nabla^2+V}\), for which the ground state is always non-degenerate. Along the way, we prove the following fact about Bessel functions: At its first maximum, a half-integer Bessel function is strictly larger than all other half-integer Bessel functions.     

The unramified computation of Rankin-Selberg integrals for SO2l × GLn

Let SO _2l be the special orthogonal group, either split or quasi-split over a number field, and 1 < l < n. We compute the local integral, where data are unramified, derived from the global Rankin-Selberg construction for SO _2l × GL _n . In the general case, the local integral is difficult to compute directly, so instead it is transformed to an integral related to a construction for SO _2n+1×GL _n , which carries a Bessel model on SO _2n+1. For the quasisplit case, when l = n − 1 we are able to compute the local integral, by a modification of our recently introduced approach using invariant theory. This leads to another proof of our result for 1 < l < n, as well as a new proof of a known result regarding the unramified Bessel function.     

Bessel functions for GL 2

In classical analytic number theory there are several trace formulas or summation formulas for modular forms that involve integral transformations of test functions against classical Bessel functions. Two prominent such are the Kuznetsov trace formula and the Voronoi summation formula. With the paradigm shift from classical automorphic forms to automorphic representations, one is led to ask whether the Bessel functions that arise in the classical summation formulas have a representation theoretic interpretation. We introduce Bessel functions for representations of GL ₂ over a finite field first to develop their formal properties and introduce the idea that the γ-factor that appears in local functional equations for L-functions should be the Mellin transform of a Bessel function. We then proceed to Bessel functions for representations of GL ₂(?) and explain their occurrence in the Voronoi summation formula from this point of view. We briefly discuss Bessel functions for GL ₂ over a p-adic field and the relation between γ-factors and Bessel functions in that context. We conclude with a brief discussion of Bessel functions for other groups and their application to the question of stability of γ-factors under highly ramified twists.     

On projective planes admitting elations and homologies

We consider projective planes Π of ordern with abelian collineation group Γ of ordern(n?1) which is generated by (A, m)-elations and (B, l)-homologies wherem =AB andA εl. We prove

1. Ifn is even thenn=2^e and the Sylow 2-subgroup of Γ is elementary abelian.
2. Ifn is odd then the Sylow 2-subgroup of Γ is cyclic.
3. Ifn is a prime then Π is Desarguesian.
4. Ifn is not a square thenn is a prime power.

     

Phase portraits of the quadratic vector fields with a polynomial first integral

In this work we classify the phase portraits of all quadratic polynomial differential systems having a polynomial first integral. IfH(x, y) is a polynomial of degreen+1 then the differential systemx′=−∂H/∂y,y′=∂H/∂x is called a Hamiltonian system of degreen. We also prove that all the phase portraits that we obtain in this paper are realizable by Hamiltonian systems of degree 2.     

Two new triangles of q-integers via q-Eulerian polynomials of type A and B

The classical Eulerian polynomials can be expanded in the basis t ^k?1(1+t) ^n+1?2k (1≤k≤?(n+1)/2?) with positive integral coefficients. This formula implies both the symmetry and the unimodality of the Eulerian polynomials. In this paper, we prove a q-analogue of this expansion for Carlitz’s q-Eulerian polynomials as well as a similar formula for Chow–Gessel’s q-Eulerian polynomials of type B. We shall give some applications of these two formulas, which involve two new sequences of polynomials in the variable q with positive integral coefficients. It is an open problem to give a combinatorial interpretation for these polynomials.     

Ball-covering property of Banach spaces

We consider the following question: For a Banach spaceX, how many closed balls not containing the origin can cover the sphere of the unit ball? This paper shows that: (1) IfX is smooth and with dimX=n<∞, in particular,X=R ⁿ,then the sphere can be covered byn+1 balls andn+1 is the smallest number of balls forming such a covering. (2) Let Λ be the set of all numbersr>0 satisfying: the unit sphere of every Banach spaceX admitting a ball-covering consisting of countably many balls not containing the origin with radii at mostr impliesX is separable. Then the exact upper bound of Λ is 1 and it cannot be attained. (3) IfX is a Gateaux differentiability space or a locally uniformly convex space, then the unit sphere admits such a countable ball-covering if and only ifX ^* isw ^*-separable.     

Hitting Half-spaces by Bessel-Brownian Diffusions

The purpose of the paper is to find explicit formulas describing the joint distributions of the first hitting time and place for half-spaces of codimension one for a diffusion in ℝ ^n + 1, composed of one-dimensional Bessel process and independent n-dimensional Brownian motion. The most important argument is carried out for the two-dimensional situation. We show that this amounts to computation of distributions of various integral functionals with respect to a two-dimensional process with independent Bessel components. As a result, we provide a formula for the Poisson kernel of a half-space or of a strip for the operator (I − Δ) ^α/2, 0 < α < 2. In the case of a half-space, this result was recently found, by different methods, in Byczkowski et al. (Trans Am Math Soc 361:4871–4900, 2009). As an application of our method we also compute various formulas for first hitting places for the isotropic stable Lévy process.     

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$ .     

Some estimates for maximal functions on Köthe function spaces

IfA is an invertiblen×n matrix with entries in the finite field F_q, letT _n (A) be its minimum period or exponent, i.e. its order as an element of the general linear group GL(n,q). The main result is, roughly, that $T_n (A) = q^{n - } (log n)^{2 + 0(1)} $ for almost everyA.     

Bessel functions and representation theory. I

In this paper a general theory of operator-valued Bessel functions is presented. These functions arise naturally in representation theory in the context of metaplectic representations, discrete series, and limits of discrete series for certain semi-simple Lie groups. In general, Bessel functions J_λ are associated to the action by automorphisms of a compact group U on a locally compact abelian group X, and are indexed by the irreducible representations λ of U that appear in the primary decomposition of the regular representation of U on L²(X). Then on the λ-primary constituent of L²(X), the Fourier transform is described by the Hankel transform corresponding to J_λ. More detailed information is available in the case in which (U, X) is an orthogonal transformation group which possesses a system of polar coordinates. In particular, when X=$\text{F}$^k×n,$\text{F}$ a real finite-dimensional division algebra, with k ? 2n and $\text{O}$(k, $\text{F}$), the representations λ of U are induced in a certain sense from representations π of GL(n, $\text{F}$). This leads to a characterization of J_λ as a reduced Bessel function defined on the component of 1 in GL(n, $\text{F}$) and to the connection between metaplectic representations and holomorphic discrete series for the group of biholomorphic automorphisms of the Siegel upper half-plane in the complexification of $\text{F}$^{n × n}.     

Quadrature formulas on the unit circle with prescribed nodes and maximal domain of validity

In this paper we investigate the Szeg?-Radau and Szeg?-Lobatto quadrature formulas on the unit circle. These are (n+m)-point formulas for which m nodes are fixed in advance, with m=1 and m=2 respectively, and which have a maximal domain of validity in the space of Laurent polynomials. This means that the free parameters (free nodes and positive weights) are chosen such that the quadrature formula is exact for all powers z^j, −p≤j≤p, with p=p(n,m) as large as possible.     

On the number of integral ideals in Galois extensions

Ifa _k denotes the number of integral ideals with normk, in any finite Galois extension of the rationals, we study sums of the form \(\sum\limits_{k \leqslant x} {a_k^l } (l = 2,3, \ldots )\) , along with the integral means of the 2?-th power (? real, ?≥1) of the absolute value of the corresponding Dedekind zeta-function. The two averages are related if ?=n ^1?1/2, wheren is the degree of the Galois extension.     

Real eigenvalues of nonnegative matrices which commute with a symmetric matrix involution

It is well known that if P is a nonnegative matrix, then its spectral radius is an eigenvalue of P (Perron-Frobenius theorem). In this paper it is shown that if P is an n × n nonnegative matrix and it commutes with a nonnegative symmetric involution when n=4m+3, then (1) P has at least two real eigenvalues if n=4m or 4m + 2, (2) P has at least one real eigenvalue if n=4m+1, and (3) P has at least three real eigenvalues if n=4m+3, where m is a nonnegative integer and n ? 1. Examples are given to show that these results are the best possible, and nonnegative symmetric involutions are classified.     

Permutation Polynomials Modulo 2w

We give an exact characterization of permutation polynomials modulo n=2^w, w≥2: a polynomial P(x)=a₀+a₁x +···+a_dx^d with integral coefficients is a permutation polynomial modulo n if and only if a₁ is odd, (a₂+a₄+a₆+···) is even, and (a₃+a₅+a₇+···) is even. We also characterize polynomials defining latin squares modulo n=2^w, but prove that polynomial multipermutations (that is, a pair of polynomials defining a pair of orthogonal latin squares) modulo n=2^wdo not exist.     

On Ochoa's special matrices in matrix classes

It is well known that the ideal classes of an order Z[μ], generated over Z by the integral algebraic number μ, are in a bijective correspondence with certain matrix classes, that is, classes of unimodularly equivalent matrices with rational integer coefficients. If the degree of μ is ?3, we construct explicitly a particularly simple ideal matrix for an ideal which is a product of different prime ideals of degree 1. We obtain the following special n×n matrix (c_ij) in the matrix class corresponding to the ideal class of our ideal: c_i+1,_i=1(i=1,…,n?2); c_ij=0(?i?n, 1?j?n? 2, and i≠j+1); c_nj=0(j)=2,…,n?1). The remaining coefficients are given as explicit polynomials in an integer z which depends on the ideal. It is shown that the matrix class of every regular ideal class of Z[μ] contains a special matrix of this kind.     

Derivations with nilpotent values

IfR is a semiprme ring andd a derivation ofR such thatd(x) ⁿ=0 for allx∈R, wheren≥1 is a fixed integer, thend=0.     

Finite linear spaces with two consecutive line degrees

Let L be a non-trivial finite linear space in which every line has n or n+1 points. We describe L completely subject to the following restrictions on n and on the number of points p: p≤n ²+n?1 and n≥3; n ²+n+2≤p≤n ²+2n?1 and n≥3; p=n ²+2n and n≥4; p=n ²+2n+2 and n≥3; p=n ²+2n+3 and n≥4.