Fuchsian groups,finite simple groups and representation varieties

Let be a Fuchsian group of genus at least 2 (at least 3 if is non-oriented). We study the spaces of homomorphisms from to finite simple groups G, and derive a number of applications concerning random generation and representation varieties. Precise asymptotic estimates for |Hom(,G)| are given, implying in particular that as the rank of G tends to infinity, this is of the form |G|^()+1+o(1), where () is the measure of . We then prove that a randomly chosen homomorphism from to G is surjective with probability tending to 1 as |G|. Combining our results with Lang-Weil estimates from algebraic geometry, we obtain the dimensions of the representation varieties , where is GL_n(K) or a simple algebraic group over K, an algebraically closed field of arbitrary characteristic. A key ingredient of our approach is character theory, involving the study of the zeta function ^G(s)=(1)^-s, where the sum is over all irreducible complex characters of G.     

Groups acting simply transitively on the vertices of a building of typeà 2, I

If a group acts simply transitively on the vertices of an affine building with connected diagram, then must be of typeà _n–1 for somen2, and must have a presentation of a simple type. The casen=2, when is a tree, has been studied in detail. We consider the casen=3, motivated particularly by the case when is the building ofG=PGL(3,K),K a local field, and when G. We exhibit such a group whenK=F _q ((X)),q any prime power. Our study leads to combinatorial objects which we calltriangle presentations. These triangle presentations give rise to some new buildings of typeà ₂.     

Almost Covers Of 2-Arc Transitive Graphs

Let be a G-symmetric graph whose vertex set admits a nontrivial G-invariant partition with block size v. Let be the quotient graph of relative to and [B,C] the bipartite subgraph of induced by adjacent blocks B,C of . In this paper we study such graphs for which is connected, (G, 2)-arc transitive and is almost covered by in the sense that [B,C] is a matching of v-1 2 edges. Such graphs arose as a natural extremal case in a previous study by the author with Li and Praeger. The case K _v+1 is covered by results of Gardiner and Praeger. We consider here the general case where K _v+1, and prove that, for some even integer n 4, is a near n-gonal graph with respect to a certain G-orbit on n-cycles of . Moreover, we prove that every (G, 2)-arc transitive near n-gonal graph with respect to a G-orbit on n-cycles arises as a quotient of a graph with these properties. (A near n-gonal graph is a connected graph of girth at least 4 together with a set of n-cycles of such that each 2-arc of is contained in a unique member of .)     

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.     

Superrigidity of lattices in solvable Lie groups

Summary Let be a closed, cocompact subgroup of a simply connected, solvable Lie groupG, such that Ad _G has the same Zariski closure as AdG. If : GL _n () is any finite-dimensional representation of , we show that virtually extends to a representation ofG. (By combining this with work of Margulis on lattices in semisimple groups, we obtain a similar result for lattices in many groups that are neither solvable nor semisimple.) Furthermore, we show that if is isomorphic to a closed, cocompact subgroup of another simply connected, solvable Lie groupG, then any isomorphism from to extends to a crossed isomorphism fromG toG. In the same vein, we prove a more concrete form of Mostow's theorem that compact solvmanifolds with isomorphic fundamental groups are diffeomorphic.Oblatum 5-VII-1994 & 15-IV-1995     

Groups acting simply transitively on the vertices of a building of typeà 2, II: The casesq=2 andq=3

If (P, L) is a projective plane and is a triangle presentation compatible with a point-line correspondence :P L, then gives rise to a group and a thick building of typeà ₂ on the vertices of which acts simply transitively. We find all triangle presentations (up to natural equivalence) compatible with some point-line correspondence :P L, when (P, L) is the projective plane of orderq=2 orq=3. For some, but not all, of these , is isomorphic to the building associated withG=PGL(3,K) whereK is a local field with discrete valuation and residual field of orderq. We identify the for which this is the case, and in these cases, find embeddings of intoG. We also describe the arithmetic nature of these groups.     

Orbit counting for some discrete groups acting on simply connected manifolds with negative curvature

Summary In this article we develop a method of deriving asymptotic formulae for the orbital counting function for the action of certain discrete groups of isometries of simply connected negatively curved manifolds. We consider the particular case of normal subgroups ₀ of a co-compact group ₀ for which the quotient ₀/ ^k . Even in the special case of manifolds ofconstant negative curvature, this leads to new results. In particular, we have asymptotic estimates for some groups which arenot geometrically finite.Oblatum III-1993 & 18-VIII-1993The first author was supported by The Royal Society through a University Research Fellowship. The second author was supported by the UK SERC under grant number GR/G51930     

Compact sets in the spaceL p (O,T; B)

Summary A characterization of compact sets in L^p (0, T; B) is given, where 1P and B is a Banach space. For the existence of solutions in nonlinear boundary value problems by the compactness method, the point is to obtain compactness in a space L^p (0,T; B) from estimates with values in some spaces X, Y or B where XBY with compact imbedding XB. Using the present characterization for this kind of situations, sufficient conditions for compactness are given with optimal parameters. As an example, it is proved that if {f_n} is bounded in L^q(0,T; B) and in L _loc ¹ (0, T; X) and if {f_n/t} is bounded in L _loc ¹ (0, T; Y) then {f_n} is relatively compact in L^p(0,T; B), p相似文献   

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

Une approche transformationnelle a l'algebre universelle

In this paper we propose an axiomatization of the notion of system of terms of a theory by means of which we obtain a representation of equational classes (or varieties) of algebras. We define analgebraic transformational system (S.T.A.) as a quadruple (T,v,S,+) satisfying the axioms, where T is a set containing the variables v(n), n, and having operators S(): TT, . In addition there are operations Q⁺ on T commuting with the operators. A notion of morphism between S.T.A. 's is defined to obtain the category which is shown to be equivalent to the dual of the category of equational classes. In the last section we establish the equivalence between and Lawvere's category of algebraic theories in which every definable constant is present.

---

---

Extrait de la Thèse de doctorat de l'auteur, Université de Montréal, 1971.     

Parameter-dependent renewal theorems with applications

Let ₁, ₂, ... be a sequence of i.i.d. random variables with positive mean and finite variance and letr(b), b0, be real numbers tending to 0 asb . Definings _n=₁+...+_n andS _n=S_n(b)=s_n+r(b)n, the stopping time =(b)=inf {n>/1:S_n >b} whereb=b(b) , will be considered with special regard to the excess over the boundaryR _b=s+r(b)–b. It turns out that the limiting distribution ofR _b is the same as in the caser(b)0 for allb. Proving this, Blackwell's renewal theorem and its integral version have to be established first in the above stated situation. Finally, an expansion ofE to vanishing terms asb will be provided and applied to some examples arising in economics.

---

Zusammenfassung Seien ₁, ₂, ... unabhängige identisch verteilte Zufallsgrößen mit positivem Erwartungswert und endlicher Varianz sowier(b), b0, reelle Zahlen mitr(b)0 für b. Sei ferners ₁, s₂, ... der zugehörige Summenprozeß,S _n= S_n(b)=s_n+r(b)n fürn1 und =(b)=inf {n1: S_n>b, wobeib=b(b) fürb . Es wird gezeigt, daß die asymptotische Verteilung des ExzessesR _b=s +r(b) –b mit der im Fallr(·)0 übereinstimmt. Dazu werden sowohl das Blackwellsche Erneuerungstheorem als auch seine Integralversion in der vorher beschriebenen parameterabhängigen Situation geeignet formuliert und bewiesen. Als Folgerung ergibt sich dann eine asymptotische Entwicklung vonE(b) fürb bis zu Termen o(1). Anh- and einiger Beispiele aus dem ökonomischen Bereich wird schließlich noch aufgezeigt, wo Approximationen fürE(b) von Interesse sein können.

     

Canonical contact forms on spherical CR manifolds

We construct the CR invariant canonical contact form can(J) on scalar positive spherical CR manifold (M,J), which is the CR analogue of canonical metric on locally conformally flat manifold constructed by Habermann and Jost. We also construct another canonical contact form on the Kleinian manifold ()/, where is a convex cocompact subgroup of Aut_CRS²ⁿ⁺¹=PU(n+1,1) and () is the discontinuity domain of . This contact form can be used to prove that ()/ is scalar positive (respectively, scalar negative, or scalar vanishing) if and only if the critical exponent ()<n (respectively, ()>n, or ()=n). This generalizes Nayatanis result for convex cocompact subgroups of SO(n+1,1). We also discuss the connected sum of spherical CR manifolds.     

Threshold theorems for a stochastic model of an epidemic with natural immunization

A stochastic model of an epidemic is investigated, taking account of the removal of ill members of the population (by death, by recovery with immunization, by isolation) and natural immunization. Limiting distributions are found for the size of the epidemic, the number immunized ₁, and their sum, under the assumption that the original number of susceptible individuals n and the number of ill individuals m , while n 1,n ₀< , where and are the coefficients for the contraction of the disease and of immunization respectively.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 385–392, September, 1970.     

Some expansion formulae for Fox'sH-function of two variables involving associated Legendre functions

H- .     

Weak distributive laws and their role in lattices of congruences and equational theories

By a result of Pigozzi and Kogalovskii, every algebraic latticeL having a completely join —irreducible top element can be represented as the lattice L() of equational theories extending some fixed theory . Conversely, strengthening a recent result due to Lampe, we show that such a representationL=L() forcesL to satisfy the following condition: if the top element ofL is the join of a nonempty subsetB ofL then there are elementsb..., B such thata=(... (((b₁ a) b₂) a) ... b_n) a for alla L. In presence of modularity, this equation reduces to the identitya=(a b₁) ... (a b_n). Motivated by these facts, we study several weak forms of distributive laws in arbitrary lattices and related types of prime elements. The main tool for applications to universal algebra is a generalized version of Lampe's Zipper Lemma.Presented by Ralph Freese.     

Orthogonal systems invariant under an automorphism

, , - ( ) . , - , ( ) .     

Almost Fredholm operators in von Neumann algebras

LetA be a von Neumann algebra,J be the ideal of compact operators relative toA and letF ₊ be the left-Fredholm class ofA. We call almost left-Fredholm the class = {A A: if P A is a projection and AP J then P J}. Then and the inclusion is proper unlessA is semifinite and has a non-large center. satisfies all of the algebraic properties ofF ₊ but it is generally not open. IfA is semifinite then A iff there are central projectionsG with G = I such that AG F₊(AG). Let :A A/J. Then the left almost essential spectrum ofA A, , coincides with the set of eigenvalues of (A)     

Holomorphe Funktionen auf Gebieten über Banach-Räumen zu vorgegebenen Konvergenzradien

Given a function: ₊ on a domain spread over an infinite dimensional complex Banach space E with a Schauder basis such that -log is plurisubharmonic and d (d denotes the boundary distance on ) one can find a holomorphic function f: with _f, where _f is the radius of convergence of f. If, in addition, is locally Lipschitz continuous with constant 1, f can be chosen so that (3M)^–1 _f, where M is the basis constant of E. In the particular case of E= ₁ there are holomorphic functions f on with= _f.     

On a Particular Class of Minihypers and Its Applications. I. The Result for General q

This article is the first in a series of three articles that discuss a particular class of minihypers and its applications. Proving that for small and < N, a {v _{+ 1}, v ; N, q}-minihyper consists of a sum of -spaces, we show that the excess points of an s-cover with excess of PG(N, q), (s + 1)|(N + 1), form a sum of s-spaces, and that no maximal partial s-spreads with deficiency of PG(N, q), (s + 1)|(N + 1), exist. The case q square will be studied in greater detail in [7] and further applications of these classification results on this class of minihypers will be published in [8].     

Exact boundary controllability onL 2(Ω) ×H −1(Ω) of the wave equation with dirichlet boundary control acting on a portion of the boundary∂Ω, and related problems

Consider the wave equation defined on a smooth bounded domain R ⁿ with boundary = _{0 1}. The control action is exercised in the Dirichlet boundary conditions only on ₁ and is of classL ₂(0,T: L ₂(₁)); instead, homogeneous boundary conditions of Dirichlet (or Neumann) type are imposed on the complementary part ₀. The main result of the paper is a theorem which, under general conditions on the triplet {, ₀, ₁} with ₀ , guarantees exact controllability on the spaceL ₂() ×H ^–1() of maximal regularity forT greater than a computable timeT ₀>0, which depends on the triplet. This theorem generalizes prior results by Lasiecka and the author [L-T.3] (obtained via uniform stabilization) and by Lions [L.5], [L.6] (obtained by a direct approach, different from the one followed here). The key technical issue is a lower bound on theL ₂(₁)-norm of the normal derivative of the solution to the corresponding homogeneous problem, which extends to a larger class of triplets {, ₀, ₁} prior results by Lasiecka and the author [L-T.3] and by Ho [H.1].This research was partially supported by the National Science Foundation under Grant NSF-DMS-8301668 and by the Air Force Office of Scientific Research under Grant AFOSR-84-0365. This paper was presented at the IFIP WG7.2 Conference on Boundary Control and Boundary Variations held at the Départment de Mathématiques, Universite de Nice, 10–13 June 1986; at the International Conference on Control of Distributed Parameter Systems held at Vorau (Austria), 6–12 July 1986; and at the Second Workshop on Control of Systems Governed by Partial Differential Equations held at Val David, Quebec, 5–9 October 1986.