Casimir değişmezi

Matematikte, bir Casimir ögesi (ayrıca Casimir değişmezi veya Casimir operatörü olarak bilinir), merkez bir Lie cebirinin evrensel kapsayıcı cebir'inin merkezinin bir seçkin ögesidir. Bir prototipik örnek kare açısal momentum operatörü'dür, Bu üç boyutlu döndürme grubu'nun bir Casimir ögesidir .Casimir ögesi Hendrik Casimir anısınadır,1931 yılında katı cisim dinamiklerinin tanımı içinde belirtimiştir.üzerinde sabit bir değişmezlik çiftdoğrusal form (yani Killing form) için sırasıyla 'nin çift tabanı olsun. Casimir ögesi ,  evrensel kapsayıcı cebirin bir ögesiCasimir elemanın tanımı Lie cebir temelinde belirli bir seçimi işaret etmesine rağmen, bu kolayca göstermektedir ki elde edilen öğe Ω'dur.Bu seçim bağımsızdır. Dahası, çiftdoğrusal formun değişmezlik tanımı içinde kullanılan ifade bu Casimir ögesi ile Lie cebri  nin bütün ögeleri ile sırabağımsız, ve dolayısıyla evrensel kuşatıcı cebir U( ) nin merkezinde yer almaktadirbir vektör alanı V nin herhangi bir temsili ρ önüne alındığında, muhtemelen sonsuz boyutlu,gelen Casimir değişmez ρ (Ω) 'dir,Formül tarafından verilen lineer operatör Vdir.Diferansiyel geometri ve global analiz içinde önemli bir rol oynayan yapının özel bir durumudur.Varsayalımki bir bağlantılı Lie grubu G ile Lie cebri  bir diferensiyellenebilir manifold M olarak hareket ediyor, nin ögeleri ise birinci dereceden diferansiyel operatörler olarak M tarafından gösteriliyor. Bu gösterim ρ düzgün fonksiyonlar olarak M 'in uzayıdır. Bu durum içinde Casimir değişmezi G–değişmez ikinci dereceden diferansiyel operatörü yukarıda formülde M olarak tanımlanmıştır.yaygın Fredholm teorisi pseudo-diferansiyel operatörler çalışmada meydana gelen daha genel Casimir değişmezleri da tanımlanabilir,Casimir operatörü Lie cebrinin evrensel kapsayıcı cebir'inin merkez'inin seçkin bir ögesidir.Diğer bir deyişle,o sırabağımsız Lie cebirinin tüm üreteçler ile bütün diferansiyel operatörlerin cebrinin bir üyesidirEvrensel kapsayıcı cebirin merkezinin bağımsız ögelerinin sayısı bir yarıyalın Lie cebri'nin durumu içindeki rank gibidir,verilen Casimir operatörü Laplasiyen'in kavramı olarak bir genel yarıyalın Lie grubu; ancak sayımının bu yolu rank > 1için Laplasiyen'in hiçbir eşsiz analogu olamayacağını gösteriyor.Cebrin içindeki evrensel kapsayıcı cebir topluluğu ile bütün diğer ögelerin merkezinin herhangi üyesi tarafından tanımlanıyor. Schur Lemması ile, Lie cebrinin herhangi indirgenemeyen gösterimi içinde, Casimir operator böylece eş orantılıdır. Bu orantılığın sabiti Lie cebrinin sınıflandırılmış gösteriminde kullanılabilir (ve bundan dolayı, o Lie grubu gibidir).Fizik kütle ve spin bu sabitlerin örneğidir,yüzeysel olarak, topolojik kuantum sayıları formunda bir istisnayı oluşturan bu desenler; derin teoriler bu aynı olayın iki yönü olduğunu işaret ediyor olmasına rağmen kuantum mekaniği içinde birçok diğer kuantum sayıları olarak bulunur.so(3) Lie cebri SO(3)'ün Lie cebridir,döndürme grubu için üç-boyutlu Öklid uzayıki o rank 1'in yalınıdır, ve böylece o bir tekil bağımsız Casimir'dir.Killing form için döndürme grubu sadece Kronecker delta'dır,ve böylece Casimir değişmezi Lx, Ly, Lz cebrinin üreteçlerin karelerinin basit toplamıdır. Yani,su Casimir değişmezini verir;bir indirgenemeyen gösterim içinde, Casimir operatör ifadesinin değişmezi cebrin tanıtım ögesi e nin bir çokluğu, şöyle kikuantum mekanigi'nde,skaler değer ℓ toplam açısal momentum'unu ifade eder. Sonlu-boyutlu matris değerli için döndürme gruplarının gösterimleri,ℓ her zaman tam sayı değeri olarak alınır (bozonik gösterimler için) veya (fermiyonik gösterimler için yarı-tam sayı değeridir).ℓ'nin bir verilen bir değeri için,matris gösterimi (2ℓ + 1)–boyutludur. Böylece, örneğin, üç-boyutlu gösterim için so(3) karşılığı ℓ = 1, ve üreteçler tarafından verilenℓ(ℓ + 1) = 2 olur ise ℓ = 1. Benzer şekilde,iki boyutlu gösterim Pauli matrisleri tarafından verilen bir taban, Spin ½'nin karşılığıdır.Verilen Ω kapsayıcı cebir içinde merkezdir, bu bir skaler tarafından basit modüller üzerindeki hareket,diyelimki  olsun herhangi çiftdoğrusal simetrik non-dejenere olmayan formunu, biz Ω olarak tanımlıyoruz. Diyelimki L(λ), λ agirliginın sonlu boyutlu yüksek ağırlık modülü olsun,o zaman Casimir ögesi Ω nìn üzerindeki hareketleri olarak L(λ) sabiti tarafından  yardımıyla ρ ağırlıgi pozitif kökler yarı toplamı tarafından tanımlanır.