All Questions
Tagged with noncommutative-geometry qa.quantum-algebra
43 questions
6
votes
0
answers
349
views
Quantum Hilbert's fifth problem
Hilbert's fifth problem inquires whether every locally Euclidean group is necessarily a Lie group. Von Neumann demonstrated that this is indeed true for the compact case.
The definition of a quantum ...
0
votes
1
answer
144
views
Is a NC sphere a (one point) compactification of a NC plane?
Inspired by this question About noncommutative sphere and inspired by the fact that the classical sphere is the one point compactificatiin of $\mathbb{R}^2$ we ask the question below:
Is the non ...
- 356
4
votes
1
answer
275
views
What are the norms of the generators of the standard Podleś sphere?
Fix a real number $0<q<1$. We consider the standard Podles sphere $A_q$ as the universal unit $C^*$-algebra generated by $a$ and $b$ with relations
\begin{equation*}
\begin{split}
&a=a^*,~ ...
- 9,009
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
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
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
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
15
votes
1
answer
657
views
Is every finite quantum group a quantum symmetry group?
This post is basically a quantum extension of Is every finite group a group of “symmetries”?
Here finite quantum group means finite dimensional Hopf ${\rm C}^{\star}$-algebra.
Frucht's theorem ...
17
votes
2
answers
2k
views
Quantum corrections to geometry
In this video Alain Connes made a comment about the ,,quantum corrections'' of the geometry. I would like to understand this notion in some details since I haven't found anything about this in the ...
- 9,330
5
votes
1
answer
228
views
Zero divisors in compact quantum groups
Let $\mathcal{G}$ be compact quantum group in the sense of S. L. Woronowicz. As is well-known, every compact quantum group contains a dense Hopf algebra, called the polynomial Hopf algebra Pol$(\...
- 969
5
votes
0
answers
219
views
Constructing a noncommutative algebra from a commutative algebra
I was told at a conference that one way to construct a noncommutative algebra from a commutative one is to "replace the product of finite spaces (which on the level of continuous functions corresponds ...
- 111
9
votes
1
answer
207
views
Separability of compact quantum groups
In the theory of compact quantum groups due Woronowicz, we assume usually that the C*-algebra of the compact quantum group is separable. Is the assumption essential in the theory? Will it eventually ...
- 151
6
votes
0
answers
92
views
What quantum groups admit quantum topography space structure?
Quantum topography space is a pair $(A,M)$ consisting of a $C^*$-algebra $A$ and an abelian sub algebra $M\subset A$ with approximate identity. The intuition is to take $M$ be the smallest abelian ...
- 361
6
votes
1
answer
157
views
The Quantum Group ${\cal O}_q(SL(n))$, for $q>1$
For the quantum group ${\cal O}_q(SL(n))$, $q\in \mathbb{R}$, I have read, without a proof, that for $p>1$, there exists a $q\in (0,1)$ such that
$$
{\cal O}_p(SL(n)) \simeq {\cal O}_q(SL(n)).
$$
...
- 459
4
votes
0
answers
337
views
Quantization of $S^2$ as $C^*$-algebra?
The general context for the question - is belief that quantization of compact symplectic manifolds can be endowed with the structure of $C^*$-algebra (see MO230695).
The particular question is about ...
- 24.8k
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 ...
- 24.8k
2
votes
2
answers
327
views
Deformation quantization of a closed Riemann surface with genus >1
Quantization of of an elliptic curve can be done in different ways.
In C^*-algebraic version,
one can start with the C^*-algebra ...
- 309
10
votes
2
answers
833
views
Update on list of open problems for Cherednik/Symplectic Reflection Algebras
Background:
There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...
- 1,066
3
votes
1
answer
248
views
example of a compact quantum group at a root of unity?
In Woronowicz's theory of compact quantum groups, the most well-known example is $SU_q(2)$, for $q$ a real number. Moreover, all the other examples of compact quantum groups, based some Drinfeld--...
- 31
4
votes
2
answers
570
views
$q$-Deforming Woronowicz's Leibniz Rule
The Woronowicz definition of a differential calculus over an algebra consists of a pair $(\Omega,$d$)$, where $\Omega$ is an $A-A$-bimodule, and
$$
\text{d}:A \to \Omega,
$$
is a bimodule map, ...
- 263
22
votes
3
answers
6k
views
What is quantum Brownian motion?
It seems that the current state of quantum Brownian motion is ill-defined. The best survey I can find is this one by László Erdös, but the closest the quantum Brownian motion comes to appearing is in ...
- 8,502
8
votes
1
answer
482
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 ...
- 1,363
3
votes
0
answers
197
views
AS Cohen Macaulay algebras and dualizing complexes
Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras.
One can define a torsion functor with respect to the ideal $\mathfrak m = \...
- 651
5
votes
1
answer
2k
views
Homotopic morphisms between curved A-infinity algebras
I know how to think about (curved) $A_\infty$-algebras 'geometrically', i.e. via formal non-commutative geometry in the sense of Kontsevich etc. I also know how to think about $A_\infty$-morphisms in ...
- 460
3
votes
0
answers
105
views
Haar Functionals and Coquasi-triangular Structures
In this question it is mentioned that the coordinate algebra $C_q[G]$ Drinfeld--Jimbo algebras, for $G$ a compact semi-simple Lie group, admit a unique positive definite Haar functional. I was ...
- 1,453
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,...
- 1,462
17
votes
2
answers
830
views
Relationship between "different" quantum deformations
This is a generic question, a good answer to it may be a reference to a corresponding paper\textbook, but any useful comments would be okay too.
Let $\mathfrak{g}$ be a (simple) Lie algebra and $U_q(\...
- 765
11
votes
1
answer
556
views
Generators of the Odd Dimensional Quantum Spheres
As is well-known, the $(2N-1)$-quantum sphere $S^{2N-1}_q$ is defined to be the invariant subalgebra of $SU_q(N)$ under the coaction $\Delta_R = (id \otimes \pi) \circ \Delta$, where $\Delta$ is the ...
- 1,453
23
votes
1
answer
3k
views
Grothendieck and Non-commutative Geometry?
When Grothendieck and his followers were working on their profound progress of algebraic geometry, did they ever consider non-commutative rings? Is there anyway evidence that Grothendieck foresaw the ...
- 1,776
21
votes
3
answers
2k
views
What is the precise relationship between groupoid language and noncommutative algebra language?
I have sitting in front of me two 2-categories. On the left, I have the 2-category GPOID, whose:
objects are groupoids;
1-morphisms are (left-principal?) bibundles;
2-morphisms are bibundle ...
- 54.6k
6
votes
1
answer
1k
views
Weyl Character Formula for Quantum Groups
How much is known about the Weyl character formula for quantum groups? More specifically, has the formula been generalized to the general setting of deformed coordinate algebras $\mathbb{C}[G_q]$ of ...
- 1,462
2
votes
2
answers
397
views
Finding the Universal Ideal of a (Covariant) Differential Calculus
Let $(\Omega,d)$ be a differential calculus over an algebra $A$. It is easy to show that $\Omega$ is always equal to a quotient of $\Omega_u(A)$, the universal calculus over $A$, by some ideal $N$ of $...
- 1,776
43
votes
6
answers
9k
views
The 'real' use of Quantum Algebra, Non-commutative Geometry, Representation Theory, and Algebraic Geometry to Physics
In this question, Orbicular made the following comment to Feb7 and my own answers;
Please keep in mind that - even though it is stated very often - noncommutative geometry does not give "real" ...
- 4,842
0
votes
1
answer
118
views
Coaction on the Universal Calculus
Let $A$ be an algebra, $H$ a Hopf algebra, and
$$
\beta_A: A \to A \otimes H, ~~~~~ a \mapsto a^{(1)} \otimes a^{(2)}
$$
a right $H$-coaction. This induces a right $H$-coaction on $A \otimes A$ ...
- 1,776
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 &...
- 81
9
votes
4
answers
1k
views
Kontsevich, and Geometric, Quantization and the Podles sphere
There exist a large family of noncommutative spaces that arise from the quantum matrices. These algebraic objects $q$-deform the coordinate rings of certain varieties. For example, take quantum $SU(2)$...
- 1,462
13
votes
6
answers
2k
views
Hopf algebras arising as Group Algebras
Every commutative $C^*$-algebra is isomorphic to the set of continuous functions, that vanish at infinity, of a locally compact Hausdorff space. Every commutative finite dimensional Hopf algebra is ...
- 1,462
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)$...
- 1,776
3
votes
3
answers
631
views
Basis of quantum SU(n)
As is well known, the set
$\{a^ib^jc^k | i,j,k \in \mathbb{Z}\_{\geq 0},k>0\} \cup \{b^lc^md^n | l,m,n \in \mathbb{Z}\_{\geq 0}\}$
forms a basis for quantum $SU(2)$. Does anyone know of a basis ...
- 1,776
5
votes
2
answers
462
views
Quantum Frobenius II
In a previous question, I asked how Lusztig's quantum Frobenius generalizes the classical Frobenius map on a variety over a finite field. I was directed to a very interesting paper by Kumar and ...
- 1,462
2
votes
1
answer
341
views
Basis for Universal Calculus
Can anyone give an explicit basis of the universal (noncommutative) differential calculus over an algebra $A$ with basis ${e_i}$. (The universal calculus over $A$ is the kernel of the multiplication ...
- 1,776
38
votes
6
answers
4k
views
Why Drinfel'd-Jimbo-type quantum groups?
Hopf algebras are pretty easy to motivate, as a not-necessarily-commutative generalization of the ring of functions on an algebraic group (and there are many other ways in which they come up). I like ...
- 13k
4
votes
3
answers
1k
views
Quantum Frobenius
In what sense does Lusztig's quantum Frobenius, defined on a quantum enveloping algebra, generalise the classical Frobenius mapping on a variety over a finite field?
- 1,462