07-1352/Class Notes for January 23: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (11 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{07-1352/Navigation}} |
{{07-1352/Navigation}} |
||
{{in Preparation}} |
|||
==A |
==A Second Look== |
||
We'll take a second look at [[06-1350/Class Notes for Tuesday October 24]]. |
|||
===The Algebra=== |
|||
==A Numerology Problem== |
|||
Let <math>A_n={\mathbb Q}S_n[x]\otimes{\mathbb Q}\langle t_1\ldots t_n\rangle</math> be the vector-space tensor product of the group ring <math>{\mathbb Q}S_n</math> of the permutation group <math>S_n</math> (with coefficients in <math>{\mathbb Q}[x]</math>, polynomials in the variable <math>x</math>) with the free associative algebra <math>{\mathbb Q}\langle t_1\ldots t_n\rangle</math> on (non-commuting) generators <math>t_1\ldots t_n</math> (that is, <math>{\mathbb Q}\langle t_1\ldots t_n\rangle</math> is the ring of non-commutative polynomials in the variables <math>t_1\ldots t_n</math>). We put an algebra structure on <math>A_n</math> as follows: |
|||
We briefly mentioned a numerology problem from {{Dror}}'s [[paperlet]] [[The HOMFLY Braidor Algebra]]. More about it will come later. |
|||
Let <math>A^0_n=\langle S_n, x, t_1,\ldots t_n\rangle</math> be the free associative (but non-commutative) algebra generated by the elements of the symmetric group <math>S_n</math> on <math>\{1,\ldots,n\}</math> and by formal variables <math>x</math> and <math>t_1\ldots t_n</math>, and let <math>A^1_n</math> be the quotient of <math>A^0_n</math> by the following relations: |
|||
# <math>x</math> commutes with everything else. |
|||
# The product of permutations is as in the symmetric group <math>S_n</math>. |
|||
# If <math>\sigma</math> is a permutation then <math>t_i\sigma=\sigma t_{\sigma i}</math>. |
|||
# <math>[t_i,t_j]=x\sigma_{ij}(t_j-t_i)</math>, where <math>\sigma_{ij}</math> is the transposition of <math>i</math> and <math>j</math>. |
|||
Finally, declare that <math>\deg x=\deg t_i=1</math> while <math>\deg\sigma=0</math> for every <math>1\leq i\leq n</math> and every <math>\sigma\in S_n</math>, and let <math>A_n</math> be the graded completion of <math>A^1_n</math>. |
|||
===The Equations=== |
|||
===The Equations in Functional Terms=== |
|||
===A Solution=== |
|||
Latest revision as of 12:32, 26 January 2007
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
A Second Look
We'll take a second look at 06-1350/Class Notes for Tuesday October 24.
A Numerology Problem
We briefly mentioned a numerology problem from Dror's paperlet The HOMFLY Braidor Algebra. More about it will come later.
