Kirillov's orbit method and polynomiality of the faithful dimension of p-groups

zbMATH Open1475.20075arXiv1712.02019MaRDI QIDQ4968367FDOQ4968367

Authors: Mohammad Bardestani, Keivan Mallahi Karai, Hadi Salmasian 

Publication date: 12 July 2019

Abstract: Given a finite group $mathrmG$ and a field $K$, the faithful dimension of $mathrmG$ over $K$ is defined to be the smallest integer $n$ such that $mathrmG$ embeds into $mathrm{GL}_n(K)$. In this paper we address the problem of determining the faithful dimension of a $p$-group of the form $mathscr{G}_q:=exp(mathfrakgotime{s}_{m}athbbZmathbb{F}_q)$ associated to $mathfrak{g}_q:=mathfrakgotime{s}_{m}athbbZmathbb{F}_q$ in the Lazard correspondence, where $mathfrakg$ is a nilpotent $mathbbZ$-Lie algebra which is finitely generated as an abelian group. We show that in general the faithful dimension of $mathscr{G}_p$ is a piecewise polynomial function of $p$ on a partition of primes into Frobenius sets. Furthermore, we prove that for $p$ sufficiently large, there exists a partition of $mathbbN$ by sets from the Boolean algebra generated by arithmetic progressions, such on each part the faithful dimension of $mathscr{G}_q$ for $q:=p^f$ is equal to $fg(p^f)$ for a polynomial $g(T)$. We show that for many naturally arising $p$-groups, including a vast class of groups defined by partial orders, the faithful dimension is given by a single formula of the latter form. The arguments rely on various tools from number theory, model theory, combinatorics and Lie theory.

Full work available at URL: https://arxiv.org/abs/1712.02019

Recommendations

• Minimal dimension of faithful representations for \(p\)-groups
• Some remarks on the degrees of faithful irreducible representations of a finite \(p\)-group
• Essential dimension of finite \(p\)-groups.
• Kirillov's Orbit Method forp-Groups and Pro-pGroups
• Faithful linear representations of certain free nilpotent groups

zbMATH Keywords

Kirillov's orbit methodLazard correspondencefree nilpotent Lie algebrasFrobenius setsfaithful dimension of finite groups

Mathematics Subject Classification ID

Rational points (14G05) Ordinary representations and characters (20C15) Finite nilpotent groups, (p)-groups (20D15) Representation theory for linear algebraic groups (20G05)

Cites Work

• Title not available (Why is that?)
• On a theorem of Jordan
• Functional equations for local normal zeta functions of nilpotent groups. With an appendix by A. Beauville.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation zeta functions of compact \(p\)-adic analytic groups and arithmetic groups
• Title not available (Why is that?)
• Zeta function of representations of compact 𝑝-adic analytic groups
• On representations of discrete, finitely generated, torsion-free, nilpotent groups
• Proof of Springer's hypothesis
• The orbit method for profinite groups and a \(p\)-adic analogue of Brown's theorem.
• Equations over finite fields. An elementary approach
• Title not available (Why is that?)
• Some Problems Concerning Recurrence Sequences
• Essential dimension of finite \(p\)-groups.
• Title not available (Why is that?)
• A class of descendant \(p\)-groups of order \(p^{9}\) and Higman's PORC conjecture
• Essential dimension: A functorial point of view (after A. Merkurjev)
• Representation zeta functions of nilpotent groups and generating functions for Weyl groups of type B
• Some consequences of the Karpenko-Merkurjev theorem.
• Title not available (Why is that?)
• Solving diophantine problems modulo every prime
• Title not available (Why is that?)
• Kirillov theory for compact p-adic groups
• Zeta functions of groups and enumeration in Bruhat-Tits buildings
• Title not available (Why is that?)
• A Characterization of Union of Linearly Independent Sets
• Essential dimension
• A remark on Ax's theorem on solvability modulo primes
• Title not available (Why is that?)
• Sets of primes determined by systems of polynomial congruences
• Class numbers of \(p\)-groups of a given order.
• Minimal dimension of faithful representations for \(p\)-groups
• Enumerating classes and characters of 𝑝-groups

Cited In (5)

• Hessian matrices, automorphisms of \(p\)-groups, and torsion points of elliptic curves
• Polynomiality of the faithful dimension for nilpotent groups over finite truncated valuation rings
• The essential \(p\)-dimension of the split finite quasi-simple groups of classical Lie type
• From Hilbert's 13th problem to essential dimension and back
• Computational group theory. Abstracts from the workshop held August 15--21, 2021 (hybrid meeting)

This page was built for publication: Kirillov's orbit method and polynomiality of the faithful dimension of $p$-groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4968367)