Holomorphy of spectral multipliers of the Ornstein-Uhlenbeck operator

Let γ be the Gauss measure on and the Ornstein-Uhlenbeck operator. For every p in [1,∞)?{2}, set , and consider the sector . The main results of this paper are the following. If p is in (1,∞)?{2}, and , i.e., if M is an Lp(γ)uniform spectral multiplier of in our terminology, and M is continuous on , then M extends to a bounded holomorphic function on the sector . Furthermore, if p=1 a spectral multiplier M, continuous on , satisfies the condition if and only if M extends to a bounded holomorphic function on the right half-plane, and its boundary value M(i·) on the imaginary axis is the Euclidean Fourier transform of a finite Borel measure on the real line. We prove similar results for uniform spectral multipliers of second order elliptic differential operators in divergence form on belonging to a wide class, which contains . From these results we deduce that operators in this class do not admit an H^∞ functional calculus in sectors smaller than .     

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

Estimate of the L-Fourier transform norm on nilpotent Lie groups

Let 1<p?2 and q be such that . It is well known that the norm of the L^p-Fourier transform of the additive group is , where . For a nilpotent Lie group G, we obtain the estimate , where m is the maximal dimension of the coadjoint orbits. Such a result was known only for some particular cases.     

Carleson measures, multipliers and integration operators for spaces of Dirichlet type

For 0<p<∞ and α>−1, we let denote the space of those functions f which are analytic in the unit disc and satisfy . In this paper we characterize the positive Borel measures μ in D such that , 0<p<q<∞. We also characterize the pointwise multipliers from to (0<p<q<∞) if p−2<α<p. In particular, we prove that if the only pointwise multiplier from to (0<p<q<∞) is the trivial one. This is not longer true for and we give a number of explicit examples of functions which are multipliers from to for this range of values.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

When subset-sums do not cover all the residues modulo p

Let . We prove that a subset of , where p is a prime number, with cardinality larger than such that its subset sums do not cover has an automorphic image which is rather concentrated; more precisely, there exists s prime to p such that

     

Kolmogorov and linear widths of weighted Besov classes

We study the Kolmogorov m-widths and the linear m-widths of the weighted Besov classes on [−1,1], where Lq,μ, 1?q?∞, denotes the Lq space on [−1,1] with respect to the measure , μ>0. Optimal asymptotic orders of and as m→∞ are obtained for all 1?p,τ?∞. It turns out that in many cases, the orders of are significantly smaller than the corresponding orders of the best m-term approximation by ultraspherical polynomials, which is somewhat surprising.     

A fractional Helly theorem for convex lattice sets

A set of the form , where is convex and denotes the integer lattice, is called a convex lattice set. It is known that the Helly number of d-dimensional convex lattice sets is 2^d. We prove that the fractional Helly number is only d+1: For every d and every α∈(0,1] there exists β>0 such that whenever F₁,…,F_n are convex lattice sets in such that for at least index sets I⊆{1,2,…,n} of size d+1, then there exists a (lattice) point common to at least βn of the F_i. This implies a (p,d+1)-theorem for every p?d+1; that is, if is a finite family of convex lattice sets in such that among every p sets of , some d+1 intersect, then has a transversal of size bounded by a function of d and p.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

On a theorem of Chowla

Let be a finite field with q=p^felements, where p is a prime number and f is a positive integer. For a nonprincipal multiplicative character χ and a nontrivial additive character ψ on , it is well known that Gauss sum has absolute value . In this paper, we investigate when is a root of unity.     

Majorization of regular measures and weights with finite and positive critical exponent

For the sets , 1?p<∞, of positive finite Borel measures μ on the real axis with the set of algebraic polynomials P dense in Lp(R,dμ), we establish a majorization principle of their “boundaries,” i.e. for every there exists such that dμ/dν?1. A corresponding principle holds for the sets , p>0, of non-negative upper semi-continuous on R functions (weights) w such that P is dense in the space : For every there exists such that w?ω.     

Congruences involving Bernoulli and Euler numbers

Let [x] be the integral part of x. Let p>5 be a prime. In the paper we mainly determine , , and in terms of Euler and Bernoulli numbers. For example, we have

     

Systems of orthogonal polynomials arising from the modular j-function

Let be the polynomial whose zeros are the j-invariants of supersingular elliptic curves over . Generalizing a construction of Atkin described in a recent paper by Kaneko and Zagier (Computational Perspectives on Number Theory (Chicago, IL, 1995), AMS/IP 7 (1998) 97-126), we define an inner product on for every . Suppose a system of orthogonal polynomials {P_n,ψ(x)}_n=0^∞ with respect to exists. We prove that if n is sufficiently large and ψ(x)P_n,ψ(x) is p-integral, then over . Further, we obtain an interpretation of these orthogonal polynomials as a p-adic limit of polynomials associated to p-adic modular forms.     

Convergence in mean of some random Fourier series

For a symmetric stable process X(t,ω) with index α∈(1,2], f∈Lp[0,2π], p?α, and , we establish that the random Fourier-Stieltjes (RFS) series converges in the mean to the stochastic integral , where fβ is the fractional integral of order β of the function f for . Further it is proved that the RFS series is Abel summable to . Also we define fractional derivative of the sum of order β for an, An(ω) as above and . We have shown that the formal fractional derivative of the series of order β exists in the sense of mean.