The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Lie Groupoids, Gerbes, and Non-Abelian Cohomology

We observe that any regular Lie groupoid G over a manifold M fits into an extension K G E of a foliation groupoid E by a bundle of connected Lie groups K. If F is the foliation on M given by the orbits of E and T is a complete transversal to F , this extension restricts to T, as an extension K _T G _T E _T of an étale groupoid E _T by a bundle of connected groups K _T . We break up the classification problem for regular Lie groupoids into two parts. On the one hand, we classify the latter extensions of étale groupoids by (non-Abelian) cohomology classes in a new ech cohomology of étale groupoids. On the other hand, given K and E and an extension K _T G _T E _T over T, we present a cohomological obstruction to the problem of whether this is the restriction of an extension K G E over M; if this obstruction vanishes, all extensions K G E over M which restrict to a given extension over the transversal together form a principal bundle over a group of bitorsors under K.     

Rates of convergence and optimal spectral bandwidth for long range dependence

Summary For a realization of lengthn from a covariance stationary discrete time process with spectral density which behaves like ^1–2H as 0+ for 1/2<H<1 (apart from a slowly varying factor which may be of unknown form), we consider a discrete average of the periodogram across the frequencies 2j/n,j=1,..., m, wherem andm/n0 asn. We study the rate of convergence of an analogue of the mean squared error of smooth spectral density estimates, and deduce an optimal choice ofm.     

On the Cohomology Sequence in a Semiabelian Category

In a semiabelian category, a strictly exact sequence 0ABC0 of cochain complexes gives rise to the cohomology sequence ...H ⁿ(A) H ⁿ(B) H ⁿ(C) H ⁿ⁺¹ (A) .... We study conditions for exactness of the homology sequence at a given term.     

On the homogeneity of additive mappings

LetK be a ring with an identity 1 0 andM, L two unitaryK-modules. Then, for any additive mappingf:M L, the setH _f :={ K f(x)=f(x) for allx M} forms a subring ofK, the homogeneity ring off. It is shown that, forM {0},L {0} and any subringS ofK for whichM is a freeS-module, there exists an additive mappingf:ML such thatH _f =S. This result is applied to the four Cauchy functional equations, and it leads also to an answer to the question as to whether it is possible to introduce onM a multiplication ·:M × M M makingM into a ring but not into aK-algebra.     

The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras

We consider the factorization problem for bialgebras. Let L and H be algebras and coalgebras (but not necessarily bialgebras) and consider two maps R : H L L H and W : L H H L. We introduce a product K = L _{W R} H and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed by Beattie, Dsclescu and Grünenfelder appear as special cases.     

Excesses of systems of exponential functions

Conditions on the closeness of real sequences {_n} and {_n} are studied which imply the equality of the excesses of the systems {exp(i_nx)} and {exp(i_nx)} in the space L²(–a, a). A theorem is formulated in terms of the difference of the sequences {_n} and {_n} enumerating the functions. In the corollaries of the theorem, conditions are given in terms of the behavior of the difference _n–_n0. An example is constructed showing that the condition _n–_n0 alone is not sufficient for equality of the excesses.Translated from Matematicheskie Zametki, Vol. 22, No. 6, pp. 803–814, December, 1977.     

Orthogonality and additivity modulo a subgroup

Summary LetE be a real inner product space of dimension at least 2,F a topological Abelian group, andK a discrete subgroup ofF. Assume also thatF is continuously divisible by 2 (that is, the functionu 2u is a homeomorphism ofF ontoF). Iff: E F fulfils the conditionf(x + y) – f(x) – f(y) K for all orthogonalx, y E and is continuous at the origin then there exist continuous additive functionsa: R F andA: E F such thatf(x) – a(x ²)– A(x) K for everyx E. Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

Stabilization theorem for the Milnor K2-functor

Let be an associative ring. For every natural number n there is a canonical homomorphism _n: K_2,n()K₂(), where K₂ is the Milnor functor and K_2,n() the associated unstable K-group. Dennis and Vasershtein have proved that if n is larger than the stable rank of , _n is an epimorphism. It is proved in the article that if n – 1 is greater than the stable rank of , the homomorphism _n is an isomorphism.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 64, pp. 131–152, 1976.     

Error bounds for continued fractionsK(1/b n)

Summary A priori truncation error bounds are obtained for continued fractions of the formK(1/b _n),b _n complex. The error bounds are easily applied to the case whenb _n0 asn. A numerical example involving the complex error function is given.     

Universalities

We show that a quotient category of the category of all topological spaces and all open continuous mappings contains an isomorphic copy of every category as a full subcategory. We construct a functorF : K K universal in the following sense: for every functorH : H ₁ H ₂ (H ₁,H ₂ arbitrary) there exist full one-to-one functors _i :H _i K such thatF o ₁ = ₂ oH (the construction proceeds in a more general setting of enriched categories).     

On local uniqueness of the solution of boundary-value problems

In this paper we present conditions under which differentiability of the mappings F: ACⁿ(I) Lⁿ(I) and :ACⁿ(I) Rⁿ at x₀ ACⁿ(I) and the uniqueness of the solution of the boundaryvalue problem u = F(x₀)(u), (x₀)(u) = 0 imply local uniqueness of the solution x₀ of the boundary-value problem x = F(x), (x) = 0.Translated from Matematicheskie Zametki, Vol. 15, No. 6, pp. 891–895, June, 1974.The author thanks A. Ya. Lepin for the help he has given him in the preparation of this paper.     

Almost everywhere convergence of the spherical partial sums for radial functions

LetfL ^p( ⁿ ),n2, be a radial function and letS _Rf be the spherical partial sums operator. We prove that if thenS _Rf(x)f(x) a.e. asR. The result is false for and \frac{{2n}}{{n + 1}}$$ " align="middle" border="0"> .Partially supported by M.P.I.     

Resolvent of the Toeplitz operator may increase arbitrarily fast

It is proved that for every sequence of points _n from the unit circle, _n1, and for an arbitrary sequence of positive numbers A_n, A_n, there exists a continuous real function u, such that for the Toeplitz operator T (acting in the Hardy space H²) with the symbol =e ^iu we have the estimates (T–_nI)^–1>A_n, n.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, AN SSSR, Vol. 157, pp. 175–177, 1987.     

Quasiconvex uniform-convergence factors for Fourier series of functions with a given modulus of continuity

It is proved that a quasiconvex sequence _v of convergence factors transforms Fourier series of functions whose moduli of continuity do not exceed a given modulus of continuity(gd) into uniformly convergent series if and only if _n (1/n) log n 0 for n . The sufficiency of this condition is already known.Translated from Matematicheskie Zametki, Vol. 8, No. 5,pp. 619–623, November, 1970.     

Some <Emphasis Type="Italic">L</Emphasis>-Function of a Regular Covering of a Graph

Let ₁:KH, ₂:HG and ₂₁:KG be three finite regular coverings of graphs, and let be a representation of the covering transformation group of ₁. We show that the (Bartholdi type) L-function of G associated to the representation of the covering transformation group of ₂₁ induced from is equal to that of H associated to by means of ordinary voltage assignments.Acknowledgments. We would like to thank the referee for many valuable comments and suggestions. This is partially supported by Grant-in-Aid for Science Research (C).Final version received: February 16, 2004     

Random Walks Crossing High Level Curved Boundaries

Let {S _n} be a random walk, generated by i.i.d. increments X _i which drifts weakly to in the sense that as n . Suppose k0, k1, and E|X ₁|^1\k = if k>1. Then we show that the probability that S. crosses the curve nan ^K before it crosses the curve n –an ^k tends to 1 as a . This intuitively plausible result is not true for k = 1, however, and for 1/2 <k<1, the converse results are not true in general, either. More general boundaries g(n) than g(n) = n ^k are also considered, and we also prove similar results for first passages out of regions like { (n, y): n1, |y| (a + n) ^k } as a .     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

Weighted Composition Operators on Bergman and Dirichlet Spaces

Let H() denote a functional Hilbert space of analytic functions on a domain . Let w : C and : be such that w f is in H() for every f in H(). The operator wC given by f w f is called a weighted composition operator on H(). In this paper we characterize such operators and those for which (wC )* is a composition operator. Compact weighted composition operators on some functional Hilbert spaces are also characterized. We give sufficient conditions for the compactness of such operators on weighted Dirichlet spaces.     

On a problem of Erdős and Lovász: Random lines in a projective plane

Letn(k) be the least size of an intersecting family ofk-sets with cover numberk, and let _k denote any projective plane of orderk–1.Theorem There is a constant A such that ifH is a random set ofm Aklogk lines from _k then P_r(H<)0(k).Corollary If there exists a _k thenn(k)=O(klogk). These statements were conjectured by P. Erds and L. Lovász in 1973.Supported in part by NSF-DMS87-83558 and AFOSR grants 89-0066, 89-0512 and 90-0008