יריעה אלגברית פרויקטיבית

יריעה אלגברית פרויקטיבית היא יריעה אלגברית במרחב הפרויקטיבי, כלומר: קבוצת השורשים של קבוצת פולינומים הומוגניים. היריעות האלגבריות נחקרות במסגרת הגאומטריה הפרויקטיבית והגאומטריה האלגברית. למשל: קיימים מיונים של ישרים פרויקטיבים, עקומות קוניות פרויקטיביות (עקומות שמוגדרות על ידי פולינום הומוגני ממעלה 2) ועקומות קוביות פרויקטיביות (עקומות שמוגדרות על ידי פולינום הומוגני ממעלה 3) מישוריות. משפט בזו מנוסח אף הוא למקרה הפרויקטיבי. יריעות פרויקטיביות מופיעות גם במחקר של חבורות אלגבריות (למשל: אם $G$ חבורה אלגברית ו-$H$ תת-חבורה אלגברית שלה המנה $G/H$ היא יריעה קוואזי-פרויקטיבית).

הגדרה

המרחב הפרויקטיבי $\mathbb {P} _{K}^{n}$ מעל שדה סגור אלגברית $K$ הוא מרחב המנה של מרחב וקטורי המורכב מאוסף ה-$n+1$-יות $(x_{0},x_{1},...,x_{n})$ ללא $(0,...,0)$ תחת יחס השקילות

$(x_{0},x_{1},...,x_{n})\sim (y_{0},y_{1},...,y_{n})\iff \exists \lambda \in K^{\times }:\forall 0\leq i\leq n:x_{i}=\lambda y_{i}$

כלומר, כל שתי $n+1$-יות מזוהות כאחת אם הן פרופורציוניות זו לזו בסקלר שונה מאפס. מסמנים

$\mathbb {P} _{K}^{n}=\left((K^{n+1}-\{0\})/\sim \right)=\left\{(x_{0}:x_{1}:...:x_{n})\mid x_{i}\in K,{\mbox{ not all are zero}}\right\}$.

פולינום ב-$n+1$ משתנים $x_{0},x_{1},...,x_{n}$ יקרא פולינום הומוגני ממעלה d אם

$f(\lambda x_{0},...,\lambda x_{n})=\lambda ^{d}f(x_{0},...,x_{n})$

כאשר $d$ היא מעלת הפולינום. לדוגמה: $f(x,y,z)=x^{2}+yz$ הוא הומוגני ממעלה 2 בעוד ש-$g(x,y,z)=x^{3}+yz$ אינו הומוגני בכלל.

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

$V={\mathcal {V}}(f_{1},...,f_{m})=\left\{(x_{0}:x_{1}:...:x_{n})\in \mathbb {P} _{K}^{n}\mid f_{1}(x_{0},...,x_{n})=...=f_{m}(x_{0},...,x_{n})=0\right\}$

כאשר $f_{1},...,f_{m}$ הם פולינומים הומוגניים. הקבוצה $V$ נקראת יריעה אלגברית פרויקטיבית.

קבוצה $X$ ב-$\mathbb {P} _{K}^{n}$ נקראת "קבוצה אלגברית" ומוגדרת להיות קבוצה סגורה אם היא מהצורה $X={\mathcal {V}}(f_{1},...,f_{m})$ עבור $f_{1},...,f_{m}$ הם פולינומים הומוגניים כלשהם. הגדרה זו משרה טופולוגיית זריצקי על המרחב הפרויקטיבי.

באופן דומה למקרה של יריעה אלגברית אפינית אפשר להגדיר טופולוגיית זריצקי ואי-פריקות של יריעות אלגבריות, וכן להגדיר $K$-אלגברה של פונקציות מעל כל יריעה. יש הכוללים בהגדרה "יריעה אלגברית פרויקטיבית" את הדרישה שהיא תהייה אי-פריקה בטופולוגיית זריצקי. באופן דומה למקרה האפיני, אפשר לנסח את משפט האפסים של הילברט.

יריעות קוואזי-פרויקטיביות

קבוצה פתוחה בטופולוגיית זריצקי שמוכלת בקבוצה סגורה במרחב הפרויקטיבי נקראת יריעה קוואזי-פרויקטיבית. הגדרה שקולה היא קבוצה סגורה מקומית. יריעה אלגברית אפינית ויריעה אלגברית פרויקטיבית הן מקרה פרטי של יריעה קוואזי-פרויקטיבית.

ראו גם

• יריעה אלגברית אפינית

קישורים חיצוניים

• יריעה אלגברית פרויקטיבית, באתר MathWorld (באנגלית)