Ilya Kapovich
We show that if H is a quasiconvex subgroup of a hyperbolic group G then the relative Cayley graph Y (also known as the Schreier coset graph) for G/H is Gromov-hyperbolic. We also observe that in this situation if G is torsion-free and non-elementary and H has infinite index in G then the simple random walk on Y is transient.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
All Cayley representations of the distant graph $Γ_Z$ over integers are characterized as Neumann subgroups of the extended modular group. Possible structures of Neumann subgroups are revealed and it is shown that every such a structure can be realized.
In this paper, we give a characterization of the normal subgroups of index $2^{s}(2n+1),\ s\in\{1,2\},\ n\in \mathbb{N}$ and of the subgroups of index three of the group representation of the Cayley tree.
In this paper we give full description of normal subgroups of index eight and ten for the group.
A diagonal base of a Sylow 2-subgroup $P_n(2)$ of symmetric group $S_{2^n}$ is a minimal generating set of this subgroup consisting of elements with only one non-zero coordinate in the polynomial representation. For different diagonal bases Cayley graphs of $P_n(2)$ may have different girths (i.e. minimal lengths of cycles) and thus be non-isomorphic. In presented paper all possible values of girths of Cayley graphs of $P_n(2)$ on diagonal bases are calculated. A criterion for whenever such Cayley graph has girth equal to 4 is presented. A lower bound for the number of different non-isomorphic…
In this paper, we characterize the finite groups $G$ of even order with the property that for any involution $x$ and element $y$ of $G$, $\langle x, y \rangle$ is isomorphic to one of the following groups: $\mathbb{Z}_2,$ $\mathbb{Z}_2^2$, $\mathbb{Z}_4$, $\mathbb{Z}_6$, $\mathbb{Z}_2 \times \mathbb{Z}_4$, $\mathbb{Z}_2 \times\mathbb{Z}_6$ and $A_4$. As a result, a characterization will be obtained for the finite groups all of whose Cayley graphs of degree $3$ have integral spectrum.
In this paper we introduce a Cayley-type graph for group-subgroup pairs and present some elementary properties of such graphs, including connectedness, their degree and partition structure, and vertex-transitivity. We relate these properties to those of the underlying group-subgroup pair. From the properties of the group, subgroup and generating set some of the eigenvalues can be determined, including the largest eigenvalue of the graph. In particular, when this construction results in a bipartite regular graph we show a sufficient condition on the size of the generating sets that results on R…
A perfect code $C$ in a graph $Γ$ is an independent set of vertices of $Γ$ such that every vertex outside of $C$ is adjacent to a unique vertex in $C$, and a total perfect code $C$ in $Γ$ is a set of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. Let $G$ be a finite group and $X$ a normal subset of $G$. The Cayley sum graph $\mathrm{CS}(G,X)$ of $G$ with the connection set $X$ is the graph with vertex set $G$ and two vertices $g$ and $h$ being adjacent if and only if $gh\in X$ and $g\neq h$. In this paper, we give some necessary conditions of a subgroup of…
Cayley hyper-digraphs and Cayley hypermaps
本文研究Cayley超有向图并构造高对称性的Cayley超地图，提出一般理论以促进对Cayley超地图的系统研究。
Using Cayley transform, we show how to construct rotation matrices \emph{infinitely near} the identity matrix over a non-archimedean pythagorean field. As an application, an alternative way to construct non-central proper normal subgroups of the rotation group over such fields is provided.
A study of triangulations of cycles in the Cayley diagrams of finitely generated groups leads to a new geometric characterization of hyperbolic groups.
A group G is acylindrically hyperbolic if it admits a non-elementary acylindrical action on a hyperbolic space. We prove that every acylindrically hyperbolic group G has a generating set X such that the corresponding Cayley graph is a (non-elementary) quasi-tree and the action of G on the Cayley graph is acylindrical. Our proof utilizes the notions of hyperbolically embedded subgroups and projection complexes. As a by-product, we obtain some new results about hyperbolically embedded subgroups and quasi-convex subgroups of acylindrically hyperbolic groups.
For a finite group $G$ and an inverse-closed generating set $C$ of $G$, let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$-invariant normal subgroup $Φ(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$-invariant normal set of generators for $G$, if we remove from it all the elements of $Φ(G;C)$, then the remaining set is still an $Aut(G;C)$-invariant normal generating set for $G$. The subgroup $Φ(G;C)$ contains the Frattini subgroup $Φ(G)$ but the inclusion may be proper. The Cayley graph $Cay(G,C)$ is normal edge-transitive if $A…
Regularity of quasigeodesics characterises hyperbolicity
本文利用凯莱图中拟测地线的正则语言性质刻画双曲群，并通过局部 (3,0)-拟测地线回路的缺失给出双曲性的定量判据，进而推进了 Shapiro 关于唯一测地凯莱图的问题。
We prove that for a finitely generated subgroup $H$ of a word-hyperbolic group $G$ the Frattini subgroup $F(H)$ of $H$ is finite.
Critical exponents of boomerang subgroups in the free group
本文研究了自由群中回旋子群的临界指数构造，展示其可无限接近有限生成子群的临界指数。
We present new infinite families of expander graphs of vertex degree 4, which is the minimal possible degree for Cayley graph expanders. Our first family defines a tower of coverings (with covering indices equals 2) and our second family is given as Cayley graphs of finite groups with very short presentations with only 2 generators and 4 relations. Both families are based on particular finite quotients of a group G of infinite upper triangular matrices over the ring M(3,F2). We present explicit vector space bases for the finite abelian quotients of the lower exponent-2 groups of G by upper tri…
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a characterization of Cayley graphs over groups with an abelian subgroup of index 2 having PST, which improves the earlier results on Cayley graphs over abelian groups, dihedral groups and dicyclic group and det…
We show that the complex of parabolic subgroups associated to the Artin-Tits group of type $B$ is hyperbolic
Let $G$ be a group and $H$ a subgroup of $G$. This note introduces an equivalent definition of hyperbolic embedded subgroup based on Bowditch's approach to relatively hyperbolic groups in terms of fine graphs.
A group $G$ splits over a subgroup $C$ if $G$ is either a free product with amalgamation $A \underset{C}{\ast} B$ or an HNN-extension $G=A \underset{C}{\ast} (t)$. We invoke Bass-Serre theory and classify all infinite groups which admit cubic Cayley graphs of connectivity two in terms of splittings over a subgroup.
We define relatively quasiconvex subgroups of relatively hyperbolic groups in the sense of Osin and show that such subgroups have expected properties. Also we state several definitions equivalent to the definition of relatively hyperbolic groups in the sense of Osin.
A subgroup of a group $G$ is called algebraic if it can be expressed as a finite union of solution sets to systems of equations. We prove that a non-elementary subgroup $H$ of an acylindrically hyperbolic group $G$ is algebraic if and only if there exists a finite subgroup $K$ of $G$ such that $C_G(K) \leq H \leq N_G(K)$. We provide some applications of this result to free products, torsion-free relatively hyperbolic groups, and ascending chains of algebraic subgroups in acylindrically hyperbolic groups.
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the fundamental group of a hyperbolic 3-manifold (closed or with cusps) is subgroup conjugacy separable.
A Cayley graph of a group $H$ is a finite simple graph $Γ$ such that ${\rm Aut}(Γ)$ contains a subgroup isomorphic to $H$ acting regularly on $V(Γ)$, while a Haar graph of $H$ is a finite simple bipartite graph $Σ$ such that ${\rm Aut}(Σ)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(Σ)$ and the $H$-orbits are equal to the bipartite sets of $Σ$. A Cayley graph is a Haar graph exactly when it is bipartite, but no simple condition is known for a Haar graph to be a Cayley graph. In this paper, we show that the groups $D_6, \, D_8, \, D_{10}$ and $Q_8$ are the only finite inner…
There is a family of hyperbolic groups known as hyperbolic hydra which contain heavily distorted free subgroups. We prove the existence of Cannon--Thurston maps (that is, maps of the boundaries induced by subgroup inclusion) for these free subgroups. It is known that Cannon--Thurston maps between hyperbolic space boundaries can exist even in the presence of arbitrarily heavy (even non-recursive) distortion. The hyperbolic hydra examples show that Cannon--Thurston maps can exist even between hyperbolic group boundaries in the presence of arbitrarily heavy primitive recursive distortion.
Computational Complexity of Finding Subgroups of a Given Order
本文研究了在凯莱表表示下寻找给定阶子群的计算复杂性，并为阿贝尔群提出了最优算法。
For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two quasiconvex subgroups $Q$ and $R$ is quasiconvex and isomorphic to $Q \ast_{Q\cap R} R$. Our results generalized known combination theorems for quasiconvex subgroups of word-hyperbolic groups. Some applications are presented.
Let $G$ be a group hyperbolic relative to a collection of subgroups $\{H_λ,λ\in Λ\} $. We say that a subgroup $Q\le G$ is hyperbolically embedded into $G$, if $G$ is hyperbolic relative to $\{H_λ,λ\in Λ\} \cup \{Q\} $. In this paper we obtain a characterization of hyperbolically embedded subgroups. In particular, we show that if an element $g\in G$ has infinite order and is not conjugate to an element of $H_λ$, $λ\in Λ$, then the (unique) maximal elementary subgroup contained $g$ is hyperbolically embedded into $G$. This allows to prove that if $G$ is boundedly generated, then $G$ is elementar…
Exotic subgroups of hyperbolic groups
本文展示了双曲群的子群可具有奇异有限性性质，通过复几何与双曲几何的纤维化构造，回答了关于双曲群及其子群的旧问题。
We discuss the notion of the universal relatively hyperbolic structure on a group which is used in order to characterize relatively hyperbolic structures on the group. We also study relations between relatively hyperbolic structures on a group and relative quasiconvexity for subgroups of the group.
Brady proved that there are hyperbolic groups with finitely presented subgroups that are not of type $FP_3$ (and hence not hyperbolic). We reprove Brady's theorem by presenting a new construction. Our construction uses Bestvina-Brady Morse theory, but does not involve branched coverings.
We consider two families of subgroups of a group. Each subgroup which belongs to one family is contained in some subgroup which belongs to the other family. We then discuss relations of relative hyperbolicity for the group with respect to the two families, respectively. If the group is supposed to be hyperbolic relative to the two families, respectively, then we consider relations of relative quasiconvexity for a subgroup of the group with respect to the two families, respectively.
Let G be a finitely generated relatively hyperbolic group. We show that if no peripheral subgroup of G is hyperbolic relative to a collection of proper subgroups, then the fixed subgroup of every automorphism of G is relatively quasiconvex. It follows that the fixed subgroup is itself relatively hyperbolic with respect to a natural family of peripheral subgroups. If all peripheral subgroups of G are slender (respectively, slender and coherent), our result implies that the fixed subgroup of every automorphism of G is finitely generated (respectively, finitely presented). In particular, this hap…
Let $G$ be a finite group of odd order, $\F$ a finite field of odd characteristic $p$ and $\B$ a finite--dimensional symplectic $\F G$-module. We show that $\B$ is $\F G$-hyperbolic, i.e., it contains a self--perpendicular $\F G$-submodule, iff it is $\F N$-hyperbolic for every cyclic subgroup $N$ of $G$.
An infinite family of exotic subgroups of hyperbolic groups
本研究构建了首个双曲群非双曲且属$\n\mathrm{FP}(\mathbb{Q})$型的子群拟等距类无限族，给出生成具强有限性的非双曲子群的简单判据，并发现高维下局部双曲性与代数纤维化互斥。
We construct hyperbolic groups with the following properties: The boundary of the group has big dimension, it is separated by a Cantor set and the group does not split. This shows that Bowditch's theorem that characterizes splittings of hyperbolic groups over 2-ended groups in terms of the boundary can not be extended to splittings over more complicated subgroups.
We prove that for any finitely generated relatively hyperbolic group G and any symmetric endomorphism f of G with relatively quasiconvex image, Fixf is relatively quasiconvex subgroup of G.
A connected, locally finite graph $Γ$ is a Cayley--Abels graph for a totally disconnected, locally compact group $G$ if $G$ acts vertex-transitively with compact, open vertex stabilizers on $Γ$. Define the minimal degree of $G$ as the minimal degree of a Cayley--Abels graph of $G$. We relate the minimal degree in various ways to the modular function, the scale function and the structure of compact open subgroups. As an application, we prove that if $T_d$ denotes the $d$-regular tree, then the minimal degree of ${\rm Aut}(T_d)$ is $d$ for all $d\geq 2$.
We construct an example of a torsion free freely indecomposable finitely presented non-quasiconvex subgroup $H$ of a word hyperbolic group $G$ such that the limit set of $H$ is not the limit set of a quasiconvex subgroup of $G$. In particular, this gives a counterexample to the conjecture of G.Swarup that a finitely presented one-ended subgroup of a word hyperbolic group is quasiconvex if and only if it has finite index in its virtual normalizer.
Invariant random subgroups in hyperbolic reflection groups
本文证明了双曲反射群存在具有不可数多种子群同构类型的不变随机子群，并通过Coxeter多面体构造回答了S.Thomas等人的问题。
We show that if $H$ is a quasiconvex subgroup of infinite index in a non-elementary hyperbolic group $G$ then the Schreier coset graph $X$ for $G$ relative to $H$ is non-amenable (that is, $X$ has positive Cheeger constant). We present some corollaries regading the Martin boundary and Martin compactification of $X$ and the co-growth of $H$ in $G$.
We construct new examples of CAT(0) groups containing non finitely presented subgroups that are of type $FP_2$, these CAT(0) groups do not contain copies of $\mathbb{Z}^3$. We also give a construction of groups which are of type $F_n$ but not $F_{n+1}$ with no free abelian subgroups of rank greater than $\lceil\frac{n}{3}\rceil$.
Let G be a group, H a hyperbolically embedded subgroup of G, V a normed G-module, U an H-invariant submodule of V. We propose a general construction which allows to extend 1-quasi-cocycles on H with values in U to 1-quasi-cocycles on G with values in V. As an application, we show that every group G with a non-degenerate hyperbolically embedded subgroup has dim H^2_b (G, l^p(G))=\infty for p\in [1, \infty). This covers many previously known results in a uniform way. Applying our extension to quasimorphisms and using Bavard duality, we also show that hyperbolically embedded subgroups are undisto…
Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings
本文利用任意环上的等周不等式将Gersten关于2维字双曲群子群的双曲性结果推广至任意环，并给出了高阶双曲群的子群保持同阶双曲性的条件及组合定义。
We generalise the constructions of Brady and Lodha to give infinite families of hyperbolic groups, each having a finitely presented subgroup that is not of type $F_3$. By calculating the Euler characteristic of the hyperbolic groups constructed, we prove that infinitely many of them are pairwise non isomorphic. We further show that the first of these constructions cannot be generalised to dimensions higher than $3$.
A non-Hopfian relatively hyperbolic group with respect to a Hopfian subgroup
本文通过构造一个相对于 Hopf 子群的非 Hopf 有限生成相对双曲群反例，否定回答了 Osin 提出的问题5.5。
A result of Gersten states that if $G$ is a hyperbolic group with integral cohomological dimension $\mathsf{cd}_{\mathbb{Z}}(G)=2$ then every finitely presented subgroup is hyperbolic. We generalize this result for the rational case $\mathsf{cd}_{\mathbb{Q}}(G)=2$. In particular, our result applies to the class of torsion-free hyperbolic groups $G$ with $\mathsf{cd}_{\mathbb{Z}}(G)=3$ and $\mathsf{cd}_{\mathbb{Q}}(G)=2$ discovered by Bestvina and Mess.
We prove that the generalised word problem of a finitely generated subgroup of a finitely generated virtually free group is context-free, that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of infinite index with context-free generalised word problem, and that, for any hyperbolic group, the generalised word problem of a torsion-free quasiconvex subgroup is recognised by a real-time Turing machine.
Let N be a finitely generated normal subgroup of a Gromov hyperbolic group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N. We show that the hyperbolic group from F. Haglund's and D. Wise's version of Rips's construction is hereditarily conjugacy separable. We then use this construction to produce first examples of finitely generated and finitely presented conjugacy separable groups that contain non-(conjugacy separable) subgroups of finite index.
In the present paper, we give a certain condition on subgroups of the group representation of the Cayley tree such that an invariance property holds. Except for the given condition, we show that the invariance property does not hold.
We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show that the generalised word problem for a quasiconvex subgroup is a real-time language under either of two additional hypotheses on the subgroup. By extending the Muller-Schupp theorem we show that the generalised word problem for a finitely generated subgroup of a finitely generated virtually free group is context-free. Conversely, we prove that a hyperbolic gro…
In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR). The strategy for digraphs involved analysing separately the cases where the regular group $R$ has a nontrivial proper n…
Let $m$ and $k$ be integers such that $|m|, \, |k| >1$ and $\gcd (m,k)=1$. We show that all Baumslag-Solitar groups $BS(m,mk)$ are non-residually finite groups hyperbolic relative to residually finite subgroups. By a result of Osin (2007), this implies that there exists a non-residually finite hyperbolic group, thus solving a long-standing open problem of Gromov (1987). We also show that all $BS(m, mk)$ are non-Hopfian groups hyperbolic relative to Hopfian subgroups.
An interesting question about quasiconvexity in a hyperbolic group concerns finding classes of quasiconvex subsets that are closed under finite intersections. A known example is the class of all quasiconvex subgroups. However, not much is yet learned about the structure of arbitrary quasiconvex subsets. In this work we study the properties of products of quasiconvex subgroups; we show that such sets are quasiconvex, their finite intersections have a similar algebraic representation and, thus, are quasiconvex too.
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS) if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. An into-conjugacy version of SCS is abbreviated by SICS. We prove that if $G$ is a hyperbolic group, $H_1$ is a quasiconvex subgroup of $G$, and $H_2$ is a subgroup of $G$ which is elementwise conjugate into $H_1$, then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. As corollary, we deduce that fundamental groups of closed hyperbolic 3-manifolds and torsion-free small cancellat…
We introduce a new invariant of finitely generated groups, the ambiguity function, and prove that every finitely generated acylindrically hyperbolic group has a linearly bounded ambiguity function. We use this result to prove that the relative exponential growth rate $\lim \limits_{n \rightarrow \infty} \sqrt[n]{\vert B^{X}_H(n) \vert}$ of a subgroup $H$ of an acylindrically hyperbolic group $G$ exists with respect to every finite generating set $X$ of $G$, if $H$ contains a loxodromic element of $G$. Further we prove that the relative exponential growth rate of every finitely generated subgro…
Frattini subgroups of hyperbolic-like groups
该研究探讨类双曲群的Frattini子群，证明一般型作用于双曲空间的可数群的Frattini子群诱导作用轨道有界、指数无限，同时构造出Frattini子群指数有限的无限lacunary hyperbolic群，并给出首批不变生成的此类无限群实例。
In this paper we provide a procedure to obtain a non-trivial HHS structure on a hyperbolic space. In particular, we prove that given a finite collection $\mathcal{F}$ of quasi-convex subgroups of a hyperbolic group $G$, there is an HHG structure on $G$ that is compatible with $\mathcal{F}$. We will use this to provide explicit descriptions of the Gromov Boundary of hyperbolic HHS and HHG, and we recover results from Hamenstädt, Manning, Trang for the case when $G$ is hyperbolic relative to $\mathcal{F}$. Further applications in the construction of new HHG will be presented in a subsequent pape…
A recipe for constructing non-Hopfian relatively hyperbolic groups with Hopfian peripheral subgroups
本文利用像扩张定理提出了一种构造具有 Hopfian 边缘子群的 non-Hopfian 相对双曲群的一般方法，并给出了两个具体实例，为 Osin 问题提供了反例。
Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\mathbb{P}=\{P_1,\dots,P_m\}$. Let $H_1,H_2$ be subgroups of $G$ such that $H_1$ is relatively quasiconvex with respect to $\mathbb{P}$ and $H_2$ is not parabolic. Suppose that $H_2$ is elementwise conjugate into $H_1$. Then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. The minimal length of the conjugator can be estimated. In the case where $G$ is a limit group, it is sufficient to assume only that $H_1$ is a finitely generated and $H_2$ is an arbitrary subgroup of $…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。