Kazhdans özelliği (T) - Kazhdans property (T) - Wikipedia

İçinde matematik, bir yerel olarak kompakt topolojik grup G vardır özellik (T) Eğer önemsiz temsil bir izole nokta onun içinde üniter ikili ile donatılmış Topoloji düştü. Gayri resmi olarak bu, eğer G hareketler birimsel bir Hilbert uzayı ve "neredeyse değişmez vektörlere" sahipse, sıfırdan farklı bir değişmez vektör. Tarafından sunulan biçimsel tanım David Kazhdan (1967 ), buna kesin, nicel bir anlam verir.

Başlangıçta açısından tanımlanmış olmasına rağmen indirgenemez temsiller, mülkiyet (T), üniter ikili hakkında çok az bilgi olsa veya hiç açık bilgi olmadığında bile sıklıkla kontrol edilebilir. Mülkiyet (T) aşağıdakiler için önemli uygulamalara sahiptir: grup temsil teorisi, yerel alanlar üzerinde cebirsel gruplardaki kafesler, ergodik teori, geometrik grup teorisi, genişleticiler, operatör cebirleri ve ağlar teorisi.

Tanımlar

İzin Vermek G σ-kompakt, yerel olarak kompakt topolojik grup ve π: GU(H) bir üniter temsil nın-nin G (karmaşık) bir Hilbert uzayında H. Eğer ε> 0 ve K kompakt bir alt kümesidir G, sonra bir birim vektör ξ in H denir (ε, K) -variant vektör Eğer

Aşağıdaki koşullar G hepsi eşdeğerdir G sahip olmak özellik (T) nın-nin Kazhdan ve bunlardan herhangi biri özelliğin tanımı (T) olarak kullanılabilir.

(1) önemsiz temsil bir izole nokta of üniter ikili nın-nin G ile Topoloji düştü.

(2) Herhangi bir dizi sürekli pozitif tanımlı fonksiyonlar açık G 1'e yakınsamak tekdüze açık kompakt alt kümeler üzerinde tekdüze olarak 1'e yakınsar G.

(3) Her üniter temsil nın-nin G (ε, K) - herhangi bir ε> 0 ve herhangi bir kompakt alt küme için değişken birim vektör K, sıfır olmayan değişmez bir vektöre sahiptir.

(4) Bir ε> 0 ve kompakt bir alt küme vardır K nın-nin G öyle ki her üniter temsili G (ε, K) -değişmeyen birim vektör, sıfırdan farklı bir değişmez vektöre sahiptir.

(5) Her sürekli afin eş ölçülü aksiyon nın-nin G bir gerçek Hilbert uzayı sabit bir noktaya sahiptir (özellik (FH)).

Eğer H bir kapalı alt grup nın-nin G, çift (G,H) sahip olduğu söyleniyor göreli özellik (T) nın-nin Margulis ε> 0 ve kompakt bir alt küme varsa K nın-nin G öyle ki, üniter bir temsili olduğunda G bir (ε, K) -invariant birim vektör, sonra sıfır olmayan bir vektör ile sabitlenmiş H.

Tartışma

Tanım (4), açıkça tanım (3) 'ü ima etmektedir. Sohbeti göstermek için izin ver G tatmin edici yerel olarak kompakt bir grup olun (3), çelişki ile K ve ε bir (K, ε) -değişken birim vektör ve değişmez bir vektöre sahip değildir. Tüm bu tür temsillerin doğrudan toplamına bakın ve bu (4) yadsınacaktır.

(4) ve (5) (Özellik (FH)) 'nin denkliği Delorme-Guichardet teoremidir. (5) 'in (4)' ü ima etmesi gerçeği şu varsayımı gerektirir: G σ-kompakttır (ve yerel olarak kompakttır) (Bekka ve diğerleri, Theorem 2.12.4).

Genel Özellikler

  • Özellik (T) bölümler altında korunur: eğer G (T) özelliği vardır ve H bir bölüm grubu nın-nin G sonra H özelliği vardır (T). Aynı şekilde, bir grubun homomorfik bir görüntüsü G yapar değil özelliği var (T) o zaman G kendisinin özelliği (T) yoktur.
  • Eğer G özelliği (T) varsa G/[G, G] kompakttır.
  • (T) özelliğine sahip herhangi bir sayılabilir ayrık grup sonlu olarak üretilir.
  • Bir uygun grup (T) özelliğine sahip olan kompakt. Kolaylık ve özellik (T) kabaca zıttır: neredeyse değişmez vektörleri bulmayı kolay veya zor hale getirir.
  • Kazhdan teoremi: Eğer Γ bir kafes bir Lie grubunda G o zaman Γ (T) özelliğine sahiptir ancak ve ancak G özelliği vardır (T). Böylece n ≥ 3, özel lineer grup SL (n, Z) (T) özelliğine sahiptir.

Örnekler

  • Kompakt topolojik gruplar özelliği var (T). Özellikle, çevre grubu, katkı grubu Zp nın-nin p-adic tamsayılar, kompakt özel üniter gruplar SU (n) ve tüm sonlu grupların özelliği (T) vardır.
  • Basit gerçek Lie grupları gerçek sıra en az ikisinin özelliği (T) vardır. Bu grup ailesi şunları içerir: özel doğrusal gruplar SL (n, R) için n ≥ 3 ve özel ortogonal gruplar YANİ(p,q) için p > q ≥ 2 ve SO (p,p) için p ≥ 3. Daha genel olarak, bu basit cebirsel gruplar a üzerinde en az iki sırada yerel alan.
  • Çiftler (Rn ⋊ SL (n, R), Rn) ve (Zn ⋊ SL (n, Z), Zn) göreceli özelliği (T) var n ≥ 2.
  • İçin n ≥ 2, kompakt olmayan Lie grubu Sp (n, 1) a'nın izometrilerinin kuaterniyonik münzevi formu imza (n, 1) (T) özelliğine sahip olan gerçek rank 1'in basit bir Lie grubudur. Kazhdan teoremine göre, bu gruptaki kafeslerin özelliği (T) vardır. Bu yapı önemlidir çünkü bu kafesler hiperbolik gruplar; bu nedenle, hiperbolik ve özelliği (T) olan gruplar vardır. Bu kategorideki grupların açık örnekleri, Sp'deki aritmetik kafeslerle sağlanır (n, 1) ve belirli kuaterniyonik yansıma grupları.

Gruplara örnekler yapamaz özelliği var (T) dahil

  • Tam sayıların toplamsal grupları Z, gerçek sayılar R ve p-adic sayılar Qp.
  • Özel lineer gruplar SL (2, Z) ve SL (2, R), önemsiz gösterime yakın tamamlayıcı seri temsillerinin varlığının bir sonucu olarak, SL (2,Z), Selberg teoremine göre, temel uyum alt gruplarına göre (τ) özelliğine sahiptir.
  • Kompakt olmayan çözülebilir gruplar.
  • Önemsiz ücretsiz gruplar ve serbest değişmeli gruplar.

Ayrık gruplar

Tarihsel olarak özellik (T), ayrı gruplar için Γ, özelliğe (T) sahip gerçek veya p-adik Lie gruplarına kafesler olarak gömülerek oluşturuldu. Artık birkaç doğrudan yöntem mevcuttur.

  • cebirsel Şalom yöntemi Γ = SL (n, R) ile R bir yüzük ve n ≥ 3; yöntem, Γ'nin olabileceği gerçeğine dayanır sınırlı olarak oluşturulmuş yani, belirli bir diyagonal dışı pozisyonda özdeşlik matrisinden farklı olan matrislerden oluşan temel alt gruplar gibi daha kolay alt grupların sonlu bir ürünü olarak ifade edilebilir.
  • geometrik yöntemin kökenleri Garland'ın fikirlerine dayanır, Gromov ve Pierre Pansu. En basit kombinatoryal versiyonu Zuk'tan kaynaklanmaktadır: Γ sonlu bir altküme tarafından oluşturulan ayrık bir grup olsun S, ters alma altında kapalı ve kimliği içermeyen ve sonlu grafik köşelerle S ve arasında bir kenar g ve h her ne zaman g−1h yatıyor S. Bu grafik bağlıysa ve sıfır olmayan en küçük özdeğer ise Laplacian Karşılık gelen basit rastgele yürüyüşün% 'si ½' den büyüktür, bu durumda T özelliği (T) 'ye sahiptir. Daha genel bir geometrik versiyon, Zuk ve Ballmann ve Swiatkowski (1997), ayrı bir grup Γ'nin uygun şekilde süreksiz olarak ve birlikte bir kasılabilir 2 boyutlu basit kompleks aynı grafik teorik koşulları ile bağlantı her köşede, Γ özelliği (T) olur. Birçok yeni örnek hiperbolik gruplar (T) özelliği olan bu yöntem kullanılarak sergilenebilir.
  • bilgisayar destekli yöntem şu öneriye dayanmaktadır: Narutaka Ozawa ve birkaç araştırmacı tarafından başarıyla uygulanmıştır. Gerçekte bir eşitsizlik açısından özelliğin (T) cebirsel karakterizasyonuna dayanmaktadır. grup cebiri, bunun için bir çözüm bulunabilecek bir yarı belirsiz programlama bilgisayarda sayısal olarak sorun. Özellikle, bu yöntem için özelliği (T) onaylamıştır. serbest grubun otomorfizm grubu en az 5. sırada yer almaktadır. Bu sonuç için hiçbir insan kanıtı bilinmemektedir.

Başvurular

  • Grigory Margulis SL (n, Z) (için n ≥ 3) özelliğe (T) sahiptir. genişleyen grafikler yani, her alt kümenin aynı büyüklükte bir "sınır" a sahip olduğu özelliğine sahip grafikler. Bu bağlantı, açık bir tahmin veren bir dizi yeni çalışmaya yol açtı. Kazhdan sabitleri, belirli bir grup ve bir üretici kümesi için özelliği (T) niceleme.
  • Alain Connes (T) özelliğine sahip ayrık gruplar kullandı. tip II1 faktörler ile sayılabilir temel grup özellikle de tamamı değil pozitif gerçekler+. Sorin Popa daha sonra bir tip II üretmek için ayrı gruplar için göreli özelliği (T) kullandı.1 önemsiz temel grup ile faktör.
  • (T) özelliğine sahip gruplar iyiye götürür karıştırma özellikleri ergodik teori: yine gayri resmi olarak, yavaşça karışan bir süreç bazı alt kümeleri bırakır neredeyse değişmez.[kaynak belirtilmeli ][açıklama gerekli ]
  • Benzer şekilde, (T) özelliğine sahip gruplar, her matrisin sonlu bir matris çarpımı ile yüksek bir doğruluk derecesine yaklaştırılabilmesi anlamında, herhangi bir ters çevrilebilir matrise verimli bir şekilde yaklaşabilen sonlu ters çevrilebilir matris kümelerini oluşturmak için kullanılabilir. Listede veya tersleri, böylece gereken matris sayısı, sayısıyla orantılıdır. önemli basamaklar yaklaşık olarak.[kaynak belirtilmeli ][açıklama gerekli ]
  • (T) özelliğine sahip gruplarda ayrıca Serre'nin mülkü FA.[1]
  • Toshikazu Sunada kapalı bir manifold üzerinde "bükülmüş" bir Laplacian spektrumunun tabanının pozitifliğinin, temel grup.[2] Bu gözlem, Brooks'un sonucunu verir ki bu, spektrumun alt kısmının Laplacian kapalı bir Riemann manifoldu üzerinde evrensel kaplama manifoldu üzerinde M sıfıra eşittir ancak ve ancak temel grubu M dır-dir uygun.[3]

Referanslar

  1. ^ Watatani, Yasuo (1981). "Kazhdan'ın T Mülkiyeti, Serre'nin FA'sının mülkiyeti anlamına gelir". Matematik. Japon. 27: 97–103. BAY  0649023. Zbl  0489.20022.
  2. ^ Sunada, Toshikazu (1989). "Temel grupların üniter temsilleri ve çarpık Laplacians spektrumu". Topoloji. 28 (2): 125–132. doi:10.1016/0040-9383(89)90015-3.
  3. ^ Brooks, Robert (1981). "Laplacian'ın temel grubu ve spektrumu". Yorum Yap. Matematik. Helv. 56: 581–598. doi:10.1007 / bf02566228.