The tag has no wiki summary.

learn more… | top users | synonyms (1)

0
votes
0answers
17 views

Poisson bivector on the product of two manifolds

Let $X, Y$ be two manifolds. Let $(U, x_1, \ldots, x_n)$ and $(V, y_1, \ldots, y_m)$ local coordinates of $X, Y$ respectively. A Poisson bivector on $X$ is defined by \begin{align} \pi_X = \sum_{i,j} ...
1
vote
1answer
37 views

What is $\Delta(1)$ for $1$ in $U(\mathfrak{g})$?

Let $\mathfrak{g}$ be a semisimple Lie algebra and $U(\mathfrak{g})$ its universal enveloping algebra. Then $U(\mathfrak{g})$ is a hopf algebra. Is $\Delta(1) = 1 \otimes 1$ or $\Delta(1) = 1 \otimes ...
1
vote
0answers
24 views

An alternative proof for the units of $U_q(\mathfrak{sl}_2)$ using Ore extensions.

I would like to establish what the set of units are in the quantized enveloping algebra $U_q(\mathfrak{sl}_2)$. First, I recall the definition of the quantized enveloping algebra- throughout the ...
2
votes
1answer
54 views

Connections of Finite groups and quantum groups

I'm a master's student waiting to start my phd in quantum groups and their represenation theory in march 2015. I love representation theory $\textit{per se}$, and looking for references on this work I ...
2
votes
1answer
54 views

What is the explicit formula for classical r-matrices?

It is said that classical r-matrices are those satisfy the classical Yang-Baxter equation $[r_{12}, r_{13}] + [r_{12}, r_{23}] + [r_{13}, r_{23}] = 0$, where $r \in \mathfrak{g} \otimes \mathfrak{g}$. ...
1
vote
1answer
48 views

How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$?

Let $U$ be the positive unipotent radical of $SL_n$ and $\mathfrak{n}$ the Lie algebra of $U$. How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$? Here $\mathcal{O}_q[U]$ is the ...
1
vote
1answer
22 views

Questions about root operators.

I am reading the notes. On line 13 in the section Root operators, it is said that The operator $f_1$ maps from the space $V(\mu)$ to $V(\mu-(1,-1,0))$. I don't know why. We have $$ f_i V (\mu) ...
4
votes
0answers
52 views

~ The important use of Frobenius–Schur indicators and Frobenius-Schur exponents ~

I had asked a question on the uses of conjugacy class and centralizer. I had receive various helpful feedback. I appreciate them. Here I like to get some feedback on the Frobenius–Schur indicator. ...
0
votes
1answer
31 views

How do I compute the specific map between two isomorphic finite C* algebras?

Starting with a finite C* algebra $\mathcal{A} \subset M_{n}\left({\mathbb C}\right)$ (complex $n\times n$ matrices), $\mathcal{A}$ is known to be isomorphic to a canonical algebra of the form ...
6
votes
0answers
113 views

A little bit of Intuition for Corepresentations from Representations

Hi folks I am trying to prove what I think should be a straightforward enough result but I am having to make a somewhat unnatural definition to do it. This unnatural definition is hinted at in a paper ...
1
vote
1answer
44 views

Quantum: Toffoli gates

How do I prove that a toffoli gate is a controlled CNOT gate. i.e, $G_{Toffoli} = |0\rangle\langle 0| \otimes I + |1\rangle\langle 1|\otimes G_{CNOT}$. I am not sure how to approach this, thoughts? ...
0
votes
0answers
17 views

relationship between the CNOT gate and the I and X single-qubit gates

I need to prove this relationship: $G_{CNOT} = |0\rangle\langle 0| \otimes I + |1\rangle\langle 1|\otimes X$. So I think I need to show that both sides are a linear map on $H \otimes H \otimes H$ So ...
2
votes
0answers
46 views

Skew polynomial algebra and deformation

Let $R$ be an associative unital $k$-algebra. If $\alpha \in End_k(R)$ and $\delta$ is a $\alpha$-derivation, then one can define the skew polynomial algebra $R[x; \alpha,\delta]$ by letting $ax = x ...
0
votes
1answer
73 views

Is there a Relationship between Quantum Groups and Lie Groups?

I know that the Lie Group is all about continuous transformation groups. I know that the quantum group denotes various kinds of noncommutative algebra with additional structure. Transformation group ...
5
votes
1answer
101 views

The “$\mathbb{Z}_n$-theta function” - what is it? Is it being studied somewhere?

The Jacobi theta function is well known: $$\theta(z, \tau) = \sum_{n=-\infty}^\infty \mathrm{e}^{\pi i n^2 \tau + 2\pi i nz}$$ In Shahn Majid's "Foundations of Quantum Group Theory", you'll find a ...
1
vote
0answers
47 views

Quantum $SU(2)$ and $3$-sphere

There is a dipheomorphism of $SU(2)$ and $3$-sphere. What happens when you construct quantum $SU(2)$? Do we have an lifting of homeomorphism (or some other morphism) of quantum group to some other ...
1
vote
0answers
59 views

An $SU(3)$ isomorph in Clifford $G(5,0)$?

I am a computer scientist using the geometric (Clifford) algebras $G(n,0)$ over $\mathbb{Z}_3 = \{0,1,-1\}$ to describe distributed computations. My question concerns $G(5,0)$ with generators ...
3
votes
1answer
61 views

$f:C\longrightarrow D$ coalgebra homomorphism $\Rightarrow$ $f^*:D^*\longrightarrow C^*$ algebra homomorphism

I'm trying to prove the next problem using only arrows (avoiding Sweedler's notation): If $f:C\longrightarrow D$ is a coalgebra homomorphism, then $f^*:D^*\longrightarrow C^*$ is an algebra ...
8
votes
2answers
753 views

What are Quantum Groups?

I am going to do a semester project (kind of a little thesis) this spring. I met a professor and asked him about some possible arguments. Among others, he proposed something related to quantum groups. ...
1
vote
0answers
50 views

A characterisation of the cyclic subfactors by the existence of a cyclic vector?

A cyclic subfactor is a subfactor admitting a distributive intermediate subfactors lattice. Let's start with the finite index irreducible depth 2 subfactors, i.e. the class of subfactors of the form ...
1
vote
0answers
37 views

The spectrum of an element of the convolution algebra of a nonabelian group

Let $G$ be a locally compact group and $L^1(G)$ its convolution algebra. If $G$ is Abelian, then the spectrum of an element $f \in L^1(G)$ is equal to the image of $\hat{f}$, the Fourier transform of ...
5
votes
1answer
123 views

Towards a Quantum Peter Weyl Theorem

This is taken from Timmermann's Invitation to Quantum Groups and Duality. Let $(A,\Delta)$ be a *-Hopf algebra and let $\chi:V\rightarrow V\otimes A$ be a corepresentation of $(A,\Delta)$ on a vector ...
0
votes
1answer
36 views

Pauli Spin Operator General Rotation

I would like to calculate the Pauli spin operator rotation $$ U^{\dagger } \overset{\rightharpoonup }{\sigma } U$$ where $$\overset{\rightharpoonup }{\sigma }=\sigma _x \overset{\rightharpoonup ...
1
vote
1answer
82 views

Fusion rules and comultiplication for a Kac algebra

Let $\mathbb{A}$ be a Kac algebra (i.e. a Hopf C*-algebra) of finite dimension, and $\mathbb{A}^{*}$ its dual : Is there a formula revealing the fusion rules for the irreducible ...
1
vote
1answer
70 views

$C(G) \otimes C(G) \simeq C(G \times G)$

Let be $G$ a compact group and $C(G)$ the vector space of continue complex functions defined over $G$, $C(G):=\{f:G \to \mathbb{C}\}$, where $f$ is a continue function. How can I prove that $$ C(G) ...
5
votes
1answer
199 views

Physical interpretation of $q$-deformation

I am currently reading the paper Quantum Group Particles and Non-Archimedean Geometry by Volovich and Aref'eva. Here they discuss the difference between $q$-deformation and $\hslash$-deformation. In a ...
0
votes
1answer
50 views

A Tensor Product Identification

Hi folks just looking at Timmermann's "Introduction to Quantum Groups and Duality" and looking at the algebra of representative functions on a compact topological group $G$. I take off in Example ...
1
vote
1answer
56 views

Construction of a Manin triple

Let $\mathfrak{g}$ be a Lie bialgebra and $\mathfrak{g}^*$ be its dual. My question is how to construct a bracket on the direct sum $\mathfrak{g}\oplus\mathfrak{g}^*$ such that we obtain a Manin ...
1
vote
2answers
80 views

What is an Example of a Co-commutative but not Commutative Quantum Group?

I am looking for 'a' right candidate for an "abelian" quantum group. In a comment to another question it was suggested that the correct candidate was co-commutative. It is straightforward to show ...
6
votes
0answers
138 views

The Irreducible Corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group

Question What are the irreducible corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group? The trivial corepresentation is given by $\Delta_{|W}$ where $W$ is just the one dimensional ...
4
votes
0answers
120 views

Where do I go from Linear algebra past Calc III to try to learn complex physics (relativity and quantum group theory)?

I'm mainly a programmer, but I have a love for Mathematics that's been, well, insatiable. I've had my eye on learning Quantum Groups and Relativity, but I want to stay in something I can do with ...
2
votes
1answer
93 views

elementary but confounding question about integer matrices (related to hecke operators)

Let $\Gamma(N)$ denote the kernel of the reduction map $\text{SL}_2(\mathbb{Z})\rightarrow\text{SL}_2(\mathbb{Z}/N\mathbb{Z})$ Let $p$ be a prime that is $1$ mod $N$, and let $M$ be the set of ...
2
votes
1answer
73 views

A question on a Hopf algebra

Let $(H, \nu,\eta, \Delta, \epsilon, S)$ be a Hopf algebra. $S$ is the antipode. I am reading a proof of the fact $S(xy)=S(y)S(x)$. First, define maps $\nu, \rho$ in $\hom(H \otimes H, H)$ by ...
3
votes
1answer
63 views

Center of a quantum matrix algebra

Let $p \in k^\times$ be a nonroot of unity. It seems to be a well-known fact that the center of the quantum matrix algebra $\mathcal{O}_p(M_n(k))$ is generated by the quantum determinant $D_p$. It is ...
1
vote
1answer
89 views

Different definition of antipode for $SL_q(2)$?

In Majid's book (A Quantum Groups Primer) (pg11), the antipode for the Hopf algebra $SL_q(2)$ is defined as $Sd=a$, $Sa=d$, $Sb=-qb$, $Sc=-q^{-1}c$. However, in Kassel's book (Quantum Groups) (pg ...
6
votes
1answer
134 views

Quantum Groups: prove $U_1'\cong U[K]/(K^2-1)$ and $U\cong U_1'/(K-1)$

Regarding this theorem, which is in Kassel pg 126, I have two questions. I have typed in the relevant material for reference. 1) How does $$U_1'\cong U[K]/(K^2-1)$$ imply $$U\cong U_1'/(K-1)$$? ...
2
votes
1answer
86 views

Converse of Hopf Algebra Theorem

There is a theorem that if a Hopf algebra $H$ is commutative or cocommutative, then $S^2=id_H$, where $S$ denotes the antipode. May I know if the converse is true? (i.e. if $S^2=id_H$, does it ...
6
votes
0answers
166 views

Basis of $SL_q(2)$

While trying to show that $SL_q(2)$ is noncocommutative, I needed to prove the following fact: Show that the set $\{a^ib^jc^k\}_{i,j,k\geq 0}\cup\{b^ic^jd^k\}_{i,j\geq 0,k>0}$ is a basis of ...
2
votes
1answer
49 views

Tensor Product Question in Kassel's Quantum Groups

In Kassel's book on Quantum Groups, I am stuck on the following computation: \begin{eqnarray*} [\Delta (E), \Delta (F)] &=& \Delta (E)\Delta (F)-\Delta (F)\Delta (E)\\ &=& (1\otimes E ...
1
vote
2answers
102 views

How to show that $SL_q(2)$ and $U_q(\mathfrak{sl}(2))$ are noncommutative and noncocommutative

It is known that the two quantum groups $SL_q(2)$ and $U_q(\mathfrak{sl}(2))$ are both noncommutative and noncocommutative. May I ask how do we show that? I have attempted the following: To prove ...
1
vote
1answer
59 views

$U_q$ Quantum group and the four variables: E, F, K, K^{-1}

In Kassel's book on Quantum groups, it is defined that: "We define $U_q=U_q(\mathfrak{sl}(2) )$ as the algebra generated by the four variables $E$, $F$, $K$, $K^{-1}$ with the relations ...
2
votes
0answers
40 views

What are generators and relations for $\hat{\mathfrak{sl}}_2$ and $U_q(\hat{\mathfrak{sl}}_2)$?

We know generators and relations for $\mathfrak{sl}_2$: $e, f, h, [e, f]=h, [h,e]=2e, [h,f]=-2f$. Generators and relations for $U_q(\mathfrak{sl}_2)$ are $e, f, k=q^h$, $kek^{-1}=q^2e, ...
2
votes
1answer
92 views

Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$.

I read a textbook on Quantum Groups by Kassel, and did not understand the following proof of well-definedness of $\Delta$ (comult.) and $\epsilon$ (counit) on $GL_q(2)$ and $SL_q(2)$: (pg 84) The ...
1
vote
0answers
70 views

how to calculate the derivative of a plane wave in non commutative geometry

Shahn Majid and Eliezer Batista find the derivative of a wave plane in their paper: Non Commutative Geometry of Angular Momentum Space $U \mathfrak{su}(2)$. They obtained the non commutating ...
5
votes
0answers
95 views

Quantum Adjoint Action of the Coordinate Algebra on the Enveloping Algebra

As is well known, any Lie group $G$ has a canonical action on its Lie algebra $\frak{g}$, namely the adjoint action $Ad$. Firstly, let me ask, does this extend to an action of $G$ on its enveloping ...
1
vote
1answer
46 views

Kernel of a Comodule Map is a Sub-Comodule

Let $H$ be a Hopf algebra, $(V,\Delta_R)$ a right $H$-comodule map, and $f:V \to V$ a right $H$-comodule map. Since by definition we must have, for all $v \in V$, that $$ \Delta_R(f(v)) = \sum ...
4
votes
1answer
408 views

The longest word in Weyl group and positive roots.

How to write down a reduced decomposition of the longest word in a Weyl group? For example, how to write down a reduced decomposition of the longest word in type B3 Weyl group? For a decomposition of ...
0
votes
0answers
69 views

Monoidal Structures on the Category of Module-Comodules of a Hopf Algebra

Let $H$ be a Hopf algebra, and let ${\cal M}^H_H$ the category of right $H$-module-comodules, that is, the objects of ${\cal M}^H_H$ are right $H$-modules, and right $H$-comodules, such that, for $V$ ...
3
votes
1answer
64 views

proving that this coproduct and product get along well enough to make a bialgebra (Quantum Groups, Kassel)

I'm working through Kassel's Quantum Groups book and I'm stuck on what looks like a pretty simple problem (ch3, ex 2 in the book): Let $k$ be a field and $C= k[t]$ be a coalgebra with coproduct: $$ ...
9
votes
0answers
188 views

Different notions of q-numbers

It seems that most of the literature dealing with q-analogs defines q-numbers according to $$[n]_q\equiv \frac{q^n-1}{q-1}.$$ Even Mathematica uses this definition: with the built-in function QGamma ...