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.

No abstract uploaded!

We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac–Moodyalgebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Heckealgebras.This yields a proof of a conjecture of Chuang–Miyachi relating the level-rank duality with the Ringel–Koszul duality of cyclotomic rational double affine Hecke algebras.

We study the oriented exchange graph EG(Gamma_N Q) ofreachable hearts in the finite-dimensional derived category D(Gamma_N Q) of the CY-N Ginzburg algebra Gamma_N Q associated to an acyclic quiver Q. We show that any such heart is induced from some heart in the bounded derived category D(Q) via some ‘Lagrangian immersion’ L :D(Q)->D(Gamma_N Q). We build on this to show that the quotient of EG(Gamma_N Q) by the Seidel–Thomas braid group is the exchange graph CEG_N−1(Q)of cluster tilting sets in the (higher) cluster category C_N−1(Q). As an application, we interpret Buan–Thomas’ coloured quiver for a cluster tilting set in terms of the Ext quiver of any corresponding heart in D(Gamma_N Q).

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.

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

Let Mp(2n) be the metaplectic covering of Sp(2n) over a local field of characteristic zero. The core of the theory of endoscopy for Mp(2n) is the geometric transfer of orbital integrals to its elliptic endoscopic groups. The dual of this map, called the spectral transfer, is expected to yield endoscopic character relations which should reveal the internal structure of L-packets. As a first step, we characterize the image of the collective geometric transfer in the non-archimedean case, then reduce the spectral transfer to the case of cuspidal test functions by using a simple stable trace formula. In the archimedean case, we establish the character relations and determine the spectral transfer factors by rephrasing the works by Adams and Renard.

In these notes we collect some results about finite-dimensional representations of $U_{q}(\mathfrak {gl}(1\mid1))$ and related invariants of framed tangles, which are well-known to experts but difficult to find in the literature. In particular, we give an explicit description of the ribbon structure on the category of finite-dimensional $U_{q}(\mathfrak {gl}(1\mid1))$ -representations and we use it to construct the corresponding quantum invariant of framed tangles. We explain in detail why this invariant vanishes on closed links and how one can modify the construction to get a non-zero invariant of framed closed links. Finally we show how to obtain the Alexander polynomial by considering the vector representation of $U_{q}(\mathfrak {gl}(1\mid1))$ .

No abstract uploaded!

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 show that the standard graded cover of the well-known category $\mathcal{O}$ of Bernstein–Gelfand–Gelfand can be characterized by its compatibility with the action of the center of the enveloping algebra.

We derive generalizations of McShane’s identity for higher ranked surface group representations by studying a family of mapping class group invariant functions introduced by Goncharov and Shen which generalize the notion of horocycle lengths. In particular, we obtain McShane-type identities for finite-area cusped convex real projective surfaces by generalizing the Birman–Series geodesic scarcity theorem. More generally, we establish McShane-type identities for positive surface group representations with loxodromic boundary monodromy, as well as McShane-type inequalities for general rank positive representations with unipotent boundary monodromy. Our identities are systematically expressed in terms of projective invariants, and we study these invariants: we establish boundedness and Fuchsian rigidity results for triple and cross ratios. We apply our identities to derive the simple spectral discreteness of unipotent-bordered positive representations, collar lemmas, and generalizations of the Thurston metric.

In this paper, we associate quantum vertex algebras to a certain family of associative algebras $\widetilde{\A}(g)$ which are essentially Ding-Iohara algebras. To do this, we introduce another closely related family of associative algebras $\A(h)$. The associated quantum vertex algebras are based on the vacuum modules for $\A(h)$, whereas $\phi$-coordinated modules for these quantum vertex algebras are associated to $\widetilde{A}(g)$-modules. Furthermore, we classify their irreducible $\phi$-coordinated modules.

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.

In [2], J. Arthur classifies the automorphic discrete spectrum of symplectic groups up to global Arthur packets. We continue with our investigation of Fourier coefficients and their implication to the structure of the cuspidal spectrum for symplectic groups ([16] and [20]). As result, we obtain certain characterization and construction of small cuspidal automorphic representations and gain a better understanding of global Arthur packets and of the structure of local unramified components of the cuspidal spectrum, which has impacts to the generalized Ramanujan problem as posted by P. Sarnak in [43].

Let V be an N-graded, simple, self-contragredient, C_2-cofinite vertex operator algebra. We show that if the S-transformation of the character of V is a linear combination of characters of V-modules, then the category C of grading-restricted generalized V-modules is a rigid tensor category. We further show, without any assumption on the character of V but assuming that C is rigid, that C is a factorizable finite ribbon category, that is, a not-necessarily-semisimple modular tensor category. As a consequence, we show that if the Zhu algebra of V is semisimple, then C is semisimple and thus V is rational. The proofs of these theorems use techniques and results from tensor categories together with the method of Moore-Seiberg and Huang for deriving identities of two-point genus-one correlation functions associated to V. We give two main applications. First, we prove the conjecture of Kac-Wakimoto and Arakawa that C_2-cofinite affine W-algebras obtained via quantum Drinfeld-Sokolov reduction of admissible-level affine vertex algebras are strongly rational. The proof uses the recent result of Arakawa and van Ekeren that such W-algebras have semisimple (Ramond twisted) Zhu algebras. Second, we use our rigidity results to reduce the "coset rationality problem" to the problem of C2-cofiniteness for the coset. That is, given a vertex operator algebra inclusion U⊗V↪A with A, U strongly rational and U, V a pair of mutual commutant subalgebras in A, we show that V is also strongly rational provided it is C_2-cofinite.

Let $\Lambda$ be a finite dimensional algebra and $G$ be a finite group whose elements act on $\Lambda$ as algebra automorphisms. Under the assumption that $\Lambda$ has a complete set $E$ of primitive orthogonal idempotents, closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that the skew group algebra $\Lambda G$ and $\Lambda$ have the same finitistic dimension and the same strong global dimension if the action of $S$ on $E$ is free. Using a homological characterization of piecewise hereditary algebras proved by Happel and Zacharia, we deduce that $\Lambda G$ is piecewise hereditary if and only if $S$ acts freely on $E$ and $\Lambda$ is piecewise hereditary as well.

In this paper, we build the unfolding approach from acyclic sign-skew-symmetric matrices of finite rank to skew-symmetric matrices of infinite rank, which can be regard as an improvement of that in the skew-symmetrizable case. Using this approach, we give a positive answer to the problem by Berenstein, Fomin and Zelevinsky in [6] which asks whether an acyclic signskew- symmetric matrix is always totally sign-skew-symmetric. As applications, the positivity for cluster algebras in acyclic sign-skew-symmetric case is given; further, the F-polynomials of cluster algebras are proved to have constant term 1 in acyclic sign-skew-symmetric case.

We give bounds for various homological invariants (including Castelnuovo-Mumford regularity, degrees of local cohomology, and injective dimension) of finitely generated VI-modules in the non-describing characteristic case. It turns out that the formulas of these bounds for VI-modules are the same as the formulas of corresponding bounds for FI-modules.

In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of GLn(F), where F is a non-archimedean local field.

No abstract uploaded!

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.