No abstract uploaded!

We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac–Moodyalgebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Heckealgebras.This yields a proof of a conjecture of Chuang–Miyachi relating the level-rank duality with the Ringel–Koszul duality of cyclotomic rational double affine Hecke algebras.

We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi–Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi–Yau category is simply connected in the sequel [King and Qiu, Invent. Math., to appear].

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.

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.

In this article we study a conjecture of Geiss-Leclerc-Schröer, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type quiver. In the general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.

We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this assertion for the ideal $M_{0}(G)$ consisting of measures with Fourier-Stieltjes transforms vanishing at infinity which is a stronger statement). As a corollary, we obtain that the spectras of elements in the algebra of measures cannot be recovered from the image of one countable subset of the Gelfand space under Gelfand transform, common for all elements in the algebra.

In the first part of this paper, we study Koszul property of directed graded categories. In the second part of this paper, we prove a general criterion for an infinite directed category to be Koszul. We show that infinite directed categories in the theory of representation stability are Koszul over a field of characteristic zero

In these notes we collect some results about finite-dimensional representations of $U_{q}(\mathfrak {gl}(1\mid1))$ and related invariants of framed tangles, which are well-known to experts but difficult to find in the literature. In particular, we give an explicit description of the ribbon structure on the category of finite-dimensional $U_{q}(\mathfrak {gl}(1\mid1))$ -representations and we use it to construct the corresponding quantum invariant of framed tangles. We explain in detail why this invariant vanishes on closed links and how one can modify the construction to get a non-zero invariant of framed closed links. Finally we show how to obtain the Alexander polynomial by considering the vector representation of $U_{q}(\mathfrak {gl}(1\mid1))$ .

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.

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.

No abstract uploaded!

In this paper, we propose a conjectural multiplicity formula for general spherical varieties. For all the cases where a multiplicity formula has been proved, including Whittaker model, Gan-Gross-Prasad model, Ginzburg-Rallis model, Galois model and Shalika model, we show that the multiplicity formula in our conjecture matches the multiplicity formula that has been proved. We also give a proof of this multiplicity formula in two new cases.

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.

We give a generalization of the classical tilting theorem of Brenner and Butler. We show that for a 2-term silting complex P in the bounded homotopy category K^b(proj A) of finitely generated projective modules of a finite dimensional algebra A, the algebra B=End_{K^b(proj A)}(P) admits a 2-term silting complex Q with the following properties: (i) The endomorphism algebra of Q in K^b(proj B) is a factor algebra of A, and (ii) there are induced torsion pairs in mod A and mod B, such that we obtain natural equivalences induced by Hom- and Ext-functors. Moreover, we show how the Auslander–Reiten theory of mod B can be described in terms of the Auslander–Reiten theory of mod A.

Let V⊆A be a conformal inclusion of vertex operator algebras and let C be a category of grading-restricted generalized V-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in C with non-zero categorical dimension, that is, we assume the index of V as a subalgebra of A is finite and non-zero. As a consequence, we show that if A is strongly rational, then V is also strongly rational under the following conditions: A contains V as a V-module direct summand, V is C_2-cofinite with a rigid tensor category of modules, and A has non-zero categorical dimension as a V-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that A is a vertex operator superalgebra.

We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for C a braided tensor category, we give a detailed construction of the canonical algebra in C⊠C^rev: if C is semisimple but not necessarily finite or rigid, then ⨁X∈Irr(C) X′⊠X is a commutative algebra, with X′ a representing object for Hom_C(∙⊗_C X,1_C). Conversely, let A=⨁i∈I U_i ⊠ V_i be a simple commutative algebra in U⊠V with U semisimple and rigid but not necessarily finite, and V rigid but not necessarily semisimple. If the unit objects of U and V form a commuting pair in A, we show there is a braid-reversed equivalence between subcategories of U and V sending U_i to (V_i)*. When U and V are module categories for simple vertex operator algebras U and V, we glue U and V along U⊠V via a map τ: Irr(U)→Obj(V) such that τ(U)=V to create A=⨁X∈Irr(U) X′⊗τ(X). Thus under certain conditions, τ extends to a braid-reversed equivalence between U and V if and only if A is a simple conformal vertex algebra extending U⊗V. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and W-algebras at admissible levels.

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

We give a block decomposition of the dg category of character sheaves on a simple and simply-connected complex reductive group G, similar to the one in generalized Springer correspondence. As a corollary, we identify the category of character sheaves on G as the category of quasi-coherent sheaves on an explicitly defined derived stack G^.

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.

We develop a local cohomology theory for FI^m-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI^m-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.

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.

n this paper we study representations of skew group algebras $\Lambda G$, where $\Lambda$ is a connected, basic, finite-dimensional algebra (or a locally finite graded algebra) over an algebraically closed field $k$ with characteristic $p \geqslant 0$, and $G$ is an arbitrary finite group each element of which acts as an algebra automorphism on $\Lambda$. We characterize skew group algebras with finite global dimension or finite representation type, and classify the representation types of transporter categories for $p \neq 2,3$. When $\Lambda$ is a locally finite graded algebra and the action of $G$ on $\Lambda$ preserves grading, we show that $\Lambda G$ is a generalized Koszul algebra if and only if so is $\Lambda$.

In this article we propose a geometric description of Arthur packets for p-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for this variety. In this article we establish the main properties of this functor and show that it plays the role of microlocalization in the work of Adams, Barbasch and Vogan. We use this to define ABV-packets for pure rational forms of p-adic groups and propose a geometric description of the transfer coefficients that appear in Arthur's main local result in the endoscopic classification of representations. This article includes conjectures modelled on Vogan's work, especially the prediction that Arthur packets are ABV-packets for p-adic groups. We gather evidence for these conjectures by verifying them in numerous examples.