A virtually nilpotent group with non D-finite Green series

Corentin Bodart

2024-09-20

Abstract:We provide an example of a virtually $2$-step nilpotent group, and a specific generating set, for which the Green series (sometimes called cogrowth series) is not D-finite. The proof relies on an arithmetical miracle, and the study of the subword complexity of a multiplicative sequence coming out of it.

Group Theory,Combinatorics,Number Theory

What problem does this paper attempt to address?

Intermediate geodesic growth in virtually nilpotent groups

Corentin Bodart

2024-09-23

Abstract:We give a criterion on pairs $(G,S)$ - where $G$ is a virtually $s$-step nilpotent group and $S$ is a finite generating set - saying whether the geodesic growth is exponential or strictly sub-exponential. Whenever $s=1,2$, this goes further and we prove the geodesic growth is either exponential or polynomial. For $s\ge 3$ however, intermediate growth is possible. We provide an example of virtually $3$-step nilpotent group for which $\gamma_{\mathrm{geod}}(n) \asymp \exp\!\big(n^{3/5}\cdot \log(n)\big)$. This is the first known example of group with intermediate geodesic growth. Along the way, we prove results on the geometry of virtually nilpotent groups, including asymptotics with error terms for their volume growth.

Group Theory,Metric Geometry
ON TINY ZERO-SUM SEQUENCES OVER FINITE ABELIAN GROUPS

Weidong Gao,Wanzhen Hui,Xue Li,Xiaoer Qin,Qiuyu Yin

DOI: https://doi.org/10.4064/cm8607-9-2021

2022-01-01

Colloquium Mathematicum

Abstract:Let G be an additive finite abelian group. Let S = g(1) .... g(l) be a sequence over G, and k(S) = ord(g(1))(-1)+ ... + ord(g(l))(-1) be its cross number. Let t(G) (resp. eta(G)) be the smallest integer t such that every sequence of t elements, repetition allowed, from G has a non-empty zero-sum subsequence T with k(T) <= 1 (resp. vertical bar T vertical bar <= exp(G)). It is easy to see that t(G) >= eta (G). It is known that t(G) = eta(G) = vertical bar G vertical bar when G is cyclic, and for any integer r >= 3 there are infinitely many groups G of rank r such that t(G) > eta (G). Girard (2012) conjectured that t(G) = eta(G) for all finite abelian groups of rank 2. This conjecture has been verified only for the groups G similar or equal to C-p alpha circle plus C-p alpha, G similar or equal to C-2 circle plus C-2p and G similar or equal to C-3 circle plus C-3p with p >= 5, where p is a prime. We confirm this conjecture for more groups, including the groups G similar or equal to C-n circle plus C-n with the smallest prime divisor of n not less than the number of distinct prime divisors of n.
Inverse Zero-Sum Problems III

Weidong Gao,Alfred Geroldinger,David J. Grynkiewicz

DOI: https://doi.org/10.48550/arXiv.0801.3792

2008-01-25

Abstract:Let $G$ be a finite abeilian group. A sequence $S$ with terms from $G$ is zero-sum if the sum of terms in $S$ equals zero. It is a minimal zero-sum sequence if no proper, nontrivial subsequence is zero-sum. The maximal length of a minimal zero-sum subsequence in $G$ is the Davenport constant, denoted $D(G)$. For a rank 2 group $G=C_n \oplus C_n$, it is known that $D(G)=2n-1$. However, the structure of all maximal length minimal zero-sum sequences remains open. If every such sequence contains a term with multiplicity $n-1$, then $C_n \oplus C_n$ is said to have Property B, and it is conjectured that this is true for all rank 2 groups $C_n \oplus C_n$. In this paper, we show that Property B is multiplicative, namely, if $G=C_n \oplus C_n$ and $G=C_m \oplus C_m$ both satisfy Property B, with $m, n\geq 3$ odd and $mn>9$, then $C_{mn}\oplus C_{mn}$ satisfies Property B also. Combined with previous work in the literature, this reduces the question of establishing Property B to the prime cases, and in such case the complete structural description of the sequence follows.

Number Theory,Combinatorics
Residually finite groups with uniformly almost flat quotients

David Guo,Matthew Tointon

2024-10-30

Abstract:We show that if all the finite coset spaces of a polycyclic group have diameter bounded uniformly below by a polynomial in their size then the group is virtually nilpotent. We obtain the same conclusion for a finitely generated residually torsion-free nilpotent group under the weaker assumption that the finite quotient groups have diameter bounded uniformly below by a polynomial in their size. This extends work of Khukhro and Valette.

Group Theory,Combinatorics
Finite generation of nilpotent quotients of fundamental groups of punctured spectra

Takashi Suzuki

DOI: https://doi.org/10.1016/j.jalgebra.2023.07.005

2023-07-04

Abstract:In SGA 2, Grothendieck conjectures that the étale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In this paper, we prove a weaker statement, namely that the maximal pro-nilpotent quotient of the fundamental group is topologically finitely generated. The proof uses $p$-adic nearby cycles and negative definiteness of intersection pairings over resolutions of singularities as well as some analysis of Lie algebras of certain algebraic group structures on deformation cohomology.

Number Theory,Algebraic Geometry
Twisted conjugacy growth series of virtually abelian groups

Alex Evetts,Maarten Lathouwers

2024-10-24

Abstract:We initiate the study of the twisted conjugacy growth series of a finitely generated group, the formal power series associated to the twisted conjugacy growth function. Our main result is that this series is always an $\mathbb{N}$-rational function when the group in question is virtually abelian, and that this function can be explicitly computed from appropriate information about the group and the twisting endomorphism. We also show that the relative growth series of any twisted conjugacy class in a finitely generated virtually abelian group is itself an explicitly computable $\mathbb{N}$-rational function.

Group Theory
Dead ends and rationality of complete growth series

Pierre Alderic Bagnoud,Corentin Bodart

2024-07-02

Abstract:The complete growth series of a finitely generated group is given by $\sum_{n\ge 0} A_ns^n$, where $A_n$ is the sum of elements of length $n$ in the group semiring. We study the $\mathbb NG$-rationality and $\mathbb NG$-algebraicity of such series. We show that having dead ends of arbitrarily large depths is an obstruction to $\mathbb NG$-rationality. In the case of the $3$-dimensional Heisenberg group $H_3(\mathbb Z)$, we prove that the complete series is not $\mathbb NG$-algebraic for any generating set. Dead ends are also used to show that complete growth series of higher Heisenberg groups are not $\mathbb NG$-rational for specific generating sets. Using a more general version of this obstruction, we prove that complete growth series of some lamplighter groups are not $\mathbb NG$-rational either.

Group Theory
Rational cross-sections, bounded generation and orders on groups

Corentin Bodart

DOI: https://doi.org/10.1112/jlms.12920

2024-04-27

Abstract:We provide new examples of groups without rational cross-sections (also called regular normal forms), using connections with bounded generation and rational orders on groups. Specifically, our examples are extensions of infinite torsion groups, groups of Grigorchuk type, wreath products similar to $C_2\wr(C_2\wr \mathbb Z)$ and $\mathbb Z\wr F_2$, a group of permutations of $\mathbb Z$, and a finitely presented HNN extension of the first Grigorchuk group. This last group is the first example of finitely presented group with solvable word problem and without rational cross-sections. It is also not autostackable, and has no left-regular complete rewriting system.

Group Theory,Formal Languages and Automata Theory
Random Nilpotent Groups of Maximal Step

Phillip Harris

DOI: https://doi.org/10.48550/arXiv.2201.06033

2022-01-16

Abstract:Let $G$ be a random torsion-free nilpotent group generated by two random words of length $\ell$ in $U_n(\mathbb{Z})$. Letting $\ell$ grow as a function of $n$, we analyze the step of $G$, which is bounded by the step of $U_n(\mathbb{Z})$. We prove a conjecture of Delp, Dymarz, and Schafer-Cohen, that the threshold function for full step is $\ell = n^2$.

Group Theory
An elementary proof of the Benjamini-Nekrashevych-Pete conjecture for the semi-direct products $\mathbb{Z}^n\rtimes \mathbb{Z}$

Dean Wardell

2024-05-06

Abstract:A finitely generated group $G$ is called strongly scale-invariant if there exists an injective homomorphism $f:G\to G$ such that $f(G)$ is a finite index subgroup of $G$ and such that $\cap_{n\geq 0} f^n(G)$ is finite. Nekrashevych and Pete conjectured that all strongly scale-invariant groups are virtually nilpotent, after disproving a stronger conjecture by Benjamini.

Group Theory
A survey on maximal green sequences

Laurent Demonet,Bernhard Keller

DOI: https://doi.org/10.48550/arXiv.1904.09247

2020-12-02

Abstract:Maximal green sequences appear in the study of Fomin-Zelevinsky's cluster algebras. They are useful for computing refined Donaldson-Thomas invariants, constructing twist automorphisms and proving the existence of theta bases and generic bases. We survey recent progress on their existence and properties and give a representation-theoretic proof of Greg Muller's theorem stating that full subquivers inherit maximal green sequences. In the appendix, Laurent Demonet describes maximal chains of torsion classes in terms of bricks generalizing a theorem by Igusa.

Representation Theory,Algebraic Geometry,Combinatorics
Nilpotent Invariants for Generic Discrete Series of Real Groups

Jeffrey Adams,Alexandre Afgoustidis

2024-10-05

Abstract:Let $G(\mathbb{R})$ be a real reductive group. Suppose $\pi$ is an irreducible representation of $G(\mathbb{R})$ having a Whittaker model, and consider three invariants of $\pi$ related to nilpotents elements of the Lie algebra of $G$ (or its dual): the associated variety, the wave-front set, and the set of Whittaker data for which $\pi$ has a Whittaker model. If $\pi$ is a discrete series representation, these invariants are known to determine each other. We provide a self-contained account of this and related results, including an elementary proof that passage from $\pi$ to the three invariants defines natural bijections between the generic discrete series in an $L$-packet, the possible Whittaker data for $G(\mathbb{R})$, and the appropriate sets of nilpotent orbits. Given one of the three invariants, we also explain how to reconstruct the other two. Many of the results were known: we give simplified proofs for several of them, for instance a simple proof (for generic discrete series) that the associated variety and the wave-front set are related by the Kostant-Sekiguchi correspondence.

Representation Theory
Subgroup growth in free class-$2$-nilpotent groups

Viola Siconolfi,Marlies Vantomme,Christopher Voll

2024-11-03

Abstract:We describe an effective procedure to compute the local subgroup zeta functions of the free class-$2$-nilpotent groups on $d$ generators, for all $d$. For $d=4$, this yields a new, explicit formula. For $d\in\{4,5\}$, we compute the topological subgroup zeta function. We also obtain general results about the reduced and topological subalgebra zeta functions. For the former, we determine the behaviour at one and for the latter, the degree and behaviours at zero and infinity. Some of these results confirm, in the relevant special cases, general conjectures by T. Rossmann.

Group Theory,Combinatorics
Invariable generation of certain branch groups

Charles Garnet Cox,Anitha Thillaisundaram

2024-07-16

Abstract:We investigate invariable generation among key examples of branch groups. In particular, we prove that all generating sets of the torsion Grigorchuk groups, of the branch Grigorchuk-Gupta-Sidki groups and of the torsion multi-EGS groups (which are natural generalisations of the Grigorchuk-Gupta-Sidki groups) are invariable generating sets. Furthermore, for the first Grigorchuk group and the torsion Grigorchuk-Gupta-Sidki groups, every finitely generated subgroup has a finite invariable generating set. We also show that a branch Grigorchuk-Gupta-Sidki group is almost $\frac32$-generated, that the diameter of its generating subgraph $\Delta(G)$ is 2 and its total domination number is 2. Some of our results apply to groups for which every maximal subgroup is normal. This class, known as $\mathcal{MN}$, includes all nilpotent groups.

Group Theory
On subgroups with narrow Schreier graphs

Pénélope Azuelos

2024-08-26

Abstract:We study finitely generated pairs of groups $H \leq G$ such that the Schreier graph of $H$ has at least two ends and is \emph{narrow}. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that $H$ is a virtual fiber subgroup if and only if $G$ contains infinitely many double cosets of $H$. Along the way, we prove that if a group acts essentially on a finite dimensional CAT(0) cube complex with no facing triples then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.

Group Theory
Small, $nm$-stable compact $G$-groups

Krzysztof Krupinski,Frank Olaf Wagner

DOI: https://doi.org/10.48550/arXiv.1006.5139

2011-10-03

Abstract:We prove that if $(H,G)$ is a small, $nm$-stable compact $G$-group, then $H$ is nilpotent-by-finite, and if additionally $\NM(H) \leq \omega$, then $H$ is abelian-by-finite. Both results are significant steps towards the proof of the conjecture that each small, $nm$-stable compact $G$-group is abelian-by-finite. We give examples of small, $nm$-stable compact $G$-groups of infinite ordinal $\NM$-rank, providing counter-examples to the $\NM$-gap conjecture.

Logic,Group Theory
The pure cactus group is residually nilpotent

Jacob Mostovoy

DOI: https://doi.org/10.48550/arXiv.1804.09165

2018-04-25

Abstract:We show that the pure cactus group $\Gamma_{n+1}$ is residually nilpotent and exhibit a surjective homomorphism $\Gamma_{n+1} \to (\mathbb{Z}/2\mathbb{Z})^{2^n-n(n+1)/2-1}$ whose kernel is residually torsion-free nilpotent.

Group Theory
Two-step nilpotent extensions are not anabelian

Peter Koymans,Carlo Pagano

DOI: https://doi.org/10.1007/s00209-023-03424-1

2024-01-20

Mathematische Zeitschrift

Abstract:We prove the existence of two non-isomorphic number fields K and L such that the maximal two-step nilpotent quotients of their absolute Galois groups are isomorphic. In particular, one may take K and L to be any of the fields , , , or . Furthermore, we give an explicit combinatorial description of these Galois groups in terms of a generalization of the Rado graph. A critical ingredient in our proofs is the back-and-forth method from model theory.

mathematics
Thresholds for zero-sums with small cross numbers in abelian groups

Neal Bushaw,Glenn Hurlbert

2024-05-28

Abstract:For an additive group $\Gamma$ the sequence $S = (g_1, \ldots, g_t)$ of elements of $\Gamma$ is a zero-sum sequence if $g_1 + \cdots + g_t = 0_\Gamma$. The cross number of $S$ is defined to be the sum $\sum_{i=1}^k 1/|g_i|$, where $|g_i|$ denotes the order of $g_i$ in $\Gamma$. Call $S$ good if it contains a zero-sum subsequence with cross number at most 1. In 1993, Geroldinger proved that if $\Gamma$ is abelian then every length $|\Gamma|$ sequence of its elements is good, generalizing a 1989 result of Lemke and Kleitman that had proved an earlier conjecture of Erdős and Lemke. In 1989 Chung re-proved the Lemke and Kleitman result by applying a theorem of graph pebbling, and in 2005, Elledge and Hurlbert used graph pebbling to re-prove and generalize Geroldinger's result. Here we use probabilistic theorems from graph pebbling to derive a threshold version of Geroldinger's theorem for abelian groups of a certain form. Specifically, we prove that if $p_1, \ldots, p_d$ are (not necessarily distinct) primes and $\Gamma_k$ has the form $\prod_{i=1}^d {\mathbb Z}_{p_i^k}$ then there is a function $\tau=\tau(k)$ (which we specify in Theorem 4) with the following property: if $t-\tau\rightarrow\infty$ as $k\rightarrow\infty$ then the probability that $S$ is good in $\Gamma_k$ tends to 1.

Combinatorics

A virtually nilpotent group with non D-finite Green series

Intermediate geodesic growth in virtually nilpotent groups

ON TINY ZERO-SUM SEQUENCES OVER FINITE ABELIAN GROUPS

Inverse Zero-Sum Problems III

Residually finite groups with uniformly almost flat quotients

Finite generation of nilpotent quotients of fundamental groups of punctured spectra

Twisted conjugacy growth series of virtually abelian groups

Dead ends and rationality of complete growth series

Rational cross-sections, bounded generation and orders on groups

Random Nilpotent Groups of Maximal Step

An elementary proof of the Benjamini-Nekrashevych-Pete conjecture for the semi-direct products $\mathbb{Z}^n\rtimes \mathbb{Z}$

A survey on maximal green sequences

Nilpotent Invariants for Generic Discrete Series of Real Groups

Subgroup growth in free class-$2$-nilpotent groups

Invariable generation of certain branch groups

On subgroups with narrow Schreier graphs

Small, $nm$-stable compact $G$-groups

The pure cactus group is residually nilpotent

Two-step nilpotent extensions are not anabelian

Thresholds for zero-sums with small cross numbers in abelian groups