prikaz prve stranice dokumenta Modeli modularnih krivulja, modularne forme i \(\eta\)-kvocijenti
Access restricted to students and staff of home institution
doctoral thesis
Modeli modularnih krivulja, modularne forme i η-kvocijenti
Zagreb: University of Zagreb, Faculty of Science, 2016. urn:nbn:hr:217:697341
Kodrnja, Iva
University of Zagreb
Faculty of Science
Department of Mathematics

Institutional repository: Repository of the Faculty of Science

Cite this document

Kodrnja, I. (2016). Modeli modularnih krivulja, modularne forme i η-kvocijenti (Doctoral thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:697341

Kodrnja, Iva. "Modeli modularnih krivulja, modularne forme i η-kvocijenti." Doctoral thesis, University of Zagreb, Faculty of Science, 2016. https://urn.nsk.hr/urn:nbn:hr:217:697341

Kodrnja, Iva. "Modeli modularnih krivulja, modularne forme i η-kvocijenti." Doctoral thesis, University of Zagreb, Faculty of Science, 2016. https://urn.nsk.hr/urn:nbn:hr:217:697341

Kodrnja, I. (2016). 'Modeli modularnih krivulja, modularne forme i η-kvocijenti', Doctoral thesis, University of Zagreb, Faculty of Science, accessed 26 March 2025, https://urn.nsk.hr/urn:nbn:hr:217:697341

Kodrnja I. Modeli modularnih krivulja, modularne forme i η-kvocijenti [Doctoral thesis]. Zagreb: University of Zagreb, Faculty of Science; 2016 [cited 2025 March 26] Available at: https://urn.nsk.hr/urn:nbn:hr:217:697341

I. Kodrnja, "Modeli modularnih krivulja, modularne forme i η-kvocijenti", Doctoral thesis, University of Zagreb, Faculty of Science, Zagreb, 2016. Available at: https://urn.nsk.hr/urn:nbn:hr:217:697341

Metadata
TitleModeli modularnih krivulja, modularne forme i η-kvocijenti
AuthorIva Kodrnja
MentorGoran Muić (mentor)
Committee memberMatija Kazalicki (predsjednik povjerenstva)
Committee memberIvica Gusić (član povjerenstva)
Committee memberGoran Muić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Science
(Department of Mathematics)
Zagreb
Defense date and country2016-07-08, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Universal decimal classification
(UDC)		51 - Mathematics
Abstract
Neka je Γ modularna grupa, odnosno podgrupa konačnog indeksa u SL2(Z). Ona djeluje na gornju kompleksnu poluravninu linearnim frakcionalnim transformacijama. Kada pogledamo kvocijent gornje poluravnine po tom djelovanju, dobivamo skup X(Γ) na kojem se može definirati struktura glatke Riemannove plohe. On se još dodatno kompaktificira dodavanjem kuspova - elemenata skupa proširenih realnih brojeva koji su jedinstvene fiksne točke nekog elementa iz Γ. Skup... More X(Γ) sastoji se od orbita elemenata skupa gornje poluravnine i klasa neekvivalentnih kuspova. Skup X(Γ) nazivamo modularna krivulja. Za grupu Γ0(N) taj kvocijent označavamo X0(N) i nazivamo glavna modularna krivulja. Promatra se sljedeće preslikavanje - elementu modularne krivulje X(Γ) pridružena je točka projektivne ravnine (f(z):g(z):h(z)), gdje su f,g i h neke tri linearno nezavisne modularne forme za promatranu modularnu grupu Γ parne težine veće ili jednake 2. Ovo preslikavanje je u stvari preslikavanje definirano meromorfnim funkcijama 1,g/f i h/f i to je preslikavanje holomorfno. Dokazana je formula koja veže stupanj preslikavanja i stupanj slike. Ukoliko je stupanj preslikavanja jednak 1, dobivena ravninska projektivna krivulja je model početne modularne krivulje. Iz formule se izvodi test kojim se provjerava da li je preslikavanje biracionalna ekvivalencija tako da se izračunaju sve vrijednosti izuzev stupnja preslikavanja. Računanje se razdvaja u dva smjera. Prvi se odnosi na računanje divizora modularnih formi. Za računanje divizora prvo je potrebno odrediti kuspove te treba znati Fourierove razvoje modularnih forme u kuspovima. Opisani su kuspovi na kongruencijskim podgrupama te izračunani divizori formi Δ, Eisensteinovog reda E34 te η-kvocijenata na kongruencijskog podgrupi Γ0(N). Drugi smjer bavi se izračunom stupnja dobivene krivulje. U tu svrhu razvijen je algoritam koji provjerava stupanj dobivene krivulje i nalazi jednadžbu dobivene krivulje. Stupanj krivulje je povezan s rangom matrice koeficijenta homogenog sustava dobivenog iz činjenice da je homogena linearna kombinacija modularnih formi ponovo modularna forma te da određen broj početnih članova u Fourierovom razvoju modularne forme mora iščezavati da bi forma bila nul-forma (takozvana Sturmova ocjena, a za kongruencijske podgrupe slijedi iz formule valencije). Algoritam se bazira na tvrdnjama iz algebarske geometrije (Hilbertov teorem o nulama), linearne algebre te teorije modularnih formi. η-kvocijenti su klasa modularnih formi dobivenih iz Dedekindove η-funkcije množenjem i skaliranjem. Uz određene uvjete ove su funkcije modularne forme na Γ0(N). Vrlo su pogodne za računanje jer postoji formula za red u kuspu te je jednostavno izračunati divizor. Imaju cjelobrojne koeficijente u Fourierovom razvoju. Nađeni su η-kvocijenti težina 2, 4, 6 i 12 na Γ0(p), za prost broj p i gledana preslikavanja u projektivnu ravninu. Posebno gledamo preslikavanje s X0(N) definirano s Δ,E34 i ΔN. Određeni su oni η-kvocijenti težine 12 koji imaju nulu maksimalnog redu u kuspu ∞ te pomoću njih konstruirani modeli krivulja X0(N). Less
Abstract (english)
Modular group Γ is a subgroup of SL2(Z) of finite index. A modular group acts on the complex upper half plane by linear fractional transfomations. Quotient of this action is a set X(Γ) which is compactified by adding cusps. Cusps are real numbers or ∞ which are fixed by some parabolic element in Γ. On the set X(Γ) we can define complex structure so it becomes a compact Riemann surface. The set X(Γ) is called a modular curve... More and it consists of orbits of elements of the upper half plane and classes of nonequivalent cusps. If Γ is the congruence subgroup Γ0(N), then this quotient is denoted X0(N). We observe the following mapping - an element of the modular curve X(Γ) is mapped into a point in the projective plane using three linearly independent modular forms of some even weight greater or equal to 2. This mapping is holomorphic. We prove a formula which connects the degree of the map and the degree of the image curve. If the degree of the map equals 1, then the image curve is a model of the modular curve X(Γ). From the formula we can check whether the map is birational equivalence by computing all values except the degree of the map. There are two directions in calculations. On one hand, we need to calculate the divisors of the modular forms. We describe the cusps of congruence subgroups and calculate the divisors of the Ramanujan delta function Δ, Eisenstein series E4 and various η-quotients with regard to the group Γ0(N). On the other hand, we calculate the degree of the image curve. We develop an algorithm which calculates this degree and the defining polynomial. The degree is connected to the rank of a matrix of the coefficients of a homogeneous system of equations. The system is obtained from the fact that a finite number of coefficient in the Fourier expansion of a modular form must be equal to zero if a form is zero. This finite number of coefficients is calculated from the Sturm bound. The algorithm is based on the Hilbert zero theorem, linear algebra and the theory of modular forms. A class of modular forms called η-quotients are obtained by multiplication and scaling from the Dedekind η-function. Under certain assumptions, these functions are modular forms on Γ0(N). There is a formula for the divisor of an η-quotient and they have integral Fourier expansions. We search for η-quotients on Γ0(p) for a prime p and create mappings with these functions. We observe the map from X0(N) defined with Δ,E34 and ΔN. We determine those η-quotients that have the zero of the maximal order at the cusp ∞ and use these functions to create models of X0(N). Less
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:217:697341
Study programmeTitle: Mathematics
Study programme type: university
Study level: postgraduate
Academic / professional title: doktor/doktorica znanosti, područje prirodnih znanosti, polje matematika (doktor/doktorica znanosti, područje prirodnih znanosti, polje matematika)
Type of resourceText
ExtentVII, 115 str.
File originBorn digital
Access conditionsAccess restricted to students and staff of home institution
Terms of useLicence In copyright icon
Created on2019-03-14 12:17:18
accessibility

closeAccessibilityrefresh

If you wish to permanently save changes, click on Save, if not - your settings will be reset when you restart the browser.