This seminar is organized by the Applied Algebra Group at TU Berlin. Anyone interested is welcome to join us. We meet roughly every second week. A detailed schedule can be seen below and will be updated throughout the semester.
Upcoming Events
October 27, 2026 14:00 MA 366: Peter Buergisser (Berlin)
Title: On the number of real zeros of structured random polynomials
Abstract: A famous result by Khovanskii (1980) bounds the number of positive real zeros of polynomial systems of equations in terms of their sparsity (number of monomials). This upper bound is huge and appears to be very far from optimality, but very little is known.
I will discuss two results stating that structured (systems of) random polynomials typically only have few real zeros.
The first result is on random fewnomials: it says that a system of polynomials in n variables with a prescribed set of t terms and independent centered Gaussian coefficients has an expected number of positive real zeros bounded by 2 times the binomial coefficient of t choose n.
The second result is on Koiran's Real Tau Conjecture, which claims that the number of real zeros of a sum of m products of k real sparse univariate polynomials, each with a fixed set of at most t terms, is bounded by a polynomial in m, k, and t. The Real Tau Conjecture implies Valiant's Conjecture VP ≠ VNP. We have confirmed the conjecture on average: if the coefficients in these structured polynomials are independent standard Gaussians, then the expected number of real zeros is bounded by a constant times m times k squared times t.
The proofs are based on the Rice formula and methods from integral geometry.
November 10, 2026 14:00 MA 366: Dominic Bunnett (Berlin)
Title:
Abstract:
November 17, 2026 14:00 MA 366: Óscar Fenández Ayala (Braunschweig)
Title:
Abstract:
November 27th 2026, Max Planck Institute for Mathematics in the Sciences
Our next EGGG meeting will take place on Friday 27th November at the Max Planck Institute for Mathematics in the Sciences (MPI MiS), Leipzig, in the Leibniz Saal (see the building map). The event will begin at 13:30, with the first talk at 13:45, and the event will end at 17:30. Afterwards, we will go for dinner at 18:00.
If you wish to attend, please fill out the sign-up form. Please complete the form by the end of Friday 20th November if you wish to join for dinner.
Schedule
Title TBA [13:45-14:45]
Łukasz Grabowski, Leipzig University
Title TBA [13:00-14:00]
Kaitlin Ragosta, EHU/UPV
Coffee break [16:00-16:30]
Title TBA [16:30-17:30]
Laura Ciobanu, TU Berlin
December 01, 2026 14:00 MA 366: Luca Maria Di Gravina (Halle)
Title:
Abstract:
December 08, 2026 14:00 MA 366: Alexander Thumm (Siegen)
Title:
Abstract:
January 19, 2026 14:00 MA 366: Seminar X
Speakers Thomas Walpuski (HU, Berlin), Chris Wendl (HU, Berlin)
Title:
Abstract:
April 26-30 2027, Kickoff Conference: Computational Algebra and Geometry, IMoS Building, Berlin
April - July 2027, MATH+ Thematic Semester on Computational Algebra and Geometry, IMoS Building, Berlin
April 04 – July 17 Advanced Courses of the Berlin Mathematical School start (FU/HU/TU)
April 26–30 Kickoff Conference (TU)
June 14–18 Geometric and computational methods in enumerative algebra (TU)
tba Combinatorial Algebraic Geometry (HU)
July 14 - July 16 OSCAR Summer School (TU)
Past Events
October 5 - 8, 2026, Workshop Word Equations: from Theory to Applications, IMoS Building, Berlin
The Applied Algebra Group of TU Berlin will be hosting a workshop in the areas of (semi)group theory, theoretical computer science, formal languages, and logic with the aim to bring together mathematicians working in group and semigroup theory, Diophantine geometry and logic; and computer scientists working on word equations, string solvers, complexity theory and formal language theory.
The conference will take place from Monday the 5th of October to Thursday the 8th of October, 2026 at the IMoS building, Technische Universität Berlin, Fasanenstr. 89, 10623 Berlin (enter from Müller-Breslau-Straße between "HF" and "L"; follow the signs). Preliminary schedule and workshop website: https://sites.google.com/view/word-equations-tub/home?authuser=0
June 23, 2026 15:00 MA 366: Daniel Turaev (Berlin)
Title: Visibly Pushdown Languages in Groups
Abstract: The class VPL of Visibly Pushdown Languages is of interest in computer science due to its low complexity membership problem, rich closure properties akin to regular languages, and expressive power very closely linked to the set of all context-free languages. In recent years, VPL has been studied as a class of constraints on solution sets to equations in the free monoid. In this context, it was shown that the problem of solving word equations with VPL constraints is undecidable. This naturally raises analogous questions in the case of free groups, where word equations with rational constraints are known to be decidable, but other language constraints (including VPL) have not yet been considered. Namely, defining visibly pushdown languages in any given group is not a trivial task -- there are several important ways to encode language classes in a group.
In this talk we will discuss these distinct ways to define visibly pushdown languages in groups, focusing on the free group. After presenting some results on the structure of these VPL classes, we will see that that solving word equations with VPL constraints as reduced words is undecidable, mirroring the free monoid case. However, other ways of defining VPL sets exist, and yield several interesting open questions that may yet turn out decidable.
May 19, 2026 14:00 MA 366: Susan Hermiller (University of Nebraska)
Title: Subgroups of the group of dyadic piecewise linear homeomorphisms of the real line
Abstract: The group of dyadic orientation-preserving piecewise linear (PL) homeomorphisms of the unit interval is called Thompson's group F, and the question of which groups are - or cannot be - subgroups of F has yielded many interesting results. In this talk I'll discuss the question of what groups can or cannot be subgroups of Aut(F) (the automorphism group of F), and more particularly subgroups of an index 2 subgroup of Aut(F) that is isomorphic to a group of dyadic PL homeomorphisms of the real line. This is joint work with Conchita Martinez-Perez.
May 12, 2026 15:00 MA 366: Islam Foniqi (Berlin)
Title: The submonoid and rational subset membership problems for Artin groups
Abstract: We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both problems are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize those of Lohrey and Steinberg for right-angled Artin groups. Moreover, both decision problems are decidable for a given Artin group if and only if the group is subgroup separable.
May 12, 2026 14:00 MA 366: Marius Streiff (Heidelberg)
Title: Conjugation in T-RAAGs and graph products of groups
Abstract: Twisted right-angled Artin groups (T-RAAGs) and graph products of groups are two natural generalizations of right-angled Artin groups (RAAGs). The question arises, which nice geometric and algorithmic properties of right-angled Artin groups still hold for T-RAAGs and graph products of groups.
In this talk, I will present a geometric solution to the conjugacy problem in T-RAAGs and use it to compute the conjugator length function of T-RAAGs. If time permits, I will also give an outlook on the question how centralizers can be described in both graph products of groups and T-RAAGs using the quasi-median and median structure of their Cayley graphs.
May 8, 2026 14:15 MA 001, MATH+ Friday Colloquium: Susan Hermiller (University of Nebraska)
Title: A tale of three unknotting conjectures
Abstract: A knot is a circle embedded in 3-space; two knots are considered to be the same if we can deform one to the other, without breaking the circle or letting it pass through itself. Unknotting number is a fundamental measure of how complicated a knot is, measuring how far it is from the unknot via crossing changes. Unknotting number is a challenging invariant to compute; a vast array of tools have been applied to its calculation, and many conjectures have grown up around it.
In this talk, Hermiller will discuss three conjectures, each aimed at simplifying the task of computing unknotting numbers. She will describe how her resolution of one of these conjectures several years ago, in joint work with Mark Brittenham, led them recently to resolve another – the (non)additivity of unknotting number under connected sum.
Susan Hermiller is a Willa Cather Professor of Mathematics at the University of Nebraska. Her research focuses on the interplay between computational, combinatorial, and geometric properties in in group theory and low dimensional topology. After earning her Ph.D. at Cornell under the direction of Prof. Ken Brown, sheheld postdoctoral positions at the Mathematical Sciences Research Institute (now SLMath) and the University of Melbourne, and a faculty position at New Mexico State University, before moving to Nebraska. She is a Fellow of the American Mathematical Society.
May 7th 2026, EGGG University of Potsdam
East German Groups and Geometry is a seminar series designed to bring together people in eastern Germany working in (geometric) group theory and related fields. We aim to meet for one afternoon three times per year.
Our next meeting takes place on 7 May at the University of Potsdam, in room 2.22 of the Institute of Mathematics (House 9, Campus Golm). There will be three afternoon talks from 13:15 until 17:00. We are pleased to let you know that Anna Cascioli (University of Münster), Waltraud Lederle (University of Bielefeld) and Piotr Mizerka (Adam Mickiewicz University in Poznań) have agreed to give talks. We also plan to have dinner at 18:00 in downtown Potsdam.
If you would like to join, please fill out the sign-up form.
April 29, 2026 16:30 EN 058: Laura Ciobanu (Berlin). In the Diskrete Mathematik/Geometrie Seminar
Title: Counting in groups
Abstract: In this talk I will give an overview on growth (of elements, conjugacy classes etc) in groups and discuss both the asymptotics and the formal series associated to the objects we are counting. I will highlight how the rationality (or lack thereof) of these series is connected to both the algebraic and the geometric nature of the groups.
I will then focus on virtually abelian groups, that is, groups that have an abelian subgroup of finite index. The rationality of various growth series in virtually abelian groups is particularly striking, as it holds for any (weighted) generating set. The tools to prove rationality come from discrete geometry, combinatorics, theoretical computer science and linear algebra.
April 28, 2026 14:00 MA 366: Simon Andre (Paris)
Title: On the Tarski problem for hyperbolic groups in the presence of torsion
Abstract: Following his resolution of a famous problem of Tarski concerning elementary equivalence of non-abelian free groups, Sela gave a complete classification of torsion-free hyperbolic groups up to elementary equivalence. I will recall the necessary definitions, outline Sela's classification and explain some of the new difficulties encountered when elements of finite order are allowed, in particular the existence of pathological morphisms from surface groups to hyperbolic groups with torsion.
April 21, 2026 14:00 MA 366: Corentin Bodart (Oxford)
Title: Subgroup membership and formal languages
Abstract: The intersection of Geometric Group Theory and Formal Language Theory has been fruitful in the last 50 years. I'll start by recalling some of the key results in the area, such as the Muller-Schupp theorem on groups with context-free Word Problem and Lehnert's conjecture on groups with co-context-free Word Problem. In joint work with André Carvalho and Carl-Fredrik Nyberg-Brodda, we have been looking at similar languages related to another decision problem in groups: Subgroup Membership. I'll explain the toolbox we have been developing, apply it to examples and non-examples, and highlight some open problems along the way.
February 2nd 2026, Technische Universität Berlin
The inaugural meeting of EGGG will take place on the afternoon of Monday 2nd February 2026 at TU Berlin in room ER 164 (see the campus map). The titles and abstracts are below. The event will begin at 13:30, with the first talk at 13:45. Afterwards, we will go for dinner at Saigon Green at 17:45.
If you wish to attend, please fill out the sign up form. Please complete the form by the end of Thursday 29th January if you wish to join for dinner.
Schedule
Outer automorphism groups of Leary–Minasyan groups [13:45-14:45]
Motiejus Valiunas, University of Wrocław
Baumslag–Solitar groups, i.e. commensurating HNN-extensions of Z, have served as counterexamples to a variety of claims throughout the years – giving examples of finitely presented groups that are not Hopfian, or Hopfian but not residually finite, just to name a couple. More recently, the outer automorphism groups Out(G) of Baumslag–Solitar groups G have been studied, giving examples of such Out(G) that are not finitely generated. Following the tradition of studying this “bad” behaviour of Baumslag–Solitar-like groups, one may analyse the properties of Leary–Minasyan groups, i.e. commensurating HNN-extensions of Z^n; these have provided the first examples of CAT(0) groups that are not biautomatic. In the talk, I will describe Out(G) for Leary–Minasyan groups G, and give examples (to my knowledge, first such) of finitely presented metabelian groups with non-finitely generated Out. This is joint work with Naomi Andrew and Sam Hughes.
Stable subgroups of graph products [14:45-15:45]
Marie Trin, Max Planck Institute Leipzig
Stable subgroups of non-hyperbolic groups have been introduced by Durham and Taylor as a well defined notion of convexity in non-hyperbolic groups. For different examples of groups, stable subgroups are characterized through a well known action on a hyperbolic space. We will describe such characterizations of stable subgroups in RAAGs and mapping class groups and will see what are the analogs for graph products. This is based on joint work with S. H. Balasubramanya, M. Chesser, A. Kerr and J. Mangahas.
Coffee break [15:45-16:30]
Right-angled Coxeter groups: structure of their Hecke (operator) algebras [16:30-17:30]
Sven Raum, University of Potsdam
In this talk I will survey work on the structure of Hecke algebras and Hecke operator algebras associated with right-angled Coxeter groups done by various people over the past decade. I will assume a minimal background on Coxeter groups, but none on Hecke algebras or operator algebras. Results we discuss concern:
1) description of the centre and cocentre of Hecke algebras;
2) decomposition of Hecke von Neumann algebras into simple direct summands (aka factor decomposition);
3) simplicity of Hecke C*-algebras; and
4) calculation of algebraic and non-commutative geometry invariants of Hecke C*-algebras.
January 21, 2026 14:00 MA 366: Jan Moritz Petschick (Uni Bielefeld)
Title: Maximal subgroups in branch groups
Abstract: Branch groups are groups whose subgroup structure resembles a rooted tree. Among many other intriguing properties, they contain examples of groups with unusual restrictions on their maximal subgroups. In this talk, I will provide an account of what is known about maximal subgroups of branch groups and present some recent results.
January 14, 2026 14:00 MA 366: Matthew Konefal (Loughborough, UK)
Title: Definability in Theories Based on Free Group and Free Monoid Equations
Abstract: Equations in the free group and free monoid have long been studied together. I’ll outline their history and properties, comparing facets of their two theories. Each can be studied by adapting techniques developed for the other. After demonstrating this, we’ll focus on definability in theories whose atoms are free group equations. Tools for establishing nondefinability in this setting are due to group theorists and model theorists, yet have the appearance of word-combinatorial lemmas. The tools - combined - yield characterisations of definability, the free monoid analogues of which seem more elusive. I'll end discussing length abstractions and length constraints, which link equations to weak arithmetics. Naturally, more definability questions result, including major open problems.
December 10, 2025 14:30 ER 164: Leon Pernak (Uni Saarland)
Title: Quadratic equations in wreath products of abelian groups
Abstract: One of the strongest results that one can hope for when studying decidability questions in groups is the decidability of equations - is there an algorithm that, if we feed it a group equation, tells us if the equation has or does not have a solution in a given group? I will discuss this problem in the setting of wreath products of abelian groups. In particular, I will explain how to prove that the problem is decidable for quadratic equations, using techniques and intuitions inspired by commutative algebra. This is joint work with Ruiwen Dong and Jan-Philipp Wächter.
November 12, 2025 14:00 MA 650: Kevin Li (FU Berlin)
Title: On higher coherence of RAAGs
Abstract: A group is called coherent if every finitely generated subgroup is
finitely presented. It is a classical result of Droms that a RAAG is coherent
if and only if the defining graph is chordal. I will explain its proof and our
attempt to generalise it to higher coherence. Ongoing joint work with Luis
Jorge Sánchez Saldaña.
October 29, 2025 14:30 MA 650: Mireille Soergel (TUB)
Title: Dual Artin groups
Abstract: In 1998 when considering a new approach to the word and conjugacy problem in Braid groups, Birman-Ko-Lee introduce a new presentation for the braid group. This is now referred to as the dual presentation. Such dual presentations can be defined for all Artin groups. I will introduce standard and dual Artin groups and talk about some open conjectures.
October 29, 2025 13:45 MA 366: Tamara Imanuel
Title: Das Konjugationsproblem in RAAGs: Theorie und Algorithmus
October 22, 2025 14:30 MA 650: Sobhi Massalha (TUB)
Title: Sentences over Random Groups
Abstract: Around 2013, a natural conjecture by Julia Knight anticipated
that given a first order sentence, its truth value over a random group in
the few relators model, is equivalent to its truth value over non-abelian
free groups.
Our work extends the framework of this conjecture to random groups in the
Gromov Density Model, at optimal density d<1/2.
We prove the conjecture for sentences that belong to the Boolean algebra
of universal sentences, as well as for sentences of minimal rank with
arbitrary number of quantifiers, for random groups of density d<1/2.
In this talk, we will present our results and, as time permits, outline
the key strategies and ideas involved in the proofs.
October 8, 2025 10:45 MA 366: Alex Levine (University of East Anglia)
Title: The Diophantine problem in Thompson's group F
Abstract: We discuss equations in groups, and when there exists an algorithm that can decide if a given system of equations admits a solution. We mention some recent work on Thompson's groups F and T. Based on joint work with Luna Elliott.
October 8, 2025 10:00 MA 366: Nico Waldau (TU Berlin)
Title: Tits-Alternative für hyperbolische Gruppen