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.     

The Gabriel-Roiter measure for radical-square zero algebras

Let be a radical-square zero algebra over an algebraicallyclosed field k with radical , and let be the associated hereditary algebra. Thereis an explicit functor F: mod mod , which induces a stableequivalence. In this paper, it will be proved that the functorF preserves the Gabriel–Roiter (GR) measures and the GRfactors. Thus the GR measure for can be studied by the useof F and known facts for hereditary algebras. In particular,the middle terms of the Auslander–Reiten sequences endingat the GR factors and the relationship between the preprojectivepartition for and the take-off -modules will be investigated.     

Non-Normal Pairs of Non-Euclidean Crystallographic Groups

Let be a non-Euclidean crystallographic group. is said tobe non-maximal if there exists a non-Euclidean crystallographicgroup ' such that ' and the dimension of the Teichmüllerspace of equals the dimension of the Teichmüller spaceof '. The full list of such pairs of groups is computed in thecase when is non-normal in '. The corresponding problem forFuchsian groups was solved by Singerman. 2000 Mathematics SubjectClassification 20H10 (primary), 30F10 (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.     

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.     

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      

Smoothness of Holonomies for Codimension 1 Hyperbolic Dynamics

Hyperbolic invariant sets of C¹⁺ diffeomorphisms where eitherthe stable or unstable leaves are 1-dimensional are consideredin this paper. Under the assumption that the has local productstructure, the authors prove that the holonomies between the1-dimensional leaves are C¹⁺ for some 0 < < 1.     

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 .     

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 infinite Family of 4-Arc-Transitive Cubic Graphs Each with Girth 12

If p is any prime, and is that automorphism of the group SL(3,p) which takes each matrix to the transpose of its inverse,then there exists a connected trivalent graph (p) on vertices with the split extensionSL(3, p) as a group of automorphisms acting regularly on its4-arcs. In fact if p 3 then this group is the full automorphismgroup of (p), while the graph (3) is 5-arc-transitive with fullautomorphism group SL(3,3)0 x C₂. The girth of (p) is 12, exceptin th case p = 2 (where the girth is 6). Furthermore, in allcases (p) is bipartite, with SL(3, p) fixing each part. Alsowhen p 1 mod 3 the graph (p) is a triple cover of another trivalentgraph, which has automorphism group PSL(3, p)0 acting regularlyon its 4-arcs. These claims are proved using elementary theoryof symmetric graphs, together with a suitable choice of threematrices which generate SL(3, Z). They also provide a proofthat the group 4⁺(a¹²) described by Biggs in Computational grouptheor(ed. M. Atkinson) is infinite.     

{Omega}-Covers of Graphs

Given a group G, a G-set and a graph we present a constructionfor a family of graphs, the -covers of . A particular exampleof this construction gives a girth 17 cubic graph with 2530vertices. 2000 Mathematics Subject Classification 05C25, 05C35.     

Simplicity of C*-algebras associated to higher-rank graphs

We prove that if is a row-finite k-graph with no sources, thenthe associated C*-algebra is simple if and only if is cofinaland satisfies Kumjian and Pask's aperiodicity condition, knownas Condition (A). We prove that the aperiodicity condition isequivalent to a suitably modified version of Robertson and Steger'soriginal nonperiodicity condition (H3), which in particularinvolves only finite paths. We also characterise both cofinalityand aperiodicity of in terms of ideals in C*().     

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 .     

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.     

Determinants of Lattices induced by Rational Subspaces

Let L and be orthogonal complementary rational linear subspaces of Eⁿ, and let = L Zⁿ and $$\stackrel{\&macr;}{\Lambda}$$ = Zⁿ be the sublatticesof the usual integer lattice Zⁿ induced by L and . Then the determinants of and are equal. The samerelationship holds between the determinants of the lattices and obtained by orthogonal projection of Zⁿ on to L and .     

The Index of Toeplitz Operators on Free Transformation Group C*-Algebras

Let be a discrete group acting on a compact manifold X, letV be a -equivalent Hermitian vector bundle over X, and let Dbe a first-order elliptic self-adjoint -equivalent differentialoperator acting on sections of V. This data is used to defineToeplitz operators with symbols in the transformation groupC*-algebra C(X), and it is shown that if the symbol of sucha Toeplitz operator is invertible, then the operator is Fredholm.In the case where is finite and acts freely on X, a geometric-topologicalformula for the index is stated that involves an explicitlyconstructed differential form associated to the symbol. 2000Mathematics Subject Classification 47A53 (primary), 19K56, 47B35,46L87 (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.     

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.     

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