Let $A$ be a finite dimensional k-algebra standardly stratified for a partial order $\leqslant$ and $\Delta$ be the direct sum of all standard modules. In this paper we study the extension algebra $E = Ext^{\ast}_A (Δ,Δ)$ of standard modules, characterize the stratification property of $E$ for $\geqslant$ and $\geqslant ^{op}$, and obtain a sufficient condition for $E$ to be a generalized Koszul algebra (in a sense which we define).

We prove that every finite group$G$can be realized as the group of self-homotopy equivalences of infinitely many elliptic spaces$X$. To construct those spaces we introduce a new technique which leads, for example, to the existence of infinitely many inflexible manifolds. Further applications to representation theory will appear in a separate paper.

Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.

A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories C of modules for the fixed-point vertex operator subalgebra V^G of a vertex operator (super)algebra V with finite automorphism group G. The main results are that every V^G-module in C with a unital and associative V-action is a direct sum of g-twisted V-modules for possibly several g∈G, that the category of all such twisted V-modules is a braided G-crossed (super)category, and that the G-equivariantization of this braided G-crossed (super)category is braided tensor equivalent to the original category C of V^G-modules. This generalizes results of Kirillov and Müger proved using rigidity and semisimplicity. We also apply the main results to the orbifold rationality problem: whether V^G is strongly rational if V is strongly rational. We show that V^G is indeed strongly rational if V is strongly rational, G is any finite automorphism group, and V^G is C_2-cofinite.

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}^+$.