Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
FREGRAVOL2.pdf
Скачиваний:
71
Добавлен:
05.06.2015
Размер:
8.65 Mб
Скачать

D MATHEMATICA Package NOVAMANIFOLDA

435

YOU START THIS PROGRAMME by TYPING eulerus. When you will prompted for the sphere dimension you have to type 3.

The output 1-forms are encoded in two 3-vectors named sigmap and sigmam, respectively.

Routine Thoft

Running thoft one generates the ’t Hooft matrices. The self-dual ones are named Jp1, Jp2, Jp3, the antiself-dual ones are named Jm1, Jm2, Jm3.

AdS Space in Four Dimensions (Minkowski Signature)

The routines of this section are deviced to calculate the algebra of SO(2, 3) the solvable parameterization of anti de Sitter space in four dimensions, to construct its Killing vectors and make various other checks. If you want to run the entire package and see what it does you can just type: mainads4

Lie Algebra of SO(2, 3) and Killing Metric

In this section one defines the 10 generators of the SO(2, 3) Lie algebra K0, K1, K2, K3, N1, N2, N3, J1, J2, J3

where J are the SO(3) rotations, N the three Lorentz boosts and K0, K1, K2, K3 the 4 translations generators.

The routine is activated by typing: algso23

Solvable Subalgebra Generating the Coset and Construction of the Vielbein

This routine constructs the coset representative in solvable parameterization, the vierbein and the structure constants of the full Lie algebra.

The routine is activated by typing: cosetto.

To run this routine you need first to run algso23

Killing Vectors

This programme verifies the Killing vectors in the solvable parameterization and then exhibits them explicitly.

The routine is initialized by typing: verkilling

To run this routine you need to run first also23 and cosetto

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]