Related papers: On the distance between non-isomorphic groups

Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A…

We study the subgroup structure of discrete groups which share cohomological properties which resemble non-negative curvature. Examples include all Gromov hyperbolic groups. We provide strong restrictions on the possible s-normal subgroups…

We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the…

We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their…

We define a metric ultraproduct of topological groups with left-invariant metric, and show that there is a countable sequence of finite groups with left-invariant metric whose metric ultraproduct contains isometrically as a subgroup every…

A central challenge in property testing is verifying algebraic structure with minimal access to data. A landmark result addressing this challenge, the linearity test of Blum, Luby, and Rubinfeld (JCSS `93), spurred a rich body of work on…

We show that the fundamental groups of any two closed irreducible non-geometric graph-manifolds are quasi-isometric. This answers a question of Kapovich and Leeb. We also classify the quasi-isometry types of fundamental groups of…

We present a variation of quasi-isometry to approach the problem of defining a geometric notion equivalent to commensurability. In short, this variation can be summarized as "quasi-isometry with uniform parameters for a large enough family…

In this note, we prove a rigidity result for proper holomorphic maps between unit balls that have many symmetries and which extend to $\mathcal{C}^2$-smooth maps on the boundary.

We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups…

Let $M^n\ (n\geq3)$ be a complete Riemannian manifold with $\sec_M\geq 1$, and let $M_i^{n_i}$ ($i=1,2$) be two comlplete totally geodesic submanifolds in $M$. We prove that if $n_1+n_2=n-2$ and if the distance $|M_1M_2|\geq\frac{\pi}{2}$,…

We show that arithmetic subgroups of semisimple groups of relative Q-type A_n, B_n, C_n, D_n, E_6, or E_7 have an exponential lower bound to their isoperimetric inequality in the dimension that is 1 less than the real rank of the semisimple…

We establish isomorphism ranges for the comparison maps between algebraic and topological K-groups, extending classical Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after refinement. Additionally, we…

We show that, under certain natural assumptions, large random plane bipartite maps with a boundary converge after rescaling to a one-parameter family ($\mathrm{BD}_L$, $0 < L < \infty$) of random metric spaces homeomorphic to the closed…

Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^\Delta)$ so that $\pi_0\hom(A,B^\Delta)$ equals the set of polynomial homotopy classes of morphisms from…

Let $\Gamma$ be a discrete countable group acting isometrically on a measurable field $\mathbf{X}$ of CAT(0)-spaces of finite telescopic dimension over some ergodic standard Borel probability $\Gamma$-space $(\Omega,\mu)$. If $\mathbf{X}$…

We give new upper bounds on the stable commutator lengths of Dehn twists in mapping class groups and new lower bounds on the stable commutator lengths of Dehn twists in hyperelliptic mapping class groups. In particular, we show that the…

This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…

We prove some noncommutative analogues of a theorem by Plotkin and Rudin about isometries between subspaces of Lp-spaces. Let 0<p<\infty, p not an even integer. The main result of this paper states that in the category of unital subspaces…

We address a conjecture that $\pi_1$-surjective maps between closed aspherical 3-manifolds having the same rank on $\pi_1$ must be of non-zero degree. The conjecture is proved for Seifert manifolds, which is used in constructing the first…