Springer yazışmaları - Springer correspondence

Matematikte Springer temsilleri belirli temsilleridir Weyl grubu W ilişkili tek kutuplu eşlenik sınıfları bir yarı basit cebirsel grup G. İlgili başka bir parametre var, belirli bir sonlu grubun temsili Bir(sen) kanonik olarak unipotent eşlenik sınıfı tarafından belirlenir. Her çifte (sen, φ) tek kutuplu bir elemandan oluşur sen nın-nin G ve indirgenemez bir temsil φ nın-nin Bir(sen), Weyl grubunun indirgenemez bir temsili veya 0 ilişkilendirilebilir.

${displaystyle (u, phi) E_ {u, phi} quad uin U (G), phi in {widehat {A (u)}}, E_ {u, phi} {widehat {W}}} ile eşleşir}$

sadece eşlenik sınıfına bağlıdır sen ve Weyl grubunun indirgenemez temsilleri ile çiftler arasında bir yazışma üretir (sen, φ) modulo konjugasyonu, adı verilen Springer yazışmaları. Her indirgenemez temsilinin W φ önemsiz olmayan bir gösterim olsa da, yazışmada tam olarak bir kez oluşur. Springer yazışmaları her durumda Lusztig, Spaltenstein ve Shoji tarafından açıkça tanımlanmıştır. Yazışmalar, Lusztig'den kaynaklanan genellemeleri ile birlikte, önemli bir rol oynamaktadır. Lusztig'in sınıflandırması of indirgenemez temsiller nın-nin Lie tipinin sonlu grupları.

İnşaat

Springer yazışmalarına yönelik çeşitli yaklaşımlar geliştirilmiştir. T. A. Springer orijinal inşaatı (1976) bir eylemi tanımlayarak devam etti W üst boyutlu l-adik kohomoloji grupları cebirsel çeşitlilik B_sen of Borel alt grupları nın-nin G belirli bir tek kutuplu eleman içeren sen bir yarı basit cebirsel grup G sonlu bir alan üzerinde. Bu yapı, bazı teknik varsayımları da ortadan kaldıran Lusztig (1981) tarafından genelleştirildi. Springer daha sonra rasyonel katsayılar ve karmaşık cebirsel gruplarla sıradan kohomolojiyi kullanarak farklı bir yapı (1978) verdi.

Kazhdan ve Lusztig, Springer temsillerinin topolojik yapısını Steinberg çeşidi ve iddiaya göre keşfedildi Kazhdan – Lusztig polinomları süreç içerisinde. Genelleştirilmiş Springer yazışmaları, Lusztig-Spaltenstein (1985) ve Lusztig tarafından karakter demetleri. Borho ve MacPherson (1983), Springer yazışmalarının bir başka yapısını daha verdi.

Misal

İçin özel doğrusal grup SL_nUnipotent eşlenik sınıfları şu şekilde parametrelendirilir: bölümler nın-nin n: Eğer sen tek kutuplu bir elemandır, karşılık gelen bölüm, Jordan blokları nın-nin sen. Tüm gruplar Bir(sen) önemsizdir.

Weyl grubu W ... simetrik grup S_n açık n harfler. Karakteristik sıfır alan üzerindeki indirgenemez gösterimleri de aşağıdaki bölümlerle parametreleştirilir: n. Bu durumda Springer yazışması bir bijeksiyondur ve standart parametrelendirmelerde, bölümlerin aktarılmasıyla verilir (böylece Weyl grubunun önemsiz temsili normal tek kutuplu sınıfa karşılık gelir ve işaret gösterimi kimlik unsuruna karşılık gelir G).

Başvurular

Springer yazışmalarının sınıflandırılmasıyla yakından ilişkili olduğu ortaya çıktı. ilkel idealler içinde evrensel zarflama cebiri karmaşık yarı basit Lie cebiri hem genel bir ilke hem de teknik bir araç olarak. Birçok önemli sonucun sebebi Anthony Joseph. Borho tarafından geometrik bir yaklaşım geliştirildi, Brylinski ve MacPherson.

Referanslar

• Walter Borho, Jean-Luc Brylinski ve Robert MacPherson. Nilpotent yörüngeleri, ilkel idealler ve karakteristik sınıflar. Halka teorisinde geometrik bir perspektif. Matematikte İlerleme, 78. Birkhäuser Boston, Inc., Boston, MA, 1989. ISBN  0-8176-3473-8
• W. Borho ve R.MacPherson. Nilpotent çeşitlerin kısmi çözünürlükleri. Tekil uzaylarda analiz ve topoloji, II, III (Luminy, 1981), 23–74, Astérisque, 101-102, Soc. Matematik. Fransa, Paris, 1983.
• D. Kazhdan ve G. Lusztig Springer'in temsiline topolojik bir yaklaşım, Adv. Matematik. 38 (1980) 222–228.
• G. Lusztig. Yeşil polinomlar ve tek kutuplu sınıfların tekillikleri. Adv. matematikte. 42 (1981), 169–178.
• G. Lusztig ve N. Spaltenstein. Klasik gruplar için genelleştirilmiş Springer yazışmaları hakkında. Saf Matematikte İleri Çalışmalar, cilt. 6 (1985), 289–316.
• N. Spaltenstein. İstisnai gruplar için genelleştirilmiş Springer yazışmaları hakkında. Saf Matematikte İleri Çalışmalar, cilt. 6 (1985), 317–338.
• Springer, T.A. (1976), "Trigonometrik toplamlar, Sonlu grupların Green fonksiyonları ve Weyl gruplarının gösterimleri", İcat etmek. Matematik., 36: 173–207, Bibcode:1976 InMat..36..173S, doi:10.1007 / BF01390009, BAY  0442103
• Springer, T.A. Weyl gruplarının temsillerinden oluşan bir yapı. İcat etmek. Matematik. 44 (1978), hayır. 3, 279–293. BAY0491988 doi:10.1007 / BF01403165
• Springer, T.A. Quelques applications de la cohomologie intersection. Séminaire Bourbaki, exposé 589, Astérisque 92–93 (1982).