Here is an answer to question (1). I recommend that you split of question (2) as a separate question.
Define the quantum plane to be the "spectrum" of the noncommutative ring K⟨x,y⟩/(xy=qyx), where K is some ground commutative ring in which q is invertible (e.g. K=C(q)). So a "point" in this "plane" is determined by the "values" of the two "coordinates" x and y. Note that these "values" don't commute: they are "valued" in some space of "noncommutative numbers".
Now, recall that 2×2 matrices act on the usual plane. Are there "2×2 matrices" that act on the quantum plane?
Well, in the usual case, a matrix (abcd) takes the vector (xy) to:
(ax+bycx+dy).
Let's try to keep the same rule. For this to work, the coordinates of the new point need to satisfy the same "
q-mmutation" (as opposed to "commutation") law as
{x,y}, which is to say:
(ax+by)(cx+dy)=q(cx+dy)(ax+by).
If we suppose that variables a,b,c,d commute with variables x,y, then we get:
ac=qcabd=qdbad+q−1bc=qcb+da.(⋆)
What about, say, how a and b commute? Well, I should have mentioned that the quantum plane has a "dual quantum plane". Recall that in classical linear algebra, the dual to the space of column vectors is the space of row vectors. Let's, then, take the dual quantum plane to consist of row vectors (v,w) whose coordinates satisfy vw=qwv. Then by letting quantum matrices act from the right on quantum row vectors, you can compute:
ab=qbacd=qdcad+q−1cb=qbc+da.(⋆⋆)
Note that the last lines in each are slightly different. Together, the rules (⋆) and (⋆⋆) define the space of "quantum 2×2 matrices". Let me simplify the last two rules:
bc=cbad−da=(q−q−1)bc
Now here's an exercise: suppose that (a1b1c1d1) and (a2b2c2d2) are each quantum 2×2 matrices, by which I mean that their coordinates each independently satisfy the rules (⋆,⋆⋆), and suppose that the r1s commute with the r2s. Then their product
(a1a2+b1c2a1b2+b1d2c1a2+d1c2c1b2+d1d2)
is again a quantum
2×2 matrix.
Thus our "quantum space" of quantum 2×2 matrix (defined by (⋆,⋆⋆), which just determines if at some space in which each point is determined by the values of 4 noncommuting coordinates) is in face a "ring", or at least a "monoid". Oh, also you should check that (exercise) (1001) is a quantum matrix, and is the unit. So now always do the coordinates have to evaluate to noncommuting numbers.
Now, an important property of matrices is the "determinant". Exercise: the number Δ=ad−qbc commutes with all coordinates.
Exericse: If X=(abcd) is a quantum 2×2 matrix in which Δ−1 exists, then X is invertible, with inverse Δ−1(d−b−qca).
Anyway, by definition, the group quantum SL(2) is the subgroup of the quantum 2×2 matrices consisting of those matrices for which Δ=1. By definition, the group quantum GL(2) is the subgroup for which Δ−1 exists (thus you could say that a point in quantum GL(2) has five coordinates, a,b,c,d,Δ−1, satisfying the equations (⋆,⋆⋆) and Δ−1(ad−qbc)=1).
Similar constructions give other quantum groups as well, by starting with higher-dimensional quantum spaces and/or quantum versions of symmetric or skew-symmetric pairings.
Finally, you might have seen "groups" like Uqsl(2), which really are the universal enveloping algebras of "lie algebras" of these groups.
This post imported from StackExchange MathOverflow at 2015-04-28 14:42 (UTC), posted by SE-user Theo Johnson-Freyd