-
Schur-Weyl dualities for the rook monoid: an approach via Schur algebras
Authors:
Carlos A. M. André,
Inês Legatheaux Martins
Abstract:
The rook monoid, also known as the symmetric inverse monoid, is the archetypal structure when it comes to extend the principle of symmetry. In this paper, we establish a Schur-Weyl duality between this monoid and an extension of the classical Schur algebra, which we name the extended Schur algebra. We also explain how this relates to Solomon's Schur-Weyl duality between the rook monoid and the gen…
▽ More
The rook monoid, also known as the symmetric inverse monoid, is the archetypal structure when it comes to extend the principle of symmetry. In this paper, we establish a Schur-Weyl duality between this monoid and an extension of the classical Schur algebra, which we name the extended Schur algebra. We also explain how this relates to Solomon's Schur-Weyl duality between the rook monoid and the general linear group and mention some advantages of our approach.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Shintani descent for standard supercharacters of algebra groups
Authors:
Carlos A. M. André,
Ana L. Branco Correia,
João Dias
Abstract:
Let $\mathcal{A}(q)$ be a finite-dimensional nilpotent algebra over a finite field $\mathbb{F}_{q}$ with $q$ elements, and let $G(q) = 1+\mathcal{A}(q)$. On the other hand, let $\Bbbk$ denote the algebraic closure of $\mathbb{F}_{q}$, and let $\mathcal{A} = \mathcal{A}(q) \otimes_{\mathbb{F}_{q}} \Bbbk$. Then $G = 1+\mathcal{A}$ is an algebraic group over $\Bbbk$ equipped with an $\mathbb{F}_{q}$-…
▽ More
Let $\mathcal{A}(q)$ be a finite-dimensional nilpotent algebra over a finite field $\mathbb{F}_{q}$ with $q$ elements, and let $G(q) = 1+\mathcal{A}(q)$. On the other hand, let $\Bbbk$ denote the algebraic closure of $\mathbb{F}_{q}$, and let $\mathcal{A} = \mathcal{A}(q) \otimes_{\mathbb{F}_{q}} \Bbbk$. Then $G = 1+\mathcal{A}$ is an algebraic group over $\Bbbk$ equipped with an $\mathbb{F}_{q}$-rational structure given by the usual Frobenius map $F:G\to G$, and $G(q)$ can be regarded as the fixed point subgroup $G^{F}$. For every $n \in \mathbb{N}$, the $n$th power $F^{n}:G\to G$ is also a Frobenius map, and $G^{F^{n}}$ identifies with $G(q^{n}) = 1 + \mathcal{A}(q^{n})$. The Frobenius map restricts to a group automorphism $F:G(q^{n})\to G(q^{n})$, and hence it acts on the set of irreducible characters of $G(q^{n})$. Shintani descent provides a method to compare $F$-invariant irreducible characters of $G(q^{n})$ and irreducible characters of $G(q)$. In this paper, we show that it also provides a uniform way of studying supercharacters of $G(q^{n})$ for $n \in \mathbb{N}$. These groups form an inductive system with respect to the inclusion maps $G(q^{m}) \to G(q^{n})$ whenever $m \mid n$, and this fact allows us to study all supercharacter theories simultaneously, to establish connections between them, and to relate them to the algebraic group $G$. Indeed, we show that Shintani descent permits the definition of a certain ``superdual algebra'' which encodes information about the supercharacters of $G(q^{n})$ for $n \in \mathbb{N}$.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Smooth representations of involutive algebra groups over non-archimedean local fields
Authors:
Carlos A. M. André,
João Dias
Abstract:
An algebra group over a field $F$ is a group of the form $G = 1+J$ where $J$ is a finite-dimensional nilpotent associative $F$-algebra. A theorem of M. Boyarchenko asserts that, in the case where $F$ is a non-archimedean local field, every irreducible smooth representation of $G$ is admissible and smoothly induced by a one-dimensional smooth representation of some algebra subgroup of $G$. If $J$ i…
▽ More
An algebra group over a field $F$ is a group of the form $G = 1+J$ where $J$ is a finite-dimensional nilpotent associative $F$-algebra. A theorem of M. Boyarchenko asserts that, in the case where $F$ is a non-archimedean local field, every irreducible smooth representation of $G$ is admissible and smoothly induced by a one-dimensional smooth representation of some algebra subgroup of $G$. If $J$ is a nilpotent algebra endowed with an involution $σ:J\to J$, then $σ$ naturally defines a group automorphism of $G$, and we may consider the fixed point subgroup $C_{G}(σ)$. Assuming that $F$ has characteristic different from $2$, we extend Boyarchenko's result and show that every irreducible smooth representation of $C_{G}(σ)$ is admissible and smoothly induced by a one-dimensional smooth representation of a subgroup of the form $C_{H}(σ)$ where $H$ is an $σ$-invariant algebra subgroup of $G$. As a particular case, the result holds for maximal unipotent subgroups of the classical Chevalley groups defined over $F$.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Supercharacters of discrete algebra groups
Authors:
Carlos A. M. André,
Jocelyn Lochon
Abstract:
The concept of a supercharacter theory of a finite group was introduced by Diaconis and Isaacs as an alternative to the usual irreducible character theory, and exemplified with a particular construction in the case of finite algebra groups. We extend this construction to arbitrary countable discrete algebra groups, where superclasses and indecomposable supercharacters play the role of conjugacy cl…
▽ More
The concept of a supercharacter theory of a finite group was introduced by Diaconis and Isaacs as an alternative to the usual irreducible character theory, and exemplified with a particular construction in the case of finite algebra groups. We extend this construction to arbitrary countable discrete algebra groups, where superclasses and indecomposable supercharacters play the role of conjugacy classes and indecomposable characters, respectively. Our construction can be understood as a cruder version of Kirillov's orbit method and a generalisation of Diaconis and Isaacs construction for finite algebra groups. However, we adopt an ergodic theoretical point of view. The theory is then illustrated with the characterisation of the standard supercharacters of the group of upper unitriangular matrices over an algebraic closed field of prime characteristic.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Smooth representations of unit groups of split basic algebras over non-Archimedean local fields
Authors:
Carlos A. M. André,
João Dias
Abstract:
We consider smooth representations of the unit group $G = \mathcal{A}^{\times}$ of a finite-dimensional split basic algebra $\mathcal{A}$ over a non-Archimedean local field. In particular, we prove a version of Gutkin's conjecture, namely, we prove that every irreducible smooth representation of $G$ is compactly induced by a one-dimensional representation of the unit group of some subalgebra of…
▽ More
We consider smooth representations of the unit group $G = \mathcal{A}^{\times}$ of a finite-dimensional split basic algebra $\mathcal{A}$ over a non-Archimedean local field. In particular, we prove a version of Gutkin's conjecture, namely, we prove that every irreducible smooth representation of $G$ is compactly induced by a one-dimensional representation of the unit group of some subalgebra of $\mathcal{A}$. We also discuss admissibility and unitarisability of smooth representations of G.
△ Less
Submitted 31 October, 2019;
originally announced October 2019.
-
A supercharacter theory for involutive algebra groups
Authors:
Carlos A. M. André,
Pedro J. Freitas,
Ana Margarida Neto
Abstract:
If $\mathscr{J}$ is a finite-dimensional nilpotent algebra over a finite field $\Bbbk$, the algebra group $P = 1+\mathscr{J}$ admits a (standard) supercharacter theory as defined by Diaconis and Isaacs. If $\mathscr{J}$ is endowed with an involution $\widehatς$, then $\widehatς$ naturally defines a group automorphism of $P = 1+\mathscr{J}$, and we may consider the fixed point subgroup…
▽ More
If $\mathscr{J}$ is a finite-dimensional nilpotent algebra over a finite field $\Bbbk$, the algebra group $P = 1+\mathscr{J}$ admits a (standard) supercharacter theory as defined by Diaconis and Isaacs. If $\mathscr{J}$ is endowed with an involution $\widehatς$, then $\widehatς$ naturally defines a group automorphism of $P = 1+\mathscr{J}$, and we may consider the fixed point subgroup $C_{P}(\widehatς) = \{x\in P : \widehatς(x) = x^{-1}\}$. Assuming that $\Bbbk$ has odd characteristic $p$, we use the standard supercharacter theory for $P$ to construct a supercharacter theory for $C_{P}(\widehatς)$. In particular, we obtain a supercharacter theory for the Sylow $p$-subgroups of the finite classical groups of Lie type, and thus extend in a uniform way the construction given by André and Neto for the special case of the symplectic and orthogonal groups.
△ Less
Submitted 5 February, 2015;
originally announced February 2015.
-
A supercharacter theory for the Sylow p-subgroups of the finite symplectic and orthogonal groups
Authors:
Carlos A. M. Andre,
Ana Margarida Neto
Abstract:
We define the superclasses for a classical finite unipotent group $U$ of type $B_{n}(q)$, $C_{n}(q)$, or $D_{n}(q)$, and show that, together with the supercharacters defined in a previous paper, they form a supercharacter theory. In particular, we prove that the supercharacters take a constant value on each superclass, and evaluate this value. As a consequence, we obtain a factorization of any s…
▽ More
We define the superclasses for a classical finite unipotent group $U$ of type $B_{n}(q)$, $C_{n}(q)$, or $D_{n}(q)$, and show that, together with the supercharacters defined in a previous paper, they form a supercharacter theory. In particular, we prove that the supercharacters take a constant value on each superclass, and evaluate this value. As a consequence, we obtain a factorization of any superclass as a product of elementary superclasses. In addition, we also define the space of superclass functions, and prove that it is spanned by the supercharacters. As as consequence, we (re)obtain the decomposition of the regular character as an orthogonal linear combination of supercharacters. Finally, we define the supercharacter table of $U$, and prove various orthogonality relations for supercharacters (similar to the well-known orthogonality relations for irreducible characters).
△ Less
Submitted 31 October, 2008; v1 submitted 21 October, 2008;
originally announced October 2008.
-
Supercharacters of the Sylow p-subgroups of the finite symplectic and orthogonal groups
Authors:
Carlos A. M. André,
Ana Margarida Neto
Abstract:
We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irred…
▽ More
We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irreducible characters. We also describe all irreducible characters of maximum degree in terms of the root system, and show how they can be obtained as constituents of particular supercharacters.
△ Less
Submitted 27 April, 2008;
originally announced April 2008.
-
Irreducible Characters of Finite Algebra Groups
Authors:
Carlos A. M. Andre
Abstract:
Let F be a finite field with q elements, let A be a finite dimensional F-algebra and let J=J(A) be the Jacobson radical of A. Then G=1+J is a p-group, where p is the characteristic of F. We refer to G as an F-algebra group. A subgroup H of G is said to be an algebra subgroup of G if H=1+U for some multiplicatively closed F-subspace of J. In this paper, we parametrize the irreducible complex char…
▽ More
Let F be a finite field with q elements, let A be a finite dimensional F-algebra and let J=J(A) be the Jacobson radical of A. Then G=1+J is a p-group, where p is the characteristic of F. We refer to G as an F-algebra group. A subgroup H of G is said to be an algebra subgroup of G if H=1+U for some multiplicatively closed F-subspace of J. In this paper, we parametrize the irreducible complex characters of G in terms of G-orbits on the dual space of J. Moreover, we prove that every irreducible complex character of G is induced from a linear character of some algebra subgroup of G.
△ Less
Submitted 23 November, 1998;
originally announced November 1998.
