Related papers: Deconstructible abstract elementary classes of mod…
In Finite Group Modular Representation Theory, the basic objects are the indecomposable and simple modules. This paper offers a new classification of these objects that refines the Green Theory Classification of indecomposable and simple…
One of the better-known independence results in general mathematics is Shelah's solution to Whitehead's problem of whether $\mathrm{Ext}^1(A,\mathbb{Z})=0$ implies that an abelian group $A$ is free. The point of departure for the present…
In this paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and…
We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…
Let $\mathcal{A}$ be an essentially small abelian category. We prove that if $\mathcal{A}$ admits a generator $M$ with ${\rm End}_{\mathcal{A}}(M)$ right artinian, then $\mathcal{A}$ admits a projective generator. If $\mathcal{A}$ is…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
We show that direct summands of certain additive functors arising as bifunctors with a fixed argument in an abelian category are again of that form whenever the fixed argument has finite length or, more generally, satisfies the descending…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings. We show that the…
For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…
We identify the class of elementary groups: the smallest class of totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contains the profinite groups and the discrete groups, is closed under group extensions of…
W-algebras of finite type are certain finitely generated associative algebras closely related to the universal enveloping algebras of semisimple Lie algebras. In this paper we prove a conjecture of Premet that gives an almost complete…
It is well known that a direct sum of CLS-modules is not, in general, a CLS-module. It is proved that if $M=M_1\oplus M_2$, where $M_1$ and $M_2$ are CLS-modules such that $M_1$ and $M_2$ are relatively ojective (or $M_1$ is…
We give a decomposition as a direct sum of indecomposable modules of several types of Specht modules in characteristic $2$. These include the Specht modules labelled by hooks, whose decomposability was considered by Murphy. Since the main…
In the paper "Deformation theory of abelian categories", the last two authors proved that an abelian category with enough injectives can be reconstructed as the category of finitely presented modules over the category of its injective…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence…
We deal with finitely generated modules over an artin algebra. In his Philadelphia Notes, M.Auslander showed that any homomorphism is right determined by a module C, but a formula for C which he wrote down has to be modified. The paper…
We give an alternative proof to the fact that if the square of the infinite radical of the module category of an Artin algebra is equal to zero then the algebra is of finite type by making use of the theory of postprojective and…
We define the class of rigid Frobenius algebras in a (non-semisimple) modular category and prove that their categories of local modules are, again, modular. This generalizes previous work of A. Kirillov, Jr. and V. Ostrik [Adv. Math. 171…