# Questions tagged [noncommutative-geometry]

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

436
questions

-2
votes

1
answer

195
views

### Is the category of $Z^* $ algebra equivalent to the category of $C^*$ algebras

A $Z^*$ algebra is a $C^*$ algebra whose all positive elements are zero divisor.
They form a category with usual structures.
Question. Is this category equivalent to the category of $C^*$ algebras?
...

1
vote

0
answers

73
views

### Formula for the KK-theory groups $KK(A, C(S))$

I am studying $C^*$-algebras and their KK-theory. Let $A$ be a (unital if you wish) $C^*$-algebra and $S$ be a compact Hausdorff space. I am interested in computing the KK-theory groups $KK(A, C(S))$, ...

3
votes

0
answers

107
views

### What's the purpose of the operator $(\Delta^{-1}+\lambda)^{-1}$ in Tomita-Takesaki modular theory?

I was reading Tomita-Takesaki modular theory (from all the books, and articles), the goal is to relate a von Neumann algebra $\mathcal{A}$ with its commutant $\mathcal{A}'$ on a Hilbert space $\...

3
votes

0
answers

105
views

### Relationship between the Penrose groupoid algebra and the group algebra of the symmetry group of a Penrose tiling

Given a Penrose tiling, there are two C*-algebras associated with it: the $\mathcal{O}_\text{Penrose}$ algebra (Penrose groupoid algebra) and the group algebra of the symmetry group of the tiling, ...

4
votes

0
answers

123
views

### Questions about the $K$-theory of the algebraic standard Podleś sphere

Given $\theta \in \mathbb{R}$ irrational, the $K$-theory of the smooth noncommutative $2$-torus $C^\infty_\theta(\mathbb{T}^2)$ is well understood in relation to that of the corresponding $\mathrm{C}^\...

4
votes

0
answers

80
views

### Convolution algebra of a simplicial set

Consider a simplicial set $X^\bullet$ with face maps $d_i$ (assume the set is finite in each degree so there are no measure issues). Then given two functions $f,g:X^1\to \mathbb{C}$ one can form their ...

1
vote

0
answers

75
views

### A question on Stable rank 1

My apology in advance if my question is elementary
According to the initial definition of topological stable rank introduced by Marc Rieffel we have the following:
An algebra has tsr 1 if the space ...

10
votes

0
answers

634
views

### Noncommutative condensed sets

Ignoring set-theoretic problems, we can see condensed sets as sheaves of compact Hausdorff spaces. Using Gelfand Duality we obtain an equivalence of categories
\begin{align*} \mathrm{CHaus}^{\mathrm{...

3
votes

0
answers

139
views

### Hochschild homology of stable categories as topological chiral homology

Sorry for repost from Math Stack Exchange:
Let $\mathscr{C}_0$ be a small idempotent complete stable category tensored over some symmetric monoidal category $\mathcal{E}$.
Its Ind-completion $\mathscr{...

2
votes

0
answers

172
views

### The trigonometric $C^*$-algebra

The trigonometric $C^*$-algebra is the universal $C^*$-algebra generated by $\mathcal{G}=\{x,y,z\}$ subject to relations \begin{align}x^2=x=x^*, &\quad y^2=y=y^*\\ [x, z]=y, &\quad [y,z]=...

6
votes

1
answer

129
views

### Every element of a $W^*$-algebra is a linear combination of exponential unitaries?

I am trying to understand a proof in this paper (specifically theorem 5.4). In it, a fact is used that every element of the $W^*$-algebra $A$ is a linear combination of exponential unitaries.
I've ...

2
votes

0
answers

86
views

### The group of quasi unitary elements of a (simple) Banach algebra

For a Banach algebra $A$ with invertible group $G(A)$ we define the following group:
$$QG(A)=\{u\in G(A)\mid \;\text{the mapping}\; a\mapsto u^{-1} a u \;\text{is an isometry}\}$$
What is an ...

0
votes

0
answers

56
views

### Is it possible that resolvent of an unbounded self-adjoint operator affiliated to a semi-finite von Neumann algebra is unbounded?

Let $H$ be a self-adjoint operator affiliated to a semi-finite von Neumann algebra $\mathcal{M}$. Then $(H-iI)^{-1}\in\mathcal{M}$ ?

0
votes

0
answers

174
views

### Finding a unitary operator on L^{2}(\mathbb{R}^{2},dxdy)

I have a one parameter (r) family of self-adjoint representations of the universal enveloping algebra of some nilpotent Lie group on $L^{2}(\mathbb{R}^{2},dxdy)$ as follows:
$$\hat{X}^{r}=\hat{x}-i(r-...

2
votes

1
answer

184
views

### Another formula for the Schwinger term — problems with a calculation

$\DeclareMathOperator\Tr{Tr}$I have a problem with understanding the proof of Proposition 6.8 in the book ,,Elements of Noncommutative Geometry''. One can find the formulation of this proposition here ...

2
votes

0
answers

83
views

### Non-existence of idempotent via evaluation of higher order cocycle on a tuple of idempotents

The Kaplansky conjecture and Kaplanski-Kadison conjecture are classical conjectures about non existence of non-trivial idempotents in group algebra $\mathbb{C}\Gamma $ or the reduced group algebra $...

4
votes

1
answer

125
views

### A $C^*$ algebraic analogy of the concept of complemented subspace in the particular case of $\ell^\infty$

Let $A$ be a $C^*$ algebra. A $C^*$ subalgebra $C\subset A$ is said to be $C^*$ algebraic complemented of $A$ if there exist a $C^*$ subalgebra $D\subset A$ with $A=C\oplus D$ and the obvios mapping $...

2
votes

0
answers

143
views

### Simple modules of quantum planes

Let $k$ be an algebraically closed field.
Let $R := k\langle x,y \rangle/(yx-qxy) (q \in k^*)$.
We often call $R$ a quantum plane.
If $q$ is a primitive $n$-th root, then for any $(\zeta, \xi) \in k^* ...

8
votes

2
answers

165
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 ...

2
votes

0
answers

75
views

### The generators of twisted homogeneous coordinate rings

Let $X$ be a projective scheme over an algebraically closed field $k$ of characteristic $0$.
Let $\sigma$ is an automorphism of $X$ and $\mathcal{L}$ be an invertible sheaf on $X$.
Let $B := B(X, \...

8
votes

0
answers

431
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 ...

1
vote

0
answers

99
views

### A locally convex $C^*$ algebraic structure on the disk algebra

A locally convex $C^*$ algebra is a locally convex topological vector space $A$ whose topology is generated by a familly of complete $C^*$ semi norm and $A$ is a $*$ algebra. Moreover all algebra ...

4
votes

0
answers

96
views

### KK-theory for commutative $C^*$-algebras

The Gelfand--Naimark theorem tells us to regard noncommutative $C^*$-algebras as "noncommutative function spaces". In that spirit $K$-theory the Grothendieck group of "noncommutative ...

2
votes

1
answer

270
views

### On the definition of the Cherednik algebra of a variety with a finite group action

Let $X$ be a connected complex smooth affine variety, acted on by a finite group $G$. We define a reflection hypersurface $(Y,g)$ as a smooth codimension one subvariety $Y\subset X$ which is fixed by $...

2
votes

0
answers

129
views

### Convergence in Hausdorff distance of intersection of closed linear subspaces with a given closed convex set

I've run into the following problem when doing some work with non-commutative metric spaces, which seems like something people may have thought about before but I can't find anything on this problem ...

5
votes

1
answer

254
views

### Quasi-coherent cohomology in non-commutative algebraic geometry

In non-commutative algebraic geometry, the motto so to speak is to replace the study of a scheme $X$ with the study of the category $D_{qcoh}(X)$ of quasi-coherent sheaves and study the properties ...

4
votes

0
answers

85
views

### Nullstellensatz for maximal left ideals of quantum plane

Let $R=\mathbb{C}\langle x,y\rangle/\langle xy=qyx\rangle$ be the quantum plane algebra. Does some sort of Nullstellensatz holds for the maximal left ideals of $R$? By this we mean all maximal left ...

2
votes

0
answers

157
views

### Moduli spaces of stable sheaves on noncommutative projective schemes

In noncommutative algebraic geometry in the sense of Artin and Zhang, can we construct moduli spaces of stable sheaves on noncommutative projective schemes as (commutative)schemes ?
I would appreciate ...

4
votes

0
answers

121
views

### D-module theoretic Chern characters and an index-type theorem

Let $X$ be a smooth projective variety over $\mathbf{C}$. Consider the category $\mathbf{D}_{X}^{\text{perf}}$ of perfect complexes of left $D$-modules on $X$. It is well known that there is an ...

2
votes

0
answers

37
views

### A foliation with prescribed graph of foliation

**I have already asked this question on MSE https://math.stackexchange.com/questions/4272279/1-dimensional-foliation-of-surfaces-with-prescribed-graph-of-foliation **
Definition of the graph of a ...

7
votes

0
answers

197
views

### Strange formula for the dimension of a certain space of noncommutative polynomials

Consider a vector space $V_r(n)$ spanned by (noncommutative) monomials in variables $x_1,\ldots,x_r$
$$
x_{1}^{n_1}x_{2}^{n_2}\ldots x_{r}^{n_r}
$$
of total degree $n.$ Inside this space consider a ...

4
votes

1
answer

249
views

### A Fréchet space characterization of smooth structures on topological spaces?

For a compact manifold $M$ the space of smooth functions $C^{\infty}(M)$ is a Fréchet space where the seminorms are the suprema of the norms of all partial derivatives. Is there some way to ...

2
votes

1
answer

145
views

### Gelfand-Naimark and Peter-Weyl for the unitary group

Consider the compact Lie groups $U(l)$ (the unitary group) and $U(1) \times SU(l)$ for some natural number $l$. Both the groups have the same Lie algebra $\frak{gl}_l$. Which means that they both have ...

5
votes

2
answers

194
views

### Hermitian vector bundles and Hilbert $C^*$-modules

Let $X$ be a compact Hausdorff space and $C(X)$ its algebra of continuous complex valued functions. The Gelfand-Naimark theorem tells us that we have a duality between commutative $C^*$-algebras and ...

2
votes

0
answers

150
views

### Integral lattice in noncommutative Hodge theory

Associated to a $DG_{\mathbb{C}}$-category, $\mathcal{C}$, we have some Hodge theoretic data - $HH_{*}(\mathcal{C})$ plays the role of Hodge cohomology and $HP$ plays the role of de Rham cohomology. ...

9
votes

1
answer

483
views

### What is the significance of the Jiang Su algebra in classification of C$^*$ -algebras?

Something I've been thinking about for a while that I'm not sure I understand is why $\mathcal{Z}$ stability, as opposed to say $\mathcal{O}_\infty$-stability or even $\mathcal{K}$-stability is so ...

2
votes

0
answers

131
views

### About the algebraic structure of the $G$-equivariant $KK$-theory

Let $ G $ be a second countable locally compact group.
Let $ A $ and $ B $ be two $G$-$C^*$-algebras.
Let $ KK^G (A, B) $ be the $G$-equivariant $KK$-theory of the pair $ (A, B) $.
Could you tell me ...

5
votes

0
answers

228
views

### Kernels of completely positive maps

In the excellent book “$C^*$-algebras and their automorphism groups” by Pedersen there are results on the left ideals $L_\phi$ associated to states $\phi$ on a $C^*$-algebra $A$ and more results in ...

9
votes

1
answer

538
views

### Non-commutative complex geometry

I was reading a physics paper where it was mentioned that the basic framework of Connes' differential non-commutative geometry (or actually, a slight modification of Connes in that paper) would need ...

3
votes

1
answer

118
views

### Nonstandard Podles spheres as $U_c(\frak{h})$ invariants

In this paper Podles introduced a $2$-parameter family of $q$-deformed spheres $S_{q,c}$ that are now called the "Podles spheres". The case of $c=0$ is very special and is known as the "...

6
votes

0
answers

522
views

### What are the topics in noncommutative algebraic geometry?

Preface: I know very little about noncommutative algebra and noncommutative geometry, so please feel free to make improvement suggestions for my question. Also, to my knowledge there are several ...

3
votes

0
answers

173
views

### Non commutative Teichmuller theory

Perhaps the first example in Teichmuller theory is the following proposition:
Proposition: Let $1<r<R$. Then two annular region $U_r=\{z\in \mathbb{C}\bigm|1<|z|<r\}$ and $U_R=\{z\in \...

5
votes

0
answers

124
views

### Associating noncommutative geometries to 2D conformal field theories

I have recently been reading a bit about noncommutative geometry and string theory and it looked to be an open question (or at least this was open two decades ago) whether there are constructions ...

7
votes

0
answers

275
views

### "Non-critical" zeros of $\zeta$ and the $\zeta$-cycles of Connes and Consani

In the recent preprint of Connes and Consani https://arxiv.org/abs/2106.01715 a new spectral realization of the critical zeros of $\zeta$ (edit: defined as being those on the critical line only, see ...

6
votes

1
answer

339
views

### Fermions, their path integrals and effective actions

I just read the nice exposition Fermionic Path Integral on nLab and began to wonder about some details to which references appear to be lacking. Suppose we live on Euclidean space as in the ...

3
votes

0
answers

80
views

### A Poisson structure induced by double Poisson bracket

$\DeclareMathOperator\Sym{Sym}$Let $k$ be a field of characteristic zero. In Van den Bergh's paper Double Poisson algebras, it is shown that a double Poisson bracket on an unital associative algebra $...

12
votes

0
answers

325
views

### Quivers as noncommutative curves

I've heard that an idea behind noncommutative geometry (in dim 1) is to study "noncommutative" analogues of $\text{Coh}(\text{curve})$, rather than the curve directly. Apparently the ...

3
votes

0
answers

217
views

### Research in spin geometry

I am currently learning differential geometry, but I have heard about the field of spin geometry and have skimmed through the book Dirac Operators in Riemannian Geometry by Thomas Friedrich. I have ...

10
votes

0
answers

199
views

### Projective planes over non-division rings

Is there a "right" notion of a projective plane over a general (unital, non-division) ring?
Let me explain what type of object I am looking for. Let $R$ be an arbitrary (not necessarily ...

15
votes

1
answer

623
views

### Reference for the Swan-Serre theorem as a monoidal equivalence

Let $X$ be a compact Hausdorff The well-known Swan--Serre theorem gives an equivalence between the continuous vector bundles over a compact Hausdorff space $X$, and finitely-generated projective $C(X)$...