Asymptotic properties of groups acting on complexes

We examine asymptotic dimension and property A for groups acting on complexes. In particular, we prove that the fundamental group of a finite, developable complex of groups will have finite asymptotic dimension provided the geometric realization of the development has finite asymptotic dimension and the vertex groups are finitely generated and have finite asymptotic dimension. We also prove that property A is preserved by this construction provided the geometric realization of the development has finite asymptotic dimension and the vertex groups all have property A. These results naturally extend the corresponding results on preservation of these large-scale properties for fundamental groups of graphs of groups. We also use an example to show that the requirement that the development have finite asymptotic dimension cannot be relaxed.

     

Chow-Witt groups and Grothendieck-Witt groups of regular schemes

Let A be a noetherian commutative Z[1/2]-algebra of Krull dimension d and let P be a projective A-module of rank d. We use derived Grothendieck-Witt groups and Euler classes to detect some obstructions for P to split off a free factor of rank one. If d?3, we show that the vanishing of its Euler class in the corresponding Grothendieck-Witt group is a necessary and sufficient condition for P to have a free factor of rank one. If d is odd, we also get some results in that direction. If A is regular, we show that the Chow-Witt groups defined by Morel and Barge appear naturally as some homology groups of a Gersten-type complex in Grothendieck-Witt theory. From this, we deduce that if d=3 then the vanishing of the Euler class of P in the corresponding Chow-Witt group is a necessary and sufficient condition for P to have a free factor of rank one.     

The Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups

We prove the Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups, thereby giving necessary and sufficient conditions for a closed spin manifold of dimension greater than four with fundamental group cocompact Fuchsian to admit a metric of positive scalar curvature.

     

Hausdorff dimension in a family of self-similar groups

For every prime p and every monic polynomial f, invertible over p, we define a group G _{p, f} of p-adic automorphisms of the p-ary rooted tree. The groups are modeled after the first Grigorchuk group, which in this setting is the group . We show that the constructed groups are self-similar, regular branch groups. This enables us to calculate the Hausdorff dimension of their closures, providing concrete examples (not using random methods) of topologically finitely generated closed subgroups of the group of p-adic automorphisms with Hausdorff dimension arbitrarily close to 1. We provide a characterization of finitely constrained groups in terms of the branching property, and as a corollary conclude that all defined groups are finitely constrained. In addition, we show that all infinite, finitely constrained groups of p-adic automorphisms have positive and rational Hausdorff dimension and we provide a general formula for Hausdorff dimension of finitely constrained groups. Further “finiteness” properties are also discussed (amenability, torsion and intermediate growth). Partially supported by NSF grant DMS-0600975.     

Assouad-Nagata dimension of locally finite groups and asymptotic cones

In this paper we study two problems concerning Assouad-Nagata dimension:

(1)

Is there a metric space of positive asymptotic Assouad-Nagata dimension such that all of its asymptotic cones are of Assouad-Nagata dimension zero? (Dydak and Higes, 2008 [11, Question 4.5]).

(2)

Suppose G is a locally finite group with a proper left invariant metric dG. If dimAN(G,dG)>0, is dimAN(G,dG) infinite? (Brodskiy et al., preprint [6, Problem 5.3]).

The first question is answered positively. We provide examples of metric spaces of positive (even infinite) Assouad-Nagata dimension such that all of its asymptotic cones are ultrametric. The metric spaces can be groups with proper left invariant metrics.The second question has a negative solution. We show that for each n there exists a locally finite group of Assouad-Nagata dimension n. As a consequence this solves for non-finitely generated countable groups the question about the existence of metric spaces of finite asymptotic dimension whose asymptotic Assouad-Nagata dimension is larger but finite.     

Property A for groups acting on metric spaces

Gouliang Yu has introduced a property of discrete metric spaces and groups called property A which implies the coarse Baum–Connes Conjecture and hence the Novikov Higher Signature Conjecture. In this paper we extend a result of Jean-Louis Tu to conclude that a group acting by isometries on a metric space with finite asymptotic dimension whose d-stabilizers have property A, also has property A. As a result, we conclude a theorem of Tu, according to which, a fundamental group of a finite graph of groups whose vertices have property A also has property A.     

The coarea formula for real‐valued Lipschitz maps on stratified groups

We establish a coarea formula for real‐valued Lipschitz maps on stratified groups when the domain is endowed with a homogeneous distance and level sets are measured by the Q – 1 dimensional spherical Hausdorff measure. The number Q is the Hausdorff dimension of the group with respect to its Carnot–Carathéodory distance. We construct a Lipschitz function on the Heisenberg group which is not approximately differentiable on a set of positive measure, provided that the Euclidean notion of differentiability is adopted. The coarea formula for stratified groups also applies to this function, where the Euclidean one clearly fails. This phenomenon shows that the coarea formula holds for the natural class of Lipschitz functions which arises from the geometry of the group and that this class may be strictly larger than the usual one. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Large localizations of finite groups

We construct examples of localizations in the category of groups which take the Mathieu group M₁₁ to groups of arbitrarily large cardinality which are “abelian up to finitely many generators.” The paper is part of a broader study on the group theoretic properties which are or are not preserved by localizations.     

置换性很好的一类群

主要研究子群置换性质对有限群结构的影响.通过子群的置换性得到一类群,即B 群.B群是全可置换群的扩展,利用全可置换群的p次中心扩张和子群的阶得到B群的一些性质并对B 群的结构进行一些刻画.应用B 群的结构得到有限p （p〉2）群为二元生成的B 群的充要条件.     

Ordering groups and validity in lattice-ordered groups

An inductive characterization is given of the subsets of a group that extend to the positive cone of a right order on the group. This characterization is used to relate validity of equations in lattice-ordered groups (?-groups) to subsets of free groups that extend to the positive cone of a right order. As a consequence, new proofs are obtained of the decidability of the word problem for free ?-groups and generation of the variety of ?-groups by the ?-group of automorphisms of the real line. An inductive characterization is also given of the subsets of a group that extend to the positive cone of an order on the group. In this case, the characterization is used to relate validity of equations in varieties of representable ?-groups to subsets of relatively free groups that extend to the positive cone of an order.     

Γ-amenability of locally compact groups

Let G be a locally compact group and let F be a closed subgroup of G × G. Pier introduced the notion of F-amenability which gives a new classification of groups. This concept generalizes the concept of amenability and inner amenability for locally compact groups. In this paper, among other things, we extend some standard results for amenable groups to F-amenable groups and give various characterizations for F-amenable groups. A sequence of characterizations of F-amenable groups is given here by developing the well-known Flner＇s conditions for amenable locally compact groups. Several characterizations of inner amenability are also given.     

Quasiconformal groups, Patterson-Sullivan theory, and local analysis of limit sets

We extend the part of Patterson-Sullivan theory to discrete quasiconformal groups that relates the exponent of convergence of the Poincaré series to the Hausdorff dimension of the limit set. In doing so we define new bi-Lipschitz invariants that localize both the exponent of convergence and the Hausdorff dimension. We find these invariants help to expose and explain the discrepancy between the conformal and quasiconformal setting of Patterson-Sullivan theory.

     

Hilbert-Schmidt groups as infinite-dimensional Lie groups and their Riemannian geometry

We describe the exponential map from an infinite-dimensional Lie algebra to an infinite-dimensional group of operators on a Hilbert space. Notions of differential geometry are introduced for these groups. In particular, the Ricci curvature, which is understood as the limit of the Ricci curvature of finite-dimensional groups, is calculated. We show that for some of these groups the Ricci curvature is -∞.     

Equations in polyadic groups

Systems of equations and their solution sets are studied in polyadic groups. We prove that a polyadic group (G,f)?=?der_𝜃,b(G,?) is equational noetherian, if and only if the ordinary group (G,?) is equational noetherian. The structure of coordinate polyadic group of algebraic sets in equational noetherian polyadic groups is also determined.     

On hereditarily and super R-Hopfian and L-co-Hopfian abelian groups

An Abelian group is said to be R-Hopfian [L-co-Hopfian] if every surjective [injective] endomorphism has a right [left] inverse. An Abelian group G is said to be hereditarily R-Hopfian [hereditarily L-co-Hopfian] if each subgroup of G is R-Hopfian [L-co-Hopfian]; similarly G is super R-Hopfian [super L-co-Hopfian] if each homomorphic image of G is R-Hopfian [L-co-Hopfian]. The various classes of hereditarily and super R-Hopfian and L-co-Hopfian groups are studied and necessary conditions for groups to have these properties are derived; in several, but not all, cases, su?cient conditions are also obtained.     

Maximal covers of finite groups

Abstract

Let λ(G) be the maximum number of subgroups in an irredundant covering of the finite group G. We prove that if G is a group with λ(G) ≤ 6, then G is supersolvable. We also describe the structure of groups G with λ(G) = 6. Moreover, we show that if G is a group with λ(G)?<?31, then G is solvable.     

Fuchsian Groups, Quasiconformal Groups, and Conical Limit Sets

We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one.

     

On coherence of graph products of groups and Coxeter groups

Graph products of groups and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then the corresponding group is coherent, i.e. every finitely generated subgroup is finitely presented.     

Adian-Lisenok groups and (U) condition

A group G possesses the property (U) with respect to S if there exists a number M = M(G) such that for each generating set P of the group G there exists an element t ? G for which max _x?S |t ^?1 xt| _P ≤ M. It is proved that the well-known Adian-Lisenok groups possess the property (U). In connection with the problem on finding infinite groups with the property (U), which is stated in a joint unpublishedwork by D.Osin and D. Sonkin, it is shown that for any odd n ≥ 1003 there is a continuum set of non-isomorphic, i.e. simple groups with the property (U) in the variety of groups satisfying the identity x ⁿ = 1.