Let $p$ be a prime number and let $n$ be a non-zero natural number. We compute the descending Loewy series of the algebra $R\_n/pR\_n$, where $R\_n$ denotes the ring of virtual ordinary characters of the symmetric group $S\_n$.
We describe explicitly the Grothendieck rings of finite-dimensional representations of the periplectic Lie superalgebras. In particular, the Grothendieck ring of the Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$.
We determine the Grothendieck rings of the category of finite-dimensional modules over Queer Lie superalgebras via their rings of characters. In particular, we show that the ring of characters of the Queer Lie supergroup $Q(n)$ is isomorphic to the ring of Laurent polynomials in $x_{1},\ldots,x_{n}$ for which the evaluation $x_{n-1}=-x_{n}=t$ is independent of $t$. We thus complete the description of Grothendieck rings for all classical Lie superalgebras.
We define and construct a quantum Grothendieck ring for a certain monoidal subcategory of the category $\mathcal{O}$ of representations of the quantum loop algebra introduced by Hernandez-Jimbo. We use the cluster algebra structure of the Grothendieck ring of this category to define the quantum Grothendieck ring as a quantum cluster algebra. When the underlying simple Lie algebra is of type $A$, we prove that this quantum Grothendieck ring contains the quantum Grothendieck ring of the category of finite-dimensional representations of the associated quantum affine algebra. In type $A_1$, we ide…
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 (approp…
We show that the Grothendieck ring of finite-dimensional representations of the periplectic Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$.
We show that the Duflo-Serganova functor on the category of finite-dimensional modules over a finite-dimensional contragredient Lie superalgebra induces a ring homomorphism on a natural quotient of the Grothendieck ring, which is isomorphic to the ring of characters. We realize this homomorphism as a certain evaluation of functions related to the supersymmetry property. We use this realization to describe the kernel and image of the homomorphism induced by the Duflo-Serganova functor.
In this paper, we provide a diagrammatic approach to study the branching rules for cell modules on a sequence of walled Brauer algebras. This also allows us to calculate the structure constants of multiplication over the Grothendieck ring of the sequence.
We study deformations of cluster algebras with several quantum parameters, called toroidal cluster algebras, which naturally appear in the study of Grothendieck rings of representations of quantum affine algebras. In this context, we construct toroidal Grothendieck rings and we establish these are flat deformations of Grothendieck rings. We prove that for a family of monoidal categories $\mathscr{C}_1$ of simply-laced quantum affine algebras categorifying finite-type cluster algebras, the toroidal Grothendieck ring has a natural structure of a toroidal cluster algebra.
The Grothendieck rings of finite dimensional representations of the basic classical Lie superalgebras are explicitly described in terms of the corresponding generalised root systems. We show that they can be interpreted as the subrings in the weight group rings invariant under the action of certain groupoids called Weyl groupoids.
We study commutative ring structures on the integral span of rooted trees and $n$-dimensional skew shapes. The multiplication in these rings arises from the smash product operation on monoid representations in pointed sets. We interpret these as Grothendieck rings of indecomposable monoid representations over $\fun$ - the "field" of one element. We also study the base-change homomorphism from $\mt$-modules to $k[t]$-modules for a field $k$ containing all roots of unity, and interpret the result in terms of Jordan decompositions of adjacency matrices of certain graphs.
The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite dimensional representations.
Let p be a prime and q=p^g. We show that the Grothendieck ring of finitely generated F_{q}[SL(2,F_{q})]-modules is naturally isomorphic to the quotient of the polynomial algebra Z[x] by the ideal generated by f^[g](x)-x, where f(x)=sum_{j=0}^{floor(p/2)}(-1)^{j}(p/(p-j))((p-j); j)x^{p-2j}, and the superscript [g] denotes g-fold composition of polynomials. We conjecture that a similar result holds for simply connected semisimple algebraic groups defined and split over a finite field.
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 …
We establish ring isomorphisms between quantum Grothendieck rings of certain remarkable monoidal categories of finite-dimensional representations of quantum affine algebras of types $A_{2n-1}^{(1)}$ and $B_n^{(1)}$. Our proof relies in part on the corresponding quantum cluster algebra structures. Moreover, we prove that our isomorphisms specialize at $t = 1$ to the isomorphisms of (classical) Grothendieck rings obtained recently by Kashiwara, Kim and Oh by other methods. As a consequence, we prove a conjecture formulated by the first author in 2002 : the multiplicities of simple modules in sta…
If $G$ is a finite group, the Grothendieck group ${\mathbf{K}}\_G(G)$ of the category of $G$-equivariant ${\mathbb{C}}$-vector bundles on $G$ (for the action of $G$ on itself by conjugation) is endowed with a structure of (commutative) ring. If $K$ is a sufficiently large extension of ${\mathbb{Q}}\_{\! p}$ and ${\mathcal{O}}$ denotes the integral closure of ${\mathcal{Z}}\_{\! p}$ in $K$, the $K$-algebra $K{\mathbf{K}}\_G(G)=K \otimes\_{\mathbb{Z}} {\mathbf{K}}\_G(G)$ is split semisimple. The aim of this paper is to describe the ${\mathcal{O}}$-blocks of the ${\mathcal{O}}$-algebra ${\mathcal…
We obtain a presentation of the t-deformed Grothendieck ring of a quantum loop algebra of Dynkin type A, D, E. Specializing t at the the square root of the cardinality of a finite field F, we obtain an isomorphism with the derived Hall algebra of the derived category of a quiver Q of the same Dynkin type. Along the way, we study for each choice of orientation Q a tensor subcategory whose t-deformed Grothendieck ring is isomorphic to the positive part of a quantum enveloping algebra of the same Dynkin type, where the classes of simple objects correspond to Lusztig's dual canonical basis.
Twisted generalized Weyl algebras (TGWAs) $A(R,σ,t)$ are defined over a base ring $R$ by parameters $σ$ and $t$, where $σ$ is an $n$-tuple of automorphisms, and $t$ is an $n$-tuple of elements in the center of $R$. We show that, for fixed $R$ and $σ$, there is a natural algebra map $A(R,σ,tt')\to A(R,σ,t)\otimes_R A(R,σ,t')$. This gives a tensor product operation on modules, inducing a ring structure on the direct sum (over all $t$) of the Grothendieck groups of the categories of weight modules for $A(R,σ,t)$. We give presentations of these Grothendieck rings for $n=1,2$, when $R=\mathbb{C}[z]…
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.
Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture
School of Mathematics, Institute for Research in Fundamental Sciences (IPM)(基础科学研究所);Department of Pure Mathematics Faculty of Mathematics and Statistics University of Isfahan(伊斯法罕大学数学与统计学院纯数学系);Institute for Research in Fundamental Sciences (IPM)(基础科学研究所)
Let ($\mathfrak{g},\mathsf{g})$ be a pair of complex finite-dimensional simple Lie algebras whose Dynkin diagrams are related by (un)folding, with $\mathsf{g}$ being of simply-laced type. We construct a collection of ring isomorphisms between the quantum Grothendieck rings of monoidal categories $\mathscr{C}_{\mathfrak{g}}$ and $\mathscr{C}_{\mathsf{g}}$ of finite-dimensional representations over the quantum loop algebras of $\mathfrak{g}$ and $\mathsf{g}$ respectively. As a consequence, we solve long-standing problems : the positivity of the analogs of Kazhdan-Lusztig polynomials and the posi…
The center $Z(\mathcal{A})$ of an abelian category $\mathcal{A}$ is the endomorphism ring of the identity functor on that category. A localizing subcategory of a Grothendieck category $\mathcal{C}$ is said to be stable if it is stable under essential extensions. The set $\mathbf{L}^{st}(\mathcal{C})$ of stable localizing subcategories of $\mathcal{C}$ is partially ordered under reverse inclusion. We show $\mathcal{L} \mapsto Z(\mathcal{C}/\mathcal{L})$ defines a sheaf of commutative rings on $\mathbf{L}^{st}(\mathcal{C})$ with respect to finite coverings. When $\mathcal{C}$ is assumed to be lo…
We study the converse of a theorem of Butler and Auslander-Reiten. We show that a Cohen-Macaulay local ring with an isolated singularity has only finitely many isomorphism classes of indecomposable summands of syzygies of Cohen-Macaulay modules if the Auslander-Reiten sequences generate the relation of the Grothendieck group of finitely generated modules. This extends a recent result of Hiramatsu, which gives an affirmative answer in the Gorenstein case to a conjecture of Auslander.
The aim of this note is to take benefit of the foam nature of the Khovanov-Kuperberg algebras to compute the Grothendieck groups of their categories of finitely generated projective modules. The computation relies on the Hattori-Stallings trace and some geometrical properties of foams in a solid torus.