Showing 1–10 of 10 results for author: Rego, Y S

Involutions in Coxeter groups

Authors: Anna Michael, Yuri Santos Rego, Petra Schwer, Olga Varghese

Abstract: We combinatorially characterize the number $\mathrm{cc}_2$ of conjugacy classes of involutions in any Coxeter group in terms of higher rank odd graphs. This notion naturally generalizes the concept of odd graphs, used previously to count the number of conjugacy classes of reflections. We provide uniform bounds and discuss some extremal cases, where the number $\mathrm{cc}_2$ is smallest or largest… ▽ More We combinatorially characterize the number $\mathrm{cc}_2$ of conjugacy classes of involutions in any Coxeter group in terms of higher rank odd graphs. This notion naturally generalizes the concept of odd graphs, used previously to count the number of conjugacy classes of reflections. We provide uniform bounds and discuss some extremal cases, where the number $\mathrm{cc}_2$ is smallest or largest possible. Moreover, we provide formulae for $\mathrm{cc}_2$ in free and direct products as well as for some finite and affine types, besides computing $\mathrm{cc}_2$ for all triangle groups, and all affine irreducible Coxeter groups of rank up to eleven. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 31 pages, 12 figures

MSC Class: 20F55

The Sigma invariants for the Golden Mean Thompson group

Authors: Lewis Molyneux, Brita Nucinkis, Yuri Santos Rego

Abstract: We use a method of Bieri, Geoghegan and Kochloukova to calculate the BNSR-invariants for the irrational slope Thompson's group $F_τ$. To do so we establish conditions under which the Sigma invariants coincide with those of a subgroup of finite index, addressing a problem posed by Strebel. We use a method of Bieri, Geoghegan and Kochloukova to calculate the BNSR-invariants for the irrational slope Thompson's group $F_τ$. To do so we establish conditions under which the Sigma invariants coincide with those of a subgroup of finite index, addressing a problem posed by Strebel. △ Less

Submitted 10 March, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: 19 pages. v2: Major revision after referee's comments, corrected inacurracies/inconsistencies throughout the text, improved proof of the main theorem, restated results on Sigma invariants and characters for clarity, expanded on related work. Final version, to appear in the New York Journal of Mathematics

MSC Class: 20F65; 20F38; 57M07; 57S05

Reidemeister numbers for arithmetic Borel subgroups in type A

Authors: Paula Macedo Lins de Araujo, Yuri Santos Rego

Abstract: The Reidemeister number $R(\varphi)$ of a group automorphism $\varphi \in \mathrm{Aut}(G)$ encodes the number of orbits of the $\varphi$-twisted conjugation action of $G$ on itself, and the Reidemeister spectrum of $G$ is defined as the set of Reidemeister numbers of all of its automorphisms. We obtain a sufficient criterion for some groups of triangular matrices over integral domains to have prop… ▽ More The Reidemeister number $R(\varphi)$ of a group automorphism $\varphi \in \mathrm{Aut}(G)$ encodes the number of orbits of the $\varphi$-twisted conjugation action of $G$ on itself, and the Reidemeister spectrum of $G$ is defined as the set of Reidemeister numbers of all of its automorphisms. We obtain a sufficient criterion for some groups of triangular matrices over integral domains to have property $R_\infty$, which means that their Reidemeister spectrum equals $\{\infty\}$. Using this criterion, we show that Reidemeister numbers for certain soluble $S$-arithmetic groups behave differently from their linear algebraic counterparts -- contrasting with results of Steinberg, Bhunia, and Bose. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: 30 pages. The previous version arXiv:2007.02988v1 was enlarged and then split in two based on topics covered in the updated project. This article is an improved version of the second part of arXiv:2007.02988v1 -- the update contains a stronger version of the previous second main theorem of arXiv:2007.02988v1 along with overall improvements to the presentation and to some results

MSC Class: 20E36; 20F16; 20G30

The galaxy of Coxeter groups

Authors: Yuri Santos Rego, Petra Schwer

Abstract: In this paper we introduce the galaxy of Coxeter groups -- an infinite dimensional, locally finite, ranked simplicial complex which captures isomorphisms between Coxeter systems. In doing so, we would like to suggest a new framework to study the isomorphism problem for Coxeter groups. We prove some structural results about this space, provide a full characterization in small ranks and propose many… ▽ More In this paper we introduce the galaxy of Coxeter groups -- an infinite dimensional, locally finite, ranked simplicial complex which captures isomorphisms between Coxeter systems. In doing so, we would like to suggest a new framework to study the isomorphism problem for Coxeter groups. We prove some structural results about this space, provide a full characterization in small ranks and propose many questions. In addition we survey known tools, results and conjectures. Along the way we show profinite rigidity of triangle Coxeter groups -- a result which is possibly of independent interest. △ Less

Submitted 19 December, 2023; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: 30 pages, 6 figures. v2: Incorporated referee's suggestions; Corrected a mistake in the proof of Theorem 4.25 (formerly 4.24), improved other proofs and text; v3: Corrected a few typos, final version. (Journal of Algebra (2023), in press.)

MSC Class: 20F55

On the top-dimensional cohomology of arithmetic Chevalley groups

Authors: Benjamin Brück, Yuri Santos Rego, Robin J. Sroka

Abstract: Let $\mathbb{K}$ be a number field with ring of integers $\mathfrak{O}$ and let $\mathcal{G}$ be a Chevalley group scheme not of type $\mathtt{E}_8$, $\mathtt{F}_4$ or $\mathtt{G}_2$. We use the theory of Tits buildings and a result of Tóth on Steinberg modules to prove that $H^{\operatorname{vcd}}(\mathcal{G}(\mathfrak{O}); \mathbb{Q}) = 0$ if $\mathfrak{O}$ is Euclidean. Let $\mathbb{K}$ be a number field with ring of integers $\mathfrak{O}$ and let $\mathcal{G}$ be a Chevalley group scheme not of type $\mathtt{E}_8$, $\mathtt{F}_4$ or $\mathtt{G}_2$. We use the theory of Tits buildings and a result of Tóth on Steinberg modules to prove that $H^{\operatorname{vcd}}(\mathcal{G}(\mathfrak{O}); \mathbb{Q}) = 0$ if $\mathfrak{O}$ is Euclidean. △ Less

Submitted 13 May, 2024; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 8 pages; v2: small changes according to referee's suggestions; to appear in Proc. Amer. Math. Soc

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11F75; 20E42; 57M07

Thompson-like groups, Reidemeister numbers, and fixed points

Authors: Paula Macedo Lins de Araujo, Altair Santos de Oliveira-Tosti, Yuri Santos Rego

Abstract: We investigate fixed-point properties of automorphisms of groups similar to R. Thompson's group $F$. Revisiting work of Gonçalves-Kochloukova, we deduce a cohomological criterion to detect infinite fixed-point sets in the abelianization, implying the so-called property $R_\infty$. Using the BNS $Σ$-invariant and drawing from works of Gonçalves-Sankaran-Strebel and Zaremsky, we show that our tool a… ▽ More We investigate fixed-point properties of automorphisms of groups similar to R. Thompson's group $F$. Revisiting work of Gonçalves-Kochloukova, we deduce a cohomological criterion to detect infinite fixed-point sets in the abelianization, implying the so-called property $R_\infty$. Using the BNS $Σ$-invariant and drawing from works of Gonçalves-Sankaran-Strebel and Zaremsky, we show that our tool applies to many $F$-like groups, including Stein's $F_{2,3}$, Cleary's $F_τ$, the Lodha-Moore groups, and the braided version of $F$. △ Less

Submitted 11 March, 2023; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: v3: 25 pages, 4 figures; Incorporated referees' suggestions, corrected Proposition 2.7, included new remarks. Final version, to appear in Geometriae Dedicata

MSC Class: 20E36; 20J05 (Primary) 55M20; 57S05 (Secondary)

Journal ref: Geometriae Dedicata 217, article number 54 (2023)

Canonical decompositions and algorithmic recognition of spatial graphs

Authors: Stefan Friedl, Lars Munser, José Pedro Quintanilha, Yuri Santos Rego

Abstract: We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-separable and have no cut verti… ▽ More We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge orientations. We first show that spatial graphs admit canonical decompositions into blocks, that is, spatial graphs that are non-separable and have no cut vertices, in a suitable topological sense. Then we apply a result of Haken and Matveev in order to algorithmically distinguish these blocks. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: 57 pages, 16 figures

Journal ref: Proceedings of the Edinburgh Mathematical Society 67 (2024) 388-430

Twisted conjugacy in soluble arithmetic groups

Authors: Paula Macedo Lins de Araujo, Yuri Santos Rego

Abstract: Reidemeister numbers of group automorphisms encode the number of twisted conjugacy classes of groups and might yield information about self-maps of spaces related to the given objects. Here we address a question posed by Gonçalves and Wong in the mid 2000s: we construct an infinite series of compact connected solvmanifolds (that are not nilmanifolds) of strictly increasing dimensions and all of wh… ▽ More Reidemeister numbers of group automorphisms encode the number of twisted conjugacy classes of groups and might yield information about self-maps of spaces related to the given objects. Here we address a question posed by Gonçalves and Wong in the mid 2000s: we construct an infinite series of compact connected solvmanifolds (that are not nilmanifolds) of strictly increasing dimensions and all of whose self-homotopy equivalences have vanishing Nielsen number. To this end, we establish a sufficient condition for a prominent (infinite) family of soluble linear groups to have the so-called property $R_\infty$. In particular, we generalize or complement earlier results due to Dekimpe, Gonçalves, Kochloukova, Nasybullov, Taback, Tertooy, Van den Bussche, and Wong, showing that many soluble $S$-arithmetic groups have $R_\infty$ and suggesting a conjecture in this direction. △ Less

Submitted 4 October, 2023; v1 submitted 6 July, 2020; originally announced July 2020.

Comments: 35 pages, 1 figure. v2: Substantially revised, improved, and rewritten, including a new result on solvmanifolds. Project updated and enlarged with new results, then split in two based on topics. This article is the updated enlarged version of the 1st part of arXiv:2007.02988v1, an improved version of the 2nd part of arXiv:2007.02988v1 is now the content of the companion paper arXiv:2306.02936

MSC Class: 20F16; 55M20; 11F23; 20E36; 20H25; 22E40

On the finiteness length of some soluble linear groups

Authors: Yuri Santos Rego

Abstract: Given a commutative unital ring $R$, we show that the finiteness length of a group $G$ is bounded above by the finiteness length of the Borel subgroup of rank one $\mathbf{B}_2^\circ(R)=\left( \begin{smallmatrix} * & * \\ 0 & * \end{smallmatrix} \right)\leq\mathrm{SL}_2(R)$ whenever $G$ admits certain $R$-representations with metabelian image. Combined with results due to Bestvina--Eskin--Wortman… ▽ More Given a commutative unital ring $R$, we show that the finiteness length of a group $G$ is bounded above by the finiteness length of the Borel subgroup of rank one $\mathbf{B}_2^\circ(R)=\left( \begin{smallmatrix} * & * \\ 0 & * \end{smallmatrix} \right)\leq\mathrm{SL}_2(R)$ whenever $G$ admits certain $R$-representations with metabelian image. Combined with results due to Bestvina--Eskin--Wortman and Gandini, this gives a new proof of (a generalization of) Bux's equality on the finiteness length of $S$-arithmetic Borel groups. We also give an alternative proof of an unpublished theorem due to Strebel, characterizing finite presentability of Abels' groups $\mathbf{A}_n(R) \leq \mathrm{GL}_n(R)$ in terms of $n$ and $\mathbf{B}_2^\circ(R)$. This generalizes earlier results due to Remeslennikov, Holz, Lyul'ko, Cornulier--Tessera, and points out to a conjecture about the finiteness length of such groups. △ Less

Submitted 20 April, 2021; v1 submitted 20 January, 2019; originally announced January 2019.

Comments: 35 pages. v3: Incorporated referees' suggestions. Final version, to appear in the Canadian Journal of Mathematics

MSC Class: 20F65; 20H25 (primary); 20F05; 20G30; 57M07 (secondary)

Journal ref: Canad. J. Math., vol. 74, no. 5, 2022

Presentations of parabolics in some elementary Chevalley-Demazure groups

Authors: Yuri Santos Rego

Abstract: Given a universal elementary Chevalley-Demazure group $E_Φ^{sc}(R)$ for which its (standard) parabolic subgroups are finitely generated, we consider the problem of classifying which parabolics $P(R) \subset E_Φ^{sc}(R)$ are finitely presented. We show that, under mild assumptions, this is equivalent to the finite presentability of a suitable retract of $P$ which contains the Levi factor. If the ba… ▽ More Given a universal elementary Chevalley-Demazure group $E_Φ^{sc}(R)$ for which its (standard) parabolic subgroups are finitely generated, we consider the problem of classifying which parabolics $P(R) \subset E_Φ^{sc}(R)$ are finitely presented. We show that, under mild assumptions, this is equivalent to the finite presentability of a suitable retract of $P$ which contains the Levi factor. If the base ring $R$ is a Dedekind domain of arithmetic type, we combine our results with well-known theorems due to Borel-Serre, Abels, Behr and Bux to give a partial classification of finitely presentable $S$-arithmetic subgroups of parabolics in split reductive linear algebraic groups. △ Less

Submitted 14 February, 2018; v1 submitted 16 January, 2018; originally announced January 2018.

Comments: 45 pages. v2: minor changes

MSC Class: 20F05; 20H25; 20G30