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.

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 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.

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.

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

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 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 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.

No abstract uploaded!

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.

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.\

In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring k, via introducing inductive functors which generalize important properties of shift functors of FI-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when k is a field of characteristic 0.

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.

Let k be a commutative Noetherian ring and C−− be a locally finite k-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of C−− are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when k is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated FI-modules.

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.

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

The notion of central stability was first formulated for sequences of representations of the symmetric groups by Putman. A categorical reformulation was subsequently given by Church, Ellenberg, Farb, and Nagpal using the notion of FI-modules, where FI is the category of finite sets and injective maps. We extend the notion of central stability from FI to a wide class of categories, and prove that a module is presented in finite degrees if and only if it is centrally stable. We also introduce the notion of d-step central stability, and prove that if the ideal of relations of a category is generated in degrees at most d, then every module presented in finite degrees is d-step centrally stable.

We develop a local cohomology theory for FI^m-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI^m-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.

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.

We propose the notion of partial resolution of a ring, which is by definition the endomorphism ring of a certain generator of the given ring. We prove that the singularity category of the partial resolution is a quotient of the singularity category of the given ring. Consequences and examples are given.

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

No abstract uploaded!

Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI_G and VI_q, and answer positively an open question of Nagpal on representation stability theory.