Étale descent for hochschild and cyclic homology

IfB is an étale extension of ak-algebraA, we prove for Hochschild homology thatHH _*(B)≅HH_*(A)⊗_AB. For Galois descent with groupG there is a similar result for cyclic homology:HC _*≅HC_*(B)^G if . In the process of proving these results we give a localization result for Hochschild homology without any flatness assumption. We then extend the definition of Hochschild homology to all schemes and show that Hochschild homology satisfies cohomological descent for the Zariski, Nisnevich and étale topologies. We extend the definition of cyclic homology to finite-dimensional noetherian schemes and show that cyclic homology satisfies cohomological descent for the Zariski and Nisnevich topologies, as well as for the étale topology overQ. Finally we apply these results to complete the computation of the algebraicK-theory of seminormal curves in characteristic zero. Partially supported by National Science Foundation grant DMS-8803497 Partially supported by National Security Agency grant MDA904-90-H-4019     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Realizing Operadic Plus-constructions as Nullifications

In this paper we generalize the plus-construction given by M. Livernet for algebras over rational differential graded operads to the framework of cofibrant operads over an arbitrary ring (the category of algebras over such operads admits a closed model category structure). We follow the modern approach of J. Berrick and C. Casacuberta defining topological plus-construction as a nullification with respect to a universal acyclic space. We construct a universalH _*^Q-acyclic algebra and we define A A⁺ as the -nullification of the algebra A. This map induces an isomorphism in Quillen homology and quotients out the maximal perfect ideal of _0(A). As an application, we consider for any associative algebra R the plus-constructions of gl(R) in the categories of homotopy Lie and homotopy Leibniz algebras. This gives rise to two new homology theories for associative algebras, namely homotopy cyclic and homotopy Hochschild homologies. Over the rationals these theories coincide with the classical cyclic and Hochschild homologies.Primary: 19D06, 19D55; Secondary: 18D50, 18G55, 55P60, 55U35Received March 2003     

From Leibniz Homology to Cyclic Homology

For an algebra R over a commutative ring k, a natural homomorphism _*: HL_*+1(R) HH_* (R) from Leibniz to Hochschild homology is constructed that is induced by an antisymmetrization map on the chain level. The map _* is surjective when R = gl(A), A an algebra over a characteristic zero field. If f: A B is an algebra homomorophism, the relative groups HL_* (gl(f)) are studied, where gl(f): gl(A) gl(B) is the induced map on matrices. Letting HC_* denote cyclic homology, if f is surjective with nilpotent kernel, there is a natural surjection HL_*+1(gl(f)) HC_* (f) in the characteristic zero setting.     

A Note on K-Theory of Azumaya Algebras

For an Azumaya algebra A which is free over its centre R, we prove that K-theory of A is isomorphic to K-theory of R up to its rank torsions. We conclude that K _i (A, ?/m) = K _i (R, ?/m) for any m relatively prime to the rank and i ≥ 0. This covers, for example, K-theory of division algebras, K-theory of Azumaya algebras over semilocal rings, and K-theory of graded central simple algebras indexed by a totally ordered abelian group.     

Functorial Properties of Star Operations

We define a universal star operation to be an assignment *: A ? * _A of a star operation * _A on A to every integral domain A. Prime examples of universal star operations include the divisorial closure star operation v, the t-closure star operation t, and the star operation w = F _∞ of Hedstrom and Houston. For any universal star operation *, we say that an extension B ? A of integral domains is *-ideal class linked if there is a group homomorphism Cl_{* A} (A) → Cl_{* B} (B) of star class groups induced by the map I ? (IB)^{* _B} on the set of * _A -ideals I of A. We study several natural subclasses of the class of *-ideal class linked extensions.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

On the First Galois Cohomology Group of the Algebraic Group SL1(D)

Let A be a central simple algebra over a field F. Denote the reduced norm of A over F by Nrd: A* → F* and its kernel by SL₁(A). For a field extension K of F, we study the first Galois Cohomology group H ¹(K,SL₁(A)) by two methods, valuation theory for division algebras and K-theory. We shall show that this group fails to be stable under purely transcendental extension and formal Laurent series.     

Localization of Monoid Objects and Hochschild Homology

Let A be a (not necessarily commutative) monoid object in an abelian symmetric monoidal category (C, ?,1) satisfying certain conditions. In this paper, we continue our study of the localization M _S of any A-module M with respect to a subset S ? Hom _A?Bimod (A, A) that is closed under composition. In particular, we prove the following theorem: if P is an A-bimodule such that P is symmetric as a bimodule over the center Z(A) of A, we have isomorphisms HH _*(A, P) _S  ? HH _*(A, P _S ) ? HH _*(A _S , P _S ) of Hochschild homology groups.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

Characterizations of *-Cancellation Ideals of an Integral Domain

Let D be an integral domain and * a star-operation on D. For a nonzero ideal I of D, let I ^{* _f} = ?{J* | (0) ≠ J ? I is finitely generated} and I ^{* _w} = ? _{P∈* f -Max(D)} ID _P . A nonzero ideal I of D is called a *-cancellation ideal if (IA)* = (IB)* for nonzero ideals A and B of D implies A* =B*. Let X be an indeterminate over D and N _* = {f ∈ D[X] | (c(f))* =D}. We show that I is a * _w -cancellation ideal if and only if I is * _f -locally principal, if and only if ID[X] _{N *} is a cancellation ideal. As a corollary, we have that each nonzero ideal of D is a * _w -cancellation ideal if and only if D _P is a principal ideal domain for all P ∈ * _f -Max(D), if and only if D[X] _{N *} is an almost Dedekind domain. We also show that if I is a * _w -cancellation ideal of D, then I ^{* _w}  = I ^{* _f}  = I _t , and I is * _w -invertible if and only if I ^{* _w}  = J _v for a nonzero finitely generated ideal J of D.     

Left Annihilators of Commutators with Derivation on Right Ideals

Abstract

Let R be a prime ring of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, a ∈ R, S ₄(x ₁,…, x ₄) the standard polynomial in 4 variables. Suppose that, for any x, y ∈ I, a[d([x, y]), [x, y]] = 0. If S ₄(I, I, I, I)I ≠ 0, then aI = ad(I) = 0.     

On Smash Products Of Hopf Algebras

Let H = X? _R A denote an R-smash product of the two bialgebras X and A. We prove that (X,A) is a pair of matched bialgebras, if the R-smash product H has a braiding structure. When X is an associative algebra and A is a Hopf algebra, we investigate the global dimension and the weak dimension of the smash product H = X? _R A and show that lD(H) ≤ rD(A) + lD(X) and wD(H) ≤ wD(A) + wD(X). As an application, we get lD(H ₄) = ∞ for Sweedler's four dimensional Hopf algebra H ₄. We also study the associativity of smash products and the relations between smash products and factorization for algebras.     

Zero-Divisor Graph with Respect to an Ideal

ABSTRACT

Let R be a commutative ring with nonzero identity and let I be an ideal of R. The zero-divisor graph of R with respect to I, denoted by Γ _I (R), is the graph whose vertices are the set {x ? R\I | xy ? I for some y ? R\I} with distinct vertices x and y adjacent if and only if xy ? I. In the case I = 0, Γ₀(R), denoted by Γ(R), is the zero-divisor graph which has well known results in the literature. In this article we explore the relationship between Γ _I (R) ? Γ _J (S) and Γ(R/I) ? Γ(S/J). We also discuss when Γ _I (R) is bipartite. Finally we give some results on the subgraphs and the parameters of Γ _I (R).     

Hochschild Cohomology of Quiver Algebras Defined by Two Cycles and a Quantum-Like Relation

We consider quiver algebras A _q over a field k defined by two cycles and a quantum-like relation depending on a nonzero element q in k, and describe the minimal projective bimodule resolution of A _q . In particular, in the case q = 1, we determine the Hochschild cohomology ring of A ₁ and show that it is a finitely generated k-algebra. Moreover the Hochschild cohomology ring of A ₁ modulo nilpotence is isomorphic to the polynomial ring of two variables.     

Radicals of Skew Polynomial and Skew Laurent Polynomial Rings Over Skew Armendariz Rings

In this note we study radicals of skew polynomial ring R[x; α] and skew Laurent polynomial ring R[x, x ^?1; α], for a skew-Armendariz ring R. In particular, among the other results, we show that for an skew-Armendariz ring R, J(R[x; α]) = N ₀(R[x; α]) = Ni?_*(R)[x; α] and J(R[x, x ^?1; α]) = N ₀(R[x, x ^?1; α]) = Ni?_*(R)[x, x ^?1; α].     

Ideal amenability of Banach algebras on locally compact groups

In this paper we study the ideal amenability of Banach algebras. LetA be a Banach algebra and letI be a closed two-sided ideal inA, A isI-weakly amenable ifH ¹(A,I ^*) = {0}. Further,A is ideally amenable ifA isI-weakly amenable for every closed two-sided idealI inA. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenability of Banach algebras on locally compact groups.     

Properties of the Fiber Cone of Ideals in Local Rings

Abstract

For an ideal I of a Noetherian local ring (R, m ) we consider properties of I and its powers as reflected in the fiber cone F(I) of I. In particular,we examine behavior of the fiber cone under homomorphic image R → R/J = R′ as related to analytic spread and generators for the kernel of the induced map on fiber cones ψ _J  : F _R (I) → F _R′(IR′). We consider the structure of fiber cones F(I) for which ker ψ _J  ≠ 0 for each nonzero ideal J of R. If dim F(I) = d > 0,μ(I) = d + 1 and there exists a minimal reduction J of I generated by a regular sequence,we prove that if grade(G ₊(I)) ≥ d ? 1,then F(I) is Cohen-Macaulay and thus a hypersurface.     

On the Dot Product Graph of a Commutative Ring

Let A be a commutative ring with nonzero identity, 1 ≤ n < ∞ be an integer, and R = A × A × … ×A (n times). The total dot product graph of R is the (undirected) graph TD(R) with vertices R* = R?{(0, 0,…, 0)}, and two distinct vertices x and y are adjacent if and only if x·y = 0 ∈ A (where x·y denote the normal dot product of x and y). Let Z(R) denote the set of all zero-divisors of R. Then the zero-divisor dot product graph of R is the induced subgraph ZD(R) of TD(R) with vertices Z(R)* = Z(R)?{(0, 0,…, 0)}. It follows that each edge (path) of the classical zero-divisor graph Γ(R) is an edge (path) of ZD(R). We observe that if n = 1, then TD(R) is a disconnected graph and ZD(R) is identical to the well-known zero-divisor graph of R in the sense of Beck–Anderson–Livingston, and hence it is connected. In this paper, we study both graphs TD(R) and ZD(R). For a commutative ring A and n ≥ 3, we show that TD(R) (ZD(R)) is connected with diameter two (at most three) and with girth three. Among other things, for n ≥ 2, we show that ZD(R) is identical to the zero-divisor graph of R if and only if either n = 2 and A is an integral domain or R is ring-isomorphic to ?₂ × ?₂ × ?₂.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.