An official website of the United States government
Abstract Let G be a finite group. Let $H, K$ be subgroups of G and $$H \backslash G / K$$ the double coset space. If Q is a probability on G which is constant on conjugacy classes ( $$Q(s^{-1} t s) = Q(t)$$ ), then the random walk driven by Q on G projects to a Markov chain on $$H \backslash G /K$$ . This allows analysis of the lumped chain using the representation theory of G . Examples include coagulation-fragmentation processes and natural Markov chains on contingency tables. Our main example projects the random transvections walk on $$GL_n(q)$$ onto a Markov chain on $$S_n$$ via the Bruhat decomposition. The chain on $$S_n$$ has a Mallows stationary distribution and interesting mixing time behavior. The projection illuminates the combinatorics of Gaussian elimination. Along the way, we give a representation of the sum of transvections in the Hecke algebra of double cosets, which describes the Markov chain as a mixture of Metropolis chains. Some extensions and examples of double coset Markov chains with G a compact group are discussed.
more »
« less
Torsion Invariants of complexes of groups
Suppose a residually finite group G acts cocompactly on a contractible complex with strict fundamental domain Q, where the stabilizers are either trivial or have normal Z-subgroups. Let dQ be the subcomplex of Q with nontrivial stabilizers. Our main result is a computation of the homology torsion growth of a chain of finite index normal subgroups of G. We show that independent of the chain, the normalized torsion limits to the torsion of dQ shifted a degree. Under milder assumptions of acyclicity of nontrivial stabilizers, we show similar formulas for the mod p-homology growth. We also obtain formulas for the universal and the usual L^2-torsion of G in terms of the torsion of stabilizers and topology of dQ. In particular, we get complete answers for right-angled Artin groups, which shows that they satisfy a torsion analogue of Lück’s approximation theorem.
more »
« less
- Award ID(s):
- 2203325
- PAR ID:
- 10512028
- Editor(s):
- Hain, Richard
- Publisher / Repository:
- Duke Math Journal
- Date Published:
- Journal Name:
- Duke
- Volume:
- 173
- Issue:
- 2
- ISSN:
- 2535-8510
- Page Range / eLocation ID:
- 391-418
- Subject(s) / Keyword(s):
- 2020 Mathematics Subject Classification. Primary 20F65 Secondary 57M07, 20E26
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)Abstract A rigid automorphism of a linking system is an automorphism that restricts to the identity on the Sylow subgroup. A rigid inner automorphism is conjugation by an element in the center of the Sylow subgroup. At odd primes, it is known that each rigid automorphism of a centric linking system is inner. We prove that the group of rigid outer automorphisms of a linking system at the prime $$2$$ is elementary abelian and that it splits over the subgroup of rigid inner automorphisms. In a second result, we show that if an automorphism of a finite group G restricts to the identity on the centric linking system for G , then it is of $p'$ -order modulo the group of inner automorphisms, provided G has no nontrivial normal $p'$ -subgroups. We present two applications of this last result, one to tame fusion systems.more » « less
-
Antonis Achilleos; Dario Della Monica (Ed.)In this paper, we explore the descriptive complexity theory of finite groups by examining the power of the second Ehrenfeucht-Fraisse bijective pebble game in Hella's (Ann. Pure Appl. Log., 1989) hierarchy. This is a Spoiler-Duplicator game in which Spoiler can place up to two pebbles each round. While it trivially solves graph isomorphism, it may be nontrivial for finite groups, and other ternary relational structures. We first provide a novel generalization of Weisfeiler-Leman (WL) coloring, which we call 2-ary WL. We then show that the 2-ary WL is equivalent to the second Ehrenfeucht-Fraisse bijective pebble game in Hella's hierarchy. Our main result is that, in the pebble game characterization, only O(1) pebbles and O(1) rounds are sufficient to identify all groups without Abelian normal subgroups (a class of groups for which isomorphism testing is known to be in P; Babai, Codenotti, & Qiao, ICALP 2012). In particular, we show that within the first few rounds, Spoiler can force Duplicator to select an isomorphism between two such groups at each subsequent round. By Hella's results (ibid.), this is equivalent to saying that these groups are identified by formulas in first-order logic with generalized 2-ary quantifiers, using only O(1) variables and O(1) quantifier depth.more » « less
-
Abstract We prove character ratio bounds for finite exceptional groups $G(q)$ of Lie type. These take the form $$\dfrac{|\chi (g)|}{\chi (1)} \le \dfrac{c}{q^k}$$ for all nontrivial irreducible characters $$\chi$$ and nonidentity elements $$g$$, where $$c$$ is an absolute constant, and $$k$$ is a positive integer. Applications are given to bounding mixing times for random walks on these groups and also diameters of their McKay graphs.more » « less
-
null (Ed.)Abstract We show that every finite group of order divisible by 2 or q , where q is a prime number, admits a $$\{2, q\}'$$ { 2 , q } ′ -degree nontrivial irreducible character with values in $${\mathbb{Q}}(e^{2 \pi i /q})$$ Q ( e 2 π i / q ) . We further characterize when such character can be chosen with only rational values in solvable groups. These results follow from more general considerations on groups admitting a $$\{p, q\}'$$ { p , q } ′ -degree nontrivial irreducible character with values in $${\mathbb{Q}}(e^{2 \pi i /p})$$ Q ( e 2 π i / p ) or $${\mathbb{Q}}(e^{ 2 \pi i/q})$$ Q ( e 2 π i / q ) , for any pair of primes p and q . Along the way, we completely describe simple alternating groups admitting a $$\{p, q\}'$$ { p , q } ′ -degree nontrivial irreducible character with rational values.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1215/00127094-2023-0024
