-
On zero-divisors and units in group rings of torsion-free CAT$(0)$ groups
Authors:
Manisha Garg,
Igor Mineyev
Abstract:
This paper addresses two of Kaplansky's conjectures concerning group rings $K[G]$, where $K$ is a field and $G$ is a torsion-free group: the Zero-Divisor Conjecture, which asserts that $K[G]$ has no non-trivial zero-divisors, and the Unit Conjecture, which asserts that $K[G]$ has no non-trivial units. While the Zero-Divisor conjecture still remains open, the Unit Conjecture was disproven by Gardam…
▽ More
This paper addresses two of Kaplansky's conjectures concerning group rings $K[G]$, where $K$ is a field and $G$ is a torsion-free group: the Zero-Divisor Conjecture, which asserts that $K[G]$ has no non-trivial zero-divisors, and the Unit Conjecture, which asserts that $K[G]$ has no non-trivial units. While the Zero-Divisor conjecture still remains open, the Unit Conjecture was disproven by Gardam in 2021. The search for more counterexamples remains an open problem.
Let $m$ and $n$ be the length of support of two non-trivial elements $α, β\in \mathbb{F}_2[G]$, respectively. We address these conjectures by introducing a process called \text{left-alignment} and recursively constructing the combinatorial structures associated to $(m,n)$ which would yield counterexamples to both conjectures over the field $\mathbb{F}_2$ if they satisfy conditions $\mathsf{T}_1-\mathsf{T}_4$. Such combinatorial objects are called oriented product structures of type $(m,n)$. We also present a computer-search that can be utilized to search for counterexamples of a certain geometry by significantly pruning the search space. We prove that a class CAT(0) groups with certain geometry cannot be counterexamples to these conjectures. Moreover, we prove that for $ 1\le m \le 5$ and $n$ any positive integer, there are no counterexamples to the conjectures such that the associated oriented product structures are of type $(m,n)$. With the aid of computer, we prove that, in fact, there are no such counterexamples of the length combination $(m,n)$ where $1\le m,n \le 13.$
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
Orbit Computation for Atomically Generated Subgroups of Isometries of $\mathbb{Z}^n$
Authors:
Haizi Yu,
Igor Mineyev,
Lav R. Varshney
Abstract:
Isometries are ubiquitous in nature; isometries of discrete (quantized) objects---abstracted as the group of isometries of $\mathbb{Z}^n$ denoted by $\mathsf{ISO}(\mathbb{Z}^n)$---are important concepts in the computational world. In this paper, we compute various isometric invariances which mathematically are orbit-computation problems under various isometry-subgroup actions…
▽ More
Isometries are ubiquitous in nature; isometries of discrete (quantized) objects---abstracted as the group of isometries of $\mathbb{Z}^n$ denoted by $\mathsf{ISO}(\mathbb{Z}^n)$---are important concepts in the computational world. In this paper, we compute various isometric invariances which mathematically are orbit-computation problems under various isometry-subgroup actions $H \curvearrowright \mathbb{Z}^n, H \leq \mathsf{ISO}(\mathbb{Z}^n)$. One computational challenge here is about the \emph{infinite}: in general, we can have an infinite subgroup acting on $\mathbb{Z}^n$, resulting in possibly an infinite number of orbits of possibly infinite size. In practice, we restrict the set of orbits (a partition of $\mathbb{Z}^n$) to a finite subset $Z \subseteq \mathbb{Z}^n$ (a partition of $Z$), where $Z$ is specified a priori by an application domain or a data set. Our main contribution is an efficient algorithm to solve this \emph{restricted} orbit-computation problem in the special case of \emph{atomically generated subgroups}---a new notion partially motivated from interpretable AI. The atomic property is key to preserving the \emph{semidirect-product structure}---the core structure we leverage to make our algorithm outperform generic approaches. Besides algorithmic merit, our approach enables \emph{parallel-computing} implementations in many subroutines, which can further benefit from hardware boosts. Moreover, our algorithm works efficiently for \emph{any} finite subset ($Z$) regardless of the shape (continuous/discrete, (non)convex) or location; so it is application-independent.
△ Less
Submitted 11 March, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Flows and joins of metric spaces
Authors:
Igor Mineyev
Abstract:
We introduce the functor * which assigns to every metric space X its symmetric join *X. As a set, *X is a union of intervals connecting ordered pairs of points in X. Topologically, *X is a natural quotient of the usual join of X with itself. We define an Isom(X)-invariant metric d* on *X.
Classical concepts known for H^n and negatively curved manifolds are defined in a precise way for any hype…
▽ More
We introduce the functor * which assigns to every metric space X its symmetric join *X. As a set, *X is a union of intervals connecting ordered pairs of points in X. Topologically, *X is a natural quotient of the usual join of X with itself. We define an Isom(X)-invariant metric d* on *X.
Classical concepts known for H^n and negatively curved manifolds are defined in a precise way for any hyperbolic complex X, for example for a Cayley graph of a Gromov hyperbolic group. We define a double difference, a cross-ratio and horofunctions in the compactification X-bar= X union bdry X. They are continuous, Isom(X)-invariant, and satisfy sharp identities. We characterize the translation length of a hyperbolic isometry g in Isom(X).
For any hyperbolic complex X, the symmetric join *X-bar of X-bar and the (generalized) metric d* on it are defined. The geodesic flow space F(X) arises as a part of *X-bar. (F(X),d*) is an analogue of (the total space of) the unit tangent bundle on a simply connected negatively curved manifold. This flow space is defined for any hyperbolic complex X and has sharp properties. We also give a construction of the asymmetric join X*Y of two metric spaces.
These concepts are canonical, i.e. functorial in X, and involve no `quasi'-language. Applications and relation to the Borel conjecture and others are discussed.
△ Less
Submitted 14 March, 2005;
originally announced March 2005.
-
Non-microstates free entropy dimension for groups
Authors:
I. Mineyev,
D. Shlyakhtenko
Abstract:
We show that for any discrete finitely-generated group G and any self-adjoint n-tuple X_1,...,X_n of generators of the group algebra of G, Voiculescu's non-microstates free entropy dimension δ^*(X_1,...,X_n) is exactly equal to β_1 (G)-β_0 (G)+1, where β_i are the L^2 Betti numbers of G.
We show that for any discrete finitely-generated group G and any self-adjoint n-tuple X_1,...,X_n of generators of the group algebra of G, Voiculescu's non-microstates free entropy dimension δ^*(X_1,...,X_n) is exactly equal to β_1 (G)-β_0 (G)+1, where β_i are the L^2 Betti numbers of G.
△ Less
Submitted 1 February, 2005; v1 submitted 11 December, 2003;
originally announced December 2003.
-
Ideal bicombings for hyperbolic groups and applications
Authors:
I. Mineyev,
N. Monod,
Y. Shalom
Abstract:
For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that several Measure Equivalence and Orbit Equivalence rigidity results established by Monod-Shalom hold for all non-elementary hyperbolic groups an…
▽ More
For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that several Measure Equivalence and Orbit Equivalence rigidity results established by Monod-Shalom hold for all non-elementary hyperbolic groups and their non-elementary subgroups. We also derive superrigidity results for actions of general irreducible lattices on a large class of hyperbolic metric spaces.
△ Less
Submitted 15 May, 2003; v1 submitted 19 April, 2003;
originally announced April 2003.
-
The Baum-Connes conjecture for hyperbolic groups
Authors:
Igor Mineyev,
Guoliang Yu
Abstract:
We prove the Baum-Connes conjecture for hyperbolic groups and their subgroups.
We prove the Baum-Connes conjecture for hyperbolic groups and their subgroups.
△ Less
Submitted 10 May, 2001;
originally announced May 2001.
