The Bicanonical Map of Surfaces with pg = 0 and K2 >= 7

A minimal surface of general type with p_g(S) = 0 satisfies 1 K² 9, and it is known that the image of the bicanonical map is a surface for , whilst for , the bicanonical map is always a morphism. In this paper it is shown that is birationalif , and that the degree of is at most 2 if or By presenting two examples of surfaces S with and 8 and bicanonical map of degree 2, it is alsoshown that this result is sharp. The example with is, to our knowledge, a new example of a surfaceof general type with p_g = 0. The degree of is also calculated for two other known surfacesof general type with p_g = 0 and . In both cases, the bicanonical map turns out to be birational.     

Oscillation Criteria for First-Order Delay Equations

This paper is concerned with the oscillatory behaviour of first-orderdelay differential equations of the form (1) where is non-decreasing, (t)< t for t t₀ and . Let the numbers k andL be defined by It is proved here that when L < 1 and 0 < k 1/e all solutionsof equation (1) oscillate in several cases in which the condition holds, where ₁ is the smaller root of the equation = e^k. 2000Mathematics Subject Classification 34K11 (primary); 34C10 (secondary).     

Property (T) for C*-Algebras

A notion of Property (T) is defined for an arbitrary unitalC*-algebra A admitting a tracial state. This is extended toa notion of Property (T) for a pair (A, B) where B is a C*-subalgebraof A. Let be a discrete group and its reduced algebra. We show that has Property (T) if and only if the group has Property (T).More generally, given a subgroup of , the pair has Property (T) if and only if the pair of groups(, ) has Property (T). 2000 Mathematics Subject Classification46L05, 22D25.     

A Schwarz Lemma for the Symmetrized Bidisc

Let be an analytic function from D to the symmetrized bidisc We show that if (0) = (0,0) and () = (s, p) in the interiorof , then Moreover, the inequality is sharp: we give an explicit formulafor a suitable in the event that the inequality holds withequality. We show further that the inverse hyperbolic tangentof the left-hand side of the inequality is equal to both theCaratheodory distance and the Kobayashi distance from (0,0)to (s, p) in int      

Generalized Catalan Numbers, Weyl Groups and Arrangements of Hyperplanes

For an irreducible, crystallographic root system in a Euclideanspace V and a positive integer m, the arrangement of hyperplanesin V given by the affine equations (, x) = k, for and k =0, 1, ..., m, is denoted here by . The characteristic polynomial of is related in the paper to that of the Coxeter arrangement A(corresponding to m = 0), and the number of regions into whichthe fundamental chamber of A is dissected by the hyperplanesof is deduced to be equal to the product , where e₁,e₂, ..., e_l are the exponents of and h is the Coxeter number.A similar formula for the number of bounded regions follows.Applications to the enumeration of antichains in the root posetof are included. 2000 Mathematics Subject Classification 20F55(primary), 05A15, 52C35 (secondary).     

Boundaries of reduced free group C*-algebras

We prove that the crossed product C*-algebra C*_r(, ) of a freegroup with its boundary sits naturally between the reducedgroup C*-algebra C*_r and its injective envelope I(C*_r). In otherwords, we have natural inclusion C*_r C*_r(, ) I(C*_r) of C*-algebras.     

On the Best Constant in Weighted Inequalities for Riemann-Liouville Integrals

For 1 k < and 1 p q , the problem of finding the bestconstant C_pq in the weighted inequality involving the Riemann-Liouville integrals of theform is considered.     

A Combinatorial Application of the Maximal Ergodic Theorem

Let X be a compact space,µ a Borel probability measureon X, T: X X a measure preserving continuous transformationand g: X R a continuous function. Then for some yX, This Lemma is used to give an alternative proof of a resultby Ruzsa [6], which implies the following extension of a resultof Bergelson [1]. If E N satisfies then there exists a set N such that n–1|[1,n]| (E) for all, n 1, and any finite subset{₁, ... _k} satisfies Ø. 7 Moria St., Ramat Hasharon, Israel     

Intersections of the Left and Right Essential Spectra of 2 x 2 Upper Triangular Operator Matrices

In this paper, perturbations of the left and right essentialspectra of 2 x 2 upper triangular operator matrix M_C are studied,where is an operator acting on the Hilbert space H K. For given operators A and B, thesets and are determined, where _le(T) and _re(T) denote, respectively,the left essential spectrum and the right essential spectrumof an operator T. 2000 Mathematics Subject Classification 47A10,47A55.     

Calculs De Facteurs Epsilon De Paires Pour GLn Sur Un Corps Local, I

Soient F un corps commutatif localement compact non archimédienet un caractère additif non trivial de F. Soient unereprésentation du groupe de Weil–Deligne de F,et sa contragrédiente. Nous calculons le facteur (, , ). De manière analogue, nous calculons le facteur (x, , ) pour toute représentationadmissible irréductible de GL_n(F). En conséquence,si F est de caractéristique nulle et si et se correspondentpar la correspondance de Langlands construite par M. Harris,ou celle construite par les auteurs, alors les facteurs (, , s) et (x, , s) sont égaux pour tout nombre complexe s. Let F be a non-Archimedean local field and a non-trivial additivecharacter of F. Let be a representation of the Weil–Delignegroup of F and its contragredient representation. We compute (, , ). Analogously, we compute (x, , ) for all irreducible admissible representations of GL_n(F).Consequently, if F has characteristic zero, and , correspondvia the Langlands correspondence established by M. Harris orthe correspondence constructed by the authors, then we have(, , s) = (x, , s) for all sC. 1991 Mathematics Subject Classification22E50.     

Uniqueness of a Nonharmonic Trigonometric Series under an Exponential Growth Condition

We prove uniqueness for the nonharmonic trigonometric series under the weaker condition (*) where , for some 0 < < 1. In other words, if satisfies the above condition (*), and if , then a_k = 0 for all k = 0, 1,.... Finally, we statean improvement of Zygmund's uniqueness result as a corollary.     

On Prime Divisors of Binomial Coefficients

In 1985, Sárközy proved a conjecture of Erdösby showing that ) is never square-free for sufficiently large n. By applying a new estimateon exponential sums, we prove that this also holds for if dis not ‘too big’. Let 0 < < 1, p₀ N. For m m₀ and 1 k m satisfying |m– 2k| < m^{1 –} , there is a prime p > p₀ suchthat .     

Outer Automorphisms on Cuntz Algebras

We prove that if an automorphism on the Cuntz algebra O_n satisfies(S₁) = S₁ for one isometry S₁ of generators S₁, ..., S_n suchthat , , l i n and a complex number with modulus one,then it is outer. In particular, any non trivial automorphismon O_n leaving one generator fixed is outer.     

Localization of Closed (or Periodic) Solutions of a Differential System with Concave Nonlinearities

Consider a scalar differential equation , where I is an open interval containing [0,T]. Assumethat f(t, x) is continuous with a continuous derivative , and weakly concave (or weakly convex)in x for all t I, though strictly concave (or strictly convex)for some t [0, T]. It is well known that in this case therecan be either no, one or two closed solutions; that is, solutions(t) for which (0) = (T) If there are two closed solutions, thenthe greater has a negative characteristic exponent and the smallerhas a positive one. It is easily seen that this is equivalentto a statement on localization of closed solutions. It is shownhow this statement can be generalized to systems of differentialequations . The requirements are that the coordinate functions ) be continuous with continuous derivatives with respect to x₁,x₂, ...,x_n, that the f_j are weakly concave (or weakly convex)in , and that a certain condition pertaining to strict concavity (or strict convexity) is fulfilled.2000 Mathematics Subject Classification 34C25, 34C12.     

The {ell}1-norm of the Fourier transform on compact vector spaces

Suppose that G is a compact Abelian group. If A G, then howsmall can ||_A||_A(G) be? In general, there is no non-triviallower bound. In a recent preprint, Green and Konyagin show thatif has sparse small subgroup structure and A has density with (1 – ) >> 1, then||_A||_A(G) does admit a non-trivial lower bound. In this paperwe address the complementary case of groups with duals havingrich small subgroup structure, specifically the case when Gis a compact vector space over ₂. The results themselves arerather technical to state, but the following consequence capturestheir essence: if is a set of density as close to 1/3 as possible, then we show that . We include a number of examples andconjectures which suggest that what we have shown is very farfrom a complete picture.     

Estimates of Eigenfunctions for One Class of Boundary Conditions

Requirements for boundary conditions are found which imply sharpby order estimates in L-metrics of eigenfunctions of the ordinarydifferential operator It is shown that the inequalities for the eigenfunctions {y} yield certain restrictions on thespectrum. 1991 Mathematics Subject Classification 34L05.     

A Relation between Hausdorff Dimension and a Condition on Time Sets for the Image by the Brownian Sheet to Possess Interior Points

We prove that if W_{N, d} is a Brownian sheet mapping to R^d and E is a set in (0, )^N of Hausdorff dimensiongreater than , then for almost every rotation about a point x and translation _x such that _x(E) (0, )^N, the set _x(E) is such that almost surely W(E) containsinterior points. The techniques are adapted from Kahane andRosen and generalize to higher dimensional time and range.     

Binomial Sums and Functions of Exponential Type

Let (a_n)_n0 be a sequence of complex numbers, and, for n0, let A number of results are proved relating the growth of the sequences(b_n) and (c_n) to that of (a_n). For example, given p0, if b_n= O(n^p and for all > 0,then a_n=0 for all n > p. Also, given 0 < p < 1, then for all > 0 if and onlyif . It is further shown that, given rß > 1, if b_n,c_n=O(rßⁿ), then a_n=O(ⁿ),where , thereby proving a conjecture of Chalendar, Kellay and Ransford. The principal ingredientsof the proogs are a Phragmén-Lindelöf theorem forentire functions of exponential type zero, and an estimate forthe expected value of e^(X), where X is a Poisson random variable.2000 Mathematics Subject Classification 05A10 (primary), 30D15,46H05, 60E15 (secondary).     

Approximation of Ground State Eigenvalues and Eigenfunctions of Dirichlet Laplacians

Let be a bounded connected open set in R^N, N 2, and let –0be the Dirichlet Laplacian defined in L²(). Let > 0 be thesmallest eigenvalue of –, and let > 0 be its correspondingeigenfunction, normalized by ||||₂ = 1. For sufficiently small>0 we let R() be a connected open subset of satisfying Let – 0 be the Dirichlet Laplacian on R(), and let >0and >0 be its ground state eigenvalue and ground state eigenfunction,respectively, normalized by ||||₂=1. For functions f definedon , we let Sf denote the restriction of f to R(). For functionsg defined on R(), we let Tg be the extension of g to satisfying 1991 Mathematics SubjectClassification 47F05.     

Algebraic K-Theory In Low Degree and The Novikov Assembly Map

We prove that the Novikov assembly map for a group factorizes,in ‘low homological degree’, through the algebraicK-theory of its integral group ring. In homological degree 2,this answers a question posed by N. Higson and P. Julg. As adirect application, we prove that if is torsion-free and satisfiesthe Baum-Connes conjecture, then the homology group H₁(; Z)injects in and in , for any ring A such that . If moreover B is of dimension lessthan or equal to 4, then we show that H₂(; Z) injects in and in , where A is as before, and ₂ is generated by the Steinberg symbols{,}, for . 2000 Mathematical Subject Classification: primary 19D55, 19Kxx,58J22; secondary: 19Cxx, 19D45, 43A20, 46L85.