สูตรระดับสกุล-ระดับ
ในเรขาคณิตพีชคณิต แบบคลาสสิก สูตรความสัมพันธ์ระหว่าง จีนัสและดีกรีจะเชื่อมโยงดีกรีเข้าด้วยกันของเส้นโค้งระนาบที่ไม่สามารถลดทอนได้ด้วยสกุลทางเลขคณิต ของมันโดยใช้สูตร:
ในที่นี้ "เส้นโค้งระนาบ" หมายความว่าเป็นเส้นโค้งปิดในระนาบเชิงฉายถ้าเส้นโค้งไม่เป็นเส้นโค้งเอกฐานค่าจีนัสทางเรขาคณิตและค่าจีนัสทางเลขคณิตจะเท่ากัน แต่ถ้าเส้นโค้งเป็นเส้นโค้งเอกฐาน โดยมีเพียงจุดเอกฐานธรรมดา ค่าจีนัสทางเรขาคณิตจะน้อยกว่า กล่าวคือจุดเอกฐาน ธรรมดา ที่มีจำนวนเท่าลดสกุลลงโดย[ 1 ]
แรงจูงใจ
เส้นโค้งวงรีถูกกำหนดพารามิเตอร์โดยฟังก์ชันวงรีของไวเออร์สตรัสเนื่องจากฟังก์ชันพารามิเตอร์เหล่านี้เป็นคาบสองเท่า เส้นโค้งวงรีจึงสามารถระบุได้ด้วยรูปสี่เหลี่ยมด้านขนานที่มีด้านติดกัน กล่าวคือทอรัส ดังนั้นจีนัสของเส้นโค้งวงรีจึงเท่ากับ 1 สูตรจีนัส-ดีกรีเป็นการขยายข้อเท็จจริงนี้ไปยังเส้นโค้งที่มีจีนัสสูงกว่า แนวคิดพื้นฐานคือการใช้สมการดีกรีสูงกว่า พิจารณาสมการควอติกสำหรับค่าที่ไม่เป็นศูนย์ขนาดเล็กซึ่งทำให้ได้เส้นโค้งที่ไม่เอกฐาน อย่างไรก็ตาม เมื่อนี่คือเส้นโค้งที่ลดรูปได้ (การรวมกันของเส้นโค้งลูกบาศก์ที่ไม่เอกฐานและเส้นตรง) เมื่อบวกจุดอนันต์เข้าด้วยกัน เราจะได้เส้นตรงที่ตัดกับเส้นโค้งลูกบาศก์ที่ 3 จุด ภาพเชิงซ้อนของเส้นโค้งที่ลดรูปได้นี้ดูเหมือนทรงโดนัทและทรงกลมที่สัมผัสกันที่ 3 จุดเมื่อค่าเปลี่ยนไปเป็นค่าที่ไม่ใช่ศูนย์ จุดสัมผัสจะเปิดออกเป็นท่อที่เชื่อมต่อระหว่างทรงโดนัทและทรงกลม โดยเพิ่มด้ามจับ 2 อันให้กับทรงโดนัท ส่งผลให้ได้เส้นโค้งที่มีจีนัส 3
โดยทั่วไป ถ้าคือจีนัสของเส้นโค้งที่มีดีกรีเส้นโค้งที่ไม่เอกฐาน จากนั้นดำเนินการตามข้างต้น เราจะได้เส้นโค้งที่ไม่เอกฐานที่มีดีกรีโดย-การปรับเส้นโค้งรวมของดีกรีให้เรียบและเส้นตรง เส้นตรงนั้นตัดกับองศาเส้นโค้งในคะแนน ดังนั้นจึงนำไปสู่การเรียกซ้ำการเรียกซ้ำนี้มีคำตอบ.
การพิสูจน์
สูตรเจเนอรัส-ดีกรีสามารถพิสูจน์ได้จากสูตรการเชื่อมต่อสำหรับรายละเอียด โปรดดูสูตรการเชื่อมต่อ § การประยุกต์ใช้กับเส้นโค้ง[ 2 ]
การสรุปทั่วไป
สำหรับไฮเปอร์เซอร์เฟซ ที่ไม่เอกฐานของปริญญาในพื้นที่ฉายภาพของสกุลเลขคณิตสูตรจึงกลายเป็น:
ที่ไหนคือสัมประสิทธิ์ทวินาม
หมายเหตุ
- ↑ Semple, John Greenlees ; Roth, Leonard . Introduction to Algebraic Geometry ( ฉบับ ปี 1985). สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด . หน้า53–54 . ISBN 0-19-853363-2MR 0814690
- ↑เรขาคณิตเชิงพีชคณิต , Robin Hartshorne , Springer GTM 52, ISBN 0-387-90244-9บทที่ 5 ตัวอย่าง 1.5.1