A note on the rational homotopy type of the projectivization of the tangent bundle of complex projective spaces

तकनीकी सारांश: सम्मिश्र प्रक्षेपिक स्थानों (Complex Projective Spaces) के स्पर्शजाल बंडल (Tangent Bundle) के प्रक्षेपों के तर्कसंगत होमोटॉपी प्रकार (Rational Homotopy Type)

समस्या विवरण
यह शोध पत्र सम्मिश्र प्रक्षेपिक स्थानों $\mathbb{C}P^n$ पर प्रक्षेपिक बंडल $P(\xi)$ के कुल स्थान $P(E)$ की तर्कसंगत होमोटॉपी प्रकार की व्यापक समझ में मौजूद अंतराल को संबोधित करता है। जबकि लूप्टन और ओप्रिया के पूर्व कार्य ने यह स्थापित किया था कि यदि आधार $B$ तर्कसंगत (formal) है, तो $P(E)$ भी तर्कसंगत होता है, और थॉमस ने सिद्ध किया कि ऐसे बंडल शुद्ध फाइब्रेशन (pure fibrations) होते हैं, फिर भी जब आधार $\mathbb{C}P^n$ हो और बंडल स्पर्शजाल $\tau$ हो, तब $P(E)$ का तर्कसंगत होमोटॉपी प्रकार समरूप स्थानों (homogeneous spaces) के संदर्भ में स्पष्ट रूप से निर्धारित नहीं किया गया था। लेखक $P(\tau): \mathbb{C}^n \to E \to \mathbb{C}P^n$ के प्रक्षेपजाल के लिए $P(E)$ के तर्कसंगत होमोटॉपी प्रकार को समरूप स्थान के रूप में पहचानने का लक्ष्य रखते हैं।

कार्यप्रणाली
लेखक तर्कसंगत होमोटॉपी सिद्धांत (Rational Homotopy Theory) के ढांचे का उपयोग करते हैं, विशेष रूप से सुलीवन मिनिमल मॉडल (Sullivan minimal models) का। कार्यप्रणाली निम्नलिखित चरणों में आगे बढ़ती है:

1. बंडल के लिए सुलीवन मॉडल का निर्माण:
   कोशुल सुलीवन विस्तार (Koszul Sullivan extensions) के सिद्धांत का उपयोग करते हुए, लेखक प्रक्षेपिक बंडल $P(\tau): \mathbb{C}P^{n-1} \to P(E) \to \mathbb{C}P^n$ का मॉडल बनाने वाले एक सापेक्ष सुलीवन बीजगणित (relative Sullivan algebra) का निर्माण करते हैं।

• वे आधार $\mathbb{C}P^n$ के लिए ज्ञात सुलीवन मॉडल का उपयोग करते हैं, जो $(\Lambda(y_2, y_{2n+1}), d)$ द्वारा दिया गया है जहाँ $dy_2=0$ और $dy_{2n+1}=y_2^{n+1}$ है।
• वे फाइबर जनरेटरों पर अवकल (differential) को परिभाषित करने के लिए स्पर्शजाल के कुल चेर्न वर्ग (total Chern class), $c(\tau) = (1+y_2)^{n+1}$ को शामिल करते हैं।
• इसके परिणामस्वरूप $P(E)$ के लिए एक मॉडल प्राप्त होता है जो $(\Lambda(y_2, y_{2n+1}) \otimes \Lambda(x_2, x_{2n-1}), D)$ के रूप में है, जहाँ अवकल $D$ बंडल के चेर्न वर्गों को समाहित करता है।

2. समरूप स्थान के लिए सुलीवन मॉडल का निर्माण:
   लेखक स्वतंत्र रूप से समरूप स्थान $U(n+1)/U(1) \times U(1) \times U(n-1)$ के लिए सुलीवन मिनिमल मॉडल का निर्माण करते हैं।

• वे प्रमेय 2.1 (समरूप स्थानों की कोहोमोलॉजी को उनके उपसमूहों के वर्गीकरण मानचित्रों से संबंधित करना) को लागू करते हैं।
• समावेशन $H = U(1) \times U(1) \times U(n-1) \hookrightarrow G = U(n+1)$ के लिए वर्गीकरण मानचित्र $Bi: BH \to BG$ का विश्लेषण करके, वे एक जटिल सुलीवन बीजगणित व्युत्पन्न करते हैं जिसमें वर्गीकरण स्थानों के अनुरूप जनरेटर शामिल हैं।
• चर प्रतिस्थापन (variable substitution) और अचक्रीय आदर्शों (acyclic ideals - वे जनरेटर जो सटीक जोड़े बनाते हैं) के निष्कासन की एक व्यवस्थित प्रक्रिया के माध्यम से, वे इस बीजगणित को $(\Lambda(a_2, b_2, v_{2n-1}, v_{2n+1}), d)$ के रूप में एक मिनिमल सुलीवन मॉडल में कम करते हैं।

3. तुलना और समरूपता (Isomorphism):
   प्रमाण का मुख्य भाग समरूप स्थान के मिनिमल सुलीवन मॉडल और $P(E)$ के मिनिमल मॉडल के बीच समरूपता स्थापित करना है।

• लेखक एक मोर्फिज्म $f$ को परिभाषित करते हैं जो समरूप स्थान के मॉडल के जनरेटरों को बंडल मॉडल के जनरेटरों पर मैप करता है।
• वे सत्यापित करते हैं कि यह मोर्फिज्म अवकलों (differentials) के साथ क्रमविनिमेय (commute) करता है।
• स्पेक्ट्रल सीक्वेंस तर्कों और शब्द लंबाई (word length) द्वारा फिल्ट्रेशन का उपयोग करते हुए, वे यह प्रदर्शित करते हैं कि $f$ संबद्ध द्वि-श्रेणीबद्ध मॉड्यूल (bigraded modules) पर एक आइसोमोर्फिज्म प्रेरित करता है, जिससे यह सिद्ध होता है कि दोनों स्थान एक ही तर्कसंगत होमोटॉपी प्रकार साझा करते हैं।

मुख्य योगदान और परिणाम
शोध पत्र का प्राथमिक परिणाम प्रमेय 3.2 (जिसे प्रमेय 4.2 के रूप में भी उल्लेखित किया गया है) है, जो यह घोषित करता है:
माना $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$ $\mathbb{C}P^n$ पर स्पर्शजाल बंडल है जहाँ $n \geq 2$ है। $P(E)$ का कुल स्थान $P(\tau)$ का तर्कसंगत होमोटॉपी प्रकार निम्नलिखित समरूप स्थान के समान है:
$$U(n+1) / (U(1) \times U(1) \times U(n-1))$$

विशिष्ट तकनीकी निष्कर्षों में शामिल हैं:

• स्पष्ट मॉडल: शोध पत्र दोनों—प्रक्षेपिक बंडल और लक्षित समरूप स्थान—के लिए स्पष्ट डिफरेंशियल ग्रेडेड अल्जेब्रा (DGA) संरचनाएं प्रदान करता है।
  • $P(E)$ के लिए, कोहोमोलॉजी बीजगणित को $H^*(P(E), \mathbb{Q}) \cong \Lambda(x_2, y_2)/I$ के रूप में पहचाना जाता है, जहाँ $I$ चेर्न वर्गों से व्युत्पन्न विशिष्ट बहुपदों द्वारा जनित है।
  • समरूप स्थान के लिए, मिनिमल मॉडल को डिग्री 2, 2, $2n-1$, और $2n+1$ के जनरेटर्स में कम किया गया है, जिनके अवकल डिग्री 2 के विशिष्ट बहुपदीय योगों को शामिल करते हैं।
• तर्कसंगतता (Formality): लेखक नोट करते हैं कि चूंकि $P(E)$ का सुलीवन मॉडल शुद्ध (pure) और सिम्पलेक्टिक (symplectic) दोनों है, इसलिए स्थान $P(E)$ तर्कसंगत (formal) है। यह तर्कसंगत आधारों पर प्रक्षेपिक बंडलों के सामान्य परिणामों के अनुरूप है।

महत्व और दावे
शोध पत्र $\mathbb{C}P^n$ पर $P(E)$ के विशिष्ट तर्कसंगत होमोटॉपी प्रकार के संबंध में व्यापक ज्ञान की कमी को दूर करने का दावा करता है। $P(E)$ को $U(n+1)/U(1)^2 \times U(n-1)$ के समरूप स्थान के रूप में स्पष्ट रूप से पहचानकर, लेखक इस बंडल की तर्कसंगत होमोटॉपी संरचना का एक ठोस ज्यामितीय लक्षण वर्णन प्रदान करते हैं। यह कार्य सुलीवन मॉडल के मूलभूत उपकरणों और औपचारिक स्थानों (formal spaces) के गुणों पर निर्भर करता है, जो सम्मिश्र प्रक्षेपिक स्थानों पर वेक्टर बंडल प्रक्षेपों के एक विशिष्ट, गैर-तुच्छ मामले में इन उपकरणों के अनुप्रयोग का विस्तार करता है। यह अध्ययन प्रथम लेखक के पी.एच.डी. थीसिस के एक हिस्से के रूप में प्रस्तुत किया गया है, जो सम्मिश्र प्रक्षेपिक स्थानों पर फाइबर बंडलों की टोपोलॉजी की व्यापक समझ में योगदान देता है।