arXiv research

Proves cosets of certain subgroups in hyperbolic 3-manifold groups are conjugacy distinguished.

In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure efficiency in terms of the size of the quotients required to distinguish a distinc…

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first ty…

Study shows conjugacy of torsion in genus 2 surfaces.

In order to obtain a Markov theorem without stabilization, Birman and Menasco introduced the notion of exchange related braids. In this paper I study the way the Fiedler polynomial distinguishes conjugacy classes of some particular braided knots. I introduce the Kauffman bracket in the solid torus. Its Taylor expansion…

In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by …

Study approximates delocalized eta invariants of covering spaces.

We consider Drinfeld-Sokolov bihamiltonian structure associated to a distinguished nilpotent elements of semisimple type and the space of common equilibrium points defined by its leading term. On this space, we construct a local bihamiltonian structure which form an exact Poisson pencil, defines an algebraic classical …

This paper classifies links in 3D dynamical systems.

For any manifold M, the direct sum TM \oplus T*M carries a natural inner product given by the pairing of vectors and covectors. Differential forms on M may be viewed as spinors for the corresponding Clifford bundle, and in particular there is a notion of \emph{pure spinor}. In this paper, we study pure spinors and Dira…

We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy problem in groups on orientable geometrizable 3-manifolds, all $π_1$ of (geometrizable) 3-manifolds have a solvable conjugacy problem. In corollar…

Study weak conjugacy in surface homeomorphisms.

Study of conjugacy classes in infinite-type surfaces' mapping class groups.

Classifies manifolds with dense conjugacy classes in their mapping class groups.

We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a…

Study conjugacy classes of parabolic diffeomorphisms fixing the origin.

We show that every non-decreasing function $f\colon \mathbb N\to \mathbb N$ bounded from above by $a^n$ for some $a\ge 1$ can be realized (up to a natural equivalence) as the conjugacy growth function of a finitely generated group. We also construct a finitely generated group $G$ and a subgroup $H\le G$ of index 2 such…

Criterion for stopping conjugacy class enumeration in triangle groups.

This paper explores links from Thompson's group conjugacy classes.

Flat coordinates found for algebraic Frobenius manifolds in low dimensions.

Using tools from Dirac geometry and through an explicit construction, we show that every Poisson homogeneous space of any Poisson Lie group admits an integration to a symplectic groupoid. Our theorem follows from a more general result which relates, for a principal bundle $M\to M/H$, integrations of a Dirac structure o…

We construct a braid conjugacy class invariant $κ$ by refining Plamenevskaya's transverse element $ψ$ in Khovanov homology via the annular grading. While $κ$ is not an invariant of transverse links, it distinguishes some braids whose closures share the same classical invariants but are not transversely isotopic. Using …

We show that there exist infinitely many pairs of non-homeomorphic closed oriented SOL torus bundles with the same quantum (TQFT) invariants. This follows from the arithmetic behind the conjugacy problem in $SL(2,\Z)$ and its congruence quotients, the classification of SOL (polycyclic) 3-manifold groups and an elementa…

The cycling operation endows the super summit set $S_x$ of any element $x$ of a Garside group $G$ with the structure of a directed graph $Γ_x$. We establish that the subset $U_x$ of $S_x$ consisting of the circuits of $Γ_x$ can be used instead of $S_x$ for deciding conjugacy to $x$ in $G$, yielding a faster and more pr…

Given a group automorphism $φ:Γ\to Γ$, one has an action of $Γ$ on itself by $φ$-twisted conjugacy, namely, $g.x=gxφ(g^{-1})$. The orbits of this action are called $φ$-conjugacy classes. One says that $Γ$ has the $R_\infty$-property if there are infinitely many $φ$-conjugacy classes for every automorphism $φ$ of $Γ$. I…

We show that there is a family of pseudo-Anosov braids independently parameterized by the braid index and the (canonical) length whose smallest conjugacy invariant sets grow exponentially in the braid index and linearly in the length and conclude that the conjugacy problem remains exponential in the braid index under t…

There are recent cryptographic protocols that are based on Multiple Simultaneous Conjugacy Problems in braid groups. We improve an algorithm, due to Sang Jin Lee and Eonkyung Lee, to solve these problems, by applying a method developed by the author and Nuno Franco, originally intended to solve the Conjugacy Search Pro…

We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there …

New growth rate for pseudo-Anosov conjugacy classes in Teichmüller space.

The paper classifies dense conjugacy classes in mapping class groups of locally finite graphs.

We give a quadratic lower bound on the dimension of the space of conjugacy classes of subgroups of SL(n,R) that are limits under conjugacy of the diagonal subgroup. We give the first explicit examples of abelian n-1 dimensional subgroups of SL(n,R) which are not such a limit, however all such abelian groups are limits …

There exist combable groups in which the conjugacy problem is unsolvable. The isomorphism problem is unsolvable for certain recursive sequences of finite presentations of combable groups.

Counting subgroups of a surface using convex core lengths.

We study perturbations of a partially hyperbolic toral automorphism L which is diagonalizable over C and has a dense center foliation. For a small perturbation of L with a smooth center foliation we establish existence of a smooth leaf conjugacy to L. We also show that if a small perturbation of an ergodic irreducible …

The paper finds formulas for word lengths and conjugacy classes in surface groups.

Solvability of the conjugacy problem for relatively hyperbolic groups was announced by Gromov [Hyperbolic groups, MSRI publications 8 (1987)]. Using the definition of Farb of a relatively hyperbolic group in the strong sense [B Farb, Relatively hyperbolic groups, Geom. Func. Anal. 8 (1998) 810-840], we prove this asser…

In this paper, we derive an asymptotic formula for the number of conjugacy classes of elements in a class of statistically convex-cocompact actions with contracting elements. Denote by $\mathcal C(o, n)$ (resp. $\mathcal C'(o, n)$) the set of (resp. primitive) conjugacy classes of pointed length at most $n$ for a basep…

The paper solves the conjugacy problem in a specific braid group quotient and finds infinite virtually cyclic subgroups.

Positive permutation braids on n strings, which are defined to be positive n-braids where each pair of strings crosses at most once, form the elementary but non-trivial building blocks in many studies of conjugacy in the braid groups. We consider conjugacy among these elementary braids which close to knots, and show th…

Classifies involutions on spherical 3-manifolds.

The paper counts conjugacy classes of pseudo-Anosov homeomorphisms in Teichmüller space.

We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.

Margalit and Schleimer constructed nontrivial roots of the Dehn twist about a nonseparating curve. We prove that the conjugacy classes of roots of the Dehn twist about a nonseparating curve correspond to the conjugacy classes of periodic maps with certain conditions. Futhermore, we give data set which determine the con…

In the quatenions ($\H$, $\H'$, $\H^{C}$) and octonions ($\gC$, $\gC^\prime$, $\gC^C$), we show some results on the conjugacy of two pure imaginary non-zero elements with same norm.

Deriving conditional and marginal distributions using conjugacy relationships can be time consuming and error prone. In this paper, we propose a strategy for automating such derivations. Unlike previous systems which focus on relationships between pairs of random variables, our system (which we call Autoconj) operates …

Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (res…

We investigate two "categorified" braid conjugacy class invariants, one coming from Khovanov homology and the other from Heegaard Floer homology. We prove that each yields a solution to the word problem but not the conjugacy problem in the braid group.