Skip to main content

Questions tagged [noncommutative-geometry]

Noncommutative geometry in the sense of Connes and beyond: noncommutative algebras viewed as functions on a noncommutative space.

Filter by
Sorted by
Tagged with
9 votes
0 answers
361 views

Bernoulli-like polynomials

Let $\psi_0 (x,t)=\frac{te^{xt}}{1-e^{-t}}$. Then $$\psi_0(0,t)=\frac{t}{1-e^{-t}};$$ $$\psi_0(x,t)=1+\sum_{n=1}^\infty \frac{t^n}{n!} B_n(x)$$ where $B_n$ is a monic polynomial of degree $n.$ Now ...
Boris Tsygan's user avatar
9 votes
0 answers
364 views

Geometric motivation behind the Fredholm module definition

If $A$ is an involutive algebra over the complex numbers $\mathbb{C}$, then a Fredholm module over $A$ consists of an involutive representation of $A$ on a Hilbert space $H$, together with a self-...
Max Schattman's user avatar
9 votes
0 answers
268 views

Existence/characterization/properties of $C^*$-algebras which "are" quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...
Alexander Chervov's user avatar
9 votes
0 answers
425 views

Non-commutative Formal Group Laws

Does anyone know of a good, complete reference for non-commutative formal group laws (i.e. construction of a "Lazard ring," discussion of non-commutative formal groups, perhaps some discussion of ...
Jonathan Beardsley's user avatar
9 votes
0 answers
397 views

Does the algebra of bounded variation functions have a "noncommutative geometric" meaning and generalization?

According to Gelfand-Naimark theory, $C^*$-algebras of continuous functions $\mathcal{C}^0(X,\mathbb{C})$ on a compact Hausdorff topological space completely capture its topology. Furthermore, every ...
Qfwfq's user avatar
  • 23.3k
8 votes
1 answer
539 views

Vanishing of Hochschild homology of a category

Let $A$ be a dg- or $A_{\infty}$-category (with $\mathbb{Z}$-graded Hom sets, over a field of characteristic $0$). Let $HH_*(A)$ be the Hochschild homology of $A$. Suppose that $HH_n(A)=0$ for all $n ...
user142700's user avatar
8 votes
3 answers
1k views

Is there an analogue Beilinson-Bernstein localization for quantized enveloping algebra

I am completely a beginner in this field. I wonder know whether there is appropriate notion for quantum flag variety of finite dimensional Lie algebra. If so, what is the correspondent notion for &...
Peter Lee 's user avatar
8 votes
2 answers
496 views

tangent bundle on noncommutative manifold

Using the Serre-Swan's theorem, one can do vector bundle theory on noncommutative manifold $(A,H,D)$, by replacing vector bundle by finitely generated projectve module $M$. For the construction of ...
Ken.Wong's user avatar
  • 523
8 votes
3 answers
1k views

Gelfand duality in NCG

In non-commutative geometry, Gelfand duality is the construction of multiplicative linear functionals of a commutative C*-algebra, which can be viewed as the space of all its irreducible complex ...
Roger Liu's user avatar
8 votes
1 answer
483 views

Eigenvalues of the free sphere

Consider the usual sphere $S^{n-1}\subset\mathbb R^n$. By Stone-Weierstrass $C(S^{n-1})$ is generated by the standard coordinates $x_1,\ldots,x_n:\mathbb R^n\to\mathbb R$, and in fact we have the ...
Richard's user avatar
  • 1,363
8 votes
1 answer
1k views

Why is it called *spectral* triple?

I know the definition a spectral triple and that it is some kind of non-commutative generalisation of (the ring of functions on) a compact spin manifold. But, why is it called spectral triple?
Rasmus's user avatar
  • 3,174
8 votes
1 answer
601 views

Isomorphism in cyclic cohomology vs isomorphism in Hochschild cohomology

Let $A$ be a unital algebra over a field $K$, $C^n(A)$ a space of all $n+1$ linear maps into scalar field $k$ (I'm interested in case $k=\mathbb{C}$) and $$(bf)(a_0,...,a_{n+1})=\sum_{i=0}^n(-1)^if(...
truebaran's user avatar
  • 9,330
8 votes
3 answers
2k views

Definition of a von Neumann algebra

Is there a way to equip every C*-algebra A with a functorial topology such that the canonical map A→A** is an isomorphism if and only if A is a von Neumann algebra? Here A** denotes the dual of A* in ...
Dmitri Pavlov's user avatar
8 votes
2 answers
836 views

Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...
SiOn's user avatar
  • 493
8 votes
2 answers
208 views

Generalisation of the equivalence between $C^*(H)$ and $C_0(G/H) \rtimes G$; induction of group actions on C*-algebras

There is a well known Morita equivalence between the group C*-algebra $C^*(H)$ and $C_0(G/H) \rtimes G$, where $H$ is a subgroup of $G$. The corresponding equivalence of representations is an ...
Motmot's user avatar
  • 293
8 votes
1 answer
740 views

A question regarding Kadison-Kaplansky idempotent conjecture (A nearest group element $g$ to a nontrivial self adjoint unitary element u )

Edit: According to answer and comments by Prof. Valette we edite the question. The Kadison Kaplansky conjecture says: Kadison-Kaplansky conjecture: If $G$ is a torsion-free discrete group then $C^*_{\...
Ali Taghavi's user avatar
8 votes
1 answer
374 views

Do we have a "topological assembly map" in the Baum-Connes conjecture?

In the equivariant Atiyah-Singer index theorem, when $G$ is a compact group acting on a manifold $M$ and $R(G)$ is the representation ring of $G$. We have the analytic index $$ \text{a-ind}: K^*_G(TM)\...
Zhaoting Wei's user avatar
  • 9,019
8 votes
1 answer
2k views

Why is the Tangent Groupoid useful in non-commutative geometry?

Let $M$ be a smooth manifold. The classical construction is the tangent bundle $TM$. What does the tangent groupoid $GM$ give me that this construction doesn't, and why is it useful in non-commutative ...
Mozibur Ullah's user avatar
8 votes
1 answer
571 views

Comparing the definitions of $K$-theory and $K$-homology for $C^*$-algebras

In Higson and Roe's Analytic K-homology, for a unital $C*$-algebra $A$, the definitions of K-theory and K-homology have quite a similar flavor. Roughly, the group $K_0(A)$ is given by the ...
Dave Shulman's user avatar
8 votes
1 answer
1k views

Derived noncommutative geometry includes derived, or spectral algebraic geometry?

Let $k$ be a commutative ring. In derived noncommutative (algebraic) geometry a "noncommutative space over $k$" is a $k$-linear $\mathrm{DG}$-category. This is motivated by the fact that homological ...
Doelt_k's user avatar
  • 439
8 votes
1 answer
734 views

Formula for the distance in noncommutative geometry

Probably the most famous formula in noncommutative geometry is the following formula allowing one to compute distance of two points using the operator theoretic data: $$(1) \ \ d(p,q)=\sup\{|f(p)-f(q)|...
truebaran's user avatar
  • 9,330
8 votes
2 answers
708 views

Quantum Grassmannians?

In noncommutative algebraic geometry a commonly studied family of objects are quantum projective spaces. Theses are certain deformations of the homogeneous coordinate ring of $\mathbb{CP}^n$. For ...
Lars Pettersen's user avatar
8 votes
1 answer
222 views

Hopf Galois extensions and conditional expectations for C* algebras

Suppose that $H$ is a Hopf algebra with normalised invariant integral (appropriate side) $\int:H\to \mathbb{C}$. The $H$ right comodule algebra $P$ is a Hopf Galois extension, so the canonical map $P\...
Edwin Beggs's user avatar
  • 1,143
8 votes
1 answer
277 views

Noncommutative Fredholm operators

Let $A$ be a unital $C^*$-algebra and $F:H_A\rightarrow H_A$ a Fredholm operator on the standard Hilbert $A$-module $H_A:=l^2(A)$. Is it true that $\mbox{ker}(F)$ and $\mbox{coker}(F)$ are finitely ...
ernest's user avatar
  • 99
8 votes
1 answer
422 views

K theory for pre $C^*$-algebras

In noncommutative geometry when one want to go to the differentiable level, one is forced to work with algebras which are no longer $C^*$. It is nice if we don't loose much information by the ...
truebaran's user avatar
  • 9,330
8 votes
1 answer
372 views

Are the Drinfeld compact quantum groups simply connected ?

To fix notations : let G be simply connected simple compact group, and $U_q(\mathcal{G})$ the Drinfeld-Jimbo universal algebra quantization of its complexified algebra defined as usual, with q not ...
Amin's user avatar
  • 399
8 votes
0 answers
484 views

Analytification of DG-categories over $\mathbb C$?

In recent notes of complex geometry by Clausen–Scholze, they gave a theory of analytification of finite type $\mathbb C$-schemes. It seems to me that there is a non-commutative analogue which works ...
Z. M's user avatar
  • 2,806
8 votes
0 answers
220 views

Regularilty of Commutative Spectral Triples

In Connes' approach to non-commutative geometry, the notion of a spectral triple is said to generalize compact Riemannian manifolds to the non-commutative setting. Motivating classical examples ...
Noel Brown's user avatar
8 votes
0 answers
356 views

Noncommutative geometry and line length

I would like to understand, in some formal sense, the relation between the Dirac operator and the line length introduced by Connes in noncommutative geometry. If $D$ is the Dirac operator, he sets $ds ...
Jon's user avatar
  • 1,687
8 votes
0 answers
529 views

2 questions on the groupoid algebra

Dear All: I would like some refs and/or thoughts on the following two related questions: 1) If I am not mistaken, there is a " Groupoid Convolution Algebra" (GCA) contravariant functor from the ...
Mirco A. Mannucci's user avatar
8 votes
0 answers
339 views

Canonical Time Evolution for Type $II_{1}$-Factors?

This question was spurred by the answer of Steve Huntsman to the MO question here. The Tomita-Takesaki modular automorphism group gives rise to a canonical time evolution on a type $III$ factor (...
Jon Bannon's user avatar
  • 7,057
7 votes
4 answers
1k views

Compact Quantum Groups from Hopf Algebras

For a compact quantum group $C_q[G]$, it was shown by Woronowicz that $C_q[G]$ contains a dense Hopf algebra generalising the algebra of representations of $G$. I am interested in the other way around,...
John McCarthy's user avatar
7 votes
3 answers
676 views

Noncommutative torus as a von Neumann algebra

Le $\theta$ be irrational. One can define the noncommutative torus $A_{\theta}$ as a universal algebra generated by two unitaries $u,v$ satisfying the relation $vu=e^{2 \pi i \theta} uv$. This is an ...
truebaran's user avatar
  • 9,330
7 votes
2 answers
1k views

Did Durov's work give an example of noncommutative schemes?

I just took a look at the nlab entry: Nikolai Durov. It seems that Skoda never mentioned that what Durov introduced was a special case of generalized scheme theory. I did not read his dissertation ...
Shizhuo Zhang's user avatar
7 votes
2 answers
1k views

Is there a notion of point in noncommutative geometry?

It is not clear to me whether there is a general notion of point in NCG. I have heard (more through physics) that the notion of a point becomes meaningless or ill-defined in noncommutative spaces, but ...
Esmond's user avatar
  • 136
7 votes
1 answer
219 views

$*$-algebras, completions, and $K$-theory

What is an example of a $*$-algebra $\cal{A}$, which admits two non-equivalent norms $\| \cdot \|_1$ and $\| \cdot \|_2$, with respect to which we can complete $\cal{A}$ to give two $C^*$-algebras $...
Max Schattman's user avatar
7 votes
1 answer
263 views

Most natural equivalence between $C^*$-algebras in NCG

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 ...
Melquíades Ochoa's user avatar
7 votes
2 answers
742 views

$H^{*}$ algebras as a generalization of $C^{*}$ algebras

Let $H$ be the quaternions algebra. An $H^{*}$ algebra is a normed ring $A$ which is simultaneously a unital left $H$ module and has an involution $*$ with the following properties: $\forall \lambda \...
Ali Taghavi's user avatar
7 votes
1 answer
541 views

preliminary reading recommendation before embarking on Connes non commutative geometry book?

I want to try to understand non commutative geometry by reading Connes's book ..and I am discovering it is a hard book to read :-) as I miss a lot of background specially in operator algebra and ...
JeffInVermont's user avatar
7 votes
1 answer
391 views

Can a finite von Neumann algebra be strongly morita equivalent to a properly infinite von neumann algebra?

Can a finite (by finite I mean when the projection $1$ is finite) von Neumann algebra be strongly morita equivalent to a properly infinite von Neumann algebra? (Strong morita equivalence is the same ...
Louis A's user avatar
  • 360
7 votes
2 answers
922 views

What is the geometric meaning of reconstruction of quantum group via Ringel Hall algebra

If I remembered correctly. There are some work done by C.M.Ringel,he defined so called Ringel-Hall algebra on abelian category and then show that Ringel-hall algebra is isomorphic to positive part of ...
Shizhuo Zhang's user avatar
7 votes
2 answers
521 views

Kazhdan constant and finite index subgroups

I am wondering if there is some general relation between Kazhdan constants of a group and it finite index subgroups? Let $G$ be a finitely generated group with a generating set $\Sigma$ that ...
duh's user avatar
  • 165
7 votes
1 answer
412 views

Morita equivalence for operator algebras and tensor products, question about proof

This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...
Samuel M's user avatar
  • 335
7 votes
1 answer
499 views

Localization of symmetric monoidal categories and geometry

I have a series of vague questions, related to localization of symmetric monoidal categories. Here is the context. Say we are working over a field of characteristic zero. Then the "one category ...
Dmitry Vaintrob's user avatar
7 votes
1 answer
751 views

Is there a good differential calculus for quantum SU(3)?

For quantum $\operatorname{SU}(2)$, Woronowicz gave a well differential calculus. If we denote the generators of quantum $\operatorname{SU}(2)$ by $a$, $b$, $c$, $d$, then the ideal of $\ker(\epsilon)$...
Abtan Massini's user avatar
7 votes
1 answer
272 views

Simple $C^*$ algebras with invariant subspace property

Edit: According to the valuable comment of Yemon Choi I revise the question by replacing "faithful" with "irreducible". We say that a $C^*$ algebra $A$ satisfies the invariant subspace ...
Ali Taghavi's user avatar
7 votes
1 answer
611 views

Extension of the formality theorem?

The following question came up in a discussion the other day and I have been wondering whether something is known about it. Everything below takes place over $\mathbb{C}$. I don't have the expertise ...
Daniel Pomerleano's user avatar
7 votes
1 answer
270 views

Connes' correspondences of two $L^\infty$-algebras

In his "Noncommutative Geometry" book Connes asserts (on p. 539) that for two standard probability spaces $(X,\mu_X)$, $(Y,\nu_Y)$ an $N$-$M$-bimodule for $M=L^\infty(X,\mu_X)$ and $N=L^\infty(Y,\mu_Y)...
Danila Zaev's user avatar
7 votes
0 answers
371 views

Bondal-Orlov' theorem for noncommutative projective schemes

My question is very simple. Is Bondal-Orlov's theorem known for noncommutative projective schemes in the sense of Artin and Zhang? The commutative version is the following : Let $X, Y$ be smooth ...
YkMz's user avatar
  • 889
7 votes
0 answers
291 views

Lie algebra cohomology of the space of vector fields

For a (closed and oriented) manifold $M$, the first Lie algebra cohomology $H^1(\mathrm{Vect}(M),C^\infty(M))$ of the space of vector fields with coefficients in smooth functions is isomorphic to $H^1(...
Qwert Otto's user avatar

1 2
3
4 5
10