Connectedness of a space of branched coverings with a periodic cycle
We prove the connectedness of the following locus: the space of degree-$d$ branched self-coverings of $S^2$ with two critical points of order $d$, one of which is $n$-periodic.
Researcher profile
Laurent Bartholdi
Laurent Bartholdi contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
11topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
19 published item(s)
preprint2022arXiv
Growth of groups with linear Schreier graphs
We introduce a new method of proving upper estimates of growth of finitely generated groups and constructing groups of intermediate growth using graphs of their actions. These estimates are of the form $\exp(n^α)$ for some $α<1$, and provide the first examples of such bounds for simple groups of intermediate growth.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Representation zeta functions of self-similar branched groups
We compute the number of irreducible linear representations of self-similar branch groups, by expressing these numbers as the coëfficients a_n of a Dirichlet series sum a_n n^{-s}. We show that this Dirichlet series has a positive abscissa of convergence, is algebraic over the ring Q[2^{-s},...,P^{-s}] for some integer P, and show that it can be analytically continued (through root singularities) to the left half-plane. We compute the abscissa of convergence and the functional equation for some prominent examples of branch groups, such as the Grigorchuk and Gupta-Sidki groups.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Tree languages and branched groups
We study the portraits of isometries of rooted trees - the labelling of the tree, at each vertex, by the permutation of its descendants - in terms of languages. We characterize regularly branched self-similar groups in terms of $ω$-regular languages. We deduce the algorithmic decidability of some problems, such as the comparison of regularly branched contracting groups, and their orbit structure on the boundary of the rooted tree.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
An odd order group without the dimension property
We construct a finitely presented group $G$ such that the $7$th dimension quotient $G\cap(1+\varpi(\mathbb Z G)^7)/γ_7(G)$ has an element of order $3$; this immediately leads to a finite $3$-group without the dimension property. This contradicts a series of results by N. Gupta.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Group and Lie algebra filtrations and homotopy groups of spheres
We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary $s,d$ the torsion of the homotopy group $π_s(S^d)$ into a dimension quotient, via a result of Wu. In particular, this invalidates some long-standing results in the literature, since for every prime $p$, there is some $p$-torsion in $π_{2p}(S^2)$ by a result of Serre. We explain in this manner Rips's famous counterexample to the dimension conjecture in terms of the homotopy group $π_4(S^2)=\mathbb Z/2\mathbb Z$. We finally obtain analogous results in the context of Lie rings: for every prime $p$ there exists a Lie ring with $p$-torsion in some dimension quotient.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Commutator width in the first Grigorchuk group
Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $g\in [G,G]$ is a product of two commutators, and also of six conjugates of $a$. Furthermore, we show that every finitely generated subgroup $H\leq G$ has finite commutator width, which however can be arbitrarily large, and that $G$ contains a subgroup of infinite commutator width. The proofs were assisted by the computer algebra system GAP.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Equitable voting rules
May's Theorem (1952), a celebrated result in social choice, provides the foundation for majority rule. May's crucial assumption of symmetry, often thought of as a procedural equity requirement, is violated by many choice procedures that grant voters identical roles. We show that a weakening of May's symmetry assumption allows for a far richer set of rules that still treat voters equally. We show that such rules can have minimal winning coalitions comprising a vanishing fraction of the population, but not less than the square root of the population size. Methodologically, we introduce techniques from group theory and illustrate their usefulness for the analysis of social choice questions.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems
We give lower bounds on the complexity of the word problem of certain non-solvable groups: for a large class of non-solvable infinite groups, including in particular free groups, Grigorchuk's group and Thompson's groups, we prove that their word problem is $\mathsf{NC}^1$-hard. For some of these groups (including Grigorchuk's group and Thompson's groups) we prove that the compressed word problem (which is equivalent to the circuit evaluation problem) is $\mathsf{PSPACE}$-complete.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Right Angled Artin Groups and partial commutation, old and new
We compute the $p$-central and exponent-$p$ series of all right angled Artin groups, and compute the dimensions of their subquotients. We also describe their associated Lie algebras, and relate them to the cohomology ring of the group as well as to a partially commuting polynomial ring and power series ring. We finally show how the growth series of these various objects are related to each other.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
The Thue-Morse substitutions and self-similar groups and algebras
We introduce self-similar algebras and groups closely related to the Thue-Morse sequence, and begin their investigation by describing a character on them, the "spread" character.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Orange Peels and Fresnel Integrals
There are two standard ways of peeling an orange: either cut the skin along meridians, or cut it along a spiral. We consider here the second method, and study the shape of the spiral strip, when unfolded on a table. We derive a formula that describes the corresponding flattened-out spiral. Cutting the peel with progressively thinner strip widths, we obtain a sequence of increasingly long spirals. We show that, after rescaling, these spirals tends to a definite shape, known as the Euler spiral. The Euler spiral has applications in many fields of science. In optics, the illumination intensity at a point behind a slit is computed from the distance between two points on the Euler spiral. The Euler spiral also provides optimal curvature for train tracks between a straight run and an upcoming bend. It is striking that it can be also obtained with an orange and a kitchen knife.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Groups and Lie algebras corresponding to the Yang-Baxter equations
For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal enveloping algebras of the Lie algebras tr_n, qtr_n are Koszul, and find their Hilbert series. We also compute the cohomology rings of these Lie algebras (which by Koszulity are the quadratic duals of the enveloping algebras). We construct cell complexes which are classifying spaces of the groups Tr_n and QTr_n, and show that the boundary maps in them are zero, which allows us to compute the integral cohomology of these groups. We show that the Lie algebras tr_n, qtr_n map onto the associated graded algebras of the Malcev Lie algebras of the groups Tr_n, QTr_n, respectively. We conjecture that this map is actually an isomorphism (this is now a theorem due to P. Lee). At the same time, we show that the groups Tr_n and QTr_n are not formal for n>3.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Rational subsets of groups
This text, Chapter 23 in the "AutoMathA" handbook, is devoted to the study of rational subsets of groups, with particular emphasis on the automata-theoretic approach to finitely generated subgroups of free groups. Indeed, Stallings' construction, associating a finite inverse automaton with every such subgroup, inaugurated a complete rewriting of free group algorithmics, with connections to other fields such as topology or dynamics. Another important vector in the chapter is the fundamental Benois' Theorem, characterizing rational subsets of free groups. The theorem and its consequences really explain why language theory can be successfully applied to the study of free groups. Rational subsets of (free) groups can play a major role in proving statements (a priori unrelated to the notion of rationality) by induction. The chapter also includes related results for more general classes of groups, such as virtually free groups or graph groups.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Representation zeta functions of wreath products with finite groups
Let G be a group which has for all n a finite number r_n(G) of irreducible complex linear representations of dimension n. Let $ζ(G,s) = \sum_{n=1}^{\infty} r_n(G) n^{-s}$ be its representation zeta function. First, in case G is a permutational wreath product of H with a permutation group Q acting on a finite set X, we establish a formula for $ζ(G,s)$ in terms of the zeta functions of H and of subgroups of Q, and of the Moebius function associated with the lattice of partitions of X in orbits under subgroups of Q. Then, we consider groups W(Q,k) which are k-fold iterated wreath products of Q, and several related infinite groups W(Q), including the profinite group, a locally finite group, and several finitely generated groups, which are all isomorphic to a wreath product of themselves with Q. Under convenient hypotheses (in particular Q should be perfect), we show that r_n(W(Q)) is finite for all n, and we establish that the Dirichlet series $ζ(W(Q),s)$ has a finite and positive abscissa of convergence s_0. Moreover, the function $ζ(W(Q),s)$ satisfies a remarkable functional equation involving $ζ(W(Q),es)$ for e=1,...,|X|. As a consequence of this, we exhibit some properties of the function, in particular that $ζ(W(Q),s)$ has a singularity at s_0, a finite value at s_0, and a Puiseux expansion around s_0. We finally report some numerical computations for Q the simple groups of order 60 and 168.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The congruence subgroup problem for branch groups
We state and study the congruence subgroup problem for groups acting on rooted tree, and for branch groups in particular. The problem is reduced to the computation of the congruence kernel, which we split into two parts: the branch kernel and the rigid kernel. In the case of regular branch groups, we prove that the first one is Abelian while the second has finite exponent. We also establish some rigidity results concerning these kernels. We work out explicitly known and new examples of non-trivial congruence kernels, describing in each case the group action. The Hanoi tower group receives particular attention due to its surprisingly rich behaviour.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The Twisted Twin of the Grigorchuk Group
We study a twisted version of Grigorchuk's first group, and stress its similarities and differences to its model. In particular, we show that it admits a finite endomorphic presentation, has infinite-rank multiplier, and does not have the congruence property.
0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv
Infinite groups with large balls of torsion elements and small entropy
We exhibit infinite, solvable, virtually abelian groups with a fixed number of generators, having arbitrarily large balls consisting of torsion elements. We also provide a sequence of 3-generator non-virtually nilpotent polycyclic groups of algebraic entropy tending to zero. All these examples are obtained by taking appropriate quotients of finitely presented groups mapping onto the first Grigorchuk group.
0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv
Amenability via random walks
We answer an open question of Grigorchuk and Zuk about amenability using random walks. Our results separate the class of amenable groups from the closure of subexponentially growing groups under the operations of group extension and direct limits; these classes are separated even within the realm of finitely presented groups.
0 citations0 reviewsNo code linkedOpen access