On defective spans of singular vector tuples beyond the boundary format

तकनीकी सारांश: बाउंड्री फॉर्मेट के परे सिंगुलर वेक्टर टुपल्स के डिफेक्टिव स्पैन पर

समस्या विवरण
यह शोध पत्र टेंसर के स्पेक्ट्रल सिद्धांत (spectral theory) की जांच करता है, विशेष रूप से एक टेंसर $T$ के सिंगुलर वेक्टर $k$-टुपल्स और उनके द्वारा बनाए गए रैखिक उपसमष्टि (linear subspace) के बीच संबंध पर ध्यान केंद्रित करता है। टेंसर अपघटन (tensor decomposition) के संदर्भ में, एक सिंगुलर वेक्टर $k$-टुपल मैट्रिक्स के लिए सिंगुलर पेयर्स की अवधारणा का सामान्यीकरण है। एक सामान्य टेंसर $T$ के लिए, मान लीजिए कि $Z_T$ उसके सिंगुलर वेक्टर $k$-टुपल्स का सेट है (प्रोजेक्टिव स्पेस $\mathbb{P}(V)$ में बिंदुओं के रूप में), और $\langle Z_T \rangle$ उनका प्रोजेक्टिव स्पैन है।

एक केंद्रीय वस्तु $H_T$ है, जिसे 'क्रिटिकल स्पेस' (critical space) कहा जाता है, जो $V$ का वह रैखिक उपसमष्टि है जो सिंगुलर वेक्टर $k$-टुपल्स को परिभाषित करने वाले समीकरणों द्वारा निर्धारित होता है। यह ज्ञात है कि $\langle Z_T \rangle \subseteq \mathbb{P}(H_T)$। ड्रेइस्मा, ओटावियानी और टोसिनो [DOT18] ने यह स्थापित किया कि "बाउंड्री फॉर्मेट" (जहाँ एक कारक का आयाम अन्य कारकों के आयामों के योग के बराबर होता है) के लिए समानता बनी रहती है: $\langle Z_T \rangle = \mathbb{P}(H_T)$। यह परिणाम मैट्रिक्स के एककार्ट-यंग (Eckart-Young) प्रमेय का सामान्यीकरण है।

यह शोध पत्र उस व्यवहार की जांच करता है जब टेंसर स्पेस बाउंड्री फॉर्मेट से अधिक हो जाता है। विशेष रूप से, लेखक उस मामले का विश्लेषण करते हैं जहाँ टेंसर स्पेस $V = \mathbb{C}^{n_1+1} \otimes \cdots \otimes \mathbb{C}^{n_k+1}$ इस प्रकार है कि $n_k = 1 + \sum_{i=1}^{k-1} n_i$, जो बाउंड्री फॉर्मेट से परे न्यूनतम मामला है। मुख्य प्रश्न यह है कि क्या इस शासन (regime) में $\langle Z_T \rangle = \mathbb{P}(H_T)$ सामान्य रूप से सत्य है या क्या ऐसे "डिफेक्टिव" (defective) मामले मौजूद हैं जहाँ स्पैन, क्रिटिकल स्पेस से स्पष्ट रूप से छोटा है।

कार्यप्रणाली
लेखक बीजगणितीय ज्यामिति (algebraic geometry), प्रतिनिधित्व सिद्धांत (representation theory) और कोहोमोलॉजिकल तकनीकों (cohomological techniques) के संयोजन का उपयोग करते हैं:

1. वेक्टर बंडल्स और कोहोमोलॉजी: अध्ययन सेग्री उत्पाद $P = \mathbb{P}(\mathbb{C}^{n_1+1}) \times \cdots \times \mathbb{P}(\mathbb{C}^{n_k+1})$ पर फ्राइडलैंड-ओटावियानी वेक्टर बंडल $E$ का उपयोग करता है। सिंगुलर वेक्टर $k$-टुपल्स बंडल $E$ के एक ग्लोबल सेक्शन $s_T$ के शून्य लोकस (zero locus) के अनुरूप होते हैं।
2. कोशुल कॉम्प्लेक्स (Koszul Complex): शून्य लोकस के आइडियल शीफ (ideal sheaf) के रेजोल्यूशन का विश्लेषण $s_T$ से जुड़े कोशुल कॉम्प्लेक्स के माध्यम से किया जाता है। यह लेखकों को बंडल $E$ के ट्विस्ट्स की कोहोमोलॉजी के माध्यम से $Z_T$ की ज्यामिति को जोड़ने की अनुमति देता है।
3. बॉट-बोरेल-वील प्रमेय (Bott-Borel-Weil Theorem): लेखक बॉट के एल्गोरिदम और $SL(n+1)$ के लिए वेट्स (weights) की गणना करके $H^q(E(r))$ समूहों का विस्तृत विश्लेषण करते हैं। इसमें कोहोमोलॉजी समूहों के लुप्त होने की स्थितियों को निर्धारित करने के लिए टेंसर फॉर्मेट के आधार पर भारों की गणना शामिल है।
4. कोहोमोलॉजिकल मैप्स: $\mathbb{P}(H_T)$ के भीतर $\langle Z_T \rangle$ के कोडायमेंशन (codimension) को कोहोमोलॉजी समूहों के बीच एक विशिष्ट रैखिक मानचित्र $\alpha_T$ के कर्नेल (kernel) के आयाम के रूप में पहचाना गया है:
   $$\alpha_T: H^n(E(n+1)) \to H^n(E(n))$$
   जहाँ $n = \sum_{i=1}^k n_i$ है।
5. प्रतिनिधित्व सिद्धांत (Representation Theory): मानचित्र $\alpha_T$ का विशेष लीनियर ग्रुप्स के एक्शन के तहत एक इक्विवेरिएंट (equivariant) मानचित्र के रूप में विश्लेषण किया जाता है। डोमेन और कोडोमेन को अपरिवर्तनीय प्रतिनिधित्व (irreducible representations) में विघटित करके और शू के लेम्मा (Schur's Lemma) को लागू करके, लेखक यह निर्धारित करते हैं कि $\alpha_T$ को कब शून्य होना चाहिए या अधिकतम रैंक रखनी चाहिए।

मुख्य योगदान और परिणाम

• कोडायमेंशन का अभिलक्षण (Characterization of Codimension): यह शोध पत्र स्थापित करता है कि $\mathbb{P}(H_T)$ में $\langle Z_T \rangle$ का कोडायमेंशन मानचित्र $\alpha_T$ के कर्नेल के आयाम के बराबर है। यह [ST24] में पाए गए पिछले चरणों को औपचारिक रूप देता है और विस्तारित करता है।
• कारक संख्या द्वारा भिन्न व्यवहार:
  • $k+1 \geq 4$ कारकों के लिए, कोहोमोलॉजिकल लुप्त होना (vanishings) एकसमान है।
  • $k+1 = 3$ कारकों (ऑर्डर-थ्री टेंसर) के लिए, व्यवहार विचित्र है, जिसमें कम कोहोमोलॉजिकल लुप्त होना होता है, जिससे अलग संरचनात्मक गुण प्राप्त होते हैं।
• डिफेक्टिव परिवार की पहचान: लेखक ऑर्डर-थ्री टेंसरों के एक अनंत परिवार की पहचान करते हैं जहाँ स्पैन डिफेक्टिव है। विशेष रूप से, एक सामान्य टेंसर $T \in \mathbb{C}^2 \otimes \mathbb{C}^n \otimes \mathbb{C}^{n+2}$ के लिए, मानचित्र $\alpha_T$ पूर्णतः शून्य हो जाता है। फलस्वरूप, $\mathbb{P}(H_T)$ में $\langle Z_T \rangle$ का कोडायमेंशन $n-1$ है, जो पैरामीटर काउंटिंग द्वारा अनुमत अधिकतम संभव कोडायमेंशन है। यह प्रमेय 5.2 में वर्णित है।
• विमीय विश्लेषण (Dimensional Analysis): द्विपद गुणांकों (binomial coefficients) से जुड़ी कॉम्बिनेटोरियल असमानताओं के माध्यम से, लेखक उन विशिष्ट मामलों को निर्धारित करते हैं जहाँ $\alpha_T$ के डोमेन और कोडोमेन के आयाम यह सुझाव देते हैं कि मानचित्र इंजेक्टिव (injective) नहीं हो सकता है। इनमें $k+1=4$ के लिए $(2, 2, 2, 5)$, $(2, 2, 3, 6)$, और $(2, 2, 4, 7)$ तथा $k+1=3$ के लिए विशिष्ट छोटे मामले शामिल हैं।
• परिकल्पनाएँ (Conjectures): विश्लेषण के आधार पर, लेखक परिकल्पना करते हैं कि विशिष्ट "अपवादों" (जिनमें उल्लेखित अनंत परिवार भी शामिल है) की एक सीमित सूची के बाहर, मानचित्र $\alpha_T$ अधिकतम रैंक रखता है, जिसका अर्थ है $\langle Z_T \rangle = \mathbb{P}(H_T)$।
  • परिकल्पना 7.2 3-फैक्टर मामले ($a, b \geq 2$) को संबोधित करती है।
  • परिकल्पना 7.3 $k+1 \geq 4$ फैक्टर मामले को संबोधित करती है।
• कोशुल कोहोमोलॉजी से जुड़ाव: अंतिम खंड में, लेखक अपनी परिकल्पनाओं और कुछ कोशुल कोहोमोलॉजी मॉड्यूल्स $K_{1,1}(X, \mathcal{O}(1,1), W)$ के लुप्त होने के बीच एक संबंध खींचते हैं, जो सेग्री वैराइटी (Segre variety) की सिनजीज़ (syzygies) के साथ स्पैन की डिफेक्टिवनेस को जोड़ता है।

महत्व
यह शोध पत्र बाउंड्री फॉर्मेट से परे टेंसर अपघटन के लिए सिंगुलर वेक्टर टुपल्स की सीमाओं को समझने के लिए एक कठोर ढांचा प्रदान करता है। जबकि बाउंड्री फॉर्मेट यह गारंटी देता है कि एक टेंसर अपने सिंगुलर वेक्टर टुपल्स द्वारा निर्धारित होता है (स्पैन और क्रिटिकल स्पेस की समानता के माध्यम से), यह कार्य प्रदर्शित करता है कि यह गुण टेंसरों के विशिष्ट अनंत परिवारों के लिए विफल हो जाता है। $\alpha_T$ के मानचित्र को इस समानता के निर्धारक के रूप में पहचानने से इस समानता का विश्लेषण करने के लिए एक ठोस कोहोमोलॉजिकल टूल मिलता है। ये परिणाम "सर्वश्रेष्ठ रैंक-वन सन्निकटन समस्या" (best rank-one approximation problem) और क्रिटिकल स्पेस की ज्यामितीय संरचना की समझ को परिष्कृत करते हैं, यह रेखांकित करते हुए कि उच्च-क्रम के टेंसरों के लिए एककार्ट-यंग प्रमेय का सामान्यीकरण सार्वभौमिक नहीं है और यह टेंसर फॉर्मेट पर महत्वपूर्ण रूप से निर्भर करता है। कोशुल कोहोमोलॉजी के साथ संबंध इस बात का सुझाव देता है कि इन ज्यामितीय घटनाओं के पीछे गहरे बीजगणितीय संरचनाएं मौजूद हैं।