Message Boards Message Boards

1
|
1947 Views
|
1 Reply
|
1 Total Likes
View groups...
Share
Share this post:

nxn Cartan matrices as representations of groups reduced by an 2xn polygon

Posted 1 year ago

(Ed Pegg suggested I publish this post here)
Exceptional group E8 tensor reduction on disk:
Example:Cartan matrix for exceptional group E
8 (in cosmology the Universe model of an Dodecahedron is sometimes used)

e8 = {{2, -1, 0, 0, 0, 0, 0, 0},
  {-1, 2, -1, 0, 0, 0, 0, 0},
  {0, -1, 2, -1, 0, 0, 0, -1},
  {0, 0, -1, 2, -1, 0, 0, 0},
  {0, 0, 0, -1, 2, -1, 0, 0},
  {0, 0, 0, 0, -1, 2, -1, 0},
  {0, 0, 0, 0, 0, -1, 2, 0},
  {0, 0, -1, 0, 0, 0, 0, 2}}

The 2x8 octagon complex reduction tensor:

d={{1/2, I/2}, {0, I/Sqrt[2]}, {-(1/2), I/2}, {-(1/Sqrt[2]),
  0}, {-(1/2), -(I/2)}, {0, -(I/Sqrt[2])}, {1/2, -(I/2)}, {1/Sqrt[2],
  0}}

which gives:

m2x2= N[dt.e8.d]/Sqrt[Det[N[dt.e8.d]]]

 {{0. - 1.70434 I, -0.182993 + 0. I}, {-0.182993 + 0. I,
  0. + 0.606385 I}}

The scaled group is:

mu = N[1.0]
s[1] = {{mu + I, mu}, {mu, mu - I}}
s[2] = {{0.` - 1.7043411981641243` I, -0.1829927572190933` +
    0.` I}, {-0.1829927572190933` + 0.` I,
   0.` + 0.6063846548495646` I}}
s[3] = Inverse[s[1]]
s[4] = Inverse[s[2]]

Published notebook:
https://www.wolframcloud.com/obj/rlbagulatftn/Published/Nylander_%202group_E%20_%208_reduction%20_on%20_scaled%20_disk%20_limitset%20_%2011_%20%202d_sphere%20_on%20_Inverse%20_sphere.nb
All the program picture output

POSTED BY: Roger L. Bagula

I believe this should go to wolframcloud.

2nd projection:Exceptional group E_8 tensor reduction on disk: enter image description here

POSTED BY: Ed Pegg
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract