Searcharxiv⌕ Search

arXiv · 0705.4009

Linear dilatation structures and inverse semigroups

Abstract

Here we prove that for dilatation structures linearity (see arXiv:0705.1440v1) is equivalent to a statement about the inverse semigroup generated by the family of dilatations of the space. The result is new for Carnot groups and the proof seems to be new even for vector spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Marius Buliga. 2007-06-07. Linear dilatation structures and inverse semigroups. https://arxiv.org/abs/0705.4009

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Algebro-Geometric Invariants of Finitely Generated Groups (The Profile of a Representation Variety)

If G is a finitely generated group, and A an algebraic group, then Hom(G,A) is a possibly reducible algebraic variety denoted by R_A(G). Here we define the profile function, P_d(R_A(G)), of the representation variety of G over A to be P_d(R_A(G))=(N_d(R_A(G)),...,N_0(R_A(G))), where N_i(R_A(G)) stands for the number of irreducible components of R_A(G) of dimension i, where 0\leq i\leq d, and d=Dim(R_A(G)). We then use this invariant in the study of fg groups and prove various results. In particular, we show that if G an orientable surface group of genus g\geq 1, then P_d(R_{SL(2,C)}(G))\neq P_d(R_{PSL(2,C)}(G)). We also show that the same holds for G a torus knot group with presentation where both p,t are greater than 2, and that the same also holds when G is a the fundamental group of a compact non-orientable surface of genus g\geq 3. Further, we show that if a group G can be n+1 generated, and presented by , where W is a non-trivial word in F_n= , and A=PSL(2, C), that then Dim(R_{A}(G)) is equal to Max{3n, Dim(R_{A}(G'))+2 \} \leq 3n+1, where G'= . We also give a condition guaranteeing that the resulting algebraic variety is reducible.

math.GR↗

Exact versus monotone isoperimetric profiles of finitely generated groups

Gromov asked whether the exact isoperimetric profile of an infinite finitely generated group is comparable, at the same cardinality, to its greatest nondecreasing minorant. We compare finite sets with their translates and construct orders for which the first $r$ vertices have boundary bounded by a fixed multiple of that of the whole set. Such orders follow from profile summability or from rays in Schreier graphs with a uniform bound on the number using each edge. Among infinite finitely generated groups, we obtain comparison and nested exhaustions for elementary amenable and branch groups, direct products of at least two infinite groups, restricted wreath products with two nontrivial factors, and certain simple topological full groups, including amenable derived groups of interval exchanges. The exhausting $n$-point sets have boundary comparable to the monotone profile at $n$. The ray condition is quasi-isometry invariant and holds for the Sierpiński-carpet group. For polycyclic groups of exponential growth, we refine Pittet's construction to obtain explicit nested sets with $|F_n|=n$ and $|\partial F_n|\asymp n/\log n$, answering his question with exact rather than comparable cardinalities. We also prove that the normalized $L^1$ profile satisfies $j(v)\le C(v/u)j(u)$ for $1\le u\le v$ on every infinite connected bounded-degree vertex-transitive graph. This yields the separation bound asked for by Gournay--Le Coz and Hume's Dirichlet--Neumann comparison at $p=1$. For groups of exponential growth, the exact-to-monotone comparison ratio is $O(\log\log n)$. We answer the first part of Correia's Question 1.3 positively by proving the required dilation regularity, and the second negatively by constructing elementary amenable examples whose inverse compositions fail this regularity for every choice of equivalent representatives.

math.GR↗

On the number of conjugacy classes of finite solvable groups of order divisible by $p^2$

In 2003, Héthelyi and Külshammer proved that if $G$ is a finite solvable group and $p$ is a prime such that $p^2$ divides $|G|$, then $k(G)\geq (49p+1)/60$, and they constructed an infinite family of groups for which this bound was claimed to be attained. We point out that the groups in this family are not Frobenius groups, so that their class numbers are considerably larger than stated, and that in fact the bound is never attained. We then determine the best possible bound of this shape: we show that $k(G)\geq (49p+7)/60$ for all primes $p$, which is sharp for $p=17$, and that $k(G)\geq (49p+451)/60$ for all primes $p>2719$, which is sharp for infinitely many primes $p$. Thus the slope $49/60$ found by Héthelyi and Külshammer is best possible, but the correct additive constant is $451/60$ rather than $1/60$.

math.GR↗