Knot at Lunch on December 12 2007: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
No edit summary
 
Line 18: Line 18:


==Bone Soup==
==Bone Soup==
Let <math>n</math> be a natural number and let <math>R={\mathbb Z}[x_1,\ldots,x_n]</math> be the ring of polynomials in <math>n</math> variables <math>x_1,\ldots,x_n</math>. Let <math>B_n</math> be the <math>R</math>-module generated by symbols <math>B_{ij;kl}</math> (the "bones") where <math>1\leq i,j,k,l\leq n</math>, subject to the relations:
Let <math>n</math> be a natural number and let <math>R={\mathbb Z}[x_1,\ldots,x_n]</math> be the ring of polynomials in <math>n</math> variables <math>x_1,\ldots,x_n</math>. The <math>n</math>'th bone soup module <math>B_n</math> is the <math>R</math>-module generated by symbols <math>B_{ij;kl}</math> (the "bones") where <math>1\leq i,j,k,l\leq n</math>, subject to the relations:
* <math>B_{ij;kl}=B_{kl;ij}=-B_{ji;kl}=-B_{ij;lk}</math>.
* <math>B_{ij;kl}=B_{kl;ij}=-B_{ji;kl}=-B_{ij;lk}</math>.
* <math>x_mB_{ij;kl}-x_jB_{im;kl}+x_iB_{jm;kl}=0</math>.
* <math>x_mB_{ij;kl}-x_jB_{im;kl}+x_iB_{jm;kl}=0</math>.

Latest revision as of 14:28, 12 December 2007

Invitation

Dear Knot at Lunch People,

We will have our next fall lunch on Wednesday December 12, at the usual place, Bahen 6180, at 12 noon.

As always, please bring brown-bag lunch and fresh ideas. This is break time, and I expect relatively low attendance. So whatever we will do, it will be light and easy.

Further information about this meeting will/may appear at https://drorbn.net/drorbn/index.php?title=Knot_at_Lunch_on_December_12_2007.

As always, if you know anyone I should add to this mailing list or if you wish to be removed from this mailing list please let me know. To prevent junk accumulation in mailboxes, I will actively remove inactive people unless they request otherwise.

Best,

Dror.

Bone Soup

Let be a natural number and let be the ring of polynomials in variables . The 'th bone soup module is the -module generated by symbols (the "bones") where , subject to the relations:

  • .
  • .

Question 1. Can you find a simple basis for ?

Question 2. Is related to curvature tensors and Bianchi identities?