arXiv research

New displacement technique vanishes bounded cohomology in all degrees.

The paper proves vanishing bounded cohomology for various groups.

We present a new operation to be performed on elements in a Garside group, called cyclic sliding, which is introduced to replace the well known cycling and decycling operations. Cyclic sliding appears to be a more natural choice, simplifying the algorithms concerning conjugacy in Garside groups and having nicer theoret…

Smooth actions of cyclic groups on 3-manifolds are conjugate to smooth ones.

We give an algorithm to compute stable commutator length in free products of cyclic groups which is polynomial time in the length of the input, the number of factors, and the orders of the finite factors. We also describe some experimental and theoretical applications of this algorithm.

In this paper we study smooth orientation-preserving free actions of the cyclic group $\mathbb Z/m$ on a class of $(n-1)$-connected $2n$-manifolds, $\sharp g (S^n \times S^n)\sharp Σ$, where $Σ$ is a homotopy $2n$-sphere. When $n=2$ we obtain a classification up to topological conjugation. When $n=3$ we obtain a classi…

Study finds smallest non-trivial quotients of braid groups and commutator subgroups.

Study on homeomorphism groups of telescoping 2-manifolds showing strong distortion.

Study mixed commutator lengths in wreath products and their relation to general ranks.

Bavard proved a duality theorem between commutator length and quasimorphisms. Burago, Ivanov and Polterovich introduced the notion of a conjugation-invariant norm which is a generalization of commutator length. Entov and Polterovich proved that Oh-Schwarz spectral invariants are subset-controlled quasimorphisms which a…

Let $Σ$ be a compact connected oriented 2-dimensional manifold with non-empty boundary. In our previous work, we have shown that the solution of generalized (higher genus) Kashiwara-Vergne equations for an automorphism $F \in {\rm Aut}(L)$ of a free Lie algebra implies an isomorphism between the Goldman-Turaev Lie bial…

New algebraic structures called cyclic Lie-Rinehart algebras are defined.

We classify algebraic curvature tensors such that the Ricci operator is simple (i.e. the Ricci operator is complex diagonalizable and either the complex spectrum consists of a single real eigenvalue or the complex spectrum consists of a pair of eigenvalues which are complex conjugates of each other) and which are Jacob…

New cyclicity measures defined in weighted Besov spaces, with stability and geometric analysis.

In this paper, we give a proof of the result of Brandenbursky and Kȩdra which says that the commutator subgroup of the infinite braid group admits stably unbounded norms. Moreover, we observe the norms which we constructed are equivalent to the biinvariant word norm studied by Brandenbursky and Kȩdra.

The paper introduces statistical and geometric structures on anti-commutable pre-Leibniz algebroids.

Let $\text{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g\geq 2$. In this paper, we derive necessary and sufficient conditions for two finite-order mapping classes to have commuting conjugates in $\text{Mod}(S_g)$. As an application of this result, we show that any finite-order…

We show that stable commutator length is rational on free products of free Abelian groups amalgamated over $\mathbb{Z}^k$, a class of groups containing the fundamental groups of all torus knot complements. We consider a geometric model for these groups and parameterize all surfaces with specified boundary mapping to th…

The Hodge series of a finite matrix group is the generating function for invariant exterior forms of specified order and degree. Lauret, Miatello, and Rossetti gave examples of pairs of non-conjugate cyclic groups having the same Hodge series; the corresponding space forms are isospectral for the Laplacian on p-forms f…

We outline the notions and concepts of the calculus of variational multivectors within the Poisson formalism over the spaces of infinite jets of mappings from commutative (non)graded smooth manifolds to the factors of noncommutative associative algebras over the equivalence under cyclic permutations of the letters in t…

It is shown that the original Andrews--Curtis conjecture on balanced presentations of the trivial group is equivalent to its "cyclic" version in which, in place of arbitrary conjugations, one can use only cyclic permutations. This, in particular, proves a satellite conjecture of Andrews and Curtis made in 1966. We also…

Study natural and conjugate mates of Frenet curves in Lie groups.

We define a quasihomomorphism from braid groups to the concordance group of knots and examine its properties and consequences of its existence. In particular, we provide a relation between the stable four ball genus in the concordance group and the stable commutator length in braid groups, and produce examples of infin…

This paper proposes an axiomatic for Cyclic Foam Topological Field theories. That is Topological Field theories, corresponding to String theories, where particles are arbitrary graphs. World surfaces in this case are two-manifolds with one-dimensional singularities. We proved that Cyclic Foam Topological Field theories…

We derive a lower bound on the size of finite non-cyclic quotients of the braid group that is superexponential in the number of strands. We also derive a similar lower bound for nontrivial finite quotients of the commutator subgroup of the braid group.

We show that the commutator subgroup G' of a classical knot group G need not have subgroups of every finite index, but it will if G' has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also give an example of a smoothly knotted n-sphere in the (n+2)-sphere for all n at le…

Let $G$ be a Garside group with Garside element $Δ$. An element $g$ in $G$ is said to be \emph{periodic} if some power of $g$ lies in the cyclic group generated by $Δ$. This paper shows the following. (i) The periodicity of an element does not depend on the choice of a particular Garside structure if and only if the ce…

We consider the discrete representations of 3-manifold groups into $PU(2,1)$ that appear in the Falbel-Koseleff-Rouillier census, such that the peripheral subgroups have cyclic unipotent holonomy. We show that two of these representations have conjugate images, even though they represent different 3-manifold groups. Th…

In this paper we study the uniform perfectness, boundedness and uniform simplicity of diffeomorphism groups of compact manifolds with boundary and open manifolds and obtain some upper bounds of their diameters with respect to commutator length, those with support in balls and conjugation-generated norm.

The paper extends ternary algebra concepts using cube roots of unity.

Let G be a group acting on a tree with cyclic edge and vertex stabilizers. Then stable commutator length (scl) is rational in G. Furthermore, scl varies predictably and converges to rational limits in so-called "surgery" families. This is a homological analog of the phenomenon of geometric convergence in hyperbolic Deh…

Let T be a tree with an action of a finitely generated group G. Given a suitable equivalence relation on the set of edge stabilizers of T (such as commensurability, co-elementarity in a relatively hyperbolic group, or commutation in a commutative transitive group), we define a tree of cylinders T_c. This tree only depe…

We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition," Ann. of Math. 146 (1997), 53-109. On th…

The purpose of this paper is the study of the roots in the mapping class groups. Let $Σ$ be a compact oriented surface, possibly with boundary, let $\PP$ be a finite set of punctures in the interior of $Σ$, and let $\MM (Σ, \PP)$ denote the mapping class group of $(Σ, \PP)$. We prove that, if $Σ$ is of genus 0, then ea…

Consider the cyclic group C_2 of order two acting by complex-conjugation on the unit circle S^1. The main result is that a finitely dominated manifold W of dimension > 4 admits a cocompact, free, discontinuous action by the infinite dihedral group D_\infty if and only if W is the infinite cyclic cover of a free C_2-man…

Let $T$ be a compact fibered $3$--manifold, presented as a mapping torus of a compact, orientable surface $S$ with monodromy $ψ$, and let $M$ be a compact Riemannian manifold. Our main result is that if the induced action $ψ^*$ on $H^1(S,\mathbb{R})$ has no eigenvalues on the unit circle, then there exists a neighborho…

In [Tohoku Math. J. 62 (2010), 45--53] the second author showed that, except for a few cases, the order $N$ of a cyclic group of self-homeomorphisms of a closed orientable topological surface $S_g$ of genus $g \geq 2$ determines the group up to a topological conjugation, provided that $N\geq 3g$. The first author et al…

Let $G$ be a Garside group with Garside element $Δ$, and let $Δ^m$ be the minimal positive central power of $Δ$. An element $g\in G$ is said to be 'periodic' if some power of it is a power of $Δ$. In this paper, we study periodic elements in Garside groups and their conjugacy classes. We show that the periodicity of an…

Classifies symmetries of knots using group actions and orthogonal representation theory.

For any knot, the following are equivalent. (1) The infinite cyclic cover has uncountably many finite covers; (2) there exists a finite-image representation of the knot group for which the twisted Alexander polynomial vanishes; (3) the knot group admits a finite-image representation such that the image of the fundament…

The paper characterizes crystallographic groups derived from virtual braid and twin groups.

Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free t…

We study discrete conjugate nets whose Laplace sequence is of period four. Corresponding points of opposite nets in this cyclic sequence have equal osculating planes in different net directions, that is, they correspond in an asymptotic transformation. We show that this implies that the connecting lines of correspondin…

A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... = x_{i_1} x_{i_k} ... x_{i_2}$ with no conjugations on the generators. We have alre…

We investigate intersections of geodesic lines in $H^2$ and in an associated tree T, proving the following result. Let M be a punctured hyperbolic torus and let $γ$ be a closed geodesic in M. Any edge of any triangle formed by distinct geodesic lines in the preimage of $γ$ in $H^2$ is shorter then $γ$. However, a simil…

We establish a correspondence between Young diagrams and differential operators of infinitely many variables. These operators form a commutative associative algebra isomorphic to the algebra of the conjugated classes of finite permutations of the set of natural numbers. The Schur functions form a complete system of com…

The paper examines boundedness of diffeomorphism groups of manifold pairs, focusing on the circle case.

We study the problem of determining the isomorphism classes of the virtually cyclic subgroups of the n-string braid groups B_n(S^2) of the 2-sphere S^2. If n is odd, or if n is even and sufficiently large, we obtain the complete classification. For small even values of n, the classification is complete up to an explici…