Showing 1–17 of 17 results for author: Pengitore, M

Automorphism groups of solvable groups of finite abelian ranks

Authors: Jonas Deré, Mark Pengitore

Abstract: The $\mathbb{Q}$-algebraic hull of a virtually polycyclic group $Γ$ is an important tool to study its group of automorphisms $\Aut(Γ)$ using linear algebraic groups. For example, it was used by Baues and Grünewald to prove that $\Out(Γ)$ is an arithmetic group, although $\Aut(Γ)$ is not for a general virtually polycyclic group. The original definition due to Mostow was generalized to the class of… ▽ More The $\mathbb{Q}$-algebraic hull of a virtually polycyclic group $Γ$ is an important tool to study its group of automorphisms $\Aut(Γ)$ using linear algebraic groups. For example, it was used by Baues and Grünewald to prove that $\Out(Γ)$ is an arithmetic group, although $\Aut(Γ)$ is not for a general virtually polycyclic group. The original definition due to Mostow was generalized to the class of virtually solvable groups of finite abelian ranks by Arapura and Nori to study Kähler manifolds, although other applications were not considered. This paper gives a new explicit construction of the $\Q$-algebraic hull for virtually solvable groups $Γ$ of finite abelian ranks, taking into account the spectrum $S$ of the group $Γ$. As an application, we make a detailed study into the structure of $\Aut(Γ)$ and show that several natural subgroups are $S$-arithmetic under the condition that $\Fitt(Γ)$ is $S$-arithmetic. Additionally, we demonstrate that the natural generalization of the aforementioned result by Baues and Grünewald fails even for most solvable Baumslag-Solitar groups. Among the other applications of our main result is also a theorem showing that if $Γ$ is strongly scale-invariant, it must be virtually nilpotent, giving a special case of a conjecture by Nekrashevych and Pete and an extension of the previous known result for virtually polycyclic groups. △ Less

Submitted 9 June, 2025; originally announced June 2025.

Comments: 35 pages

Rational cohomology and Zariski dense subgroups of solvable linear algebraic groups

Authors: Milana Golich, Mark Pengitore

Abstract: In this article, we establish results concerning the cohomology of Zariski dense subgroups of solvable linear algebraic groups. We show that for an irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$, there exists an isomorphism between the cohomology rings with coefficients in a finite dimensional rational $\mathbf{G}$-module $M$ of the associated $\mathbb{Q}$-defined Li… ▽ More In this article, we establish results concerning the cohomology of Zariski dense subgroups of solvable linear algebraic groups. We show that for an irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$, there exists an isomorphism between the cohomology rings with coefficients in a finite dimensional rational $\mathbf{G}$-module $M$ of the associated $\mathbb{Q}$-defined Lie algebra $\mathfrak{g_\mathbb{Q}}$ and Zariski dense subgroups $Γ\leq \mathbf{G}(\mathbb{Q})$ that satisfy the condition that they intersect the $\mathbb{Q}$-split maximal torus discretely. We further prove that the restriction map in rational cohomology from $\mathbf{G}$ to a Zariski dense subgroup $Γ\leq \mathbf{G}(\mathbb{Q})$ with coefficients in $M$ is an injection. We then derive several results regarding finitely generated solvable groups of finite abelian rank and their representations on cohomology. △ Less

Submitted 10 June, 2025; v1 submitted 16 September, 2024; originally announced September 2024.

$\mathcal{C}$-Hereditarily conjugacy separable groups and wreath products

Authors: Alexander Bishop, Michal Ferov, Mark Pengitore

Abstract: We provide a necessary and sufficient condition for the restricted wreath product $A\wr B$ to be $\mathcal{C}$-hereditarily conjugacy separable where $\mathcal{C}$ is an extension-closed pseudo-variety of finite groups. Moreover, we prove that the Grigorchuk group is 2-hereditarily conjugacy separable. We provide a necessary and sufficient condition for the restricted wreath product $A\wr B$ to be $\mathcal{C}$-hereditarily conjugacy separable where $\mathcal{C}$ is an extension-closed pseudo-variety of finite groups. Moreover, we prove that the Grigorchuk group is 2-hereditarily conjugacy separable. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 45 pages. First version, comments and suggestions welcome!

Survey on effective separability

Authors: Jonas Deré, Michal Ferov, Mark Pengitore

Abstract: Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is related to algorithmic problems in groups such as the word problem. A more recent perspective tries to study the order of the smallest finite quotient in which one d… ▽ More Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is related to algorithmic problems in groups such as the word problem. A more recent perspective tries to study the order of the smallest finite quotient in which one detects the subset under consideration depending on its complexity, measured using the word norm on a finitely generated group. In this survey, we present what is currently known in the field of effective separability and give an overview of the open questions for several classes of groups. △ Less

Submitted 31 January, 2022; originally announced January 2022.

Comments: v1 Comments welcome

Bounding conjugacy depth functions for wreath products of finitely generated abelian groups

Authors: Michal Ferov, Mark Pengitore

Abstract: In this article, we study the asymptotic behaviour of conjugacy separability for wreath products of abelian groups. We fully characterise the asymptotic class in the case of lamplighter groups and give exponential upper and lower bounds for generalised lamplighter groups. In the case where the base group is infinite, we give superexponential lower and upper bounds. We apply our results to obtain l… ▽ More In this article, we study the asymptotic behaviour of conjugacy separability for wreath products of abelian groups. We fully characterise the asymptotic class in the case of lamplighter groups and give exponential upper and lower bounds for generalised lamplighter groups. In the case where the base group is infinite, we give superexponential lower and upper bounds. We apply our results to obtain lower bounds for conjugacy depth functions of various wreath products of groups where the acting group is not abelian. △ Less

Submitted 26 September, 2023; v1 submitted 16 January, 2022; originally announced January 2022.

Comments: 33 pages. Published in journal of Groups, Complexity, Cryptology. arXiv admin note: substantial text overlap with arXiv:2111.14722

Journal ref: journal of Groups, complexity, cryptology, Volume 15, Issue 1 (September 28, 2023) gcc:11728

Conjugacy depth function for generalised lamplighter groups

Authors: Michal Ferov, Mark Pengitore

Abstract: In this article, we completely characterize the asymptotic behavior of conjugacy separability for the lamplighter groups. More generally, we give exponential upper and lower bounds for all wreath products of finitely generated abelian groups where the acting group is infinite and base group is finite. In this article, we completely characterize the asymptotic behavior of conjugacy separability for the lamplighter groups. More generally, we give exponential upper and lower bounds for all wreath products of finitely generated abelian groups where the acting group is infinite and base group is finite. △ Less

Submitted 18 January, 2023; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: The content of this preprint was merged with and replaced by the preprint arXiv:2201.06165

MSC Class: 20E26; 20E22

Rational growth in torus bundle groups of odd trace

Authors: Seongjun Choi, Meng-Che "Turbo" Ho, Mark Pengitore

Abstract: A group is said to hae a rational growth with respect to the generating set if the growth series is a rational polynomial. It was shown by Parry that a subset of torus bundle groups exhibits rational growth. We generalize this result to other torus bundle groups. A group is said to hae a rational growth with respect to the generating set if the growth series is a rational polynomial. It was shown by Parry that a subset of torus bundle groups exhibits rational growth. We generalize this result to other torus bundle groups. △ Less

Submitted 14 December, 2020; originally announced December 2020.

A coarse embedding theorem for homological filling functions

Authors: Robert Kropholler, Mark Pengitore

Abstract: We demonstrate under appropriate finiteness conditions that a coarse embedding induces an inequality of homological Dehn functions. Applications of the main results include a characterization of what finitely presentable groups may admit a coarse embedding into a hyperbolic group of geometric dimension $2$, characterizations of finitely presentable subgroups of groups with quadratic Dehn function… ▽ More We demonstrate under appropriate finiteness conditions that a coarse embedding induces an inequality of homological Dehn functions. Applications of the main results include a characterization of what finitely presentable groups may admit a coarse embedding into a hyperbolic group of geometric dimension $2$, characterizations of finitely presentable subgroups of groups with quadratic Dehn function with geometric dimension $2$, and to coarse embeddings of nilpotent groups into other nilpotent groups of the same growth and into hyperbolic groups. △ Less

Submitted 18 November, 2020; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: 11 pages, 4 figures

MSC Class: 57M07; 20E07; 20J05

Geometry of non-transitive graphs

Authors: Josiah Oh, Mark Pengitore

Abstract: In this note, we study non-transitive graphs and prove a number of results when they satisfy a coarse version of transitivity. Also, for each finitely generated group $G$, we produce continuum many pairwise non-quasi-isometric regular graphs that have the same growth rate, number of ends, and asymptotic dimension as $G$. In this note, we study non-transitive graphs and prove a number of results when they satisfy a coarse version of transitivity. Also, for each finitely generated group $G$, we produce continuum many pairwise non-quasi-isometric regular graphs that have the same growth rate, number of ends, and asymptotic dimension as $G$. △ Less

Submitted 18 September, 2020; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: 13 pages, 7 figures

MSC Class: 20F65; 20F69; 20F18; 51F30

Journal ref: Pacific J. Math. 317 (2022) 423-440

Coarse models of homogeneous spaces and translations-like actions

Authors: D. B. McReynolds, Mark Pengitore

Abstract: For finitely generated groups $G$ and $H$ equipped with word metrics, a translation-like action of $H$ on $G$ is a free action where each element of $H$ moves elements of $G$ a bounded distance. Translation-like actions provide a geometric generalization of subgroup containment. Extending work of Cohen, we show that cocompact lattices in a general semisimple Lie group $\mathbf{G}$ that is not isog… ▽ More For finitely generated groups $G$ and $H$ equipped with word metrics, a translation-like action of $H$ on $G$ is a free action where each element of $H$ moves elements of $G$ a bounded distance. Translation-like actions provide a geometric generalization of subgroup containment. Extending work of Cohen, we show that cocompact lattices in a general semisimple Lie group $\mathbf{G}$ that is not isogenous to $\mathrm{SL}(2,\mathbb{R})$ admit translation-like actions by $\mathbb{Z}^2$. This result follows from a more general result. Namely, we prove that any cocompact lattice in the unipotent radical $\mathbf{N}$ of the Borel subgroup $\mathbf{AN}$ of $\mathbf{G}$ acts translation-like on any cocompact lattice in $\mathbf{G}$. We also prove that for noncompact simple Lie groups $G,H$ with $H<G$ and lattices $Γ< G$ and $Δ< H$, that $Γ/Δ$ is quasi-isometric to $G/H$ where $Γ/Δ$ is the quotient via a translation-like action of $Δ$ on $Γ$. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Quantifying conjugacy separability in wreath products of groups

Authors: Michal Ferov, Mark Pengitore

Abstract: We study generalisations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for $\mathcal{C}$-conjugacy separability of a wreath product $A \wr B$ in terms of the $\mathcal{C}$-conjugacy separability of $A$ and $B$, the growth of $\mathcal{C}$-cyclic subgroup separability of $B$, and the $\mathcal{C}$-residual girth of $B.$ As an application, we… ▽ More We study generalisations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for $\mathcal{C}$-conjugacy separability of a wreath product $A \wr B$ in terms of the $\mathcal{C}$-conjugacy separability of $A$ and $B$, the growth of $\mathcal{C}$-cyclic subgroup separability of $B$, and the $\mathcal{C}$-residual girth of $B.$ As an application, we provide a characterisation of when $A \wr B$ is $p$-conjugacy separable. We use this characterisation to the provide for each prime $p$ an example of wreath products with infinite base group that are $p$-conjugacy separable. We also provide asymptotic upper bounds for conjugacy separability for wreath products of nilpotent groups which include the lamplighter groups and provide asymptotic upper bounds for conjugacy separability of the free metabelian groups. Along the way, we provide a polynomial upper bound for the shortest conjugator between two elements of length at most $n$ in a finitely generated nilpotent group. △ Less

Submitted 21 April, 2022; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: 35 pages. Minor changes to the manuscript following the referee's comments. Expanded exposition for better readability, numbering of statements has changed

Residual finiteness and strict distortion of cyclic subgroups of solvable groups

Authors: Mark Pengitore

Abstract: We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of solvable groups which include polycyclic groups with a nontrivial exponential radical and the metabelian Baumslag-Solitar groups, we improve the lower bounds found… ▽ More We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of solvable groups which include polycyclic groups with a nontrivial exponential radical and the metabelian Baumslag-Solitar groups, we improve the lower bounds found in the literature. Additionally, for the class of residually finite, finitely generated solvable groups of infinite Prüfer rank that satisfy the conditions of our theorem, we provide the first nontrivial lower bounds. △ Less

Submitted 30 November, 2019; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: 7 pages. More examples added. To appear in Journal of Algebra

Journal ref: J. Algebra. 546 (2020), 679-688

Residual dimension of nilpotent groups

Authors: Mark Pengitore

Abstract: The functions $F_{G}(n)$ measures the asymptotic behavior of residual finiteness for a finitely generated group $G$. In previous work \cite{Pengitore_1}, the author claimed a characterization for $F_{N}(n)$ when $N$ is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and subsequently, the statement of the asymptotic characterization… ▽ More The functions $F_{G}(n)$ measures the asymptotic behavior of residual finiteness for a finitely generated group $G$. In previous work \cite{Pengitore_1}, the author claimed a characterization for $F_{N}(n)$ when $N$ is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and subsequently, the statement of the asymptotic characterization of $F_{N}(n)$ is incorrect. In this article, we introduce new tools to provide lower asymptotic bounds for $F_{N}(n)$ when $N$ is a finitely generated nilpotent group. Moreover, we introduce a class of finitely generated nilpotent groups for which the upper bound of \cite{Pengitore_1} can be improved. Finally, we construct of a class of finitely generated nilpotent groups $N$ for which the asymptotic behavior of $F_N(n)$ can be fully characterized. △ Less

Submitted 7 June, 2020; v1 submitted 20 September, 2018; originally announced September 2018.

Comments: 18 pages, Final version, To appear in Journal of Group Theory

MSC Class: 20F18

Effective Subgroup Separability of Finitely Generated Nilpotent Groups

Authors: Jonas Deré, Mark Pengitore

Abstract: This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computatio… ▽ More This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computation generalizing work of the second author. We introduce a function that quantifies subgroup separability, and we provide polynomial upper and lower bounds. We finish by demonstrating that our results extend to virtually nilpotent groups. △ Less

Submitted 1 October, 2018; v1 submitted 21 November, 2017; originally announced November 2017.

Comments: V2: Removed reference to erroneous result about effective residual finiteness for nilpotent groups. This has no effect on the methods of the paper, but slightly changes the second part of Theorem 1.1

Effective Twisted Conjugacy Separability of Nilpotent Groups

Authors: Jonas Deré, Mark Pengitore

Abstract: This paper initiates the study of effective twisted conjugacy separability for finitely generated groups, which measures the complexity of separating distinct twisted conjugacy classes via finite quotients. The focus is on nilpotent groups, and our main result shows that there is a polynomial upper bound for twisted conjugacy separability. That allows us to study regular conjugacy separability in… ▽ More This paper initiates the study of effective twisted conjugacy separability for finitely generated groups, which measures the complexity of separating distinct twisted conjugacy classes via finite quotients. The focus is on nilpotent groups, and our main result shows that there is a polynomial upper bound for twisted conjugacy separability. That allows us to study regular conjugacy separability in the case of virtually nilpotent groups, where we compute a polynomial upper bound as well. As another application, we improve the work of the second author by giving a precise calculation of conjugacy separability for finitely generated nilpotent groups of nilpotency class 2. △ Less

Submitted 24 August, 2018; v1 submitted 29 May, 2017; originally announced May 2017.

Comments: V2: removed reference to false result of other paper. Accepted for publication in Math. Z

Translation-like actions of nilpotent groups

Authors: David Bruce Cohen, Mark Pengitore

Abstract: We give a new obstruction to translation-like actions on nilpotent groups. Suppose we are given two finitely generated torsion free nilpotent groups with the same degree of polynomial growth, but non-isomorphic Carnot completions (asymptotic cones). We show that there exists no injective Lipschitz function from one group to the other. It follows that neither group can act translation-like on the o… ▽ More We give a new obstruction to translation-like actions on nilpotent groups. Suppose we are given two finitely generated torsion free nilpotent groups with the same degree of polynomial growth, but non-isomorphic Carnot completions (asymptotic cones). We show that there exists no injective Lipschitz function from one group to the other. It follows that neither group can act translation-like on the other. △ Less

Submitted 23 April, 2017; originally announced April 2017.

Comments: 14 pages, no figures

MSC Class: 20F65; 20F18

Effective Separability of Finitely Generated Nilpotent Groups

Authors: Mark Pengitore

Abstract: We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the identity which improves the work of Bou-Rabee. Similarly, we give polynomial upper… ▽ More We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the identity which improves the work of Bou-Rabee. Similarly, we give polynomial upper and lower bounds for an analogous function introduced by Lawton, Louder, and McReynolds that measures how large the quotients that are need to separate pairs of distinct conjugacy classes of bounded work length using work Blackburn and Mal'tsev. △ Less

Submitted 30 May, 2017; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: v3. 42 pages. Substantial changes made to accommodate referee comments. References updated

MSC Class: 20E26; 20E45; 20F10; 20F18; 20F69