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

อ่าน 3 นาที

ไม่มีชื่อบทความ

ใน เรขาคณิตเชิงซ้อน คำว่า รูปแบบบวก หมายถึง กลุ่มของ รูปแบบเชิงอนุพันธ์ จริงหลายประเภท ของ ประเภท Hodge (p, p )

รูปแบบเชิงบวก

ในเรขาคณิตเชิงซ้อนคำว่ารูปแบบบวกหมายถึง กลุ่มของรูปแบบเชิงอนุพันธ์ จริงหลายประเภท ของประเภท Hodge (p, p )

(1,1)-ฟอร์ม

รูปแบบ จริง ( p , p ) บนแมนิโฟลด์เชิงซ้อนMคือรูปแบบที่มีประเภท ( p , p ) และเป็นจำนวนจริง กล่าวคือ อยู่ในจุดตัดΛพี,พี(เอ็ม)Λ2พี(เอ็ม,อาร์).{\displaystyle \Lambda ^{p,p}(M)\cap \Lambda ^{2p}(M,{\mathbb {R} }).}รูปแบบจริง (1,1)ω{\displaystyle \omega }เรียกว่ากึ่งบวก[ 1 ] (บางครั้งเรียกว่าบวก เฉยๆ [ 2 ] ) หรือบวก[ 3 ] (หรือบวกแน่นอน[ 4 ] ) ถ้าเงื่อนไขที่เทียบเท่ากันข้อใดข้อหนึ่งต่อไปนี้เป็นจริง:

  1. ω{\displaystyle -\omega }คือส่วนจินตนาการของรูปแบบเฮอร์มิเชียน แบบบวกกึ่งกำหนด (หรือบวกกำหนด )
  2. เพื่อเป็นพื้นฐานบางประการz1,...zn{\displaystyle dz_{1},...dz_{n}}ในพื้นที่Λ1,0เอ็ม{\displaystyle \Lambda ^{1,0}M}ของรูปแบบ (1,0)ω{\displaystyle \omega }สามารถเขียนในแนวทแยงได้ดังนี้ω=1ฉันαฉันzฉันz¯ฉัน,{\displaystyle \omega ={\sqrt {-1}}\sum _{i}\alpha _{i}dz_{i}\wedge d{\bar {z}}_{i},}กับαฉัน{\displaystyle \alpha _{i}}ค่าจริงและค่าที่ไม่เป็นลบ (หรือค่าบวก)
  3. สำหรับเวกเตอร์สัมผัส (1,0) ใดๆวีที1,0เอ็ม{\displaystyle v\in T^{1,0}M},1ω(วี,วี¯)0{\displaystyle -{\sqrt {-1}}\โอเมก้า (v,{\bar {v}})\geq 0}(ตามลำดับ)>0{\displaystyle >0})
  4. สำหรับเวกเตอร์สัมผัสจริงใดๆวีทีเอ็ม{\displaystyle v\in TM},ω(วี,ฉัน(วี))0{\displaystyle \omega (v,I(v))\geq 0}(ตามลำดับ)>0{\displaystyle >0}), ที่ไหนฉัน:ทีเอ็มทีเอ็ม{\displaystyle I:\;TM\mapsto TM}เป็นตัวดำเนินการโครงสร้างที่ซับซ้อน

กลุ่มเส้นบวก

ในเรขาคณิตเชิงพีชคณิต รูปแบบ (1,1) ที่เป็นบวกแน่นอนเกิดขึ้นเป็นรูปแบบความโค้งของบันเดิลเส้นตรงที่กว้างขวาง (หรือที่เรียกว่าบันเดิลเส้นตรงที่เป็นบวก ) ให้Lเป็นบันเดิลเส้นตรงเฮอร์มิเชียนเชิงโฮโลมอร์ฟิกบนแมนิโฟลด์เชิงซ้อน

¯:แอลแอลΛ0,1(เอ็ม){\displaystyle {\bar {\partial }}:\;L\mapsto L\otimes \Lambda ^{0,1}(M)}

ตัวดำเนินการโครงสร้างที่ซับซ้อน จากนั้นLจะมีการเชื่อมต่อเฉพาะที่รักษาโครงสร้างเฮอร์มิเชียนและเป็นไปตามเงื่อนไข

0,1=¯{\displaystyle \nabla ^{0,1}={\bar {\บางส่วน }}}.

การเชื่อมต่อนี้เรียกว่าการเชื่อมต่อเชิร์น (Chern connection )

ความโค้งΘ{\displaystyle \Theta }การเชื่อมต่อของ Chern เป็นรูปแบบจินตนาการบริสุทธิ์ (1,1) เสมอ บันเดิลเส้นLเรียกว่าเป็นบวกถ้า1Θ{\displaystyle {\sqrt {-1}}\Theta }เป็นรูปแบบ (1,1) บวก (โปรดทราบว่าคลาสโคฮอโมโลยีของเดอแรม1Θ{\displaystyle {\sqrt {-1}}\Theta }เป็น2π{\displaystyle 2\pi }(คูณกับ ชั้นเชิร์นแรกของL ) ทฤษฎีบทการฝังตัวของโคไดระกล่าวว่าบันเดิลเส้นตรงบวกนั้นกว้างขวาง และในทางกลับกันบันเดิลเส้นตรงที่กว้างขวาง ใดๆ ก็ ยอมรับเมตริกเฮอร์มิเชียนที่มี1Θ{\displaystyle {\sqrt {-1}}\Theta }เชิงบวก.

ความเป็นบวกสำหรับรูปแบบ(p, p)

รูปแบบกึ่งบวก (1,1) บนMก่อให้เกิดกรวยนูนเมื่อMเป็นพื้นผิวเชิงซ้อนขนาดกะทัดรัดฉันซีเอ็ม=2{\displaystyle dim_{\mathbb {C} }M=2}กรวยนี้เป็นแบบทวิภาวะในตัวเองเมื่อเทียบกับการจับคู่ของปวงกาเร :η,ζเอ็มηζ{\displaystyle \eta ,\zeta \mapsto \int _{M}\eta \wedge \zeta }

สำหรับ ฟอร์ม (p, p)โดยที่2พีฉันซีเอ็ม2{\displaystyle 2\leq p\leq dim_{\mathbb {C} }M-2}มีแนวคิดเรื่องความเป็นบวกที่แตกต่างกันสองแบบ[ 5 ]รูปแบบหนึ่งเรียกว่า เป็นบวกอย่างมากหากเป็นผลรวมเชิงเส้นของผลคูณของรูปแบบกึ่งบวกที่มีสัมประสิทธิ์จริงที่เป็นบวกรูป แบบจริง (p, p)η{\displaystyle \eta }บนแมนิโฟลด์เชิงซ้อนn มิติ Mเรียกว่าเป็นแบบบวกอ่อนถ้าสำหรับฟอร์มบวกเข้ม ζ ทั้งหมด(np, np)ที่มีฐานรองรับกระชับ เรามีเอ็มηζ0{\displaystyle \int _{M}\eta \wedge \zeta \geq 0}.

รูปแบบบวกอ่อนและบวกแรงก่อให้เกิดกรวยนูน บนแมนิโฟลด์แบบกระชับ กรวยเหล่านี้เป็นคู่กันโดยสัมพันธ์กับการจับคู่ของปวงกาเร

หมายเหตุ

  1. ฮุยเบรชต์ส (2005)
  2. เดอไมลี (1994)
  3. ฮุยเบรชต์ส (2005)
  4. เดอไมลี (1994)
  5. เดอไมลี (1994)

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ ไม่มีชื่อบทความ

ใน เรขาคณิตเชิงซ้อน คำว่า รูปแบบบวก หมายถึง กลุ่มของ รูปแบบเชิงอนุพันธ์ จริงหลายประเภท ของ ประเภท Hodge (p, p )

(1,1)-ฟอร์ม

รูปแบบ จริง ( p , p ) บนแมนิโฟลด์เชิงซ้อน M คือรูปแบบที่มีประเภท ( p , p ) และเป็นจำนวนจริง กล่าวคือ อยู่ในจุดตัด Λ พี , พี ( เอ็ม ) ∩ Λ 2 พี ( เอ็ม , อาร์ ) . {\displaystyle \Lambda ^{p,p}(M)\cap \Lambda ^{2p}(M,{\mathbb {R} }).

กลุ่มเส้นบวก

ในเรขาคณิตเชิงพีชคณิต รูปแบบ (1,1) ที่เป็นบวกแน่นอนเกิดขึ้นเป็นรูปแบบความโค้งของ บันเดิลเส้นตรงที่กว้างขวาง (หรือที่เรียกว่า บันเดิลเส้นตรงที่เป็นบวก ) ให้ L เป็นบันเดิลเส้นตรงเฮอร์มิเชียนเชิงโฮโลมอร์ฟิกบนแมนิโฟลด์เชิงซ้อน

ความเป็นบวกสำหรับรูปแบบ (p, p)

รูปแบบกึ่งบวก (1,1) บน M ก่อให้เกิด กรวยนูน เมื่อ M เป็น พื้นผิวเชิงซ้อนขนาด กะทัดรัด ง ฉัน ม ซี เอ็ม = 2 {\displaystyle dim_{\mathbb {C} }M=2} กรวยนี้เป็น แบบทวิภาวะในตัวเอง เมื่อเทียบกับการจับคู่ของปวงกาเร : η , ζ ↦ ∫ เอ็ม η ∧ ζ {\displaystyle \eta ,\zeta...