On Borcherds type Lie algebras

For each even lattice \({\mathcal L}\), there is a canonical way to construct an infinite-dimensional Lie algebra via lattice vertex operator algebra theory, we call this Lie algebra and its subalgebras the Borcherds type Lie algebras associated to \({\mathcal L}\). In this paper, we apply this construction to even lattices arising from representation theory of finite-dimensional associative algebras. This is motivated by the different realizations of Kac-Moody algebras by Borcherds using lattice vertex operators and by Peng-Xiao using Ringel-Hall algebras respectively. For any finite-dimensional algebra \(A\) of finite global dimension, we associate a Borcherds type Lie algebra \(\mathfrak {BL}(A)\) to \(A\). In contrast to the Ringel-Hall Lie algebra approach, \(\mathfrak {BL}(A)\) only depends on the symmetric Euler form or Tits form but not the full representation theory of \(A\). However, our results show that for certain classes of finite-dimensional algebras whose representation theory is ’controlled’ by the Euler bilinear forms or Tits forms, their Borcherds type Lie algebras do have close relations with the representation theory of these algebras. Beyond the class of hereditary algebras, these algebras include canonical algebras, representation-directed algebras and incidence algebras of finite prinjective types.     

Diagrammatic description for the categories of perverse sheaves on isotropic Grassmannians

For each integer \(k\ge 4\), we describe diagrammatically a positively graded Koszul algebra \(\mathbb {D}_k\) such that the category of finite dimensional \(\mathbb {D}_k\)-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type \(\mathrm{D}_k\) or \(\mathrm{B}_{k-1}\), constructible with respect to the Schubert stratification. The algebra is obtained by a (non-trivial) “folding” procedure from a generalized Khovanov arc algebra. Properties such as graded cellularity and explicit closed formulas for graded decomposition numbers are established by elementary tools.     

Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups

The partition algebra \(\mathsf {P}_k(n)\) and the symmetric group \(\mathsf {S}_n\) are in Schur–Weyl duality on the k-fold tensor power \(\mathsf {M}_n^{\otimes k}\) of the permutation module \(\mathsf {M}_n\) of \(\mathsf {S}_n\), so there is a surjection \(\mathsf {P}_k(n) \rightarrow \mathsf {Z}_k(n) := \mathsf {End}_{\mathsf {S}_n}(\mathsf {M}_n^{\otimes k})\), which is an isomorphism when \(n \ge 2k\). We prove a dimension formula for the irreducible modules of the centralizer algebra \(\mathsf {Z}_k(n)\) in terms of Stirling numbers of the second kind. Via Schur–Weyl duality, these dimensions equal the multiplicities of the irreducible \(\mathsf {S}_n\)-modules in \(\mathsf {M}_n^{\otimes k}\). Our dimension expressions hold for any \(n \ge 1\) and \(k\ge 0\). Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on \(\mathsf {M}_n^{\otimes k}\) and the quasi-partition algebra corresponding to tensor powers of the reflection representation of \(\mathsf {S}_n\).     

Complete classification of pseudo <Emphasis Type="Italic">H</Emphasis>-type Lie algebras: I

Let \({\mathscr {N}}\) be a 2-step nilpotent Lie algebra endowed with a non-degenerate scalar product \(\langle .\,,.\rangle \), and let \({\mathscr {N}}=V\oplus _{\perp }Z\), where Z is the centre of the Lie algebra and V its orthogonal complement. We study classification of the Lie algebras for which the space V arises as a representation space of the Clifford algebra \({{\mathrm{{\mathrm{Cl}}}}}({\mathbb {R}}^{r,s})\), and the representation map \(J:{{\mathrm{{\mathrm{Cl}}}}}({\mathbb {R}}^{r,s})\rightarrow {{\mathrm{End}}}(V)\) is related to the Lie algebra structure by \(\langle J_zv,w\rangle =\langle z,[v,w]\rangle \) for all \(z\in {\mathbb {R}}^{r,s}\) and \(v,w\in V\). The classification depends on parameters r and s and is completed for the Clifford modules V having minimal possible dimension, that are not necessary irreducible. We find necessary conditions for the existence of a Lie algebra isomorphism according to the range of the integer parameters \(0\le r,s<\infty \). We present a constructive proof for the isomorphism maps for isomorphic Lie algebras and determine the class of non-isomorphic Lie algebras.     

Hall Polynomials for Nakayama Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k. In this note we first show that the existence of Hall polynomials for \(\mathcal{A}\) equivalent to the existence of the Hall polynomial \(\varphi^{M}_{N L}\) for each \(M, L \in mod\mathcal{A}\) and \(N\in ind\mathcal{A}\). Then we show that for a basic connected Nakayama algebra \(\mathcal{A}\), \(\mathcal{H}(\mathcal{A})=\mathcal{L}(\mathcal{A})\) and Hall polynomials exist for this algebra. We also provide another proof of the existence of Hall polynomials for the representation directed split algebras.     

On graded characterizations of finite dimensionality for algebraic algebras

We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring \({{\text {gr}}}{R}\) is right noetherian, if and only if \({{\text {gr}}}{R}\) has right Krull dimension, if and only if \({{\text {gr}}}{R}\) satisfies a polynomial identity.     

Nonzero Infinitesimal Blocks of Category $\boldsymbol{\mathcal{O}}_{\textbf{\emph{S}}}$

Category \(\mathcal{O}\) is a nice category of modules for a finite dimensional semisimple Lie algebra \(\mathfrak{g}\) It was first introduced by Bernstein–Gelfand–Gelfand in 1976. In the early 1980’s, Rocha–Caridi introduced parabolic category \(\mathcal{O}_S\), where S is a subset of simple roots. Category \(\mathcal{O}_S\) is a generalization of ordinary category O. These are highest weight categories that decompose into certain subcategories, called infinitesimal blocks. An infinitesimal block contains at most finitely many simple modules, and some contain only the zero module. The representation type of the infinitesimal blocks of category \(\mathcal{O}_S\) has been studied by Futorny–Nakano–Pollack, Brüstle–König–Mazorchuk, and Boe–Nakano. The representation type of the singular blocks of category \(\mathcal{O}_S\) is still generally unknown, though Boe–Nakano classified certain of these. Understanding when a singular block is zero is an important step to understanding the singular blocks in general. In this work, we will answer this question. It is given in terms of nilpotent orbits of \(\mathfrak{g}\).     

Representations of polyadic-like equality algebras

Assuming the usual finite axiom schema of polyadic equality algebras, axiom (P10) is changed to a stronger version. It is proved that infinite dimensional, polyadic equality algebras satisfying the resulting system of axioms are representable. The foregoing stronger axiom is not given with a first order schema. The latter is to be expected knowing the negative results for the Halmos schema axiomatizability of the representable, infinite dimensional, polyadic equality algebras. Furthermore, Halmos’ well-known classical theorem that “locally finite polyadic equality algebras of infinite dimension α are representable” is generalized for locally-\({\mathfrak{m}}\) polyadic equality algebras, where \({\mathfrak{m}}\) is an arbitrary infinite cardinal and \({\mathfrak{m}}\) < α. Also, a neat embedding theorem is proved for the foregoing classes of polyadic-like equality algebras (a neat embedding theorem does not exists for polyadic equality algebras).     

Enveloping Algebras of the Nilpotent Malcev Algebra of Dimension Five

Pérez-Izquierdo and Shestakov recently extended the PBW theorem to Malcev algebras. It follows from their construction that for any Malcev algebra M over a field of characteristic ≠ 2, 3 there is a representation of the universal nonassociative enveloping algebra U(M) by linear operators on the polynomial algebra P(M). For the nilpotent non-Lie Malcev algebra \(\mathbb{M}\) of dimension 5, we use this representation to determine explicit structure constants for \(U(\mathbb{M})\); from this it follows that \(U(\mathbb{M})\) is not power-associative. We obtain a finite set of generators for the alternator ideal \(I(\mathbb{M}) \subset U(\mathbb{M})\) and derive structure constants for the universal alternative enveloping algebra \(A(\mathbb{M}) = U(\mathbb{M})/I(\mathbb{M})\), a new infinite dimensional alternative algebra. We verify that the map \(\iota\colon \mathbb{M} \to A(\mathbb{M})\) is injective, and so \(\mathbb{M}\) is special.     

Links of Faithful Partial Tilting Modules

For a basic, hereditary, finite dimensional algebra Λ over an algebraically closed field k we consider the quiver \({\overrightarrow{\mathcal K}\!_{\Lambda}}\) of tilting modules and the subquivers of \({\overrightarrow{\mathcal K}\!_{\Lambda}}\) which are links \({\overrightarrow{{\text{lk}}}(M)}\) to partial tilting modules M and show that \({\overrightarrow{{\text{lk}}}(M)}\) is connected if M is faithful.     

Quasiorder lattices of varieties

The set \({{\mathrm{Quo}}}(\mathbf {A})\) of compatible quasiorders (reflexive and transitive relations) of an algebra \(\mathbf {A}\) forms a lattice under inclusion, and the lattice \({{\mathrm{Con}}}(\mathbf {A})\) of congruences of \(\mathbf {A}\) is a sublattice of \({{\mathrm{Quo}}}(\mathbf {A})\). We study how the shape of congruence lattices of algebras in a variety determine the shape of quasiorder lattices in the variety. In particular, we prove that a locally finite variety is congruence distributive [modular] if and only if it is quasiorder distributive [modular]. We show that the same property does not hold for meet semi-distributivity. From tame congruence theory we know that locally finite congruence meet semi-distributive varieties are characterized by having no sublattice of congruence lattices isomorphic to the lattice \(\mathbf {M}_3\). We prove that the same holds for quasiorder lattices of finite algebras in arbitrary congruence meet semi-distributive varieties, but does not hold for quasiorder lattices of infinite algebras even in the variety of semilattices.     

On algebras of <Emphasis Type="Italic">P</Emphasis>-Ehresmann semigroups and their associate partial semigroups

P-Ehresmann semigroups are introduced by Jones as a common generalization of Ehresmann semigroups and regular \(*\)-semigroups. Ehresmann semigroups and their semigroup algebras are investigated by many authors in literature. In particular, Stein shows that under some finiteness condition, the semigroup algebra of an Ehresmann semigroup with a left (or right) restriction condition is isomorphic to the category algebra of the corresponding Ehresmann category. In this paper, we generalize this result to P-Ehresmann semigroups. More precisely, we show that for a left (or right) P-restriction locally Ehresmann P-Ehresmann semigroup \(\mathbf{S}\), if its projection set is principally finite, then we can give an algebra isomorphism between the semigroup algebra of \(\mathbf{S}\) and the partial semigroup algebra of the associate partial semigroup of \(\mathbf{S}\). Some interpretations and necessary examples are also provided to show why the above isomorphism dose not work for more general P-Ehresmann semigroups.     

Short proof of a conjecture concerning split-by-nilpotent extensions

Let C be a finite dimensional algebra with B a split extension by a nilpotent bimodule E. We provide a short proof to a conjecture by Assem and Zacharia concerning properties of \(\mathop {\text {mod}}B\) inherited by \(\mathop {\text {mod}}C\). We show if B is a tilted algebra, then C is a tilted algebra.     

Natural extensions and profinite completions of algebras

This paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class \({\mathcal{A} = \mathbb{ISP}(\mathcal{M})}\), where \({\mathcal{M}}\) is a set, not necessarily finite, of finite algebras, it is shown that each \({{\bf A} \in \mathcal{A}}\) embeds as a topologically dense subalgebra of a topological algebra \({n_{\mathcal{A}}({\bf A})}\) (its natural extension), and that \({n_{\mathcal{A}}({\bf A})}\) is isomorphic, topologically and algebraically, to the profinite completion of A. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that \({\mathcal{M}}\) is finite and \({\mathcal{A}}\) possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply.     

On Some Families of Modules for the Current Algebra

Given a finite-dimensional module V for a finite-dimensional, complex semi-simple Lie algebra \(\mathcal {g}\), and a positive integer m, we construct a family of graded modules for the current algebra \(\mathcal {g}[t]\) indexed by simple C \(\mathcal {S}_{m}\)-modules. These modules are free of finite rank for the ring of symmetric polynomials and so can be localized to give finite-dimensional graded \(\mathcal {g}[t]\)-modules. We determine the graded characters of these modules and show that these graded characters admit a curious duality.     

An extension of Wilf’s conjecture to affine semigroups

Let \(\mathcal {C}\subset \mathbb {Q}^p_+\) be a rational cone. An affine semigroup \(S\subset \mathcal {C}\) is a \(\mathcal {C}\)-semigroup whenever \((\mathcal {C}\setminus S)\cap \mathbb {N}^p\) has only a finite number of elements. In this work, we study the tree of \(\mathcal {C}\)-semigroups, give a method to generate it and study the \(\mathcal {C}\)-semigroups with minimal embedding dimension. We extend Wilf’s conjecture for numerical semigroups to \(\mathcal {C}\)-semigroups and give some families of \(\mathcal {C}\)-semigroups fulfilling the extended conjecture. Other conjectures formulated for numerical semigroups are also studied for \(\mathcal {C}\)-semigroups.     

Maps with the Unique Extension Property and $$\hbox {C}^{*}$$-Extreme Points

We investigate boundary representations in the context where Hilbert spaces are replaced by \(\hbox {C}^{*}\)-modules over abelian von Neumann algebras and apply this to study \(\hbox {C}^{*}\)-extreme points. We present an (unexpected) example of a weak* compact \(\mathcal {B}\)-convex subset of \({\mathbb {B}}(\mathcal {H})\) without \(\mathcal {B}\)-extreme points, where \(\mathcal {B}\) is an abelian von Neumann algebra on a Hilbert space \(\mathcal {H}\). On the other hand, if \(\mathcal {A}\) is a von Neumann algebra with a separable predual and whose finite part is injective, we show that each weak* compact \(\mathcal {A}\)-convex subset of \(\ell ^{\infty }(\mathcal {A})\) is generated by its \(\mathcal {A}\)-extreme points.     

Irreducible Morphisms and Locally Finite Dimensional Representations

Let \(\mathcal {A}\) be a Hom-finite additive Krull-Schmidt k-category where k is an algebraically closed field. Let \(\text {mod}\mathcal {A}\) denote the category of locally finite dimensional \(\mathcal {A}\)-modules, that is, the category of covariant functors \(\mathcal {A} \to \text {mod}k\). We prove that an irreducible monomorphism in \(\text {mod}\mathcal {A}\) has a finitely generated cokernel, and that an irreducible epimorphism in \(\text {mod}\mathcal {A}\) has a finitely co-generated kernel. Using this, we get that an almost split sequence in \(\text {mod}\mathcal {A}\) has to start with a finitely co-presented module and end with a finitely presented one. Finally, we apply our results to the study of rep(Q), the category of locally finite dimensional representations of a strongly locally finite quiver. We describe all possible shapes of the Auslander-Reiten quiver of rep(Q).