Noncommutative geometry is a study of noncomutative algebras from geometrical point of view. The motivation of this approach is Gelfand representation theorem, which shows that every commutative C*-algebra is *-isomorphic to the space of continuous functions on some locally compact Hausdorff space.

learn more… | top users | synonyms

0
votes
0answers
18 views

relationships of topological and C* concepts in noncommutative topology

According to wikipedia, noncommutative topology is " a term used for the relationship between topological and C*-algebraic concepts". Can somebody expand on this, give examples/theorems/results and ...
1
vote
0answers
23 views

Maps inducing identity in Hochschild and cyclic theories

Let $A$ be a unital algebra over $\mathbb{C}$, $M$ be an $A$ bimodule, $C^n(A,M)$ be a space off all $n$-linear maps $f:A^{n} \to M$ (to be called $n$ cochains) and define $b:C^n(A,M) \to C^{n+1}(A,M)$...
1
vote
0answers
31 views

Hochschild homology of a smooth manifold : sheaf?

It can be shown that the Hochschild cohomology of the algebra of smooth function on $X$ is naturally isomorphic to the sheaf of deRham current. But is it possible to see from the very definition of ...
6
votes
1answer
86 views

Most natural equivalence between $C^*$-algebras

I have listen or read that, in the context of noncommutative geometry, Morita equivalence is a more natural equivalence for $C^*$-algebras than $*$-isomorphism. Can someone explain this sentence or ...
1
vote
1answer
102 views

Classification of vector bundles over the torus

In M. Rieffel's paper "The Cancellation Theorem for projective modules over irrational rotation $C^*$-algebras", he classifies finitely generated projective modules over the $C^*$-algebra $C(\mathbb{T}...
0
votes
1answer
18 views

grading of quantum plan

I can not understand a paragraph of this book: Quantum Groups by Christian Kassel page . the first paragraph of page 73. which say that: in quantum plan $k[x,y]/yx-qxy$ When q is not 1, the algebra $...
2
votes
0answers
52 views

Learning noncommutative algebraic geometry

What are the prerequisites (I.e. Which textbooks/reference) and what's the recommended route at learning noncommutative algebraic geometry?
4
votes
0answers
99 views

A nilpotent element of an algebra which does not lie in the span of commutator elements.

What is an example of a $C^{*}$ algebra such that the span of nilpotent elements is not a sub vector space of the span of commutator elements. Obviously any such $C^{*}$ algebra would be a ...
6
votes
1answer
117 views

K theory of finite dimenional Banach algebras

Is there a reference which studied the K theory of finite dimensional Banach algebras? In particular is there a finite dimensional Banach algebra whose $K_{0}$-group is a non trivial finite group?(I ...
4
votes
0answers
44 views

Projective Resolution of $C^{\infty}(V)$ by Connes

In his article Noncommutative differential geometry (Inst. Hautes Études Sci. Publ. Math. No. 62 (1985), 257–360) A. Connes gives in Lemma 44 (p. 343f) a projective topological resolution of the ...
2
votes
1answer
57 views

Questions about the C* subalgebra $h(\Gamma)$ of $l^{\infty}(\Gamma)$

Given $(\Gamma,d)$ a metric space that is discrete. We know that $l^{\infty}(\Gamma)$ is a commutative $C^*$ algebra that is isometrically isomorphic to $C(\beta\Gamma)$. Let $h(\Gamma)$ be a subset ...
0
votes
0answers
23 views

Notation $A_q^{2|0}$ and $A_q^{0|2}$ in Manin's book.

In Manin's book: quantum groups and non-commutative geometry, there are two notations $A_q^{2|0}$ and $A_q^{0|2}$. Here $$ A_q^{2|0} = k<x,y>/(xy-q^{-1}yx), \\ A_q^{0|2} = k<\xi,\eta>/(\xi^...
1
vote
0answers
28 views

Existence of free operators, independent and with given distributions

I am trying to learn free probability from scratch, mostly by myself. I am trying to prove the following result. If $\mu$ and $\nu$ are compactly supported probability measures, then there ...
8
votes
2answers
130 views

What, and how can, topological invariants can be computed from a space's algebra of functions?

The Gelfrand duality says that the category of locally compact Hausdorff spaces (with proper continuous functions) is equivalent to the category of commutative $C^*$ algebras (with proper $*$-...
0
votes
1answer
92 views

3d parametric spiral to 3D goldean mean spiral

I know I can create a 3d parametric spiral with the formula below but How can I do the same thing with goldean spiral? I looked at https://en.wikipedia.org/wiki/Golden_spiral but I don't see how to ...
2
votes
1answer
105 views

Is there a $C^{*}$ algebra with these properties

Is there a unital C* algebra A which is NOT simple but satisfies the following two conditions: 1)A has trivial center 2)A has a faithful trace such that every zero trace element lies in the closure ...
4
votes
2answers
173 views

What is the most general notion of “Fourier transform?”

I know the definition of a classical Fourier transform that maps a function f(x) on the real line X to a function F(p) on a dual space (here another real line and borrowing some physics notation) P. ...
1
vote
1answer
62 views

Noncommutative torus with $\theta = 0$.

According to Wikipedia, one can construct noncommutative tori as follows: Letting $\theta \in \mathbb{R}$ be a parameter, consider the hilbert space $H = L^2(\mathbb{T})$, where $\mathbb{T}$ is the 1-...
4
votes
0answers
133 views

Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes

Question I am working on $C^*$-algebras and I've been given Alain Connes's book Noncommutative Geometry. I am having troubles with understanding the examples on pages 91-93 (86-88 in the printed ...
3
votes
0answers
91 views

Noncommutative manifold: Spectral triples on noncommutative quotients

I'm interested in taking the noncommutative quotient of a manifold, and endowing it with a kind of noncommutative smooth structure. More formally I'm interested in the question: is there a canonical ...
2
votes
0answers
37 views

Question about Noncommutative quotients

I want to understand noncommutative quotients. Now the book Basic Noncommutative Geometry by M. Khalkhali gives two different constructions of the noncommutative quotient and claims they are ...
1
vote
0answers
34 views

How are $C(S^1)$ and the crossed product algebra $C(\mathbb{R})\ltimes \mathbb{Z}$ Morita equivalent?

In Connes' Noncommutative geometry one construct "noncommutative quotients" by taking certain crossproduct algebra's. Given a group $G$ acting on a set $X$ through an action $\alpha$ we can form the ...
5
votes
0answers
257 views

Good starting point for learning noncommutative geometry?

Currently, I am attempting to learn noncommutative geometry. My interests mostly lie on the boundaries of pure mathematics and theoretical physics, so I am not only interested in the mathematical ...
2
votes
1answer
48 views

Algebra of matrix valued functions on the sphere

I was watching a video of a lecture by Alain Connes, and at around 8:00 he very briefly mentions a way to think about the algebra of 2x2 matrix functions over the 2-sphere, i.e. the maps from $S^2 \...
3
votes
1answer
181 views

Reference for proof of Hochschild-Kostant-Rosenberg for Hochschild cohomology

Is there a place where there is a full proof of the Hochschild-Kostant-Rosenberg Theorem for Hochschild cohomology? I am aware of many places where the result is proven for Hochschild homology i.e. ...
6
votes
0answers
86 views

NCG with all noncommutativity in a nilpotent ideal

While in general non-commutative geometry behaves rather differently from commutative geometry when it comes to local-to-global properties (descent), there are versions of "mild" noncommutative ...
0
votes
2answers
166 views

pullback of global sections with respect to an automorphism of schemes

Let $X$ be a projective scheme and $\sigma:X\to X$ an automorphism of $X$. Is there a natural pullback of global sections map $H^0(X,\mathcal{F}) \to H^0(X,\sigma^*\mathcal{F})$ for $\mathcal{O}_X$-...
9
votes
1answer
211 views

There is only one interesting measure space

On page 52 of Noncommutative Geometry (available here: http://www.alainconnes.org/docs/book94bigpdf.pdf), Alain Connes states, "This wealth of transformations of a measure space $X$ is bound up in ...
2
votes
0answers
46 views

Noncommutative version of Littlewood's First Principle

There are definitely noncommutative analogues for Lusin's theorem and Egoroff's theorem (found in Blackadar for example). I'm curious if there is a version of the first principle: Every Lebesgue ...
1
vote
0answers
109 views

Von Neumann and Hausdorff continuous dimensions are related?

Von Neumann in his book Continuous Geometry introduced (in a suitable lattice) a dimension function that has a continuous range. The definition of a dimension function is axiomatic: see Continuous ...
3
votes
1answer
49 views

Boundedness Spectral Triple Axioms for de Rham Complex

In Connes' axioms for a spectral triple $(A,H,D)$, they have a representation of an algebra $A$ in bounded operators on a Hilbert space $H$, and (unbounded) operator $D$, such that $[D,a]$ is bounded. ...
5
votes
1answer
152 views

Construction of noncommutative torus

In short, how do we get the formula for the NC torus? I find the equations in many places (including here) but I still have no idea for how this comes from the torus. If my understanding is correct, ...
1
vote
0answers
50 views

Example of a regular element with a commutative quotient

Whats an example of ring $A$ which is not commutative and contains an element $x\in Z(A)$ such that the left multiplication by $x$ is an injection and $x$ is not a unit and $A/(x)$ is commutative?
2
votes
1answer
80 views

Example of a regular element in noncommutative rings

Whats an example of ring $A$ which is not commutative and contains an element $x\in Z(A)$ such that the left multiplication by $x$ is an injection and $x$ is not a unit?
2
votes
0answers
51 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
62 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 ...
2
votes
1answer
85 views

Isn't the center of a von Neumann algebra on a separable Hilbert space a hyperfinite von Neumann subalgebra?

this is a very quick, probably dumb, question, I was reading this chapter from "Hochschild cohomology of von Neumann algebras" by Allan Sinclair and Roger M. Smith and I came across this theorem on ...
2
votes
2answers
102 views

Roe algebra of a countably infinite set of points

First let me state some definitions. Let $X$ be a second countable, proper metric space. Let $H$ be a separable Hilbert space equipped with a nondegenerate $*$-representation $C_{0}(X)\rightarrow B(H)...
1
vote
1answer
89 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
77 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 ...
0
votes
1answer
48 views

Tor of submodule

Let $R$ be a $CRing$. If $i:A \rightarrow B$ is the inclusion of a $R$-subalgebra A into an $R$-algebra $B$, then what is ther relationship between: $Tor_{A^e}$ and $Tor_{B^e}$?
2
votes
0answers
49 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 ...
1
vote
1answer
489 views

Obtaining rotation matrix from Euler angles if all three rotations happen at once. Does order of multiplication matter?

I'm having a problem getting my head around Euler Angles. Specifically if I wish to obtain a rotation matrix for a system where pitch, roll and yaw have all changed at once by various values... how ...
1
vote
0answers
46 views

Strong and weak equivalence of $C^*$-extensions by compacts

Let $A$ be a $C^*$-algebra. An extension of $A$ by the compact operators $K$ is an embedding $\epsilon$ of $A$ into the Calkin algebra $B(H)/K$. Two embeddings $\epsilon_1$ and $\epsilon_2$ are ...
6
votes
1answer
120 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
38 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 $\Omega_{...
3
votes
1answer
234 views

Is there a discrete version of non-commutative geometry (yet)?

I wonder if mathematicians have developed a discrete version of non-commutative geometry, a bit like graphs, simplicial complexes etc may be seen as a discrete version of (Riemannian) geometry (of ...
3
votes
0answers
24 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 ...
2
votes
0answers
43 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).
3
votes
1answer
354 views

Learning roadmap for Non-commutative Geometry [closed]

I am interested in learning Non-commutative geometry and K-theory of operator algebras. Please suggest a learning roadmap for this subject. My present knowledge of Measure theory & Functional ...