Approximately vanishing of topological cohomology groups

In this paper, we establish the pexiderized stability of coboundaries and cocycles and use them to investigate the Hyers-Ulam stability of some functional equations. We prove that for each Banach algebra A, Banach A-bimodule X and positive integer n,Hn(A,X)=0 if and only if the nth cohomology group approximately vanishes.     

Relative cohomology theory for profinite groups

In this paper we define and develop the theory of the cohomology of a profinite group relative to a collection of closed subgroups. Having made the relevant definitions we establish a robust theory of cup products and use this theory to define profinite Poincaré duality pairs. We use the theory of groups acting on profinite trees to give Mayer–Vietoris sequences, and apply this to give results concerning decompositions of 3-manifold groups. Finally we discuss the relationship between discrete duality pairs and profinite duality pairs, culminating in the result that profinite completion of the fundamental group of a compact aspherical 3-manifold is a profinite Poincaré duality group relative to the profinite completions of the fundamental groups of its boundary components.     

Some aspects of dimension theory for topological groups

We discuss dimension theory in the class of all topological groups. For locally compact topological groups there are many classical results in the literature. Dimension theory for non-locally compact topological groups is mysterious. It is for example unknown whether every connected (hence at least 1-dimensional) Polish group contains a homeomorphic copy of $[0,1]$. And it is unknown whether there is a homogeneous metrizable compact space the homeomorphism group of which is 2-dimensional. Other classical open problems are the following ones. Let $G$ be a topological group with a countable network. Does it follow that $\dim G=\mathrm{ind}G=\mathrm{Ind}G$? The same question if $X$ is a compact coset space. We also do not know whether the inequality $\dim (G\times H)\le \dim G+\dim H$ holds for arbitrary topological groups $G$ and $H$ which are subgroups of $\sigma$-compact topological groups. The aim of this paper is to discuss such and related problems. But we do not attempt to survey the literature.     

On cohomology rings of infinite groups

Let R be any ring (with 1), G a torsion free group and RG the corresponding group ring. Let be the cohomology ring associated with the RG-module M. Let H be a subgroup of finite index of G. The following is a special version of our main Theorem: Assume the profinite completion of G is torsion free. Then an element is nilpotent (under Yoneda’s product) if and only if its restriction to is nilpotent. In particular this holds for the Thompson group.There are torsion free groups for which the analogous statement is false.     

On extremally disconnected topological groups

We introduce the notion of a partially selective ultrafilter and prove that (a) if G is an extremally disconnected topological group and p is a converging nonprincipal ultrafilter on G containing a countable discrete subset, then p is partially selective, and (b) the existence of a nonprincipal partially selective ultrafilter on a countable set implies the existence of a P-point in ω^∗. Thus it is consistent with ZFC that there is no extremally disconnected topological group containing a countable discrete nonclosed subset.     

On topological filtrations of groups

The (weak) geometric simple connectivity and the quasi-simple filtration are topological notions of manifolds, which may be defined for discrete groups too. It turns out that they are equivalent for finitely presented groups, but the main problem is the absence of examples of groups which do not satisfy them. In this note we study some algebraic classes of groups with respect to these properties.     

On topological Morse theory

Starting from the concept of Morse critical point, introduced in [A. Ioffe and E. Schwartzman, J. Math. Pures Appl. (9), 75 (1996), 125?C153], we propose a purely topological approach to Morse theory.     

On topological set theory

This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones. One of these shows that Skala's set theory is in a sense compatible with any ‘normal’ set theory, and another appears on the semantic side as a ‘Cantor theorem’ for the category of Alexandroff spaces. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the first cohomology of arithmetic groups

We study the restriction to smaller subgroups, of cohomology classes on arithmetic groups (possibly after moving the class by Hecke correspondences), especially in the context of first cohomology of arithmetic groups. We obtain vanishing results for the first cohomology of cocompact arithmetic lattices in SU(n,1) which arise from hermitian forms over division algebras D of degree p ², p an odd prime, equipped with an involution of the second kind. We show that it is not possible for a ‘naive’ restriction of cohomology to be injective in general. We also establish that the restriction map is injective at the level of first cohomology for non co-compact lattices, extending a result of Raghunathan and Venkataramana for co-compact lattices. Received: 14 September 2000 / Accepted: 6 June 2001     

On the cohomology of finite soluble groups

Cohomological vanishing theorems in dimensions 1 and 2 are established for finite soluble groups. Applications are given to splitting and conjugacy theorems, and also to the structure of automorphism groups of finite soluble groups with nilpotent length at most 3.     

On cohomology of finitely generated function groups

Let Γ be a non-elementary finitely generated Kleinian group with region of discontinuity Ω. Letq be an integer,q ≥ 2. The group Λ acts on the right on the vector space Π_2q?2 of polynomials of degree less than or equal to 2q ? 2 via Eichler action. We note by A_qq(Ω, Λ) the space of cusp forms for Λ of weight (?2q) and the space of parabolic cohomology classes by PH¹ (Λ, Π2q?2). Bers introduced an anti-linear map $$\beta _q^* :A^q \left( {\Omega ,\Gamma } \right) - - - \to PH^1 \left( {\Gamma ,\Omega _{2q - 2} } \right)$$ . We try to determine the class of Kleinian groups for which the Bers map is surjective. We show that the Bers map is surjective for geometrically finite function groups. We also obtain a characterization of geometrically finite function groups. As an application, we reprove theorems of Maskit on inequalities involving the dimension of the space of cusp forms supported on an invariant component and the dimension of the space of cusp forms supported on the other components for finitely generated function groups. We also show all these inequalities are equalities for geometrically finiteB-groups.