Searcharxiv⌕ Search

arXiv subjects

Luis Paris

Publications and source records attributed to Luis Paris.

At least 55 records · Page 3Linked to original sources
arXiv2012

HOMFLY-PT skein module of singular links in the three-sphere

For a ring $R$, we denote by $R[\mathcal L]$ the free $R$-module spanned by the isotopy classes of singular links in $\mathbb S^3$. Given two invertible elements $x,t \in R$, the HOMFLY-PT skein module of singular links in $\mathbb S^3$ (relative to the triple $(R,t,x)$) is the quotient of $R[\mathcal L]$ by local relations, called skein relations, that involve $t$ and $x$. We compute the HOMFLY-PT skein module of singular links for any $R$ such that $(t^{-1}-t+x)$ and $(t^{-1}-t-x)$ are invertible. In particular, we deduce the Conway skein module of singular links.

math.GT↗
arXiv2012

PreGarside monoids and groups, parabolicity, amalgamation, and FC property

We define the notion of preGarside group slightly lightening the definition of Garside group so that all Artin-Tits groups are preGarside groups. This paper intends to give a first basic study on these groups. Firstly, we introduce the notion of parabolic subgroup, we prove that any preGarside group has a (partial) complemented presentation, and we characterize the parbolic subgroups in terms of these presentations. Afterwards we prove that the amalgamated product of two preGarside groups along a common parabolic subgroup is again a preGarside group. This enables us to define the family of preGarside groups of FC type as the smallest family of preGarside groups that contains the Garside groups and that is closed by amalgamation along parabolic subgroups. Finally, we make an algebraic and combinatorial study on FC type preGarside groups and their parabolic subgroups.

math.GR↗
arXiv2011

Finite index subgroups of mapping class groups

Let $g\geq3$ and $n\geq0$, and let ${\mathcal{M}}_{g,n}$ be the mapping class group of a surface of genus $g$ with $n$ boundary components. We prove that ${\mathcal{M}}_{g,n}$ contains a unique subgroup of index $2^{g-1}(2^{g}-1)$ up to conjugation, a unique subgroup of index $2^{g-1}(2^{g}+1)$ up to conjugation, and the other proper subgroups of ${\mathcal{M}}_{g,n}$ are of index greater than $2^{g-1}(2^{g}+1)$. In particular, the minimum index for a proper subgroup of ${\mathcal{M}}_{g,n}$ is $2^{g-1}(2^{g}-1)$.

math.GT↗
arXiv2011

Basic Questions on Artin-Tits groups

This paper is a short survey on four basic questions on Artin-Tits groups: the torsion, the center, the word problem, and the cohomology ($K(π,1)$ problem). It is also an opportunity to prove three new results concerning these questions: (1) if all free of infinity Artin-Tits groups are torsion free, then all Artin-Tits groups will be torsion free; (2) If all free of infinity irreducible non-spherical type Artin-Tits groups have a trivial center then all irreducible non-spherical type Artin-Tits groups will have a trivial center; (3) if all free of infinity Artin-Tits groups have solutions to the word problem, then all Artin-Tits groups will have solutions to the word problem. Recall that an Artin-Tits group is free of infinity if its Coxeter graph has no edge labeled by $\infty$.

math.GR↗
arXiv2010

$K(π,1)$ and word problems for infinite type Artin-Tits groups, and applications to virtual braid groups

Let $Γ$ be a Coxeter graph, let $(W,S)$ be its associated Coxeter system, and let $(A,Σ$) be its associated Artin-Tits system. We regard $W$ as a reflection group acting on a real vector space $V$. Let $I$ be the Tits cone, and let $E_Γ$ be the complement in $I +iV$ of the reflecting hyperplanes. Recall that Charney, Davis, and Salvetti have constructed a simplicial complex $Ω(Γ)$ having the same homotopy type as $E_Γ$. We observe that, if $T \subset S$, then $Ω(Γ_T)$ naturally embeds into $Ω(Γ)$. We prove that this embedding admits a retraction $π_T: Ω(Γ) \to Ω(Γ_T)$, and we deduce several topological and combinatorial results on parabolic subgroups of $A$. From a family $\SS$ of subsets of $S$ having certain properties, we construct a cube complex $Φ$, we show that $Φ$ has the same homotopy type as the universal cover of $E_Γ$, and we prove that $Φ$ is CAT(0) if and only if $\SS$ is a flag complex. We say that $X \subset S$ is free of infinity if $Γ_X$ has no edge labeled by $\infty$. We show that, if $E_{Γ_X}$ is aspherical and $A_X$ has a solution to the word problem for all $X \subset S$ free of infinity, then $E_Γ$ is aspherical and $A$ has a solution to the word problem. We apply these results to the virtual braid group $VB_n$. In particular, we give a solution to the word problem in $VB_n$, and we prove that the virtual cohomological dimension of $VB_n$ is $n-1$.

math.GR↗
arXiv2009

HOMFLYPT Skein module of singular links

This paper is a presentation, where we compute the HOMFLYPT Skein module of singular links in the 3-sphere. This calculation is based on some results previously proved by Rabenda and the author on Markov traces on singular Hecke algebras, as well as on classical techniques that allow to pass from the framework of Markov traces on Hecke algebras to the framework of HOMFLYPT Skein modules. Some open problems on singular Hecke algebras are also presented.

math.GT↗
arXiv2007

Braid groups and Artin groups

This article is a survey on the braid groups, the Artin groups, and the Garside groups. It is a presentation, accessible to non-experts, of various topological and algebraic aspects of these groups. It is also a report on three points of the theory: the faithful linear representations, the cohomology, and the geometrical representations.

math.GR↗
arXiv2007

Singular Hecke algebras, Markov traces, and HOMFLY-type invariants

We define the singular Hecke algebra ${\mathcal H} (SB_n)$ as the quotient of the singular braid monoid algebra ${\mathbb C} (q) [SB_n]$ by the Hecke relations $σ_k^2 = (q-1) σ_k +q$, $1 \le k\le n-1$, and define the Markov traces on the sequence $\{{\mathcal H}(SB_n)\}_{n=1}^{+\infty}$ in the same way as for the Markov traces on the tower of (non-singular) Hecke algebras of the symmetric groups. We prove that the Markov traces are in one-to-one correspondance with the invariants that satisfies some skein relation, and compute an explicit classification of the Markov traces. Thanks to this classification, we define some universal HOMFLY-type invariant which has the property that it distinguishes all the pairs of singular links that can be distinguished by an invariant which satisfies the required skein relation.

math.GT↗
arXiv2007

Residual $p$ properties of mapping class groups and surface groups

Let $\mathcal M (Σ, \mathcal P)$ be the mapping class group of a punctured oriented surface $(Σ, \mathcal P)$ (where $\mathcal P$ may be empty), and let $\mathcal T_p(Σ,\mathcal P)$ be the kernel of the action of $\mathcal M (Σ, \mathcal P)$ on $H_1 (Σ\setminus \mathcal P, \mathbb F_p)$. We prove that $\mathcal T_p(Σ, \mathcal P)$ is residually $p$. In particular, this shows that $\mathcal M (Σ, \mathcal P)$ is virtually residually $p$. For a group $G$ we denote by $\mathcal I_p(G)$ the kernel of the natural action of ${\rm Out} (G)$ on $H_1(G, \mathbb F_p)$. In order to achieve our theorem, we prove that, under certain conditions ($G$ is conjugacy $p$-separable and has Property A), the group $\mathcal I_p(G)$ is residually $p$. The fact that free groups and surface groups have Property A is due to Grossman. The fact that free groups are conjugacy $p$-separable is due to Lyndon and Schupp. The fact that surface groups are conjugacy $p$-separable is, from a technical point of view, the main result of the paper.

math.GR↗
arXiv2006

Roots in the mapping class groups

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 each $f \in \MM (Σ)$ has at most one $m$-root for all $m \ge 1$. We prove that, if $Σ$ is of genus 1 and has non-empty boundary, then each $f \in \MM (Σ)$ has at most one $m$-root up to conjugation for all $m \ge 1$. We prove that, however, if $Σ$ is of genus $\ge 2$, then there exist $f,g \in \MM (Σ, \PP)$ such that $f^2=g^2$, $f$ is not conjugate to $g$, and none of the conjugates of $f$ commutes with $g$. Afterwards, we focus our study on the roots of the pseudo-Anosov elements. We prove that, if $\partial Σ\neq \emptyset$, then each pseudo-Anosov element $f \in \MM(Σ, \PP)$ has at most one $m$-root for all $m \ge 1$. We prove that, however, if $\partial Σ= \emptyset$ and the genus of $Σ$ is $\ge 2$, then there exist two pseudo-Anosov elements $f,g \in \MM (Σ)$ (explicitely constructed) such that $f^m=g^m$ for some $m\ge 2$, $f$ is not conjugate to $g$, and none of the conjugates of $f$ commutes with $g$. Furthermore, if the genus of $Σ$ is $\equiv 0 (\mod 4)$, then we can take $m=2$. Finally, we show that, if $Γ$ is a pure subgroup of $\MM (Σ, \PP)$ and $f \in Γ$, then $f$ has at most one $m$-root in $Γ$ for all $m \ge 1$. Note that there are finite index pure subgroups in $\MM (Σ, \PP)$.

math.GT↗
arXiv2005

Irreducible Coxeter groups

We prove that a non-spherical irreducible Coxeter group is (directly) indecomposable and that a non-spherical and non-affine Coxeter group is strongly indecomposable in the sense that all its finite index subgroups are (directly) indecomposable. We prove that a Coxeter group has a decomposition as a direct product of indecomposable groups, and that such a decomposition is unique up to a central automorphism and a permutation of the factors. We prove that a Coxeter group has a virtual decomposition as a direct product of strongly indecomposable groups, and that such a decomposition is unique up to commensurability and a permutation of the factors.

math.GR↗
arXiv2004

On a theorem of Artin, II

This paper is a sequel of [A.M. Cohen, L. Paris, {\it On a theorem of Artin}, J. Group Theory {\bf 6} (2003), 421--441]. Let $A$ be an Artin group, let $W$ be its associated Coxeter group, and let $CA$ be its associated coloured Artin group, that is, the kernel of the standard epimorphism $μ: A \to W$. We determine the homomorphisms $\f: A \to W$ that verify $\Im \f \cdot Z(W)= W$, for $A$ irreducible and of spherical type, and we prove that $CA$ is a characteristic subgroup of $A$, if $A$ is of spherical type but not necessarily irreducible.

math.GR↗
arXiv2004

The proof of Birman's conjecture on singular braid monoids

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_i^{+-1}) =_i^{+-1} and eta(tau_i) = sigma_i - sigma_i^{-1}, for 1 <= i <= n-1. The purpose of the present paper is to prove Birman's conjecture, namely, that the desingularization map eta is injective.

math.GR↗
arXiv2003

On singular Artin monoids

In this paper we study some combinatorial aspects of the singular Artin monoids. Firstly, we show that a singular Artin monoid $SA$ can be presented as a semidirect product of a graph monoid with its associated Artin group $A$. Such a decomposition implies that a singular Artin monoid embeds in a group. Secondly, we give a solution to the word problem for the FC type singular Artin monoids. Afterwards, we show that FC type singular Artin monoids have the FRZ property. Briefly speaking, this property says that the centralizer in $SA$ of any non-zero power of a standard singular generator $τ_s$ coincides with the centralizer of any non-zero power of the corresponding non-singular generator $σ_s$. Finally, we prove Birman's conjecture, namely, that the desingularization map $η: SA \to \Z [A]$ is injective, for right-angled singular Artin monoids.

math.GR↗