No abstract uploaded!

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 construct a new subfactor planar algebra, and as a corollary a new subfactor, with the ‘extended Haagerup’ principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range ( $$ {4},{3} + \sqrt {{3}} $$ ), which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein-theoretic description, and a description as a subalgebra generated by a certain element in the graph planar algebra of its principal graph. In the skein-theoretic description there is an explicit algorithm for evaluating closed diagrams. This evaluation algorithm is unusual because intermediate steps may increase the number of generators in a diagram. This is the published version ofarXiv:0909.4099 [math.OA].

In this paper we study representation theory of the category FI^m introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI^m in a natural way. In particular, we prove the representation stability property of finitely generated FI^m -modules over fields of characteristic 0.

In this paper, we present an efficient \GQR\ algorithm for solving the linear response eigenvalue problem $\scrH\bx ={\lambda}\bx $, where $\scrH$ is $\bPi^-$-symmetric with respect to $\Gamma_0 = \diag(I_n,-I_n)$. Based on newly introduced $\Gamma$-orthogonal transformations, the \GQR\ algorithm preserves the $\bPi^-$-symmetric structure of $\scrH$ throughout the whole process, which guarantees the computed eigenvalues to appear pairwise $(\lambda,-\lambda)$ as they should. With the help of a newly established implicit $\Gamma$-orthogonality theorem, we incorporate the implicit multi-shift technique to accelerate the convergence of the \GQR\ algorithm. Numerical experiments are given to show the effectiveness of the algorithm.

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.

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, under some initial conditions, there exists a unique common triangular basis with respect to all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorification conjectures of Hernandez-Leclerc and Fomin-Zelevinsky in the corresponding cases: all cluster monomials correspond to simple modules.

We construct a counterexample to the conjugacy of maximal abelian diagonalizable subalgebras in extended affine Lie algebras.

Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. A notion of mutation of subcategories in an extriangulated category is defined in this article. Let $\cal A$ be an extension closed subcategory of an extriangulated category $\C$. Then the quotient category $\cal M:=\cal A/\X$ carries naturally a triangulated structure whenever $(\cal A,\cal A)$ forms an $\X$-mutation pair. This result unifies many previous constructions of triangulated quotient categories, and using it gives a classification of thick triangulated subcategories of pretriangulated category $\C/\X$, where $\X$ is functorially finite in $\C$. When $\C$ has Auslander-Reiten translation $\tau$, we prove that for a functorially finite subcategory $\X$ of $\C$ containing projectives and injectives, $\C/\X$ is a triangulated category if and only if $(\C,\C)$ is $\X-$mutation, and if and only if $\tau \underline{\X}=\overline{\X}.$ This generalizes a result by J{\o}rgensen who proved the equivalence between the first and the third conditions for triangulated categories. Furthermore, we show that for such a subcategory $\X$ of the extriangulated category $\C$, $\C$ admits a new extriangulated structure such that $\C$ is a Frobenius extriangulated category. Applications to exact categories and triangulated categories are given. From the applications we present examples that extriangulated categories are neither exact categories nor triangulated categories.\