טופולוגיית זריצקי

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

== הגדרה ותכונות יסודיות ==

טופולוגיית זריצקי מוגדרת על מרחב אפיני מממד סופי <math>V = F^n</math>, כאשר <math>F</math> שדה כלשהו. יריעות האפסים <math>\{x \in V : f(x)=0\}</math> עבור הפולינומים <math>f \in F[x_1,\dots,x_n]</math> מהוות בסיס של קבוצות סגורות לטופולוגיה; לחלופין, הקבוצות <math>U_f = \{x \in V : f(x)\neq 0\}</math> מהוות בסיס לטופולוגיה (וזהו אכן בסיס, משום ש-<math>U_f \cap U_g = U_{fg}</math>). מכיוון שחוג הפולינומים נותרי, הקבוצות הסגורות הן קבוצות מהצורה <math>\{x : f_1(x)=f_2(x)=\cdots=f_m(x)=0\}</math> עבור מספר סופי של פולינומים <math>f_1,\cdots,f_m</math>. מסיבה זו, כל קבוצה סגורה בטופולוגיית זריצקי היא קומפקטית.

טופולוגיית זריצקי היא הטופולוגיה הקטנה ביותר שעבורה כל הפונקציות הפולינומיות <math>f : F^n \rightarrow F</math> הן רציפות, ביחס לטופולוגיה הקו-סופית על <math>F</math>. אכן, הטופולוגיה הקו-סופית היא טופולוגיית זריצקי של <math>F</math> עצמו.

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

== תכונות ==
=== קבוצות האפסים ===

תהי <math>A = k[x_1,...,x_n]</math> אלגברת הפולינומים מעל שדה סגור אלגברית <math>k</math>, ויהי <math>I \subset k[x_1,...,x_n]</math> אידיאל כלשהו. נגדיר
: <math>\mathcal{V}(I) = \left\{ x \in k^n | \forall f \in I : f(x) = 0 \right\}</math>
אזי:
# <math>\mathcal{V}(0) = k^n \, \ \mathcal{V}(A) = \emptyset</math>.
# כל הקבוצות מהצורה <math>\mathcal{V}(I)</math> הן קבוצות סגורות בטופולוגיית זריצקי.
# "הופך סדר הכלה": <math>I_2 \subset I_1 \implies \mathcal{V}(I_2) \supset \mathcal{V}(I_1)</math>.
# <math>\mathcal{V}(I_1 I_2) = \mathcal{V}(I_1 \cap I_2) = \mathcal{V}(I_1) \cup \mathcal{V}(I_2)</math>.
# <math>\mathcal{V}\left( \sum_{\lambda} I_\lambda \right) = \bigcap_{\lambda} \mathcal{V}(I_\lambda)</math>.
# כל נקודה <math>a \in k^n</math> היא קבוצה סגורה (היא מאפסת את האידיאל המקסימלי שנוצר על ידי <math>( x_1 - a_1, ..., x_n - a_n )</math>, ראו משפט האפסים של הילברט).

=== אידיאלים מאפסים ===

נגדיר לכל <math>H \subset k^n</math> את
: <math>\mathcal{I}(H) = \left\{ f \in A | \forall x \in H : f(x) = 0 \right\} = \left\{ f \in A | \quad f|_H = 0 \right\} </math>
זהו אידיאל ב-<math>A</math>. אזי:
# זהו אידיאל רדיקלי: <math>\sqrt{ \mathcal{I}(H) } = \mathcal{I}(H)</math>.
# משפט האפסים של הילברט:
## <math>\mathcal{V}(\mathcal{I}(H)) = \overline{H}</math> (הסגור של H).
## לכל אידיאל <math>I \subset A</math> מתקיים <math> \mathcal{I}(\mathcal{V}(I)) = \sqrt{I}</math>.
# "הופך סדר הכלה": <math>H_1 \subset H_2 \implies \mathcal{I}(H_1) \supset \mathcal{I}(H_2)</math>
# <math> \mathcal{I}(\mathcal{V}(I_2)) \subset \mathcal{I}(\mathcal{V}(I_1)) \iff \sqrt{I_2} \subset \sqrt{ I_1 } \iff \mathcal{V}(I_2) \supset \mathcal{V}(I_1)</math>.
# <math> \mathcal{I}(\mathcal{V}(I_2)) = \mathcal{I}(\mathcal{V}(I_1)) \iff \sqrt{I_2} = \sqrt{ I_1 } \iff \mathcal{V}(I_2) = \mathcal{V}(I_1)</math>.

מתכונות אלה מסיקים שיש התאמה חד-חד-ערכית ועל בין הקבוצות הסגורות של <math>k^n</math> לבין האידיאלים הרדיקליים של <math>A = k[x_1,...,x_n]</math>. ניתן להכליל זאת ל-<math>k</math>-אלגברה כללית <math>A</math> כאשר את <math>k^n</math> מחליפה <math>\mathrm{Max}(A)</math> שהיא קבוצת האידיאלים המקסימליים של <math>A</math>. במקרה ש-<math>A</math> היא אלגברת הפולינומים <math> k[x_1,...,x_n]</math> ניתן להראות באמצעות משפט האפסים של הילברט (בגרסתו החלשה) ש-<math>\mathrm{Max}\left( k[x_1,...,x_n] \right) \cong k^n</math>.

== הכללה ==

מהאמור לעיל, <math>\mathrm{Max}\left( k[x_1,...,x_n] \right) \cong k^n</math>. במקרה הזה, ניתן לראות שההתאמה בין אידיאל מקסימלי ל"נקודה" במרחב האפיני ניתנת על ידי
: <math>\vec{a}=(a_1, ..., a_n ) \longleftrightarrow ( x_1 - a_1, ..., x_n - a_n )</math>
כאשר הסוגריים באגף ימין מסמלים את האידיאל הנוצר על ידי הפונקציות הללו. למעשה,
: <math>\mathcal{V} \left( x_1 - a_1, ..., x_n - a_n \right) = (a_1, ..., a_n )</math>.
כעת, יהי <math>I</math> אידיאל בחוג <math>k[x]</math>, אזי <math>a \in \mathcal{V}(I)</math> אם ורק אם לכל <math>f \in I</math> מתקיים ש-<math>f(a)=0</math>, כלומר: לכל <math>f \in I</math> מתקיים <math>(x-a)|f(x)</math>, כלומר: האידיאל הנוצר על ידי <math>f</math> מוכל באידיאל המקסימלי הנוצר על ידי <math>(x-a)</math>. נכליל זאת: <math>x \in \mathcal{V}(I) \iff I \subset M_x</math> כאשר <math>M_x</math> הוא האידיאל המקסימלי המתאים ל-<math>x</math>.

באמצעות הכללה זו אפשר להגדיר עבור <math>k</math>-אלגברה <math>A</math> טופולוגיית זריצקי לא רק על <math>\mathrm{Max}(A)</math> אלא גם על <math>\mathrm{Spec}(A)</math> - אוסף האידיאליים הראשוניים של <math>A</math>. ההכללה נעשית באמצעות ההגדרה הבאה:
: יהי <math>I</math> אידיאל ב-<math>A</math>, אזי אידיאל ראשוני <math>P</math> שייך ל-<math>\mathcal{V}(I)</math> אם ורק אם <math>I \subset P</math>,
ואז מגדירים את הקבוצות מהצורה <math>\mathcal{V}(I)</math> להיות הקבוצות הסגורות ב-<math>\mathrm{Spec}(A)</math>. הכללה זו מובילה למושג הסכמה (ראו סכמה אפינית).

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

== ראו גם ==
* גאומטריה אלגברית
* יריעה אלגברית
* משפט האפסים של הילברט

== לקריאה נוספת ==
* T.A. Springer, Linear Algebraic Groups, chapter 1

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

זריצקי
קטגוריה:גאומטריה אלגברית