We study cluster categories arising from marked surfaces (with punctures and nonempty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include interpreting dimensions of Ext1 as intersection numbers of tagged curves and Auslander-Reiten translation as tagged rotation. An important consequence is that the cluster(-tilting) exchange graphs of such cluster categories are connected.

We introduce and study mutation of torsion pairs, as a generalization of mutation of cluster tilting objects, rigid objects and maximal rigid objects. It is proved that any mutation of a torsion pair is again a torsion pair. A geometric realization of mutation of torsion pairs in the cluster category of type A_n or A_\infty is given via rotation of Ptolemy diagrams.

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories C of modules for the fixed-point vertex operator subalgebra V^G of a vertex operator (super)algebra V with finite automorphism group G. The main results are that every V^G-module in C with a unital and associative V-action is a direct sum of g-twisted V-modules for possibly several g∈G, that the category of all such twisted V-modules is a braided G-crossed (super)category, and that the G-equivariantization of this braided G-crossed (super)category is braided tensor equivalent to the original category C of V^G-modules. This generalizes results of Kirillov and Müger proved using rigidity and semisimplicity. We also apply the main results to the orbifold rationality problem: whether V^G is strongly rational if V is strongly rational. We show that V^G is indeed strongly rational if V is strongly rational, G is any finite automorphism group, and V^G is C_2-cofinite.

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.