Isomorphisms,automorphisms, and generalized involution models of projective reflection groups

We investigate the generalized involution models of the projective reflection groups G(r, p, q, n). This family of groups parametrizes all quotients of the complex reflection groups G(r, p, n) by scalar subgroups. Our classification is ultimately incomplete, but we provide several necessary and sufficient conditions for generalized involution models to exist in various cases. In the process we solve several intermediate problems concerning the structure of projective reflection groups. We derive a simple criterion for determining whether two groups G(r, p, q, n) and G(r, p′, q′, n) are isomorphic. We also describe explicitly the form of all automorphisms of G(r, p, q, n), outside a finite list of exceptional cases. Building on prior work, this allows us to prove that G(r, p, 1, n) has a generalized involution model if and only if G(r, p, 1, n) ≌ G(r, 1, p, n). We also classify which groups G(r, p, q, n) have generalized involution models when n = 2, or q is odd, or n is odd.     

Root Sublattices and Torus-Restriction of Prehomogeneous Vector Spaces Associated with Dynkin Quivers

For a Dynkin quiver Γ with r vertices, a subset S of the vertices of Γ, and an r-tuple d = (d⁽¹⁾, d⁽²⁾,…, d^(r)) of positive integers, we define a “torus-restricted” representation (G_S, R _d (Γ)) in natural way. Here we put G_S = G₁ × G₂ × … ×G_r, where each G_i is either SL(d⁽ⁱ⁾) or GL(d⁽ⁱ⁾) according to S containing i or not. In this paper, for a prescribed torus-restriction S, we give a necessary and sufficient condition on d that R _d (Γ) has only finitely many G_S-orbits. This can be paraphrased as a condition whether or not d is contained in a certain lattice spanned by positive roots of Γ. We also discuss the prehomogeneity of (G_S, R _d (Γ)).     

The Stable Class of the Augmentation Ideal

In [F.E.A. Johnson, Stable Modules and the D(2)-Problem, LMS Lecture Notes In Mathematics, vol. 301, CUP (2003)], for finite groups G, we gave a parametrization of the stable class of the augmentation ideal of Z[G] in terms of stably free modules. Whilst the details of this parametrization break down immediately for infinite groups, nevertheless one may hope to find parallel arguments for restricted classes of infinite groups. Subject to the restriction that Ext¹(Z, Z[G]) = 0, we parametrize the minimal level in Ω₁(Z) by means of stably free modules and give a lower estimate for the size of Ω₁(Z).     

The McKay conjecture for exceptional groups and odd primes

Let G be a simply-connected simple algebraic group over an algebraically closed field of characteristic p with a Frobenius map F : G → G and G := G ^F , such that the root system is of exceptional type or G is a Suzuki group or Steinberg’s triality group. We show that all irreducible characters of C _G (S), the centraliser of S in G, extend to their inertia group in N _G (S), where S is any F-stable Sylow torus of (G, F). Together with the work in [16] this implies that the McKay conjecture is true for G and odd primes ℓ different from the defining characteristic. Moreover it shows important properties of the associated simple groups, which are relevant for the proof that the associated simple groups are good in the sense of Isaacs, Malle and Navarro, as defined in [14]. This research has been supported by the DFG-grant “Die Alperin-McKay-Vermutung für endliche Gruppen” and an Oberwolfach Leibniz fellowship.     

Singular Archimedean lattice-ordered groups

W stands for the category of all archimedean l-groups with designated weak unit. The subcategory W _s of all groups with singular weak unit is analyzed as a full subcategory of W which is both epireflective and monocoreflective. A general technique for "contracting" monoreflections of a category A to a monocoreflective subcategory B is developed and then applied to W _s to show that: (i) the projectable hull in W _s is a monoreflection; (ii) essential hulls in W _s are formed by simply taking the lateral completion, and G is essentially closed in this category if and only if , where X is compact, Hausdorff and extremally disconnected; (iii) the maximum monoreflection on W _s , denoted , is obtained by contracting the maximum monoreflection on W, and G is epicomplete in W _s precisely when G is laterally -complete; (iv) the maximum essential reflection on W _s , denoted , is the contraction of the maximum essential reflection on W. Received January 22, 1997; accepted in final form June 11, 1998.     

The intrinsic normalising constants of transformations preserving infinite measures

We consider the collection of normalisations of a c.e.m.p.t. inside other c.e.m.p.t.s of which it is a factor. This forms an analytic, multiplicative subgroup ofR ₊. The groups corresponding to similar c.e.m.p.t.s coincide. “Usually” this group is {1}. Examples are given where the group is:R ₊, any countable subgroup ofR ₊, and also an uncountable subgroup ofR ₊ of any Haussdorff dimension. These latter groups are achieved by c.e.m.p.t.s which are not similar to their inverses. Research partially supported by NSERC grants A 8815 and A 3974.     

A Counter-Example to Martino’s Conjecture About Generic Calogero–Moser Families

The Calogero–Moser families are partitions of the irreducible characters of a complex reflection group derived from the block structure of the corresponding restricted rational Cherednik algebra. It was conjectured by Martino in 2009 that the generic Calogero–Moser families coincide with the generic Rouquier families, which are derived from the corresponding Hecke algebra. This conjecture is already proven for the whole infinite series G(m,p,n) and for the exceptional group G ₄. A combination of theoretical facts with explicit computations enables us to determine the generic Calogero–Moser families for the nine exceptional groups G ₄, G ₅, G ₆, G ₈, G ₁₀, G ₂₃?=?H ₃, G ₂₄, G ₂₅, and G ₂₆. We show that the conjecture holds for all these groups—except surprisingly for the group G ₂₅, thus being the first and only-known counter-example so far.     

Finite Groups with Conjugacy Classes Number One Greater than Its Same Order Classes Number

ABSTRACT

Let k(G) be the number of conjugacy classes of finite groups G and π _e (G) be the set of the orders of elements in G. Then there exists a non-negative integer k such that k(G) = |π _e (G)| + k. We call such groups to be co(k) groups. This article classifies all finite co(1) groups. They are isomorphic to one of the following groups: A ₅, L ₂(7), S ₅, Z ₃, Z ₄, S ₄, A ₄, D ₁₀, Hol(Z ₅), or Z ₃ ? Z ₄.     

Reflection subgroups and sub-root systems of the imprimitive complex reflection groups

Based on a graph-theoretic analysis, we determine all the irreducible reflection subgroups of the imprimitive complex reflection groups G(m, p, n), and describe the irreducible subsystems of all possible types in the root system R(m, p, n) of G(m, p, n).     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient , for certain external subspaces of the hyperfinite dimensional Banach space , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and are isometrically isomorphic as Banach algebras. Research of both authors supported by a grant by VEGA – Scientific Grant Agency of Slovak Republic.     

Weighted enumerations on projective reflection groups

Projective reflection groups have been recently defined by the second author. They include a special class of groups denoted G(r,p,s,n) which contains all classical Weyl groups and more generally all the complex reflection groups of type G(r,p,n). In this paper we define some statistics analogous to descent number and major index over the projective reflection groups G(r,p,s,n), and we compute several generating functions concerning these parameters. Some aspects of the representation theory of G(r,p,s,n), as distribution of one-dimensional characters and computation of Hilbert series of invariant algebras, are also treated.     

Unique maximal rings of functions

For several classes of groups G, we characterize when the near-ring M₀(G) of 0-preserving selfmaps on G contains a unique maximal ring. Definitive results are obtained for finite Abelian, finite nilpotent, and finite permutation groups. As an application, we determine those finite groups G such that all rings in M₀(G) are commutative.     

The exponential image of simple complex lie groups of exceptional type

Let G be a connected reductive complex Lie group. Let E _G be the image of the exponential map of G and E' _G its complement in G. We give a purely algebraic characterization of the set E _G and also describe an algorithm for finding all conjugacy classes of G in E' _G . We are mainly interested in the case when the Lie algebra of G is simple and exceptional. Full details are provided for groups G of type G ₂, F ₄, and E ₆. If G is of type G ₂ then there are only two such conjugacy classes.This work was supported by NSERC Grant A-5285.     

Relative length of longest paths and cycles in 3‐connected graphs

For a graph G, let p(G) denote the order of a longest path in G and c(G) the order of a longest cycle in G, respectively. We show that if G is a 3‐connected graph of order n such that for every independent set {x₁, x₂, x₃, x₄}, then G satisfies c(G) ≥ p(G) ? 1. Using this result, we give several lower bounds to the circumference of a 3‐connected graph. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 137–156, 2001     

Cyclotomic Solomon algebras

This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type G(r,1,n). As with the Solomon descent algebra, our algebra has a basis given by sums of ‘distinguished’ coset representatives for certain ‘reflection subgroups.’ We explicitly describe the structure constants with respect to this basis and show that they are polynomials in r. This allows us to define a deformation, or q-analogue, of these algebras which depends on a parameter q. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.     

Relaxed chromatic numbers of graphs

Given any family of graphsP, theP chromatic number _p (G) of a graphG is the smallest number of classes into whichV(G) can be partitioned such that each class induces a subgraph inP. We study this for hereditary familiesP of two broad types: the graphs containing no subgraph of a fixed graphH, and the graphs that are disjoint unions of subgraphs ofH. We generalize results on ordinary chromatic number and we computeP chromatic number for special choices ofP on special classes of graphs.Research supported in part by ONR Grant N00014-85K0570 and by a grant from the University of Illinois Research Board.     

Random graphs and covering graphs of posets

For a graph G, we define c(G) to be the minimal number of edges we must delete in order to make G into a covering graph of some poset. We prove that, if p=n ^-1+(n) ,where (n) is bounded away from 0, then there is a constant k ₀>0 such that, for a.e. G _p , c(G _p )k ₀ n ¹⁺⁽ⁿ⁾ .In other words, to make G _p into a covering graph, we must almost surely delete a positive constant proportion of the edges. On the other hand, if p=n ^-1+(n) , where (n)0, thenc(G _p )=o(n ¹⁺⁽ⁿ⁾ ), almost surely.Partially supported by MCS Grant 8104854.     

Comparing Codimension and Absolute Length in Complex Reflection Groups

Reflection length and codimension of fixed point spaces induce partial orders on a complex reflection group. Motivated by connections to the algebraic structure of cohomology governing deformations of skew group algebras, we show that Coxeter groups and the infinite family G(m, 1, n) are the only irreducible complex reflection groups for which reflection length and codimension coincide. We then discuss implications for the degrees of generators of Hochschild cohomology. Along the way, we describe the codimension atoms for the infinite family G(m, p, n), give algorithms using character theory, and determine two-variable Poincaré polynomials recording reflection length and codimension.     

Conjugacy Classes in Sylow p-Subgroups of Finite Chevalley Groups in Bad Characteristic

Let U = U(q) be a Sylow p-subgroup of a finite Chevalley group G = G(q). Röhrle and Goodwin in 2009 determined a parameterization of the conjugacy classes of U, for G of small rank when q is a power of a good prime for G. As a consequence they verified that the number k(U) of conjugacy classes of U is given by a polynomial in q with integer coefficients. In the present paper, we consider the case when p is a bad prime for G. Our motivation is to observe how the situation differs between good and bad characteristics. We obtain a parameterization of the conjugacy classes of U, when G has rank less than or equal to 4, and G is not of type F ₄. In these cases we deduce that k(U) is given by a polynomial in q with integer coefficients; this polynomial is different from the polynomial for good primes.