The Dehn Function of PSL(2,Z[1/p])

Jennifer Taback

DOI: https://doi.org/10.48550/arXiv.math/0302191

2003-02-18

Abstract:We show that PSL(2,Z[1/p]) admits a combing with bounded asynchronous width, and use this combing to show that PSL(2,Z[1/p]) has an exponential Dehn function. As a corollary, PSL(2,Z[1/p]) has solvable word problem and is not an automatic group.

Group Theory

What problem does this paper attempt to address?

Conjugacy classes in PSL(2, K)

Christopher-Lloyd Simon

2023-06-11

Abstract:We first describe, over a field K of characteristic different from 2, the orbits for the adjoint actions of the Lie groups PGL(2, K) and PSL(2, K) on their Lie algebra sl(2, K). While the former are well known, the latter lead to the resolution of generalised Pell-Fermat equations which characterise the corresponding orbit. The synthetic approach enables to change the base field, and we illustrate this picture over the fields with three and five elements, in relation with the geometry of the tetrahedral and icosahedral groups. While the results may appear familiar, they do not seem to be covered in such generality or detail by the existing literature. We apply this discussion to partition the set of PSL(2, Z)-classes of integral binary quadratic forms into groups of PSL(2, K)-classes. When K = C we obtain the class groups of a given discriminant. Then we provide a complete description of their partition into PSL(2, Q)-classes in terms of Hilbert symbols, and relate this to the partition into genera. The results are classical, but our geometrical approach is of independent interest as it may yield new insights into the geometry of Gauss composition, and unify the picture over function fields. Finally we provide a geometric interpretation in the modular orbifold PSL(2, Z) \ H for when two points or two closed geodesics correspond to PSL(2, K)-equivalent quadratic forms, in terms of hyperbolic distances and angles between those modular cycles. These geometric quantities are related to linking numbers of modular knots. Their distribution properties could be studied using the geometry of the quadratic lattice (sl(2, Z), det) but such investigations are not pursued here.

Group Theory,Geometric Topology,Number Theory
The characterization of PSL(2, p) (p≡±5 (mod 24))

Yunfei Guan,Quanfu Yan,Zhencai Shen

DOI: https://doi.org/10.1080/00927872.2024.2306476

2024-01-31

Communications in Algebra

Abstract:Let G be a finite group. A vanishing element of G is an element g∈G such that χ(g)=0 for some irreducible complex character χ of G . We will denote by Van( G ) the set of vanishing elements of G and by Vo(G) the set of the order of elements in Van(G) . For certain specified primes p that satisfy p≡±5 (mod24) , if Vo(G)=Vo(PSL(2,p)) , then G≅PSL(2,p) .

mathematics
On equidistribution of polynomial sequences in quotients of $PSL_2(\mathbb{R})$

Lauritz Streck

2023-05-04

Abstract:In this paper, it is shown that for every lattice $\Gamma \subset PSL_2(\mathbb{R})$ there exists a $c>0$ such that for any $0 \leq \gamma<c$ the sequence $p h(n^{1+\gamma})$ equidistributes for any $p \in \Gamma \backslash PSL_2(\mathbb{R})$, where $h$ is the horocycle flow. This makes modest progress towards a conjecture of Shah and generalizes a result of Venkatesh (<a class="link-https" data-arxiv-id="math/0506224" href="https://arxiv.org/abs/math/0506224">arXiv:math/0506224</a>), who established the same equidistribution for co-compact lattices. The proof utilizes a dichotomy between good equidistribution estimates and approximability of $\{p h(t), t \leq T \}$ by closed horocycles of small period.

Number Theory,Dynamical Systems
Finitely presented simple groups with at least exponential Dehn function

Matthew C. B. Zaremsky

2024-07-12

Abstract:We construct examples of finitely presented simple groups whose Dehn functions are at least exponential. To the best of our knowledge, these are the first such examples known. Our examples arise from Röver-Nekrashevych groups, using carefully calibrated self-similar representations of Baumslag-Solitar groups.

Group Theory
Weak commutativity, virtually nilpotent groups, and Dehn functions

Martin R. Bridson,Dessislava H. Kochloukova

2023-08-21

Abstract:The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor $\mathfrak{X}$ is known to preserve. We also investigate the geometry and complexity of the word problem for $\mathfrak{X}(G)$. Subtle features of $\mathfrak{X}$ are encoded in a normal abelian subgroup $W<\mathfrak{X}(G)$ that is a module over $\mathbb{Z} Q$, where $Q= H_1(G,\mathbb{Z})$. We establish a structural result for this module and illustrate its utility by proving that $\mathfrak{X}$ preserves virtual nilpotence, the Engel condition, and growth type -- polynomial, exponential, or intermediate. We also use it to establish isoperimetric inequalities for $\mathfrak{X}(G)$ when $G$ lies in a class that includes Thompson's group $F$ and all non-fibered Kähler groups. The word problem is solvable in $\mathfrak{X}(G)$ if and only if it is solvable in $G$. The Dehn function of $\mathfrak{X}(G)$ is bounded below by a cubic polynomial if $G$ maps onto a non-abelian free group.

Group Theory
Combinatorial interpretation of the Schlesinger-Zudilin stuffle product

Benjamin Brindle

2024-09-25

Abstract:We show how the quasi--shuffle product, Schlesinger--Zudilin $q$--multiple zeta values satisfy, behaves on the level of partitions. For this, we work with marked partitions, which are partitions in whose Young--tableau rows and columns are marked in some way.

Combinatorics,Number Theory
Finding conjugate stabilizer subgroups in PSL(2; q) and related groups

Aaron Denney,Cristopher Moore,Alexander Russell

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

2010-01-13

Abstract:We reduce a case of the hidden subgroup problem (HSP) in SL(2; q), PSL(2; q), and PGL(2; q), three related families of finite groups of Lie type, to efficiently solvable HSPs in the affine group AGL(1; q). These groups act on projective space in an almost 3-transitive way, and we use this fact in each group to distinguish conjugates of its Borel (upper triangular) subgroup, which is also the stabilizer subgroup of an element of projective space. Our observation is mainly group-theoretic, and as such breaks little new ground in quantum algorithms. Nonetheless, these appear to be the first positive results on the HSP in finite simple groups such as PSL(2; q).

Quantum Physics,Group Theory
The Teichmüller Distance Between Finite Index Subgroups of $${Psl_2(\mathbb{z})}$$

Vladimir Markovic,Dragomir Šarić

DOI: https://doi.org/10.1007/s10711-008-9281-x

2008-01-01

Geometriae Dedicata

Abstract:For a given ${\epsilon > 0}$ , we show that there exist two finite index subgroups of ${PSL_2(\mathbb{Z})}$ which are $({1+\epsilon})$ -quasisymmetrically conjugated and the conjugation homeomorphism is not conformal. This implies that for any ${\epsilon > 0}$ there are two finite regular covers of the Modular once punctured torus T 0 (or just the Modular torus) and a ${(1+\epsilon)}$ -quasiconformal map between them that is not homotopic to a conformal map. As an application of the above results, we show that the orbit of the basepoint in the Teichmüller space T(S p ) of the punctured solenoid S p under the action of the corresponding Modular group (which is the mapping class group of S p [6], [7]) has the closure in T(S p ) strictly larger than the orbit and that the closure is necessarily uncountable.
The Inductive Blockwise Alperin Weight Condition for PSL (q) with (n,q − 1)=1

Conghui Li,Jiping Zhang

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

IF: 0.908

2019-01-01

Journal of Algebra

Abstract:This paper is a continuation of our previous paper in Li and Zhang (2018) [13]. We prove that if (n,q−1)=1, PSLn(q) satisfies the inductive blockwise Alperin weight condition for any prime ℓ different from the defining characteristic.
The Teichmüller distance between finite index subgroups of PSL_2(ℤ)

Vladimir Markovic,Dragomir Šarić

DOI: https://doi.org/10.1007/s10711-008-9281-x

2008-01-01

Geometriae Dedicata

Abstract:For a given ϵ > 0 , we show that there exist two finite index subgroups of PSL_2(ℤ) which are (1+ϵ) -quasisymmetrically conjugated and the conjugation homeomorphism is not conformal. This implies that for any ϵ > 0 there are two finite regular covers of the Modular once punctured torus T 0 (or just the Modular torus) and a (1+ϵ) -quasiconformal map between them that is not homotopic to a conformal map. As an application of the above results, we show that the orbit of the basepoint in the Teichmüller space T ( S p ) of the punctured solenoid S p under the action of the corresponding Modular group (which is the mapping class group of S p [6], [7]) has the closure in T ( S p ) strictly larger than the orbit and that the closure is necessarily uncountable.
Lifting Polynomial Representations of $\mathrm{SL}_2(p^r)$ from $\mathbb{F}_p$ to $\mathbb{Z}/p^s\mathbb{Z}$

Chris Parker,Martin van Beek

2024-11-25

Abstract:We describe all of the basic $\mathbb{F}_p\mathrm{SL}_2(p^r)$ representations which lift to $\mathbb{Z}/p^s\mathbb{Z}$ representations for $s>1$, observing that they almost never do. We also show that two related indecomposable $\mathbb{F}_p \mathrm{SL}_2(p^r)$ representations cannot be lifted to $\mathbb{Z}/p^s\mathbb{Z}$ representations for $s>1$.

Representation Theory,Group Theory
On computing finite index subgroups of PSL(2,Z)

Nicolás Mayorga Uruburu,Ariel Pacetti,Leandro Vendramin

DOI: https://doi.org/10.1142/S0219498825502159

2023-07-05

Abstract:We present a method to compute finite index subgroups of $PSL_2(\mathbb{Z})$. Our strategy follows Kulkarni's ideas, the main contribution being a recursive method to compute bivalent trees and their automorphism group. As a concrete application, we compute all subgroups of index up to 20. We then use this database to produce tables with several arithmetical properties.

Number Theory,Group Theory
Dehn function and asymptotic cones of Abels' group

Yves Cornulier,Romain Tessera

DOI: https://doi.org/10.1112/jtopol/jtt019

2013-09-23

Abstract:We prove that Abels' group over an arbitrary nondiscrete locally compact field has a quadratic Dehn function. As applications, we exhibit connected Lie groups and polycyclic groups whose asymptotic cones have uncountable abelian fundamental group. We also obtain, from the case of finite characteristic, uncountably many non-quasi-isometric finitely generated solvable groups, as well as peculiar examples of fundamental groups of asymptotic cones.

Group Theory
Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formula

Stefan Dawydiak

2024-08-17

Abstract:Let $\tilde{W}$ be an extended affine Weyl group, $\mathbf{H}$ be the corresponding affine Hecke algebra over the ring $\mathbb{C}[\mathbf{q}^\frac{1}{2}, \mathbf{q}^{-\frac{1}{2}}]$, and $J$ be Lusztig's asymptotic Hecke algebra, viewed as a based ring with basis $\{t_w\}$. Viewing $J$ as a subalgebra of the $(\mathbf{q}^{-\frac{1}{2}})$-adic completion of $\mathbf{H}$ via Lusztig's map $\phi$, we use Harish-Chandra's Plancherel formula for $p$-adic groups to show that the coefficient of $T_x$ in $t_w$ is a rational function of $\mathbf{q}$, with denominator depending only on the two-sided cell containing $w$, and dividing a power of the Poincaré polynomial of the finite Weyl group. As an application, we conjecture that these denominators encode more detailed information about the failure of the Kazhdan-Lusztig classification at roots of the Poincaré polynomial than is currently known. Along the way, we show that upon specializing $\mathbf{q}=q>1$, the map from $J$ to the Harish-Chandra Schwartz algebra is injective. As an application of injectivity, we give a novel criterion for an Iwahori-spherical representation to have fixed vectors under a larger parahoric subgroup in terms of its Kazhdan-Lusztig parameter.

Representation Theory
Bounding deformation spaces of Kleinian groups with two generators

A. Elzenaar,J. Gong,G.J. Martin,J. Schillewaert

2024-05-25

Abstract:In this article we provide simple and provable bounds on the size and shape of the quasiconformal deformation space of the groups $\IZ_p*\IZ_q$, the free product of cyclic groups of order $p$ and $q$, in $\PSL(2,\IC)$ for $3\leq p,q \leq \infty$. Though simple, these bounds are sharp, meeting the highly fractal boundary of the deformation space in four cusp groups. Such bounds have great utility in computer assisted searches for extremal Kleinian groups so as to identify universal constraints (volume, length spectra, etc) on the geometry and topology of hyperbolic $3$-orbifolds. As an application, we prove a strengthened version of a conjecture by Morier-Genoud, Ovsienko, and Veselov on the faithfulness of the specialised Burau representation.

Complex Variables
The Dehn functions of Stallings-Bieri groups

William Carter,Max Forester

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

2016-09-02

Abstract:We show that the Stallings-Bieri groups, along with certain other Bestvina-Brady groups, have quadratic Dehn function.

Group Theory
Demazure product and hopping in type D

Darren Han,Michelle Huang,Benjamin Keller,Suho Oh,Jerry Zhang

2024-11-28

Abstract:The Demazure product, also called the 0-Hecke product, is an associative operation on Coxeter groups with interesting properties and applications. In (Li et al 2024) it was shown that the Demazure product of two permutations can be described purely combinatorially: using only their one-line notation and not relying on reduced words. In this paper, we extend this to type D Coxeter groups.

Combinatorics
Counting conjugacy classes of subgroups of ${\rm PSL}_2(p)$

Gareth A. Jones

2024-11-05

Abstract:We obtain formulae for the numbers of isomorphism and conjugacy classes of non-identity proper subgroups of the groups $G={\rm PSL}_2(p)$, $p$ prime, and for the numbers of those conjugacy classes which do or do not consist of self-normalising subgroups. The formulae are used to prove lower bounds $17$, $18$, $6$ and $12$ respectively satisfied by these invariants for all $p>37$. A computer search carried out for a different problem shows that these bounds are attained for over a million primes $p$; we show that if the Bateman--Horn Conjecture is true, they are attained for infinitely many primes. Also, assuming no unproved conjectures, we use a result of Heath-Brown to obtain upper bounds for these invariants, valid for an infinite set of primes $p$.

Group Theory,Number Theory
Isolated circular orders of PSL(2,Z)

Shigenori Matsumoto

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

2017-11-25

Abstract:We give a bijection between the isolated circular orders of the group G=PSL(2,Z) and the equivalence classes of Markov systems associated with G. As applications, we present examples of isolated circular order of G.

Dynamical Systems
A combinatorial $\mathfrak{sl}_2$-action and the Sperner property for the weak order

Christian Gaetz,Yibo Gao

DOI: https://doi.org/10.1090/proc/14655

2020-01-04

Abstract:We construct a simple combinatorially-defined representation of $\mathfrak{sl}_2$ which respects the order structure of the weak order on the symmetric group. This is used to resolve a conjecture of Stanley that the weak order has the strong Sperner property, and is therefore a Peck poset.

Combinatorics,Representation Theory

The Dehn Function of PSL(2,Z[1/p])

Conjugacy classes in PSL(2, K)

The characterization of PSL(2, p) (p≡±5 (mod 24))

On equidistribution of polynomial sequences in quotients of $PSL_2(\mathbb{R})$

Finitely presented simple groups with at least exponential Dehn function

Weak commutativity, virtually nilpotent groups, and Dehn functions

Combinatorial interpretation of the Schlesinger-Zudilin stuffle product

Finding conjugate stabilizer subgroups in PSL(2; q) and related groups

The Teichmüller Distance Between Finite Index Subgroups of $${Psl_2(\mathbb{z})}$$

The Inductive Blockwise Alperin Weight Condition for PSL (q) with (n,q − 1)=1

The Teichmüller distance between finite index subgroups of PSL_2(ℤ)

Lifting Polynomial Representations of $\mathrm{SL}_2(p^r)$ from $\mathbb{F}_p$ to $\mathbb{Z}/p^s\mathbb{Z}$

On computing finite index subgroups of PSL(2,Z)

Dehn function and asymptotic cones of Abels' group

Denominators in Lusztig's asymptotic Hecke algebra via the Plancherel formula

Bounding deformation spaces of Kleinian groups with two generators

The Dehn functions of Stallings-Bieri groups

Demazure product and hopping in type D

Counting conjugacy classes of subgroups of ${\rm PSL}_2(p)$

Isolated circular orders of PSL(2,Z)

A combinatorial $\mathfrak{sl}_2$-action and the Sperner property for the weak order