Random walks on free products of cyclic groups

Let G be a free product of a finite family of finite groups,with the set of generators being formed by the union of thefinite groups. We consider a transient nearest-neighbour randomwalk on G. We give a new proof of the fact that the harmonicmeasure is a special Markovian measure entirely determined bya finite set of polynomial equations. We show that in severalsimple cases of interest, the polynomial equations can be explicitlysolved to get closed form formulae for the drift. The examplesconsidered are /2 /3, /3 /3, /k /k and the Hecke groups /2 /k.We also use these various examples to study Vershik's notionof extremal generators, which is based on the relation betweenthe drift, the entropy and the growth of the group.     

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.     

Algebraic invariants for Bestvina Brady groups

Bestvina–Brady groups arise as kernels of length homomorphismsG from right-angled Artin groups to the integers. Under someconnectivity assumptions on the flag complex , we compute severalalgebraic invariants of such a group N, directly from the underlyinggraph . As an application, we give examples of finitely presentedBestvina–Brady groups which are not isomorphic to anyArtin group or arrangement group.     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

Immanant Inequalities, Induced Characters, and Rank Two Partitions

If = {₁, ₂, ..., _s}, where _{1 2} ... _s > 0, is a partitionof n then denotes the associated irreducible character of S_n,the symmetric group on {1, 2, ..., n}, and, if cCS_n, the groupalgebra generated by C and S_n, then d_c(·) denotes thegeneralized matrix function associated with c. If c₁, c₂ CS_nthen we write c₁ c₂ in case (A) (A) for each n x n positivesemi-definite Hermitian matrix A. If cCS_n and c(e) 0, wheree denotes the identity in S_n, then or denotes (c(e))^–1 c. The main result, an estimate for the norms of tensors of a certainanti-symmetry type, implies that if = {₁, ₂, ..., _s, 1^t} isa partition of n such that s > 1 and _s = 2, and ' denotes{₁, ₂, ..., _s-1, 1^t} then (, _{2}) where denotes characterinduction from S_n–2 x S₂ to S_n. This in turn implies thatif = {₁, ₂, ..., _s, 1^t} with s > 1, _s = 2, and ßdenotes {₁ + 2, ₂, ..., _s-1, 1^t} then _ß which,in conjunction with other known results, provides many new inequalitiesamong immanants. In particular it implies that the permanentfunction dominates all normalized immanants whose associatedpartitions are of rank 2, a result which has proved elusivefor some years. We also consider the non-relationship problem for immanants– that is the problem of identifying pairs, (,ß)such that _ß and _ß are both false.     

TURAN'S EXTREMAL PROBLEM FOR POSITIVE DEFINITE FUNCTIONS ON GROUPS

We study the following question: given an open set , symmetricabout 0, and a continuous, integrable, positive definite functionf, supported in and with f(0) = 1, how large can f be? Thisproblem has been studied so far mostly for convex domains inEuclidean space. In this paper we study the question in arbitrarylocally compact abelian groups and for more general domains.Our emphasis is on finite groups as well as Euclidean spacesand ^d. We exhibit upper bounds for f assuming geometric propertiesof of two types: (a) packing properties of and (b) spectralproperties of . Several examples and applications of the maintheorems are shown. In particular, we recover and extend severalknown results concerning convex domains in Euclidean space.Also, we investigate the question of estimating f over possiblydispersed sets solely in dependence of the given measure m :=||of . In this respect we show that in and the integral is maximalfor intervals.     

Faithful Representations of Free Products

In 1940 Nisnevi published the following theorem [3]. Let (G) be a family of groups indexed by some set and (F) a family of fields of the same characteristic p0. Iffor each the group G has a faithful representation of degreen over F then the free product* G has a faithful representationof degree n+1 over some field of characteristic p. In [6] Wehrfritzextended this idea. If (G) GL(n, F) is a family of subgroupsfor which there exists ZGL(n, F) such that for all the intersectionGF.1_n=Z, then the free product of the groups *_ZG with Z amalgamatedvia the identity map is isomorphic to a linear group of degreen over some purely transcendental extension of F. Initially, the purpose of this paper was to generalize theseresults from the linear to the skew-linear case, that is, togroups isomorphic to subgroups of GL(n, D) where the D are divisionrings. In fact, many of the results can be generalized to ringswhich, although not necessarily commutative, contain no zero-divisors.We have the following.     

Inverse Spectral Problems for Sturm-Liouville Equations with Eigenparameter Dependent Boundary Conditions

Inverse Sturm–Liouville problems with eigenparameter-dependentboundary conditions are considered. Theorems analogous to thoseof both Hochstadt and Gelfand and Levitan are proved. In particular, let ly = (1/r)(–(py')'+qy), , where det = > 0, c 0, det > 0, t 0 and (cs + dr –au – tb)² < 4(cr – ta)(ds – ub). Denoteby (l; ; ) the eigenvalue problem ly = y with boundary conditionsy(0)cos+y'(0)sin = 0 and (a+b)y(1) = (c+d)(py')(1). Define (; ; ) as above but with l replacedby . Let w_n denote the eigenfunctionof (l; ; ) having eigenvalue n and initial conditions w_n(0)= sin and pw'_n(0) = –cos and let _n = –aw_n(1)+cpw'_n(1).Define _n and _n similarly. As sample results, it is proved that if (l; ; ) and (; ; ) have the same spectrum, and (l;; ) and (; ; ) have the samespectrum or for all n, thenq/r = /.     

Normal Elements of C*-Algebras of Real Rank Zero without Finite-Spectrum Approximants

We investigate inductive limits of Toeplitz-type C*-algebras.One example, which has real-rank zero, is the middle term ofan exact sequence where is a Bunce-Deddens algebra and I is AF. Using Berg's technique,we produce a normal element N that is not the limit of finite-spectrumnormals. Moreover, this is an example of a normal element inan inductive limit that is not the limit of normal elementsof the approximating subalgebras. A second example is an embedding of C() ( the closed disk) into , where is a simple AF algebra and is the Toeplitz algebra.Let _n, for n 2, be the CW complex obtained as the quotientof by an n-fold identification of the boundary. (So ₂ = RP².)Regarding C(_n) as a subalgebra of C(), we find nontrivial embeddingsof C(_n) into type I inductive limits. From this, we producea *-homomorphism, for n odd, C₀(_n\{pt}) _{n + 1}, that inducesan isomorphism on K-theory. More generally, for X a connectedCW complex minus a point, and for n odd, we show that the map is a split surjection.     

Constructing {kappa}-like Models of Arithmetic

A model (M, <, ...) is -like if M has cardinality but, forall M, the cardinality of {x M : x < a} is strictly lessthan . In this paper we shall give constructions of -like modelsof arithmetic satisfying an arbitrarily large finite part ofPA but not PA itself, for various singular cardinals . The mainresults are: (1) for each countable nonstandard M ₂–Th(PA)with arbitrarily large initial segments satisfying PA and eachuncountable of cofinality there is a cofinal extension K ofM which is -like; also hierarchical variants of this resultfor _n–Th(PA); and (2) for every n 1, every singular and every M B_n+exp+¬ I_n there is a -like model K elementarilyequivalent to M.     

Herman Rings and Arnold Disks

For (,a) C* x C, let f_,a be the rational map defined by f_,a(z)= z² (az+1)/(z+a). If R/Z is a Brjuno number, we let D bethe set of parameters (,a) such that f_,a has a fixed Hermanring with rotation number (we consider that (e²ⁱ,0) D). Resultsobtained by McMullen and Sullivan imply that, for any g D, theconnected component of D(C* x (C/{0,1})) that contains g isisomorphic to a punctured disk. We show that there is a holomorphic injection F:DD such thatF(0) = (e²ⁱ ,0) and , where r is the conformal radius at 0 of the Siegel disk of the quadraticpolynomial z e²ⁱ z(1+z). As a consequence, we show that for a (0,1/3), if f_l,a has afixed Herman ring with rotation number and if m_a is the modulusof the Herman ring, then, as a0, we have e m_a=(r/a) + O(a). We finally explain how to adapt the results to the complex standardfamily z e^(a/2)(z-1/z).     

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

Metrical Theorems on Prime Values of the Integer Parts of Real Sequences II

Let [ ] denote the integer part. Among other results in [3]we gave a complete solution to the following problem. PROBLEM. Given an increasing sequence a_n R⁺, n = 1, 2, ...,where a_n as n , are there infinitely many primes in the sequence[a_n] for almost all ?     

Polynomial systems supported on circuits and dessins d'enfants

We study polynomial systems in which equations have as commonsupport a set of n + 2 points in ⁿ called a circuit. We finda bound on the number of real solutions to such systems whichdepends on n, the dimension of the affine span of the minimalaffinely dependent subset of , and the rank modulo 2 of . Weprove that this bound is sharp by drawing the so-called dessinsd’enfants on the Riemann sphere. We also obtain that themaximal number of solutions with positive coordinates to systemssupported on circuits in ⁿ is n + 1, which is very small comparedto the bound given by the Khovanskii fewnomial theorem.     

The Isolated Points of G{rho} and the w*-Strongly Exposed Points of P{rho}(G)0

Let G be a separable locally compact group and let be its dualspace with Fell's topology. It is well known that the set P(G)of continuous positive-definite functions on G can be identifiedwith the set of positive linear functionals on the group C^*-algebraC^*(G). We show that if is discrete in , then there exists anonzero positive-definite function associated with such that is a w^*-strongly exposed point of P(G)₀, where P(G)₀={f P(G):f(e)1. Conversely, if some nonzero positive-definite function associatedwith is a w^*-strongly exposed point of P(G)₀, then is isolatedin . Consequently, G is compact if and only if, for every ,there exists a nonzero positive-definite function associatedwith that is a w^*-strongly exposed point of P(G)₀. If, in addition,G is unimodular and , then is isolated in if and only if somenonzero positive-definite function associated with is a w^*-stronglyexposed point of P(G)₀, where is the left regular representationof G and is the reduced dual space of G. We prove that if B(G)has the Radon–Nikodym property, then the set of isolatedpoints of (so square-integrable if G is unimodular) is densein . It is also proved that if G is a separable SIN-group, thenG is amenable if and only if there exists a closed point in. In particular, for a countable discrete non-amenable groupG (for example the free group F₂ on two generators), there isno closed point in its reduced dual space .     

Picard Groups of Irrational Rotation C*-Algebras

Let be an irrational number in [0, 1] and A the correspondingirrational rotation C*-algebra. Let Aut (A) be the group ofall automorphisms of A and Int (A) the normal subgroup of Aut(A) of all inner automorphisms of A. Let Pic (A) be the Picardgroup of A. In the present note we shall show that if is notquadratic, then Pic (A)Aut (A)/Int (A) and that if is quadratic,then Pic (A) is isomorphic to a semidirect product of Aut (A)/Int(A) with Z. Furthermore, in the last section we shall discussPicard groups of certain Cuntz algebras.     

Some Remarks on the Cone of Completely Positive Maps between Von Neumann Algebras

The close relationship between the notions of positive formsand representations for a C*-algebra A is one of the most basicfacts in the subject. In particular the weak containment ofrepresentations is well understood in terms of positive forms:given a representation of A in a Hilbert space H and a positiveform on A, its associated representation is weakly containedin (that is, ker ker ) if and only if belongs to the weak*closure of the cone of all finite sums of coefficients of .Among the results on the subject, let us recall the followingones. Suppose that A is concretely represented in H. Then everypositive form on A is the weak* limit of forms of the typex ^k_{i=1 i}, x_i with the _i in H; moreover if A is a von Neumannsubalgebra of (H) and is normal, there exists a sequence (_i)_{i 1} in H such that (x) = _{i 1 i}, x_i for all x.     

Normal and Non-Normal Points of Self-Similar Sets and Divergence Points of Self-Similar Measures

Let K and µ be the self-similar set and the self-similarmeasure associated with an IFS (iterated function system) withprobabilities (S_i, p_i)_i=1,...,N satisfying the open set condition.Let ={1,...,N}^N denote the full shift space and let : K denotethe natural projection. The (symbolic) local dimension of µat is defined by lim_n (log µK_|n/log diam K_|n), where for = (₁, ₂,...) . A point for which the limit lim_n (log µK_|n/log diam K_|n) doesnot exist is called a divergence point. In almost all of theliterature the limit lim_n (log µK_|n/log diam K_|n) is assumedto exist, and almost nothing is known about the set of divergencepoints. In the paper a detailed analysis is performed of theset of divergence points and it is shown that it has a surprisinglyrich structure. For a sequence (_n)_n, let A(_n) denote the setof accumulation points of (_n)_n. For an arbitrary subset I ofR, the Hausdorff and packing dimension of the set and related sets is computed. An interesting and surprisingcorollary to this result is that the set of divergence pointsis extremely ‘visible’; it can be partitioned intoan uncountable family of pairwise disjoint sets each with fulldimension. In order to prove the above statements the theory of normaland non-normal points of a self-similar set is formulated anddeveloped in detail. This theory extends the notion of normaland non-normal numbers to the setting of self-similar sets andhas numerous applications to the study of the local propertiesof self-similar measures including a detailed study of the setof divergence points.