New group not biautomatic, geometrically constructed.
problem Constructing a non-biautomatic group.
method Using a CAT(0) hierarchically hyperbolic group and geodesic currents.
result First example of a non-biautomatic CAT(0) group of flat-rank 2.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,742 papers · 148 categories
Trend · papers per month
48 results for “biautomatic groups”
In this article we construct a piecewise Euclidean, non-positively curved 2-complex for the 3-generator Artin groups of large type. As a consequence we show that these groups are biautomatic. A slight modification of the proof shows that many other Artin groups are also biautomatic. The general question (whether all Ar…
The following discourse is inspired by the works on hyperbolic groups of Epstein, and Neumann/Reeves. Epstein showed that geometrically finite hyperbolic groups are biautomatic. Neumann/Reeves showed that virtually central extensions of word hyperbolic groups are biautomatic. We prove the following generalisation: Theo…
The mapping class group of a non-exceptional oriented surface of finite type admits a biautomatic structure.
We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an algorithm that, given an arbitrary finite presentation of an automatic group $Γ…
The theory of automatic groups is developed, including properties and practical algorithms.
problem Proving and understanding automatic groups and their properties.
method Historical introduction, definitions, basic properties, proofs for specific groups, software development, practical algorithms, and open problems.
result Automatic, biautomatic, and combable groups are defined and their properties are derived.
We show that the Dehn function of the handlebody group is exponential in any genus . On the other hand, we show that the handlebody group of genus is cubical, biautomatic, and therefore has a quadratic Dehn function.
Planar pure braids form a group that acts on a CAT(0) cubical complex.
problem Characterizing the structure of planar pure braids as a group.
method Demonstrated that the planar pure braid group is a diagram group.
result The planar pure braid group is a diagram group.
A graph is Helly if every family of pairwise intersecting combinatorial balls has a nonempty intersection. We show that weak Garside groups of finite type and FC-type Artin groups are Helly, that is, they act geometrically on Helly graphs. In particular, such groups act geometrically on spaces with convex geodesic bico…
For n>3 we study spaces obtained from finite volume complete real hyperbolic n-manifolds by removing a compact totally geodesic submanifold of codimension two. We prove that their fundamental groups are relative hyperbolic, co-Hopf, biautomatic, residually hyperbolic, not Kähler, not isomorphic to lattices in virtually…
We study spaces obtained from a complete finite volume complex hyperbolic n-manifold M by removing a compact totally geodesic complex (n-1)-submanifold. The main result is that the fundamental group of M-S is relatively hyperbolic, relative to fundamental groups of the ends of M-S, and M-S admits a complete finite volu…
We explore the geometry of nonpositively curved spaces with isolated flats, and its consequences for groups that act properly discontinuously, cocompactly, and isometrically on such spaces. We prove that the geometric boundary of the space is an invariant of the group up to equivariant homeomorphism. We also prove that…
The Garside group, as a generalization of braid groups and Artin groups of finite types, is defined as the group of fractions of a Garside monoid. We show that the semidirect product of Garside monoids is a Garside monoid. We use the semidirect product of the infinite cyclic group and…
The article explores metrics on buildings and symmetric spaces, proving injectivity and proper actions.
problem Injectivity of metrics on buildings and symmetric spaces.
method Analyzing norms, Helly property, and group actions.
result Most classical buildings and symmetric spaces can be endowed with injective metrics.
New link groups are derived from torus necklaces, connecting braid groups to reflection groups.
problem Understanding the relationship between braid groups and reflection groups.
method Constructing torus necklaces and linking them to braid groups of -reflection groups.
result Link groups of torus necklaces are precisely braid groups of -reflection groups, with meridians as braid reflections.
The study proves super-rigidity of Gromov's random monster group for various types of groups.
problem Super-rigidity of Gromov's random monster group in various group types.
method Proof of morphisms having finite image and introduction of hereditary super-rigidity.
result Gromov's random monster group has super-rigidity and hereditary super-rigidity with respect to certain groups.
We study the structure of the virtual braid group. It is shown that the virtual braid group is a semi--direct product of the virtual pure braid group and the symmetric group. Also, it is shown that the virtual pure braid group is a semi--direct product of free groups. From these results we obtain a normal form of words…
Virtual twin groups map to symmetric groups, revealing automorphism structure.
problem Understanding homomorphisms between virtual twin groups and symmetric groups.
method Using irreducible right-angled Coxeter groups and right-angled Artin groups.
result A complete description of homomorphisms between virtual twin groups and symmetric groups, including the structure of the automorphism group of .
Characterizes group connections on group bundles.
problem Understanding connections on group bundles.
method Characterizes connections as affine spaces and uses the Ambrose-Singer theorem.
result Group connections form an affine space over cocycles.
Totally Symmetric Setsmath.GR
Study on totally symmetric sets with group applications.
problem Understanding totally symmetric sets and their group applications.
method Survey of existing theory and applications to various groups.
result Exploration of totally symmetric sets in multiple group contexts.
Affine cactus groups are CAT(0) and hyperbolic.
problem Characterizing geometric properties of affine cactus groups.
method Analyzing CAT(0) and hyperbolic properties through group theory.
result Affine cactus groups of degree three are hyperbolic.
The study restricts groups in graph of groups structures.
problem Realizing groups as fundamental groups of graph of groups with restricted vertex groups.
method Analyzes restrictions on groups that can be realized and applies to manifold construction.
result Places constraints on groups that can be realized in graph of groups structures.
New Garside structures found for torus knot groups and related braid groups.
problem Finding Garside structures for torus knot groups and related braid groups.
method Introducing a new Garside monoid for -torus knot groups and other braid groups.
result New Garside structures for -torus knot groups and related braid groups are constructed.
Logarithmic separation profile in hyperbolic groups shows hierarchical structure.
problem Understanding hierarchical structure in hyperbolic groups with logarithmic separation.
method Proving groups with logarithmic separation split over cyclic groups and providing counterexamples.
result Not all groups with hierarchical structure have logarithmic separation profile.
New Garside structures derived from groups, leading to new group properties.
problem Creating Garside structures from groups and Artin groups.
method Method for turning direct product of a group G by Z into a Garside group.
result Proved new cases of K(π,1)-conjecture for some hyperbolic type Artin groups.
We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pur…
The group of 2-by-2 matrices with integer entries and determinant can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional torus. Thus this group is the beginning of three natural sequences of groups, name…
The study restricts normal subgroups of Kähler groups, proving specific cases and general restrictions.
problem Characterizing normal subgroups of Kähler groups.
method Analyzing embeddings and conjugation actions of surface groups and one-ended hyperbolic groups.
result Restrictions on normal subgroups of Kähler groups, including virtual direct products and surface group properties.
Toric reflection groupsmath.GR
New reflection groups derived from torus knots with finite meridians.
problem Understanding reflection groups derived from torus knot groups with finite meridians.
method Using the theory of J-groups and Coxeter groups, study quotients of torus knot groups.
result Classification of toric reflection groups and their properties.
Graphically discrete groups have strong rigidity properties.
problem Understanding the rigidity of group actions on graphs.
method Introducing graphical discreteness and proving rigidity properties.
result Free products of graphically discrete groups are action rigid.
Paper proves vanishing homology groups for certain hyperbolic groups.
problem Understanding homology groups of specific hyperbolic groups.
method Using twisted Wirtinger presentations to prove homology group vanishing.
result Second homology groups vanish for certain Gromov hyperbolic groups.
Study fundamental groups of geometric transformation groups using loop spaces.
problem Understanding fundamental groups of geometric transformation groups.
method Use differential forms on loop spaces to prove infinite fundamental groups.
result Proves infinite fundamental groups for specific geometric transformation groups.
Simple construction of Lie 2-groups from loop group extensions.
problem Constructing Lie 2-groups from loop group extensions.
method Using conjugation action of loop group on its central extension.
result Simple construction of string 2-group as a strict Fréchet Lie 2-group.
Study knot invariants using automorphism groups of free nilpotent groups.
problem Developing knot invariants using automorphism groups.
method Nilpotently -localization of knot groups and automorphism groups of free nilpotent groups.
result Maps from outer automorphism groups yield knot invariants.
We discuss dense embeddings of surface groups and fully residually free groups in topological groups. We show that a compact topological group contains a nonabelian dense free group of finite rank if and only if it contains a dense surface group. Also, we obtain a characterization of those Lie groups which admit a dens…
We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry group that is virtually a product of a solvable real Lie group and a solvable p-adic…
The study shows that certain groups can be uniquely identified by their finite abelian summands.
problem Identifying groups based on their finite abelian summands.
method Analyzing hyperbolic groups as graphs of free groups with cyclic edge groups.
result Free products of free and surface groups are profinitely rigid.
Discrete Coxeter groupsmath.GT
Survey on Coxeter groups for Lie group examples.
problem Understanding Coxeter groups and their applications.
method Constructing discrete subgroups of Lie groups using Coxeter groups.
result Coxeter groups provide new examples in discrete subgroups of Lie groups.
In this paper, we briefly review some of the known results concerning the cohomological structures of the mapping class group of surfaces, the outer automorphism group of free groups, the diffeomorphism group of surfaces as well as various subgroups of them such as the Torelli group, the IA outer automorphism group of …
The paper studies actions on Bass-Serre trees and identifies new -simple groups.
problem Investigating actions of fundamental groups on Bass-Serre trees and their -algebraic properties.
method Analyzing boundary actions of fundamental groups of graphs of groups on their Bass-Serre trees.
result Identification of new families of -simple groups, including tubular groups and certain graphs of groups.
In this article we define the twisted product of groups as the generalization of the semidirect product of groups. We will find the necessary and sufficient condition in order that the twisted product of groups to be a group. In particular, for two copies of the same group, the twisted product of group by itself throug…
We find finite presentations for the automorphism group of the Artin pure braid group and the automorphism group of the pure braid group associated to the full monomial group.
Study the relationship between orbit braid group and equivariant mapping class group on surfaces.
problem Understanding the relationship between mapping class groups and braid groups with group actions.
method Using the fibration and exact sequence.
result The conclusion is closely connected with the braid group of the quotient space.
The paper characterizes crystallographic groups derived from virtual braid and twin groups.
problem Characterizing crystallographic groups from virtual braid and twin groups.
method Analyzing quotients of virtual braid and twin groups by their commutator subgroups.
result The quotients of virtual braid and twin groups by their commutator subgroups are crystallographic groups.
Origamis with specific groups have Veech groups that surject onto SL(2, Z/nZ).
problem Characterizing Veech groups of origamis as totally non-congruence groups.
method Using results on SL(2, Z/nZ) and properties of origamis' deck transformation groups.
result Origamis with certain triangle group quotients have Veech groups that surject onto SL(2, Z/nZ).
New groups are hyperbolic and rigid in mapping class groups.
problem Understanding the structure of Veech groups in mapping class groups.
method Showed that Veech groups are hierarchically hyperbolic and quasi-isometrically rigid.
result Veech groups are hierarchically hyperbolic and quasi-isometrically rigid.
Outer automorphism groups of hyperbolic groups, bounded extensions, and hierarchical hyperbolicitymath.GR
Outer automorphism group of hyperbolic groups is HHG under certain conditions.
problem Characterizing the outer automorphism group of hyperbolic groups.
method Proving finite-index subgroups are central extensions of orbifold mapping class groups with bounded Euler class.
result Outer automorphism group of a one-ended hyperbolic group is virtually a hierarchically hyperbolic group.
Outer automorphism groups of Coxeter groups are trivial except for small ranks.
problem Triviality of outer automorphism groups of Coxeter groups.
method Using Guirardel-Levitt outer space for free products, proving triviality and cyclic order for specific ranks.
result Outer automorphism groups are trivial except for small ranks.