Lattice construction of logarithmic modules for certain vertex algebras

A general method for constructing logarithmic modules in vertex operator algebra theory is presented. By utilizing this approach, we give explicit vertex operator construction of certain indecomposable and logarithmic modules for the triplet vertex algebra W(p){\mathcal{W}(p)} and for other subalgebras of lattice vertex algebras and their N = 1 super extensions. We analyze in detail indecomposable modules obtained in this way, giving further evidence for the conjectural equivalence between the category of W(p){\mathcal{W}(p)}-modules and the category of modules for the restricted quantum group [`(U)]_q(sl₂){\overline{\mathcal{U}}_q(sl_2)} , q = e ^{π i/p} . We also construct logarithmic representations for a certain affine vertex operator algebra at admissible level realized in Adamović (J. Pure Appl. Algebra 196:119–134, 2005). In this way we prove the existence of the logarithmic representations predicted in Gaberdiel (Int. J. Modern Phys. A 18, 4593–4638, 2003). Our approach enlightens related logarithmic intertwining operators among indecomposable modules, which we also construct in the paper.     

On the composition subalgebras of Bridgeland’s Hall algebras

Let A be a finite dimensional hereditary algebra over a finite field k and 𝒫 the category consisting of finite dimensional projective (left) A-modules. In this paper, we consider the composition subalgebra of Bridgeland’s Hall algebra of the category 𝒞_m(𝒫) of m-cyclic complexes for any positive integer m≥2 and determine its generating relations.     

Two-sided Two-cosided Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, an H-bicomodule algebra and an H-bimodule coalgebra C we will show that the category of two-sided two-cosided Hopf modules is equivalent to the category of right–left generalized Yetter–Drinfeld modules . Using alternative versions of this result we will recover the category isomorphism between the categories of left–left and left–right Yetter–Drinfeld modules over a quasi-Hopf algebra.      

Representations of Gan–Ginzburg algebras

Given a quiver, a fixed dimension vector, and a positive integer n, we construct a functor from the category of D-modules on the space of representations of the quiver to the category of modules over a corresponding Gan–Ginzburg algebra of rank n. When the quiver is affine Dynkin, we obtain an explicit construction of representations of the corresponding wreath product symplectic reflection algebra of rank n. When the quiver is star-shaped, but not finite Dynkin, we use this functor to obtain a Lie-theoretic construction of representations of a “spherical” subalgebra of the Gan–Ginzburg algebra isomorphic to a rational generalized double affine Hecke algebra of rank n. Our functors are a generalization of the type A and type BC functors from [1] and [4], respectively.     

Specht modules and semisimplicity criteria for Brauer and Birman–Murakami–Wenzl algebras

A construction of bases for cell modules of the Birman–Murakami–Wenzl (or B–M–W) algebra B _n (q,r) by lifting bases for cell modules of B _n−1(q,r) is given. By iterating this procedure, we produce cellular bases for B–M–W algebras on which a large Abelian subalgebra, generated by elements which generalise the Jucys–Murphy elements from the representation theory of the Iwahori–Hecke algebra of the symmetric group, acts triangularly. The triangular action of this Abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters q and r, for B–M–W algebras to be semisimple. The aforementioned constructions provide generalisations, to the algebras under consideration here, of certain results from the Specht module theory of the Iwahori–Hecke algebra of the symmetric group. Research supported by Japan Society for Promotion of Science.     

Finite-dimensional pointed Hopf algebras with alternating groups are trivial

It is shown that Nichols algebras over alternating groups \mathbb A_m{\mathbb A_m} (m ≥ 5) are infinite dimensional. This proves that any complex finite dimensional pointed Hopf algebra with group of group-likes isomorphic to \mathbb A_m{\mathbb A_m} is isomorphic to the group algebra. In a similar fashion, it is shown that the Nichols algebras over the symmetric groups \mathbb S_m{\mathbb S_m} are all infinite-dimensional, except maybe those related to the transpositions considered in Fomin and Kirillov (Progr Math 172:146–182, 1999), and the class of type (2, 3) in \mathbb S₅{\mathbb S_5}. We also show that any simple rack X arising from a symmetric group, with the exception of a small list, collapse, in the sense that the Nichols algebra \mathfrak B(X, q){\mathfrak B(X, \bf q)} is infinite dimensional, q an arbitrary cocycle.     

Discreteness of Flux Groups

Let （M, ω） be a closed symplectic 2n-dimensional manifold. Donaldson in his paper showed that there exist 2m-dimensional symplectie submanifolds （V^2m,ω） of （M,ω）, 1 ≤m ≤ n - 1, with （m - 1）-equivalent inclusions. On the basis of this fact we obtain isomorphic relations between kernel of Lefschetz map of M and kernels of Lefschetz maps of Donaldson submanifolds V^2m, 2 ≤ m ≤ n - 1. Then, using this relation, we show that the flux group of M is discrete if the action of π1 （M） on π2（M） is trivial and there exists a retraction r ： M→ V, where V is a 4-dimensional Donaldson submanifold. And, in the symplectically aspherical case, we investigate the flux groups of the manifolds.     

The Loewy Length of the Descent Algebra of Type <Emphasis Type="Italic">D</Emphasis>

In this article the Loewy length of the descent algebra of D _2m + 1 is shown to be m + 2, for m ≥ 2, by providing an upper bound that agrees with the lower bound in Bonnafé and Pfeiffer (2006). The bound is obtained by showing that the length of the longest path in the quiver of the descent algebra of D _2m + 1 is at most m + 1. To achieve this bound, the geometric approach to the descent algebra is used, in which the descent algebra of a finite Coxeter group W is identified with an algebra associated to the reflection arrangement of W.     

Representation theoretic harmonic spinors for coherent families

Coherent continuation π ₂ of a representation π ₁ of a semisimple Lie algebra arises by tensoring π ₁ with a finite dimensional representation F and projecting it to the eigenspace of a particular infinitesimal character. Some relations exist between the spaces of harmonic spinors (involving Kostant’s cubic Dirac operator and the usual Dirac operator) with coefficients in the three modules. For the usual Dirac operator we illustrate with the example of cohomological representations by using their construction as generalized Enright-Varadarajan modules. In [9] we considered only discrete series, which arises as generalized Enright-Varadarajan modules in the particular case when the parabolic subalgebra is a Borel subalgebra.     

Cohomology of graded lie algebras of maximal class with coefficients in the adjoint representation

We compute explicitly the adjoint cohomology of two ℕ-graded Lie algebras of maximal class (infinite-dimensional filiform Lie algebras) m₀ and m₂. It is known that up to an isomorphism there are only three ℕ-graded Lie algebras of maximal class. The third algebra from this list is the “positive” part L ₁ of the Witt (or Virasoro) algebra, and its adjoint cohomology was computed earlier by Feigin and Fuchs. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2008, Vol. 263, pp. 106–119.     

Stability conditions and Stokes factors

Let A{\mathcal{A}} be the category of modules over a complex, finite-dimensional algebra. We show that the space of stability conditions on A{\mathcal{A}} parametrises an isomonodromic family of irregular connections on ℙ¹ with values in the Hall algebra of A{\mathcal{A}}. The residues of these connections are given by the holomorphic generating function for counting invariants in A{\mathcal{A}} constructed by D. Joyce (in Geom. Topol. 11, 667–725, 2007).     

Representations of Nonstandard Poincaré Hopf Algebras

Let 𝔭 _q (1 + 1) be a nonstandard Poincaré Hopf algebra, we characterize all finite dimensional completely E-semisimple modules of 𝔭 _q (1 + 1). We also classify all finite dimensional E-semisimple modules of 𝔭 _q for a special quotient algebra of 𝔭 _q (1 + 1). Moreover, the decomposition of tensor product of two finite dimensional E-semisimple indecomposable modules is obtained.     

Piecewise Hereditary Nakayama Algebras

Let k be an algebraically closed field. Let Λ be the path algebra over k of the linearly oriented quiver \mathbb A_n\mathbb A_n for n ≥ 3. For r ≥ 2 and n > r we consider the finite dimensional k −algebra Λ(n,r) which is defined as the quotient algebra of Λ by the two sided ideal generated by all paths of length r. We will determine for which pairs (n,r) the algebra Λ(n,r) is piecewise hereditary, so the bounded derived category D ^b (Λ(n,r)) is equivalent to the bounded derived category of a hereditary abelian category H\mathcal H as triangulated category.     

The Maximal Graded Left Quotient Algebra of a Graded Algebra1)

We construct the maximal graded left quotient algebra of every graded algebra A without homogeneous total right zero divisors as the direct limit of graded homomorphisms （of left A-modules） from graded dense left ideals of A into a graded left quotient algebra of A. In the case of a superalgebra, and with some extra hypothesis, we prove that the component in the neutral element of the group of the maximal graded left quotient algebra coincides with the maximal left quotient algebra of the component in the neutral element of the group of the superalgebra.     

A family of regular vertex operator algebras with two generators

For every m ∈ ℂ ∖ {0, −2} and every nonnegative integer k we define the vertex operator (super)algebra D _m,k having two generators and rank . If m is a positive integer then D _m,k can be realized as a subalgebra of a lattice vertex algebra. In this case, we prove that D _m,k is a regular vertex operator (super) algebra and find the number of inequivalent irreducible modules.      

Universal Jensen＇s Equations in Banach Modules over a C^＊-Algebra and Its Unitary Group

In this paper, we prove the generalized Hyers-Ulam-Rassias stability of universal Jensen‘s equations in Banach modules over a unital C^*-algebra. It is applied to show the stability of universal Jensen‘s equations in a Hilbert module over a unital C^*-algebra. Moreover, we prove the stability of linear operators in a Hilbert module over a unital C^*-algebra.     

On the structure theory of the Iwasawa algebra of a p-adic Lie group

This paper is motivated by the question whether there is a nice structure theory of finitely generated modules over the Iwasawa algebra, i.e. the completed group algebra, Λ of a p-adic analytic group G. For G without any p-torsion element we prove that Λ is an Auslander regular ring. This result enables us to give a good definition of the notion of a pseudo-nullΛ-module. This is classical when G=ℤ ^k _p for some integer k≥1, but was previously unknown in the non-commutative case. Then the category of Λ-modules up to pseudo-isomorphisms is studied and we obtain a weak structure theorem for the ℤ _p -torsion part of a finitely generated Λ-module. We also prove a local duality theorem and a version of Auslander-Buchsbaum equality. The arithmetic applications to the Iwasawa theory of abelian varieties are published elsewhere. Received May 12, 2001 / final version received July 5, 2001?Published online September 3, 2001     

Cohen–Macaulay Isolated Singularities with a Dualizing Module

We generalize results of Foxby concerning a commutative Nötherian ring to a certain noncommutative Nötherian algebra Λ over a commutative Gorenstein complete local ring. We assume that Λ is a Cohen–Macaulay isolated singularity having a dualizing module. Then the same method as in the commutative cases works and we obtain a category equivalence between two subcategories of mod Λ, one of which includes all finitely generated modules of finite Gorenstein dimension. We give examples of such algebras which are not Gorenstien; orders related to almost Bass orders and some k-Gorenstein algebras for an integer k.Presented by I. Reiten ^★The author is supported by Grant-in-Aid for Scientific Researches B(1) No. 14340007 in Japan.     

On tense modules for extended algebras over rational fields

Let k(x) be the field of fractions of the polynomial algebra k[x] over the field k. We prove that, for an arbitrary finite dimensional k-algebra Λ, any finitely generated Λ ⊗_k k(x)-module M such that its minimal projective presentation admits no non-trivial selfextension is of the form M ≅ N^k(x), for some finitely generated Λ-module N. Some consequences are derived for tilting modules over the rational algebra Λ ⊗_k k(x) and for some generic modules for Λ. Received: 24 November 2003; revised: 11 February 2005     

Invariants for an adjoint action of classical groups

Let H=Sp(n) or H=O(n); and char K≠2 in the orthogonal case. We prove that an invariant algebra K[M(n)^m]^H is generated by elements σ_i(Y_j1..._j2, where every matrix Y_i either is X_i or the (symplectic) transpose of X_i. Supported by RFFR grant No. 98-01-00932. Translated fromAlgebra i Logika, Vol. 38, No. 5, pp. 549–584, September–October, 1999.