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.

Following the method developed by Waldspurger and Beuzart-Plessis in their proof of the local Gan-Gross-Prasad conjecture, we prove a local trace formula for the Ginzburg-Rallis model. By applying this trace formula, we prove the multiplicity one theorem for the Ginzburg-Rallis model over the tempered Vogan L-packets. In some cases, we also prove the epsilon dichotomy conjecture which gives a relation between the multiplicity and the exterior cube epsilon factor. This is a sequel work of [Wan15] in which we proved the geometric side of the trace formula.

A decorated surface S is an oriented surface, with or without boundary, and a finite set {s 1,..., s n} of special points on the boundary, considered modulo isotopy. Let G be a split reductive group over [special characters omitted].

We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.

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.