Modüler Formlar ve Modüler Grup
Tam sayı matrislerinden oluşan modüler grup, üst yarı düzlem üzerinde etki etmektedir ve modüler formlar, bu etkiye saygı duyan holomorf fonksiyonlardır; bunların tanımı, örnekleri ve temel yapısı, tüm teorinin başlangıç noktasını oluşturmaktadır.
Tanım
Modüler grup, üst yarı düzlem üzerinde kesirli doğrusal dönüşümlerle etki eden, determinantı bir olan ikiye iki tam sayı matrislerinden oluşan gruptur; bu grup için k ağırlıklı bir modüler form, otomorfi faktörünün k-ıncı kuvvetiyle dönüşen ve cusp noktasında holomorf olan bir holomorf fonksiyondur.
Kapsam
Bu konu, modüler grubu ve üreteçlerini, kesirli doğrusal dönüşümlerle üst yarı düzlem üzerindeki etkiyi ve standart temel alanı, kongrüans alt gruplarını ve seviyelerini, belirli bir ağırlıktaki modüler formların ve cusp formlarının tanımını, temel cusp olmayan formlar olarak Eisenstein serilerini, modüler diskriminantı ve j-değişmezini (j-invariant) ve modüler form uzaylarının boyutlarını belirleyen valans formülünü kapsamaktadır.
Temel sorular
- Modüler grup nasıl üretilmektedir ve temel alanı neye benzemektedir?
- k ağırlıklı bir modüler formu tanımlayan kesin dönüşüm yasası nedir ve cusp formları nasıl farklılık göstermektedir?
- Eisenstein serileri nelerdir ve tam grup için modüler formlar halkasını nasıl üretmektedirler?
- Valans formülü sıfırları nasıl saymakta ve bu uzayların boyutlarını nasıl sabitlemektedir?
Temel kuramlar
- Temel Alan ve Üreteçler
- Modüler grup, öteleme (translation) ve ters çevirme (inversion) haritaları tarafından üretilmektedir ve üst yarı düzlemde standart bir temel alana sahiptir; bu alan, modüler formlarla yapılan tüm açık hesaplamaların temelini oluşturmaktadır.
- Eisenstein Serileri ve Modüler Halka
- Dört ve altı ağırlığındaki Eisenstein serileri, tam modüler grup için modüler formların tüm dereceli halkasını üreten polinomları olan holomorf modüler formlardır.
- Valans Formülü ve Boyutlar
- k ağırlıklı bir modüler formun, temel alan üzerindeki katlılığıyla sayılan sıfırları, sabit bir özdeşliği sağlamaktadır; bu valans formülü, tüm modüler form uzaylarının sonlu boyutlarını vermektedir.
Klinik önem
Latilerden (lattices) inşa edilen modüler formlar olan teta serileri (theta series), tam sayıların kuadratik formlarla gösterimlerini saymakta ve küre paketleme (sphere packing) ile kodlama teorisinde (coding theory) kullanılan optimal latisleri doğrulamaktadır; bu da aksi takdirde soyut olan bu yapıya somut uygulamalar kazandırmaktadır.
Tarihçe
Modüler grup ve temel alanı, Gauss, Jacobi, Eisenstein, Klein ve Poincare tarafından geliştirilen on dokuzuncu yüzyıl eliptik ve modüler fonksiyonlar teorisinden ortaya çıkmıştır. Modüler formların bir dönüşüm yasasına sahip fonksiyonlar olarak modern koordinatsız çerçevelenmesi, yirminci yüzyılda Hecke ve halefleri tarafından pekiştirilmiştir.
Öne çıkan isimler
- Felix Klein
- Henri Poincare
- Gotthold Eisenstein
- Carl Ludwig Siegel
İlgili konular
Temel eserler
- serre1973
- apostol1990
Sıkça sorulan sorular
- Modüler grubun temel alanı nedir?
- Grubun etkisi altındaki her yörüngeden (orbit) tam olarak bir temsilci içeren üst yarı düzlemin bir bölgesidir; genellikle birim çemberin üzerinde, gerçek kısmı artı ve eksi bir buçukta olan dikey çizgiler arasındaki şerit olarak çizilmektedir.
- Cusp formu nedir?
- Her cusp noktasında sıfır olan bir modüler formdur, yani Fourier açılımında sabit terim bulunmamaktadır; cusp formları en aritmetik olarak ilginç bilgiyi taşımakta ve Hecke operatörlerinin özformlarıdır (eigenforms).