באלגברה מופשטת, חוג ויט (Witt Ring) של שדה F הוא החוג WF שאיבריו הם המרחבים הריבועיים מעל השדה, עד כדי שקילות ויט, יחד עם הפעולות המושרות על ידי הסכום הישר והמכפלה הטנזורית. חוג ויט ממיין את המרחבים הריבועיים האנאיזוטרופיים (מממד סופי) מעל השדה.
לאידיאל הראשי IF של חוג ויט WF, הכולל את התבניות מממד זוגי, והחזקות שלו, חשיבות רבה בתורת המבנה. השערת מילנור מקשרת את המנות לתורת K. תורת השדות הסדורים מספקת מידע על אידיאל הפיתול של חוג ויט.
תבנית ריבועית מעל היא הפונקציה , כאשר היא תבנית ביליניארית על מרחב (מממד סופי) V. מרחב וקטורי יחד עם תבנית ריבועית נקרא מרחב ריבועי. מרחב ריבועי נקרא אנאיזוטרופי, אם רק ל-. בחירת בסיס למרחב V מאפשרת להציג את התבנית כפולינום הומוגני מדרגה 2. יתרה מזאת, במאפיין שונה מ-2 ניתן לבחור הצגה אלכסונית - , ואז מסמנים .
המרחב הריבועי הדו־ממדי נקרא מישור היפרבולי, ומסומן . סכומים של עותקים שלו נקראים מרחב היפרבולי. לפי משפט, כל מרחב ריבועי אפשר להציג בצורה - - חלק רדיקלי, חלק היפרבולי וחלק אנאיזוטרופי (לפרטים המלאים ראו בערך תבנית ריבועית).
משפט הצמצום של ויט קובע כי אם אז , ולכן החלק האנאיזוטרופי של מרחב מוגדר היטב.
פעולות אלו מוגדרות היטב, והופכות את לחוג קומוטיבי.
כחבורה חיבורית, חוג ויט נוצר על ידי האיברים מהצורה . שתי תבניות כאלה הן שקולות אם ורק אם הסקלרים המגדירים אותן שקולים עד כדי ריבועים, כלומר שייכות לאותה מחלקה ב-.
פורמלית, העתקת הצמצום (restriction map) היא ההעתקה המוגדרת על ידי , כאשר . נסמן בקיצור ; זהו הומומורפיזם של חוגים. כלומר, שיכון של שדות עובר להומומורפיזם של חוגים, ההופך בשפה קטגורית את ההתאמה של שדה לחוג ויט שלו לפונקטור בין קטגוריית השדות לקטגוריית החוגים הקומוטטיביים.
העתקת הצמצום יכולה להעביר תבנית אנאיזוטרופית לתבנית איזוטרופית ואף לתבנית היפרבולית. כעת נראה מהן תכונות ההעתקה.
משפט: אם הרחבה טרנסצנדנטית, אז מהווה שיכון חוגים (כלומר, היא חד-חד-ערכית).
בנוגע לחלק האלגברי, התאוריה מעט מסובכת יותר ותלויה בזוגיות ממד ההרחבה.
משפט: הגרעין של העתקת הצמצום של הרחבה ריבועית הוא האידיאל הנוצר על ידי , כאשר היא תבנית פיסטר.
כלומר, מתקבלת סדרה מדויקת: . כדי להשלים את הסדרה וכך ללמוד על תמונת העתקת הצמצום, מגדירים את העתקת הטרנספר - נגדיר על ידי , ונגדיר על ידי . מתקבלת הסדרה המדויקת:
, ולכן התבנית היא צמצום של תבנית מ- אם ורק אם היפרבולית.
בממד אי זוגי מתקיים:
משפט שפרינגר: אם הרחבה ממד אי זוגי, אז אם התבנית אנאיזוטרופית מעל , כך גם . בפרט, חד-חד-ערכית.
אחת השאלת המרכזיות על חוג ויט היא מחקר החזקות של האידיאל היסודי, הכולל את התבניות מממד זוגי.
פורמלית, אם מתאימה לכל מרחב ריבועי את זוגיות הממד שלו, מסמנים . כלומר, הוא אוסף מחלקות השקילות של תבניות מסדר זוגי. זוגיות הממד מודולו 2 מוגדרת היטב, משום שכל מישור היפרבולי הוא מממד זוגי. האידיאל נוצר על ידי כל התבניות מהצורה , או מהצורה , כאשר היא תבנית פיסטר.
כעת, מגדירים . הם נוצרים על ידי מכפלת תבניות פיסטר דו-ממדיות, כלומר מהצורה .
אנו מתעניינים בשרשרת האידיאלים והמנות שלהם. נסקור את מבנה המנות עבור קטן, ונציג את האינווריאנטים הראשונים. בתת-הנושא הבא נראה את התורה הכללית.
כאמור לעיל, ההעתקה הממפה מרחב אל זוגיות הממד שלו מוגדרת היטב, מהווה הומומורפיזם ובעלת גרעין , ולכן לפי משפט נתר הראשון מתקיים . אפשר גם להוכיח כי מתקבלת כמנה של חוג ויט רק על ידי .
הדטרמיננטה של מרחב ריבועי היא הדרמיננטה של המטריצה המייצגת שלו, המוגדרת עד כדי ריבועים, כלומר במרחב . עם זאת, היא לא מוגדרת היטב על מחלקות בחוג ויט, כי . לכן, מגדירים את הדיסקרימיננטה - , המוגדרת היטב ובעלת גרעין , ולכן מהווה איזומורפיזם
.
מבנה המנה מעיד גם על היותו של חוג ויט נותרי - נותרי אם ורק אם המנה סופית.
ניזכר כי אלגברת קליפורד של מרחב ריבועי היא (ובקיצור )כאשר הממד זוגי היא מהווה אלגברה פשוטה מרכזית מעל שדה הבסיס, ולכן משרה מחלקת שקילות בחבורת בראואר. במילים אחרות, מקבלים העתקה , הנתונה על ידי . ההעתקה מוגדרת היטב, משום שלכל תבנית ממד זוגי מתקיימת הזהות , ובפרט . כעת, כאמור לעיל, אדישה לתבניות מ-, ולכן צמצום ההעתקה מהווה הומומורפיזם. אפשר להוכיח כי היא משרה איזומורפיזם
, כאשר היא חבורת בראואר מפיתול 2.
שדה סדור הוא שדה בו ניתן להציב קבוצת חיוביים הסגורה לחיבור וכפל, ו-. כל שדה סדור הוא ממאפיין אפס. שדה סדור הוא אוקלידי אם כל איבר חיובי בו הוא ריבוע של איבר אחר. שדה הוא סגור ממשית אם הוא אוקלידי ולכל פולינום ממעלה אי זוגית בו יש שורש.
שדה נקרא ניתן לסידור אם ניתן להגדיר עליו סדר. לפי משפט ארטין-שרייר, שדה ניתן לסידור אם ורק אם איננו סכום של ריבועים, ולכל איבר שאינו סכום של ריבועים יש סדר בו . שדה הוא פיתגורי אם כל ריבוע איבר בו הוא סכום של שני ריבועים.
כעת, יהי שדה סדור עם סדר . ההעתקה , הנקראת סימן סילבסטר, היא ההעתקה הממפה תבנית למספר האיברים החיוביים פחות השליליים בה. ההעתקה מוגדרת היטב לפי משפט ההתמדה של סילבסטר, ומהווה אפימורפיזם חוגים. אם השדה אוקלידי (ובפרט שדה סגור ממשית) ההעתקה מהווה איזומורפיזם חוגים.
מרחב הסידורים של השדה הוא אוסף כל הסידורים שלו, המסומן . מתקיימת ההתאמה הבאה:
משפט: ישנה התאמה חד-חד-ערכית בין סידורים של שדה לאידיאלים ראשוניים של חוג ויט הלא מכילים את 2.
מפורשות, בהינתן אידיאל כנ"ל, נגדיר קבוצת חיוביים: . בכיוון ההפוך, בהינתן קבוצת חיוביים , מגדירים את להיות האידיאל הנוצר על ידי תבניות פיסטר של איברים מ-.
ל- יש את תת הבסיס המורכב מהקבוצות הפתוחות והסגורות .
כעת, מגדירים את הסימן הגלובלי כפונקציה , על ידי . ניתן להוכיח כי תמונת המיפוי מוכלת באוסף הפונקציות הרציפות, כלומר . ההעתקה מהווה הומומורפיזם, עם גרעין - הוא קבוצת ה--פיתול של ,
ובעלת קו-גרעין המהווה אף הוא קבוצה בעלת 2-פיתול.
השערת מילנור שנסקרה לעיל מספקת יצוג באמצעות יוצרים ויחסים לכל המנות . עבור ערכים נמוכים של n ידוע יצוג כזה גם לאידיאלים עצמם
חוג ויט נוצר על ידי ה(מחלקות של ה)תבניות הביליניאריות החד-ממדיות (לכל a שונה מאפס), עם היחסים , , ו- המתארים את החלק האדיטיבי, והיחס המגדיר את פעולת הכפל.
האידיאל היסודי נוצר על ידי תבניות פיסטר (לכל ) עם היחסים , ו- כל אימת ש-.
ריבוע האידיאל היסודי, נוצר כחבורה חיבורית על ידי התבניות (לכל ) עם היחסים ; אם התבניות איזוטרופיות; ו-.
במאפיין שונה מ-2 אפשר לזהות תבניות ריבועיות וביליניאריות. במאפיין 2 הקשר בין שני סוגי התבניות מסובך יותר, ולכן נחזור על ההגדרה של חוג ויט במקרה הכללי, התקף גם במאפיין 2. חוג ויט הוא חוג-גרותנדיק של התבניות ה*ביליניאריות* הסימטריות הלא-מנוונות, מודולו תבניות היפרבוליות. כל תבנית ביליניארית סימטרית אנאיזוטרופית מתאימה לאיבר יחיד בחוג ויט. תבנית ביליניארית שקולה בחוג ויט לאפס, אם ורק אם היא מטאבולית.
המודול של ויט, , הוא חבורת גרותנדיק של המונויד של התבניות ה*ריבועיות* הלא-מנוונות מממד זוגי, מודולו המרחבים ההיפרבוליים. המודול נוצר על ידי ה(מחלקות של ה)תבניות הדו-ממדיות (המייצגות את התבניות ). כחבורה אבלית, הוא מוגדר על ידי היחסים , ו-. פעולת הכפל בסקלר מושרית על ידי המכפלה הטנזורית של תבניות, ואפשר להגדיר אותה גם על ידי הפעולה של יוצרים על יוצרים, . מודול ויט נוצר, כמודול מעל חוג ויט, על ידי תבניות פיסטר הריבועיות .
על המודול של ויט מוגדר אינווריאנט ארף (אנ'), לפי , כאשר . הגרעין של אינווריאנט ארף הוא . ייצוג של עם היוצרים נתון על ידי היחסים הבאים: הסמל בי-אדיטיבי וסימטרי;
;
;
[1](הקישור אינו פעיל). באופן כללי מסמנים .