We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

We study the functorially finite maximal rigid subcategories in 2-CY triangulated categories and their endomorphism algebras. Cluster tilting subcategories are obviously functorially finite and maximal rigid; we prove that the converse is true if the 2-CY triangulated categories admit a cluster tilting subcategory. As a generalization of a result of Keller and Reiten (2007) [KR], we prove that any functorially finite maximal rigid subcategory is Gorenstein with Gorenstein dimension at most 1. Similar as cluster tilting subcategory, one can mutate maximal rigid subcategories at any indecomposable object. If two maximal rigid objects are reachable via simple mutations, then their endomorphism algebras have the same representation type.

We study the cluster algebras arising from cluster tubes with rank bigger than 1. Cluster tubes are 2−Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object T in the cluster tube C_n of rank n. For any indecomposable rigid object M in C_n, we define an analogous X_M of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of M. We show that X_M,X_{M′} satisfy the mutation formula when M,M′ form an exchange pair, and that X_? : M↦X_M gives a bijection from the set of indecomposable rigid objects in C_n to the set of cluster variables of cluster algebra of type C_{n−1}, which induces a bijection between the set of basic maximal rigid objects in C_n and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube Cn encode the combinatorics of the cluster algebra of type B_{n−1} since the combinatorics of cluster algebras of type B_{n−1} or of type C_{n−1} are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type C.

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.

We study the Ginzburg dg algebra Γ_T associated with the quiver with potential arising from a triangulation T of a decorated marked surface S_△⁠, in the sense of [22]. We show that there is a canonical way to identify all finite-dimensional derived categories D_{fd}(Γ_T)⁠, denoted by D_{fd}(S_△)⁠. As an application, we show that the spherical twist group ST(S_△) associated with D_{fd}(S_△) acts faithfully on its space of stability conditions.

In this paper, we prove that every invertible 2-local or local automorphism of a simple generalized Witt algebra over any field of characteristic 0 is an automorphism. Furthermore, every 2-local or local automorphism of Witt algebras W_n is an automorphism for all n∈N. But some simple generalized Witt algebras indeed have 2-local (and local) automorphisms that are not automorphisms.

Let g be the Witt algebra or the positive Witt algebra. It is well known that the enveloping algebra U(g) has intermediate growth and thus infinite Gelfand–Kirillov (GK-) dimension. We prove that the GK-dimension of U(g) is just infinite in the sense that any proper quotient of U(g) has polynomial growth. This proves a conjecture of Petukhov and the second named author for the positive Witt algebra. We also establish the corresponding results for quotients of the symmetric algebra S(g) by proper Poisson ideals. In fact, we prove more generally that any central quotient of the universal enveloping algebra of the Virasoro algebra has just infinite GK-dimension. We give several applications. In particular, we easily compute the annihilators of Verma modules over the Virasoro algebra.

In this paper, we investigate the relationship between the index of reducibility and Chern coefficients for primary ideals. As an application, we give characterizations of a Cohen–Macaulay ring in terms of its type, irreducible multiplicity, and Chern coefficients with respect to certain parameter ideals in Noetherian local rings.

We obtain new classes of singular equivalences which are constructed from Gorenstein-projective modules.

It is known that many (upper) cluster algebras possess different kinds of good bases which contain the cluster monomials and are parametrized by the tropical points of cluster Poisson varieties. For a large class of upper cluster algebras (injective-reachable ones with full rank coefficients), we describe all of its bases with these properties. Moreover, we show the existence of the generic basis for them. In addition, we prove that Bridgeland's representation theoretic formula is effective for their theta functions (weak genteelness). Our results apply to (almost) all well-known cluster algebras arising from representation theory or higher Teichmüller theory, including quantum affine algebras, unipotent cells, double Bruhat cells, skein algebras over surfaces, where we change the coefficients if necessary so that the full rank assumption holds.