Le Thi Giang
We prove that if $G$ is a free-torsion group and $w(t)$ is a word in the alphabet $G \sqcup \{t^{\pm 1}\}$ with exponent sum one, then the group $<G,t|(w(t))^k = 1>$, where $k \geq 2$, is relatively hyperbolic with respect to $G$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A group obtained from a nontrivial group by adding one generator and one relator which is a proper power of a word in which the exponent-sum of the additional generator is one contains the free square of the initial group and almost always (with one obvious exception) contains a non-abelian free subgroup. If the initial group is involution-free or the relator is at least third power, then the obtained group is SQ-universal and relatively hyperbolic with respect to the initial group.
We introduce the notion of strictly systolic angled complexes. They generalize Januszkiewickz and Świątkowski's $7$-systolic simplicial complexes and also their metric counterparts, which appear as natural analogues to Huang and Osajda's metrically systolic simplicial complexes in the context of negative curvature. We prove that strictly systolic angled complexes and the groups that act on them geometrically, together with their finitely presented subgroups, are hyperbolic. We use these complexes to study the geometry of one-relator groups without torsion, and prove hyperbolicity of such group…
The main achievement of this thesis is an algorithm which given a finite group presentation and natural numbers n and k, computes all the relators of length and area up to n and k respectively. The complexity of this algorithm is better by a factor which is over-exponential than that of classical methods using van Kampen diagrams.
We provide an explicit presentation of an infinite hyperbolic Kazhdan group with $4$ generators and $16$ relators of length at most $73$. That group acts properly and cocompactly on a hyperbolic triangle building of type $(3,4,4)$. We also point out a variation of the construction that yields examples of lattices in $\tilde A_2$-buildings admitting non-Desarguesian residues of arbitrary prime power order.
A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We characterise the orientable, non-orientable, and redundant cyclic presentations and obtain concise refinements of these presentations. We show that the Tits alternative holds for the class of groups defined by redundant cyclic presentations and that if the number of generators of the cyclic presentation is greater than two then the corresponding group is large. Generalizing and extending earlier results of the authors we describe the star graphs of ori…
Adding two generators and one arbitrary relator to a nontrivial torsion-free group, we always obtain an SQ-universal group. In the course of the proof of this theorem, we obtain some other results of independent interest. For instance, adding one generator and one relator in which the exponent sum of the additional generator is one to a free product of two nontrivial torsion-free groups, we also obtain an SQ-universal group. Key words: relative presentations, one-relator groups, SQ-universality, equations over groups.
Let H be a group obtained from a group G by adding one generator and one relator which is a proper power of a unimodular word. The main aim of this paper is to prove that G is a malnormal subgroup of H. This implies that if G is a nontrivial group, then the group H has a trivial center.
Soficity of One-Relator Groups and Reducible Presentations
本文证明了所有有限生成的单关系群均为 sofic 群，通过终端路径上的自由群单词构造上循环，并利用斜积作用实现有限置换逼近。
Connections between the topology of the Morse boundary, the Morse local-to-global property and acylindrical hyperbolicity
本文研究了Morse边界拓扑与群的几何和算法性质的关系，证明了σ-紧Morse边界等价于Morse局部到全局性质，并引入了新的工具来判断群是否具有该性质。
Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1 the question about the existence of nonabelian free subgroups in G is answered completely in the unimodular case (i.e., when the exponent sum of x_1 in w is one). Some generalisations of these results are discussed.
The standard $(n, k, d)$ model of random groups is a model where the relators are chosen randomly from the set of cyclically reduced words of length $k$ on an $n$-element generating set. Gromov's density model of random groups considers the case where $n$ is fixed, and $k$ tends to infinity. We instead fix $k$, and let $n$ tend to infinity. We prove that for all $k \geq 2$ at density $d > 1/2$ a random group in this model is trivial or cyclic of order two, whilst for $d < \frac{1}{2}$ such a random group is infinite and hyperbolic. In addition we show that for $d<\frac{1}{k}$ such a random gro…
Conjugacy separability of any group of the class of one-relator groups given by the presentation $<a, b; [a^m,b^n]=1>$ ($m,n>1$) is proven.
We show that if $M$ is a fibered, orientable 3-manifold, and if $π_1 M$ has 1-relator presentation, then the presentation is induced by a Heegaard splitting of $M$. A corollary is that, for these manifolds, the rank of $π_1 M$ is equal to the "restricted" Heegaard genus of $M$. We also explore the analogy between 1-relator groups and Haken 3-manifolds, showing that every 1-relator group possesses a "1-relator hierarchy".
On groups of units of special and one-relator inverse monoids
该研究探究特殊与单关系逆幺半群的单位群，提出求单位群生成表的新方法并给出其为单关系群的充分条件，同时构造反例证明相关经典结果对逆幺半群一般不成立。
The concept of asphericity for relative group presentations was introduced twenty five years ago. Since then, the subject has advanced and detailed asphericity classifications have been obtained for various families of one-relator relative presentations. Through this work the definition of asphericity has evolved and new applications have emerged. In this article we bring together key results on relative asphericity, update them, and exhibit them under a single set of definitions and terminology. We describe consequences of asphericity and present techniques for proving asphericity and for pro…
A relative one-relator presentation has the form P = < X,H ; R > where X is a set, H is a group, and R is a group word on X and H. We show that if the group word on X obtained from R by deleting all the terms from H has what we call the unique max-min property, then the group defined by P is residually finite if and only if H is residually finite (Theorem 1). We apply this to obtain new results concerning the residual finiteness of (ordinary) one-relator groups (Theorem 4). We also obtain results concerning the conjugacy problem for one-relator groups (Theorem 5), and results concerning the re…
Uniform two-generator presentations for $SL_n(\mathbb{Z})$ with polynomial complexity bounds
本文提出了一种统一的显式构造方法，为所有秩至少为三的整数域上的特殊线性群提供有限二生成表示，包含多项式复杂度界及多种扩展应用。
Relying on the theory of agrarian invariants introduced in previous work, we solve a conjecture of Friedl-Tillmann: we show that the marked polytopes they constructed for two-generator one-relator groups with nice presentations are independent of the presentations used. We also show that, when the groups are additionally torsion-free, the agrarian polytope encodes the splitting complexity of the group. This generalises theorems of Friedl-Tillmann and Friedl-Lück-Tillmann.
On the coherence of one-relator groups and their group algebras
本文证明了单关系群的凝聚性，解决了 Gilbert Baumslag 的著名问题，并将该策略应用于上同调维数为2的群类，证明了二维复形基本群、交错展示群、部分 Coxeter 群及其群代数的凝聚性。
Groups with special presentations and star-graph $K_{3,3}$
研究 Edjvet 和 Vdovina 关于由特殊展示定义的群是否大的问题，通过构造 $n$ 生成元单关系展示并分类星图为 $K_{3,3}$ 的简洁特殊展示，证明所得群是大且双曲的。
Rank 1 phenomena for 1-relator and deficiency 1 groups
本文通过研究有限指数子群的有界上同调和模p同调，精确刻画了1-关系群及亏量至少1的群的有界生成性，并排除了猜想中不存在的例外类。
Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group F(x_1,...,x_n). We show how to reduce the study of the relative presentation Ĝ=<G,x_1,x_2,...,x_n | w=1> to the case n=1. It turns out that an "n-variable" group Ĝ can be constructed from similar "one-variable" groups using an explicit construction similar to wreath product. As an illustration, we prove that, for n>1, the centre of Ĝ is always trivial. For n=1, the…
Short presentations for crystallographic groups
本文提出一种构造欧几里得晶体学群简短表示的实用方法，强调关系子与凯莱图循环的联系，通过实例验证其与强环的对应关系，并计算了多维度周期图上顶点传递群的表示。
Direct powers of perfect groups admit more concise presentations than one might naively suppose. If $H_1G=H_2G=0$, then $G^n$ has a presentation with $O(\log n)$ generators and $O(\log n)^3$ relators. If, in addition, there is an element $g\in G$ that has infinite order in every non-trivial quotient of $G$, then $G^n$ has a presentation with $d(G) +1$ generators and $O(\log n)$ relators. The bounds that we obtain on the deficiency of $G^n$ are not monotone in $n$; this points to potential counterexamples for the Relation Gap Problem.
We consider largeness of groups given by a presentation of deficiency 1, where the group is respectively free-by-cyclic, LERF or 1-relator. We give the first examples of (finitely generated free)-by-(infinite cyclic) word hyperbolic groups which are large, show that a LERF deficiency 1 group with first Betti number at least 2 is large or the integers times the integers, and show that 2-generator 1-relator groups where the relator has height 1 obey the dichotomy that either the group is large or all its finite images are metacyclic.
It is a well-known fact that every group $G$ has a presentation of the form $G = F/R$, where $F$ is a free group and $R$ the kernel of the natural epimorphism from $F$ onto $G$. Driven by the desire to obtain a similar presentation of the group of automorphisms $Aut(G)$, we can consider the subgroup $Stab(R) \subseteq Aut(F)$ of those automorphisms of $F$ that stabilize $R$, and try to figure out if the natural homomorphism $Stab(R) \to Aut(G)$ is onto, and if it is, to determine its kernel. Both parts of this task are usually quite hard. The former part received considerable attention in the …
We introduce the notion of a bicollapsible 2-complex. This allows us to generalize the hyperbolicity of one-relator groups with torsion to a broader class of groups with presentations whose relators are proper powers. We also prove that many such groups act properly and cocompactly on a CAT(0) cube complex.
This note investigates and clarifies some connections between the theory of one-relator groups and special one-relation inverse monoids, i.e. those inverse monoids with a presentation of the form $\operatorname{Inv}\langle A \mid w=1 \rangle$. We show that every one-relator group admits a special one-relation inverse monoid presentation. We subsequently consider the classes ${\rm {\small ANY}}, {\rm {\small RED}}, {\rm {\small CRED}},$ and ${\rm {\small POS}}$ of one-relator groups which can be defined by special one-relation inverse monoid presentations in which the defining word is arbitrary…
We consider groups defined by non-empty balanced presentations with the property that each relator is of the form R(x,y), where x and y are distinct generators and R(.,.) is determined by some fixed cyclically reduced word R(a,b) that involves both a and b. To every such presentation we associate a directed graph whose vertices correspond to the generators and whose arcs correspond to the relators. Under the hypothesis that the girth of the underlying undirected graph is at least 4, we show that the resulting groups are non-trivial and cannot be finite of rank 3 or higher. Without the hypothes…
We give a conjectural presentation of the infinitely generated group PGL(2,Q) with an infinite list of relators.
All hyperbolic cyclically presented groups with positive length three relators
本文完整分类了由正长度三关系子定义的双曲循环呈现群，证明其双曲性当且仅当参数 m 属于 {1,2,3,6,9}。
We present a theoretical algorithm which, given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We then implement a practical version of this algorithm using Magma and apply it to a range of presentations. Our main focus is on 2-generator 1-relator presentations where we have a complete picture of largeness if the relator has exponent sum zero in one generator and word length at most 12, as well as when the relator is in the commutator subgroup and has word length at most 18. Indeed all but a tiny number of presentations define lar…
We provide new examples of acylindrically hyperbolic groups arising from actions on simplicial trees. In particular, we consider amalgamated products and HNN-extensions, 1-relator groups, automorphism groups of polynomial algebras, 3-manifold groups and graph products. Acylindrical hyperbolicity is then used to obtain some results about the algebraic structure, analytic properties and measure equivalence rigidity of groups from these classes.
We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation are either SQ-universal or are cyclic or isomorphic to BS(1,j). Finally we consider free-by-cyclic groups which are not relatively hyperbolic with respect to any collection of subgroups.
We use Fox calculus to assign a marked polytope to a `nice' group presentation with two generators and one relator. Relating the marked vertices to Novikov-Sikorav homology we show that they determine the Bieri-Neumann-Strebel invariant of the group. Furthermore we show that in many cases the marked polytope is an invariant of the underlying group and that in those cases the marked polytope also determines the minimal complexity of all the associated HNN-splittings.
We consider groups defined by cyclic presentations where the defining word has length three and the cyclic presentation satisfies the T(6) small cancellation condition. We classify when these groups are hyperbolic. When combined with known results, this completely classifies the hyperbolic T(6) cyclically presented groups.
For cyclically presented groups $G = G_n(w)$ with positive length four relators $w = x_0x_jx_kx_l$ in the free group with basis $x_0, x_1, \ldots, x_{n-1}$, we classify finiteness and, modulo two unresolved cases, we classify asphericity for the underlying presentations. We show that the fixed point subgroup of the shift $x_i \mapsto x_{i+1}$ is always finite and we relate finiteness of $G$ and asphericity to the dynamics of the shift action by the cyclic group of order $n$ on the nonidentity elements of $G$.
For a connected graph L, let G(L) be a group with generators the vertex set of L, subject only to the relations that the ends of each edge commute. Now let H(L) be the kernel of the homomorphism from G(L) to the integers that takes each vertex to 1. M. Bestvina and N. Brady have shown that finiteness properties of H(L) are intimately related to the topology of the clique complex of L. We give a presentation for H(L), with generators the edges of L, and an infinite family of relators for each 1-cycle in L. In the case when the clique complex for L is simply-connected, we give a finite presentat…
We prove that ``almost generically'' for a one-relator group Delzant's $T$-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We also give a precise asymptotic estimate (when $k$ is fixed and $n$ goes to infinity) for the number $I_{k,n}$ of isomorphism classes of $k$-generator one-relator groups with a cyclically reduced defining…
Uniform negative immersions and the coherence of one-relator groups
本文证明具有负浸入的单关系群是凝聚的，通过线性规划理性定理将负浸入加强为一致负浸入，并得出共霍普夫性质等强约束，回答了鲍姆斯拉格的问题。
For every one-relator monoid $M = \langle A \mid u=v \rangle$ with $u, v \in A^*$ we construct a contractible $M$-CW complex and use it to build a projective resolution of the trivial module which is finitely generated in all dimensions. This proves that all one-relator monoids are of type ${\rm FP}_\infty$, answering positively a problem posed by Kobayashi in 2000. We also apply our results to classify the one-relator monoids of cohomological dimension at most $2$, and to describe the relation module, in the sense of Ivanov, of a torsion-free one-relator monoid presentation as an explicitly g…
We construct a sequence of balanced finite presentations of the trivial group with two generators and two relators with the following property: The minimal number of relations required to demonstrate that a generator represents the trivial element grows faster than the tower of exponentials of any fixed height of the length of the finite presentation.
Quasirational presentations ($QR$-presentations) of (pro-$p$)groups are studied. Such presentations include, in particular, aspherical presentations of discrete groups and their subpresentations and pro-$p$-groups with a single defining relation. Using schematization of $QR$-presentations we answer a variation of J.-P. Serre's question on one-relator pro-$p$-groups.
We show that for any positive integer $m\ge 1$, $m$-relator quotients of the modular group $M = PSL(2,\mathbb{Z})$ generically satisfy a very strong Mostow-type \emph{isomorphism rigidity}. We also prove that such quotients are generically "essentially incompressible". By this we mean that their "absolute $T$-invariant", measuring the smallest size of any possible finite presentation of the group, is bounded below by a function which is almost linear in terms of the length of the given presentation. We compute the precise asymptotics of the number $I_m(n)$ of \emph{isomorphism types} of $m$-re…
The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the initial nonsimple group is either finite or torsion-free. Key words: Kervaire--Laudenbach conjecture, relative presentations, simple groups, car motion, cocar comotion. AMS MSC: 20E32, 20F05, 20F06.
Guralnick, Kantor, Kassabov and Lubotzky (J. Eur. Math. Soc. 13.2, 2011, 391-458) [GKKL] give 3-generator 7-relator presentations of $A_n$ and $S_n$ with bit-length $O(\log n)$ for $n\geq5$. This is the best possible bit-length, since $Ω(\log n)$ bits are required to specify the integer $n$ in the input. However, the generators do not satisfy the relations. This paper considers the relevant arguments given in [GKKL], identifies where the errors occur, and shows how they can be fixed in order to recover this result. The presentations are available in Magma.
Local indicability of groups with homology circle presentations
本文给出具有圆同调呈示的群局部可指示的条件，并用于推广 LOT 群与非无圈 Adian 呈示的相关结论。
Two-sided homological properties of special and one-relator monoids
研究特殊和一关系单调群的双侧同调有限性性质，证明其与单位群的同调有限性关系，并展示一关系单调群的Hochschild上同度量与其单位群的上同度量的关系，以及一关系单调群的双侧同调有限性。
In the density model of random groups, we consider presentations with any fixed number m of generators and many random relators of length l, sending l to infinity. If d is a "density" parameter measuring the rate of exponential growth of the number of relators compared to the length of relators, then many group-theoretic properties become generically true or generically false at different values of d. The signature theorem for this density model is a phase transition from triviality to hyperbolicity: for d < 1/2, random groups are a.a.s. infinite hyperbolic, while for d > 1/2, random groups ar…
We find new presentations for the Thompson's groups $F$, the derived group $F^{'}$ and the intermediate group $D$. These presentations have a common ground in that their relators are the same and only the generating sets differ. As an application of these presentations we extract the following consequences: the cost of the group $F^{'}$ is 1 hence the cost cannot decide the (non)amenability question of $F$; the $II_1$ factor $L(F^{'})$ is inner asymptotically abelian and the reduced $C^*$-algebra of $F$ is not residually finite dimensional.
We give a complete survey of a construction by Boone and Collins for embedding any finitely presented group into one with $8$ generators and $26$ relations. We show that this embedding preserves the set of orders of torsion elements, and in particular torsion-freeness. We combine this with the independent results of Belegradek and Chiodo to prove that there is an $8$-generator $26$-relator universal finitely presented torsion-free group (one into which all finitely presented torsion-free groups embed).
The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced presentations of the trivial group on two generators and with the total length of relators <= 12. We show that all these presentations satisfy the Andrews-Curtis conjecture.
We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $π(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle\langle w\rangle\rangle$ generated by fewer than $π(w)$ elements is free. In particular, if $π(w)>2$ then $G$ doesn't contain any Baumslag--Solitar groups. The hypothesis that $π(w)>2$ implies that the presentation complex $X$ of the one-relator group $G$ has negative immersions:…
We provide an analogue of Strebel's classification of geodesic triangles in classical $C'(\frac16)$ groups for groups given by Wise's cubical presentations satisfying sufficiently strong metric cubical small cancellation conditions. Using our classification, we prove that, except in specific degenerate cases, such groups are acylindrically hyperbolic.
Period-rigidity of one-relator groups
本文刻画了具有一个约化关系子和至少3个生成元的有限生成群的周期刚性，证明其周期刚性当且仅当群为几乎循环群或无挠几乎Z^2群，并由此证明了Bitar猜想在凯莱图拟等距于平面图的群中成立。
On One Application of Asphericity of Presentations
本文利用组合无球性展示的命题，直接证明了 Kulikova 关于群 $F/[M,N]$ 挠率的引理 3(a)，并证明了满足 RC 条件时该群扩展是无挠的。
Small undecidable groups and unrecognizable 4-manifolds
本文构造了具有3生成元9关系词且字问题不可解的群，并由此得到两个固定大小的Adian-Rabin族，进而证明$\#_7(S^2\ imes S^2)$拓扑不可识别和$\#_9(S^2\ imes S^2)$光滑不可识别，改进了先前最佳界，并提供了Lean 4形式化验证。
A one-relator group is a group $G_r$ that admits a presentation $\langle S \mid r \rangle$ with a single relation $r$. One-relator groups form a rich classically studied class of groups in Geometric Group Theory. If $r \in F(S)'$, the commutator subgroup of $F(S)$, we introduce the simplicial volume of $\| G_r \|$. We relate this invariant to the stable commutator length $\textrm{scl}_S(r)$ of the element $r \in F(S)$. We show that often (though not always) the linear relationship $\| G_r \| = 4 \cdot \textrm{scl}_S(r) - 2$ holds and that every rational number modulo $1$ is the simplicial volu…
A piece of a labelled graph $Γ$ defined by D. Gruber is a labelled path that embeds into $Γ$ in two essentially different ways. We prove that graphical $Gr'(\frac{1}{6})$ small cancellation groups whose associated pieces have uniformly bounded length are relative hyperbolic. In fact, we show that the Cayley graph of such group presentation is asymptotically tree-graded with respect to the collection of all embedded components of the defining graph $Γ$, if and only if the pieces of $Γ$ are uniformly bounded. This implies the relative hyperbolicity by a result of C. Druţu, D. Osin and M. Sapir.
Fundamental groups and group presentations with bounded relator lengths
本文研究具有平凡第一贝蒂数的紧致测地空间在有限群等距作用下的直径比上界，并针对有限阿贝尔群的凯莱图，利用二维 CW 复形 $P_k(Γ(G,S))$ 给出拉普拉斯第一非平凡特征值、直径、切格常数和卡日丹常数的显式界。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。