{"id":20444,"date":"2026-04-29T19:14:37","date_gmt":"2026-04-29T17:14:37","guid":{"rendered":"https:\/\/scm.iec.cat\/?post_type=sessions&p=20444"},"modified":"2026-10-07T01:05:44","modified_gmt":"2026-10-06T23:05:44","slug":"bmd-2026-geometric-and-algorithmic-aspects-of-groups","status":"publish","type":"sessions","link":"https:\/\/scm.iec.cat\/eng\/sessions\/bmd-2026-geometric-and-algorithmic-aspects-of-groups\/","title":{"rendered":"BMD 2026 \u2013 Geometric and Algorithmic Aspects of Groups"},"content":{"rendered":"\r\n

GENERAL PRESENTATION\u00a0<\/strong><\/h3>\r\n

This session focuses on the interplay between Geometric and Algorithmic Group Theory. It aims to explore recent developments concerning the relationship between the geometry of groups and their algorithmic behaviour, with particular emphasis on the solvability and complexity of decision problems. With its classical origins in the Word, Conjugacy, and Isomorphism Problems, Algorithmic Group Theory now addresses a broad range of computational questions about groups. Frequently studied topics include equations over groups, subgroups, homomorphisms, and dynamical phenomena. The scope of the session includes both theoretical developments and computational methods, ranging from the study of geometric constructions and combinatorial techniques to the development of practical algorithms for investigating infinite groups. This combination of geometric, combinatorial, and computational approaches often provides deeper insight into the structure of groups and yields purely algebraic results. Connections with related areas of geometry, group dynamics, formal language theory, and combinatorics will also be explored. By bringing together these perspectives, the session aims to reflect the vitality of current research in the field and to provide a platform for presenting new results on the geometric and algorithmic aspects of discrete groups.<\/p>\r\n

____________________________________________________________________<\/p>\r\n

SCHEDULE<\/h3>\r\n

Dimecres 7 d’octubre \u2014 16:30\u201318:30 (Pi i Sunyer)<\/h5>\r\n

Finite quotients of spherical Artin groups<\/em>,<\/strong> by Kaitlin Ragosta <\/strong>(University of the Basque Country)<\/p>\r\n

Proving non-isomorphism of two quotients of an Artin group<\/em>. <\/strong>by Sarah Rees <\/strong>(University of Newcastle)<\/p>\r\n

Membership problems in metabelian groups<\/em>, <\/strong>by Ruiwen Dong <\/strong>(University of Oxford)<\/p>\r\n

 <\/p>\r\n

Dijous 8 d\u2019octubre \u2014 16:00\u201318:00 (Nicolau d’Olwer)<\/h5>\r\n

Asymptotic Assouad-Nagata dimension of graphical C(3)-T(6) small cancellation complexes<\/em>,<\/strong> by Damian Osajda\u00a0<\/strong>(University of Wroclaw)<\/p>\r\n

On the Dehn function of Thompson’s group V, <\/strong><\/em>by\u00a0Dario Ascari <\/strong>(University of the Basque Country)<\/p>\r\n

Finitely generated subgroups of plain groups<\/em>, <\/strong>by Maria Ana Barbosa <\/strong>(University of Porto)<\/p>\r\n

____________________________________________________________________<\/p>\r\n

ABSTRACTS<\/h3>\r\n
\r\n
\r\n
\r\n
Speaker:<\/b> Dario Ascari.<\/i><\/div>\r\n
\u00a0<\/div>\r\n
\r\n
Title:<\/b> On the Dehn function of Thompson’s group V.<\/div>\r\n
\u00a0<\/div>\r\n
Abstract:<\/b> The Dehn function of a finitely presented group is an invariant based on counting how many relations are needed (at least) to pass from a word to another one representing the same element of the group. This is naturally related to the word problem for the group. It’s a classical result that Thompson’s groups F has quadratic Dehn function, and recent developments show that Thompson’s group T also has quadratic Dehn function; however, the Dehn function of V is still unknown. We provide an upper bound of n^2(log n)^2 on the Dehn function of V, improving substantially the previous results in literature.<\/div>\r\n<\/div>\r\n<\/div>\r\n
____________________________________________________________________<\/div>\r\n
\r\n
\u00a0<\/div>\r\n
Speaker:<\/b> Kaitlin Ragosta Hughes<\/i>.<\/div>\r\n
\u00a0<\/div>\r\n
Title:<\/b> Finite quotients of spherical Artin groups.<\/div>\r\n
\u00a0<\/div>\r\n
Abstract:<\/b> In 2023, Kolay showed that the smallest non-abelian quotient of the braid group on n strands is the symmetric group Sym(n), resolving a long-standing question of Margalit. This naturally raises the questions of whether the smallest non-abelian quotient of an irreducible spherical Artin group is the smallest non-abelian quotient of the corresponding Coxeter group and whether irreducible spherical Artin groups can distinguished by their finite quotient groups. In this talk, I will present work which answers both questions affirmatively. This talk is based on joint work with Sam Hughes, Thomas Ng, Nancy Scherich, and Yvon Verberne.<\/div>\r\n
____________________________________________________________________<\/div>\r\n
\u00a0<\/div>\r\n
Speaker:<\/b> Maria Ana Barbosa<\/i>.<\/div>\r\n
\u00a0<\/div>\r\n
Title:<\/b> Finitely generated subgroups of plain groups.<\/div>\r\n
\u00a0<\/div>\r\n
Abstract:<\/b>\u00a0Plain groups, that is, finite free products of finite groups and<\/div>\r\ncopies of Z, and their finitely generated subgroups have received increasing
attention in recent years. Motivated by the success of Stallings automata in
studying finitely generated subgroups of free groups, we explore their extension
to the class of plain groups. Using this approach, we show that several decision
problems in this class of groups are decidable, and that many properties of a
finitely generated subgroup of a plain group can be inferred directly from its
associated automaton. In this talk, we will present the main ideas behind this
construction and discuss some of the results obtained from it.<\/div>\r\n
____________________________________________________________________<\/div>\r\n
\r\n

\r\n
Speaker:<\/b> Ruiwen Dong<\/i>.<\/div>\r\n<\/div>\r\n
\u00a0<\/div>\r\n
\r\n
Title:<\/b> Membership problems in metabelian groups<\/span><\/div>\r\n
\u00a0<\/span><\/div>\r\n
Abstract:<\/b> In this talk we survey the decidability landscape of membership problems in metabelian groups, in particular Subgroup Membership, Submonoid Membership, and Rational Subset Membership. We will talk about several decidability and undecidability results, and briefly discuss the main ideas and connections between them. The tools leading to these results are highly diverse: they range from commutative algebra and number theory, to combinatorics and automata theory. In the end, we will mention several open problems in this area.<\/span><\/div>\r\n<\/div>\r\n
\r\n

____________________________________________________________________<\/p>\r\n

Speaker:<\/strong> Sarah Rees<\/em><\/p>\r\n

Title: <\/strong>Proving non-isomorphism of two quotients of an Artin group<\/p>\r\n

Abstract:<\/strong> I’ll discuss two different proofs
that, for $n \\geq 5$, \\[ A(D_n) \\not\\cong G([1,w_1]), \\]\u00a0 where $A(D_n)$ is the Artin group of type $D_n$,\u00a0 $w_1$ is a proper quasi-Coxeter elt in $W(D_n)$, and $G([1,w_1])$ is
the associated interval group. The question arose from an investigation with Baumeister and Neaime that was looking for a generalisation of the dual approach to Artin groups.<\/p>\r\n

Each group can be found as a quotient of an $n$-generator Artin group (the same one, which we call $A(\\Delta_{r,s})$) by a single commutator relation.
Ultimately we hope to identify more properties of the second group from that
presentation.<\/p>\r\n

The first proof of non-isomorphism, of myself with Baumeister, Holt, and Neaime (2023), uses standard methods from computational group theory. Recoognition of patterns in the infinite sequence of proofs for $n\\geq 5$ allows combination into a single proof for all those $n$. But the calculation is heavy. And Luis Paris suggested to us that we could prove the result much more easily by exploiting the fact that the braid group $\\cB_n$ is a subgroup of the Artin group $A(\\Delta_{r,s})$ and then using properties of that Braid group.<\/p>\r\n

The second proof, of myself with Baumeister and Paris (2026), is straightforward,\u00a0 given some knowledge of properties of the braid group $\\cB_n$ on $n$ strands, considered as the mapping class group of the $n$-punctured disc.<\/p>\r\n

I’ll define all the objects under consideration and explain why we were interested to investigate these isomorphisms. Then I’ll explain the basic structure of the two proofs.<\/p>\r\n

____________________________________________________________________<\/p>\r\n<\/div>\r\n

Speaker:<\/b>\u00a0Damian Osajda.<\/i><\/p>\r\n

\u00a0<\/div>\r\n
\r\n
\r\n
\r\n
\r\n
\r\n
Title:<\/b> Asymptotic Assouad-Nagata dimension of graphical C(3)-T(6) small cancellation complexes

Abstract:<\/b> We establish a universal upper bound on the asymptotic Assouad\u2013Nagata dimension of simply connected, uniformly locally finite graphical C(3)-T(6) small cancellation complexes. More generally, we prove such a bound for systolic complexes with flat intervals, from which the small cancellation case follows.
Joint work with Mart\u00edn Blufstein, Victor Chepoi, and Huaitao Gui.<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n

 <\/p>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n","protected":false},"parent":0,"template":"","categoria_sessions_conferences":[238],"class_list":["post-20444","sessions","type-sessions","status-publish","hentry","categoria_sessions_conferences-bmd-2026"],"acf":[],"_links":{"self":[{"href":"https:\/\/scm.iec.cat\/eng\/wp-json\/wp\/v2\/sessions\/20444","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scm.iec.cat\/eng\/wp-json\/wp\/v2\/sessions"}],"about":[{"href":"https:\/\/scm.iec.cat\/eng\/wp-json\/wp\/v2\/types\/sessions"}],"wp:attachment":[{"href":"https:\/\/scm.iec.cat\/eng\/wp-json\/wp\/v2\/media?parent=20444"}],"wp:term":[{"taxonomy":"categoria_sessions_conferences","embeddable":true,"href":"https:\/\/scm.iec.cat\/eng\/wp-json\/wp\/v2\/categoria_sessions_conferences?post=20444"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}