Sunday, September 25, 2022

Metryka Riemanna na dysku Poincarego

Dziś wyposażymy dysk w metrykę Riemanna. Metryka ta będzie zdefiniowana tak, że będzie automatycznie niezmiennicza względem działania grupy SU(1,1). Ta działa tak U: S-> USU*$, i tak samo transformują się wektory styczne. Niezmienniczość metryki wynika z własności śladu. Iloczyn skalarny wektorów stycznych X,Y w TS definiujemy bowiem jako 

 g(X,Y) = (-1/2) Tr(XY) 

 Z własności śladu wynika wtedy natychmiast, że 

g(UXU*,UYU*)=g(X,Y)

 Jawna postać metryki, wyliczona w Rozdz. 4 pliku pdf poniżej zgadza się z formułą z Wikipedii


Link do całego pdf

5 comments:

  1. A dodatkowo na stronie 3. piszesz:

    "S = {{a11, a12}, {a21, a22}};
    v = {1, z};
    w = {1, 1/zs};
    Solve[{S.v == v, S.w == -w}, {a11, a12, a21, a22}]"

    Ale Mathematica nie wie przecież czym jest zs. Aby wiedziała powinieneś napisać:

    z = a + b*I
    zs = a - b*I.

    ReplyDelete
  2. Mam taki kod:

    S = {{a11, a12}, {a21, a22}};
    v = {1, z};
    w = {1, 1/zs};
    Solve[{S.v == v, S.w == -w}, {a11, a12, a21, a22}]

    I takie rozwiązanie:

    {{a11 -> -((1 + z zs)/(-1 + z zs)), a12 -> (2 zs)/(-1 + z zs),
    a21 -> -((2 z)/(-1 + z zs)), a22 -> -((-1 - z zs)/(-1 + z zs))}}

    Całkowicie wystarcza. Wystarczy za zs podstawić zet sprzężone.

    A zbędną strone usunąłem. Dziękuję za zwrócenie uwagi.

    ReplyDelete
  3. Jeszcze będą musiał sprawdzić czy w składaniu całości z części jakiejś części nie pominąłem.Przy moim bałaganiarstwie jest to możliwe. Ale to już jutro.

    ReplyDelete
  4. Podmieniłem plik pdf, brakowało w nim jednej części (Konektory). Co nie znaczy, że już są wszystkie.

    ReplyDelete
  5. W tej chwili masz w pracy dwa rozdziały noszące tytuł konektory.

    ReplyDelete

Thank you for your comment..

Spin Chronicles Part 27: Back to the roots

  We have to devote some space to Exercise 1 of the previous post .  Back to the roots The problems was: Prove that <ba,c> = <b,ca...