הצגת המקור של הדף "משפט רימן-רוך"

ב[[מתמטיקה]], ובמיוחד ב[[גאומטריה אלגברית]] וב[[אנליזה מרוכבת]], '''משפט רימן רוך''' הוא משפט חשוב המאפשר לחשב את המימד של מרחבי [[פונקציה מרומורפית|פונקציות מרומורפיות]] עם אפסים וקטבים נתונים על [[משטח רימן|משטחי רימן]] [[קומפקטיות|קומפקטיים]] ומאפשר להסיק את קיומן של פונקציות המוגדרות על המשטח ומקיימות אילוצים מסוימים על האפסים והקטבים שלהן. 

המשפט הוכח בשני חלקים. תחילה הוכיח [[ברנהרד רימן]] טענה חלשה יותר הנקראת '''אי שוויון רימן'''. לאחר מכן הוכיח אחד מתלמידיו, [[גוסטב רוך]], את המשפט במלואו בשנות ה-50 של המאה ה-19.

מאוחר יותר הוכחו הכללות רבות של המשפט, בין היתר ל[[עקום אלגברי|עקומים אלגברים]] ול[[יריעה אלגברית|יריעות אלגבריות]] מממדים גבוהים יותר.

==המרחב ''(L(D''==

נניח כי ''X'' הוא משטח רימן קומפקטי, וכי ''D'' הוא [[משטח רימן#מחלקים על משטח רימן|מחלק]] על ''X''. כזכור, מחלק ''D'' על משטח רימן קומפקטי הוא פשוט סכום סופי <math>\,\sum_{i=1}^n c_i \cdot x_i</math> כאשר <math>\,c_i \in \mathbb{Z} </math> הם מספרים שלמים, ו<math>\,x_i \in X</math> הן נקודות ב''X''. הדרגה של ''D'' מוגדרת להיות <math>\,\deg(D) = \sum_{i=1}^n c_i</math>.

===יחס סדר חלקי על מחלקים===
נניח כי <math>\,D_1, D_2</math> הם שני מחלקים על ''X'' כך שמתקיים
<math>\,D_1 = \sum_{i=1}^n c_i \cdot x_i</math>
<math>\,D_2 = \sum_{i=1}^n d_i \cdot x_i</math>
(כל שני מחלקים אפשר לכתוב עם אותם אינדקסים בדיוק משום שייתכן ש<math>\,c_i</math> או <math>\,d_i</math> שווים ל0 עבור אינדקסים מסוימים).
נגדיר [[יחס (תורת הקבוצות)|יחס]]  <math>\, \le </math>  על המחלקים על ''X'' באופן הבא:
נאמר ש <math>D_1 \le D_2</math> אם לכל <math>\,1\le i \le n</math> מתקיים <math>\, c_i \le d_i</math>.
ניתן להראות שזהו יחס [[סדר חלקי]] על קבוצת המחלקים על ''X''.

לדוגמה, אם <math>\, x,y,z \in X</math> הן נקודות על ''X'', ו<math>\,D_1 = x +2y</math>, <math>\,D_2 = 3x+4y+5z</math>, אז מכיוון שהמקדם של כל נקודה ב<math>\,D_1</math> קטן או שווה מהמקדם של כל נקודה ב<math>\,D_2</math>, הרי ש<math>D_1 \le D_2</math>.

===הגדרת המרחב ''(L(D''===
בהינתן מחלק ''D'' על משטח רימן קומפקטי ''X'', מסמנים את שדה כל ה[[פונקציה מרומורפית|פונקציות המרומורפיות]] על ''X'' ב <math>\mathcal{M}(X)</math>. נשים לב ששדה הפונקציות המרומורפיות של ''X'' הוא [[מרחב וקטורי]] מעל [[שדה המספרים המרוכבים]]. 
נגדיר את המרחב ''(L(D'' שהוא תת-מרחב של שדה הפונקציות המרומורפיות באופן הבא:

<math>\,L(D) = \{f \in \mathcal{M}(X)^{\times} : (f) \ge -D\} \cup \{0\} </math>

כזכור, <math>\,(f)</math> הוא המחלק המתאים לפונקציה המרומורפית ''f''. רק לפונקציות מרומורפיות השונות מפונקציית ה''0'' מתאים מחלק, ולפיכך יש להוסיף את פונקציית ה''0'' על מנת לקבל מרחב וקטורי.
 
נסביר כעת את משמעות ההגדרה. לשם כך, נניח כי <math>\, y,z \in X</math> הן נקודות ב''X'', ונניח כי <math>D = 3\cdot y -4\cdot z</math> הוא מחלק על ''X''.
בדוגמה זו, המרחב <math>\,L(D)</math> יכיל את פונקציית ה''0'' וכן את כל הפונקציות המרומורפיות <math>f \in \mathcal{M}(X)^{\times}</math> כך שמתקיים <math>(f) \ge -D = -3\cdot y +4 \cdot z</math>
בפרט, לכל נקודה <math>\,x \in X</math> כך ש<math>\,x \ne y</math> ו<math>\, x\ne z</math> מתקיים <math>\,(f) (x) \ge 0</math>. לפיכך לכל נקודה ''x'' כזאת, ''f'' [[פונקציה הולומורפית|הולומורפית]] ב''x''. בנקודה ''y'' על ''f'' לקיים <math>\,(f) (y) \ge -3</math>, ולפיכך ל''f'' יכול להיות קוטב בנקודה זו, כאשר סדר הקוטב הוא לכל היותר 3.  בנקודה ''z'' על ''f'' לקיים <math>\,(f) (z) \ge 4</math>, ולפיכך בנקודה זו יש ל''f'' אפס מסדר 4 לפחות. כל פונקציה ''f'' שהיא פונקציה מרומורפית על ''X'' ואשר מקיימת את התנאים הללו תהיה שייכת למרחב ''(L(D'' עבור ''D'' הנ"ל.

באופן כללי, התנאים של השתייכות למרחבי ''(L(D'' עבור פונקציה <math>\, f \ne 0</math> הם תנאים מ3 הסוגים הבאים:
# עבור נקודות ''x'' שעבורן <math>\,D(x) = 0</math>, על ''f'' להיות הולומורפית בנקודה ''x''.
# עבור נקודות ''x'' שעבורן <math>\,D(x) = n > 0</math>, בנקודה ''x'' לפונקציה ''f'' מותר שיהיה קוטב מסדר לכל היותר ''n''.
# עבור נקודות ''x'' שעבורן <math>\,D(X) = -n <0</math>, בנקודה ''x'' לפונקציה ''f'' '''חייב''' להיות אפס מסדר ''n'' לפחות.

ניתן להראות כי ''(L(D'' הוא מרחב וקטורי ממימד סופי מעל שדה המספרים המרוכבים. משפט רימן רוך מאפשר לחשב את המימד של ''(L(D''.

==משפט רימן רוך==
נניח כי ''X'' משטח רימן קומפקטי, ''D'' הוא מחלק על ''X'' וכי [[משטח רימן#הגנוס של משטח|הגנוס]] של ''X'' הוא ''g''. 
'''אי שוויון רימן''' נותן חסם תחתון למימד של ''(L(D'' על ידי: 
<math>\dim L(D) \ge \deg D -g + 1</math>

לעומת זאת, '''משפט רימן רוך''' מאפשר לחשב במדויק את המימד של  ''(L(D'' באמצעות הנוסחה הבאה:

<math>\, \dim L(D) = \dim \mathcal{H}^1(X,\mathcal{O}_D) + 1 -g +\deg D</math>

כאשר <math>\mathcal{H}^1(X,\mathcal{O}_D)</math> היא [[קוהומולוגיית צ'ך]] הראשונה של האלומה <math>\,\mathcal{O}_D</math>. 

===האלומה <math>\,\mathcal{O}_D</math>===
בהסתמך על הגדרת המרחב הווקטורי ''(L(D'', בהינתן מחלק ''D'' על משטח רימן קומפקטי ''X'', נגדיר אלומה שתסומן על ידי <math>\mathcal{O}_D</math>, אשר תאפשר להסיק מידע גלובלי ממידע מקומי על המרחב ''(L(D''.
בהינתן [[קבוצה פתוחה]] <math>U \subseteq X</math> נגדיר את <math>\,\mathcal{O}_D(U)</math> להיות אוסף הפונקציות המרומורפיות על ''U'', שביחס לקבוצה הפתוחה ''U'' שייכות ל''(L(D''. בצורה מדויקת, ההגדרה היא:

<math>\mathcal{O}_D(U) = \{f \in \mathcal{M}(U): (f) (x) \ge -D(x), \forall x \in U\}</math>
כאשר <math>\,\mathcal{M}(U)</math> מסמן את שדה הפונקציות המרומורפיות על ''U''. נזכור כי ''U'' כתת-קבוצה  פתוחה של משטח רימן היא בעצמה משטח רימן, ולכן יש למושג שדה הפונקציות המרומורפיות על ''U'' את משמעותו הרגילה.
[[הומומורפיזם|הומומוריפזמי]] הצמצום הם צמצומים רגילים של פונקציות. מכיוון ששייכות לקבוצה זו הוגדרה באמצעות תכונה מקומית, הרי שקל לוודא שאקסיומת ההדבקה מתקיימת וזוהי אכן אלומה של מרחבים וקטורים.

==ראו גם==
* [[משפט מיטאג-לפלר]]

[[קטגוריה:משטחי רימן]]
[[קטגוריה:משפטים בגאומטריה אלגברית|רימן רוך]]
[[קטגוריה:משפטים באנליזה מרוכבת|רימן רוך]]
[[קטגוריה:ברנהרד רימן]]