Related papers: Computational proof of the Mackey formula for q > …

Let G be a connected reductive group over an algebraic closure of a finite field Fq. In this paper it is proved that the infinite dimensional Steinberg module of kG defined by N. Xi in 2014 is irreducible when k is a field of positive…

Let G be a semisimple algebraic group over an algebraically-closed field of characteristic zero. In this note we show that every regular face of the Littlewood-Richardson cone of G gives rise to a reduction rule: a rule which, given a…

Let $E$ be a subset of the affine plane over a finite field $\mathbb{F}_q$. We bound the size of the subgroup of $SL_2(\mathbb{F}_q)$ that preserves $E$. As a consequence, we show that if $E$ has size $\ll q^\alpha$ and is preserved by $\gg…

Sp\"ath showed that the Alperin-McKay conjecture in the representation theory of finite groups holds if the so-called inductive Alperin-McKay condition holds for all finite simple groups. In a previous article, we showed that the…

For a given intuitionistic propositional formula A and a propositional variable x occurring in it, define the infinite sequence of formulae { A \_i | i$\ge$1} by letting A\_1 be A and A\_{i+1} be A(A\_i/x). Ruitenburg's Theorem [8] says…

Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $\Lambda^+$ be the monoid of dominant weights for a positive root system $\Delta^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let…

We prove Lusztig's conjectures ${\bf P1}$--${\bf P15}$ for the affine Weyl group of type $\tilde{G}_2$ for all choices of parameters. Our approach to compute Lusztig's $\mathbf{a}$-function is based on the notion of a "balanced system of…

Let $\mathbb{F}_{q}$ be a finite field of characteristic $p$, and let $W_{2}(\mathbb{F}_{q})$ be the ring of Witt vectors of length two over $\mathbb{F}_{q}$. We prove that for any reductive group scheme $\mathbb{G}$ over $\mathbb{Z}$ such…

In this paper, we describe the induction functor from the category of native Mackey functors to the category of biset functors for a finite group $G$ over an algebraically closed field $k$ of characteristic zero. We prove two applications…

Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.

Let $G$ be a connected reductive group split over R. We show that every unipotent element in the totally nonnegative monoid of G is regular in some Levi subgroups, confirming a conjecture of Lusztig.

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

In this paper, we formulate the notion of split elements of a unipotent class in a connected reductive group $G$. Generalized Green functions of $G$ can be computed by using Lusztig's algorithm, if split elements exist for any unipotent…

We develop and study a Lefschetz theory in a combinatorial category associated to a root system and derive an upper bound on the exceptional characteristics for Lusztig's formula for the simple rational characters of a reductive algebraic…

Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements. We propose some conjectures concerning the simple quotients of $M\otimes N$, where $M,N$ are objects in the…

The paper is concerned with the character theory of finite groups of Lie type. The irreducible characters of a group $G$ of Lie type are partitioned in Lusztig series. We provide a simple formula for an upper bound of the maximal size of a…

For half a century, Mackey and Green functors have been successfully used to model the induction and restriction maps which are ubiquitous in the representation theory of finite groups. In the examples, the latter maps are typically…

We classify the irredible representations of $\mathrm{GL}_{2}(q)$ for which the induction to the product group $\mathrm{GL}_{2}(q)\times\mathrm{GL}_{2}(q)$, under the diagonal embedding, decomposes multiplicity free. It turns out that only…

Let G be a reductive connected linear algebraic group over an algebraically closed field of positive characteristic and let g be its Lie algebra. First we extend a well-known result about the Picard group of a semisimple group to reductive…

Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup…