arXiv research

Finite subgraphs in flip graphs ensure unique surface embeddings.

Study big mapping class groups and their co-Hopfian property, finding new examples and proving injective homomorphisms results.

The paper extends Johnson's result on Torelli group homology.

We examine functorial and homotopy properties of the exotic characteristic homomorphism in the category of Lie algebroids which was lastly obtained by the authors in [4]. This homomorphism depends on a triple (A,B,$\nabla$) where B $\subset$ A are regular Lie algebroids, both over the same regular foliated manifold (M,…

We ask if any finite type generalized braid group is a subgroup of some classical Artin braid group. We define a natural map from a given finite type generalized braid group to a classical braid group and ask if this map is an injective homomorphism. We prove that this map is a homomorphism for the braid groups of type…

Kawauchi defined a group structure on the set of homology $S^1$\times$S^2$'s under an equivalence relation called $\widetilde{H}$-cobordism. This group receives a homomorphism from the knot concordance group, given by the operation of zero-surgery. It is natural to ask whether the zero-surgery homomorphism is injecti…

Let $N$ be a compact, connected, non-orientable surface of genus $ρ$ with $n$ boundary components, with $ρ\ge 5$ and $n \ge 0$, and let $\mathcal{M} (N)$ be the mapping class group of $N$. We show that, if $\mathcal{G}$ is a finite index subgroup of $\mathcal{M} (N)$ and $\varphi: \mathcal{G} \to \mathcal{M} (N)$ is an…

In this paper we prove that the zeroth Milnor-Thurston homology group coincides with singular homology for Peano Continua. More- over, we show that the canonical homomorphism between these ho- mology theories may not be injective. However, it is proved that it is injective when a space has Borel path-components.

Study fundamental quandle of ribbon concordances, proving homomorphisms.

There is a well known injective homomorphism $φ:{\mathcal {B}}_n \rightarrow {\rm Aut}(F_n)$ from the classical braid group ${\mathcal {B}}_n$ into the automorphism group of the free group $F_n$, first described by Artin. This homomorphism induces an action of ${\mathcal {B}}_n$ on $F_n$ that can be recovered by consid…

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $π$ be a group and let $M \to N$ be a homomorphism between projective $\Z[π]$-modules such that $\Z_p \otimes_{\Z[π]} M\to \Z_p \otimes_{\Z[π]} N$ is injective; for which other right $\Z[π]…

We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson …

Let $M$ be the circle or a compact interval, and let $α=k+τ\ge1$ be a real number such that $k=\lfloor α\rfloor$. We write $\mathrm{Diff}_+^α(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives are Hölder continuous with exponent $τ$. If $α\ge1$, we prove that there exists a finitely generated …

Let $S$ be a closed, connected, orientable surface of genus at least 3, $\mathcal{C}(S)$ be the complex of curves on $S$ and $Mod_S^*$ be the extended mapping class group of $S$. We prove that a simplicial map, $λ: \mathcal{C}(S) \to \mathcal{C}(S)$, preserves nondisjointness (i.e. if $α$ and $β$ are two vertices in $\…

The paper studies orbifold braid groups and their properties.

Study of lifting maps in branched covers of 3-manifolds, showing non-injectivity.

Let R be a compact, connected, orientable surface of genus g with p boundary components. Let C(R) be the complex of curves on R and Mod_R^* be the extended mapping class group of R. Suppose that either g = 2 and p > 1 or g > 2 and p >= 0. We prove that a simplicial map lambda from C(R) to C(R) is superinjective if and …

The {\em rank $n$ swapping algebra} is a Poisson algebra defined on the set of ordered pairs of points of the circle using linking numbers, whose geometric model is given by a certain subspace of $(\mathbb{K}^n \times \mathbb{K}^{n*})^r/\operatorname{GL}(n,\mathbb{K})$. For any ideal triangulation of $D_k$---a disk wit…

The question of whether a representation of Artin's pure braid group is faithful is translated to certain properties of the Lie algebra arising from the descending central series of the pure braid group, and thus the Vassiliev invariants of pure braids via work of T. Kohno \cite{kohno1,kohno2}. The main result is a Lie…

We study those Artin groups which, modulo their centers, are finite index subgroups of the mapping class group of a sphere with at least 5 punctures. In particular, we show that any injective homomorphism between these groups is parameterized by a homeomorphism of a punctured sphere together with a map to the integers.…

Any endomorphism of a finitely generated free group naturally descends to an injective endomorphism of its stable quotient. In this paper, we prove a geometric incarnation of this phenomenon: namely, that every expanding irreducible train track map inducing an endomorphism of the fundamental group gives rise to an expa…

Let g and n be integers at least two, and let G be the pure braid group with n strands on a closed orientable surface of genus g. We describe any injective homomorphism from a finite index subgroup of G into G. As a consequence, we show that any finite index subgroup of G is co-Hopfian.

Non-injectivity proven for trace map on character varieties.

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almo…

Each pointed topological space has an associated $π$-module, obtained from action of its first homotopy group on its second homotopy group. For the $3$-ball with a trivial link with $n$-components removed from its interior, its $π$-module $\mathcal{M}_n$ is of free type. In this paper we give an injection of the (exten…

Based on hyperbolic geometric considerations, Roger and Yang introduced an extension of the Kauffman bracket skein algebra that includes arcs. In particular, their skein algebra is a deformation quantization of a certain commutative curve algebra, and there is a Poisson algebra homomorphism between the curve algebra an…

We show that the Radon transform related to closed geodesics is injective on a Lie group if and only if the connected components are not homeomorphic to $S^1$ nor to $S^3$. This is true for both smooth functions and distributions. The key ingredients of the proof are finding totally geodesic tori and realizing the Rado…

The rank $n$ swapping algebra is the Poisson algebra defined on the ordered pairs of points on a circle using the linking numbers, where a subspace of $(\mathbb{K}^n \times \mathbb{K}^{n*})^r/\operatorname{GL}(n,\mathbb{K})$ is its geometric mode. In this paper, we find an injective Poisson homomorphism from the Poisso…

For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of compactly supported diffeomorphisms on 1- manifolds. We show that all such actions…

Affirmative proof that rank 3 3-manifolds have filling links.

For all n > 0 there is a homomorphism from the smooth concordance group of knots in dimension 2n + 1 to an algebraically defined group called the rational algebraic concordance group. This algebraic concordance group splits as a direct sum of groups indexed by polynomials. For n > 1 the homomorphism is injective. This …

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 …

A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletio…

Quantum traces map skein algebras to Fock-Goncharov spaces.

Let B_n be the Artin braid group on n strings with standard generators sigma_1, ..., sigma_{n-1}, and let SB_n be the singular braid monoid with generators sigma_1^{+-1}, ..., sigma_{n-1}^{+-1}, tau_1, ..., tau_{n-1}. The desingularization map is the multiplicative homomorphism eta: SB_n --> Z[B_n] defined by eta(sigma…

Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $Γ$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a higher rank symmetric space iff $H^2_b(M;\R)\to H^2(M;\R)$ is injective (and otherwis…

In this note, we give an explicit counterexample to the simple loop conjecture for representations of surface groups into PSL(2,R). Specifically, we show that for any surface with negative Euler characteristic and genus at least 1, there are uncountably many non-conjugate, non-injective homomorphisms of its fundamental…

Semi-direct products of finite groups have permutation representations that are constructed from the permutation representations of their constituents. One can envision these in a metaphoric sense in which a rope is made from a bundle of threads. In this way, subgroups and quotients are easily visualized. The general i…

Study of point-pushing actions on manifolds with boundary.

Characterizes a general range decreasing group homomorphism.

The paper introduces cataclysm deformations for Anosov representations.

We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism $ε_k$ which extends Morita's homomorphism $\tilde τ_k$ to the entire mapping clas…

Two crossing homomorphisms on braid groups are shown to be equivalent.

The study classifies homomorphisms from mapping class groups using finite subgroups.

Study of Chebyshev-Frobenius homomorphism in 3-manifold skein modules.

Let N be a complete, homogeneously regular Riemannian manifold of dimension greater than 2 and let M be a compact submanifold of N. Let $Σ$ be a compact orientable surface with boundary. We show that for any continuous $f: (Σ, \partial Σ) \rightarrow (N, M)$ for which the induced homomorphism on certain fundamental gro…

The paper studies quandles of hyperbolic 3-space isometries.

Graph homomorphism numbers embed graphs for classification.