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

A general framework for constructions of endoscopy correspondences via automorphic integral transforms for classical groups is formulated in terms of the Arthur classification of the discrete spectrum of square-integrable automorphic forms, which is called the Principle of Endoscopy Correspondences, extending the well-known Howe Principle of Theta Correspondences. This suggests another principle, called the (τ, b)-theory of automorphic forms of classical groups, to reorganize and extend the series of work of Piatetski- Shapiro, Rallis, Kudla and others on standard L-functions of classical groups and theta correspondence.

We are interested in the 3-Calabi-Yau categories D arising from quivers with potential associated to a triangulated marked surface S (without punctures). We prove that the spherical twist group ST of D is isomorphic to a subgroup (generated by braid twists) of the mapping class group of the decorated marked surface S_Delta. Here S_Delta is the surface obtained from S by decorating with a set of points, where the number of points equals the number of triangles in any triangulations of S. For instance, when S is an annulus, the result implies that the corresponding spaces of stability conditions on D are contractible.

We prove Kudla-Rallis conjecture on ¯rst occurrences of local theta correspondence, for all irreducible dual pairs of type I and all local ¯elds of characteristic zero.

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.