A finitely presented group with two non-homeomorphic asymptotic cones

Asymptotic cones of finitely presented groups

Let G be a connected semisimple Lie group with at least one absolutely simple factor S such that R-rank(S) is at least 2, and let $Γ$ be a uniform lattice in G. (a) If $CH$ holds, then $Γ$ has a unique asymptotic cone up to homeomorphism. (b) If $CH$ fails, then $Γ$ has $2^{2^ω}$ asymptotic cones up to homeomorphism.

On groups with locally compact asymptotic cones

We show how a recent result of Hrushovsky implies that if an asymptotic cone of a finitely generated group is locally compact, then the group is virtually nilpotent.

On the geometry of positive cones in finitely generated groups

We study the geometry of positive cones of left-invariant total orders (left-order, for short) in finitely generated groups. We introduce the \textit{Hucha property} and the \texit{Prieto property} for left-orderable groups. The first one means that in any left-order the corresponding positive cone is not coarsely connected, and the second one that in any left-order the corresponding positive cone is coarsely connected. We show that all left-orderable free products have the Hucha property, and that the Hucha property is stable under certain free products with amalgamatation over Prieto subgrou…

子群嵌入的几何与渐近锥

The geometry of subgroup embeddings and asymptotic cones

该研究针对有限生成群的子群嵌入问题，通过引入对应子群的渐近锥子空间，证明其连通性与凸性可分别刻画推广畸变函数的性质及子群的强拟凸性，建立了群嵌入性质与渐近锥几何的联系。

Asymptotic cones of HNN extensions and amalgamated products

Gromov asked whether an asymptotic cone of a finitely generated group was always simply connected or had uncountable fundamental group. We prove that Gromov's dichotomy holds for asympotic cones with cut points, as well as, HNN extensions and amalgamated products where the associated subgroups are nicely embedded. We also show a slightly weaker dichotomy for multiple HNN extensions of free groups.

Formal language convexity in left-orderable groups

We propose a criterion for preserving the regularity of a formal language representation when passing from groups to subgroups. We use this criterion to show that the regularity of a positive cone language in a left-orderable group passes to its finite index subgroups, and to show that there exists no left order on a finitely generated acylindrically hyperbolic group such that the corresponding positive cone is represented by a quasi-geodesic regular language. We also answer one of Navas' questions by giving an example of an infinite family of groups which admit a positive cone that is generat…

Dehn function and asymptotic cones of Abels' group

We prove that Abels' group over an arbitrary nondiscrete locally compact field has a quadratic Dehn function. As applications, we exhibit connected Lie groups and polycyclic groups whose asymptotic cones have uncountable abelian fundamental group. We also obtain, from the case of finite characteristic, uncountably many non-quasi-isometric finitely generated solvable groups, as well as peculiar examples of fundamental groups of asymptotic cones.

Mapping the Davis complex into the imaginary cone

The study of the set of limit roots associated to an infinite Coxeter group was initiated by Hohlweg, Labbé and Ripoll and further developed by Dyer, Hohlweg, Péaux and Ripoll. The Davis complex associated to a finitely generated Coxeter group $W$ is a piecewise Euclidean CAT(0) space on which $W$ acts properly, cocompactly by isometries. The one skeleton of the Davis complex can be identified with the Cayley graph of $W$. In this paper we define a natural map from the Davis complex into the normalised imaginary cone of a based root system.

On conjugation invariant norms, asymptotic cones, metric ultraproducts and contractibility

In the present paper we prove lemmata on strong contractibility in asymptotic cones and metric ultraproducts which we apply to both the case of finitely generated word norms and the case of conjugation invariant norms. We recover classically known contractibility results on free products and prove the contractibility of the asymptotic cone of the infinite symmetric group $\Sym_\infty$ equipped with a conjugation invariant norm. Furthermore, we give examples of contractible metric ultraproducts arising from subgroups of general linear groups. Additionally, we discuss algebraic properties of gro…

The cone conjecture for Calabi-Yau pairs in dimension two

We prove the Morrison-Kawamata cone conjecture for klt Calabi-Yau pairs in dimension 2. That is, for a large class of rational surfaces as well as K3 surfaces and abelian surfaces, the action of the automorphism group of the surface on the convex cone of ample divisors has a rational polyhedral fundamental domain. More concretely: there many be infinitely many curves with negative self-intersection on the surface, but all such curves fall into finitely many orbits under the automorphism group of the surface. The proof uses the geometry of groups acting on hyperbolic space. We deduce a characte…

Embeddings into left-orderable simple groups

We prove that every countable left-ordered group embeds into a finitely generated left-ordered simple group. Moreover, if the first group has a computable left-order, then the simple group also has a computable left-order. We also obtain a Boone-Higman-Thompson type theorem for left-orderable groups with recursively enumerable positive cones. These embeddings are Frattini embeddings, and isometric whenever the initial group is finitely generated. Finally, we reprove Thompson's theorem on word problem preserving embeddings into finitely generated simple groups and observe that the embedding is …

Zeta functions of virtually nilpotent groups

We prove that the subgroup zeta function and the normal zeta function of a finitely generated virtually nilpotent group are finite sums of Euler products of cone integrals over $\mathbb{Q}$ and we deduce from this that they have rational abscissa of convergence and some meromorphic continuation. We also define Mal'cev completions of a finitely generated virtually nilpotent group and we prove that the subgroup growth and the normal subgroup growth of the latter are invariants of its $\mathbb{Q}$-Mal'cev completion.

有限生成双可序群的同构问题

The isomorphism problem for finitely generated bi-orderable groups

从描述集合论角度研究有限生成可序群的分类问题，证明有限生成双可序群的同构关系是弱普遍的。

Tree-graded spaces and asymptotic cones of groups

We introduce a concept of tree-graded metric space and we use it to show quasi-isometry invariance of certain classes of relatively hyperbolic groups, to obtain a characterization of relatively hyperbolic groups in terms of their asymptotic cones, to find geometric properties of Cayley graphs of relatively hyperbolic groups, and to construct the first example of finitely generated group with a continuum of non-$π_1$-equivalent asymptotic cones. Note that by a result of Kramer, Shelah, Tent and Thomas, continuum is the maximal possible number of different asymptotic cones of a finitely generate…

Explicit left orders on free groups extending the lexicographic order on free monoids

For every finitely generated free group we construct an explicit left order extending the lexicographic order on the free monoid generated by the positive letters. The order is defined by a left, free action on the orbit of 0 of a free group of piecewise linear homeomorphisms of the line. The membership in the positive cone is decidable in linear time in the length of the input word. The positive cone forms a context-free language closed under word reversal.

Cone types and geodesic languages for lamplighter groups and Thompson's group F

We study languages of geodesics in lamplighter groups and Thompson's group F. We show that the lamplighter groups $L_n$ have infinitely many cone types, have no regular geodesic languages, and have 1-counter, context-free and counter geodesic languages with respect to certain generating sets. We show that the full language of geodesics with respect to one generating set for the lamplighter group is not counter but is context-free, while with respect to another generating set the full language of geodesics is counter and context-free. In Thompson's group F with respect to the standard finite ge…

The Martin boundary of relatively hyperbolic groups with virtually abelian parabolic subgroups

Given a probability measure on a finitely generated group, its Martin boundary is a way to compactify the group using the Green's function of the corresponding random walk. We give a complete topological characterization of the Martin boundary of finitely supported random walks on relatively hyperbolic groups with virtually abelian parabolic subgroups. In particular, in the case of nonuniform lattices in the real hyperbolic space H n , we show that the Martin boundary coincides with the CAT (0) boundary of the truncated space, and thus when n = 3, is homeomorphic to the Sierpinski carpet.

Ultrarigid tangents of sub-Riemannian nilpotent groups

We show that the tangent cone at the identity is not a complete quasiconformal invariant for sub-Riemannian nilpotent groups. Namely, we show that there exists a nilpotent Lie group equipped with left invariant sub-Riemannian metric that is not locally quasiconformally equivalent to its tangent cone at the identity. In particular, such spaces are not locally bi-Lipschitz homeomorphic. The result is based on the study of Carnot groups that are rigid in the sense that their only quasiconformal maps are the translations and the dilations.

On the number of circular orders on a group

We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product decomposition. This allows us to also show that the space of circular orders of any group is either finite or uncountable. As a special case and first step, we show that the space of circular orderings of an infinite Abelian group has no isolated points, hence is homeomorphic to a cantor set.

Median structures on asymptotic cones and homomorphisms into mapping class groups

The main goal of this paper is a detailed study of asymptotic cones of the mapping class groups. In particular, we prove that every asymptotic cone of a mapping class group has a bi-Lipschitz equivariant embedding into a product of real trees, sending limits of hierarchy paths onto geodesics, and with image a median subspace. One of the applications is that a group with Kazhdan's property (T) can have only finitely many pairwise non-conjugate homomorphisms into a mapping class group. We also give a new proof of the rank conjecture of Brock and Farb (previously proved by Behrstock and Minsky, a…

Lacunary hyperbolic groups

We call a finitely generated group lacunary hyperbolic if one of its asymptotic cones is an R-tree. We characterize lacunary hyperbolic groups as direct limits of Gromov hyperbolic groups satisfying certain restrictions on the hyperbolicity constants and injectivity radii. Using central extensions of lacunary hyperbolic groups, we solve a problem of Gromov by constructing a group whose asymptotic cone C has countable but non-trivial fundamental group (in fact C is homeomorphic to the direct product of a tree and a circle, so π_1(C)=Z). We show that the class of lacunary hyperbolic groups conta…

与等距自由作用相关的扭曲锥不具有几何性质(T)

Warped cones associated to isometric free actions do not have geometric property (T)

证明了有限生成群G在紧黎曼流形M上的自由等距作用对应的离散化扭曲锥不具有几何性质(T)

On the rate of convergence to the asymptotic cone for nilpotent groups and subFinsler geometry

Addressing a question of Gromov, we give a rate in Pansu's theorem about the convergence in Gromov-Hausdorff metric of a finitely generated nilpotent group equipped with a left-invariant word metric scaled by a factor 1/n towards its asymptotic cone. We show that due to the possible presence of abnormal geodesics in the asymptotic cone, this rate cannot be better than n^{1/2} for general non-abelian nilpotent groups. As a corollary we also get an error term of the form vol(B(n))=cn^d + O(n^{d-2/(3r)}) for the volume of Cayley balls of a nilpotent group with nilpotency class r. We also state a …

扭曲锥的非几何性质(T)

Non-geometric property (T) of warped cones

本文研究紧李群上有限生成子群作用的离散化扭曲锥的几何性质(T)，证明稠密子群对应的扭曲锥无该性质，并由此得到无几何性质(T)的扩张子（含超扩张子）新例子。