คุณสมบัติสากลของพันธุ์แอลเบเนีย
ฉันจะหาข้อพิสูจน์คุณสมบัติสากลของพันธุ์แอลเบเนียได้ที่ไหน?
( คุณสมบัติสากลของพันธุ์แอลเบเนีย ): สำหรับพันธุ์ใด ๆ (การฉายภาพที่ราบรื่น)$X$ เหนือสนาม $k$มีความหลากหลายของ Abelian $Alb(X)$ และมอร์ฟีน $\alpha: X → Alb(X)$ ด้วยคุณสมบัติสากลดังต่อไปนี้: สำหรับพันธุ์อาเบเลียนใด ๆ $T$ และ morphism ใด ๆ $f : X → T$มี morphism ที่เป็นเอกลักษณ์ (ขึ้นอยู่กับการแปล) $ \tilde{f}: A → T$ ดังนั้น $\tilde{f} \circ α = f$.
คำตอบ
นี่คือคำจำกัดความของพันธุ์แอลเบเนีย สันนิษฐานว่าคุณหมายถึงอะไรบางอย่างเช่นทำไมคู่ของ$\mathrm{Pic}^0$ความหลากหลายของแอลเบเนียอยู่ในสถานการณ์ที่ดีหรือไม่? ฉันชอบเสมอภาคผนวกที่นี้กระดาษ Mochizuki ของ โดยเฉพาะอย่างยิ่งให้ดูที่ข้อเสนอก. 6
สำหรับการพิสูจน์โปรดดู: A. Beauvile Complex Algebraic Surface , Theorem V.13, หน้า 61