Compact Exceptional Simple Kantor Triple Systems Defined on Tensor Products of Composition Algebras∗

In this article we give the classification of compact exceptional simple Kantor triple systems defined on tensor products of composition algebras A =  ₁?  ₂ such that their Kantor algebras ?(φ, A) are real forms of exceptional simple Lie algebras.     

The Simple Connectedness of a Tame Weakly Shod Algebra

Abstract

We prove that a tame weakly shod algebra A which is not quasi-tilted is simply connected if and only if the orbit graph of its pip-bounded component is a tree, or if and only if its first Hochschild cohomology group H¹(A) with coefficients in _A A _A vanishes. We also show that it is strongly simply connected if and only if the orbit graph of each of its directed components is a tree, or if and only if H¹(A) = 0 and it contains no full convex subcategory which is hereditary of type 𝔸?, or if and only if it is separated and contains no full convex subcategory which is hereditary of type 𝔸?.     

Nonlinear Lie derivations on upper triangular matrices

Let M _n (𝔸) and T _n (𝔸) be the algebra of all n?×?n matrices and the algebra of all n?×?n upper triangular matrices over a commutative unital algebra 𝔸, respectively. In this note we prove that every nonlinear Lie derivation from T _n (𝔸) into M _n (𝔸) is of the form A?→?AT???TA?+?A _??+?ξ(A)I _n , where T?∈?M _n (𝔸), ??:?𝔸?→?𝔸 is an additive derivation, ξ?:?T _n (𝔸)?→?𝔸 is a nonlinear map with ξ(AB???BA)?=?0 for all A,?B?∈?T _n (𝔸) and A _? is the image of A under???applied entrywise.     

The Classification of Leonard Triples of Bannai/Ito Type with Even Diameters

Let 𝕂 denote an algebraically closed field of characteristic zero. Let V denote a vector space over 𝕂 with finite positive dimension. By a Leonard triple on V, we mean an ordered triple of linear transformations A, A*, A ^? in End(V) such that for each B ∈ {A, A*, A ^?} there exists a basis for V with respect to which the matrix representing B is diagonal and the matrices representing the other two linear transformations are irreducible tridiagonal. The diameter of the Leonard triple (A, A*, A ^?) is defined to be one less than the dimension of V. In this paper we define a family of Leonard triples said to be Bannai/Ito type and classify these Leonard triples with even diameters up to isomorphism. Moreover, we show that each of them satisfies the ?₃-symmetric Askey–Wilson relations.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Compatible associative bialgebras

We introduce a non-symmetric operad 𝒩, whose dimension in degree n is given by the Catalan number c_n?1. It arises naturally in the study of coalgebra structures defined on compatible associative algebras. We prove that any free compatible associative algebra admits a compatible infinitesimal bialgebra structure, whose subspace of primitive elements is a 𝒩-algebra. The data (As,As²,𝒩) is a good triple of operads, in J.-L. Loday’s sense. Our construction induces another triple of operads (As,As₂,As), where As₂ is the operad of matching dialgebras. Motivated by A. Goncharov’s Hopf algebra of paths P(S), we introduce the notion of bi-matching dialgebras and show that the Hopf algebra P(S) is a bi-matching dialgebras.     

Vertex Poisson Algebras Associated with Courant Algebroids

We study relationships between vertex Poisson algebras and Courant algebroids. For any ?-graded vertex Poisson algebra A = ? _n∈? A _(n), we show that A ₍₁₎ is a Courant A ₍₀₎-algebroid. On the other hand, for any Courant 𝒜-algebroid ?, we construct an ?-graded vertex Poisson algebra A = ? _n∈? A _(n) such that A ₍₀₎ is 𝒜 and the Courant 𝒜-algebroid A ₍₁₎ is isomorphic to ? as a Courant 𝒜-algebroid.     

A Note on the Double Affine Hecke Algebra of Type GL2

We express the double affine Hecke algebra ? associated to the general linear group GL₂(k) (here, k is a field with char(k) ≠ 2) as an amalgamated free product of quadratic extensions over the three-dimensional quantum torus 𝒪_q((k^×)³). With an eye towards proving ring-theoretic results pertaining to ?, a general treatment of amalgamated products of Ore and quadratic extensions is given. We prove an analogue of the Hilbert Basis Theorem for an amalgamated product Q of quadratic extensions and determine conditions for when the one-sided ideals of Q are principal or doubly-generated. Furthermore, we determine sufficient conditions which imply Q is a principal ideal ring. Finally, we construct an explicit isomorphism from ? to the amalgamated free product ring of quadratic extensions over 𝒪_q((k^×)³), a ring known to be noetherian. Therefore, it follows that ? is noetherian.     

On Partial Tilting Complexes

Let R be a commutative noetherian ring and A a noetherian R-algebra. Let P ^? ∈ 𝒦^b(𝒫 _A ) with Hom_𝒦(Mod-A)(P ^?, P ^?[i]) = 0 for i > 0. We will provide a sufficient condition for P ^? to be a direct summand of a silting complex. Also, in case Hom_𝒦(Mod-A)(P ^?, P ^?[i]) = 0 for i ≠ 0, we will provide a sufficient condition for P ^? to be a direct summand of a tilting complex.     

Some Properties of a Cayley Graph of a Commutative Ring

Let R be a commutative ring with unity and R ⁺, U(R), and Z*(R) be the additive group, the set of unit elements, and the set of all nonzero zero-divisors of R, respectively. We denote by ?𝔸𝕐(R) and G _R , the Cayley graph Cay(R ⁺, Z*(R)) and the unitary Cayley graph Cay(R ⁺, U(R)), respectively. For an Artinian ring R, Akhtar et al. (2009) studied G _R . In this article, we study ?𝔸𝕐(R) and determine the clique number, chromatic number, edge chromatic number, domination number, and the girth of ?𝔸𝕐(R). We also characterize all rings R whose ?𝔸𝕐(R) is planar. Moreover, we determine all finite rings R whose ?𝔸𝕐(R) is strongly regular. We prove that ?𝔸𝕐(R) is strongly regular if and only if it is edge transitive. As a consequence, we characterize all finite rings R for which G _R is a strongly regular graph.     

Lie Triple Derivable Mappings on Rings

Let ? be a ring containing a nontrivial idempotent. In this article, under a mild condition on ?, we prove that if δ is a Lie triple derivable mapping from ? into ?, then there exists a Z _{A, B} (depending on A and B) in its centre 𝒵(?) such that δ(A + B) = δ(A) + δ(B) + Z _{A, B} . In particular, let ? be a prime ring of characteristic not 2 containing a nontrivial idempotent. It is shown that, under some mild conditions on ?, if δ is a Lie triple derivable mapping from ? into ?, then δ = D + τ, where D is an additive derivation from ? into its central closure T and τ is a mapping from ? into its extended centroid 𝒞 such that τ(A + B) = τ(A) + τ(B) + Z _{A, B} and τ([[A, B], C]) = 0 for all A, B, C ∈ ?.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

On Stable Equivalence of Tensor Products of Algebras

The paper investigates the following problem. Let bimodules N, M yield a stable equivalence of Morita type between self-injective K-algebras A and E. Further, let bimodules S, T yield a stable equivalence of Morita type between self-injective K-algebras B and F. Then we want to know whether the functor M ? _A  ? ? _B S: mod(A ? _K B ^op ) → mod(E ? _K F ^op ) induces a stable equivalence between A ? _K B ^op and E ? _K F ^op . There is given a reduction of this problem to some smaller subcategories for self-injective algebras. Moreover, new invariants of stable equivalences of Morita type are constructed in a general case of arbitrary finite-dimensional algebras over a field.     

The center of the 3-dimensional and 4-dimensional Sklyanin algebras

LetA=A(E, ) denote either the 3-dimensional or 4-dimensional Sklyanin algebra associated to an elliptic curveE and a point E. Assume that the base field is algebraically closed, and that its characteristic does not divide the dimension ofA. It is known thatA is a finite module over its center if and only if is of finite order. Generators and defining relations for the centerZ(A) are given. IfS=Proj(Z(A)) andA is the sheaf ofO _S -algebras defined byA(S _(f))=A[f ^–1]₀ then the centerL ofA is described. For example, for the 3-dimensional Sklyanin algebra we obtain a new proof of M. Artin's result thatSpec L². However, for the 4-dimensional Sklyanin algebra there is not such a simple result: althoughSpec L is rational and normal, it is singular. We describe its singular locus, which is also the non-Azumaya locus ofA.     

On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

Level Structures on the Weierstrass Family of Cubics

Let W → 𝔸 ² be the universal Weierstrass family of cubic curves over ?. For each N ≥ 2, we construct surfaces parameterizing the three standard kinds of level N structures on the smooth fibers of W. We then complete these surfaces to finite covers of 𝔸 ². Since W → 𝔸 ² is the versal deformation space of a cusp singularity, these surfaces convey information about the level structure on any family of curves of genus g degenerating to a cuspidal curve. Our goal in this note is to determine for which values of N these surfaces are smooth over (0, 0). From a topological perspective, the results determine the homeomorphism type of certain branched covers of S ³ with monodromy in SL₂ (?/N).     

Pure ideals quotient categories and infinite group-graded rings

Abstract

Adapting the idea of twisted tensor products to the category of conic algebras (CA), i.e., finitely generated graded algebras, we define a family of objects hom ^?[?, 𝒜] there, one for each pair 𝒜, ? ∈ CA, with analogous properties to its internal coHom objects hom [?, 𝒜], but representing spaces of transformations whose coordinate rings and the ones of their respective domains do not commute among themselves. They give rise to a CA ^op -based category different from that defined by the function (𝒜, ?) ?  hom [?, 𝒜]. The mentioned non commutativity is controlled by a collection of twisting maps τ_{𝒜, ?}. We show, under certain circumstances, that (bi)algebras end ^?[𝒜] ?  hom ^?[𝒜, 𝒜] are counital 2-cocycle twistings of the corresponding coEnd objects end [𝒜]. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups G L _q (n) and their multiparametric versions.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Contact and Frobenius solvable Lie algebras with abelian nilradical

The aim of this work is to characterize the families of Frobenius (respectively, contact) solvable Lie algebras that satisfies the following condition: 𝔤 = 𝔥?V, where 𝔥?𝔤𝔩(V), |dim V?dim 𝔤|≤1 and NilRad(𝔤) = V, V being a finite dimensional vector space. In particular, it is proved that every complex Frobenius solvable Lie algebra is decomposable, whereas that in the real case there are only two indecomposable Frobenius solvable Lie algebras.