Let $G$ be a simple simply connected algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. G. Lusztig and Z. Yun, in a recent series of articles, studied the classification of simple $G_0$-equivariant perverse sheaves on the nilpotent cone of $\mathfrak{g}_i$ for $i\in \mathbf{Z}/m$, where $G_0$ is the exponentiation of the degree zero piece $\mathfrak{g}_0$. They proved a decomposition of the equivariant derived category of $\ell$-adic sheaves on the nilpotent cone of $\mathfrak{g}_i$ into blocks, each generated by a certain cuspidal local system via the procedure of {\itshape spiral inductions}. We prove a conjecture of them, stating that there is a bijection between 1) the set of simple perverse sheaves in a fixed block and 2) the set of simple modules of a block of a (trigonometric) degenerate double affine Hecke algebra (dDAHA). This is a dDAHA analogue of the Deligne--Langlands correspondence for affine Hecke algebras proven by Kazhdan--Lusztig. Our results generalise a previous work of E. Vasserot, where the perverse sheaves in the principal block were considered.

We study a class of perverse sheaves on some spherical varieties which include the strata of the De ConciniProcesi completion of a symmetric variety. This is a generalization of the theory of (parabolic) character sheaves.

There are two changes in comparison to the original version: Part (1). The union must be split up according to Jb/(Jb Ker (G)). This is also important for the description of the closure relations between strata: An analogous correction needs to be made in Prop. 7.2. 2. See Section 3 below.

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.

We give a geometric proof that any minimal length element in a (twisted) conjugacy class of a finite Coxeter group W has remarkable properties with respect to conjugation, taking powers in the associated braid monoid and taking the centralizer in W.

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.

Let W a be an affine Weyl group and : W a W 0 be the natural projection to the corresponding finite Weyl group. We say that w W a has finite Coxeter part if (w) is conjugate to a Coxeter element of W 0. The elements with finite Coxeter part are a union of conjugacy classes of W a. We show that for each conjugacy class O of W a with finite Coxeter part there exists a unique maximal proper parabolic subgroup W J of W a, such that the set of minimal length elements in O is exactly the set of Coxeter elements in W J. Similar results hold for twisted conjugacy classes.

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

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

In this paper, we discuss some partitions of affine flag varieties. These partitions include as special cases the partition of affine flag variety into affine Deligne-Lusztig varieties and the affine analogue of the partition of flag varieties into $\cb_w (b) $ introduced by Lusztig in\cite {L1} as part of the definition of character sheaves.

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

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.

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.

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

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

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