हिरज़ेब्रुच सतह

गणित में, हिरज़ेब्रुच सतह प्रक्षेप्य रेखा के ऊपर एक शासित सतह होती है। इनका अध्ययन किया गया Friedrich Hirzebruch (1951).

परिभाषा

हिरज़ेब्रुच सतह $\Sigma _{n}$ है $\mathbb {P} ^{1}$-बंडल, जिसे प्रक्षेप्य बंडल कहा जाता है, खत्म $\mathbb {P} ^{1}$ शीफ़ से संबंधित (गणित)

$${\mathcal {O}}\oplus {\mathcal {O}}(-n).$$

यहाँ संकेतन का अर्थ है: ${\mathcal {O}}(n)$ है nसेरे ट्विस्ट शीफ़ की दसवीं टेंसर शक्ति ${\mathcal {O}}(1)$, संबद्ध कार्टियर विभाजक एक बिंदु के साथ उलटा शीफ ​​या लाइन बंडल। सतह $\Sigma _{0}$ के लिए समरूपी है P¹ × P¹, और $\Sigma _{1}$ के लिए समरूपी है P² एक बिंदु पर उड़ा दिया गया इसलिए न्यूनतम नहीं है।

जीआईटी भागफल

हिरज़ेब्रुच सतह के निर्माण की एक विधि जीआईटी भागफल का उपयोग करना है

$$\Sigma _{n}=(\mathbb {C} ^{2}-\{0\})\times (\mathbb {C} ^{2}-\{0\})/(\mathbb {C} ^{*}\times \mathbb {C} ^{*})$$

की कार्रवाई कहां है $\mathbb {C} ^{*}\times \mathbb {C} ^{*}$ द्वारा दिया गया है

$$(\lambda ,\mu )\cdot (l_{0},l_{1},t_{0},t_{1})=(\lambda l_{0},\lambda l_{1},\mu t_{0},\lambda ^{-n}\mu t_{1})$$

इस क्रिया को की क्रिया के रूप में समझा जा सकता है $\lambda$ पहले दो कारकों पर कार्रवाई से आता है $\mathbb {C} ^{*}$ पर $\mathbb {C} ^{2}-\{0\}$ परिभाषित $\mathbb {P} ^{1}$, और दूसरी क्रिया लाइन बंडलों के प्रत्यक्ष योग के निर्माण का एक संयोजन है $\mathbb {P} ^{1}$ और उनका प्रक्षेपीकरण। सीधे योग के लिए ${\mathcal {O}}\oplus {\mathcal {O}}(-n)$ यह भागफल विविधता द्वारा दिया जा सकता है

$${\mathcal {O}}\oplus {\mathcal {O}}(-n)=(\mathbb {C} ^{2}-\{0\})\times \mathbb {C} ^{2}/\mathbb {C} ^{*}$$

की कार्रवाई कहां है $\mathbb {C} ^{*}$ द्वारा दिया गया है

$$\lambda \cdot (l_{0},l_{1},t_{0},t_{1})=(\lambda l_{0},\lambda l_{1},\lambda ^{a}t_{0},\lambda ^{0}t_{1}=t_{1})$$

फिर, प्रक्षेपीकरण $\mathbb {P} ({\mathcal {O}}\oplus {\mathcal {O}}(-n))$ दूसरे द्वारा दिया गया है $\mathbb {C} ^{*}$-कार्य एक समतुल्य वर्ग भेजना $[l_{0},l_{1},t_{0},t_{1}]\in {\mathcal {O}}\oplus {\mathcal {O}}(-n)$ को

$$\mu \cdot [l_{0},l_{1},t_{0},t_{1}]=[l_{0},l_{1},\mu t_{0},\mu t_{1}]$$

इन दोनों क्रियाओं को मिलाने से मूल भागफल ऊपर आ जाता है।

संक्रमण मानचित्र

इसे बनाने का एक तरीका $\mathbb {P} ^{1}$-बंडल संक्रमण कार्यों का उपयोग करके है। चूंकि चार्ट पर एफ़िन वेक्टर बंडल आवश्यक रूप से तुच्छ हैं $U_{0},U_{1}$ का $\mathbb {P} ^{1}$ द्वारा परिभाषित $x_{i}\neq 0$ बंडल का स्थानीय मॉडल है

$$U_{i}\times \mathbb {P} ^{1}$$

फिर, संक्रमण मानचित्र, संक्रमण मानचित्रों से प्रेरित होते हैं ${\mathcal {O}}\oplus {\mathcal {O}}(-n)$ नक्शा दो

$$U_{0}\times \mathbb {P} ^{1}|_{U_{1}}\to U_{1}\times \mathbb {P} ^{1}|_{U_{0}}$$

भेजना

$$(X_{0},[y_{0}:y_{1}])\mapsto (X_{1},[y_{0}:x_{0}^{n}y_{1}])$$

कहाँ $X_{i}$ एफ़िन समन्वय फ़ंक्शन चालू है $U_{i}$.

गुण

प्रक्षेप्य रैंक 2 बंडल पी के ऊपर¹

ध्यान दें कि बिरखॉफ़-ग्रोथेंडिक प्रमेय|ग्रोथेंडिक प्रमेय द्वारा, किसी भी वेक्टर बंडल के लिए $E$ पर $\mathbb {P} ^{1}$ संख्याएँ हैं $a,b\in \mathbb {Z}$ ऐसा है कि

$$E\cong {\mathcal {O}}(a)\oplus {\mathcal {O}}(b).$$

चूंकि प्रक्षेप्य बंडल को एक लाइन बंडल द्वारा टेंसरिंग के तहत अपरिवर्तनीय है, शासित सतह से संबंधित $E={\mathcal {O}}(a)\oplus {\mathcal {O}}(b)$ हिरज़ेब्रुच सतह है $\Sigma _{b-a}$ चूँकि इस बंडल को इसके द्वारा तनावग्रस्त किया जा सकता है ${\mathcal {O}}(-a)$.

हिरज़ेब्रुच सतहों की समरूपताएँ

विशेष रूप से, उपरोक्त अवलोकन बीच में एक समरूपता देता है $\Sigma _{n}$ और $\Sigma _{-n}$ चूँकि समरूपता सदिश बंडल है

$${\mathcal {O}}(n)\otimes ({\mathcal {O}}\oplus {\mathcal {O}}(-n))\cong {\mathcal {O}}(n)\oplus {\mathcal {O}}$$

संबंधित सममित बीजगणित का विश्लेषण

याद रखें कि प्रोजेक्टिव बंडलों का निर्माण सापेक्ष परियोजना का उपयोग करके किया जा सकता है, जो कि बीजगणित के श्रेणीबद्ध शीफ से बनता है

$$\bigoplus _{i=0}^{\infty }\operatorname {Sym} ^{i}({\mathcal {O}}\oplus {\mathcal {O}}(-n))$$

पहले कुछ सममित मॉड्यूल विशेष हैं क्योंकि इसमें एक गैर-तुच्छ विरोधी सममित है $\operatorname {Alt} ^{2}$-मापांक ${\mathcal {O}}\otimes {\mathcal {O}}(-n)$. इन ढेरों को तालिका में संक्षेपित किया गया है

$${\begin{aligned}\operatorname {Sym} ^{0}({\mathcal {O}}\oplus {\mathcal {O}}(-n))&={\mathcal {O}}\\\operatorname {Sym} ^{1}({\mathcal {O}}\oplus {\mathcal {O}}(-n))&={\mathcal {O}}\oplus {\mathcal {O}}(-n)\\\operatorname {Sym} ^{2}({\mathcal {O}}\oplus {\mathcal {O}}(-n))&={\mathcal {O}}\oplus {\mathcal {O}}(-2n)\end{aligned}}$$

के लिए $i>2$ सममित शीव्स द्वारा दिए गए हैं

$${\begin{aligned}\operatorname {Sym} ^{k}({\mathcal {O}}\oplus {\mathcal {O}}(-n))&=\bigoplus _{i=0}^{k}{\mathcal {O}}^{\otimes (n-i)}\otimes {\mathcal {O}}(-in)\\&\cong {\mathcal {O}}\oplus {\mathcal {O}}(-n)\oplus \cdots \oplus {\mathcal {O}}(-kn)\end{aligned}}$$

प्रतिच्छेदन सिद्धांत

हिरज़ेब्रुच सतहों के लिए n > 0 एक विशेष तर्कसंगत वक्र है C उन पर: सतह का प्रक्षेप्य बंडल है O(−n) और वक्र C शून्य खंड है. इस वक्र में प्रतिच्छेदन सिद्धांत|स्व-प्रतिच्छेदन संख्या है −n, और नकारात्मक स्व प्रतिच्छेदन संख्या वाला एकमात्र अपरिवर्तनीय वक्र है। शून्य स्व-प्रतिच्छेदन संख्या वाले एकमात्र अघुलनशील वक्र हिरज़ेब्रुच सतह के तंतु हैं (जिन्हें फाइबर बंडल के रूप में माना जाता है) P¹). पिकार्ड समूह वक्र द्वारा उत्पन्न होता है C और फाइबर में से एक, और इन जनरेटरों में प्रतिच्छेदन मैट्रिक्स (गणित) है

$${\begin{bmatrix}0&1\\1&-n\end{bmatrix}},$$

इसलिए द्विरेखीय रूप द्वि-आयामी एक-मॉड्यूलर है, और यह इस पर निर्भर करता है कि यह सम या विषम है n सम या विषम है. हिरज़ेब्रुच सतह Σ_n (n > 1) विशेष वक्र पर एक बिंदु पर उड़ा दिया गया C समरूपी है Σ_n+1 विशेष वक्र पर न होकर किसी बिंदु पर उड़ाया गया।

यह भी देखें

• प्रक्षेप्य बंडल

संदर्भ

• Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 4, Springer-Verlag, Berlin, ISBN 978-3-540-00832-3, MR 2030225
• Beauville, Arnaud (1996), Complex algebraic surfaces, London Mathematical Society Student Texts, vol. 34 (2nd ed.), Cambridge University Press, ISBN 978-0-521-49510-3, MR1406314
• Hirzebruch, Friedrich (1951), "Über eine Klasse von einfachzusammenhängenden komplexen Mannigfaltigkeiten", Mathematische Annalen, 124: 77–86, doi:10.1007/BF01343552, hdl:21.11116/0000-0004-3A56-B, ISSN 0025-5831, MR 0045384, S2CID 122844063

बाहरी संबंध

• Manifold Atlas
• https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2002/alggeom-2002-c10.pdf
• https://mathoverflow.net/q/122952