2
votes
0answers
50 views

Construct the Haar Functional using $R$-Matrices

Let $H$ a cosemi-simple coquasi-triangular Hopf algebra, arising from an $R$-matrix using the standard FRT construction. Semi-simplicity implies the existence of a Haar function. Is there any way in ...
3
votes
1answer
147 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 ...
4
votes
2answers
386 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, ...
8
votes
1answer
553 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
votes
1answer
396 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 ...
3
votes
0answers
133 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 = ...
4
votes
2answers
838 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 ...
1
vote
0answers
98 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 ...
6
votes
4answers
913 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 ...
10
votes
2answers
452 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 ...
10
votes
1answer
439 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 ...
10
votes
1answer
1k 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 ...
14
votes
3answers
840 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 ...
5
votes
1answer
517 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 ...
3
votes
0answers
122 views

Restricting Differential Calculi to Quotients

Let $A$ be an algebra, $B \subset A$ a subalgebra, and $(\Omega^1(A),d)$ a first order differential calculus over $A$. Now, as is well known, the subalgebra of $\Omega^1(A)$ consisting of elements of ...
1
vote
0answers
182 views

Bicovariant Calculi on the Quantum Unitary Groups

The bicovariant differential calculi on quantum-$SU(n)$ have been classified (by Schmudgen I think) and have been shown to have non-classical dimension. My question is whether or not the bicovariant ...
2
votes
2answers
349 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 ...
32
votes
6answers
4k 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" ...
0
votes
1answer
96 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$ ...
5
votes
3answers
661 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
4answers
906 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 ...
8
votes
6answers
833 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 ...
7
votes
1answer
568 views

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

For quantum $SU(2)$, Woronowicz gave a well differential calculus. If we denote the generators of quantum $SU(2)$ by $a,b,c,d$, then the ideal of ker($\epsilon)$ corresponding to this calculus is $$ ...
3
votes
3answers
503 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 ...
5
votes
2answers
349 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 ...
2
votes
1answer
259 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 ...
3
votes
3answers
704 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?