Witten varsayımı - Witten conjecture

İçinde cebirsel geometri, Witten varsayımı hakkında bir varsayım kavşak numaraları istikrarlı sınıfların eğrilerin modül uzayı, tarafından tanıtıldı Edward Witten kağıtta Witten  (1991 ) ve genelleştirilmiştir Witten (1993). Witten'in orijinal varsayımı, Maxim Kontsevich kağıtta Kontsevich (1992).

Witten'in varsayım için motivasyonu, iki farklı 2 boyutlu modelin kuantum yerçekimi aynı bölüm işlevine sahip olmalıdır. Bu modellerden biri için bölümleme işlevi, üzerindeki kesişme numaraları cinsinden tanımlanabilir. modül yığını nın-nin cebirsel eğriler, ve bölme fonksiyonu diğeri için τ fonksiyonunun logaritması KdV hiyerarşisi. Bu bölümleme fonksiyonlarının belirlenmesi, Witten'in, kesişim numaralarından oluşan belirli bir üretim fonksiyonunun KdV hiyerarşisinin diferansiyel denklemlerini karşılaması gerektiği varsayımını verir.

Beyan

Farz et ki M_g,n cinsin kompakt Riemann yüzeylerinin modül yığınıdır g ile n farklı işaretlenmiş noktalar x₁,...,x_n, ve M_g,n onun Deligne-Mumford kompaktlaştırmasıdır. Var n hat demetleri L_ben açık M_g,n, moduli yığının bir noktasındaki lifi, işaretlenen noktada Riemann yüzeyinin kotanjant alanı tarafından verilen x_ben. Kesişim indeksi 〈τ_d1, ..., τ_dn〉, Π'nin kesişme indeksidir c₁(L_ben)^d_ben açık M_g,n nerede Σd_ben = sönükM_g,n = 3g – 3 + nve 0 yoksa böyle g var, nerede c₁ İlk mi Chern sınıfı bir hat demetinin. Witten'in oluşturma işlevi

${ displaystyle F (t_ {0}, t_ {1}, ldots) = sum langle tau _ {0} ^ {k_ {0}} tau _ {1} ^ {k_ {1}} cdots rangle prod _ {i geq 0} { frac {t_ {i} ^ {k_ {i}}} {k_ {i}!}} = { frac {t_ {0} ^ {3}} {6}} + { frac {t_ {1}} {24}} + { frac {t_ {0} t_ {2}} {24}} + { frac {t_ {1} ^ {2}} {24}} + { frac {t_ {0} ^ {2} t_ {3}} {48}} + cdots}$

tüm kesişim indislerini katsayıları olarak kodlar.

Witten'in varsayımı, bölümleme işlevinin Z = exp F için bir τ işlevidir KdV hiyerarşisi başka bir deyişle, temele karşılık gelen belirli bir dizi kısmi diferansiyel denklemi karşılar ${ displaystyle {L _ {- 1}, L_ {0}, L_ {1}, ldots }}$ of Virasoro cebiri.

Kanıt

Kontsevich, şerit grafikler açısından modül uzaylarının kombinatoryal bir açıklamasını kullandı.

${ displaystyle sum _ {d_ {1} + cdots + d_ {n} = 3g-3 + n} langle tau _ {d_ {1}}, ldots, tau _ {d_ {n}} rangle prod _ {1 leq i leq n} { frac {(2d_ {i} -1) !!} { lambda _ {i} ^ {2d_ {i} +1}}} = toplam _ { Gama G_ {g, n}} { frac {2 ^ {- | X_ {0} |}} {| { text {Aut}} Gama |}} prod _ {e içinde X_ {1}} { frac {2} { lambda (e)}}}$

İşte sağdaki toplam setin üzerinde G_g,n şerit grafiklerin X cinsin kompakt Riemann yüzeylerinin g ile n işaretli noktalar. Kenar seti e ve noktaları X ile gösterilir X ₀ ve X₁. Λ işlevi, işaretli noktalardan gerçeklere kadar bir işlev olarak düşünülür ve kenarın her iki tarafına karşılık gelen iki işaretli noktada λ toplamına eşit bir kenarın λ ayarlanmasıyla şerit grafiğin kenarlarına genişletilir.

Feynman diyagram teknikleriyle, bu şu anlama gelir: F(t₀, ...) bir asimptotik genişlemesidir

${ displaystyle log int exp (i { text {tr}} X ^ {3} / 6) d mu}$

Λ sonsuza ödünç verdiği gibi, Λ ve Χ pozitif tanımlıdır N tarafından N Hermit matrisleri ve t_ben tarafından verilir

${ displaystyle t_ {i} = { frac {- { text {tr}} Lambda ^ {- 1-2i}} {1 times 3 times 5 times cdots times (2i-1)} }}$

ve pozitif tanımlı hermityan matrisler üzerindeki olasılık ölçüsü μ ile verilir

${ displaystyle d mu = c _ { Lambda} exp (- { text {tr}} X ^ {2} Lambda / 2) dX}$

nerede c_Λ normalleştirme sabitidir. Bu ölçü şu özelliğe sahiptir:

${ displaystyle int X_ {ij} X_ {kl} d mu = delta _ {il} delta _ {jk} { frac {2} { Lambda _ {i} + Lambda _ {j}} }}$

bu, Feynman diyagramları açısından genişlemesinin, F şerit grafikler açısından.

Bundan exp F'nin KdV hiyerarşisi için bir τ fonksiyonu olduğu sonucuna vardı ve böylece Witten'in varsayımını kanıtladı.

Genellemeler

Witten varsayımı, aralarında daha genel bir ilişkinin özel bir durumudur. entegre edilebilir sistemler Hamiltonian PDE'lerin ve (Kontsevich ve Manin tarafından sözde kohomolojik alan teorileri şeklinde aksiyomatize edilen) 2D topolojik alan teorilerinin bazı ailelerinin geometrisi, B. Dubrovin ve Y. Zhang, A. Givental, C. Teleman ve diğerleri.

Virasoro varsayımı Witten varsayımının bir genellemesidir.

Referanslar

• Cornalba, Maurizio; Arbarello, Enrico; Griffiths, Phillip A. (2011), Cebirsel eğrilerin geometrisi. Cilt II, Grundlehren der Mathematischen Wissenschaften [Matematik Bilimlerinin Temel Prensipleri], 268, Berlin, New York: Springer-Verlag, doi:10.1007/978-3-540-69392-5, ISBN  978-3-540-42688-2, BAY  2807457
• Kazarian, M. E .; Lando, Sergei K. (2007), "Witten varsayımının cebir-geometrik bir kanıtı", Amerikan Matematik Derneği Dergisi, 20 (4): 1079–1089, arXiv:matematik / 0601760, Bibcode:2007JAMS ... 20.1079K, doi:10.1090 / S0894-0347-07-00566-8, ISSN  0894-0347, BAY  2328716
• Kontsevich Maxim (1992), "Eğrilerin modül uzayı ve matris Airy fonksiyonu üzerine kesişim teorisi", Matematiksel Fizikte İletişim, 147 (1): 1–23, Bibcode:1992CMaPh.147 .... 1K, doi:10.1007 / BF02099526, ISSN  0010-3616, BAY  1171758
• Lando, Sergei K .; Zvonkin, Alexander K. (2004), Yüzeylerdeki grafikler ve uygulamaları (PDF), Matematik Bilimleri Ansiklopedisi, 141, Berlin, New York: Springer-Verlag, ISBN  978-3-540-00203-1, BAY  2036721
• Witten, Edward (1991), "Moduli uzayında iki boyutlu yerçekimi ve kesişim teorisi", Diferansiyel geometride araştırmalar (Cambridge, MA, 1990), 1, Bethlehem, PA: Lehigh Univ., S. 243–310, ISBN  978-0-8218-0168-0, BAY  1144529
• Witten, Edward (1993), "İki boyutlu yerçekiminin matris modelleriyle ilişkili cebirsel geometri", Goldberg, Lisa R .; Phillips, Anthony V. (editörler), Modern matematikte topolojik yöntemler (Stony Brook, NY, 1991), New York Eyalet Üniversitesi, Stony Brook, New York'ta John Milnor'un altmışıncı doğum günü onuruna düzenlenen sempozyum bildirisi, 14-21 Haziran 1991., Houston, TX: Publish or Perish, s. 235-269, ISBN  978-0-914098-26-3, BAY  1215968