Questions tagged [noncommutative-geometry]
Noncommutative geometry in the sense of Connes and beyond: noncommutative algebras viewed as functions on a noncommutative space.
475 questions
2
votes
0
answers
202
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]=...
- 356
6
votes
1
answer
166
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 ...
- 63
2
votes
0
answers
90
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 ...
- 356
0
votes
0
answers
246
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-...
- 103
2
votes
1
answer
194
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 ...
- 9,330
2
votes
0
answers
88
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 $...
- 356
4
votes
1
answer
133
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 $...
- 356
2
votes
0
answers
172
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^* ...
- 889
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 ...
- 293
2
votes
0
answers
87
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, \...
- 889
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 ...
- 2,806
1
vote
0
answers
106
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 ...
- 356
4
votes
0
answers
107
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 ...
- 1,144
2
votes
1
answer
287
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 $...
- 541
2
votes
0
answers
229
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 ...
- 135
5
votes
1
answer
300
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,386
4
votes
0
answers
91
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 ...
- 91
2
votes
0
answers
174
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 ...
- 889
4
votes
0
answers
149
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 ...
user108998
2
votes
0
answers
54
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 ...
- 356
7
votes
0
answers
221
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,316
4
votes
1
answer
369
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 ...
- 185
2
votes
1
answer
182
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 ...
- 1,144
5
votes
2
answers
252
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 ...
- 1,144
2
votes
0
answers
180
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. ...
user108998
10
votes
1
answer
811
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 ...
- 183
2
votes
0
answers
147
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 ...
- 595
5
votes
0
answers
270
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 ...
- 1,143
9
votes
1
answer
722
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 ...
- 5,146
3
votes
1
answer
142
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 "...
- 1,144
6
votes
0
answers
583
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
185
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 \...
- 356
5
votes
0
answers
156
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 ...
- 5,146
7
votes
0
answers
291
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 ...
- 883
6
votes
1
answer
504
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 ...
- 651
4
votes
0
answers
127
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 $...
- 661
12
votes
0
answers
347
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 ...
- 5,701
3
votes
0
answers
279
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 ...
- 349
10
votes
0
answers
245
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 ...
- 241
15
votes
1
answer
672
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)$...
- 393
4
votes
1
answer
265
views
Hopf "algebroid" structure of a groupoid convolution algebra?
This question is already posted in math.stackexchange, but didn't receive any answer. I'm not sure if this question fits in here, but surely someone in here can guide me to the correct answer.
To make ...
- 1,093
12
votes
1
answer
2k
views
Making sense of "every non-commutative algebra has its own internal time evolution (aka a one-parameter group)"?
I've listened to many interviews and lectures of Alain Connes, in which he says something which goes roughly as follows
"Every non-commutative algebra has its own time (evolution of), by which I ...
- 6,853
0
votes
0
answers
55
views
Antisymmetric tensor coordinates and tensorial spaces
I am currently working on some geometric aspects of higher-spin models for which there appear antisymmetric tensor coordinates
$X^{\mu\nu}=-X^{\nu\mu}$,
with $\mu,\nu=1,...,N$,
which have been ...
- 405
6
votes
1
answer
337
views
Invertible elements of the Hopf algebra quantum $SU(2)$
Let $SU_q(2)$ be the (polynomial) Hopf algebra introduced by Woronocicz called the quantum special unitary group. For details see
https://en.wikipedia.org/wiki/Compact_quantum_group
(Note that on the ...
- 1,144
2
votes
0
answers
101
views
Construction of non-commutative torus using ergodic action of $\mathbb{T}^{n}$
It is well known that non-commutative torus can be constructed using universal C* algebra, by n unitary elements and twisted relations. It can also be constructed using ergodic action of torus group $\...
- 523
3
votes
0
answers
55
views
Dense subalgebra that is closed under unbounded derivation on noncommutative torus
Let $A_{\theta}$ be the noncommutative torus, we can define:
$$
A^{\infty}_{\theta}\mathrel{:=}\left\{\sum_{n,m\in\mathbb{Z}}a_{n,m}U^{n}V^{m} \,\middle\vert\, a_{n,m}\in S(\mathbb{Z}^{2})\right\}
$$
...
- 523
5
votes
1
answer
216
views
On the stabilizer in $\mathrm{GL}(2,\mathbb{Z})$ of a real quadratic irrationality
$\DeclareMathOperator\GL{GL}$Let $\theta$ be a real quadratic irrationality with discriminant $\Delta$; let $\mathcal{O}_\Delta$ denote the resulting quadratic order of discriminant $\Delta$ in $\...
- 2,375
10
votes
2
answers
2k
views
Why does Riesz's Representation Theorem apply in quantum mechanics?
$\DeclareMathOperator\tr{tr}$One begins with a quantum mechanical system, i.e. a unital $C^*$-algebra $A$.
It is common to begin the discussion with embedding $A$ into the algebra of bounded operators ...
- 2,071
4
votes
1
answer
126
views
Why Der($A_{\theta}$) is spanned by two elements only?
In the work of Connes and Marcolli, on page 20, it state that:
Just as in the classical case of a (commutative) manifold, what ensures that the derivations
considered are enough to span the whole ...
- 523
0
votes
0
answers
94
views
Symmetry group for (noncommutative) manifold from spectral triple
(This post is cross-post in Mathematics Stack Exchanges https://math.stackexchange.com/questions/3992766/symmetry-group-for-noncommutative-manifold)
Is there any notion of symmetry group arise for ...
- 523