Precise Spectral Asymptotics for Logistic Equations of Population Dynamics

The semilinear elliptic eigenvalue problem with superlinearpure power nonlinearity is considered. This problem is treatedfrom the standpoint of L²-theory and the precise asymptoticformula for the eigenvalue parameter = () as is established,where is the L²-norm of the solution u associated with . 2000Mathematics Subject Classification 35P30 (primary), 35J60 (secondary).     

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

On Eigenmaps Between Spheres

This paper presents the rigidity of ₂-eigenmaps from S⁴ to itself,and the nonexistence of some ₂-eigenmaps, as well as new examplesof eigenmaps between spheres. 2000 Mathematics Subject Classification58E20.     

The Symmetrized Bidisc and Lempert's Theorem

Let G C² be the open symmetrized bidisc, namely G = {(₁ + ₂,₁₂) : |₁| < 1, |₂| < 1}. In this paper, a proof is giventhat G is not biholomorphic to any convex domain in C². By combiningthis result with earlier work of Agler and Young, the authorshows that G is a bounded domain on which the Carathéodorydistance and the Kobayashi distance coincide, but which is notbiholomorphic to a convex set. 2000 Mathematics Subject Classification32F45 (primary), 15A18 (secondary).     

The Cone Length of a Product of Co-H-Spaces and a Problem of Ganea

It is proved that the cone length or strong category of a productof two co-H-spaces is less than or equal to two. This yieldsthe following positive solution to a problem of Ganea. Let _2p(S³) be an element of order p, p a prime 3, and let X(p)= S³e^2p+1. Then X(p) x X(p) is the mapping cone of some map : Y Z where Z is a suspension. 2000 Mathematics Subject Classification55M30, 55P50 (primary); 55P45 (secondary).     

Intersections of Odd Order Hall Subgroups

Given a set of odd primes and a -solvable finite group G, onecan choose three (not necessarily distinct) Hall -subgroupsof G whose intersection is O(G). This statement relies on aresult concerning long orbits in coprime actions of groups ofodd order. 2000 Mathematics Subject Classification 20D20.     

Asymptotic Cones of Finitely Generated Groups

Answering a question of Gromov [7], we shall present an exampleof a finitely generated group and two non-principal ultrafiltersA, B such that the asymptotic cones Con_A and Con_B are nothomeomorphic. 1991 Mathematics Subject Classification 20F06,20F32.     

Rank of Elliptic Curves over almost Separably Closed Fields

Let E be an elliptic curve over a finitely generated infinitefield K. Let K^s denote a separable closure of K, an elementof the Galois group G_K=Gal(K^s/K), and K^s() the invariant subfieldof K^s. If the characteristic of K is not 2 and belongs to asuitable open subgroup of G_K, then E(K^s()) has infinite rank.2000 Mathematics Subject Classification 11G05.     

Analytic Discs Attached From the Outside Have Knotted Boundaries

Let be a pseudoconvex domain in C² with smooth boundary, andlet be a smooth embedded analytic disc intersecting transversally along the curve A. Then A isknotted in . 2000 Mathematics Subject Classification 32U99.     

Existence of Periodic Solutions in Nonlinear Asymmetric Oscillations

The existence of periodic solutions for the nonlinear asymmetricoscillator x' + x⁺ – rßx^– = h(t),(' =d/dt (is discussed, where , rß are positive constantssatisfying for some positive integer n N and h(t) L (0,2) is 2-periodic with x^±= max {±x,0}. 2000 Mathematics Subject Classification34C10, 34C25.     

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

On the Existence of WKB-Type Asymptotics for the Generalized Eigenvectors of Discrete String Operators

Let J be a Jacobi real symmetric matrix on l₂ with zero diagonaland non-diagonal entries of the form {1 + p_n}. If p_n–1± p_n = O(n^–) with some 2/3, then the existenceof bounded solutions of Ju = u is proved for almost every (–2, 2) with the WKB-type asymptotic behavior. 2000 MathematicsSubject Classification 47B36, 47B37, 47B39.     

Anzai Skew Products with Lebesgue Component of Infinite Multiplicity

Let f be a 1-periodic C¹-function whose Fourier coefficientssatisfy the condition _n|n|³|f(n|² < . For every R\Q andm Z\{0}, we consider the Anzai skew product T(x, y) = (x +, y + mx + f(x)) acting on the 2-torus. It is shown that T hasinfinite Lebesgue spectrum on the orthocomplement L²(dx) ofthe space of functions depending only on the first variable.This extends some earlier results of Kushnirenko, Choe, Lemaczyk,Rudolph, and the author. 1991 Mathematics Subject Classification28D05.     

Packing, Tiling, Orthogonality and Completeness

Let R^d be an open set of measure 1. An open set DR^d is calleda ‘tight orthogonal packing region’ for if D–Ddoes not intersect the zeros of the Fourier transform of theindicator function of , and D has measure 1. Suppose that isa discrete subset of R^d. The main contribution of this paperis a new way of proving the following result: D tiles R^d whentranslated at the locations if and only if the set of exponentialsE = {exp 2i, x: } is an orthonormal basis for L²(). (This resulthas been proved by different methods by Lagarias, Reeds andWang [9] and, in the case of being the cube, by Iosevich andPedersen [3]. When is the unit cube in R^d, it is a tight orthogonalpacking region of itself.) In our approach, orthogonality ofE is viewed as a statement about ‘packing’ R^d withtranslates of a certain non-negative function and, additionally,we have completeness of E in L²() if and only if the above-mentionedpacking is in fact a tiling. We then formulate the tiling conditionin Fourier analytic language, and use this to prove our result.2000 Mathematics Subject Classification 52C22, 42B99, 11K70.     

Abelian Subgroups of Finitely Generated Kleinian Groups are Separable

By a Kleinian group we mean a discrete subgroup of PSL(2, C).We prove that abelian subgroups of finitely generated Kleiniangroups are separable. In other words, if M = H³/ is a hyperbolic3-orbifold, with finitely generated, then abelian subgroupsof are separable in . 1991 Mathematics Subject Classification20E26, 51M10, 57M05.     

Correction: on the Intersection Matrices of Curves lying on Irregular Algebraic Surfaces

Professor W. F. Hammond has kindly drawn my attention to a blunderin 4 of the above paper. He referred to the ( – 2r) xß submatrix D of the skew-symmetric matrix displayednear the top of page 181, of which it is asserted that it issquare and non-singular, and pointed out that, from the factthat the matrix of which D forms part is regular, it may onlybe deduced that the columns of D are linearly independent; thatis, it only follows that – 2r ß. The validity of the equation – 2r = ß is essentialto the succeeding argument and, fortunately, may be establishedby alternative means. Using the nomenclature of the paper, wehave on F the set ₁^*, ..., _2r^*, ₁^*, ..., _ß^* of independent3-cycles (independent because they cut independent 1-cycleson the curve C), which may be completed, to form a basis forsuch cycles on F, by a further set ₁', ..., _2q–2r–pof independent 3-cycles, each of which meets C in a cycle homologousto zero on C. The cycles ₁^*, ..., ^* are invariant cycles andare independent on F so that, if > 2r + ß, thereis a non-trivial linear combination ^* of these having zero intersectionon C with each of the cycles ₁^*, ..., _2r^*, ₁^*, ..., _ß^*.Thus we have. (^* ._k^*)c = 0 = (^* ._i^*)c i.e. (^* ._k^*) = 0 = (^* ._i^* on F (1 k 2r; 1 i ß). Furthermore, (_j . C) 0 on C and we have (^* ._j .C)_C = 0 i.e. (^* ._j) = 0 on F (1 j 2q – 2r – ß). It now follows that ^* 0 on F (for it has zero intersectionwith every member of a basic set of 3-cycles on F). But thiscondradicts the assumption that ^* is a non-trivial linear combinationof the independent cycles ₁^*, ...,^*; and hence < 2r + ß.     

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{\&macr;}{\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{\&macr;}{\sigma}$$, I$$\stackrel{\&macr;}{\sigma }$$, $$\stackrel{\&macr;}{\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{\&macr;}{\sigma }$$. Then : (A, I, ) (A^{$$\stackrel{\&macr;}{\sigma }$$}, I^{$$\stackrel{\&macr;}{\sigma}$$}, ^{$$\stackrel{\&macr;}{\sigma }$$} = (A^{$$\stackrel{\&macr;}{\sigma}$$m}, I^{$$\stackrel{\&macr;}{\sigma }$$m}, ^{$$\stackrel{\&macr;}{\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).     

Holder Continuity of the Dirichlet Solution for a General Domain

Let D be a bounded domain in Rⁿ. For a function f on the boundaryD, the Dirichlet solution of f over D is denoted by H_Df, providedthat such a solution exists. Conditions on D for H_D to transforma Hölder continuous function on D to a Hölder continuousfunction on D with the same Hölder exponent are studied.In particular, it is demonstrated here that there is no boundeddomain that preserves the Hölder continuity with exponent1. It is also also proved that a bounded regular domain D preservesthe Hölder continuity with some exponent , 0<<1,if and only if D satisfies the capacity density condition, whichis equivalent to the uniform perfectness of D if n = 2. 2000Mathematics Subject Classification 31A05, 31A20, 31B05, 31B25.     

There are Only Eleven Special Pisot Numbers

A special Pisot number is a Pisot number such that /(–1)is also a Pisot number. Lagarias, Porta and Stolarsky found11 special Pisot numbers. Here it is proved that there are nomore. Also, the one known Salem number with the property that/(–1) is a Pisot number is shown to be the only such number.1991 Mathematics Subject Classification 11R06.     

On Littlewood's Constants

In two papers, Littlewood studied seemingly unrelated constants:(i) the best such that for any polynomial f, of degree n, theareal integral of its spherical derivative is at most ·n,and (ii) the extremal growth rate rß of the lengthof Green's equipotentials for simply connected domains. Thesetwo constants are shown to coincide, thus greatly improvingknown estimates on . 2000 Mathematics Subject Classification30C50 (primary), 30C85, 30D35 (secondary).