Let be a fixed symmetric finite subset of that generates a Zariski dense subgroup of when we consider it as an algebraic group over by restriction of scalars. We prove that the Cayley graphs of with respect to the projections of is an expander family if ranges over square-free ideals of if and is an arbitrary numberfield, or if and .
Complexes of groups over ordered simplicial complexes are generalizations to higher dimensions of graphs of groups. We first relate them to complexes of spaces by considering their classifying space . Then we develop their homological algebra aspects. We define the notions of homology and cohomology of a complex of groups with coefficients in a -module and show the existence of free resolutions. We apply those notions to study extensions of complexes of groups with constant or abelian kernel....
The notion of a partially ordered partial abelian monoid is introduced and extensions of partially ordered abelian monoids by partially ordered abelian groups are studied. Conditions for the extensions to exist are found. The cases when both the above mentioned structures have the Riesz decomposition property, or are lattice ordered, are treated. Some applications to effect algebras and MV-algebras are shown.
In our previous work we have defined the notion of characteristic classes of surface bundles, which are differentiable fibre bundles whose fibres are closed oriented surfaces. In this paper we derive new relations between these characteristic classes by considering a canonical embedding of a given surface bundle with cross section to its associated family of Jacobian manifolds. As a key technical step we determine the first cohomology group of the mapping class group of oriented surfaces with coefficients...