Bentuk modular: Perbedaan antara revisi

← Revisi sebelumnya Revisi selanjutnya →

Konten dihapus Konten ditambahkan

Sebaris

Revisi per 21 Januari 2023 07.57

Dalam matematika, bentuk modular adalah (kompleks) fungsi analitik pada paruh atas bidang kompleks yang memenuhi persamaan fungsional tertentu yang berkaitan dengan tindakan grup dari grup modular, dan juga memenuhi suatu kondisi pertumbuhan tertentu. Oleh karena itu, teori bentuk modular dimiliki oleh analisis kompleks, tetapi kepentingan utama teori ini secara tradisional berhubungan dengan teori bilangan. Bentuk modular muncul di area lain, seperti topologi aljabar, kemasan bola, dan teori string.

Fungsi modular adalah fungsi yang, seperti bentuk modular, adalah invarian sehubungan dengan grup modular, tetapi tanpa syarat itu $f (z)$ menjadi holomorfik di bidang setengah atas. Sebaliknya, fungsi modular adalah meromorfik (artinya, holomorfik di mana-mana, kecuali di titik-titik yang saling terisolasi satu sama lain; titik-titik ini merupakan pole).

Teori bentuk modular adalah kasus khusus dari teori bentuk automorfik yang merupakan fungsi yang didefinisikan pada grup Lie yang berubah dengan "baik" jika diberikan tindakan oleh grup diskret tertentu, memperumum contoh grup modular $\mathrm {SL} _{2}(\mathbb {Z} )\subset \mathrm {SL} _{2}(\mathbb {R} )$

Definisi umum bentuk modular

Secara umum,^[1] misalkan $\Gamma \subset {\text{SL}}_{2}(\mathbb {Z} )$ adalah subgrup dengan indeks terbatas, disebut grup aritmetika, bentuk modular tingkat $\Gamma$ dengan bobot $k$ adalah fungsi holomorfik $f:{\mathcal {H}}\to \mathbb {C}$ dengan ${\mathcal {H}}=\{z\in \mathbb {C} :\mathrm {Im} (z)>0\}$ (paruh atas bidang kompleks) sehingga dua kondisi berikut terpenuhi:

1. (Kondisi automorfik) Untuk setiap $\gamma \in \Gamma$ , berlaku persamaan $f(\gamma (z))=(cz+d)^{k}f(z)$
2. (Kondisi pertumbuhan) Untuk setiap $\gamma \in {\text{SL}}_{2}(\mathbb {Z} )$ , fungsi $(cz+d)^{-k}f(\gamma (z))$ terbatas seiring ${\text{Im}}(z)\to \infty$

dengan $\gamma (z)={\frac {az+b}{cz+d}}$ untuk setiap matriks $\gamma ={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}_{2}(\mathbb {Z} ).$ Dengan demikian, untuk setiap matriks $\gamma _{1},\gamma _{2}\in \mathrm {SL} _{2}(\mathbb {Z} )$ , komposisi fungsi $(\gamma _{1}\circ \gamma _{2})(z)$ direpresentasikan oleh perkalian matriks $\gamma _{1}\gamma _{2}$ . Selain itu, disebut bentuk taring (cusp form) jika memenuhi kondisi pertumbuhan berikut:

3. (Kondisi cuspidal) For any $\gamma \in {\text{SL}}_{2}(\mathbb {Z} )$ the function $(cz+d)^{-k}f(\gamma (z))\to 0$ sebagai ${\text{im}}(z)\to \infty$

Sebagai bagian dari bundel garis

Bentuk modular juga dapat diartikan sebagai bagian dari bundel garis tertentu pada varietas modular. Untuk $\Gamma \subset {\text{SL}}_{2}(\mathbb {Z} )$ bentuk modular tingkat $\Gamma$ dan bobot $k$ bisa didefinisikan sebagai elemen

$f\in H^{0}(X_{\Gamma },\omega ^{\otimes k})=M_{k}(\Gamma )$

dimana $\omega$ adalah bundel baris kanonik

$X_{\Gamma }=\Gamma \backslash ({\mathcal {H}}\cup \mathbb {P} ^{1}(\mathbb {Q} ))$

Dimensi ruang bentuk modular ini dapat dihitung dengan menggunakan Teorema Riemann–Roch.^[2] Bentuk modular klasik untuk $\Gamma ={\text{SL}}_{2}(\mathbb {Z} )$ adalah bagian dari bundel garis pada tumpukan modulus kurva elips.

Fungsi modular

Ketika bobot $k$ bernilai 0, dapat ditunjukkan menggunakan teorema Liouville bahwa satu-satunya bentuk modular adalah fungsi konstan. Namun, jika syarat holomorfik diperingan mengarahkan pada gagasan fungsi modular. Sebuah fungsi $f:{\mathcal {H}}\rightarrow \mathbb {C}$ disebut modular jika dan hanya jika memenuhi sifat-sifat berikut:

Fungsi $f$ meromorfik di himpunan terbuka paruh atas bidang kompleks ${\mathcal {H}}$ .
Untuk matriks ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}$ pada grup modular $Γ$ , $f\left({\frac {az+b}{cz+d}}\right)=f(z)$ .
Seperti yang ditunjukkan di atas, kondisi kedua menyiratkan bahwa $f$ adalah periodik, dan karenanya memiliki deret Fourier. Kondisi ketiga adalah bahwa deret ini berbentuk

f(z)=\sum _{n=-m}^{\infty }a_{n}e^{2i\pi nz}.

Ini sering ditulis dalam istilah $q=\exp(2\pi iz)$ (the kuadrat dari nome), sebagai:

f(z)=\sum _{n=-m}^{\infty }a_{n}q^{n}.

Ini juga disebut sebagai ekspansi-q dari $f$ . Koefisien $a_{n}$ dikenal sebagai koefisien Fourier dari $f$ , dan bilangan $m$ disebut tingkat kutub $f$ di $i\infty$ . Kondisi ini disebut "meromorfik di taring", artinya banyaknya bilangan bulat $n<0$ sedemikian sehingga $a_{n}\neq 0$ adalah berhingga, sehingga ekspansi-q terbatas di bawah, dan ini mengakibatkan fungsi $f$ meromorfik pada $q=0$ .^[3]

Cara lain untuk menyatakan definisi fungsi modular adalah dengan menggunakan kurva elips: setiap kisi Λ menentukan kurva elips C/Λ lebih C; dua kisi berpadanan dengan dua kurva elips yang isomorfik jika dan hanya jika salah satu kisi diperoleh dari kisi yang lain dengan mengalikan kisi tersebut oleh suatu bilangan kompleks bukan nol $α$ . Dengan demikian, fungsi modular juga dapat dianggap sebagai fungsi meromorfik pada himpunan kelas isomorfisme kurva elips. Misalnya, invarian-j j(z) dari kurva elips, dianggap sebagai fungsi pada himpunan semua kurva elips, adalah fungsi modular. Lebih konseptual, fungsi modular dapat dianggap sebagai fungsi pada ruang moduli dari kelas isomorfisma kurva elips kompleks.

Bentuk modular f lenyap di $q = 0$ (dengan kata lain, $a 0 = 0$ , atau lenyap di $z = i \infty$ ) disebut bentuk taring (cusp form) (Spitzenform in German). Bilangan bulat positif n terkecil sedemikian sehingga $a n \neq 0$ adalah tingkat nol dari f di $i \infty$ .

Unit modular adalah fungsi modular yang kutub dan nolnya hanya ada di titik-titik taring.^[4]

Bentuk modular untuk kelompok yang lebih umum

Syarat persamaan fungsional dari f yang sehubungan dengan pemetaan $z\mapsto {\frac {az+b}{cz+d}}$ dapat diperingan dengan mengharuskan persamaan fungsi ini terpenuhi hanya untuk matriks dalam grup yang lebih kecil.

Permukaan Riemann G\H^∗

Misalkan $G$ adalah subgrup dari $SL (2, Z)$ yang memiliki indeks berhingga. Grup $G$ beraksi pada H dengan cara yang sama seperti $SL(2, Z)$ . Ruang topologi hasil bagi G\H dapat ditampilkan sebagai ruang Hausdorff. Biasanya ruang ini tidak kompak, tetapi dapat dikompakkan dengan menambahkan sejumlah berhingga titik yang disebut katup (cusps). Ini adalah titik-titik di batas H, yaitu di Q∪{∞},^[5] sedemikian rupa sehingga ada elemen parabolik dari $G$ (matriks dengan teras ± 2) yang menetapkan titik. Ini menghasilkan ruang topologi yang kompak G\H^∗. Terlebih lagi, ruang ini dapat diberikan struktur permukaan Riemann, yang memungkinkan konsep fungsi holomorfik dan meromorfik didefinisikan pada ruang ini.

Salah satu contoh penting subgrup $SL (2, Z)$ adalah subgrup kongruensi. Untuk setiap bilangan bulat positif N, berikut ini beberapa contoh subgrup kongruensi:

{\begin{aligned}\Gamma _{0}(N)&=\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}(2,\mathbf {Z} ):c\equiv 0{\pmod {N}}\right\}\\\Gamma (N)&=\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}(2,\mathbf {Z} ):c\equiv b\equiv 0,a\equiv d\equiv 1{\pmod {N}}\right\}.\end{aligned}}

Untuk G = Γ₀(N) atau $Γ(N)$ , ruang G\H dan G\H^∗ masing-masing dilambangkan Y₀(N) dan X₀(N) dan Y(N), X(N).

Geometri dari G\H^∗ dapat dipahami dengan mempelajari domain fundamental untuk G, yaitu subhimpunan D ⊂ H sedemikian rupa sehingga D melalui setiap orbit dari aksi $G$ pada H tepat satu kali dan penutupan D melalui semua orbit. Misalnya, genus dari G\H^∗ dapat dihitung.^[6]

Gelanggang bentuk modular

Untuk subgrup $Γ$ dari $SL(2, Z)$ , gelanggang bentuk modular adalah gelanggang bertingkat yang dihasilkan oleh bentuk modular dari $Γ$ . Dengan kata lain, jika $M k (Γ)$ adalah gelanggang bentuk modular dari bobot $k$ , maka gelanggang bentuk modular dari $Γ$ adalah gelanggang bertingkat $M(\Gamma )=\bigoplus _{k>0}M_{k}(\Gamma )$ .

Gelanggang bentuk modular tingkat subgrup kongruensi dari $SL(2, Z)$ dibangkitkan secara berhingga. Hal ini dibuktikan oleh Pierre Deligne dan Michael Rapoport. Jika subgrup kongruensi memiliki bentuk modular berbobot ganjil bukan nol, gelanggang bentuk modular dibangkitkan oleh bentuk modular dengan bobot paling besar 6 dan hubungan antara pembangkit memiliki bobot paling besar 12. Sebaliknya, jika semua bentuk modular berbobot ganjil tingkat subgrup kongruensi adalah 0, maka batas atas bobot pembangkit dan hubungan antara pembangkit adalah 5 dan 10.

Secara lebih umum, ada rumus untuk batas bobot pembangkit gelanggang bentuk modular dan hubungannya untuk sembarang grup Fuchsian.

Sejarah

Teori bentuk modular dikembangkan dalam empat periode: pertama dalam kaitannya dengan teori fungsi eliptik, pada paruh pertama abad kesembilan belas; kemudian oleh Felix Klein dan lainnya menjelang akhir abad kesembilan belas sebagai konsep bentuk automorfik dipahami (untuk satu variabel); kemudian oleh Erich Hecke dari sekitar tahun 1925; dan kemudian di tahun 1960-an, karena kebutuhan teori bilangan dan perumusan teorema modularitas secara khusus memperjelas bahwa bentuk-bentuk modular memiliki kaitan yang kuat dengan teori bilangan.

Istilah "bentuk modular", sebagai deskripsi sistematis, biasanya dikaitkan dengan Hecke.

Catatan

^ Lan, Kai-Wen. "Cohomology of Automorphic Bundles" (PDF). Diarsipkan dari versi asli (PDF) tanggal 1 August 2020.
^ Milne. "Modular Functions and Modular Forms". hlm. 51.
^ Fungsi meromorfik hanya dapat memiliki eksponen negatif dalam jumlah terbatas dalam deret Laurent, ekspansi q-nya. Ini hanya dapat memiliki paling banyak pole pada q = 0, bukan singularitas esensial seperti yang dimiliki exp (1 / q ).
^ Kubert, Daniel S.; Lang, Serge (1981), Modular units, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science], 244, Berlin, New York: Springer-Verlag, hlm. 24, ISBN 978-0-387-90517-4, MR 0648603, Zbl 0492.12002
^ Here, a matrix ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}$ mengutus ∞ to a/c.
^ Gunning, Robert C. (1962), Lectures on modular forms, Annals of Mathematics Studies, 48, Princeton University Press , p. 13

Referensi

Serre, Jean-Pierre (1973), A Course in Arithmetic, Graduate Texts in Mathematics, 7, New York: Springer-Verlag . Chapter VII provides an elementary introduction to the theory of modular forms.
Apostol, Tom M. (1990), Modular functions and Dirichlet Series in Number Theory, New York: Springer-Verlag, ISBN 0-387-97127-0
Shimura, Goro (1971), Introduction to the arithmetic theory of automorphic functions, Princeton, N.J.: Princeton University Press . Provides a more advanced treatment.
Gelbart, Stephen S. (1975), Automorphic forms on adèle groups, Annals of Mathematics Studies, 83, Princeton, N.J.: Princeton University Press, MR 0379375 . Provides an introduction to modular forms from the point of view of representation theory.
Rankin, Robert A. (1977), Modular forms and functions, Cambridge: Cambridge University Press, ISBN 0-521-21212-X
Ribet, K.; Stein, W., Lectures on Modular Forms and Hecke Operators (PDF)
Hecke, Erich (1970), Mathematische Werke, Göttingen: Vandenhoeck & Ruprecht
Skoruppa, N. P.; Zagier, D. (1988), "Jacobi forms and a certain space of modular forms", Inventiones Mathematicae, Springer

Templat:Kurva aljabar navbox

[1] Lan, Kai-Wen. "Cohomology of Automorphic Bundles" (PDF). Diarsipkan dari versi asli (PDF) tanggal 1 August 2020.

[2] Milne. "Modular Functions and Modular Forms". hlm. 51.

[3] Fungsi meromorfik hanya dapat memiliki eksponen negatif dalam jumlah terbatas dalam deret Laurent, ekspansi q-nya. Ini hanya dapat memiliki paling banyak pole pada q = 0, bukan singularitas esensial seperti yang dimiliki exp (1 / q ).

[4] Kubert, Daniel S.; Lang, Serge (1981), Modular units, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science], 244, Berlin, New York: Springer-Verlag, hlm. 24, ISBN 978-0-387-90517-4, MR 0648603, Zbl 0492.12002

[5] Here, a matrix ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}$ mengutus ∞ to a/c.

[6] Gunning, Robert C. (1962), Lectures on modular forms, Annals of Mathematics Studies, 48, Princeton University Press , p. 13

[1]

[2]

[3]

[4]

[5]

[6]

@@ Baris 2: / Baris 2: @@
 {{redirect|Modular function|text=Penggunaan yang berbeda dari istilah ini muncul dalam kaitannya dengan [[Ukuran Haar#Fungsi modular|Ukuran Haar]]}}
-Dalam [[matematika]], '''bentuk modular''' adalah (kompleks) [[fungsi analitik]] pada [[bidang separuh atas]] yang memenuhi jenis [[persamaan fungsional]] tertentu dengan hormat ke [[Tindakan grup]], dan juga memenuhi kondisi pertumbuhan. Oleh karena itu, teori bentuk modular dimiliki oleh [[analisis kompleks]] tetapi kepentingan utama teori ini secara tradisional berhubungan dengan [[teori bilangan]]. Bentuk modular muncul di area lain, seperti [[topologi aljabar]], [[kemasan bola]], dan [[teori string]].
+Dalam [[matematika]], '''bentuk modular''' adalah (kompleks) [[fungsi analitik]] pada [[bidang separuh atas|paruh atas bidang kompleks]] yang memenuhi [[persamaan fungsional]] tertentu yang berkaitan dengan [[Tindakan grup (matematika)|tindakan grup]] dari grup modular, dan juga memenuhi suatu kondisi pertumbuhan tertentu. Oleh karena itu, teori bentuk modular dimiliki oleh [[analisis kompleks]], tetapi kepentingan utama teori ini secara tradisional berhubungan dengan [[teori bilangan]]. Bentuk modular muncul di area lain, seperti [[topologi aljabar]], [[kemasan bola]], dan [[teori string]].
-'''Fungsi modular''' adalah fungsi yang, seperti bentuk modular, adalah invarian sehubungan dengan grup modular, tetapi tanpa syarat itu {{math|''f''&thinsp;(''z'')}} menjadi [[Fungsi holomorfik|holomorfik]] di bidang setengah atas. Sebaliknya, fungsi modular adalah [[Fungsi meromorfik|meromorfik]] (artinya, hampir holomorfik kecuali untuk satu set titik terisolasi).
+'''Fungsi modular''' adalah fungsi yang, seperti bentuk modular, adalah invarian sehubungan dengan grup modular, tetapi tanpa syarat itu {{math|''f''&thinsp;(''z'')}} menjadi [[Fungsi holomorfik|holomorfik]] di bidang setengah atas. Sebaliknya, fungsi modular adalah [[Fungsi meromorfik|meromorfik]] (artinya, holomorfik di mana-mana, kecuali di titik-titik yang saling terisolasi satu sama lain; titik-titik ini merupakan pole).
-Teori bentuk modular adalah kasus khusus dari teori [[bentuk automorfik]] yang lebih umum, dan karena itu sekarang dapat dilihat hanya sebagai bagian paling konkret dari teori kaya [[grup diskret]].
+Teori bentuk modular adalah kasus khusus dari teori [[bentuk automorfik]] yang merupakan fungsi yang didefinisikan pada [[grup Lie]] yang berubah dengan "baik" jika diberikan tindakan oleh [[grup diskret]] tertentu, memperumum contoh grup modular <math>\mathrm{SL}_2(\mathbb{Z}) \subset \mathrm{SL}_2(\mathbb{R})</math>
 == Definisi umum bentuk modular ==
-Secara umum,<ref>{{Cite web|last=Lan|first=Kai-Wen|date=|title=Cohomology of Automorphic Bundles|url=http://www-users.math.umn.edu/~kwlan/articles/iccm-2016.pdf|url-status=live|archive-url=https://web.archive.org/web/20200801235440/http://www-users.math.umn.edu/~kwlan/articles/iccm-2016.pdf|archive-date=1 August 2020|access-date=|website=}}</ref> diberi subkelompok <math>\Gamma \subset \text{SL}_2(\mathbb{Z})</math> dari [[indeks terbatas]], disebut [[grup aritmatika]], a '''bentuk modular level <math>\Gamma</math> dan berat <math>k</math>''' adalah fungsi holomorfik <math>f:\mathcal{H} \to \mathbb{C}</math> dari [[bidang setengah atas]] sehingga dua kondisi berikut terpenuhi:<blockquote>
+Secara umum,<ref>{{Cite web|last=Lan|first=Kai-Wen|date=|title=Cohomology of Automorphic Bundles|url=http://www-users.math.umn.edu/~kwlan/articles/iccm-2016.pdf|url-status=live|archive-url=https://web.archive.org/web/20200801235440/http://www-users.math.umn.edu/~kwlan/articles/iccm-2016.pdf|archive-date=1 August 2020|access-date=|website=}}</ref> misalkan <math>\Gamma \subset \text{SL}_2(\mathbb{Z})</math> adalah subgrup dengan [[indeks terbatas]], disebut [[grup aritmatika|grup aritmetika]], '''bentuk modular tingkat <math>\Gamma</math> dengan bobot <math>k</math>''' adalah fungsi holomorfik <math>f:\mathcal{H} \to \mathbb{C}</math> dengan <math>\mathcal{H}=\{z \in \mathbb{C}: \mathrm{Im}(z)>0\}</math> (paruh atas bidang kompleks) sehingga dua kondisi berikut terpenuhi:<blockquote>
-. ('''Kondisi automorphy''') Untuk <math>\gamma \in \Gamma</math> ada persamaan <math>f(\gamma(z)) = (cz + d)^kf(z)</math>
+. ('''Kondisi automorfik''') Untuk setiap <math>\gamma \in \Gamma</math>, berlaku persamaan <math>f(\gamma(z)) = (cz + d)^kf(z)</math>
-. ('''Kondisi pertumbuhan''') Untuk <math>\gamma \in \text{SL}_2(\mathbb{Z})</math> fungsi <math>(cz + d)^{-k}f(\gamma(z))</math> dibatasi untuk <math>\text{im}(z) \to \infty</math></blockquote>dimana:<blockquote><math>\gamma = \begin{pmatrix}
+. ('''Kondisi pertumbuhan''') Untuk setiap <math>\gamma \in \text{SL}_2(\mathbb{Z})</math>, fungsi <math>(cz + d)^{-k}f(\gamma(z))</math> terbatas seiring <math>\text{Im}(z) \to \infty</math></blockquote>dengan <math>\gamma(z)=\frac{az+b}{cz+d}</math> untuk setiap matriks <math>\gamma = \begin{pmatrix}
 a & b \\
 c & d
-\end{pmatrix} \in \Gamma \subset \text{SL}_2(\mathbb{Z})</math></blockquote>Selain itu, disebut '''bentuk puncak''' jika memenuhi kondisi pertumbuhan berikut:<blockquote>3. ('''Kondisi cuspidal''')  For any <math>\gamma \in \text{SL}_2(\mathbb{Z})</math> the function <math>(cz + d)^{-k}f(\gamma(z)) \to 0</math> sebagai <math>\text{im}(z) \to \infty</math></blockquote>
+\end{pmatrix} \in \text{SL}_2(\mathbb{Z}).</math> Dengan demikian, untuk setiap matriks <math>\gamma_1, \gamma_2 \in \mathrm{SL}_2(\mathbb{Z})</math>, komposisi fungsi <math>(\gamma_1 \circ \gamma_2)(z)</math> direpresentasikan oleh perkalian matriks <math>\gamma_1\gamma_2</math>. Selain itu, disebut '''bentuk taring (''cusp form'')''' jika memenuhi kondisi pertumbuhan berikut:<blockquote>3. ('''Kondisi cuspidal''')  For any <math>\gamma \in \text{SL}_2(\mathbb{Z})</math> the function <math>(cz + d)^{-k}f(\gamma(z)) \to 0</math> sebagai <math>\text{im}(z) \to \infty</math></blockquote>
 == Sebagai bagian dari bundel garis ==
-Bentuk modular juga dapat diartikan sebagai bagian dari [[bundel garis]] tertentu pada [[Kurva modular|varietas modular]]. Untuk <math>\Gamma \subset \text{SL}_2(\mathbb{Z})</math> bentuk tingkat modular <math>\Gamma</math> dan bobot <math> k </math> bisa didefinisikan sebagai elemen<blockquote><math>f \in H^0(X_\Gamma,\omega^{\otimes k}) = M_k(\Gamma)</math></blockquote>dimana <math>\omega</math> adalah bundel baris kanonik<blockquote><math>X_\Gamma = \Gamma \backslash (\mathcal{H} \cup \mathbb{P}^1(\mathbb{Q}))</math></blockquote>Dimensi ruang bentuk modular ini dapat dihitung dengan menggunakan [[Teorema Riemann–Roch]].<ref>{{Cite web|last=Milne|first=|date=|title=Modular Functions and Modular Forms|url=https://www.jmilne.org/math/CourseNotes/mf.html|access-date=|website=|page=51}}</ref> Bentuk modular klasik untuk <math>\Gamma = \text{SL}_2(\mathbb{Z})</math> adalah bagian dari bundel garis pada [[tumpukan modulus kurva elips]].
+Bentuk modular juga dapat diartikan sebagai bagian dari [[bundel garis]] tertentu pada [[Kurva modular|varietas modular]]. Untuk <math>\Gamma \subset \text{SL}_2(\mathbb{Z})</math> bentuk modular tingkat <math>\Gamma</math> dan bobot <math> k </math> bisa didefinisikan sebagai elemen<blockquote><math>f \in H^0(X_\Gamma,\omega^{\otimes k}) = M_k(\Gamma)</math></blockquote>dimana <math>\omega</math> adalah bundel baris kanonik<blockquote><math>X_\Gamma = \Gamma \backslash (\mathcal{H} \cup \mathbb{P}^1(\mathbb{Q}))</math></blockquote>Dimensi ruang bentuk modular ini dapat dihitung dengan menggunakan [[Teorema Riemann–Roch]].<ref>{{Cite web|last=Milne|first=|date=|title=Modular Functions and Modular Forms|url=https://www.jmilne.org/math/CourseNotes/mf.html|access-date=|website=|page=51}}</ref> Bentuk modular klasik untuk <math>\Gamma = \text{SL}_2(\mathbb{Z})</math> adalah bagian dari bundel garis pada [[tumpukan modulus kurva elips]].
 == Fungsi modular ==
-Ketika bobot '' k '' nol, dapat ditunjukkan menggunakan teorema Liouville bahwa satu-satunya bentuk modular adalah fungsi konstan. Namun, melonggarkan persyaratan bahwa '' f '' menjadi holomorfik mengarah pada gagasan ''fungsi modular''. Sebuah fungsi ''f'' : '''H''' → '''C''' disebut modular [[iff]] itu memenuhi properti berikut:
+Ketika bobot <math>k</math> bernilai 0, dapat ditunjukkan menggunakan teorema Liouville bahwa satu-satunya bentuk modular adalah fungsi konstan. Namun, jika syarat holomorfik diperingan mengarahkan pada gagasan ''fungsi modular''. Sebuah fungsi <math>f: \mathcal{H} \rightarrow \mathbb{C}</math> disebut modular [[iff|jika dan hanya jika]] memenuhi sifat-sifat berikut:
-# ''f'' adalah [[fungsi meromorfik|meromorfik]] di [[bidang setengah atas]] '' H '' terbuka.
+# Fungsi <math>f</math>  [[fungsi meromorfik|meromorfik]] di himpunan terbuka [[bidang setengah atas|paruh atas bidang kompleks]] <math>\mathcal{H}</math>.
-# Untuk setiap bilangan bulat [[matriks (matematika)|matriks]] <math>\begin{pmatrix}a & b \\ c & d \end{pmatrix}</math> dalam [[grup modular | grup modular {{math|Γ}}]], <math> f\left(\frac{az+b}{cz+d}\right) = f(z)</math>.
+# Untuk [[matriks (matematika)|matriks]] <math>\begin{pmatrix}a & b \\ c & d \end{pmatrix}</math> pada [[grup modular | grup modular {{math|Γ}}]], <math> f\left(\frac{az+b}{cz+d}\right) = f(z)</math>.
-# Seperti yang ditunjukkan di atas, kondisi kedua menyiratkan bahwa '' f '' adalah periodik, dan karenanya memiliki [[deret Fourier]]. Kondisi ketiga adalah bahwa rangkaian ini berbentuk
+# Seperti yang ditunjukkan di atas, kondisi kedua menyiratkan bahwa <math>f</math> adalah periodik, dan karenanya memiliki [[deret Fourier]]. Kondisi ketiga adalah bahwa deret ini berbentuk
 ::<math>f(z) = \sum_{n=-m}^\infty a_n e^{2i\pi nz}.</math>
 Ini sering ditulis dalam istilah <math>q=\exp(2\pi i z)</math> (the kuadrat dari [[nome (matematika)|nome]]), sebagai:
 ::<math>f(z)=\sum_{n=-m}^\infty a_n q^n.</math>
-Ini juga disebut sebagai '' q '' - perluasan dari '' f ''. Koefisien <math>a_n</math> dikenal sebagai koefisien Fourier dari '' f '', dan bilangan '' m '' disebut urutan kutub '' f '' di i∞. Kondisi ini disebut "meromorphic di puncak", artinya hanya ada banyak koefisien negatif - '' n '' yang bukan nol, sehingga ekspansi '' q '' - dibatasi di bawah, menjamin bahwa itu meromorfik pada '' q '' = 0.<ref>Fungsi [[meromorfik]] hanya dapat memiliki eksponen negatif dalam jumlah terbatas dalam deret Laurent, ekspansi q-nya. Ini hanya dapat memiliki paling banyak [[Pole (analisis kompleks)|pole]] pada '' q '' = 0, bukan [[singularitas esensial]] seperti yang dimiliki exp (1 / '' q '').</ref>
+Ini juga disebut sebagai ekspansi-''q'' dari<math>f</math>. Koefisien <math>a_n</math> dikenal sebagai koefisien Fourier dari <math>f</math>, dan bilangan <math>m</math> disebut tingkat kutub <math>f</math> di <math>i \infty</math>. Kondisi ini disebut "meromorfik di taring", artinya banyaknya bilangan bulat <math>n<0</math>  sedemikian sehingga <math>a_n \neq 0</math>adalah berhingga, sehingga ekspansi-''q ''terbatas di bawah, dan ini mengakibatkan fungsi <math>f</math> meromorfik pada <math>q=0</math>.<ref>Fungsi [[meromorfik]] hanya dapat memiliki eksponen negatif dalam jumlah terbatas dalam deret Laurent, ekspansi q-nya. Ini hanya dapat memiliki paling banyak [[Pole (analisis kompleks)|pole]] pada '' q '' = 0, bukan [[singularitas esensial]] seperti yang dimiliki exp (1 / '' q '').</ref>
-Cara lain untuk menyatakan definisi fungsi modular adalah dengan menggunakan [[kurva elips]]: setiap kisi Λ menentukan [[kurva elips]] '''C'''/Λ lebih '''C'''; dua kisi menentukan kurva elips [[isomorfik]] jika dan hanya jika salah satu diperoleh dari yang lain dengan mengalikan beberapa bilangan kompleks bukan nol {{mvar|α}}. Dengan demikian, fungsi modular juga dapat dianggap sebagai fungsi meromorfik pada himpunan kelas isomorfisme kurva elips. Misalnya, berkas [[invarian-j]] ''j''(''z'') dari kurva elips, dianggap sebagai fungsi pada himpunan semua kurva elips, adalah fungsi modular. Lebih konseptual, fungsi modular dapat dianggap sebagai fungsi pada [[masalah moduli|ruang moduli]] dari kelas isomorfisma kurva elips kompleks.
+Cara lain untuk menyatakan definisi fungsi modular adalah dengan menggunakan [[kurva elips]]: setiap kisi Λ menentukan [[kurva elips]] '''C'''/Λ lebih '''C'''; dua kisi berpadanan dengan dua kurva elips yang [[isomorfik]] jika dan hanya jika salah satu kisi diperoleh dari kisi yang lain dengan mengalikan kisi tersebut oleh suatu bilangan kompleks bukan nol {{mvar|α}}. Dengan demikian, fungsi modular juga dapat dianggap sebagai fungsi meromorfik pada himpunan kelas isomorfisme kurva elips. Misalnya, [[invarian-j]] ''j''(''z'') dari kurva elips, dianggap sebagai fungsi pada himpunan semua kurva elips, adalah fungsi modular. Lebih konseptual, fungsi modular dapat dianggap sebagai fungsi pada [[masalah moduli|ruang moduli]] dari kelas isomorfisma kurva elips kompleks.
-A modular form ''f'' that vanishes at {{math|''q'' {{=}} 0}} (equivalently, {{math|''a''<sub>0</sub> {{=}} 0}}, also paraphrased as {{math|''z'' {{=}} ''i''∞}}) is called a ''[[cusp form]]'' (''Spitzenform'' in [[German language|German]]). The smallest ''n'' such that {{math|''a<sub>n</sub>'' ≠ 0}} is the order of the zero of ''f'' at {{math|''i''∞}}.
+Bentuk modular ''f'' lenyap di {{math|''q'' {{=}} 0}} (dengan kata lain, {{math|''a''<sub>0</sub> {{=}} 0}}, atau lenyap di {{math|''z'' {{=}} ''i''∞}}) disebut bentuk taring (''cusp form'') (''Spitzenform'' in [[German language|German]]). Bilangan bulat positif ''n'' terkecil sedemikian sehingga {{math|''a<sub>n</sub>'' ≠ 0}} adalah tingkat nol dari ''f'' di {{math|''i''∞}}.
-A ''[[modular unit]]'' is a modular function whose poles and zeroes are confined to the cusps.<ref>{{Citation| last1=Kubert | first1=Daniel S. | author1-link=Daniel Kubert | last2=Lang | first2=Serge | author2-link=Serge Lang | title=Modular units | url=https://books.google.com/books?id=BwwzmZjjVdgC | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science] | isbn=978-0-387-90517-4 |mr=648603 | year=1981 | volume=244 | zbl=0492.12002 | page=24 }}</ref>
+''Unit modular'' adalah fungsi modular yang kutub dan nolnya hanya ada di titik-titik taring.<ref>{{Citation| last1=Kubert | first1=Daniel S. | author1-link=Daniel Kubert | last2=Lang | first2=Serge | author2-link=Serge Lang | title=Modular units | url=https://books.google.com/books?id=BwwzmZjjVdgC | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science] | isbn=978-0-387-90517-4 |mr=648603 | year=1981 | volume=244 | zbl=0492.12002 | page=24 }}</ref>
 == Bentuk modular untuk kelompok yang lebih umum ==
-Persamaan fungsional, yaitu perilaku '' f '' sehubungan dengan <math>z \mapsto \frac{az+b}{cz+d} </math> dapat dibuat santai dengan mengharuskannya hanya untuk matriks dalam kelompok yang lebih kecil.
+Syarat persamaan fungsional dari ''f '' yang sehubungan dengan pemetaan <math>z \mapsto \frac{az+b}{cz+d} </math> dapat diperingan dengan mengharuskan persamaan fungsi ini terpenuhi hanya untuk matriks dalam grup yang lebih kecil.
-== Permukaan Riemann ''G''\H<sup>∗</sup> ==
+=== Permukaan Riemann ''G''\H<sup>∗</sup> ===
-Misalkan {{mvar | G}} adalah subgrup dari {{math | SL (2, '''Z''')}} yang merupakan [[Indeks dari subgrup|indeks]]. Grup seperti itu {{mvar | G}} [[Aksi grup (matematika)|aksi]] pada '''H''' dengan cara yang sama seperti {{math|SL(2, '''Z''')}}. [[Ruang topologi hasil bagi]] ''G''\'''H''' dapat ditampilkan sebagai [[ruang Hausdorff]]. Biasanya itu tidak kompak, tetapi dapat dipadatkan dengan menambahkan sejumlah titik terbatas yang disebut '' katup ''. Ini adalah titik-titik di batas '''H''', yaitu di '''[[Bilangan rasional|Q]]'''∪{∞},<ref>Here, a matrix <math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}</math> mengutus ∞ to ''a''/''c''.</ref> sedemikian rupa sehingga ada elemen parabola dari {{mvar | G}} (matriks dengan [[jejak matriks|jejak]] ± 2) yang menetapkan titik. Ini menghasilkan ruang topologi yang kompak ''G''\'''H'''<sup>∗</sup>. Terlebih lagi, ia dapat diberkahi dengan struktur [[permukaan Riemann]], yang memungkinkan seseorang untuk berbicara tentang fungsi holo- dan meromorfik.
+Misalkan{{mvar | G}} adalah subgrup dari {{math | SL (2, '''Z''')}} yang memiliki [[Indeks dari subgrup|indeks]] berhingga. Grup{{mvar | G}} [[Tindakan grup (matematika)|beraksi]] pada '''H''' dengan cara yang sama seperti {{math|SL(2, '''Z''')}}. [[Ruang topologi hasil bagi]] ''G''\'''H''' dapat ditampilkan sebagai [[ruang Hausdorff]]. Biasanya ruang ini tidak kompak, tetapi dapat dikompakkan dengan menambahkan sejumlah berhingga titik yang disebut ''katup (cusps)''. Ini adalah titik-titik di batas '''H''', yaitu di '''[[Bilangan rasional|Q]]'''∪{∞},<ref>Here, a matrix <math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}</math> mengutus ∞ to ''a''/''c''.</ref> sedemikian rupa sehingga ada elemen parabolik dari {{mvar | G}} (matriks dengan [[Teras (aljabar linear)|teras]] ± 2) yang menetapkan titik. Ini menghasilkan ruang topologi yang kompak ''G''\'''H'''<sup>∗</sup>. Terlebih lagi, ruang ini dapat diberikan struktur [[permukaan Riemann]], yang memungkinkan konsep fungsi holomorfik dan meromorfik didefinisikan pada ruang ini.
-Contoh pentingnya adalah, untuk bilangan bulat positif '' N '', salah satu dari [[subgrup kongruensi]]
+Salah satu contoh penting subgrup {{math | SL (2, '''Z''')}} adalah [[subgrup kongruensi]]. Untuk setiap bilangan bulat positif ''N,'' berikut ini beberapa contoh subgrup kongruensi:
 :<math>\begin{align}
   \Gamma_0(N) &= \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{SL}(2, \mathbf{Z}): c \equiv 0 \pmod{N} \right\} \\
@@ Baris 50: / Baris 50: @@
 \end{align}</math>
-Untuk ''G'' = Γ<sub>0</sub>(''N'') atau {{math|Γ(''N'')}}, ruang ''G''\'''H''' dan ''G''\'''H'''<sup>∗</sup> dilambangkan ''Y''<sub>0</sub>(''N'') dan ''X''<sub>0</sub>(''N'') dan ''Y''(''N''), ''X''(''N''), masing-masing.
+Untuk ''G'' = Γ<sub>0</sub>(''N'') atau {{math|Γ(''N'')}}, ruang ''G''\'''H''' dan ''G''\'''H'''<sup>∗</sup> masing-masing dilambangkan ''Y''<sub>0</sub>(''N'') dan ''X''<sub>0</sub>(''N'') dan ''Y''(''N''), ''X''(''N'').
-Geometri dari ''G''\'''H'''<sup>∗</sup> dapat dipahami dengan mempelajari [[domain fundamental]] untuk ''G'', yaitu subhimpunan ''D'' ⊂ '''H''' sedemikian rupa sehingga '' D '' memotong setiap orbit dari {{mvar | G}}, aksi pada '''H''' tepat satu kali dan penutupan '' D '' memenuhi semua orbit. Misalnya, [[Genus  (matematika)|genus]] dari ''G''\'''H'''<sup>∗</sup> dapat dihitung.<ref>{{Citation | last1=Gunning | first1=Robert C. | title=Lectures on modular forms | publisher=[[Princeton University Press]] | series=Annals of Mathematics Studies | year=1962 | volume=48}}, p. 13</ref>
+Geometri dari ''G''\'''H'''<sup>∗</sup> dapat dipahami dengan mempelajari [[domain fundamental]] untuk ''G'', yaitu subhimpunan ''D'' ⊂ '''H''' sedemikian rupa sehingga '' D '' melalui setiap orbit dari aksi{{mvar | G}} pada '''H''' tepat satu kali dan penutupan'' D ''melalui semua orbit. Misalnya, [[Genus  (matematika)|genus]] dari ''G''\'''H'''<sup>∗</sup> dapat dihitung.<ref>{{Citation | last1=Gunning | first1=Robert C. | title=Lectures on modular forms | publisher=[[Princeton University Press]] | series=Annals of Mathematics Studies | year=1962 | volume=48}}, p. 13</ref>
 == Gelanggang bentuk modular ==
 {{Main|Bentuk gelanggang modular}}
-Untuk subkelompok {{math | Γ}} dari {{math|SL(2, '''Z''')}}, cincin bentuk modular adalah [[gelanggang bertingkat]] yang dihasilkan oleh bentuk modular dari {{math | Γ}}. Dengan kata lain, jika {{math|M<sub>k</sub>(Γ)}} jadilah gelanggang bentuk modular dari bobot {{mvar | k}}, maka cincin bentuk modular dari {{math | Γ}} adalah gelanggang bertingkat <math>M(\Gamma) = \bigoplus_{k > 0} M_k(\Gamma)</math>.
+Untuk subgrup {{math | Γ}} dari {{math|SL(2, '''Z''')}}, gelanggang bentuk modular adalah [[gelanggang bertingkat]] yang dihasilkan oleh bentuk modular dari {{math | Γ}}. Dengan kata lain, jika {{math|M<sub>k</sub>(Γ)}} adalah gelanggang bentuk modular dari bobot {{mvar | k}}, maka gelanggang bentuk modular dari {{math | Γ}} adalah gelanggang bertingkat <math>M(\Gamma) = \bigoplus_{k > 0} M_k(\Gamma)</math>.
-Gelanggang bentuk modular dari subkelompok kesesuaian {{math|SL(2, '''Z''')}} dihasilkan dengan baik karena hasil [[Pierre Deligne]] dan [[Michael Rapoport]]. Gelanggang bentuk modular seperti itu dihasilkan dalam berat paling banyak 6 dan hubungan dihasilkan dalam berat paling banyak 12 ketika subkelompok kesesuaian memiliki bentuk modular berbobot ganjil bukan nol, dan batas yang sesuai adalah 5 dan 10 bila tidak ada bentuk modular berbobot ganjil bukan nol.
+Gelanggang bentuk modular tingkat subgrup kongruensi dari {{math|SL(2, '''Z''')}} dibangkitkan secara berhingga. Hal ini dibuktikan oleh [[Pierre Deligne]] dan [[Michael Rapoport]]. Jika subgrup kongruensi memiliki bentuk modular berbobot ganjil bukan nol, gelanggang bentuk modular dibangkitkan oleh bentuk modular dengan bobot paling besar 6 dan hubungan  antara pembangkit memiliki bobot paling besar 12. Sebaliknya, jika semua bentuk modular berbobot ganjil tingkat subgrup kongruensi adalah 0, maka batas atas bobot pembangkit dan hubungan antara pembangkit adalah 5 dan 10.
-Secara lebih umum, ada rumus untuk batas bobot generator gelanggang bentuk modular dan hubungannya untuk sembarang [[grup Fuchsian]].
+Secara lebih umum, ada rumus untuk batas bobot pembangkit gelanggang bentuk modular dan hubungannya untuk sembarang [[grup Fuchsian]].
 == Sejarah ==
 {{Unreferenced section|date=Oktober 2020}}
-Teori bentuk modular dikembangkan dalam empat periode: pertama dalam kaitannya dengan teori [[fungsi eliptik]], pada paruh pertama abad kesembilan belas; kemudian oleh [[Felix Klein]] dan lainnya menjelang akhir abad kesembilan belas sebagai konsep bentuk automorfik dipahami (untuk satu variabel); kemudian oleh [[Erich Hecke]] dari sekitar tahun 1925; dan kemudian di tahun 1960-an, karena kebutuhan teori bilangan dan perumusan [[teorema modularitas]] secara khusus memperjelas bahwa bentuk-bentuk modular adalah deepl
+Teori bentuk modular dikembangkan dalam empat periode: pertama dalam kaitannya dengan teori [[fungsi eliptik]], pada paruh pertama abad kesembilan belas; kemudian oleh [[Felix Klein]] dan lainnya menjelang akhir abad kesembilan belas sebagai konsep bentuk automorfik dipahami (untuk satu variabel); kemudian oleh [[Erich Hecke]] dari sekitar tahun 1925; dan kemudian di tahun 1960-an, karena kebutuhan teori bilangan dan perumusan [[teorema modularitas]] secara khusus memperjelas bahwa bentuk-bentuk modular memiliki kaitan yang kuat dengan teori bilangan.
 Istilah "bentuk modular", sebagai deskripsi sistematis, biasanya dikaitkan dengan Hecke.