Two variable <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis> functions attached to eigenfamilies of positive slope

Consider a classical cusp eigenform f= _n=1 a _n (f)q ⁿ of weight k2 for ₀(N) with a Dirichlet character mod N, and let L _f (s,)= _n=1 (n)a _n (f)n ^-s denote the L-function of f twisted with an arbitrary Dirichlet character . For a prime number p5, consider a family of cusp eigenforms f _(k) of weight k , k {f _(k)= _n=1 a _n (f _(k))q ⁿ } containing f=f _(k), such that the Fourier coefficients a _n (f _(k)) are given by certain p-adic analytic functions k a _n (f _(k)). The purpose of this paper is to construct a two variable p-adic L function attached to Colemans family {f _(k)} of cusp eigenforms of a fixed positive slope =v _p ( _p )>0 where _p = _p (k ) is an eigenvalue (which depends on k ) of the Atkin operator U=U _p . Our p-adic L-function interpolates the special values L _f(k)(s,) at points (s,k ) with s=1,2,...,k -1. We give a construction using the Rankin-Selberg method and the theory of p-adic integration on a profinite group Y with values in an affinoid K-algebra A, where K is a fixed finite extension of Q _p . Our p-adic L-functions are p-adic Mellin transforms of certain A-valued measures. In their turn, such measures come from Eisenstein distributions with values in certain Banach A-modules M =M (N;A) of families of overconvergent forms over A. To Robert Alexander Rankin in memoriam     

Biharmonic maps from <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">4</Emphasis></Superscript> into a Riemannian manifold

For a domain R⁴ and a compact Riemannian manifold NR^k without boundary, if uW^2,2(,N) is an extrinsic (or intrinsic, respectively) biharmonic map, then uC(,N).in final form: 1 August 2003     

Convexity and <Emphasis Type="Italic">w</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-compactness in Banach spaces

Suppose X. We construct examples of bounded sets MX, such that These examples show that the previous results of the authors on quantitative versions of Kreins theorem are optimal.Mathematics Subject Classification (2000):46B20, 46B26A. S. Granero supported by DGICYT grant BFM2001-1284. P. Hájek supported by GAR 201/01/1198, A 101 92 05 and UPV grant PPI-02-02.     

A criterion for <Emphasis Type="Italic">C</Emphasis><Superscript>2</Superscript>-rectifiability of sets

The following result is proved: Let be a n-dimensional C¹-submanifold of R^N which is domain of a given _nR^N-valued map of class C¹. Then the set of all points P such that (P) is non-zero, simple and enveloped by T_P is C²-rectifiable. As a corollary we get a criterion for the C²-rectifiability of a rectifiable set based on the rectifiability of some generalized Gauss lift to the Grassmanian bundle R^N×G(N,n). Mathematics Subject Classification (2000) Primary 49Q15, 53A07; Secondary 49Q20, 49N60     

<Emphasis Type="Italic">K</Emphasis>-homology of <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-categories and symmetric spectra representing <Emphasis Type="Italic">K</Emphasis>-homology

We define K-homology groups K _* () for small C ^* -categories in terms of Hilbert modules over the C ^* -category . We also define a functor A ^f from the category of small C ^* -categories into the category of C ^* -algebras and show that there is a natural isomorphism . In addition, we give an easy construction of a functor from the category of C ^* -algebras into the category of symmetric spectra which represents K-homology, i.e. we show that the functor comes with a natural isomorphism for C ^* -algebras A. It then follows that the composition A ^f provides a functor that can be used in the Davis-Lück approach for constructing the Baum-Connes map.     

<Emphasis Type="Italic">M</Emphasis>-spherical <Emphasis Type="Italic">K</Emphasis>-modules of a rank one semisimple Lie group

Let G =K A N be an Iwasawa decomposition of a connected, noncompact real semisimple Lie group with finite center and let M be the centralizer of A in K . B. Kostant proved that for every irreducible M-spherical K-module V there exists a unique d (the Kostant degree of V) such that V can be realized as a submodule of the space of all -harmonic homogeneous polynomials of degree d on . Here is a Cartan decomposition of the complexification of the Lie algebra of G .In this paper we give an algorithm to obtain a highest weight vector from any M-invariant vector in an irreducible M-spherical K-module. This algorithm allows us to compute a sharp bound for the Kostant degree d(v) of any M-invariant vector v in a locally finite M-spherical K-module V. The method computes d(v) effectively for any V if G is locally isomorphic to SO(n,1) and for if G is locally isomorphic to SU(n,1).Partially supported by Agencia Córdoba Ciencia and CONICET Mathematics Subject Classification (2000):Primary 22E46, Secondary 43A85     

Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

On the discrete mean square of Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions at 1

There have been many results obtained so far for the mean square of the (absolute) value of the Dirichlet L-function L(s,) in the critical strip 0<<1, especially on the critical line , but relatively few results were known for discrete mean value of |L(1,)|² till W. Zhang had published papers improving the error term step by step, which have recently been superseded by M. Katsurada and K.Matsumoto in which they succeeded in deriving an asymptotic formula for ₀|L(1,)|². The object of our paper is to point out a structural property contained in the formation of the mean square, to find out the niryana–the true body of the above sum.Dedicated to Professor Jean Louis Nicolás on his sixtieth birthdayin final form: 7 October 2003     

Surfaces of general type with <Emphasis Type="Italic">p</Emphasis><Subscript><Emphasis Type="Italic">g</Emphasis></Subscript>=0, <Emphasis Type="Italic">K</Emphasis><Superscript>2</Superscript>=6 and non birational bicanonical map

Let S be a minimal surface of general type with p_g=0 and K²=6, such that its bicanonical map is not birational. The map is a morphism of degree 4 onto a surface. The case of deg = 4 is completely classified in [Topology, 40 (5) (2001), 977–991] and the present paper completes the characterization of these surfaces. It is proven that the degree of cannot be equal to 3, and the geometry of surfaces with deg = 2 is analysed in detail. The last section contains three examples of such surfaces, two of which appear to be new.Mathematics Subject Classification (2000): 14J29     

A space <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">X</Emphasis>) is dominated by irrationals if and only if it is<Emphasis Type="Italic"> K</Emphasis>-analytic

Summary We prove that, for any Tychonoff X, the space C_p(X) is K-analytic if and only if it has a compact cover {K_p: p } such that K_p subset K_q whenever p,q and p q. Applying this result we show that if C_p(X) is K-analytic then C_p(X) is K-analytic as well. We also establish that a space C_p(X) is K-analytic and Baire if and only if X is countable and discrete.     

Hardy algebras, <Emphasis Type="Italic">W</Emphasis>*-correspondences and interpolation theory

Given a von Neumann algebra M and a W*-correspondence E over M, we construct an algebra H(E) that we call the Hardy algebra of E. When M= =E, H(E) is the classical Hardy space H of bounded analytic functions on the unit disc. When M= and E= H(E) is the free semigroup algebra studied by Popescu, Davidson and Pitts and many others. We show that given any faithful normal representation of M on a Hilbert space H there is a natural correspondence E over the commutant (M), called the -dual of E, and that H(E) can be realized in terms of (B(H)-valued) functions on the open unit ball ((E)*) in the space of adjoints of elements in E. We prove analogues of the Nevanlinna-Pick theorem in this setting and discover other aspects of the value distribution theory for elements in H(E). We also analyze the boundary behavior of elements in H(E) and obtain generalizations of the Sz.-Nagy–Foia functional calculus and the functional calculus of Popescu for c.n.c. row contractions. The correspondence E has a dual that is naturally isomorphic to E and the commutants of certain, so-called induced representations of H(E) can be viewed as induced representations of H(E). For these induced representations a double commutant theorem is proved.Supported in part by grants from the National Science Foundation and from the U.S.-Israel Binational Science Foundation.Supported in part by the U.S.-Israel Binational Science Foundation and by the Fund for the Promotion of Research at the Technion.Revised version: 11 March 2004     

Continuation of <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-holomorphic functions

Let be a bounded domain in Cⁿ and let L²_h() be the L²-holomorphic functions on . We show that the envelope of holomorphy and the L²_h()-envelope of holomorphy of differ by at most a pluripolar set.Mathematics Subject Classification (2000): 32D10, 32A36, 32U30This article is based on work the author did during his Ph.D. studies at the University of Michigan under the supervision of John Erik Fornæss.     

Any nilpotence degree occurs in mod-<Emphasis Type="Italic">p</Emphasis> cohomology rings of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be an odd prime number and let n be an arbitrary positive integer. We prove that there exists a p-group whose mod-p cohomology ring has a nilpotent element H²() satisfying ⁿ0,^n+p–1=0. As a corollary, we exhibit a p-group whose mod-p cohomology ring contains an element of nilpotency degree n+1.Mathematical Subject Classification (2000): 20J06, 20D15, 55R40To Phuong and Nin     

Maximum Number of Constant Weight Vertices of the Unit <Emphasis Type="Italic">n</Emphasis>-Cube Contained in a <Emphasis Type="Italic">k</Emphasis>-Dimensional Subspace

We introduce and solve a natural geometrical extremal problem. For the set E (n,w) = {x ⁿ {0,1} ⁿ : x ⁿ has w ones } of vertices of weight w in the unit cube of ⁿ we determine M (n,k,w) max{|U _k ⁿ E(n,w)|:U _k ⁿ is a k-dimensional subspace of ⁿ . We also present an extension to multi-sets and explain a connection to a higher dimensional Erds–Moser type problem.     

Estimates for the -Neumann problem and nonexistence of <Emphasis Type="Italic">C</Emphasis><Superscript>2</Superscript> Levi-flat hypersurfaces in

The Markov moment problem is to characterize sequences admitting the representation s_n=₀¹x^nf(x)dx, where f(x) is a probability density on [0,1] and 0f(x)c for almost all x. There are well-known characterizations through complex systems of non-linear inequalities on {s_n}. Necessary and sufficient linear conditions are the following: s₀=1, and for all and . Here, is the forward difference operator. This result is due to Hausdorff. We give a new proof with some ancillary results, for example, characterizing monotone densities. Then we make the connection to de Finettis theorem, with characterizations of the mixing measure.in final form: 18 June 2003     

Small Ball Estimates in <Emphasis Type="Italic">p</Emphasis>-Variation for Stable Processes

Let Z _t , t 0 be a strictly stable process on with index (0, 2]. We prove that for every p > , there exists = _{, p} and such that

The intersection of complete geodesics on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript> with positive curvature

Let M be a Riemannian manifold. A complete geodesic on M means that :(-,+)M is a normalized geodesic. In this paper, we prove that on (S²,g) with positive curvature, any two complete geodesics must intersect an infinite number of times, and a complete geodesic must self-intersect an infinite number of times. Mathematics Subject Classification (2000) 53C40 (53C22)     

A new characterization of <Emphasis Type="Italic">PSU</Emphasis>(<Emphasis Type="Italic">p,q</Emphasis>)

Summary Let G be a finite group. Order components of G were introduced in Chen [5]. Let OC(G) be the set of order components of G. Some finite groups are characterizable by their order components. This assertion was proved for the simple groups PSU(p,q), where p=3, 5, 7 and 11. In this paper, we prove that the simple groups PSU(p,q) can be uniquely determined by their order components, where p&ge;13 is a prime number. Main consequences of our results are the validity of a conjecture of J. G. Thompson and another conjecture of W. Shi and J. Bi for the groups under consideration.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for the biest I. The Walsh case

We prove L^p estimates (Theorem 1.8) for the Walsh model of the biest, a trilinear multiplier with singular symbol. The corresponding estimates for the Fourier model will be obtained in the sequel [11] biest of this paper.     

An Example of a Fast-Decreasing (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">A</Emphasis>)-Lacunary Function

A function analytic in the unit disk is called (p, A)-lacunary if the inequalities n _k Ak ^p hold for all k 0 with some 1 < p < and A > 0. In this paper, for 1 < p < 2 and A > 0, we construct a (p, A)-lacunary function f _1,p,A (z) decreasing as x 1 – 0 at a rate close to the optimal rate for (p, A)-lacunary functions. Bibliography: 6 titles.