Showing 1–15 of 15 results for author: Ryba, C

Stable Centres of Iwahori-Hecke Algebras of type A

Authors: Christopher Ryba

Abstract: A celebrated result of Farahat and Higman constructs an algebra $\mathrm{FH}$ which "interpolates" the centres $Z(\mathbb{Z}S_n)$ of group algebras of the symmetric groups $S_n$. We extend these results from symmetric group algebras to type $A$ Iwahori-Hecke algebras, $H_n(q)$. In particular, we explain how to construct an algebra $\mathrm{FH}_q$ "interpolating" the centres $Z(H_n(q))$. We prove t… ▽ More A celebrated result of Farahat and Higman constructs an algebra $\mathrm{FH}$ which "interpolates" the centres $Z(\mathbb{Z}S_n)$ of group algebras of the symmetric groups $S_n$. We extend these results from symmetric group algebras to type $A$ Iwahori-Hecke algebras, $H_n(q)$. In particular, we explain how to construct an algebra $\mathrm{FH}_q$ "interpolating" the centres $Z(H_n(q))$. We prove that $\mathrm{FH}_q$ is isomorphic to $\mathcal{R}[q,q^{-1}] \otimes_{\mathbb{Z}} Λ$ (where $\mathcal{R}$ is the ring of integer-valued polynomials, and $Λ$ is the ring of symmetric functions). The isomorphism can be described as "evaluation at Jucys-Murphy elements", leading to a proof of a conjecture of Francis and Wang. This yields character formulae for the Geck-Rouquier basis of $Z(H_n(q))$ when acting on Specht modules. △ Less

Submitted 16 August, 2022; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: 13 pages

A Tensor-Cube Version of the Saxl Conjecture

Authors: Nate Harman, Christopher Ryba

Abstract: Let $n$ be a positive integer, and let $ρ_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$. The Saxl conjecture asserts that every irreducible representation $S^λ$ of the symmetric group $S_N$ appears as a subrepresentation of the tensor square $S^{ρ_n} \otimes S^{ρ_n}$. In this short note we show that every irreducible representation of $S_N$ appears in t… ▽ More Let $n$ be a positive integer, and let $ρ_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$. The Saxl conjecture asserts that every irreducible representation $S^λ$ of the symmetric group $S_N$ appears as a subrepresentation of the tensor square $S^{ρ_n} \otimes S^{ρ_n}$. In this short note we show that every irreducible representation of $S_N$ appears in the tensor cube $S^{ρ_n} \otimes S^{ρ_n} \otimes S^{ρ_n}$. △ Less

Submitted 8 July, 2022; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 4 pages. Added an independent second proof of the main theorem

Stable Centres II: Finite Classical Groups

Authors: Arun S. Kannan, Christopher Ryba

Abstract: Farahat and Higman constructed an algebra $\mathrm{FH}$ interpolating the centres of symmetric group algebras $Z(\mathbb{Z}S_n)$ by proving that the structure constants in these rings are "polynomial in $n$". Inspired by a construction of $\mathrm{FH}$ due to Ivanov and Kerov, we prove for $G_n = GL_n, U_n, Sp_{2n}, O_n$, that the structure constants of $Z(\mathbb{Z}G_n(\mathbb{F}_q))$ are "polyno… ▽ More Farahat and Higman constructed an algebra $\mathrm{FH}$ interpolating the centres of symmetric group algebras $Z(\mathbb{Z}S_n)$ by proving that the structure constants in these rings are "polynomial in $n$". Inspired by a construction of $\mathrm{FH}$ due to Ivanov and Kerov, we prove for $G_n = GL_n, U_n, Sp_{2n}, O_n$, that the structure constants of $Z(\mathbb{Z}G_n(\mathbb{F}_q))$ are "polynomial in $q^n$", allowing us to construct an equivalent of the Farahat-Higman algebra in each case. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: 38 pages

Kronecker Comultiplication of Stable Characters and Restriction From $S_{mn}$ to $S_m \times S_n$

Authors: Christopher Ryba

Abstract: A family of symmetric functions $\tilde{s}_λ$ was introduced in [OZ], and independently in [AS]. The $\tilde{s}_λ$ encode many stability properties of representations of symmetric groups (e.g. when multiplied, the structure constants are reduced Kronecker coefficients). We show that the structure constants for the Kronecker comultiplication $Δ^*$ are multiplicities for the restriction of irreducib… ▽ More A family of symmetric functions $\tilde{s}_λ$ was introduced in [OZ], and independently in [AS]. The $\tilde{s}_λ$ encode many stability properties of representations of symmetric groups (e.g. when multiplied, the structure constants are reduced Kronecker coefficients). We show that the structure constants for the Kronecker comultiplication $Δ^*$ are multiplicities for the restriction of irreducible representations from $S_{mn}$ to $S_m \times S_n$ (provided $m$ and $n$ are sufficiently large), and use the structure of $\tilde{s}_λ$ to demonstrate two-row stability properties of these restriction multiplicities. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: 12 pages

Stable Centres I: Wreath Products

Authors: Christopher Ryba

Abstract: A result of Farahat and Higman shows that there is a ``universal'' algebra, $\mathrm{FH}$, interpolating the centres of symmetric group algebras, $Z(\mathbb{Z}S_n)$. We explain that this algebra is isomorphic to $\mathcal{R} \otimes Λ$, where $\mathcal{R}$ is the ring of integer-valued polynomials and $Λ$ is the ring of symmetric functions. Moreover, the isomorphism is via ``evaluation at Jucys-Mu… ▽ More A result of Farahat and Higman shows that there is a ``universal'' algebra, $\mathrm{FH}$, interpolating the centres of symmetric group algebras, $Z(\mathbb{Z}S_n)$. We explain that this algebra is isomorphic to $\mathcal{R} \otimes Λ$, where $\mathcal{R}$ is the ring of integer-valued polynomials and $Λ$ is the ring of symmetric functions. Moreover, the isomorphism is via ``evaluation at Jucys-Murphy elements'', which leads to character formulae for symmetric groups. Then, we generalise this result to wreath products $Γ\wr S_n$ of a fixed finite group $Γ$. This involves constructing wreath-product versions $\mathcal{R}_Γ$ and $Λ(Γ_*)$ of $\mathcal{R}$ and $Λ$, respectively, which are interesting in their own right (for example, both are Hopf algebras). We show that the universal algebra for wreath products, $\mathrm{FH}_Γ$, is isomorphic to $\mathcal{R}_Γ\otimes Λ(Γ_*)$ and use this to compute the $p$-blocks of wreath products. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 38 pages

The Grothendieck Ring of a Family of Spherical Categories

Authors: Zhengwei Liu, Christopher Ryba

Abstract: The first author constructed a $q$-parameterized spherical category $\sC$ over $\mathbb{C}(q)$ in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables. The first author constructed a $q$-parameterized spherical category $\sC$ over $\mathbb{C}(q)$ in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 25 pages

MSC Class: 18M20; 46L37; 81T40; 81R50;

Stable characters from permutation patterns

Authors: Christian Gaetz, Christopher Ryba

Abstract: For a fixed permutation $σ\in S_k$, let $N_σ$ denote the function which counts occurrences of $σ$ as a pattern in permutations from $S_n$. We study the expected value (and $d$-th moments) of $N_σ$ on conjugacy classes of $S_n$ and prove that the irreducible character support of these class functions stabilizes as $n$ grows. This says that there is a single polynomial in the variables… ▽ More For a fixed permutation $σ\in S_k$, let $N_σ$ denote the function which counts occurrences of $σ$ as a pattern in permutations from $S_n$. We study the expected value (and $d$-th moments) of $N_σ$ on conjugacy classes of $S_n$ and prove that the irreducible character support of these class functions stabilizes as $n$ grows. This says that there is a single polynomial in the variables $n, m_1, \ldots, m_{dk}$ which computes these moments on any conjugacy class (of cycle type $1^{m_1}2^{m_2}\cdots$) of any symmetric group. This result generalizes results of Hultman and of Gill, who proved the cases $(d,k)=(1,2)$ and $(1,3)$ using ad hoc methods. Our proof is, to our knowledge, the first application of partition algebras to the study of permutation patterns. △ Less

Submitted 8 June, 2020; originally announced June 2020.

Comments: 11 pages

Journal ref: Selecta Mathematica, Volume 27 (2021)

Littlewood Complexes for Symmetric Groups

Authors: Christopher Ryba

Abstract: We construct a complex $\mathcal{L}_\bullet^λ$ resolving the irreducible representations $\mathcal{S}^{λ[n]}$ of the symmetric groups $S_n$ by representations restricted from $GL_n(k)$. This construction lifts to $\mathrm{Rep}(S_\infty)$, where it yields injective resolutions of simple objects. It categorifies stable Specht polynomials, and allows us to understand evaluations of these polynomials… ▽ More We construct a complex $\mathcal{L}_\bullet^λ$ resolving the irreducible representations $\mathcal{S}^{λ[n]}$ of the symmetric groups $S_n$ by representations restricted from $GL_n(k)$. This construction lifts to $\mathrm{Rep}(S_\infty)$, where it yields injective resolutions of simple objects. It categorifies stable Specht polynomials, and allows us to understand evaluations of these polynomials for all $n$. △ Less

Submitted 31 March, 2020; originally announced April 2020.

Comments: 9 pages

Indecomposable Objects of $\underline{Rep}(GL_t)$ in Terms of Exterior Powers of the Tautological Object and its Dual

Authors: Christopher Ryba

Abstract: The purpose of this short note is to understand the Grothendieck ring of the Deligne category $\underline{\text{Rep}}(GL_t)$. We give a formula for the class of an indecomposable object in terms of exterior powers of the tautological object and its dual. The purpose of this short note is to understand the Grothendieck ring of the Deligne category $\underline{\text{Rep}}(GL_t)$. We give a formula for the class of an indecomposable object in terms of exterior powers of the tautological object and its dual. △ Less

Submitted 17 October, 2019; originally announced October 2019.

Comments: 5 pages

A Permutation Module Deligne Category and Stable Patterns of Kronecker Coefficients

Authors: Christopher Ryba

Abstract: Deligne's category $\underline{\rm Rep}(S_t)$ is a tensor category depending on a parameter $t$ "interpolating" the categories of representations of the symmetric groups $S_n$. We construct a family of categories $\mathcal{C}_λ$ (depending on a vector of variables $λ= (λ_1, λ_2, \ldots, λ_l)$, that may be specialised to values in the ground ring) which are module categories over… ▽ More Deligne's category $\underline{\rm Rep}(S_t)$ is a tensor category depending on a parameter $t$ "interpolating" the categories of representations of the symmetric groups $S_n$. We construct a family of categories $\mathcal{C}_λ$ (depending on a vector of variables $λ= (λ_1, λ_2, \ldots, λ_l)$, that may be specialised to values in the ground ring) which are module categories over $\underline{\rm Rep}(S_t)$. The categories $\mathcal{C}_λ$ are defined over any ring and are constructed by interpolating permutation representations. Further, they admit specialisation functors to $S_n$-mod which are tensor-compatible with the functors $\underline{\rm Rep}(S_t) \to S_n$-mod. We show that $\mathcal{C}_λ$ can be presented using the Kostant integral form of Lusztig's universal enveloping algebra $\dot{U}(\mathfrak{gl_{\infty}})$, and exhibit a categorification of some stability properties of Kronecker coefficients. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 30 pages

Embedding Deligne's category $\mathrm{\underline{Re}p}(S_t)$ in the Heisenberg category

Authors: Samuel Nyobe Likeng, Alistair Savage, appendix with Christopher Ryba

Abstract: We define a faithful linear monoidal functor from the partition category, and hence from Deligne's category $\mathrm{\underline{Re}p}(S_t)$, to the Heisenberg category. We show that the induced map on Grothendieck rings is injective and corresponds to the Kronecker coproduct on symmetric functions. We define a faithful linear monoidal functor from the partition category, and hence from Deligne's category $\mathrm{\underline{Re}p}(S_t)$, to the Heisenberg category. We show that the induced map on Grothendieck rings is injective and corresponds to the Kronecker coproduct on symmetric functions. △ Less

Submitted 15 March, 2021; v1 submitted 14 May, 2019; originally announced May 2019.

Comments: 23 pages; v2: minor corrections, published version

MSC Class: Primary 18M05; Secondary 20C30; 17B10

Journal ref: Quantum Topology 12 (2021), no. 2, 211-242

Resolving Irreducible $\mathbb{C}S_n$-Modules by Modules Restricted from $GL_n(\mathbb{C})$

Authors: Christopher Ryba

Abstract: We construct a resolution of irreducible complex representations of the symmetric group $S_n$ by restrictions of representations of $GL_n(\mathbb{C})$ (where $S_n$ is the subgroup of permutation matrices). This categorifies a recent result of Assaf and Speyer. Our construction also gives minimal resolutions of simple $\mathcal{F}$-modules (here $\mathcal{F}$ is the category of finite sets). We construct a resolution of irreducible complex representations of the symmetric group $S_n$ by restrictions of representations of $GL_n(\mathbb{C})$ (where $S_n$ is the subgroup of permutation matrices). This categorifies a recent result of Assaf and Speyer. Our construction also gives minimal resolutions of simple $\mathcal{F}$-modules (here $\mathcal{F}$ is the category of finite sets). △ Less

Submitted 18 December, 2018; originally announced December 2018.

Comments: 5 pages

An Answer to a Question of Zeilberger and Zeilberger about Fractional Counting of Partitions

Authors: Christopher Ryba

Abstract: We answer a question of Zeilberger and Zeilberger about certain partition statistics. We answer a question of Zeilberger and Zeilberger about certain partition statistics. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: 3 pages

The Structure of the Grothendieck Rings of Wreath Product Deligne Categories and their Generalisations

Authors: Christopher Ryba

Abstract: Given a tensor category $\mathcal{C}$ over an algebraically closed field of characteristic zero, we may form the wreath product category $\mathcal{W}_n(\mathcal{C})$. It was shown in \cite{Ryba} that the Grothendieck rings of these wreath product categories stabilise in some sense as $n \to \infty$. The resulting "limit" ring, $\mathcal{G}_\infty^{\mathbb{Z}}(\mathcal{C})$, is isomorphic to the Gr… ▽ More Given a tensor category $\mathcal{C}$ over an algebraically closed field of characteristic zero, we may form the wreath product category $\mathcal{W}_n(\mathcal{C})$. It was shown in \cite{Ryba} that the Grothendieck rings of these wreath product categories stabilise in some sense as $n \to \infty$. The resulting "limit" ring, $\mathcal{G}_\infty^{\mathbb{Z}}(\mathcal{C})$, is isomorphic to the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$ as defined by \cite{Mori}. This ring only depends on the Grothendieck ring $\mathcal{G}(\mathcal{C})$. Given a ring $R$ which is free as a $\mathbb{Z}$-module, we construct a ring $\mathcal{G}_\infty^{\mathbb{Z}}(R)$ which specialises to $\mathcal{G}_\infty^{\mathbb{Z}}(\mathcal{C})$ when $R = \mathcal{G}(\mathcal{C})$. We give a description of $\mathcal{G}_\infty^{\mathbb{Z}}(R)$ using generators very similar to the basic hooks of \cite{Nate}. We also show that $\mathcal{G}_\infty^{\mathbb{Z}}(R)$ is a $λ$-ring wherever $R$ is, and that $\mathcal{G}_\infty^{\mathbb{Z}}(R)$ is (unconditionally) a Hopf algebra. Finally we show that $\mathcal{G}_\infty^{\mathbb{Z}}(R)$ is isomorphic to the Hopf algebra of distributions on the formal neighbourhood of the identity in $(W\otimes_{\mathbb{Z}} R)^\times$, where $W$ is the ring of Big Witt Vectors. △ Less

Submitted 25 October, 2018; originally announced October 2018.

Comments: 25 pages

Stable Grothendieck Rings of Wreath Product Categories

Authors: Christopher Ryba

Abstract: Let $k$ be an algebraically closed field of characteristic zero, and let $\mathcal{C} = \mathcal{R}-mod$ be the category of finite-dimensional modules over a fixed Hopf algebra over $k$. One may form the wreath product categories $\mathcal{W}_{n}(\mathcal{C}) = (\mathcal{R} \wr S_n)-mod$ whose Grothendieck groups inherit the structure of a ring. Fixing distinguished generating sets (called basic h… ▽ More Let $k$ be an algebraically closed field of characteristic zero, and let $\mathcal{C} = \mathcal{R}-mod$ be the category of finite-dimensional modules over a fixed Hopf algebra over $k$. One may form the wreath product categories $\mathcal{W}_{n}(\mathcal{C}) = (\mathcal{R} \wr S_n)-mod$ whose Grothendieck groups inherit the structure of a ring. Fixing distinguished generating sets (called basic hooks) of the Grothendieck rings, the classification of the simple objects in $\mathcal{W}_{n}(\mathcal{C})$ allows one to demonstrate stability of structure constants in the Grothendieck rings (appropriately understood), and hence define a limiting Grothendieck ring. This ring is the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$. We give a presentation of the ring and an expression for the distinguished basis arising from simple objects in the wreath product categories as polynomials in basic hooks. We discuss some applications when $\mathcal{R}$ is the group algebra of a finite group, and some results about stable Kronecker coefficients. Finally, we explain how to generalise to the setting where $\mathcal{C}$ is a tensor category. △ Less

Submitted 25 October, 2018; v1 submitted 7 April, 2017; originally announced April 2017.

Comments: 29 pages