We study the nonnegative part \overline {G_ {> 0}} of the De Concini-Procesi compactification of a semisimple algebraic group \overline {G_ {> 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_ {> 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_ {> 0}} has a cell decomposition which was conjectured by Lusztig.

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

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.

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.