Macdonald polinomları - Macdonald polynomials

Matematikte, Macdonald polinomları Pλ(x; t,q) bir ailedir dikey simetrik çeşitli değişkenlerdeki polinomlar Macdonald Daha sonra 1995'te simetrik olmayan bir genellemeyi tanıttı. Macdonald ilk olarak polinomlarını sonlu kök sistemlerinin ağırlıkları λ ile ilişkilendirdi ve sadece bir değişken kullandı t, ancak daha sonra onları ilişkilendirmenin daha doğal olduğunu fark etti afin kök sistemleri sonlu kök sistemleri yerine, bu durumda değişken t birkaç farklı değişkenle değiştirilebilir t=(t1,...,tk), her biri için bir k afin kök sistemindeki kök yörüngeleri. Macdonald polinomları, polinomlardır. n değişkenler x=(x1,...,xn), nerede n afin kök sisteminin sıralamasıdır. Diğer birçok ortogonal polinom ailesini genelleştirir, örneğin Jack polinomları ve Hall-Littlewood polinomları ve Askey-Wilson polinomları özel durumlar olarak adlandırılan 1 değişkenli ortogonal polinomların çoğunu içerir. Koornwinder polinomları belirli indirgenmemiş kök sistemlerinin Macdonald polinomlarıdır. İle derin ilişkileri var affine Hecke cebirleri ve Hilbert şemaları Macdonald tarafından onlar hakkında yapılan birkaç varsayımı kanıtlamak için kullanıldı.

Tanım

Önce bazı gösterimleri düzeltin:

  • R sonlu kök sistem gerçek bir vektör uzayında V.
  • R+ bir seçimdir pozitif kökler, buna olumlu karşılık gelen Weyl odası.
  • W ... Weyl grubu nın-nin R.
  • Q kök kafesidir R (köklerin yaydığı kafes).
  • P ... ağırlık kafes nın-nin R (kapsamak Q).
  • Bir ağırlıklar üzerinde sipariş: ancak ve ancak negatif olmayan doğrusal bir kombinasyondur basit kökler.
  • P+ baskın ağırlık kümesidir: unsurları P pozitif Weyl odasında.
  • ρ, Weyl vektör: pozitif köklerin toplamının yarısı; bu özel bir unsurdur P+ pozitif Weyl odasının iç kısmında.
  • F genellikle rasyonel sayılar olan, karakteristik 0 olan bir alandır.
  • Bir = F(P) grup cebiri nın-nin P, yazılı unsurların temeli ile eλ λ ∈ için P.
  • Eğer f = eλ, sonra f anlamına geliyor e−λve bu doğrusallıkla tüm grup cebirine genişletilir.
  • mμ = Σλ ∈ Wμeλ yörünge toplamıdır; bu elemanlar alt cebir için bir temel oluşturur BirW tarafından sabitlenen elemanların sayısı W.
  • , sonsuz q-Pochhammer sembolü.
  • iki öğenin iç çarpımıdır Biren azından ne zaman t pozitif tamsayı kuvveti q.

Macdonald polinomları Pλ λ ∈ için P+ aşağıdaki iki koşulla benzersiz bir şekilde tanımlanır:

nerede senλμ rasyonel bir işlevdir q ve t ile senλλ = 1;
Pλ ve Pμ λ <μ ise ortogonaldir.

Başka bir deyişle, Macdonald polinomları için bariz temelin ortogonalleştirilmesiyle elde edilir. BirW. Bu özelliklere sahip polinomların varlığının gösterilmesi kolaydır (herhangi bir iç çarpım için). Macdonald polinomlarının önemli bir özelliği, dikey: 〈Pλ, PμΛ ≠ μ olduğunda〉 = 0. Bu, tanımın önemsiz bir sonucu değildir çünkü P+ tamamen sıralı değildir ve bu yüzden kıyaslanamaz birçok unsuru vardır. Bu nedenle karşılık gelen polinomların hala ortogonal olup olmadığı kontrol edilmelidir. Ortogonalite, Macdonald polinomlarının, 1 boyutlu özuzaylarla kendine eşlenik operatörleri değiştiren bir cebir için özvektörler olduğunu göstererek ve farklı özdeğerler için özuzayların ortogonal olması gerektiği gerçeğini kullanarak kanıtlanabilir.

Basit bağlanmamış kök sistemleri (B, C, F, G) durumunda, parametre t Kökün uzunluğuna göre değişmek üzere seçilerek, üç parametreli bir Macdonald polinomları ailesi elde edilir. Tanım indirgenmemiş BC kök sistemine de genişletilebilir, bu durumda altı parametreli bir aile elde edilir (bir t her kök yörüngesi için artı q) olarak bilinir Koornwinder polinomları. Bazen Macdonald polinomlarını muhtemelen indirgenmemiş afin kök sistemine bağlı olarak kabul etmek daha iyidir. Bu durumda, bir parametre vardır t afin kök sistemindeki her kök yörüngesiyle ilişkili, artı bir parametre q. Köklerin yörünge sayısı 1 ile 5 arasında değişebilir.

Örnekler

  • Eğer q = t Macdonald polinomları, Weyl karakterleri kök sistemin kompakt grubunun veya türünün kök sistemleri durumunda Schur işlevlerinin temsillerinin Bir.
  • Eğer q = 0 Macdonald polinomları (yeniden ölçeklendirilmiş) olur bölgesel küresel fonksiyonlar yarı basit için p-adic grup veya Hall-Littlewood polinomları kök sistem türü olduğunda Bir.
  • Eğer t= 1 Macdonald polinomları toplamları olur W kök sistem tipine sahip olduğunda tek terimli simetrik fonksiyonlar olan yörüngeler Bir.
  • Koyarsak t = qα ve izin ver q 1 Macdonald polinomları olma eğilimindedir Jack polinomları kök sistem türü olduğunda Bir, ve Heckman-Opdam polinomları daha genel kök sistemleri için.
  • Afin kök sistemi için Bir1Macdonald polinomları, Rogers polinomları.
  • İndirgenmemiş rank 1 afin kök sistemi türü için (C
    1
    , C1), Macdonald polinomları Askey-Wilson polinomları Bu da özel durumlar olarak, 1 değişkendeki ortogonal polinomların adlandırılmış ailelerinin çoğunu içerir.
  • İndirgenmemiş afin kök sistemi türü için (C
    n
    , Cn), Macdonald polinomları Koornwinder polinomları.

Macdonald sabit terim varsayımı

Eğer t = qk bazı pozitif tamsayılar için kMacdonald polinomlarının normu şu şekilde verilir:

Bu, Macdonald (1982) tarafından Dyson varsayımı ve Cherednik (1995) tarafından tüm (azaltılmış) kök sistemleri için aşağıdaki özellikleri kullanarak kanıtlanmıştır. çift ​​afin Hecke cebirleri. Bu varsayım, daha önce, türler dışındaki tüm kök sistemleri için durum bazında kanıtlanmıştı. En birkaç yazar tarafından.

Bu bağlamda norm varsayımıyla birlikte topluca Macdonald varsayımları olarak anılan iki başka varsayım daha vardır: Norm formülüne ek olarak, Macdonald değeri için bir formül varsaydı. Pλ noktada tρve bir simetri

Yine, bunlar genel olarak azaltılmış kök sistemleri için kanıtlandı. Cherednik  (1995 ), kullanarak çift ​​afin Hecke cebirleri kısa bir süre sonra van Diejen, Noumi ve Sahi'nin çalışmaları aracılığıyla BC davasına genişletme ile.

Macdonald pozitiflik varsayımı

Tip kök sistemleri durumunda Birn−1 Macdonald polinomları, basitçe simetrik polinomlardır. n rasyonel fonksiyonları olan katsayılara sahip değişkenler q ve t. Belirli bir dönüştürülmüş versiyon Macdonald polinomlarının (bkz. Kombinatoryal formül aşağıda) simetrik fonksiyonların uzayının ortogonal bir temelini oluşturur. ve bu nedenle terimleriyle ifade edilebilir Schur fonksiyonları . Katsayılar Kλμ(q,t) bu ilişkilerin adı Kostka-Macdonald katsayıları veya qt-Kostka katsayıları: Macdonald, Kostka-Macdonald katsayılarının polinomlar olduğunu varsaydı. q ve t negatif olmayan tamsayı katsayıları ile. Bu varsayımlar artık kanıtlanmıştır; en zor ve son adım, pozitifliği kanıtlamaktı. Mark Haiman (2001), kanıtlayarak n! varsayım.

Cebirsel kombinatorikte hala merkezi bir açık problemdir. qt-Kostka katsayıları.

n! varsayım

n! varsayım nın-nin Adriano Garsia ve Mark Haiman her μ bölümü için n boşluk

tüm yüksek kısmi türevleri tarafından

boyut var n!, nerede (pj, qj) içinden geçmek n bölüm diyagramının elemanları, negatif olmayan tam sayı çiftlerinin bir alt kümesi olarak kabul edilir. Örneğin, μ bölümü 3 = 2 + 1 ise n = 3 sonra çiftler (pj, qj) (0, 0), (0, 1), (1, 0) ve boşluk Dμ tarafından kapsanıyor

6 = 3 boyutuna sahip olan !.

Haiman'ın Macdonald pozitifliği varsayımı ve n! varsayım, izospektral Hilbert şeması nın-nin n bir uçaktaki noktalar Cohen – Macaulay (ve hatta Gorenstein ). Haiman ve Garsia'nın önceki sonuçları, bunun şu anlama geldiğini zaten göstermişti: n! varsayım ve n! varsayımı, Kostka-Macdonald katsayılarının modüller için karakter çokluklarında derecelendirildiğini ima etti Dμ. Bu hemen Macdonald pozitiflik varsayımını ima eder çünkü karakter çoklukları negatif olmayan tamsayılar olmalıdır.

Ian Grojnowski ve Mark Haiman, Macdonald pozitiflik varsayımının başka bir kanıtı için bir pozitiflik varsayımı olduğunu kanıtladı. LLT polinomları.

Macdonald polinomları için kombinatoryal formül

2005 yılında J. Haglund, M. Haiman ve N. Loehr[1] Macdonald polinomlarının kombinatoryal yorumunun ilk kanıtını verdi. Hesaplama için çok yararlı ve kendi başına ilginç olsa da, bu kombinatoryal formül, Kostka-Macdonald katsayılarının pozitifliğini hemen ima etmez. Macdonald polinomlarının Schur fonksiyonları yerine tek terimli simetrik fonksiyonlara ayrışmasını sağladığı için.

İçeren formül dönüştürülmüş Macdonald polinomları her zamankinden ziyade , olarak verilir

σ, Genç diyagram μ şeklinde, inv ve maj σ doldurmasında tanımlanan bazı kombinatoryal istatistikler (fonksiyonlar). Bu formül, Macdonald polinomlarını sonsuz sayıda değişkenle ifade eder. Polinomları elde etmek için n değişkenler, formülü yalnızca 1, 2, ..., tam sayılarını kullanan dolgularla sınırlayın. n. Dönem xσ olarak yorumlanmalıdır nerede σben μ içerikle doldurulduğunda kutu sayısıdır ben.

Bu, Young diyagramının bir karesinin kolunu ve ayağını tasvir ediyor. Kol, sağındaki karelerin sayısı ve bacak, üstündeki karelerin sayısıdır.

Dönüştürülmüş Macdonald polinomları yukarıdaki formülde klasik Macdonald polinomları ile ilgilidir bir dizi dönüşüm yoluyla. İlk önce integral formu Macdonald polinomlarının , yeniden ölçeklendirilmesidir katsayıların paydalarını temizleyen:

nerede Young diyagramındaki karelerin koleksiyonudur. , ve ve belirtmek kol ve bacak meydanın , şekilde gösterildiği gibi. Not: Sağdaki şekil, Young diyagramları için Wikipedia sayfasında kullanılan İngilizce gösterimden dikey olarak çevrilen tablo için Fransız gösterimini kullanır. Fransız notasyonu daha çok Macdonald polinomları çalışmasında kullanılır.

Dönüştürülmüş Macdonald polinomları daha sonra şu terimlerle tanımlanabilir: 's. Sahibiz

nerede

Yukarıdaki parantez gösterimi, pletistik ikame.

Bu formül, Knop ve Sahi'nin formülünü kanıtlamak için kullanılabilir. Jack polinomları.

Simetrik olmayan Macdonald polinomları

1995'te Macdonald, simetrik Macdonald polinomlarının simetrik olmayan bir analoğunu tanıttı ve simetrik Macdonald polinomları simetrik olmayan muadilinden kolayca kurtarılabilir. Orijinal tanımında, simetrik olmayan Macdonald polinomlarının benzersiz bir aile olduğunu gösteriyor belirli bir iç ürüne ortogonal olan ve tek terimli bazda genişletildiğinde bir üçgenlik özelliğini karşılayan polinomların sayısı.

2007'de Haglund, Haiman ve Loehr simetrik olmayan Macdonald polinomları için bir kombinasyon formülü verdi.

Simetrik olmayan Macdonald polinomları q = t = 0 alarak Demazure karakterlerinde ve q = t = ∞ olduğunda anahtar polinomlarda uzmanlaşır.

Hariç tutma sürecine dayalı kombinatoryal formüller

2018 yılında S. Corteel, O. Mandelshtam ve L. Williams hem simetrik hem de simetrik olmayan Macdonald polinomlarının doğrudan kombinatoryal karakterizasyonunu vermek için dışlama sürecini kullandı.[2] Sonuçları, Haglund'un önceki çalışmasından kısmen farklıdır, çünkü bunların bir dönüşümü yerine doğrudan Macdonald polinomları için bir formül verirler. Toplar ve komşuları arasında bir eşleme ve bir kombinatoryal etiketleme mekanizması ile birlikte toplar veya boş hücreler içeren bir matris olan çok satırlı bir sıra kavramını geliştirirler. Simetrik olmayan Macdonald polinomu bu durumda şunları sağlar:

toplamın bittiği yerde çok satırlı tür kuyrukları ve bu kuyrukları belirli polinomlara eşleyen bir ağırlıklandırma fonksiyonudur. Simetrik Macdonald polinomu şunları karşılar:

dış toplamın tüm farklı kompozisyonların üzerinde olduğu hangilerinin permütasyonları ve iç toplam eskisi gibidir.

Referanslar

  1. ^ Haglund, J .; Haiman, M .; Loehr, N. (2005), "Macdonald polinomları için bir birleşimsel formül", Amerikan Matematik Derneği Dergisi, 18 (3): 735–761, doi:10.1090 / S0894-0347-05-00485-6, ISSN  0894-0347, BAY  2138143
  2. ^ Corteel, Sylvie; Mandelshtam, Olya; Williams, Lauren (2018), "Çok satırlı kuyruklardan dışlama süreci aracılığıyla Macdonald polinomlarına", arXiv:1811.01024 [math.CO ]

Kaynakça

Dış bağlantılar