aDarXivDesk
ExploreDocs

Group Theory

26,110 papers in this slice of arXiv.

All fieldsArtificial IntelligenceMachine LearningComputation and LanguageComputer Vision and Pattern RecognitionNeural and Evolutionary ComputingRoboticsInformation RetrievalHuman-Computer InteractionCryptography and SecurityData Structures and AlgorithmsSoftware EngineeringDistributed, Parallel, and Cluster ComputingProgramming LanguagesSystems and Control
2608.13414
2 days ago

Synthetic Buildings for Finite Groups

Emily Gullerud, Peter Webb

We introduce synthetic buildings for each finite group GGG and prime ppp. These are GGG-simplicial complexes, among which are the ppp

PreviousNext
-subgroups complex of K.S. Brown, and also the buildings of finite groups of Lie type in characteristic
ppp
. Synthetic buildings are useful because of special properties, including providing a formula for the cohomology of
GGG
. Our goal is to describe the kinds of synthetic buildings that can arise, and ideally to classify them. The minimal synthetic buildings play a special role and for most groups there are not very many of these. However, we show that it is possible to find sequences of finite groups with increasingly many minimal synthetic buildings as we move along the sequence, and also groups with minimal synthetic buildings of different dimensions. It is also possible to find groups with infinitely many non-minimal synthetic buildings of a given dimension. In other situations, we show that there are no minimal synthetic buildings of equivariant homotopy type distinct from those of Brown's complex and the complex consisting of a single point. We make a number of conjectures.
Group TheoryAlgebraic TopologyRepresentation Theory
2608.13180
2 days ago

Homogeneous Weights on Semigroup Algebras of Finite Commutative Semigroups

M. H. Shahzamanian

The determinant of a finite semigroup is closely related to the Frobenius property of its corresponding semigroup algebra, and it plays a significant role in coding theory applications. In this paper, we study determinants of twisted contracted semigroup algebras over finite fields. We extend Steinberg's determinant theory to this setting by establishing a Frobenius criterion for twisted contracted semigroup algebras over finite fields. We also develop a structural theory for two-generated twisted contracted monoid algebras. In particular, we identify classes for which the determinant of the associated matrix depends only on its zero--nonzero pattern, and is therefore independent of the values of the cocycle. Consequently, it suffices to verify the determinant condition for the trivial character, from which the corresponding result for all characters follows. Under suitable assumptions, these semigroups are completely determined by a small set of defining identities. Motivated by the character-theoretic construction of homogeneous weights on finite Frobenius rings, we construct homogeneous weights for Frobenius twisted contracted semigroup algebras and investigate the non-Frobenius case. In particular, we characterize the principal ideals on which the character-average weight satisfies the averaging property of homogeneous weights and thereby extend the classical notion of homogeneous weight to a prescribed family of principal ideals.

Representation TheoryCommutative AlgebraGroup Theory
2608.12783
2 days ago

Arithmetic invariants for finite simple and related groups

Andrey V. Vasil'ev

In this short note we address the problems of characterization of simple and related groups by various arithmetic invariants. We come with some uniform way to think about such sort of questions and discuss what has been already done and what we still do not know but wish to know in this field.

Group Theory
2608.12643
3 days ago

On minimal involutive generic sets of Extended Special Linear group ESLn(Fp)ESL_n(\mathbb{F}_p)ESLn​(Fp​)

Ruslan Skuratovskii

The size of minimal systems of generators and these systems themselves for groups ESLn[Z]ESL_n \left[ \mathbb{Z} \right]ESLn​[Z] and ESLn(Fp)ESL_n \left( \mathbb{F}_p \right)ESLn​(Fp​)

Group Theory
2608.12631
3 days ago

On the abstract elementary class of acts with pure embeddings

Jonathan Feigert, Daniel Herden, Marcos Mazari-Armida

We study the abstract elementary class of acts with pure embeddings. In particular, we show that stability and superstability in this class can be characterized in terms of the monoid SSS being LO (for every s,t∈Ss,t \in Ss,t∈S, we have that s∈Sts \in Sts∈St or t∈Sst \in Sst∈Ss) and weakly noetherian (every ideal is finitely generated), respectively. Moreover, under mild set-theoretic assumptions, we characterize the stability spectrum via the minimal cardinality of a generating set for every ideal. As an application, we obtain a Baer-like criterion for pure injective acts when SSS is LO. We use this to provide an alternative proof that the class of acts has enough pure injectives when SSS is LO.

LogicGroup Theory
2608.12526
3 days ago

Cyclic Shuffle Groups: Universal Two-Transitivity and Complete Classification

Benjamin Marsh

Let k≥3k\geq 3k≥3, n≥1n\geq 1n≥1, and let H_k,n=(C_k,n) be the group generated by the standard kkk pile perfect shuffle and cyclic pile permutation on a deck of knknkn cards. We prove that Hk,nH_{k,n}Hk,n​ is 222-transitive whenever nnn is not a power of kkk. Residual commutators give translations supported on two pile labels, and a strongly connected digit digraph propagates these translations throughout the deck, a separate argument resolves the antipodal support case. We then combine this result with fixed point ratio bounds for primitive groups and explicit boundary calculations to determine Hk,nH_{k,n}Hk,n​ for all kkk and nnn. If n=kfn=k^fn=kf, then Hk,n≅Ck≀Cf+1H_{k,n}\cong C_k\wr C_{f+1}Hk,n​≅Ck​≀Cf+1​. If k=4k=4k=4 and n=2⋅4jn=2\cdot4^jn=2⋅4j, then H₄,n≅(2j+3,2). In every other case, Hk,nH_{k,n}Hk,n​ is (kn) or (kn), according to the parity of its generators. This proves Conjecture 1.10 of Amarra, Morgan and Praeger and Conjecture 5.1 of Xia, Zhang, Zhang and Zhu. More generally, we classify (P,n) for every pile group PPP containing CkC_kCk​, and obtain the odd kkk part of their Conjecture 5.2.

CombinatoricsGroup Theory
2608.12506
3 days ago

Commuting pairs in symplectic Lie algebras over finite fields of characteristic two

Liam May, Yong Yang

We find a generating function for the number of ordered commuting pairs of elements in a symplectic Lie algebra over a finite field of characteristic 222, following the analogous work done in odd characteristic in Fulman and Guralnick (arXiv:1611.05499).

Group Theory
2608.12501
3 days ago

Components of the Divisibility Graph of Finite Groups of Lie Type in Defining Characteristic 222

Liam May, Yong Yang

We determine the connected components of the divisibility graph of several families of finite groups of Lie type in defining characteristic 222, extending the result of Abdolghafourian, Iranmanesh, and Niemeyer (arXiv:1612.04410), who treated odd defining characteristic. We show that there is a distinguished component containing all nonidentity unipotent class sizes and that every other component is either an isolated vertex or an explicitly described two-vertex component. We also determine the isolated vertices outside the distinguished component. Additionally, we prove in Appendix A that the divisibility graph of a Frobenius group has exactly two components.

Group Theory
2608.12499
3 days ago

The fusion-stable tom Dieck homomorphism

Sam K. Miller

Tornehave and Yalçin proved that the tom Dieck homomorphism, which sends a virtual real representation to a unit of the Burnside ring, is surjective for any ppp-group SSS. We prove that this homomorphism, and the sign homomorphism it factors through, remain surjective when restricted to fusion-stable subgroups associated to a saturated fusion system on SSS. As a corollary, we close the main question posed by Mazza--Miller in arXiv:2508.07404 by showing that given a field kkk of positive characteristic, the Lefschetz homomorphism from the Picard group of the bounded homotopy category of ppp-permutation modules to the unit group of its Grothendieck ring is surjective for all finite groups if and only if k=F2k = \mathbb{F}_2k=F2​.

Group TheoryAlgebraic TopologyRepresentation Theory
2608.12287
3 days ago

Quasisymmetric universality, quasi-isometric classification and topological rigidity of Kleinian groups

Peter Haïssinsky, Yusheng Luo

We study the quasisymmetric classification of limit sets of Kleinian groups and obtain a characterization of those geometrically finite limit sets that are quasisymmetrically universal. This allows us to obtain a quasi-isometric classification of finitely generated Kleinian groups. We also obtain a classification of virtually topologically rigid geometrically finite Kleinian groups.

Geometric TopologyGroup TheoryMetric Geometry
2608.12201
3 days ago

Nielsen classes in outer automorphism groups of free groups

Ilya Kapovich

For every n≥8n\ge 8n≥8, we construct explicit families of generating pairs of GL(n,Z)GL(n,\mathbb Z)GL(n,Z) and SL(n,Z)SL(n,\mathbb Z)SL(n,Z) representing countably infinitely many Nielsen equivalence classes. These pairs arise as the homology images of explicit torsion generating pairs in Out(Fn)Out(F_n)Out(Fn​) and its index-two subgroup SOut(Fn)SOut(F_n)SOut(Fn​), yielding countably infinitely many Nielsen classes of generating pairs in both outer groups. Within each constructed outer family, all pairs become Nielsen equivalent after one stabilization, obtained by adjoining a trivial coordinate. We derive a relation-module obstruction to Nielsen equivalence of once-stabilized generating tuples. Evans's non-cancellation examples show that this obstruction is nontrivial and can distinguish Nielsen classes of once-stabilized generating tuples. We also record a quotient relation-module refinement for possible future applications.

Group TheoryGeometric Topology
2608.12168
3 days ago

Hyperbolicity and obstructions to PL actions of the circle

Leonardo Dinamarca, Maximiliano Escayola, Sang-hyun Kim +1

We investigate acylindrically hyperbolic groups acting on the circle by piecewise linear homeomorphisms. We prove that a finitely generated acylindrically hyperbolic group acting faithfully by piecewise linear homeomorphisms of the circle is virtually free, is virtually a closed hyperbolic surface group, or virtually splits over a two-ended subgroup; as a consequence, we prove a general structural result for Gromov hyperbolic groups of piecewise linear homeomorphisms. Along the way, we show that a right-angled Artin subgroup of piecewise linear homeomorphisms of the circle is either free or abelian, generalizing a result of Bleak and Salazar-Diaz. We also show that the fundamental group of a finite volume hyperbolic nnn--manifold cannot act faithfully on the circle by piecewise linear homeomorphisms, provided that n≥3n\geq 3n≥3, complementing 222--dimensional examples of Ghys and Minakawa.

Group TheoryDynamical Systems
2608.12106
3 days ago

Tame Topological Groups are precompact

Eli Glasner

We prove that a Hausdorff topological group is tame if and only if it is precompact.

Dynamical SystemsGroup Theory
2608.12080
3 days ago

Word-Length Spectral Triples of (Z/2Z)≀Fd(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}(Z/2Z)≀Fd​ Are Not Metric

Mario Klisse

Given a countable discrete group equipped with a proper length function, one can construct a natural spectral triple on its reduced group C∗^{\ast}∗-algebra. A well-studied question in non-commutative metric geometry is whether the Connes pseudo-metric associated with such a triple recovers the weak∗^{\ast}∗-topology on the state space, thereby yielding a compact quantum metric space in the sense of Rieffel. While this metric property is known to hold for several classes of groups - including those of polynomial growth and word-hyperbolic groups - it was widely expected that not every word-length function induces a compact quantum metric space. Despite this, no explicit counterexample has been identified to date. In this note, we provide the first family of counterexamples by proving that for every integer d≥2d \geq 2d≥2 the canonical spectral triple of the Lamplighter group (Z/2Z)≀Fd(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}(Z/2Z)≀Fd​, equipped with the word-length function associated with a finite symmetric generating set, fails to be a spectral metric space.

Operator AlgebrasFunctional AnalysisGroup Theory
2608.12052
3 days ago

On 222-blocks with quaternion defect groups

Charles Eaton, Florian Eisele, Radha Kessar +2

We determine the Morita equivalence classes of 222-blocks with quaternion defect groups of arbitrary 222-power order, thereby completing the proof of Donovan's conjecture for blocks of tame representation type.

Representation TheoryGroup Theory
2608.12432
3 days ago

Generation of finite groups from subgroups of coprime index

Richie Sater

Let d(G)d(G)d(G) denote the least size of a generating set of a finite group GGG. We prove that if GGG has a family H\mathcal HH of subgroups such that d(H)≤dd(H)\leq dd(H)≤d for every H∈HH\in\mathcal HH∈H and gcd⁡{∣G:H∣:H∈H}=1\gcd\{\lvert G:H\rvert:H\in\mathcal H\}=1gcd{∣G:H∣:H∈H}=1, then d(G)≤d+1d(G)\leq d+1d(G)≤d+1. This gives an affirmative answer to Kourovka Problem 21.87. The proof reduces a minimal counterexample to a critical crown-based power with nonabelian socle. An exact crown multiplicity formula and a uniform lower bound for conditional generation give a lower bound for the number of crown factors. A subgroup containing a Sylow 222-subgroup gives the contradictory upper bound, via a pointwise centralizer estimate for Sylow 222-subgroups of finite simple groups.

Group Theory
2608.11926
3 days ago

Lifting Functors and Relative Schur-Baer Theorems

Maxim Ivanov

We introduce CCC-lifting functors, which axiomatize lifting properties of non-abelian tensor and exterior products with respect to prescribed classes of group extensions. For a homomorphism f ⁣:Γ→Gf\colonΓ\to Gf:Γ→G, we associate to every CCC-lifting functor FFF a relative quotient Ff(G)F_f(G)Ff​(G). This quotient maps epimorphically onto the subgroup determined by FFF in every fff-extension belonging to CCC. We show that the construction is functorial in fff and that, for an fff-extension p ⁣:G~→Gp\colon\widetilde G\to Gp:G→G, it gives a morphism of natural exact sequences. In degree two this yields an epimorphism H2(G;Z)f∗H2(Γ;Z)⟶ker⁡p∩[G~,G~].\frac{H_2(G;\mathbb Z)}{f_*H_2(Γ;\mathbb Z)} \longrightarrow \ker p\cap[\widetilde G,\widetilde G].f∗​H2​(Γ;Z)H2​(G;Z)​⟶kerp∩[G,G]. Applying the construction to iterated tensor and exterior powers, we obtain relative Schur-Baer theorems for the lower central and derived series. We also compare the relative tensor and exterior squares, relate the exterior construction to the relative Schur multiplier H2(G,Γ;Z)H_2(G,Γ;\mathbb Z)H2​(G,Γ;Z), and derive applications to orderability. As a consequence, we prove that a virtual knot group is left-orderable if and only if it is circularly orderable.

Group TheoryAlgebraic TopologyCategory Theory
2608.11893
3 days ago

Notes on K∞K^{\infty}K∞

Paul Flavell

Glauberman's characteristic ppp-functor K∞K^{\infty}K∞ has a number of remarkable properties. For example it controls ppp-transfer in any finite group provided p≥5p \geq 5p≥5. These notes are the author's attempt to understand and simplify this work.

Group Theory
2608.11726
3 days ago

Kakeya sets and dimension compression in compact Lie groups

Yifan Jing, Shukun Wu

We study two Kakeya set problems in compact semisimple Lie groups. In the first, motivated by the group structure, a Kakeya set is required to contain a left coset of every closed one-dimensional torus. For a compact semisimple Lie group GGG of dimension ddd and rank rrr, we determine the optimal Minkowski dimension for this problem, proving that it is exactly (d+r)/2(d+r)/2(d+r)/2. The upper bound is obtained from a Lie-theoretic construction associated with a Chevalley involution, while the lower bound combines incidence geometry with geometry of numbers. We also consider a local Kakeya set problem, closer to the classical harmonic-analytic formulation, in which one requires a fixed-length one-parameter arc in every direction. For this problem we obtain lower bound (d+1)/2(d+1)/2(d+1)/2 and (d+2)/2(d+2)/2(d+2)/2 for odd and even rrr, and upper bound (d+r)/2(d+r)/2(d+r)/2. We conjecture that the upper bound should be sharp.

Classical Analysis and ODEsGroup Theory
2608.11662
3 days ago

Whirliness beyond amenability

Yannik Höll, Friedrich Martin Schneider

Given a non-atomic standard probability space (Ω,μ)(Ω,μ)(Ω,μ), we exhibit examples of non-amenable closed topological subgroups of Aut(Ω,μ)\mathrm{Aut}(Ω,μ)Aut(Ω,μ) whose natural near-action on (Ω,μ)(Ω,μ)(Ω,μ) is whirly. This answers a 2010 question by Pestov in the negative. The argument proceeds via constructing Gaussian near-actions from topologically faithful unitary representations of non-amenable whirly Polish groups.

Functional AnalysisDynamical SystemsGroup Theory
were found. Moreover we obtain triples of involutions with two commuting involu\-tions generating
ESL5[Z]ESL_5 \left[ \mathbb{Z} \right]ESL5​[Z]
,
ESL5[Z]ESL_5 \left[ \mathbb{Z} \right]ESL5​[Z]
relatively, that are Mazurov triples.