arXiv research

Extends coherence results to one-relator products of locally indicable groups.

Generalizes Collins' theorem to products of locally indicable groups.

Proves one-relator groups with negative immersions are hyperbolic and virtually special.

Uniform negative immersions prove coherence of one-relator groups.

We determine the L^2-Betti numbers of all one-relator groups and all surface-plus-one-relation groups (surface-plus-one-relation groups were introduced by Hempel who called them one-relator surface groups). In particular we show that for all such groups G, the L^2-Betti numbers b_n^{(2)}(G) are 0 for all n>1. We also o…

Study builds non-bi-orderable groups without generalized torsion.

We generalize basic results relating the associated graded Lie algebra and the holonomy Lie algebra from finitely presented, commutator-relators groups to arbitrary finitely presented groups. In the process, we give an explicit formula for the cup-product in the cohomology of a finite 2-complex, and an algorithm for co…

Proves one-relator groups are fundamental groups of Sasakian manifolds.

In this paper we give an example of a linear group such that its tensor square is not linear. Also, we formulate some sufficient conditions for the linearity of non-abelian tensor products $G \otimes H$ and tensor squares $G \otimes G$. Using these results we prove that tensor squares of some groups with one relation a…

Three versions of the Freiheitssatz are proved in the context of one-relator quotients of limit groups, where the latter are equipped with 1-acylindrical splittings over cyclic subgroups. These are natural extensions of previously published corresponding statements for one-relator quotients of orientable surface groups…

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…

Recently Dicks-Linnell determined the $L^2$-Betti numbers of the orientable surface-plus-one-relation groups, and their arguments involved some results that were obtained topologically by Hempel and Howie. Using algebraic arguments, we now extend all these results of Hempel and Howie to a larger class of two-relator gr…

We obtain a number of results regarding freeness, quasiconvexity and separability for subgroups of Coxeter groups, Artin groups and one-relator groups with torsion.

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 …

We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case.

How different is the universal cover of a given finite 2-complex from a 3-manifold (from the proper homotopy viewpoint)? Regarding this question, we recall that a finitely presented group $G$ is said to be properly 3-realizable if there exists a compact 2-polyhedron $K$ with $π_1(K) \cong G$ whose universal cover $\til…

We study the universal character ring of some families of one-relator groups. As an application, we calculate the universal character ring of two-generator one-relator groups whose relators are palindrome, and, in particular, of the (-2,2m+1,2n+1)-pretzel knot for all integers m and n. For the (-2,3,2n+1)-pretzel knot,…

The study shows that surface groups are the only non-free infinite index subgroups of certain hyperbolic groups.

We prove that a one-relator group $G$ is Kähler if and only if either $G$ is finite cyclic or $G$ is isomorphic to the fundamental group of a compact orbifold Riemann surface of genus $g > 0$ with at most one cone point of order $n$: $< a_1\, b_1\, \,...\, a_g\, b_g\, \mid\, (\prod_{i=1}^g [a_i\, b_i])^n>\, .$

We prove that Whitehead's algorithm for solving the automorphism problem in a fixed free group $F_k$ has strongly linear time generic-case complexity. This is done by showing that the ``hard'' part of the algorithm terminates in linear time on an exponentially generic set of input pairs. We then apply these results to …

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 …

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 inva…

This paper proves that one-relator groups have a weak Z-structure.

We will say that a group G possesses the Magnus property if for any two elements u,v in G with the same normal closure, u is conjugate to v or v^{-1}. We prove that some one-relator groups, including the fundamental groups of closed nonorientable surfaces of genus g>3 possess this property. The analogous result for ori…

In a previous paper on coupled gravitational and electromagnetic perturbations of Reissner-Nordström spacetime in a polarized setting, we derived a system of wave equations for two independent quantities, one related to the Weyl curvature and one related to the Ricci curvature of the perturbed spacetime. We analyze her…

We prove the Livšic Theorem for arbitrary $GL(m,\mathbb R)$ cocycles. We consider a hyperbolic dynamical system $f : X \to X$ and a Hölder continuous function $A: X \to GL(m,\mathbb R)$. We show that if $A$ has trivial periodic data, i.e. $A(f^{n-1} p) ... A(fp) A(p) = Id$ for each periodic point $p=f^n p$, then there …

The main result of this article is that among the family of one-relator presentation 2-complexes that might be expected to be finitely unsplittable (not the union of two proper subpolyhedra with finite first homology groups) almost all have this property. Included among these one-relator presentation 2-complexes are al…

Graph Neural Networks improve machine learning on relational databases.

We give a survey on the Weierstrass representations of surfaces in three- and four-dimensional spaces, their applications to the theory of the Willmore functional and on related problems of spectral theory of the two-dimensional Dirac operator with periodic coefficients.

Survey on CR Paneitz operator and manifold embeddability.

This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to students familiar with just the fundamentals of algebraic topology.

Paper withdrawn because of a gap in the proof of Proposition 3 of Thomas Schick: "Integrality of L2-Betti numbers", Math. Ann. 317, 727-750 (arXiv.org/abs/math.gt/0001101). Most results of the withdrawn paper were based on this proposition.

Boolean tensor decomposition approximates data of multi-way binary relationships as product of interpretable low-rank binary factors, following the rules of Boolean algebra. Here, we present its first probabilistic treatment. We facilitate scalable sampling-based posterior inference by exploitation of the combinatorial…

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.

We give explicit formulae for the volumes of hyperbolic cone-manifolds of double twist knots, a class of two-bridge knots which includes twist knots and two-bridge knots with Conway notation $C(2n,3)$. We also study the Riley polynomial of a class of one-relator groups which includes two-bridge knot groups.

The study of Morse functions on 3-manifolds and their Reeb graphs.

Study groups with polynomial growth, finding structure and applications.

Using recently introduced Debord-Skandalis Blup's groupoids we study index theory for a compact foliated manifold with boundary inducing a foliation in its boundary. For this we consider first a blup groupoid whose Lie algebroid has sections consisting of vector fields tangent to the leaves in the interior and tangent …

Proposes MELODIC family for simultaneous binary logistic regression.

This paper proposes an attention module augmented relational network called SARN(Sequential Attention Relational Network) that can carry out relational reasoning by extracting reference objects and making efficient pairing between objects. SARN greatly reduces the computational and memory requirements of the relational…

Bayesian meta-learning on relation graphs improves few-shot relation extraction.

The Thurston norm of a 3-manifold measures the complexity of surfaces representing two-dimensional homology classes. We study the possible unit balls of Thurston norms of 3-manifolds $M$ with $b_1(M) = 2$, and whose fundamental groups admit presentations with two generators and one relator. We show that even among this…

We study relations of the Weierstrass's hyperelliptic al-functions over a non-degenerated hyperelliptic curve $y^2 = f(x)$ of arbitrary genus $g$ as solutions of sine-Gordon equation using Weierstrass's local parameters, which are characterized by two ramified points. Though the hyperelliptic solutions of the sine-Gord…

We calculate the universal character ring of a class of two-generator, one-relator groups. As an application we give a less technical proof of a result in [LT] on the universal character ring of the (-2,3,2n+1)-pretzel knot. We also give an elementary proof of a result in [Ma] on the character variety of the (-2,3,2n+1…

We apply the method of Arzhantseva-Ol'shanskii to prove that for an exponentially generic (in the sense of Ol'shanskii) class of one-relator groups the isomorphism problem is solvable in at most exponential time. This is obtained as a corollary of our more general result that for any fixed integers $m>1, n>0$ there is …

Study geometric inequalities and boundary estimates for Einstein-type manifolds with boundary.

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 consid…

The goal of this paper is to obtain restrictions on the prime to p quotient of the étale fundamental group of a smooth projective variety in characteristic $p\ge 0$. The results are analogues some theorems in the study of Kähler groups. Our first main result is that such groups are indecomposable under coproduct. The s…