กลับไปหน้าบทความ

อ่าน 3 นาที

พื้นผิวของเอนริเกส

ใน ทางคณิตศาสตร์ พื้นผิวเอนริเกส ( Enriques surfaces) คือ พื้นผิวพีชคณิต (algebraic surfaces) ที่ความไม่สม่ำเสมอ q = 0 และ บันเดิลเส้นตรงมาตรฐาน K ไม่เป็นศูนย์...

พื้นผิวของเอนริเกส

ในทางคณิตศาสตร์ พื้นผิวเอนริเกส ( Enriques surfaces)คือพื้นผิวพีชคณิต (algebraic surfaces)ที่ความไม่สม่ำเสมอq = 0 และบันเดิลเส้นตรงมาตรฐานKไม่เป็นศูนย์ แต่มีกำลังสองเป็นศูนย์ พื้นผิวเอนริเกสทั้งหมดเป็นพื้นผิวเชิงโปรเจกทีฟ (และดังนั้นจึงเป็นพื้นผิวคาห์เลอร์ (Kähler surface) บนจำนวนเชิงซ้อน ) และเป็นพื้นผิววงรี (elliptic surfaces) ที่มีจีนัส 0 บนฟิลด์ที่มีลักษณะเฉพาะที่ไม่ใช่ 2 พื้นผิวเอนริเกสเป็นผลหารของพื้นผิว K3 โดยกลุ่มอันดับ 2 ที่กระทำโดยไม่มีจุดตรึงและทฤษฎีของพื้นผิวเอนริเกสคล้ายกับทฤษฎีของพื้นผิวพีชคณิต K3 พื้นผิวเอนริเกสได้รับการศึกษาอย่างละเอียดเป็นครั้งแรกโดยเอนริเกส  ( 1896 ) เพื่อตอบคำถามที่คาสเตลนูโอโว (1895) อภิปราย เกี่ยวกับว่าพื้นผิวที่มีq = p g = 0 จำเป็นต้องเป็นพื้นผิวตรรกยะหรือไม่ แม้ว่าความสอดคล้องของเรย์ (Reye congruences) บางส่วนที่เรย์ (Rye)  ( 1882 ) นำเสนอไว้ก่อนหน้านี้ก็เป็นตัวอย่างของพื้นผิวเอนริเกสเช่นกัน

พื้นผิวเอนริเกสสามารถกำหนดได้บนฟิลด์อื่นๆ ด้วยเช่นกัน บนฟิลด์ที่มีลักษณะเฉพาะอื่นที่ไม่ใช่ 2 อาร์ติน (1960)แสดงให้เห็นว่าทฤษฎีนี้คล้ายคลึงกับทฤษฎีบนจำนวนเชิงซ้อน บนฟิลด์ที่มีลักษณะเฉพาะ 2 นิยามจะถูกปรับเปลี่ยน และมีตระกูลใหม่สองตระกูล เรียกว่า พื้นผิวเอนริเกสเอกฐานและซูเปอร์เอกฐาน ซึ่งอธิบายโดยบอมเบียรีและมัมฟอร์ด (1976)ตระกูลพิเศษทั้งสองนี้เกี่ยวข้องกับโครงร่างกลุ่มพีชคณิตแบบไม่ต่อเนื่องสองแบบที่มีอันดับ 2 ในลักษณะเฉพาะ 2

ค่าคงที่ของพื้นผิวเอนริเกสเชิงซ้อน

พลูริเจเนราP nมีค่าเป็น 1 ถ้าnเป็นจำนวนคู่ และ 0 ถ้าnเป็นจำนวนคี่กลุ่มพื้นฐานมีอันดับ 2 กลุ่มโคฮอโมโลยีที่สอง H 2 ( X , Z ) มีสมมาตรกับผลรวมของแลตทิซยูนิโมดูลาร์คู่ที่ไม่ซ้ำกัน II 1,9ที่มีมิติ 10 และลายเซ็น -8 และกลุ่มที่มีอันดับ 2

เพชรฮอดจ์:

1
00
0100
00
1

พื้นผิว Enriques ที่มีเครื่องหมายจะก่อให้เกิดตระกูล 10 มิติที่เชื่อมต่อกัน ซึ่งKondo (1994)แสดงให้เห็นว่าเป็นเหตุเป็นผล

ลักษณะที่ 2

ในลักษณะเฉพาะที่ 2 มีตระกูลพื้นผิวเอนริเกสใหม่บางตระกูล ซึ่งบางครั้งเรียกว่าพื้นผิวเอนริเกสเสมือนหรือพื้นผิวเอนริเกสที่ไม่ใช่แบบคลาสสิกหรือพื้นผิวเอนริเกส (พิเศษ) เอกฐาน (คำว่า "เอกฐาน" ไม่ได้หมายความว่าพื้นผิวมีจุดเอกฐาน แต่หมายความว่าพื้นผิวนั้น "พิเศษ" ในบางแง่) ในลักษณะเฉพาะที่ 2 นิยามของพื้นผิวเอนริเกสได้รับการแก้ไข: พื้นผิวเอนริเกสถูกกำหนดให้เป็นพื้นผิวขั้นต่ำสุดที่มีคลาสแคนอนิกKที่มีค่าเท่ากับ 0 และเลขเบตติ ที่สอง เท่ากับ 10 (ในลักษณะเฉพาะอื่นที่ไม่ใช่ 2 นิยามนี้จะเทียบเท่ากับนิยามปกติ) ขณะนี้มี 3 ตระกูลของพื้นผิวเอนริเกส:

  • แบบคลาสสิก: dim(H 1 (O)) = 0 ซึ่งหมายความว่า 2 K = 0 แต่Kไม่เป็นศูนย์ และ Pic τคือZ /2 Zพื้นผิวเป็นผลหารของพื้นผิว Gorenstein เอกพจน์ที่ลดรูปโดยโครงร่างกลุ่มμ 2
  • เอกลักษณ์: dim(H 1 (O)) = 1 และถูกกระทำโดยเอนโดมอร์ฟิซึมของ Frobenius อย่างไม่ธรรมดา ซึ่งหมายความว่าK = 0 และ Pic τคือ μ 2พื้นผิวเป็นผลหารของพื้นผิว K3 โดยแผนผังกลุ่ม Z/2Z
  • ซูเปอร์ซิงกูลาร์: dim(H 1 (O)) = 1 และถูกกระทำโดยเอนโดมอร์ฟิซึมของโฟรเบนิอุสอย่างไม่สำคัญ ซึ่งหมายความว่าK = 0 และ Pic τคือ α 2พื้นผิวเป็นผลหารของพื้นผิวโกเรนสไตน์เอกฐานที่ลดรูปโดยแผนผังกลุ่มα 2

พื้นผิวทั้งหมดของ Enrique เป็นรูปวงรีหรือกึ่งวงรี

ตัวอย่าง

  • ความสอดคล้องของเรย์ (Reye congruence) คือกลุ่มของเส้นตรงที่อยู่ในอย่างน้อย 2 ควอดริกของระบบเชิงเส้นควอดริก 3 มิติที่กำหนดในP 3ถ้าหากระบบเชิงเส้นนั้นเป็นระบบทั่วไป ความสอดคล้องของเรย์ก็จะเป็นพื้นผิวเอนริเกส (Enriques surface) สิ่งเหล่านี้ถูกค้นพบโดยเรย์ (Reye, 1882)และอาจเป็นตัวอย่างแรกสุดของพื้นผิวเอนริเกส
  • พิจารณาพื้นผิวดีกรี 6 ในปริภูมิเชิงฉายภาพสามมิติที่มีเส้นคู่ขนานตามขอบของทรงสี่เหลี่ยมพีระมิดเช่น
สำหรับพหุนามเอกพันธุ์ ทั่วไป Qดีกรี 2 บางตัว การทำให้เป็นมาตรฐานของพหุนามนั้นจะเป็นพื้นผิวของเอนริเกส นี่คือกลุ่มตัวอย่างที่เอนริเกส (1896) ค้น พบ
  • ผลหารของพื้นผิว K3 กับอินโวลูชันที่ปราศจากจุด ตรึงคือพื้นผิวเอนริเกส และพื้นผิวเอนริเกสทั้งหมดที่มีลักษณะเฉพาะอื่นที่ไม่ใช่ 2 สามารถสร้างได้ด้วยวิธีนี้ ตัวอย่างเช่น ถ้าS คือพื้นผิว K3 w⁴ + x⁴ + y⁴ + z⁴ = 0 และTคือออโตมอร์ฟิซึมอันดับ 4 ที่แปลง ( w , x , y , z )เป็น ( w , ix , –y , –iz )แล้วจะมีจุดตรึงแปดจุดการขยายจุดทั้งแปดนี้และหาผลหารด้วยT² จะได้พื้นผิว K3 ที่มีอินโวลูชัน Tที่ปราศจากจุดตรึงและผลหารของพื้นผิวนี้ด้วยT คือพื้นผิวเอนริเกส หรืออีกวิธีหนึ่ง พื้นผิวเอนริเกสสามารถสร้างได้โดยการหาผลหารของพื้นผิวเดิมด้วยออโตมอร์ฟิซึมอันดับ 4 T และแก้จุดเอกฐานทั้งแปดของผลหาร อีกตัวอย่างหนึ่งคือการหาจุดตัดของควอดริก 3 รูปในรูปแบบP i ( u , v , w ) + Q i ( x , y , z ) = 0 แล้วหาผลหารโดยการผกผันที่แปลง ( u : v : w : x : y : z ) เป็น (– x :– y :– z : u : v : w ) สำหรับควอดริกทั่วไป การผกผันนี้เป็นการผกผันแบบไม่มีจุดตรึงของพื้นผิว K3 ดังนั้นผลหารจึงเป็นพื้นผิว Enriques

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Enriques_surface&oldid=1348690872 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ พื้นผิวของเอนริเกส

ใน ทางคณิตศาสตร์ พื้นผิวเอนริเกส ( Enriques surfaces) คือ พื้นผิวพีชคณิต (algebraic surfaces) ที่ความไม่สม่ำเสมอ q = 0 และ บันเดิลเส้นตรงมาตรฐาน K ไม่เป็นศูนย์...

ค่าคงที่ของพื้นผิวเอนริเกสเชิงซ้อน

พลู ริเจเนรา P n มีค่าเป็น 1 ถ้า n เป็นจำนวนคู่ และ 0 ถ้า n เป็นจำนวนคี่ กลุ่มพื้นฐาน มีอันดับ 2 กลุ่มโคฮอโมโลยีที่สอง H 2 ( X , Z ) มี สมมาตร กับผลรวมของแลตทิซยูนิ โมดูลาร์คู่ที่ไม่ซ้ำกัน II 1,9 ที่มีมิติ 10 และลายเซ็น -8 และกลุ่มที่มีอันดับ 2

ลักษณะที่ 2

ในลักษณะเฉพาะที่ 2 มีตระกูลพื้นผิวเอนริเกสใหม่บางตระกูล ซึ่งบางครั้งเรียกว่า พื้นผิวเอนริเกสเสมือน หรือ พื้นผิวเอนริเกสที่ไม่ใช่แบบคลาสสิก หรือ พื้นผิวเอนริเกส (พิเศษ) เอกฐาน (คำว่า "เอกฐาน" ไม่ได้หมายความว่าพื้นผิวมีจุดเอกฐาน แต่หมายความว่าพื้นผิวนั้น...

ตัวอย่าง

ความสอดคล้องของเรย์ (Reye congruence) คือกลุ่มของเส้นตรงที่อยู่ในอย่างน้อย 2 ควอดริกของระบบเชิงเส้นควอดริก 3 มิติที่กำหนดใน P 3 ถ้าหากระบบเชิงเส้นนั้นเป็นระบบทั่วไป ความสอดคล้องของเรย์ก็จะเป็นพื้นผิวเอนริเกส (Enriques surface) สิ่งเหล่านี้ถูกค้นพบโดย เรย์...