Kazhdan-Margulis teoremi - Kazhdan–Margulis theorem

İçinde Yalan teorisi, sahası matematik, Kazhdan-Margulis teoremi olduğunu iddia eden bir ifadedir ayrık alt grup içinde yarı basit Lie grupları grupta çok yoğun olamaz. Daha kesin olarak, böyle herhangi bir Lie grubunda bir üniforma vardır Semt of kimlik öğesi öyle ki gruptaki her kafes bir eşlenik bu mahalle ile kesişimi sadece kimliği içeren. Bu sonuç altmışlı yıllarda David Kazhdan ve Grigori Margulis.^[1]

Açıklama ve açıklamalar

Kazhdan-Margulis teoreminin resmi ifadesi aşağıdaki gibidir.

İzin Vermek ${ displaystyle G}$ yarı basit bir Lie grubu olun: açık bir mahalle var ${ displaystyle U}$ kimliğin ${ displaystyle e}$ içinde ${ displaystyle G}$ öyle ki herhangi bir ayrık alt grup için ${ displaystyle Gama alt küme G}$ bir unsur var $G'de { displaystyle g }$ doyurucu ${ displaystyle g Gama g ^ {- 1} cap U = {e }}$.

Genel Lie gruplarında bu ifadenin doğru olmaktan uzak olduğuna dikkat edin; özellikle, bir üstelsıfır Lie grubu, kimliğin herhangi bir mahallesi için, grupta mahalle ile kesişmesi tarafından oluşturulan bir kafes vardır: örneğin, ${ displaystyle mathbb {R} ^ {n}}$kafes ${ displaystyle varepsilon mathbb {Z} ^ {n}}$ için bu mülkü karşılar ${ displaystyle varepsilon> 0}$ yeterince küçük.

Kanıt

Kendi başına ilginç olan ve yukarıdaki daha iyi bilinen ifadenin hemen ardından gelen Kazhdan-Margulis'in ana teknik sonucu şudur.^[2]

Kompakt faktörleri olmayan yarı basit bir Lie grubu verildiğinde ${ displaystyle G}$ bir norm ile donatılmış ${ displaystyle | cdot |}$var ${ displaystyle c> 1}$mahalle ${ displaystyle U_ {0}}$ nın-nin ${ displaystyle e}$ içinde ${ displaystyle G}$kompakt bir alt küme ${ displaystyle E alt küme G}$ öyle ki, herhangi bir ayrı alt grup için ${ displaystyle Gama alt küme G}$ var bir ${ displaystyle g E’de}$ öyle ki ${ displaystyle | g gamma g ^ {- 1} | geq c | gamma |}$ hepsi için ${ displaystyle gamma in Gamma cap U_ {0}}$.

Komşuluk ${ displaystyle U_ {0}}$ olarak elde edilir Zassenhaus mahallesi kimliğin ${ displaystyle G}$: teorem daha sonra standart Lie-teorik argümanları takip eder.

Doğası gereği daha geometrik olan ve daha fazla bilgi verebilecek başka deliller de vardır. ^[3]

Başvurular

Selberg'in hipotezi

Kazhdan-Margulis'in motivasyonlarından biri, o zamanlar şöyle bilinen aşağıdaki ifadeyi kanıtlamaktı. Selberg'in hipotezi (hatırlayın ki kafes denir üniforma bölüm alanı kompaktsa):

Yarı basit bir Lie grubundaki bir kafes, yalnızca ve ancak bir unipotent öğesi.

Bu sonuç, Kazhdan-Margulis teoreminin daha teknik versiyonundan ve yalnızca tek yönlü elemanların keyfi olarak (belirli bir eleman için) kimliğe yakın konjuge edilebildiği gerçeğinden kaynaklanmaktadır.

Yerel olarak simetrik uzayların hacimleri

Teoremin bir sonucu şudur: yerel simetrik uzaylar ve yarı basit bir Lie grubundaki kafeslerle ilişkili orbifoldlar keyfi olarak küçük hacme sahip olamaz (Haar ölçümü için bir normalizasyon verildiğinde).

Hiperbolik yüzeyler için bu, Siegel'den kaynaklanmaktadır ve açık bir alt sınırı vardır. ${ displaystyle pi / 21}$ bir bölümün en küçük hacmi için hiperbolik düzlem bir kafes tarafından ${ displaystyle mathrm {PSL} _ {2} ( mathbb {R})}$ (görmek Hurwitz'in otomorfizm teoremi ). Hiperbolik üç-manifoldlar için, minimal hacmin kafesi bilinmektedir ve onun hacmi yaklaşık 0.0390'dır.^[4] Daha yüksek boyutlarda, minimum hacmin kafesini bulma sorunu hala açıktır, ancak bu, alt sınıfıyla sınırlandırıldığında çözülmüştür. aritmetik gruplar.^[5]

Wang'ın sonluluk teoremi

Birlikte yerel sertlik ve sonlu kafes kuşağı Kazhdan-Marguilis teoremi, Wang'ın sonluluk teoreminin ispatında önemli bir bileşendir.

Eğer ${ displaystyle G}$ yerel olarak izomorfik olmayan basit bir Lie grubudur ${ displaystyle mathrm {SL} _ {2} ( mathbb {R})}$ veya ${ displaystyle mathrm {SL} _ {2} ( mathbb {C})}$ sabit bir Haar ölçüsü ve ${ displaystyle v> 0}$ içinde yalnızca sonlu sayıda kafes vardır ${ displaystyle G}$ daha az covolume ${ displaystyle v}$.

Ayrıca bakınız

• Margulis lemma

Notlar

Referanslar

• Gelander, Tsachik. "Kafesler ve yerel simetrik uzaylar üzerine dersler". Bestvina, Mladen'de; Sageev, Michah; Vogtmann, Karen (editörler). Geometrik grup teorisi. sayfa 249–282. arXiv:1402.0962. Bibcode:2014arXiv1402.0962G.CS1 bakimi: ref = harv (bağlantı)
• Raghunathan, M.S. (1972). Lie gruplarının ayrık alt grupları. Ergebnisse de Mathematik ve ihrer Grenzgebiete. Springer-Verlag. BAY  0507234.