2
votes
0answers
31 views

Hochschild cohomology of skew polynomial rings

Definition The skew polynomial algebra over $\mathbb{C}$ is defined as $\mathbb{C}\langle x,y\rangle/(xy-yx+x)$ or alternatively as $\mathbb{C}[x,y,\sigma]$, where $\sigma$ is the automorphism on ...
0
votes
0answers
48 views

Global dimension of translation algebra

What is the Hochschild cohomological dimension of the "translation algebra": $\mathbb{C}\langle x,y\rangle/(xy-yx-x)$? I expect it to be $2$, but I haven;t found a serious argument as to why this ...
1
vote
1answer
57 views

The first Weyl algebra is Calabi-Yau

Why is the Weyl algebra $A_1(k)$ over a field $k$ Calabi-Yau? (My definition of Calabi-Yau is Ginzburg's)
1
vote
1answer
46 views

Example of excision in Hochschild homology

The excision theorem for Hochschild homology introduced by Wodzicki seems like a very powerful tool (as scision was hyper-useful in topology). However, I cannot actually seem to think of a result ...
1
vote
0answers
32 views

Coproducts and Hochschild

I $\{X_i\}$ is a small family of associative $\mathbb{C}$-algebras and $X$ is their free product. Then I have two questions: 1) Why is $X$ their coproduct? 2) Is the Hochschild homology of X ...
5
votes
1answer
62 views

Monoidal categories and tensor products

Does the multiplication $-\square-$ biendofunctor in a Monoidal category, $\mathfrak{C}$ necessarily commute with coproducts? This is true in some familiar categories, such as $_RMod$, $Grp$ $CRings$ ...
2
votes
1answer
24 views

Smooth algebras and quasi-freeness

Let A be a unital associative algebra over a field k. Then A is smooth if and only if X:=Spec(A) is smooth. That is $\Omega_{X|Spec(k)}$ is locally-free. The later module is isomorphic to ...
3
votes
0answers
20 views

Reference for proof of homotopy invarance of Cyclic cohomolgy

I'm looking for a good reference for a proof of the homotopy invariance of cyclic (co)homology. I'm following a refernce book by Joachim Cuntz, the proofs are ommited therein, or only shown in the ...
0
votes
0answers
24 views

A question about C* probability spaces.

If I have $C(\Omega)$: the commutative C*-Algebra of all continuous random variables then the C*Algebra $C(\Omega)$ acts on the Hilbert space $L^2(\Omega)$ by left multiplication, and so we have the ...
2
votes
0answers
37 views

Do the cyclic or Hochschild homologies satisfy the addition axiom of Eilenberg Steenrod?

Do the cyclic or Hochschild homologies satisfy the addition axiom of ES? If so please provide a reference or proof (reference is preferable).
2
votes
1answer
150 views

Left-ratio and right-ratio in (not necessarily commutative) field

I am reading Birkhoff–Neumann (1936) about (not necessarily commutative) field $F$. The authors use terms right-ratio and left-ratio in section 13. Right-ratio is denoted as $[x_1, x_2, ... ...
4
votes
1answer
56 views

Describing the algebra of functions on $S^2$

Chapter 2 of the book "Elements of Noncommutative Geometry" claims that the $C^*$-algebra of functions on $S^2$ can be described as an algebra with 3 generators a,b,c all with norm 1, where $a,b$ are ...
3
votes
1answer
178 views

Localization of a non-commutative ring

Let $A$ be the non-commutative ring given by $$ A=\mathbb{C}\langle x,y,z \rangle /(xy=ayx,yz=bzy,zx=cxz) $$ for some $a,b,c\in \mathbb{C}$. What is the localization $A_{(x)}$ of A with respect to the ...
2
votes
1answer
117 views

Showing that the universal enveloping algebra of some $\mathfrak{g}$ is isomorphic to $\mathbb{C}[x_i,\partial/\partial x_i]$

The universal enveloping algebra $U(\mathfrak{g})$ of a Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ is defined to be $$ \dfrac{\mathbb{C}\oplus\mathfrak{g}\oplus ( \mathfrak{g}\otimes ...
11
votes
1answer
201 views

Does this notion of morphism of noncommutative rings appear in the ring theory literature?

Definition: Let $R, S$ be two rings. A classical morphism $\phi : R \to S$ is a function from elements of $R$ to elements of $S$ which restricts to a homomorphism (of rings, in the usual sense) on ...