सेग्रे एम्बेडिंग

गणित में, सेग्रे एम्बेडिंग का उपयोग प्रक्षेप्य ज्यामिति में दो प्रक्षेप्य स्थानों के कार्टेशियन उत्पाद (समुच्चयों) को प्रक्षेप्य विविधता के रूप में मानने के लिए किया जाता है। इस प्रकार इसका नाम कोराडो सेग्रे के नाम पर रखा गया है।

परिभाषा
सेग्रे मानचित्र को मानचित्र के रूप में परिभाषित किया जा सकता है


 * $$\sigma: P^n \times P^m \to P^{(n+1)(m+1)-1}\ $$

अंक की जोड़ी ले रहा हूँ $$([X],[Y]) \in P^n \times P^m$$ उनके उत्पाद के लिए


 * $$\sigma:([X_0:X_1:\cdots:X_n], [Y_0:Y_1:\cdots:Y_m]) \mapsto

[X_0Y_0: X_0Y_1: \cdots :X_iY_j: \cdots :X_nY_m]\ $$ (एक्सiYjशब्दकोषीय क्रम में लिया गया है)।

यहाँ, $$P^n$$ और $$P^m$$ कुछ मनमाने क्षेत्र (गणित) और अंकन पर प्रक्षेप्य सदिश स्थान हैं


 * $$[X_0:X_1:\cdots:X_n]\ $$

अंतरिक्ष पर सजातीय निर्देशांक है। मानचित्र की छवि एक प्रकार है, जिसे सेग्रे प्रकार कहा जाता है। इसे कभी-कभी $$\Sigma_{n,m}$$ इस प्रकार लिखा जाता हैं।

चर्चा
रैखिक बीजगणित की भाषा में, एक ही क्षेत्र (गणित) K पर दिए गए सदिश रिक्त स्थान U और V के लिए, उनके कार्टेशियन उत्पाद को उनके टेंसर उत्पाद में मानचित्र करने का प्राकृतिक प्रणाली है।


 * $$\varphi: U\times V \to U\otimes V.\ $$

सामान्यतः, इसके लिए इंजेक्शन लगाने की आवश्यकता नहीं है क्योंकि, के लिए $$u$$ में $$U$$, $$v$$ में $$V$$ और कोई भी शून्यहतर $$c$$ में $$K$$,


 * $$\varphi(u,v) = u\otimes v = cu\otimes c^{-1}v = \varphi(cu, c^{-1}v).\ $$

अंतर्निहित प्रक्षेप्य स्थानों पी(यू) और पी(वी) को ध्यान में रखते हुए, यह मानचित्रण किस्मों का रूपवाद बन जाता है


 * $$\sigma: P(U)\times P(V) \to P(U\otimes V).\ $$

यह केवल समुच्चय-सैद्धांतिक अर्थ में इंजेक्शन नहीं है: यह बीजगणितीय ज्यामिति के अर्थ में बंद विसर्जन है। अर्थात, कोई छवि के लिए समीकरणों का समुच्चय दे सकता है। इस प्रकार सांकेतिक व्याकुलता को छोड़कर, यह कहना आसान है कि ऐसे समीकरण क्या हैं: वह टेंसर उत्पाद से निर्देशांक के उत्पादों को फैक्टरिंग करने के दो तरीकों को व्यक्त करते हैं, जो दो भिन्न-भिन्न तरीकों से प्राप्त होते हैं जैसे कि U से कुछ और V से कुछ।

यह मानचित्रण या रूपवाद σ  'सेग्रे एम्बेडिंग' है। आयामों की गणना करते हुए, यह दर्शाता है कि आयाम एम और एन के प्रक्षेप्य स्थानों का उत्पाद आयाम में कैसे एम्बेड होता है


 * $$(m + 1)(n + 1) - 1 = mn + m + n.\ $$

मौलिक शब्दावली उत्पाद पर निर्देशांक को बहुसजातीय कहते है, और उत्पाद को k कारकों के-वे प्रक्षेप्य स्थान के लिए सामान्यीकृत किया जाता है।

गुण
सेग्रे प्रकार एक निर्धारक प्रकार का उदाहरण है; यह आव्युह के 2×2 माइनरों का शून्य स्थान है $$(Z_{i,j})$$. अर्थात्, सेग्रे प्रकार द्विघात बहुपदाें का सामान्य शून्य स्थान है


 * $$Z_{i,j} Z_{k,l} - Z_{i,l} Z_{k,j}.\ $$

यहाँ, $$Z_{i,j}$$ सेग्रे मानचित्र की छवि पर प्राकृतिक समन्वय समझा जाता है। सेग्रे प्रकार $$\Sigma_{n,m}$$ का श्रेणीबद्ध उत्पाद है $$P^n\ $$ और $$P^m$$.

प्रक्षेपण


 * $$\pi_X :\Sigma_{n,m} \to P^n\ $$

पहले कारक को सेग्रे प्रकार को कवर करने वाले खुले उपसमुच्चय पर एम+1 मानचित्रों द्वारा निर्दिष्ट किया जा सकता है, इस प्रकार जो उपसमुच्चय के प्रतिच्छेदन पर सहमत होते हैं। तय के लिए $$j_0$$, नक्शा भेजकर दिया गया है $$[Z_{i,j}]$$ को $$[Z_{i,j_0}]$$. समीकरण $$Z_{i,j} Z_{k,l} = Z_{i,l} Z_{k,j}\ $$ सुनिश्चित करें‚ कि यह मानचित्र एक-दूसरे से सहमत हों, क्योंकि यदि $$Z_{i_0,j_0}\neq 0$$ अपने पास $$[Z_{i,j_1}]=[Z_{i_0,j_0}Z_{i,j_1}]=[Z_{i_0,j_1}Z_{i,j_0}]=[Z_{i,j_0}]$$.

उत्पाद के रेशे रैखिक उपस्थान हैं। अर्थात चलो


 * $$\pi_X :\Sigma_{n,m} \to P^n\ $$

पहले कारक का प्रक्षेपण हो; और इसी तरह $$\pi_Y$$ दूसरे कारक के लिए. फिर मानचित्र की छवि


 * $$\sigma (\pi_X (\cdot), \pi_Y (p)):\Sigma_{n,m} \to   P^{(n+1)(m+1)-1}\ $$

एक निश्चित बिंदु के लिए p कोडोमेन का रैखिक उपस्थान है।

क्वाड्रिक
उदाहरण के लिए m = n = 1 के साथ हमें P में स्वयं के साथ प्रक्षेप्य रेखा के उत्पाद का एम्बेडिंग मिलता है3. छवि चतुर्भुज है, और इसमें रेखाओं के दो एक-पैरामीटर परिवार आसानी से देखे जा सकते हैं। इस प्रकार समष्टि संख्याओं पर यह अधिक सामान्य बीजगणितीय वक्र विशिष्टता गैर-एकवचन चतुर्भुज है।


 * $$[Z_0:Z_1:Z_2:Z_3]\ $$

P पर सजातीय निर्देशांक हों3, यह चतुर्भुज सारणिक द्वारा दिए गए द्विघात बहुपद के शून्य स्थान के रूप में दिया गया है


 * $$\det \left(\begin{matrix}Z_0&Z_1\\Z_2&Z_3\end{matrix}\right)

= Z_0Z_3 - Z_1Z_2.\ $$

सेग्रे तीन गुना
वो नक्शा


 * $$\sigma: P^2 \times P^1 \to P^5$$

सेग्रे थ्रीफोल्ड के नाम से जाना जाता है। यह तर्कसंगत सामान्य स्क्रॉल का उदाहरण है। सेग्रे का चौराहा तीन गुना और तीन-तल $$P^3$$ मुड़ा हुआ घन वक्र है.

वहरोनीज़ किस्म
विकर्ण की छवि $$\Delta \subset P^n \times P^n$$ सेग्रे मानचित्र के अंतर्गत डिग्री दो की वेरोनीज़ प्रकार है
 * $$\nu_2:P^n \to P^{n^2+2n}.\ $$

अनुप्रयोग
क्योंकि सेग्रे मानचित्र प्रक्षेप्य स्थानों के श्रेणीबद्ध उत्पाद के लिए है, यह क्वांटम यांत्रिकी और क्वांटम सूचना सिद्धांत में गैर-उलझी स्थितियों का वर्णन करने के लिए प्राकृतिक मानचित्रण है। इस प्रकार अधिक त्रुटिहीन रूप से, सेग्रे मानचित्र वर्णन करता है कि प्रक्षेप्य हिल्बर्ट स्थान स्थान के उत्पादों को कैसे लिया जाए।

बीजगणितीय आँकड़ों में, सेग्रे प्रकार स्वतंत्रता मॉडल के अनुरूप हैं।

P8 में P2×P2 की सेग्रे एम्बेडिंग आयाम 4 की एकमात्र सेवेरी प्रकार है।