Hochschild (co)homology of Yoneda algebras of reconstruction algebras of type A 1

The reconstruction algebra is a generalization of the preprojective algebra, and plays important roles in algebraic geometry and commutative algebra. We consider the homological property of this class of algebras by calculating the Hochschild homology and Hochschild cohomology. Let Λ _t be the Yoneda algebra of a reconstruction algebra of type A ₁ over a field k. In this paper, a minimal projective bimodule resolution of Λ _t is constructed, and the k-dimensions of all Hochschild homology and cohomology groups of Λ _t are calculated explicitly.     

Commutative algebras of minimal rank

If $\text{A}$ is a finite-dimensional associative k-algebra with unit, then its rank R($\text{A}$), i.e. its bilinear complexity, is never less than $\text{2dim}\text{A}\text{?\#}\text{M}\text{(}\text{A}\text{)}$. $\text{A}$ is said to be of minimal rank if $\text{R(}\text{A}\text{)=2dim}\text{A}\text{?\#}\text{M}\text{(}\text{A}\text{)}$. In this paper we determine for infinite perfect fields k all commutative k-algebras of minimal rank. Roughly speaking, these algebras are built up from simply generated structures which annihilate each other. Furthermore, we indicate how this result can be used to obtain new lower bounds for the rank of specific commutative algebras.     

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.     

Full field algebras, operads and tensor categories

We study the operadic and categorical formulations of (conformal) full field algebras. In particular, we show that a grading-restricted R×R-graded full field algebra is equivalent to an algebra over a partial operad constructed from spheres with punctures and local coordinates. This result is generalized to conformal full field algebras over VL⊗VR, where VL and VR are two vertex operator algebras satisfying certain finiteness and reductivity conditions. We also study the geometry interpretation of conformal full field algebras over VL⊗VR equipped with a nondegenerate invariant bilinear form. By assuming slightly stronger conditions on VL and VR, we show that a conformal full field algebra over VL⊗VR equipped with a nondegenerate invariant bilinear form exactly corresponds to a commutative Frobenius algebra with a trivial twist in the category of VL⊗VR-modules. The so-called diagonal constructions [Y.-Z. Huang, L. Kong, Full field algebras, arXiv: math.QA/0511328] of conformal full field algebras are given in tensor-categorical language.     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

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.     

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.     

Braidings on the Category of Bimodules,Azumaya Algebras and Epimorphisms of Rings

Let A be an algebra over a commutative ring k. We prove that braidings on the category of A-bimodules are in bijective correspondence to canonical R-matrices, these are elements in A???A???A satisfying certain axioms. We show that all braidings are symmetries. If A is commutative, then there exists a braiding on ${}_A\mathcal{M}_A$ if and only if k→A is an epimorphism in the category of rings, and then the corresponding R-matrix is trivial. If the invariants functor $G = (-)^A:\ {}_A\mathcal{M}_A\to \mathcal{M}_k$ is separable, then A admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang–Baxter equation and the braid equation.     

Invariant bilinear forms on a vertex algebra

In this paper we construct a linear space that parameterizes all invariant bilinear forms on a given vertex algebra with values in a arbitrary vector space. Also we prove that every invariant bilinear form on a vertex algebra is symmetric. This is a generalization of the result of Li (J. Pure Appl. Algebra 96(3) (1994) 279), who proved this for the case when the vertex algebra is non-negatively graded and has finite dimensional homogeneous components.As an application, we introduce a notion of a radical of a vertex algebra. We prove that a radical-free vertex algebra A is non-negatively graded, and its component A₀ of degree 0 is a commutative associative algebra, so that all structural maps and operations on A are A₀-linear. We also show that in this case A is simple if and only if A₀ is a field.     

Representation Dimension and Quasi-hereditary Algebras

We study Auslander's representation dimension of Artin algebras, which is by definition the minimal projective dimension of coherent functors on modules which are both generators and cogenerators. We show the following statements: (1) if an Artin algebra A is stably hereditary, then the representation dimension of A is at most 3. (2) If two Artin algebras are stably equivalent of Morita type, then they have the same representation dimension. Particularly, if two self-injective algebras are derived equivalent, then they have the same representation dimension. (3) Any incidence algebra of a finite partially ordered set over a field has finite representation dimension. Moreover, we use results on quasi-hereditary algebras to show that (4) the Auslander algebra of a Nakayama algebra has finite representation dimension.     

Isomorphism classes and automorphism groups of algebras of Weyl type

In one of our recent papers, the associative and the Lie algebras of Weyl typeA[D]=A⊗F[D] were defined and studied, whereA is a commutative associative algebra with an identity element over a field F of any characteristic, and F[D] is the polynomial algebra of a commutative derivation subalgebraD ofA. In the present paper, a class of the above associative and Lie algebrasA[D] with F being a field of characteristic 0,D consisting of locally finite but not locally nilpotent derivations ofA, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined     

Affine cellular algebras

Graham and Lehrer have defined cellular algebras and developed a theory that allows in particular to classify simple representations of finite dimensional cellular algebras. Many classes of finite dimensional algebras, including various Hecke algebras and diagram algebras, have been shown to be cellular, and the theory due to Graham and Lehrer successfully has been applied to these algebras.We will extend the framework of cellular algebras to algebras that need not be finite dimensional over a field. Affine Hecke algebras of type A and infinite dimensional diagram algebras like the affine Temperley–Lieb algebras are shown to be examples of our definition. The isomorphism classes of simple representations of affine cellular algebras are shown to be parameterised by the complement of finitely many subvarieties in a finite disjoint union of affine varieties. In this way, representation theory of non-commutative algebras is linked with commutative algebra. Moreover, conditions on the cell chain are identified that force the algebra to have finite global cohomological dimension and its derived category to admit a stratification; these conditions are shown to be satisfied for the affine Hecke algebra of type A if the quantum parameter is not a root of the Poincaré polynomial.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

Representation-finite trivial extension algebras

Let A be a finite-dimensional basic connected associative algebra over an algebraically closed field, and $\text{T(A)=A ? DA}$ its trivial extension by its minimal injective cogenerator. We prove that T(A) is representation-finite of Cartan class Δ if and only if A is an iterated tilted algebra of Dynkin class Δ. The proof also yields a construction procedure for iterated tilted algebras of Dynkin type.     

Factorisation properties of group scheme actions

Let H be an algebraic group scheme over a field k acting on a commutative k-algebra A which is a unique factorisation domain. We show that, under certain mild assumptions, the monoid of nonzero H-stable principal ideals in A is free commutative. From this we deduce, in certain special cases, results about the monoid of nonzero semi-invariants and the algebra of invariants. We use an infinitesimal method which allows us to work over an arbitrary base field.     

Skew group algebras of piecewise hereditary algebras are piecewise hereditary

We show that the main results of Happel-Rickard-Schofield (1988) and Happel-Reiten-Smalø (1996) on piecewise hereditary algebras are coherent with the notion of group action on an algebra. Then, we take advantage of this compatibility and show that if G is a finite group acting on a piecewise hereditary algebra A over an algebraically closed field whose characteristic does not divide the order of G, then the resulting skew group algebra A[G] is also piecewise hereditary.     

Semisimple Hopf actions on commutative domains

Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen.