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.

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.

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

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.

In the present paper we prove that Hall polynomial exists for each triple of decomposition sequences which parameterize isomorphism classes of coherent sheaves of a domestic weighted projective line $\mathbb X$ over finite fields. These polynomials are then used to define the generic Ringel--Hall algebra of $\mathbb X$ as well as its Drinfeld double. Combining this construction with a result of Cramer, we show that Hall polynomials exist for tame quivers, which not only refines a result of Hubery, but also confirms a conjecture of Berenstein and Greenstein.

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.

Based on the work of Ringel and Green, one can define the (Drinfeld) double Ringel--Hall algebra ${\mathscr D}(Q)$ of a quiver $Q$ as well as its highest weight modules. The main purpose of the present paper is to show that the basic representation $L(\Lambda_0)$ of ${\mathscr D}(\Delta_n)$ of the cyclic quiver $\Delta_n$ provides a realization of the $q$-deformed Fock space $\bigwedge^\infty$ defined by Hayashi. This is worked out by extending a construction of Varagnolo and Vasserot. By analysing the structure of nilpotent representations of $\Delta_n$, we obtain a decomposition of the basic representation $L(\Lambda_0)$ which induces the Kashiwara--Miwa--Stern decomposition of $\bigwedge^\infty$ and a construction of the canonical basis of $\bigwedge^\infty$ defined by Leclerc and Thibon in terms of certain monomial basis elements in ${\mathscr D}(\Delta_n)$.

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

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

Starting with a commutative ring $R$ and an ideal $I$ , it is possible to define a family of rings $R(I)_{a,b}$ , with $a,b \in R$ , as quotients of the Rees algebra $\oplus_{n \geq0} I^{n}t^{n}$ ; among the rings appearing in this family we find Nagata’s idealization and amalgamated duplication. Many properties of these rings depend only on $R$ and $I$ and not on $a$ , $b$ ; in this paper we show that the Gorenstein and the almost Gorenstein properties are independent of $a$ , $b$ . More precisely, we characterize when the rings in the family are Gorenstein, complete intersection, or almost Gorenstein and we find a formula for the type.

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 construct a counterexample to the conjugacy of maximal abelian diagonalizable subalgebras in extended affine Lie algebras.

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

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

We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this assertion for the ideal $M_{0}(G)$ consisting of measures with Fourier-Stieltjes transforms vanishing at infinity which is a stronger statement). As a corollary, we obtain that the spectras of elements in the algebra of measures cannot be recovered from the image of one countable subset of the Gelfand space under Gelfand transform, common for all elements in the algebra.

No abstract uploaded!

n this paper we study representations of skew group algebras $\Lambda G$, where $\Lambda$ is a connected, basic, finite-dimensional algebra (or a locally finite graded algebra) over an algebraically closed field $k$ with characteristic $p \geqslant 0$, and $G$ is an arbitrary finite group each element of which acts as an algebra automorphism on $\Lambda$. We characterize skew group algebras with finite global dimension or finite representation type, and classify the representation types of transporter categories for $p \neq 2,3$. When $\Lambda$ is a locally finite graded algebra and the action of $G$ on $\Lambda$ preserves grading, we show that $\Lambda G$ is a generalized Koszul algebra if and only if so is $\Lambda$.

No abstract uploaded!

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