Related papers: Self-dual modules in characteristic two and normal…
For any finite group $G$ and any prime $p$ one can ask which ordinary irreducible representations remain irreducible in characteristic $p$, or more generally, which representations remain homogeneous in characteristic $p$. In this paper we…
Let $G$ be the finite simple Chevalley group of type $^2E_6(2)$. It has a Schur multiplier of type $C_2^2 \times C_3$. We determine the ordinary character tables of the central extensions $3.G$, $6.G$, $(2^2\times 3).G$ of $G$ and their…
We classify globally irreducible representations of alternating groups and double covers of symmetric and alternating groups. In order to achieve this classification we also completely characterise irreducible representations of such groups…
Let $G$ be a classical group $\GL(n)$, $\oU(n)$, $\oO(n)$ or $\Sp(2n)$, over a non-archimedean local field of characteristic zero. Let $\pi$ be an irreducible admissible smooth representation of $G$. It is well known that the contragredient…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We establish a formula for computing the unramified Brauer group of tame conic bundle threefolds in characteristic 2. The formula depends on the arrangement and residue double covers of the discriminant components, the latter being governed…
We prove an almost minimal R=T theorem for self-dual Galois representations with coefficients in a finite field satisfying a property called rigid. We also prove the rigidity property for a large family of residual Galois representations…
Let G be a special orthogonal group or an inner form of a symplectic group over a number field F such that there exists a non-empty set S of real places of F at which G has discrete series and outside of which G is quasi-split. We prove…
A conjecture raised by Cossey in 2007 asserts that if $G$ is a finite $p$-solvable group and $\varphi$ is an irreducible $p$-Brauer character of $G$ with vertex $Q$, then the number of lifts of $\varphi$ is at most $|Q:Q'|$. This conjecture…
Let $G$ be a group with a finite subgroup $H$. We define the $L^2$-multiplicity of an irreducible representation of $H$ in the $L^2$-homology of a proper $G$-CW-complex. These invariants generalize the $L^2$-Betti numbers. Our main results…
Let A be a commutative ring with 1/2 in A. In this paper, we define new characteristic classes for finitely generated projective A-modules V provided with a non degenerate quadratic form. These classes belong to the usual K-theory of A.…
This is an exposition of our joint work with Kakde, Silliman, and Wang, in which we prove a version of Ribet's Lemma for $\mathrm{GL}_2$ in the residually indistinguishable case. We suppose we are given a Galois representation taking values…
For every absolutely irreducible orthogonal representation of a twisted form of SL2 over a field of characteristic zero, we compute the "unique" symmetric bilinear form that is invariant under the group action. We also prove the analogous…
Let $\widetilde{G}$ be the $n$-fold covering group of the special linear group of degree two, over a non-Archimedean local field. We determine the decomposition into irreducibles of the restriction of the principal series representations of…
Let F be a finite field of odd cardinality, and let G= GL2(F). The group G \times G \times G acts on F^2 \otimes F^2 \otimes F^2 via symplectic similitudes, and has a natural Weil representation. Answering a question rasised by V. Drinfeld,…
A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual…
We study the decomposition of certain reducible characters of classical groups as the sum of irreducible ones. Let ${\mathbf G}$ be an algebraic group of classical type with defining characteristic $p>0$, $\mu$ a dominant weight and $W$ the…
Let $G$ be a $(2,m,n)$-group and let $x$ be the number of distinct primes dividing $\chi$, the Euler characteristic of $G$. We prove, first, that, apart from a finite number of known exceptions, a non-abelian simple composition factor $T$…
We prove an orbifold conjecture for a solvable automorphism group. Namely, we show that if V is a C_2-cofinite simple vertex operator algebra and G is a finite solvable automorphism group of V, then the fixed point vertex operator…
In this work, we generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite groups, including conjugation invariance,…