Cogrowth and amenability of discrete groups

Let G be a group and g₁,…, g_t a set of generators. There are approximately (2t ? 1)ⁿ reduced words in g₁,…, g_t, of length ?n. Let $\text{}\text{?}\text{gg}{}_{\mathrm{n}}$ be the number of those which represent 1_G. We show that $\text{γ =}\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{(}\text{}\text{?}\text{gg}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}$ exists. Clearly 1 ? γ ? 2t ? 1. $\text{η =}\text{(}\text{log}\text{γ)}\text{(}\text{log}\text{(2t ? 1))}$ is the cogrowth. 0 ? η ? 1. In fact $\text{η ∈ {0} ∪ (}\text{1}\text{2}\text{, 1¦}$. The entropic dimension of G is shown to be 1 ? η. It is then proved that d(G) = 1 if and only if G is free on g₁,…, g_t and d(G) = 0 if and only if G is amenable.     

The unitary group over the integers of a quaternion algebra

Let L be a lattice over the integers of a quaternion algebra with center K which is a $\text{B}$-adic field. Then the unitary group U(L) equals its own commutator subgroup $\text{Ω(L)}$ and is generated by the unitary transvections and quasitransvections contained in it. Let g be a tableau, U(g), U⁺(g), $\text{Ω(g)}$, T(g) be the corresponding congruence subgroups of order g. Then $\text{U(g)}\text{U}{}^{\mathrm{+}}\text{(g)}\text{? X}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{\tau }}\text{Z}{}_2$, and $\text{Ω(g) = T(g)}$ (the subgroup generated by the unitary transvections and quasitransvections with order ≤ g). Let G be a subgroup of U(L) with o(G) = g, then G is normal in U(L) if and only if U(g) ? G ? T(g).     

Unbounded derivations tangential to compact groups of automorphisms,II

Let G be a compact abelian group, and τ an action of G on a C¹-algebra $\text{U}$, such that $\text{U}$^τ(γ)$\text{U}$^τ(γ)¹ = $\text{U}$^τ(0) $\text{U}$^τ for all $\text{γ ?}\text{G}\text{?}$, where $\text{U}$^τ(γ) is the spectral subspace of $\text{U}$ corresponding to the character γ on G. Derivations δ which are defined on the algebra $\text{U}$_F of G-finite elements are considered. In the special case δ¦_{$\text{U}$^τ} = 0 these derivations are characterized by a cocycle on $\text{G}\text{?}$ with values in the relative commutant of $\text{U}$^τ in the multiplier algebra of $\text{U}$, and these derivations are inner if and only if the cocycles are coboundaries and bounded if and only if the cocycles are bounded. Under various restrictions on G and τ properties of the cocycle are deduced which again give characterizations of δ in terms of decompositions into generators of one-parameter subgroups of τ(G) and approximately inner derivations. Finally, a perturbation technique is devised to reduce the case δ($\text{U}$_F) ? $\text{U}$_F to the case δ($\text{U}$_F) ? $\text{U}$_F and δ¦_{$\text{U}$^τ} = 0. This is used to show that any derivation δ with D(δ) = $\text{U}$_F is wellbehaved and, if furthermore G = T¹ and δ($\text{U}$_F) ? $\text{U}$_F the closure of δ generates a one-parameter group of ¹-automorphisms of $\text{U}$. In the case G = T^d, d = 2, 3,… (finite), and δ($\text{U}$_F) ? $\text{U}$_F it is shown that δ extends to a generator of a group of ¹-automorphisms of the σ-weak closure of $\text{U}$ in any G-covariant representation.     

Semi-crossed products of C1-algebras

Given a C¹-algebra $\text{U}$ and endomorphim α, there is an associated nonselfadjoint operator algebra $\text{Z}$⁺ X_α$\text{U}$, called the semi-crossed product of $\text{U}$ with α. If α is an automorphim, $\text{Z}$⁺ X_α$\text{U}$ can be identified with a subalgebra of the C¹-crossed product $\text{Z}$⁺ X_α$\text{U}$. If $\text{U}$ is commutative and α is an automorphim satisfying certain conditions, $\text{Z}$⁺ X_α$\text{U}$ is an operator algebra of the type studied by Arveson and Josephson. Suppose S is a locally compact Hausdorff space, φ: S → S is a continuous and proper map, and α is the endomorphim of U=C₀(S) given by α(?) = ? ō φ. Necessary and sufficient conditions on the map φ are given to insure that the semi-crossed product Z⁺X_αC₀(S) is (i) semiprime; (ii) semisimple; (ii) strongly semisimple.     

On a duality for crossed products of C1-algebras

Let $\text{U}$ be a C¹-algebra, and G be a locally compact abelian group. Suppose α is a continuous action of G on $\text{U}$. Then there exists a continuous action $\text{}\text{?}$ga of the dual group $\text{G}\text{?}$ of G on the C¹-crossed product by α such that the C¹-crossed product is isomorphic to the tensor product and the C¹-algebra of all compact operators on L²(G).     

On the minimum number of disjoint pairs in a family of finite sets

The following conjecture of Katona is proved. Let X be a finite set of cardinality n, 1 ? m ? 2ⁿ. Then there is a family $\text{F}$, |$\text{F}$| = m, such that F ∈ $\text{F}$, G ? X, | G | > | F | implies G ∈ $\text{F}$ and $\text{F}$ minimizes the number of pairs (F₁, F₂), F₁, F₂ ∈ $\text{F}$ F₁ ∩ F₂ = ? over all families consisting of m subsets of X.     

Harmonic analysis on unitary groups

A theory of harmonic analysis on a metric group (G, d) is developed with the model of U$\text{U}$, the unitary group of a C¹-algebra $\text{U}$, in mind. Essential in this development is the set $\text{G}\text{?}{}_{\mathrm{d}}$ of contractive, irreducible representations of G, and its concomitant set P_d(G) of positive-definite functions. It is shown that $\text{G}\text{?}{}_{\mathrm{d}}$ is compact and closed in $\text{G}\text{?}$. The set $\text{G}\text{?}{}_{\mathrm{d}}$ is determined in a number of cases, in particular when G = U($\text{U}$) with $\text{U}$ abelian. If $\text{U}$ is an AW¹-algebra, it is shown that $\text{G}\text{?}$_d is essentially the same as $\text{U}\text{?}$. Unitary groups are characterised in terms of a certain Lie algebra $\text{g}$_u and several characterisations of G = U($\text{U}$) when $\text{U}$ is abelian are given.     

Prime interchange graphs of classes of matrices of zeros and ones

Let R = (r₁,…, r_m) and S = (s₁,…, s_n) be nonnegative integral vectors, and let $\text{U}$(R, S) denote the class of all m × n matrices of 0's and 1's having row sum vector R and column sum vector S. An invariant position of $\text{U}$(R, S) is a position whose entry is the same for all matrices in $\text{U}$(R, S). The interchange graph G(R, S) is the graph where the vertices are the matrices in $\text{U}$(R, S) and where two matrices are joined by an edge provided they differ by an interchange. We prove that when 1 ≤ r_i ≤ n ? 1 (i = 1,…, m) and 1 ≤ s_j ≤ m ? 1 (j = 1,…, n), G(R, S) is prime if and only if $\text{U}$(R, S) has no invariant positions.     

Group structure and the pointwise ergodic theorem for connected amenable groups

Let G be a connected amenable group (thus, an extension of a connected normal solvable subgroup R by a connected compact group $\text{K =}\text{G}\text{R}$). We show how to explicitly construct sequences {U_n} of compacta in G in terms of the structural features of G which have the following property: For any “reasonable” action G × L^p(X, μ) ↓ L^p(X, μ) on an L^p space, 1 <p < ∞, and any f ∈ L^p(X, μ), the averages

$\text{A}{}_{\mathrm{n}}\text{f=}\text{1}\text{|U}{}_{\mathrm{n}}\text{|}\text{∫}\text{U}{}_{\mathrm{n}}\text{T}{}_{\mathrm{g}}{}^{\mathrm{?1f}}\text{dg (|E|=}\text{left Haar measure in}\text{G)}$

converge in L^p norm, and pointwise μ-a.e. on X, to G-invariant functions $\text{f1}$ in L^p(X, μ). A single sequence {U_n} in G works for all L^p actions of G. This result applies to many nonunimodular groups, which are not handled by previous attempts to produce noncommutative generalizations of the pointwise ergodic theorem.     

The approximation of flows

Let U, V be two strongly continuous one-parameter groups of bounded operators on a Banach space $\text{X}$ with corresponding infinitesimal generators S, T. We prove the following: ∥U_t, ? V_t ∥ = O(t), t → 0, if and only if U = V; ∥U_t ? V_t∥ = O(t^α), t → 0; with 0 ? α ? 1, if and only if $\text{S = Ω(T + P)Ω}{}^{\mathrm{?1}}$, where Ω, P, are bounded operators on $\text{X}$ such that $\text{∥U}{}_{\mathrm{t}}\text{Ω ? ΩU}{}_{\mathrm{t}}\text{∥ = O(t}{}^{\mathrm{\alpha }}\text{), ∥U}{}_{\mathrm{t}}\text{P ? PU}{}_{\mathrm{t}}\text{∥ = ?O(t}{}^{\mathrm{\alpha }}\text{), t → 0; ∥U}{}_{\mathrm{t}}\text{? V}{}_{\mathrm{t}}\text{∥ = O(t)}$ if and only if $\text{S}{}^1\text{? T}{}^1$ has a bounded extension to $\text{X}$¹. Further results of this nature are inferred for semigroups, reflexive spaces, Hilbert spaces, and von Neumann algebras.     

On solutions of “equations in symmetric groups”

Let x?S_n, the symmetric group on n symbols. Let θ? Aut(S_n) and let the automorphim order of x with respect to θ be defined by

$\text{γθ(x)=}\text{min}\text{{k:x xθ xθ}{}^2\text{? xθ}{}^{\mathrm{k?1}}\text{=1}}$

where xθ is the image of x under θ. Let α_g? Aut(S_n) denote conjugation by the element g?S_n. Let where s and k are positive integers and $\text{a}\text{b}$ denotes a divides b. Further h(s, k : n) ≡ b(1; s, k : n), where 1 denotes the identity automorphim. If g?S_n let c = f(g, s) denote the number of symbols in g which are in cycles of length not dividing the integer s, and let g_s denote the product of all cycles in g whose lengths do not divide s. Then g_s moves c symbols. The main results proved are: (1) recursion: if n ? c + 1 and t = n ? c ? 1 then $\text{b(g; s, 1:n)=∑}{}_{\mathrm{<mtext>i</mtext><mtext>s</mtext>}}\text{b(g; s, 1:n?1)(}{}^{\mathrm{t}}{}_{\mathrm{i?1}}\text{(i?1)!}$ (2) reduction: b(g; s, 1 : c)h(s, 1 : i) = b(g; s, 1 : i + c); (3) distribution: let D(θ, n) ≡ {(k, b) : k?Z⁺ and b = b(θ; 1, k : n) ≠ 0}; then D(θ, m) = D(φ, m) ∨ m ? N = N(θ, φ) iff θ is conjugate to φ; (4) evaluation: the number of cycles in g_s^s of any given length is smaller than the smallest prime dividing s iff b(g_s; s, 1 : c) = 1. If g = (12 … p^m)^t and $\text{sk}\text{p}{}^{\mathrm{m}}$ then $\text{b(g;s,k:p}{}^{\mathrm{m}}\text{) {}{}^0{}_{\mathrm{\pm 1}}\text{(}\text{mod}\text{p)}$.     

Recursive linear orders with recursive successivities

A successivity in a linear order is a pair of elements with no other elements between them. A recursive linear order with recursive successivities $\text{U}$ is recursively categorical if every recursive linear order with recursive successivities isomorphic to $\text{U}$ is in fact recursively isomorphic to $\text{U}$. We characterize those recursive linear orders with recursive successivities that are recursively categorical as precisely those with order type k₁+g₁+k₂+g₂+…+g_n-1+k_n where each k_n is a finite order type, non-empty for i?{2,…,n-1} and each g_i is an order type from among {ω,ω^*,ω+ω^*}∪{k·η:k<ω}.     

Sequences of contractions on L1-spaces

Let T_n, n = 1,2,… be a sequence of linear contractions on the space where is a finite measure space. Let M be the subspace of L¹ for which T_ng → g weakly in L¹ for g?M. If T_n1 → 1 strongly, then T_nf → f strongly for all f in the closed vector sublattice in L¹ generated by M.This result can be applied to the determination of Korovkin sets and shadows in L¹. Given a set G ? L¹, its shadow S(G) is the set of all f?L¹ with the property that T_nf → f strongly for any sequence of contractions T_n, n = 1, 2,… which converges strongly to the identity on G; and G is said to be a Korovkin set if S(G) = L¹. For instance, if 1 ?G, then, where M is the linear hull of G and $\text{B}$_M is the sub-σ-algebra of $\text{B}$ generated by {x?X: g(x) > 0} for g?M. If the measure algebra is separable, has Korovkin sets consisting of two elements.     

Multipliers from L1(G) to a Lipschitz space

Let G be a metric locally compact Abelian group. We prove that the spaces (L₁, Lip(α, p)), (L₁, lip(α, p)), Lip(α, p) and lip(α, p)^~ are isometrically isomorphic, where Lip(α, p) and lip(α, p) denote the Lipschitz spaces defined on G, (L₁, A) is the space of multipliers from L₁ to A, and lip(α, p)^~ denotes the relative completion of lip(α, p). We also show that $\text{L}{}_1\text{1}\text{Lip}\text{(α, p) =}\text{lip}\text{(α, p) = L}{}_1\text{1}\text{lip}\text{(α, p)}$.     

Recurrence relations based on minimization and maximization

Explicit and asymptotic solutions are presented to the recurrence M(1) = g(1), M(n + 1) = g(n + 1) + min_{1 ? t ? n}(αM(t) + βM(n + 1 ? t)) for the cases (1) α + β < 1, $\text{log}{}_2\text{α}\text{log}{}_2\text{β}$ is rational, and g(n) = δ_nI. (2) α + β > 1, min(α, β) > 1, $\text{log}{}_2\text{α}\text{log}{}_2\text{β}$ is rational, and (a) g(n) = δ_n1, (b) g(n) = 1. The general form of this recurrence was studied extensively by Fredman and Knuth [J. Math. Anal. Appl.48 (1974), 534–559], who showed, without actually solving the recurrence, that in the above cases $\text{M(n) = Ω(n}{}^{\mathrm{<mtext>1\; +\; </mtext><mtext>1</mtext><mtext>\gamma </mtext>}}\text{)}$, where γ is defined by α^?γ + β^?γ = 1, and that $\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{M(n)}\text{n}{}^{\mathrm{1\; +\; \gamma }}$ does not exist. Using similar techniques, the recurrence M(1) = g(1), M(n + 1) = g(n + 1) + max_{1 ? t ? n}(αM(t) + βM(n + 1 ? t)) is also investigated for the special case α = β < 1 and g(n) = 1 if n is odd = 0 if n is even.     

Spectre et homologie des variétés hyperboliques complexes de congruenceSpectrum and homology of congruence complex hyperbolic manifolds

In the first part of this Note, we show that the first non-zero eigenvalue of the Laplace operator on 1-forms of a standard congruence arithmetic complex hyperbolic n-manifold is always $\text{?}\text{10n?11}\text{25}$. The following parts of this Note concern homological applications of this result. We prove, in particular, that if Sh⁰H?Sh⁰G are two Shimura varieties of type U(n?1,1) and U(n,1), the natural map H_2n?3(Sh⁰H)→H_2n?3(Sh⁰G) is injective, first step of a “Lefschetz theorem” for Shimura varieties. To cite this article: N. Bergeron, L. Clozel, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 995–998.     

The functions operating on multiplier algebras

Let 1 < p < ∞ with p ≠ 2. Let G denote one of the groups $\text{T}$ⁿ, $\text{R}$ⁿ, or $\text{Z}$ⁿ. We show that only entire functions operate in certain algebras of multipliers on L_p(G).     

On the g-circulant solutions to the matrix equation Am = λJ, II

Let g and n be positive integers and let $\text{k =}\text{n(g, n)}\text{(g}{}^{\mathrm{m}}\text{, n)}$. If θ(x) is a multiple of Σ_{i = 0}^{k ? 1}xⁱ, then the g-circulant whose Hall polynomial is equal to θ(x) satisfies the matrix equation in the title. If the g-circulant whose Hall polynomial is equal to Σ_{i = 0}^{h ? 1}xⁱ satisfies the matrix equation in the title, then h is a multiple of k.     

A conjecture of Kippenhahn about the characteristic polynomial of a pencil generated by two Hermitian matrices. II

Let A be an n × n matrix; write A = H+iK, where i²=—1 and H and K are Hermitian. Let f(x,y,z) = det(zI?xH?yK). We first show that a pair of matrices over an algebraically closed field, which satisfy quadratic polynomials, can be put into block, upper triangular form, with diagonal blocks of size 1×1 or 2×2, via a simultaneous similarity. This is used to prove that if $\text{f(x,y,z) = [g(x,y,z)]}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}$, where g has degree 2, then for some unitary matrix U, the matrix U¹AU is the direct sum of $\text{n}\text{2}$ copies of a 2×2 matrix A₁, where A₁ is determined, up to unitary similarity, by the polynomial g(x,y,z). We use the connection between f(x,y,z) and the numerical range of A to investigate the case where f(x,y,z) has the form (z?αax? βy)^r[g(x,y,z)]^s, where g(x,y,z) is irreducible of degree 2.     

On quasigroups rich in associative triples

Let G be a group and $\text{G(1)}$ a quasigroup on the same underlying set. Let dist($\text{G, G(1)}$) denote the number of pairs (x, y) ?G² such that $\text{xy ≠ x 1 y}$. For a finite quasigroup Q, n = card(Q), let t = dist(Q) = min dist(G, Q), where G runs through all groups with the same underlying set, and s = s(Q) the number of non-associative triples. Then 4tn?2t²?24t?s?4tn. If 1 ? s < 3n²/32, then 3tn < s holds as well. Let n ? 168 be an even integer and let σ = min s(Q), where Q runs through all non-associative quasigroups of order n. Then σ = 16n?64.