Questions tagged [noncommutative-geometry]
Noncommutative geometry in the sense of Connes and beyond: noncommutative algebras viewed as functions on a noncommutative space.
475 questions
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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 &...
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 ...
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 ...
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 ...
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?
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(...
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 ...
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 ...
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 ...
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^*_{\...
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)\...
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 ...
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 ...
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 ...
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)|...
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 ...
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\...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 (...
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,...
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 ...
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 ...
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 ...
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 $...
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 ...
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 \...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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)$...
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 ...
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 ...
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)...
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 ...
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(...