รูปแบบเชิงบวก
ในเรขาคณิตเชิงซ้อนคำว่ารูปแบบบวกหมายถึง กลุ่มของรูปแบบเชิงอนุพันธ์ จริงหลายประเภท ของประเภท Hodge (p, p )
(1,1)-ฟอร์ม
รูปแบบ จริง ( p , p ) บนแมนิโฟลด์เชิงซ้อนMคือรูปแบบที่มีประเภท ( p , p ) และเป็นจำนวนจริง กล่าวคือ อยู่ในจุดตัดรูปแบบจริง (1,1)เรียกว่ากึ่งบวก[ 1 ] (บางครั้งเรียกว่าบวก เฉยๆ [ 2 ] ) หรือบวก[ 3 ] (หรือบวกแน่นอน[ 4 ] ) ถ้าเงื่อนไขที่เทียบเท่ากันข้อใดข้อหนึ่งต่อไปนี้เป็นจริง:
- คือส่วนจินตนาการของรูปแบบเฮอร์มิเชียน แบบบวกกึ่งกำหนด (หรือบวกกำหนด )
- เพื่อเป็นพื้นฐานบางประการในพื้นที่ของรูปแบบ (1,0)สามารถเขียนในแนวทแยงได้ดังนี้กับค่าจริงและค่าที่ไม่เป็นลบ (หรือค่าบวก)
- สำหรับเวกเตอร์สัมผัส (1,0) ใดๆ,(ตามลำดับ))
- สำหรับเวกเตอร์สัมผัสจริงใดๆ,(ตามลำดับ)), ที่ไหนเป็นตัวดำเนินการโครงสร้างที่ซับซ้อน
กลุ่มเส้นบวก
ในเรขาคณิตเชิงพีชคณิต รูปแบบ (1,1) ที่เป็นบวกแน่นอนเกิดขึ้นเป็นรูปแบบความโค้งของบันเดิลเส้นตรงที่กว้างขวาง (หรือที่เรียกว่าบันเดิลเส้นตรงที่เป็นบวก ) ให้Lเป็นบันเดิลเส้นตรงเฮอร์มิเชียนเชิงโฮโลมอร์ฟิกบนแมนิโฟลด์เชิงซ้อน
ตัวดำเนินการโครงสร้างที่ซับซ้อน จากนั้นLจะมีการเชื่อมต่อเฉพาะที่รักษาโครงสร้างเฮอร์มิเชียนและเป็นไปตามเงื่อนไข
- .
การเชื่อมต่อนี้เรียกว่าการเชื่อมต่อเชิร์น (Chern connection )
ความโค้งการเชื่อมต่อของ Chern เป็นรูปแบบจินตนาการบริสุทธิ์ (1,1) เสมอ บันเดิลเส้นLเรียกว่าเป็นบวกถ้าเป็นรูปแบบ (1,1) บวก (โปรดทราบว่าคลาสโคฮอโมโลยีของเดอแรมเป็น(คูณกับ ชั้นเชิร์นแรกของL ) ทฤษฎีบทการฝังตัวของโคไดระกล่าวว่าบันเดิลเส้นตรงบวกนั้นกว้างขวาง และในทางกลับกันบันเดิลเส้นตรงที่กว้างขวาง ใดๆ ก็ ยอมรับเมตริกเฮอร์มิเชียนที่มีเชิงบวก.
ความเป็นบวกสำหรับรูปแบบ(p, p)
รูปแบบกึ่งบวก (1,1) บนMก่อให้เกิดกรวยนูนเมื่อMเป็นพื้นผิวเชิงซ้อนขนาดกะทัดรัดกรวยนี้เป็นแบบทวิภาวะในตัวเองเมื่อเทียบกับการจับคู่ของปวงกาเร :
สำหรับ ฟอร์ม (p, p)โดยที่มีแนวคิดเรื่องความเป็นบวกที่แตกต่างกันสองแบบ[ 5 ]รูปแบบหนึ่งเรียกว่า เป็นบวกอย่างมากหากเป็นผลรวมเชิงเส้นของผลคูณของรูปแบบกึ่งบวกที่มีสัมประสิทธิ์จริงที่เป็นบวกรูป แบบจริง (p, p)บนแมนิโฟลด์เชิงซ้อนn มิติ Mเรียกว่าเป็นแบบบวกอ่อนถ้าสำหรับฟอร์มบวกเข้ม ζ ทั้งหมด(np, np)ที่มีฐานรองรับกระชับ เรามี.
รูปแบบบวกอ่อนและบวกแรงก่อให้เกิดกรวยนูน บนแมนิโฟลด์แบบกระชับ กรวยเหล่านี้เป็นคู่กันโดยสัมพันธ์กับการจับคู่ของปวงกาเร