Graded tensor products

We study the polynomial identities of regular algebras, introduced in [A. Regev, T. Seeman, Z₂-graded tensor products of P.I. algebras, J. Algebra 291 (2005) 274-296]. For example, a finite-dimensional algebra is regular if it has a basis whose multiplication table satisfies some commutation relations. The matrix algebra M_n(F) over the field F is regular, which is closely related to M_n(F) being Z_n-graded. We study the polynomial identities of various types of tensor products of such algebras. In particular, using the theory of Hopf algebras, we prove a far reaching extension of the A⊗B theorem for Z₂-graded PI algebras.     

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

Tame division algebras of prime period over function fields of p-adic curves

Let F be a field finitely generated and of transcendence degree one over a p-adic field, and let ? ≠ p be a prime. Results of Merkurjev and Saltman show that H²(F, µ_?) is generated by ?/?-cyclic classes. We prove the “?/?-length” in H²(F, µ_?) is less than the ?-Brauer dimension, which Salt-man showed to be three. It follows that all F-division algebras of period ? are crossed products, either cyclic (by Saltman’s cyclicity result) or tensor products of two cyclic F-division algebras. Our result was originally proved by Suresh when F contains the ?-th roots of unity µ_?.     

Morita classes of algebras in modular tensor categories

We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple algebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.     

Weak spectral synthesis in commutative Banach algebras. II

Let A be a semisimple and regular commutative Banach algebra with structure space Δ(A). Continuing our investigation in [E. Kaniuth, Weak spectral synthesis in commutative Banach algebras, J. Funct. Anal. 254 (2008) 987-1002], we establish various results on intersections and unions of weak spectral sets and weak Ditkin sets in Δ(A). As an important example, the algebra of n-times continuously differentiable functions is studied in detail. In addition, we prove a theorem on spectral synthesis for projective tensor products of commutative Banach algebras which applies to Fourier algebras of locally compact groups.     

Radical of filters in BL‐algebras

In this paper, the notion of the radical of a filter in BL‐algebras is defined and several characterizations of the radical of a filter are given. Also we prove that A/F is an MV‐algebra if and only if D_s(A) ? F. After that we define the notion of semi maximal filter in BL‐algebras and we state and prove some theorems which determine the relationship between this notion and the other types of filters of a BL‐algebra. Moreover, we prove that A/F is a semi simple BL‐algebra if and only if F is a semi maximal filter of A. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.     

K-theoretic rigidity and slow dimension growth

Let A be an approximately subhomogeneous (ASH) C^∗-algebra with slow dimension growth. We prove that if A is unital and simple, then the Cuntz semigroup of A agrees with that of its tensor product with the Jiang-Su algebra Z\mathcal{Z}. In tandem with a result of W. Winter, this yields the equivalence of Z\mathcal{Z}-stability and slow dimension growth for unital simple ASH algebras. This equivalence has several consequences, including the following classification theorem: unital ASH algebras which are simple, have slow dimension growth, and in which projections separate traces are determined up to isomorphism by their graded ordered K-theory, and none of the latter three conditions can be relaxed in general.     

Twisted Bimodules and Hochschild Cohomology for Self-injective Algebras of Class A n , II

Up to derived equivalence, the representation-finite self-injective algebras of class A _n are divided into the wreath-like algebras (containing all Brauer tree algebras) and the Möbius algebras. In Part I (Forum Math. 11 (1999), 177–201), the ring structure of Hochschild cohomology of wreath-like algebras was determined, the key observation being that kernels in a minimal bimodule resolution of the algebras are twisted bimodules. In this paper we prove that also for Möbius algebras certain kernels in a minimal bimodule resolution carry the structure of a twisted bimodule. As an application we obtain detailed information on subrings of the Hochschild cohomology rings of Möbius algebras.     

On density of transitive operator algebras

In this paper we study the transitive algebra question by considering the invariant subspace problem relative to von Neumann algebras. We prove that the algebra (not necessarily ∗) generated by a pair of sums of two unitary generators of L(F_∞) and its commutant is strong-operator dense in B(H). The relations between the transitive algebra question and the invariant subspace problem relative to some von Neumann algebras are discussed.     

Chains of prime ideals in tensor products of algebras

This paper investigates the length of particular chains of prime ideals in tensor products of algebras over a field k. As an application, we compute dim(A⊗_kA) for a new family of domains A that are k-algebras.     

The local index formula in semifinite von Neumann algebras II: The even case

We generalise the even local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra A of a general semifinite von Neumann algebra. The proof is a variant of that for the odd case which appears in Part I. To allow for algebras with a non-trivial centre we have to establish a theory of unbounded Fredholm operators in a general semifinite von Neumann algebra and in particular prove a generalised McKean-Singer formula.     

Algebraic properties of isometries between groups of invertible elements in Banach algebras

We prove that an isometry T between open subgroups of the invertible groups of unital Banach algebras A and B is extended to a real-linear isometry up to translation between these Banach algebras. While a unital isometry between unital semisimple commutative Banach algebras need not be multiplicative, we prove in this paper that if A is commutative and A or B are semisimple, then (T(eA))⁻¹T is extended to an isometric real algebra isomorphism from A onto B. In particular, A−1 is isometric as a metric space to B−1 if and only if they are isometrically isomorphic to each other as metrizable groups if and only if A is isometrically isomorphic to B as a real Banach algebra; it is compared by the example of ?elazko concerning on non-isomorphic Banach algebras with the homeomorphically isomorphic invertible groups. Isometries between open subgroups of the invertible groups of unital closed standard operator algebras on Banach spaces are investigated and their general forms are given.     

The Double Centralizer Theorem for Semiprime Algebras

In the paper we prove the double centralizer theorem for semiprime algebras. To be precise, let R be a closed semiprime algebra over its extended centroid F, and let A be a closed semiprime subalgebra of R, which is a finitely generated module over F. Then C _R (A) is also a closed semiprime algebra and C _R (C _R (A))?=?A. In addition, if C _R (A) satisfies a polynomial identity, then so does the whole ring R. Here, for a subset T of R, we write C _R (T):?=?{x?∈?R|xt?=?tx???t?∈?T}, the centralizer of T in R.     

A note on the equivalence of m-periodic derived categories

Let A and B be finite-dimensional algebras over a field k of finite global dimension. Using some results of Gorsky in “Semi-derived Hall algebras and tilting invariance of Bridgeland-Hall algebras”, we prove that if A and B are derived equivalent, then the corresponding m-periodic derived categories are triangulated equivalent.     

Identities and isomorphisms of graded simple algebras

Let G be an arbitrary abelian group and let A and B be two finite dimensional G-graded simple algebras over an algebraically closed field F such that the orders of all finite subgroups of G are invertible in F. We prove that A and B are isomorphic if and only if they satisfy the same G-graded identities. We also describe all isomorphism classes of finite dimensional G-graded simple algebras.     

On the u-invariant of hermitian forms

Let K be a field of characteristic not 2 and A a central simple algebra with an involution σ. A result of Mahmoudi provides an upper bound for the u-invariants of hermitian forms and skew-hermitian forms over (A, σ) in terms of the u-invariant of K. In this paper we give a different upper bound when A is a tensor product of quaternion algebras and σ is a the tensor product of canonical involutions. We also show that our bounds are sharper than those of Mahmoudi.     

Isomorphisms of Nonnoetherian Down-Up Algebras

We solve the isomorphism problem for nonnoetherian down-up algebras A(α, 0, γ) by lifting isomorphisms between some of their noncommutative quotients. The quotients we consider are either quantum polynomial algebras in two variables for γ =?0 or quantum versions of the Weyl algebra A ₁ for nonzero γ. In particular we obtain that no other down-up algebra is isomorphic to the monomial algebra A(0, 0, 0). We prove in the second part of the article that this is the only monomial algebra within the family of down-up algebras. Our method uses homological invariants that determine the shape of the possible quivers and we apply the abelianization functor to complete the proof.     

Poincaré series and an application to Weyl algebras

Let A n be the n-th Weyl algebra over a field of characteristic 0 and M a finitely generated module over A n . By further exploring the relationship between the Poincar′e series and the dimension and the multiplicity of M , we are able to prove that the tensor product of two finitely generated modules over A n has the multiplicity equal to the product of the multiplicities of both modules. It turns out that we can compute the dimensions and the multiplicities of some homogeneous subquotient modules of A n .     

Derived representation type and Gorenstein projective modules of an algebra under crossed product

Let H and its dual H* be finite dimensional semisimple Hopf algebras. In this paper, we firstly prove that the derived representation types of an algebra A and the crossed product algebra A#σH are coincident. This is an improvement of the conclusion about representation type of an algebra in Li and Zhang [Sci China Ser A, 2006, 50: 1-13]. Secondly, we give the relationship between Gorenstein projective modules over A and that over A#σH. Then, using this result, it is proven that A is a finite dimensional CM-finite Gorenstein algebra if and only if so is A#σH.