Varagnolo and Vasserot conjectured an equivalence between the category O for CRDAHA’s and a subcategory of an affine parabolic category O of type A. We prove this conjecture. As applications, we prove a conjecture of Rouquier on the dimension of simple modules of CRDAHA’s and a conjecture of Chuang–Miyachi on the Koszul duality for the category O of CRDAHA’s.

In this paper, we study the relationship between the cocenter and the representation theory of affine Hecke algebras. The approach is based on the interaction between the rigid cocenter, an important subspace of the cocenter, and the dual object in representation theory, the rigid quotient of the Grothendieck group of finite dimensional representations.

Let $W$ be an extended affine Weyl group. We prove that the minimal length elements $w_{\co}$ of any conjugacy class $\co$ of $W$ satisfy some nice properties, generalizing results of Geck and Pfeiffer \cite{GP} on finite Weyl groups. We also study a special class of conjugacy classes, the straight conjugacy classes. These conjugacy classes are in a natural bijection with the Frobenius-twisted conjugacy classes of some $p$-adic group and satisfy additional interesting properties. Furthermore, we discuss some applications to the affine Hecke algebra $H$. We prove that $T_{w_\co}$, where $\co$ ranges over all the conjugacy classes of $W$, forms a basis of the cocenter $H/[H, H]$. We also introduce the class polynomials, which play a crucial role in the study of affine Deligne-Lusztig varieties \cite{H99}.

In this paper we study representation theory of the category FI^m introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI^m in a natural way. In particular, we prove the representation stability property of finitely generated FI^m -modules over fields of characteristic 0.

No abstract uploaded!

No abstract uploaded!

For a Calabi-Yau triangulated category $\mathcal{C}$ of Calabi-Yau dimension $d$ with a $d-$cluster tilting subcategory $\mathcal{T}$, the decomposition of $\mathcal{C}$ is determined by the decomposition of $\mathcal{T}$ satisfying "vanishing condition" of negative extension groups, namely, $\mathcal{C}=\oplus_{i\in I}\mathcal{C}_i$, where $\mathcal{C}_i, i\in I$ are triangulated subcategories, if and only if $\mathcal{T}=\oplus_{i\in I}\mathcal{T}_i,$ where $\mathcal{T}_i, i\in I$ are subcategories with $\mbox{Hom} _{\mathcal{C}}(\mathcal{T} _i[t],\mathcal{T} _j)=0, \forall 1\leq t\leq d-2$ and $i\not= j.$ This induces that for any two cluster tilting objects $T, T'$ in a $2-$Calabi-Yau triangulated category $\mathcal{C}$, the Gabriel quivers of endomorphism algebra End$_{\mathcal{C}}T$ of $T$ is connected if and only if so is End$_{\mathcal{C}}T'$. As an application, we prove that indecomposable $2-$Calabi-Yau triangulated categories with cluster tilting objects have no non-trivial t-structures and no non-trivial co-t-structures. This allows us to give a classification of torsion pairs in those triangulated categories, and to determine further the hearts of torsion pairs in the sense of Nakaoka, which are equivalent to the module categories over the endomorphism algebras of the cores of the torsion pairs.

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

The first author constructed a q-parameterized spherical category $\sC$ over 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.

In this paper, we generalize the categorifical construction of a quantum group and its canonical basis by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.

No abstract uploaded!

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.

We study the resonances of the Laplacian acting on the compactly supported sections of a homogeneous vector bundle over a Riemannian symmetric space of the non-compact type. The symmetric space is assumed to have rank-one but the irreducible representation τ of K defining the vector bundle is arbitrary. We determine the resonances. Under the additional assumption that τ occurs in the spherical principal series, we determine the resonance representations. They are all irreducible. We find their Langlands parameters, their wave front sets and determine which of them are unitarizable.

No abstract uploaded!

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

We study the Ginzburg dg algebra Γ_T associated with the quiver with potential arising from a triangulation T of a decorated marked surface S_△⁠, in the sense of [22]. We show that there is a canonical way to identify all finite-dimensional derived categories D_{fd}(Γ_T)⁠, denoted by D_{fd}(S_△)⁠. As an application, we show that the spherical twist group ST(S_△) associated with D_{fd}(S_△) acts faithfully on its space of stability conditions.

We study the cluster algebras arising from cluster tubes with rank bigger than 1. Cluster tubes are 2−Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object T in the cluster tube C_n of rank n. For any indecomposable rigid object M in C_n, we define an analogous X_M of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of M. We show that X_M,X_{M′} satisfy the mutation formula when M,M′ form an exchange pair, and that X_? : M↦X_M gives a bijection from the set of indecomposable rigid objects in C_n to the set of cluster variables of cluster algebra of type C_{n−1}, which induces a bijection between the set of basic maximal rigid objects in C_n and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube Cn encode the combinatorics of the cluster algebra of type B_{n−1} since the combinatorics of cluster algebras of type B_{n−1} or of type C_{n−1} are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type C.

Inspired by the quantum McKay correspondence, we consider the classical ADE Lie theory as a quantum theory over sl2. We introduce anti-symmetric characters for representations of quantum groups and investigate the Fourier duality to study the spectral theory. In the ADE Lie theory, there is a correspondence between the eigenvalues of the Coxeter element and the eigenvalues of the adjacency matrix. We formalize related notions and prove such a correspondence for representations of Verlinde algebras of quantum groups: this includes generalized Dynkin diagrams over any simple Lie algebra g at any level k. This answers a recent comment of Terry Gannon on an old question posed by Victor Kac in 1994.

In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring k, via introducing inductive functors which generalize important properties of shift functors of FI-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when k is a field of characteristic 0.

We study the functorially finite maximal rigid subcategories in 2-CY triangulated categories and their endomorphism algebras. Cluster tilting subcategories are obviously functorially finite and maximal rigid; we prove that the converse is true if the 2-CY triangulated categories admit a cluster tilting subcategory. As a generalization of a result of Keller and Reiten (2007) [KR], we prove that any functorially finite maximal rigid subcategory is Gorenstein with Gorenstein dimension at most 1. Similar as cluster tilting subcategory, one can mutate maximal rigid subcategories at any indecomposable object. If two maximal rigid objects are reachable via simple mutations, then their endomorphism algebras have the same representation type.

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \mathcal{A} to an appropriate q-polynomial algebra. In the case that \mathcal{A} is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \mathcal{A} is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.

Let k be a commutative Noetherian ring and C−− be a locally finite k-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of C−− are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when k is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated FI-modules.

We present an integral representation for the tensor product L-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. Our construction is uniform over all classical groups, and is applicable to all cuspidal representations; it does not require genericity. The main new ideas of the construction are the use of generalized Speh representations as inducing data for the Eisenstein series and the introduction of a new (global and local) model, which generalizes the Whittaker model. Here we consider linear groups, but our construction also extends to arbitrary degree metaplectic coverings; this will be the topic of an upcoming work.

We introduce and study mutation of torsion pairs, as a generalization of mutation of cluster tilting objects, rigid objects and maximal rigid objects. It is proved that any mutation of a torsion pair is again a torsion pair. A geometric realization of mutation of torsion pairs in the cluster category of type A_n or A_\infty is given via rotation of Ptolemy diagrams.

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.