No Arabic abstract
We consider a class of extensions of both abstract and pseudocompact algebras, which we refer to as strongly proj-bounded extensions. We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by strongly proj-bounded extensions, generalizing results of Cibils, Lanzillota, Marcos and Solotar. Moreover, we show that the finiteness of the big left finitistic dimension is preserved by strongly proj-bounded extensions. In order to construct examples, we describe a new class of extensions of algebras of finite relative global dimension, which may be of independent interest.
Using combinatorics of chains going back to works of Anick, Green, Happel and Zacharia, we give, for any monomial algebra $A$, an explicit description of its minimal model. This also provides us with formulas for a canonical $A_infty$-structure on the Ext-algebra of the trivial $A$-module. We do this by exploiting the combinatorics of chains going back to works of Anick, Green, Happel and Zacharia, and the algebraic discrete Morse theory of Jollenbeck, Welker and Skoldberg. We then show how this result can be used to obtain models for algebras with a chosen Grobner basis, and briefly outline how to compute some classical homological invariants with it.
The left and right homological integrals are introduced for a large class of infinite dimensional Hopf algebras. Using the homological integrals we prove a version of Maschkes theorem for infinite dimensional Hopf algebras. The generalization of Maschkes theorem and homological integrals are the keys to study noetherian regular Hopf algebras of Gelfand-Kirillov dimension one.
Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E relative to ker(p). This complex resembles the canonical reduced mixed complex of an augmented algebra. We begin the study of our complex showing that it has a harmonic decomposition like to the one considered by Cuntz and Quillen for the normalized mixed complex of an algebra.
Let $n geq 2$ be an integer. An emph{$n$-potent} is an element $e$ of a ring $R$ such that $e^n = e$. In this paper, we study $n$-potents in matrices over $R$ and use them to construct an abelian group $K_0^n(R)$. If $A$ is a complex algebra, there is a group isomorphism $K_0^n(A) cong bigl(K_0(A)bigr)^{n-1}$ for all $n geq 2$. However, for algebras over cyclotomic fields, this is not true in general. We consider $K_0^n$ as a covariant functor, and show that it is also functorial for a generalization of homomorphism called an emph{$n$-homomorphism}.
This paper is based on the authors paper Koszul duality in deformation quantization, I, with some improvements. In particular, an Introduction is added, and the convergence of the spectral sequence in Lemma 2.1 is rigorously proven. Some informal discussion in Section 1.5 is added.