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.     

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.     

Correction: Abelian Varieties defined over their Fields of Moduli, I

Bull London Math. Soc, 4 (1972), 370–372. The proof of the theorem contains an error. Before giving acorrect proof, we state two lemmas. LEMMA 1. Let K/k be a cyclic Galois extension of degree m, let generate Gal (K/k), and let (A, I, ) be defined over K. Supposethat there exists an isomorphism :(A,I,) (A, I, ) over K suchthat v^m–1 ... = 1, where v is the canonical isomorphism(A^m, I^m, ^m) (A, I, ). Then (A, I, ) has a model over k, whichbecomes isomorphic to (A, I, ) over K. Proof. This follows easily from [7], as is essentially explainedon p. 371. LEMMA 2. Let G be an abelian pro-finite group and let : G Q/Z be a continuous character of G whose image has order p.Then either: (a) there exist subgroups G' and H of G such that H is cyclicof order p^m for some m, (G') = 0, and G = G' x H, or (b) for any m > 0 there exists a continuous character m ofG such that p^m _m = . Proof. If (b) is false for a given m, then there exists an element G, of order p^r for some r m, such that () ¦ 0. (Considerthe sequence dual to 0 Ker (p^m) G ^pm G). There exists an opensubgroup G_o of G such that (G₀) = 0 and has order p^r in G/G₀.Choose H to be the subgroup of G generated by , and then aneasy application to G/G₀ of the theory of finite abelian groupsshows the existence of G' (note that () ¦ 0 implies that is not a p-th. power in G). We now prove the theorem. The proof is correct up to the statement(iv) (except that (i) should read: F' k₁ F'ab). To removea minor ambiguity in the proof of (iv), choose to be an elementof Gal (F'_ab/k₂) whose image $$\stackrel{\¯}{\sigma}$$ in Gal (k₁/k₂) generates this last group. The error occursin the statement that the canonical map v : A^P A acts on pointsby sending a^p a; it, of course, sends a a. The proof is correct, however, in the case that it is possibleto choose so that ^p = 1 (in Gal (F'/k₂)). By applying Lemma 2 to G = Gal (F'_ab/k₂) and the map G Gal(k₁/k₂) one sees that only the following two cases have to beconsidered. (a) It is possible to choose so that ^pm = 1, for some m, andG = G' x H where G' acts trivially on k₁ and H is generatedby . (b) For any m > 0 there exists a field K, F'ab K k₁ k₂is a cyclic Galois extension of degree p^m. In the first case, we let K F'_ab be the fixed field of G'.Then (A, I, ), regarded as being defined over K, has a modelover k₂. Indeed, if m = 1, then this was observed above, butwhen m > 1 the same argument applies. In the second case, let : (A, I, ) (A$$\stackrel{\¯}{\sigma}$$, I$$\stackrel{\¯}{\sigma }$$, $$\stackrel{\¯}{\sigma}$$) be an isomorphism defined over k₁ and let v ... ^p–1 = µ(R). If is replaced by for some Aut_k1((A, I, )) then is replacedby ^P. Thus, as µ(R) is finite, we may assume that ^pm–1= 1 for some m. Choose K, as in (b), to be of degree p^m overk₂. Let _m be a generator of Gal (K/k₂) whose restriction tok₁ is $$\stackrel{\¯}{\sigma }$$. Then : (A, I, ) (A^{$$\stackrel{\¯}{\sigma }$$}, I^{$$\stackrel{\¯}{\sigma}$$}, ^{$$\stackrel{\¯}{\sigma }$$} = (A^{$$\stackrel{\¯}{\sigma}$$m}, I^{$$\stackrel{\¯}{\sigma }$$m}, ^{$$\stackrel{\¯}{\sigma}$$m} is an isomorphism defined over K and v ^mpm–1, ... ^m =^pm–1 = 1, and so, by) Lemma 1, (A, I, ) has a model overk₂ which becomes isomorphic to (A, I, over K. The proof may now be completed as before. Addendum: Professor Shimura has pointed out to me that the claimon lines 25 and 26 of p. 371, viz that µ(R) is a puresubgroup of _R^*t, does not hold for all rings R. Thus this condition,which appears to be essential for the validity of the theorem,should be included in the hypotheses. It holds, for example,if µ(R) is a direct summand of µ(F).     

Multi-Bubble Solutions for Slightly Super-Critical Elliptic Problems in Domains with Symmetries

The aim of this paper is to show the existence of solutionswith an arbitrarily large number of bubbles for the slightlysuper-critical elliptic problem in , subject to the conditions that u > 0 in , and u = 0on , where > 0 is a small parameter and R^N is a boundeddomain with certain symmetries, for instance an annulus or atorus in R³. 2000 Mathematics Subject Classification 35J25 (primary);35J20, 35J60 (secondary).     

On Approximately Midconvex Functions

A real-valued function f defined on an open, convex set D ofa real normed space is called (, )-midconvex if it satisfies The main result of the paper states that if f is locally boundedfrom above at a point of D and is (, )-midconvex, then it satisfiesthe convexity-type inequality where : [0, 1] R is a continuous function satisfying The particular case = 0 of this result is due to Ng and Nikodem(Proc. Amer. Math. Soc. 118 (1993) 103–108), while thespecialization = = 0 yields the theorem of Bernstein and Doetsch(Math. Ann. 76 (1915) 514–526). 2000 Mathematics SubjectClassification 26A51, 26B25.     

Logarithmic Convexity for Supremum Norms of Harmonic Functions

We prove the following convexity property for supremum normsof harmonic functions. Let be a domain in Rⁿ, ₀ and E a subdomainand a compact sebset of ,respectively. Then there exists a constant = (E, ₀, ) (0, 1) such that for all harmonic functions u on, the inequality is valid.The case of concentric balls E plays a key role in the proof.For positive harmonic funcitons ono osuch balls, we determinethe sharp constant in the inequlity.     

A Variation on a Theorem of Galvin and Hajnal

Let be a singular cardinal of regular uncountable cofinality. Let {(): < } be a continuous increasing sequence withlimit , and let =₍₎₊₍₎, < be regular cardinals. Let I be a normal ideal on , and assume that the reduced product_</I admits a cofinal -scale of ordinal functions. Then ₊, where =||||_I is the I-norm of .     

The Polynomials Associated with a Julia Set

We prove that, with two exceptions, the set of polynomials withJulia set J has the form {pⁿ:nN,} where p is one of these polynomialsand is the symmetry group of J. The exceptions occur when Jis a circle or a straight line segment.     

Gyration Numbers, Fixed Points and K2

We give a formula for the Boyle-Krieger gyration numbers ofan involution in the symmetry group Aut (_A) of an even subshiftof finite type _A in terms of the number of fixed points of in the periodic orbits of _A. A relationship between gyrationnumbers, the algebraic K-theory group K₂, and the tame symbolis also discussed.     

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.     

Corrigendum: Elliptic Curves and Quadratic Recurrence Sequences

The statement of the numerical values and z₀ on page 167 of[1, Section 3] contained an error. The values that were actuallyused were (to nine decimal places): thesebeing shifted, by the periods 2₁ and 2₃ respectively, comparedwith the values given in [1] (with ₁ = 1.496729323 and ₃ = 1.225694691i).With ₀ = ₁ and (z) denoting the sigma function (z; g2, g3) withinvariants g2 = 4, g3 = –1 associated with the ellipticcurve given by equation (3.2), these values of and z₀ yield and the latter three values all agreewith those stated in the paper (apart from rounding down thelast digit in the imaginary part of A). 2000 Mathematics SubjectClassification 11B37 (primary), 33E05, 37J35 (secondary).     

Density of non-residues in Burgess-type intervals and applications

We show that for any fixed > 0, there are numbers >0 and p₀ 2 with the following property: for every prime p p₀ and every integer N such that p^1/(4e )+ N p, the sequence1, 2, ..., N contains at least N quadratic non-residues modulop. We use this result to obtain strong upper bounds on the sizesof the least quadratic non-residues in Beatty and Piatetski-Shapirosequences.     

On Transitive Permutation Groups with Primitive Subconstituents

Let G be a transitive permutation group on a set such that,for , the stabiliser G induces on each of its orbits in \{}a primitive permutation group (possibly of degree 1). Let Nbe the normal closure of G in G. Then (Theorem 1) either N factorisesas N=GG for some , , or all unfaithful G-orbits, if any exist,are infinite. This result generalises a theorem of I. M. Isaacswhich deals with the case where there is a finite upper boundon the lengths of the G-orbits. Several further results areproved about the structure of G as a permutation group, focussingin particular on the nature of certain G-invariant partitionsof . 1991 Mathematics Subject Classification 20B07, 20B05.     

On the Behaviour of the First Eigenfunction of the p-Laplacian Near its Critical Points

In this paper, the behaviour of the positive eigenfunction of in u_| = 0, p > 1, isstudied near its critical points. Under some convexity and symmetryassumptions on , is seen to have a unique critical point atx = 0; also, the behaviour of both and is determined nearby.Positive solutions u to some general problems –_pu = f(u)in , u_| = 0, are also considered, with some convexity restrictionson u. 2000 Mathematics Subject Classification 35B05 (primary),35J65, 35J70 (secondary).     

Are All Uniform Algebras Amnm?

A Banach algebra a is AMNM if whenever a linear functional on a and a positive number satisfy |(ab)–(a)(b)|||a||·||b||for all a, b a, there is a multiplicative linear functional on a such that ||–||=o(1) as 0. K. Jarosz [1] asked whetherevery Banach algebra, or every uniform algebra, is AMNM. B.E. Johnson [3] studied the AMNM property and constructed a commutativesemisimple Banach algebra that is not AMNM. In this note weconstruct uniform algebras that are not AMNM. 1991 MathematicsSubject Classification 46J10.     

The Set of {omega}-Limit Points of A Map of the Circle is Closed

Let f be a continuous self-map of the unit circle, S¹. The -limitpoints (x) of a point x are the set of all limit points of thesequence of iterates of f acting on x. We shall show that theset of all -limit points _xS¹(x) a closed set in S¹.     

Cardinal Invariants and Eventually Different Functions

In this paper we study several kinds of maximal almost disjointfamilies. In the main result of this paper we show that forsuccessor cardinals , there is an unexpected connection betweeninvariants a_e(), b() and a certain cardinal invariant m_d(⁺)on ⁺. As a corollary we get for example the following result.For a successor cardinal , even assuming that ^< = and 2= ⁺, the following is not provable in Zermelo–Fraenkelset theory. There is a ⁺-cc poset which does not collapse andwhich forces a() = ⁺ < a_e() = ⁺⁺ = 2. We also apply the ideasfrom the proofs of these results to study a = a() and non(M).2000 Mathematics Subject Classification 03E17 (primary), 03E05(secondary).     

Quasi-Affinity in certain Classes of Operators

The family of operators S + V (, C, Re > 0), where V isan injective S-Volterra operator (that is, [S, V[ = V²) and— A — V^–1 generates a uniformly bounded C₀-semigroup,is studied in the context of similarity and of the weaker quasi-affinityrelation. It is shown that S is similar to S + V for all , C,Re > 1, and is a quasi-affine transform of S + tV for allt 0 and 0 < < 1.     

Finite groups in Stone-Cech compactifications

Let be an infinite cardinal and let G = ₂. Now let β Gbe the Stone–ech compactification of G as a discrete semigroup,and let =_<c_{β G} {xG\{0}:minsupp (x)}. We show that thesemigroup contains no nontrivial finite group.     

A Remark on Zero and Peak Sets on Weakly Pseudoconvex Domains

Let be a relatively compact, smoothly bounded, pseudoconvexdomain of a Stein manifold, and let A() be the algebra of allcontinuous functions on which are holomorphic on . It is shown that a zero set on for A()is a peak set for A().