Noncommutative Local Algebra.
In this article we further the study of noncommutative numerical motives, initiated in [30, 31]. By exploring the change-of-coefficients mechanism, we start by improving some of the main results of [30]. Then, making use of the notion of Schur-finiteness, we prove that the category NNum of noncommutative numerical motives is (neutral) super-Tannakian. As in the commutative world, NNum is not Tannakian. In order to solve this problem we promote periodic cyclic homology to a well-defined symmetric...
The Evens-Lu-Weinstein representation (Q A, D) for a Lie algebroid A on a manifold M is studied in the transitive case. To consider at the same time non-oriented manifolds as well, this representation is slightly modified to (Q Aor, Dor) by tensoring by orientation flat line bundle, Q Aor=QA⊗or (M) and D or=D⊗∂Aor. It is shown that the induced cohomology pairing is nondegenerate and that the representation (Q Aor, Dor) is the unique (up to isomorphy) line representation for which the top group of...
We shall introduce the class of strongly cancellative multiplicative monoids which contains the class of all totally ordered cancellative monoids and it is contained in the class of all cancellative monoids. If is a strongly cancellative monoid such that for each and if is a ring such that for each , then the class of all non-singular left -modules is a cover class if and only if the class of all non-singular left -modules is a cover class. These two conditions are also equivalent whenever...
Let be a multiplicative monoid. If is a non-singular ring such that the class of all non-singular -modules is a cover class, then the class of all non-singular -modules is a cover class. These two conditions are equivalent whenever is a well-ordered cancellative monoid such that for all elements with there is such that . For a totally ordered cancellative monoid the equalities and hold, being Goldie’s torsion theory.
One of the results in my previous paper On torsionfree classes which are not precover classes, preprint, Corollary 3, states that for every hereditary torsion theory for the category -mod with , being Goldie’s torsion theory, the class of all -torsionfree modules forms a (pre)cover class if and only if is of finite type. The purpose of this note is to show that all members of the countable set of rings have the property that the class of all non-singular left modules forms a (pre)cover...
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.