Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.

Let O_25 be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge 25 whose composition factors are the irreducible quotients of reducible Verma modules. We show that O_25 is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian 3-cocycle twist of the category of finite-dimensional sl_2-modules. We also show that this sl_2-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge 1. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge 25 as a PSL_2(C)-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of SL_2 at level -1, showing that it has a symmetric tensor category of representations equivalent to Rep PSL_2(C). This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges 1 and 25, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

Let <i>H</i> denote a spherical subgroup within a semisimple algebraic group <i>G</i>. In this paper we study the closures of the finitely many <i>H</i>-orbits in the flag variety of <i>G</i>. Using the language of Frobenius splitting we provide a criterion for these closures to have nice geometric and cohomological properties. We then show how the criterion applies to the spherical subgroups of minimal rank studied by N. Ressayre. Finally, we also provide applications of the criterion to orbit closures which are not multiplicity-free in the sense defined by M. Brion.

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra g^, from g-module homomorphisms. When g=sl_2, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to g^, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.

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 cluster combinatorics of d-cluster tilting objects in d-cluster categories. Using mutations of maximal rigid objects in d-cluster categories, which are defined in a similar way to mutations for d-cluster tilting objects, we prove the equivalences between d-cluster tilting objects, maximal rigid objects and complete rigid objects. Using the chain of d+1 triangles of d-cluster tilting objects in [O. Iyama, Y. Yoshino, Mutations in triangulated categories and rigid Cohen–Macaulay modules, Invent. Math. 172 (1) (2008) 117–168], we prove that any almost complete d-cluster tilting object has exactly d+1 complements, compute the extension groups between these complements, and study the middle terms of these d+1 triangles. All results are the extensions of corresponding results on cluster tilting objects in cluster categories established for d-cluster categories in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. 204 (2006) 572–618]. They are applied to the Fomin–Reading generalized cluster complexes of finite root systems defined and studied in [S. Fomin, N. Reading, Generalized cluster complexes and Coxeter combinatorics, Int. Math. Res. Not. 44 (2005) 2709–2757; H. Thomas, Defining an m-cluster category, J. Algebra 318 (2007) 37–46; K. Baur, R. Marsh, A geometric description of m-cluster categories, Trans. Amer. Math. Soc. 360 (2008) 5789–5803; K. Baur, R. Marsh, A geometric description of the m-cluster categories of type D_n, preprint, arXiv:math.RT/0610512; see also Int. Math. Res. Not. 2007 (2007), doi:10.1093/imrn/rnm011], and to that of infinite root systems [B. Zhu, Generalized cluster complexes via quiver representations, J. Algebraic Combin. 27 (2008) 25–54].

In his monograph Arthur (The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications, American Mathematical Society, Providence, 2013) characterizes the L-packets of quasisplit symplectic groups and orthogonal groups. By extending his work, we characterize the L-packets for the corresponding similitude groups with desired properties. In particular, we show these packets satisfy the conjectural endoscopic character identities.

We give a survey on Mœglin's construction of representations in the Arthur packets for p-adic quasisplit symplectic and orthogonal groups. The emphasis is on comparing Mœglin's parametrization of elements in the Arthur packets with that of Arthur.

We study extension spaces, cotorsion pairs and their mutations in the cluster category of a marked surface without punctures. Under the one-to-one correspondence between the curves, valued closed curves in the marked surface and the indecomposable objects in the associated cluster category, we prove that the dimension of extension space of two indecomposable objects in the cluster categories equals to the intersection number of the corresponding curves. By using this result, we prove that there are no non-trivial t-structures in the cluster categories when the surface is connected. Based on this result, we give a classification of cotorsion pairs in these categories. Moreover we define the notion of paintings of a marked surface without punctures and their rotations. They are a geometric model of cotorsion pairs and of their mutations respectively.

We study the nonnegative part \overline {G_ {&gt; 0}} of the De Concini-Procesi compactification of a semisimple algebraic group \overline {G_ {&gt; 0}} , as defined by Lusztig. Using positivity properties of the canonical basis and parametrization of flag varieties, we will give an explicit description of \overline {G_ {&gt; 0}} . This answers the question of Lusztig in Total positivity and canonical bases, Algebraic groups and Lie groups (ed. GI Lehrer), Cambridge Univ. Press, 1997, pp. 281-295. We will also prove that \overline {G_ {&gt; 0}} has a cell decomposition which was conjectured by Lusztig.

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 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.

In this paper, we give a complete classification of cotorsion pairs in a cluster category C of type A^\infty_\infty via certain configurations of arcs, called τ-compact Ptolemy diagrams, in an infinite strip with marked points. As applications, we classify t-structures and functorially finite rigid subcategories in C, respectively. We also deduce Liu-Paquette's classification of cluster tilting subcategories of C and Ng's classification of torsion pairs in the cluster category of type A^\infty_\infty.

Let G ⊆ \tilde{G} be two quasisplit connected reductive groups over a local field of characteristic zero and having the same derived group. Although the existence of L-packets is still conjectural in general, it is believed that the L-packets of G should be the restriction of those of \tilde{G}. Motivated by this, we hope to construct the L-packets of \tilde{G} from those of G. The primary example in our mind is when G = Sp(2n), whose L-packets have been determined by Arthur [The endoscopic classification of representations: orthogonal and symplectic groups, Colloquium Publications, vol. 61 (American Mathematical Society, Providence, RI, 2013)], and \tilde{G} = GSp(2n). As a first step, we need to consider some well-known conjectural properties of L-packets. In this paper, we show how they can be deduced from the conjectural endoscopy theory. As an application, we obtain some structural information about L-packets of \tilde{G} from those of G.

We give a geometric realization, the tagged rotation, of the AR-translation on the generalized cluster category associated to a surface S with marked points and non-empty boundary, which generalizes Brüstle–Zhang’s result for the puncture free case. As an application, we show that the intersection of the shifts in the 3-Calabi–Yau derived category D(Γ_S) associated to the surface and the corresponding Seidel–Thomas braid group of D(Γ_S) is empty, unless S is a polygon with at most one puncture (i.e. of type A or D).

We study categories associated to a decorated marked surface S_△, which is obtained from an unpunctured marked surface S by adding a set of decorating points. For any triangulation T of S_△, let Γ_T be the associated Ginzburg dg algebra. We show that there is a bijection between reachable open arcs in S_△ and the reachable rigid indecomposables in the perfect derived category perΓ_T. This is the dual of the bijection, between simple closed arcs in S_△ and reachable spherical objects in the 3-Calabi-Yau category D_{fd}(ΓT), constructed in the prequel (Qiu in Math Ann 365:595–633, 2016). Moreover, we show that Amiot’s quotient perΓ_T/D_{fd}(ΓT) that defines the generalized cluster categories corresponds to the forgetful map S_△→S (forgetting the decorating points) in a suitable sense.

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^.

Zelevinsky’s classification theory of discrete series of p-adic general linear groups has been well known. Mœglin and Tadić gave the same kind of theory for p-adic classical groups, which is more complicated due to the occurrence of nontrivial structure of L-packets. Nonetheless, their work is independent of the endoscopic classification theory of Arthur (also Mok in the unitary case), which concerns the structure of L-packets in these cases. So our goal in this paper is to make more explicit the connection between these two very different types of theories. To do so, we reprove the results of Mœglin and Tadić in the case of quasisplit symplectic groups and orthogonal groups by using Arthur’s theory.

Arthur classified the discrete automorphic representations of symplectic and orthogonal groups over a number field by that of the general linear groups. In this classification, those that are not from endoscopic lifting correspond to pairs (ϕ,b), where ϕ is an irreducible unitary cuspidal automorphic representation of some general linear group and b is an integer. In this paper, we study the local components of these automorphic representations at a nonarchimedean place, and we give a complete description of them in terms of their Langlands parameters.

We develop a general procedure to study the combinatorial structure of Arthur packets for p-adic quasisplit Sp(N) and O(N) following the works of Mœglin. This allows us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.

We study the minimal length elements in some double cosets of Coxeter groups and use them to study Lusztig's <i>G</i>-stable pieces and the generalization of <i>G</i>-stable pieces introduced by Lu and Yakimov. We also use them to study the minimal length elements in a conjugacy class of a finite Coxeter group and prove a conjecture in [M. Geck, S. Kim, G. Pfeiffer, Minimal length elements in twisted conjugacy classes of finite Coxeter groups, J. Algebra 229 (2) (2000) 570600].

We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(\Gamma_N A_n) of the Calabi-Yau-N Ginzburg algebra D(\Gamma_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).

We determine a basis of the (twisted) cocenter of graded affine Hecke algebras with arbitrary parameters. In this setting, we prove that the kernel of the (twisted) trace map is the commutator subspace (the Density theorem) and that the image is the space of good forms (the trace PaleyWiener theorem).

We determine a basis of the (twisted) cocenter of graded affine Hecke algebras with arbitrary parameters. In this setting, we prove that the kernel of the (twisted) trace map is the commutator subspace (Density theorem) and that the image is the space of good forms (trace Paley-Wiener theorem).

We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the generic shift functor, then all finitely generated representations of the category have the property (P). In this way, we obtain simple criteria for properties such as Noetherianity, finiteness of Castelnuovo-Mumford regularity, and polynomial growth of dimension to hold. This gives a systemetic and uniform proof of such properties for representations of the categories $\FI_G$ and $\OI_G$ which appear in representation stability theory.