Showing 1–8 of 8 results for author: Blasco-Garcia, R

Rewriting in Artin groups without A_3 or B_3 subdiagrams

Authors: Rubén Blasco-García, María Cumplido, Derek F. Holt, Rose Morris-Wright, Sarah Rees

Abstract: We prove that the word problem in an Artin group G based on a diagram without A_3 or B_3 subdiagrams can be solved using a system of length preserving rewrite rules which, together with free reduction, can be used to reduce any word over the standard generators of G to a geodesic word in G in quadratic time. This result builds on work of Holt and Rees, and of Blasco-García, Cumplido and Morris-Wri… ▽ More We prove that the word problem in an Artin group G based on a diagram without A_3 or B_3 subdiagrams can be solved using a system of length preserving rewrite rules which, together with free reduction, can be used to reduce any word over the standard generators of G to a geodesic word in G in quadratic time. This result builds on work of Holt and Rees, and of Blasco-García, Cumplido and Morris-Wright. Those articles prove the same result for all Artin groups that are either sufficiently large or 3-free, respectively. △ Less

Submitted 18 December, 2024; v1 submitted 14 December, 2024; originally announced December 2024.

Comments: 53 pages. arXiv admin note: substantial text overlap with arXiv:2310.14632

MSC Class: 20F36; 20F10 (Primary) 68R15 (Secondary)

The Word Problem is Solvable for 3-free Artin groups in Quadratic Time

Authors: Rubén Blasco-García, María Cumplido, Rose Morris-Wright

Abstract: We give a quadratic-time explicit and computable algorithm to solve the word problem for Artin groups that do not contain any relations of length 3. Furthermore, we prove that, given two geodesic words representing the same element, one can obtain one from the other by using a set of homogeneous relations that never increase the word length. We give a quadratic-time explicit and computable algorithm to solve the word problem for Artin groups that do not contain any relations of length 3. Furthermore, we prove that, given two geodesic words representing the same element, one can obtain one from the other by using a set of homogeneous relations that never increase the word length. △ Less

Submitted 18 March, 2025; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: 30 pages, 2 figures. Typos corrected

MSC Class: 20F36; 20F10 (Primary) 68R15 (Secondary)

Homology of even Artin kernels

Authors: Rubén Blasco-García, José Ignacio Cogolludo-Agustín, Conchita Martínez-Pérez

Abstract: We explicitly compute the homology groups with coefficients in a field of characteristic zero of cocyclic subgroups or even Artin groups of FC-type. We also give some partial results in the case when the coefficients are taken in a field of prime characteristic. We explicitly compute the homology groups with coefficients in a field of characteristic zero of cocyclic subgroups or even Artin groups of FC-type. We also give some partial results in the case when the coefficients are taken in a field of prime characteristic. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 18 pages, 2 figures. To appear in AGT

Journal ref: Algebr. Geom. Topol. 22 (2022) 349-372

Poly-freeness of large even Artin groups

Authors: Ruben Blasco-Garcia

Abstract: We prove that any large even Artin group is poly-free and that any even Artin group based on a triangle graph is also poly-free. We prove that any large even Artin group is poly-free and that any even Artin group based on a triangle graph is also poly-free. △ Less

Submitted 18 September, 2020; originally announced September 2020.

Comments: 27 pages. Accepted in Journal of Pure and Applied Algebra

MSC Class: 20F36 (Primary)

On the isomorphism problem for even Artin groups

Authors: Luis Paris, Ruben Blasco-Garcia

Abstract: An even Artin group is a group which has a presentation with relations of the form $(st)^n=(ts)^n$ with $n\ge 1$. With a group $G$ we associate a Lie $\mathbb Z$-algebra $\mathcal{TG}r(G)$. This is the usual Lie algebra defined from the lower central series, truncated at the third rank. For each even Artin group $G$ we determine a presentation for $\mathcal{TG}r(G)$. Then we prove a criterion to d… ▽ More An even Artin group is a group which has a presentation with relations of the form $(st)^n=(ts)^n$ with $n\ge 1$. With a group $G$ we associate a Lie $\mathbb Z$-algebra $\mathcal{TG}r(G)$. This is the usual Lie algebra defined from the lower central series, truncated at the third rank. For each even Artin group $G$ we determine a presentation for $\mathcal{TG}r(G)$. Then we prove a criterion to determine whether two Coxeter matrices are isomorphic. Let $c,d\in\mathbb N$ such that $c\ge1$, $d\ge2$ and $\gcd(c,d)=1$. We show that, if two even Artin groups $G$ and $G'$ having presentations with relations of the form $(st)^n=(ts)^n$ with $n\in\{c\}\cup\{d^k\mid k\ge1\}$ are such that $\mathcal{TG}r(G)\simeq\mathcal{TG}r(G')$, then $G$ and $G'$ have the same presentation up to permutation of the generators. On the other hand, we show an example of two non-isomorphic even Artin groups $G$ and $G'$ such that $\mathcal{TG}r(G)\simeq\mathcal{TG}r(G')$. △ Less

Submitted 2 September, 2019; originally announced September 2019.

Quasi-projectivity of even Artin groups

Authors: Ruben Blasco-Garcia, Jose I. Cogolludo-Agustin

Abstract: Even Artin groups generalize right-angled Artin groups by allowing the labels in the defining graph to be even. In this paper a complete characterization of quasi-projective even Artin groups is given in terms of their defining graphs. Also, it is shown that quasi-projective even Artin groups are realizable by K(pi,1) quasi-projective spaces. Even Artin groups generalize right-angled Artin groups by allowing the labels in the defining graph to be even. In this paper a complete characterization of quasi-projective even Artin groups is given in terms of their defining graphs. Also, it is shown that quasi-projective even Artin groups are realizable by K(pi,1) quasi-projective spaces. △ Less

Submitted 14 March, 2018; originally announced March 2018.

Comments: 23 pages, 5 figures, to appear in G&T

Journal ref: Geom. Topol. 22 (2018) 3979-4011

Note on residual finiteness of Artin groups

Authors: Luis Paris, Ruben Blasco-Garcia, Arye Juhasz

Abstract: Let $A$ be an Artin group. A partition $\mathcal{P}$ of the set of standard generators of $A$ is called admissible if, for all $X,Y \in \mathcal{P}$, $X \neq Y$, there is at most one pair $(s,t) \in X \times Y$ which has a relation. An admissible partition $\mathcal{P}$ determines a quotient Coxeter graph $Γ/\mathcal{P}$. We prove that, if $Γ/\mathcal{P}$ is either a forest or an even triangle fr… ▽ More Let $A$ be an Artin group. A partition $\mathcal{P}$ of the set of standard generators of $A$ is called admissible if, for all $X,Y \in \mathcal{P}$, $X \neq Y$, there is at most one pair $(s,t) \in X \times Y$ which has a relation. An admissible partition $\mathcal{P}$ determines a quotient Coxeter graph $Γ/\mathcal{P}$. We prove that, if $Γ/\mathcal{P}$ is either a forest or an even triangle free Coxeter graph and $A_X$ is residually finite for all $X \in \mathcal{P}$, then $A$ is residually finite. △ Less

Submitted 25 September, 2017; originally announced September 2017.

Poly-freeness of even Artin groups of FC type

Authors: Ruben Blasco-Garcia, Conchita Martinez-Perez, Luis Paris

Abstract: We prove that even Artin groups of FC type are poly-free and residually finite. We prove that even Artin groups of FC type are poly-free and residually finite. △ Less

Submitted 16 May, 2017; originally announced May 2017.