Piecewise Linear Non-Representability of Out {pi}1 M

For every 6, examples are given of closed negatively curvedriemannian n-manifolds for which the natural map PLM Out ₁Mis not an epimorphism. PLM denotes the group of piecewise linearhomeomorphisms of M. 2000 Mathematics Subject Classification53C20, 57Q25, 57R55.     

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 a Theorem of Zarach Concerning the Global Pattern of Cardinals in Generic Extensions of Models of ZFC

Let M ZFC and let F: be a function on the ordinals of M.For which such F will there exist a model N of ZFC with thesame ordinals as M such that N is a cardinal if and only ifM () ( = _F())? A partial answer to this question was given in a theorem ofZarach. We present here a counter-example and correction tothis theorem. Our argument invokes results of Drake concerningthe collapse of weak cardinal powers in certain generic extensions. This work is supported in part by the National Research Councilof Canada under grant number A8216.     

Sub- and Superadditive Properties of Fejer's sine Polynomial

Let be Fejér's sine polynomial. We prove the following statements.

1. The inequality holds for all x, y (0, ) with x + y < if and only if 0 and + rß 1.
2. The converse of the above inequality is valid for allx, y (0, ) with x + y < if and only if 0 and + rß 1.
3. For all n N and x, y [0, ] we have . Both bounds are best possible.

2000 Mathematics Subject Classification 42A05, 26D05 (primary),39B62 (secondary).     

Trivial Cycles in Graphs Embedded in 3-Manifolds

A cycle C of a graph embedded in a 3-manifold M is said tobe trivial in if it bounds a disk with interior disjoint from. Let e be an edge of with ends on C. We shall study the relationbetween triviality of cycles in and that of – e and/e. Let C₁ be one of the two cycles in C e containing e. Themain theorem says that if C is trivial in – e and C₁/eis trivial in /e, then either C or C₁ is trivial in . Some applicationsto cycle trivial graphs will be given in Section 2.     

Spaces Universal under Closed Embeddings for Finite-Dimensional Complete Metric Spaces

We shall prove that for every natural number n and every cardinalnumber there exists an n-dimensional complete metric spaceX_n, of weight such that every n-dimensional complete metricspace of weight is embeddable in X_n, as a closed subset.     

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.     

The Representation of Some Integers as a Subset Sum

Let A N. The cardinality (the sum of the elements) of A willbe denoted by |A| ((A)). Let m N and p be a prime. Let A {1, 2,...,p}. We prove thefollowing results. If |A| [(p+m–2)/m]+m, then for every integer x such that0 x p – 1, there is B A such that |B| = m and (B) x mod p. Moreover, the bound is attained. If |A| [(p+m–2)/m]+m!, then there is B A such that |B| 0 mod m and (B) = (m – 1)!p. If |A| [(p + 1)/3]+29, then for every even integer x such that4p s x p(p + 170)/48, there is S A such that x = (S). In particular,for every even integer a 2 such that p 192a – 170, thereare an integer j 0 and S A such that (S) = a^j+1.     

Homeomorphisms of Manifolds with Prescribed Behaviour on Large Dense Sets

It is shown that MA₁ for -centred partial orders implies forany compact n-manifold M(n > 1) and any two ₁-dense subsetsof M there is an autohomeomorphism of M which is a bijectionbetween the two ₁-dense sets.     

The structure of the normalisers of the congruence subgroups of the Hecke group G5

Let = 2cos (/5) and let []. Denote the normaliser ofG₀() of the Hecke group G₅ in PSL₂() by N(G₀()). Then N(G₀())= G₀(/h), where h is the largest divisor of 4 such that h² divides. Further, N(G₀())/G₀() is either 1 (if h = 1), ₂ x ₂ (if h= 2) or ₄ x ₄ (if h = 4).     

Stability of the Picard Bundle

Let X be a non-singular algebraic curve of genus g 2, n 2an integer, a line bundle over X of degree d > 2n(g –1) with (n,d) = 1 and M the moduli space of stable bundles ofrank n and determinant over X. It is proved that the Picardbundle W is stable with respect to the unique polarisation ofM. 2000 Mathematics Subject Classification 14H60, 14J60.     

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.     

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     

An Example on Sobolev Space Approximation

For each d2 we construct a connected open set R^d such that = int (clos()), and for each k 1 and each p [1, ), the subsetW^k, () fails to be dense in the Sobolev space W^{k, p}(), in thenorm of W^{k, p}(). 1991 Mathematics Subject Classification 46E35,46F05.     

Examples of Non-Homeomorphic Harmonic Maps Between Negatively Curved Manifolds

Let M and N be closed non-positively curved manifolds, and letf:MN be a smooth map. Results of Eells and Sampson [1] showthat f is homotopic to a harmonic map , and Hartman [6] showedthat this is unique when N is negatively curved and f_*(₁ M)is not cyclic. Lawson and Yau conjectured that if f:MN is ahomotopy equivalence, where M and N are negatively curved, thenthe unique harmonic map homotopic to f would be a diffeomorphism.Counterexamples to this conjecture appeared in [2], and laterin [7] and [5]. There remains the question of whether a ‘topological’Lawson–Yau conjecture holds. 1991 Mathematics SubjectClassification 53C20, 55P10, 57C25, 58E20.     

Trivial centralizers for codimension-one attractors

We show that if is a codimension-one hyperbolic attractor fora C^r diffeomorphism f, where 2 r , and f is not Anosov, thenthere is a neighborhood of f in Diff^r(M) and an open and denseset of such that any g has a trivial centralizer on thebasin of attraction for .     

On v-Distal Flows on 3-Manifolds

In [2], H. Furstenberg studied a distal action of a locallycompact group G on a compact metric space X, and establisheda structure theorem. As a consequence, he showed that if G isabelian, then a simply connected space X does not admit a minimaldistal G-action. In this paper we concern ourselves with a nonsingular flow = {^t} on a closed 3-manifold M. Recall that is called distalif for any distinct two points x, y M, the distance d(^tx, ^ty)is bounded away from 0. The distality depends strongly uponthe time parametrization. For example, there exists a time parametrizationof a linear irrational flow on T² which yields a nondistal flow[4, 6]. 1991 Mathematics Subject Classification 58F25, 57R30.     

A Classification of Horizontally Homothetic Submersions from Space Forms of Nonnegative Curvature

In this paper, it is proved that for n 2, any horizontallyhomothetic submersion : Rⁿ⁺¹ (Nⁿ, h) is a Riemannian submersionup to a homothety. It is also shown that if : Sⁿ⁺¹ (Nⁿ, h)is a horizontally homothetic submersion, then n = 2m, (Nⁿ, h)is isometric to CP^m and, up to a homothety, is a standard Hopffibration S^2m+1 CP^m. 2000 Mathematics Subject Classification53C20, 53C12.     

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.     

Global smooth fibrations of R3 by oriented lines

A smooth fibration of ³ by oriented lines is given by a smoothunit vector field V on ³ all of whose integral curves are straightlines. Such a fibration is said to be nondegenerate if dV vanishesonly in the direction of V. Let be the space of oriented linesof ³ endowed with its canonical pseudo-Riemannian neutral metric.We characterize the nondegenerate smooth fibrations of ³ byoriented lines as the closed (in the relative topology) definiteconnected surfaces in . In particular, local conditions on imply the existence of a global fibration. Besides, for anysuch fibration the base space is diffeomorphic to the open discand the directions of the fibers form an open convex set ofthe two-sphere. We characterize as well, in a similar way, thesmooth (possibly degenerate) fibrations.