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.     

On Resolvable Multipartite <Emphasis Type="Italic">G</Emphasis>-Designs

A necessary and sufficient condition for the existence of a _km–factorization of the complete symmetric k–partite multi-digraph K*(n₁,n₂,...,n_k) is obtained for odd k. As a consequence, a resolvable (k,n,km,) multipartite _km–design exists for odd k if and only if m|n. This deduces a result of Ushio when m=1 and k=3. Further, a necessary and sufficient condition for the existence of a _km–factorization of is established for even k, where denotes the wreath product of graphs. Finally, a simple and short proof for the non-existence of a _k–factorization of is obtained for odd k.Acknowledgments.The author thanks Dr. P. Paulraja for his useful ideas in writing this paper and the Department of Science and Technology, New Delhi, for its support (Project Grant No. DST/MS/103/99).Final version received: November 17, 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.     

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     

Approximation of sine-shaped functions by constants in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>, <Emphasis Type="Italic">p</Emphasis> < 1

We investigate the best approximations of sine-shaped functions by constants in the spaces L_p for p < 1. In particular, we find the best approximation of perfect Euler splines by constants in the spaces L_p for certain p(0,1).Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 6, pp. 745–762, June, 2004.     

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

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     

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     

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

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.     

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.     

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)     

Bipartite <Emphasis Type="Italic">Q</Emphasis>-Polynomial Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D12. We show is Q-polynomial if and only if one of the following (i)–(iv) holds: (i) is the ordinary 2D-cycle. (ii) is the Hamming cube H(D,2). (iii) is the antipodal quotient of H(2D,2). (iv) The intersection numbers of satisfy where q is an integer at least 2. We obtain the above result using the Terwilliger algebra of .AMS 1991 Subject Classification: Primary 05E30Final version received: April 10, 2003     

<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     

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     

On the Achromatic Index of for a Prime <Emphasis Type="Italic">q</Emphasis>

The achromatic index of a graph G is the maximum number of colours that can be assigned to edges of G in such a way that the colouring is proper and any two colours meet on two adjacent edges. To compute the achromatic index of complete graphs seems to be a very difficult task. Indeed, that knowledge would yield all odd projective plane orders. The aim of the paper is to establish a nontrivial lower bound of the achromatic index of for a prime q7.Acknowledgments The first author gratefully acknowledges a support of the Slovak grant VEGA 1/7467/20. The authors wish to thank to an anonymous referee for an easy proof of Lemma 8.Final version received: November 10, 2003     

Some <Emphasis Type="Italic">L</Emphasis>-Function of a Regular Covering of a Graph

Let ₁:KH, ₂:HG and ₂₁:KG be three finite regular coverings of graphs, and let be a representation of the covering transformation group of ₁. We show that the (Bartholdi type) L-function of G associated to the representation of the covering transformation group of ₂₁ induced from is equal to that of H associated to by means of ordinary voltage assignments.Acknowledgments. We would like to thank the referee for many valuable comments and suggestions. This is partially supported by Grant-in-Aid for Science Research (C).Final version received: February 16, 2004     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Boundedness of general index transforms

We establish the boundedness properties in L _p for a class of integral transformations with respect to an index of hypergeometric functions. In particular, by using the Riesz-Thorin interpolation theorem, we get the corresponding results in L _p (R ₊), 1 p 2, for the Kontorovich-Lebedev, Mehler-Fock, and Olevskii index transforms. An inversion theorem is proved for a general index transformation. The case p=2 is known as the Plancherel-type theory for this class of transformations.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 127–147, January–March, 2005.     

On Paley-Wiener and Hardy theorems for <Emphasis Type="Italic">NA</Emphasis> groups

Let N be a H-type group and let S=NA be an one dimensional solvable extension of N. For the Helgason Fourier transform on S we prove the following analogue of Hardys theorem. Let (,Y,Z) stand for the Helgason Fourier transform of f and let h denote the heat kernel associated to the Laplace-Beltrami operator. Suppose a function f on S satisfies the conditions |f(x)| ch (x) and for all xS, where being the dimension of the centre of N. Then f=0 or f=ch depending on whether < or =. We also establish a stronger version of Hardys theorem and a Paley-Wiener theorem. These are generalisations of the corresponding results for rank one symmetric spaces of noncompact type.     

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