Recollements of extension algebras

Let A be a finite-dimensional algebra over arbitrary base field k. We prove: if the unbounded derived module category D-(Mod-A) admits symmetric recollement relative to unbounded derived module categories of two finite-dimensional k-algebras B and C:D- (Mod - B) D-(Mod - A) D-(Mod - C),then the unbounded derived module category D-(Mod - T(A)) admits symmetric recollement relative to the unbounded derived module categories of T(B) and T(C):D-(Mod - T(B)) D-(Mod - T(A)) D-(Mod -T(C)).     

From recollement of triangulated categories to recollement of abelian categories

In this paper,we prove that if a triangulated category D admits a recollement relative to triangulated categories D' and D″,then the abelian category D/T admits a recollement relative to abelian categories D'/i(T) and D″/j(T) where T is a cluster tilting subcategory of D and satisfies i i (T)  T,j j (T) T.     

Frobenius bimodules and flat-dominant dimensions

We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules.This is motivated by the Nakayama conjecture and an approach of MartinezVilla to the Auslander-Reiten conjecture on stable equivalences.We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions.Furthermore,let A and B be finite-dimensional algebras over a field k,and let domdim(_AX)stand for the dominant dimension of an A-module X.If_BM_A is a Frobenius bimodule,then domdim(A)domdim(_BM)and domdim(B)domdim(_AHom_B(M,B)).In particular,if B■A is a left-split(or right-split)Frobenius extension,then domdim(A)=domdim(B).These results are applied to calculate flat-dominant dimensions of a number of algebras:shew group algebras,stably equivalent algebras,trivial extensions and Markov extensions.We also prove that the universal(quantised)enveloping algebras of semisimple Lie algebras are QF-3 rings in the sense of Morita.     

Relative homological dimensions in recollements of triangulated categories

Let E be a proper class of triangles in a triangulated category C, and let (A, B, C) be a recollement of triangulated categories. Based on Beligiannis's work, we prove that A and C have enough E-projective objects whenever B does. Moreover, in this paper, we give the bounds for the E-global dimension of B in a recollement (A, B, C) by controlling the behavior of the E-global dimensions of the triangulated categories A and C: In particular, we show that the finiteness of the E-global dimensions of triangulated categories is invariant with respect to the recollements of triangulated categories.     

关于对偶扩张拟遗传代数的Kazhdan-Lusztig理论

In order to study the representation theory of Lie algebras and algebraic groups, Cline, Parshall and Scott put forward the notion of abstract Kazhdan-Lusztig theory for quasihereditary algebras. Assume that a quasi-hereditary algebra B has the vertex set Q0 = {1,..., n} such that HomB（P（i）, P（j）） = 0 for i 〉 j. In this paper, it is shown that if the quasi-hereditary algebra B has a Kazhdan-Lusztig theory relative to a length function l, then its dual extension algebra A = .A（B） has also the Kazhdan-Lusztig theory relative to the length function l.     

Homological Epimorphisms,Compactly Generated t-Structures and Gorenstein-Projective Modules

The aim of this paper is two-fold.Given a recollement(T′,T,T′′,i*,i_*,i~!,j!,j*,j*),where T′,T,T′′are triangulated categories with small coproducts and T is compactly generated.First,the authors show that the BBD-induction of compactly generated t-structures is compactly generated when i*preserves compact objects.As a consequence,given a ladder(T′,T,T′′,T,T′) of height 2,then the certain BBD-induction of compactly generated t-structures is compactly generated.The authors apply them to the recollements induced by homological ring epimorphisms.This is the first part of their work.Given a recollement(D(B-Mod),D(A-Mod),D(C-Mod),i*,i_*,i~!,j!,j*,j_*) induced by a homological ring epimorphism,the last aim of this work is to show that if A is Gorenstein,AB has finite projective dimension and j! restricts to D~b(C-mod),then this recollement induces an unbounded ladder(B-Gproj,A-Gproj,C-Gproj) of stable categories of finitely generated Gorenstein-projective modules.Some examples are described.     

Schur functors on QF-3 standardly stratified algebras

Let A be a QF-3 standardly stratified algebra and f be a Schur functor corresponding to some projective-injective faithful A-module, denoted by Ae. The main result of this paper is to prove that, if the dominant dimension of A is sufficiently large, then ] induces a full embedding from ￡（△） to eAe-mod which preserves Ext-groups up to certain degrees, where ￡（△） denotes the full subcategory of A-mod whose objects are filtered by standard A-modules. We check this criterion on some typical examples, quantized Schur algebras Sq（n,r） with n≥r and finite-dimensional algebras associated with the Bernstein-Gelfand-Gelfand category O of semisimple complex Lie algebras.     

A solution to Tingley’s problem for isometries between the unit spheres of compact C*-algebras and JB*-triples

Let f : S(E) → S(B) be a surjective isometry between the unit spheres of two weakly compact JB*-triples not containing direct summands of rank less than or equal to 3. Suppose E has rank greater than or equal to 5. Applying techniques developed in JB*-triple theory, we prove that f admits an extension to a surjective real linear isometry T : E → B. Among the consequences, we show that every surjective isometry between the unit spheres of two compact C*-algebras A and B, without assuming any restriction on the rank of their direct summands(and in particular when A = K(H) and B = K(H′)), extends to a surjective real linear isometry from A into B. These results provide new examples of infinite-dimensional Banach spaces where Tingley's problem admits a positive answer.     

Characteristic Semi-simple Lie Algebras and Completely Semi-simple Lie Algebras over any Field

In this paper, we study some properties of the finite dimensional characteristic semi-simple (C.S.S.) Lie algebras and completely semi-simple Lie algebras over any field. The definitions and some results of these algebras have been given by G.B.Seligman in [1]. We can easily prove the following lemmas: Lemma 1 The centre of any finite dimensional Lie algebra L is a characteristic ideal of L.     

Nonlinear Maps Preserving the Jordan Triple *-Product on Factor von Neumann Algebras

Let A and B be two factor von Neumann algebras. For A, B ∈ A, define by [A, B]_*= AB-BA~*the skew Lie product of A and B. In this article, it is proved that a bijective map Φ : A → B satisfies Φ([[A, B]_*, C]_*) = [[Φ(A), Φ(B)]_*, Φ(C)]_*for all A, B, C ∈ A if and only if Φ is a linear *-isomorphism, or a conjugate linear *-isomorphism, or the negative of a linear *-isomorphism, or the negative of a conjugate linear *-isomorphism.     

A recollement construction of Gorenstein derived categories

We first give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the category of abelian groups, in the spirit of Krause’s work [Math. Ann., 2012, 353: 765–781]. Then we provide a criterion for the existence of recollement of derived categories of functor categories, which shows that the recollement structure may be induced by a proper morphism defined in finitely presented subcategories. This criterion is then used to construct a recollement of derived category of Gorenstein injective modules over CM-finite 2-Gorenstein artin algebras.     

On strong commutativity preserving mappings

Let R be a ring, and S a non-empty subset of R. Suppose that R admits mappings F and G such that [F(x), G(y)] = [x,y] for all x, y ∈ S. In the present paper, we investigate commutativity of the ring R, when the mapping G is assumed to be a derivation or an endomorphism of R.     

Orders in non-semisimple algebras

In several branches of representation theory, the existence of Auslander-Reiten sequences has led to new structural insights. for example, in the module theory of artinian algebras [11, 6], in the theory of lattices over classical orders [18, 2] over a complete discrete valuation domain R, and for the corresponding derived categories [12, 17]. For an R-order ? in a finite dimentional algebra A over the quotient field K of R, Auslander and Reiten [2, 5] have charaterized the non-projective indecomposable ?-lattice E for which an Auslander-Reiten sequence (AR-sequence for short) L → H → E exists as those ?-lattices A-module KE is projective.

In the present paper, we shall introduce a modified version of AR-sequences in the category ?-lat of ?-lattices which behave similar to AR-sequence of modules over artinian algebras. In fact, there will be a close relationship to AR-sequences in ?-mod, where ? : = ?/(RadR)?. This relationship extends to AR-sequences in A-mod if ? is hereditary (e.g. for a path order ? = R△ of a quiver △ without oriented cycles.) Our investigation is inspired by recent work of W. Crawley-Boevey [9] who determined the lattices E with Extras (E, E = 0 over a path order R△.     

Foliations transverse to fibers of Seifert manifolds

In this paper we prove the conjecture of Jankins and Neumann [JN2] about rotation numbers of products of circle homeomorphisms, which together with other results of [EHN] and [JN2] (mentioned below) implies that a Seifert manifold admits foliations tranverse to its fibers only if it admits such foliations with a projective transverse structure. 1991Mathematics Subject Classification: Primary 55R05, 57R30, Secondary 47A35, 57M99, 58F11. Partially supported by a Sloan Doctoral Dissertation Fellowship, and by the Technion-Israel Institute of Technology.     

Maximal Poisson Commutative subalgebras for truncated parabolic subalgebras of maximal index in sl<Subscript>n</Subscript>

We show that several properties of the semisimple algebras carry over to a certain family of parabolic subalgebras of maximal index in sl_n. More precisely we prove an analogue of Kostant's slice theorem [B. Kostant, Amer. J. Math. 85 (1963), 327-404] for these algebras and construct a maximal Poisson commutative subalgebra in the symmetric algebra, following the theory presented in [A.S. Mishchenko and A.T. Fomenko, Math. USSR-Izv. 12 (1978), 371-389]. These results are quite remarkable since these algebras do not admit appropriate sl₂-triples.     

Lifting and Restricting Recollement Data

We study the problem of lifting and restricting TTF triples (equivalently, recollement data) for a certain wide type of triangulated categories. This, together with the parametrizations of TTF triples given in Nicolás and Saorín (Parametrizing recollement data for triangulated categories. To appear in J. Algebra), allows us to show that many well-known recollements of right bounded derived categories of algebras are restrictions of recollements in the unbounded level, and leads to criteria to detect recollements of general right bounded derived categories. In particular, we give in Theorem 1 necessary and sufficient conditions for a right bounded derived category of a differential graded (=dg) category to be a recollement of right bounded derived categories of dg categories. Theorem 2 considers the case of dg categories with cohomology concentrated in non-negative degrees. In Theorem 3 we consider the particular case in which those dg categories are just ordinary algebras.     

Separability and decidability results for varieties of Jónsson dynamic algebras

Dynamic algebras are algebraic counterparts of dynamic logics: propositional logical systems endowed with a set of modal operators. In [18], B. Jónsson introduced dynamic algebras as Boolean algebras with unary operators, the indices of which range over a given Kleene algebra. On the other hand, V.R. Pratt and D. Kozen proposed a two-sorted approach to dynamic algebras, which was followed in the early papers on the topic, such as Fischer and Ladner [15] and Németi [28]. For a recent overview of the field cf. [4]. In the present paper we investigate connections (as well as diversities) between these two approaches. Our main aim is to transfer (where possible) two-sorted results on separability and decidability to the one-sorted case and to extend them to broad classes of varieties of Jónsson dynamic algebras. In particular, as a consequence of such considerations, we obtain a decidability result on Kleene algebras.     

Affine complete Stone algebras

In [1] R. Beazer characterized affine complete Stone algebras having a smallest dense element. We remove this latter assumption and describe affine complete algebras in the class of all Stone algebras.Dedicated to the memory of M. KolibiarPresented by Á. Szendrei.