• ### Groups with a nontrivial nonideal kernel(1608.00231)

March 1, 2019 math.RT, math.GR
We classify finite groups $G$, such that the group algebra, $\mathbb{Q}G$ (over the field of rational numbers $\mathbb{Q}$), is the direct product of the group algebra $\mathbb{Q}[G/N]$ of a proper factor group $G/N$, and some division rings.
• ### Equivalence of Lattice Orbit Polytopes(1703.01152)

June 29, 2018 math.MG, math.RT, math.GR, math.OC
Let $G$ be a finite permutation group acting on $\mathbb{R}^d$ by permuting coordinates. A core point (for $G$) is an integral vector $z\in \mathbb{Z}^d$ such that the convex hull of the orbit $Gz$ contains no other integral vectors but those in the orbit $Gz$. Herr, Rehn and Sch\"urmann considered the question for which groups there are infinitely many core points up to translation equivalence, that is, up to translation by vectors fixed by the group. In the present paper, we propose a coarser equivalence relation for core points called normalizer equivalence. These equivalence classes often contain infinitely many vectors up to translation, for example when the group admits an irrational invariant subspace or an invariant irreducible subspace occurring with multiplicity greater than $1$. We also show that the number of core points up to normalizer equivalence is finite if $G$ is a so-called QI-group. These groups include all transitive permutation groups of prime degree. We give an example to show how the concept of normalizer equivalence can be used to simplify integer convex optimization problems.
• ### Classification of Affine Symmetry Groups of Orbit Polytopes(1608.06539)

Oct. 30, 2017 math.MG, math.RT, math.GR
Let $G$ be a finite group acting linearly on a vector space $V$. We consider the linear symmetry groups $\operatorname{GL}(Gv)$ of orbits $Gv\subseteq V$, where the \emph{linear symmetry group} $\operatorname{GL}(S)$ of a subset $S\subseteq V$ is defined as the set of all linear maps of the linear span of $S$ which permute $S$. We assume that $V$ is the linear span of at least one orbit $Gv$. We define a set of \emph{generic points} in $V$, which is Zariski-open in $V$, and show that the groups $\operatorname{GL}(Gv)$ for $v$ generic are all isomorphic, and isomorphic to a subgroup of every symmetry group $\operatorname{GL}(Gw)$ such that $V$ is the linear span of $Gw$. If the underlying characteristic is zero, "isomorphic" can be replaced by "conjugate in $\operatorname{GL}(V)$". Moreover, in the characteristic zero case, we show how the character of $G$ on $V$ determines this generic symmetry group. We apply our theory to classify all affine symmetry groups of vertex-transitive polytopes, thereby answering a question of Babai (1977).
• ### A property of the Birkhoff polytope(1610.02077)

Oct. 13, 2017 math.CO, math.RT, math.GR
The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry group of the Birkhoff polytope. A representation polytope is the convex hull of some finite matrix group $G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff polytope.
• ### Realizations of abstract regular polytopes from a representation theoretic view(1604.07066)

Aug. 23, 2016 math.MG, math.GR
Peter McMullen has developed a theory of realizations of abstract regular polytopes, and has shown that the realizations up to congruence form a pointed convex cone which is the direct product of certain irreducible subcones. We show that each of these subcones is isomorphic to a set of positive semi-definite hermitian matrices of dimension $m$ over either the real numbers, the complex numbers or the quaternions. In particular, we correct an erroneous computation of the dimension of these subcones by McMullen and Monson. We show that the automorphism group of an abstract regular polytope can have an irreducible character $\chi$ with $\chi\neq \overline{\chi}$ and with arbitrarily large essential Wythoff dimension. This gives counterexamples to a result of Herman and Monson, which was derived from the erroneous computation mentioned before. We also discuss a relation between cosine vectors of certain pure realizations and the spherical functions appearing in the theory of Gelfand pairs.
• ### On Clifford theory with Galois action(1409.3559)

Jan. 22, 2016 math.RT, math.GR
Let $\widehat{G}$ be a finite group, $N$ a normal subgroup of $\widehat{G}$ and $\theta\in \operatorname{Irr}N$. Let $\mathbb{F}$ be a subfield of the complex numbers and assume that the Galois orbit of $\theta$ over $\mathbb{F}$ is invariant in $\widehat{G}$. We show that there is another triple $(\widehat{G}_1,N_1,\theta_1)$ of the same form, such that the character theories of $\widehat{G}$ over $\theta$ and of $\widehat{G}_1$ over $\theta_1$ are essentially "the same" over the field $\mathbb{F}$ and such that the following holds: $\widehat{G}_1$ has a cyclic normal subgroup $C$ contained in $N_1$, such that $\theta_1=\lambda^{N_1}$ for some linear character $\lambda$ of $C$, and such that $N_1/C$ is isomorphic to the (abelian) Galois group of the field extension $\mathbb{F}(\lambda)/\mathbb{F}(\theta_1)$. More precisely, "the same" means that both triples yield the same element of the Brauer-Clifford group $\operatorname{BrCliff}(G,\mathbb{F}(\theta))$ defined by A. Turull.
• ### Affine Symmetries of Orbit Polytopes(1411.0899)

Nov. 27, 2015 math.CO, math.MG, math.GR
An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense set of generic points such that the orbit polytopes of generic points have conjugated affine symmetry groups. We prove that the symmetry group of a generic orbit polytope is again $G$ if $G$ is itself the affine symmetry group of some orbit polytope, or if $G$ is absolutely irreducible. On the other hand, we describe some general cases where the affine symmetry group grows. We apply our theory to representation polytopes (the convex hull of a finite matrix group) and show that their affine symmetries can be computed effectively from a certain character. We use this to construct counterexamples to a conjecture of Baumeister et~al.\ on permutation polytopes [Advances in Math. 222 (2009), 431--452, Conjecture~5.4].
• ### Corestriction for algebras with group action(1409.3166)

July 8, 2015 math.RA, math.GR
We define a corestriction map for equivariant Brauer groups in the sense of Fr\"ohlich and Wall, which contain as a special case the Brauer-Clifford groups introduced by Turull. We show that this corestriction map has similar properties as the corestriction map in group cohomology (especially Galois cohomology). In particular, composing corestriction and restriction associated to a subgroup $H\leq G$ amounts to powering with the index $\lvert G:H \rvert$.
• ### The Schur-Clifford subgroup of the Brauer-Clifford group(1409.3210)

July 8, 2015 math.RT, math.GR
We define a Schur-Clifford subgroup of Turull's Brauer-Clifford group, similar to the Schur subgroup of the Brauer group. The Schur-Clifford subgroup contains exactly the equivalence classes coming from the intended application to Clifford theory of finite groups. We show that the Schur-Clifford subgroup is indeed a subgroup of the Brauer-Clifford group, as are certain naturally defined subsets. We also show that this Schur-Clifford subgroup behaves well with respect to restriction and corestriction maps between Brauer-Clifford groups.
• ### Character correspondences induced by magic representations(1004.4538)

Aug. 19, 2011 math.RT, math.GR
Let G be a finite group, K a normal subgroup of G and H a subgroup such that G = HK, and set L = H \cap K. Suppose \theta \in Irr K and \phi \in Irr L, and \phi\ occurs in \theta_L with multiplicity n > 0. A projective representation of degree n on H/L is defined in this situation; if this representation is ordinary, it yields a bijection between Irr(G | \theta) and Irr(H | \phi). The behavior of fields of values and Schur indices under this bijection is described. A modular version of the main result is proved. We show that the theory applies if n and the order of H/L are coprime. Finally, assume that P <= G is a p-group with P \cap K = 1 and PK normal in G, that H = N_G(P), and that \theta\ and \phi\ belong to blocks of p-defect zero which are Brauer correspondents with respect to the group P. Then every block of F_p[G] or Q_p[G] lying over \theta\ is Morita-equivalent to its Brauer correspondent with respect to P. This strengthens a result of Turull [Above the Glauberman correspondence, Advances in Math. 217 (2008), 2170--2205].
• ### Character correspondences above fully ramified sections and Schur indices(1108.3777)

Aug. 18, 2011 math.RT, math.GR
Let N be a finite group of odd order and A a finite group that acts on N such that the orders of N and A are coprime. Isaacs constructed a natural correspondence between the set Irr_A(N) of irreducible complex characters invariant under the action of A, and the irreducible characters of the centralizer of A in N, Irr(C_N(A)). We show that this correspondence preserves Schur indices over the rational numbers. Moreover, suppose that the semidirect product AN is a normal subgroup of the finite group G and set U= N_G(A). Let \chi \in Irr_A(N) and \chi* \in Irr(C_N(A)) correspond. Then there is a canonical bijection between Irr(G | \chi) and Irr(U | \chi*) preserving Schur indices. We also give simplified and more conceptual proofs of (known) character correspondences above fully ramified sections.