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.

In this paper we give an explicit algorithm to construct the ordinary quiver of a finite EI category for which the endomorphism groups of all objects have orders invertible in the field k. We classify all finite EI categories with hereditary category algebras, characterizing them as free EI categories (in a sense which we define) for which all endomorphism groups of objects have invertible orders. Some applications on the representation types of finite EI categories are derived.

Let F be a non-Archimedean local field. This paper studies homological properties of irreducible smooth representations restricted from GLn+1(F) to GLn(F). A main result shows that each Bernstein component of an irreducible smooth representation of GLn+1(F) restricted to GLn(F) is indecomposable. We also classify all irreducible representations which are projective when restricting from GLn+1(F) to GLn(F). A main tool of our study is a notion of left and right derivatives, extending some previous work joint with Gordan Savin. As a by-product, we also determine the branching law in the opposite direction.

In this paper, we give geometric realizations of Lusztig's symmetries. We also give projective resolutions of a kind of standard modules. By using the geometric realizations and the projective resolutions, we obtain the categorification of the formulas of Lusztig's symmetries.

For a symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$, Lusztig introduced the corresponding modified quantized enveloping algebra $\dot{\textbf{U}}$ and its canonical basis $\dot{\textbf{B}}$ in [13]. In this paper, in case $\mathfrak{g}$ is a symmetric Kac-Moody Lie algebra of finite or affine type, we define a set $\tilde{\mathcal{M}}$ which depends only on the root category $\mathcal{R}$ and prove that there is a bijection between $\tilde{\mathcal{M}}$ and $\dot{\textbf{B}}$, where $\mathcal{R}$ is the $T^2$-orbit category of the bounded derived category of corresponding Dynkin or tame quiver. Our method is based on a result of Lin, Xiao and Zhang in [10], which gives a PBW-type basis of $\textbf{U}^+$.