2025-11-10T03:04:09.017715

Computations and Equations for Segre-Grassmann hypersurfaces

Daleo, Hauenstein, Oeding
In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersurfaces, and representation-theoretic descriptions of their equations are given. We answer Problem 6.5 [Abo-Wan2013], and confirm their speculation that each member of an infinite family of hypersurfaces is minimally defined by a (known) determinantal equation. While led by numerical evidence, we provide non-numerical proofs for all of our results.
academic

Segre-Grassmann अतिपृष्ठों के लिए संगणनाएँ और समीकरण

मूल जानकारी

  • पेपर ID: 1408.2105
  • शीर्षक: Segre-Grassmann अतिपृष्ठों के लिए संगणनाएँ और समीकरण
  • लेखक: Noah S. Daleo, Jonathan D. Hauenstein, Luke Oeding
  • वर्गीकरण: math.AG (बीजगणितीय ज्यामिति)
  • प्रकाशन समय: 19 अगस्त 2015
  • पेपर लिंक: https://arxiv.org/abs/1408.2105

सारांश

2013 में, Abo और Wan ने विषम-सममित रूपों की प्रणालियों के लिए Waring समस्या के अनुरूप का अध्ययन किया और कई त्रुटिपूर्ण प्रणालियों की पहचान की। विशेष रुचि तब होती है जब Segre-Grassmann विविधता के एक निश्चित secant विविधता को प्राकृतिक परिवेशी स्थान को भरने की अपेक्षा होती है, लेकिन यह वास्तव में एक अतिपृष्ठ है। Bertini में लागू किए गए एल्गोरिदम का उपयोग करके इनमें से कई अतिपृष्ठों की डिग्री निर्धारित की जाती है, और उनके समीकरणों के प्रतिनिधित्व-सैद्धांतिक विवरण दिए जाते हैं। हम समस्या 6.5 Abo-Wan2013 का उत्तर देते हैं, और पुष्टि करते हैं कि अतिपृष्ठों के एक अनंत परिवार का प्रत्येक सदस्य एक (ज्ञात) सारणिक समीकरण द्वारा न्यूनतम रूप से परिभाषित है। संख्यात्मक साक्ष्य द्वारा निर्देशित होते हुए, हम अपने सभी परिणामों के लिए गैर-संख्यात्मक प्रमाण प्रदान करते हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

  1. मूल समस्या: Segre-Grassmann विविधता के secant विविधता कब अतिपृष्ठ होते हैं, इसका अध्ययन करना और इन अतिपृष्ठों के परिभाषित समीकरण खोजना। यह विषम-सममित रूपों की प्रणालियों की Waring समस्या के अनुरूप से संबंधित है।
  2. समस्या की महत्ता:
    • Secant विविधता बीजगणितीय ज्यामिति में एक शास्त्रीय विषय है, जिसका ज्यामितीय जटिलता सिद्धांत और संकेत प्रसंस्करण जैसे क्षेत्रों में व्यापक अनुप्रयोग है
    • X-रैंक और X-सीमा रैंक टेंसर और संबंधित बीजगणितीय विविधताओं के लिए उपयोगी दृष्टिकोण प्रदान करते हैं
    • σᵣ(X) के परिभाषित समीकरणों का वर्णन किसी भी दिए गए बिंदु की X-सीमा रैंक को आसानी से निर्धारित कर सकता है
  3. मौजूदा कार्य की सीमाएँ:
    • Abo और Wan ने 2013 में कई त्रुटिपूर्ण प्रणालियों की पहचान की, लेकिन कुछ खुली समस्याएँ छोड़ीं
    • विशेष रूप से समस्या 6.5 का समाधान नहीं हुआ, अनंत परिवार अतिपृष्ठों के बारे में अनुमान की पुष्टि की आवश्यकता है
  4. अनुसंधान प्रेरणा:
    • इन समस्याओं को हल करने के लिए संख्यात्मक बीजगणितीय ज्यामिति और प्रतिनिधित्व-सैद्धांतिक उपकरणों को जोड़ना
    • यद्यपि विषम-सममित टेंसर का अनुसंधान अपेक्षाकृत कम है, एक सममित वर्ग के लिए सीमा रैंक समीकरण खोजने की विधि आमतौर पर दूसरे के लिए जानकारी प्रदान करती है

मूल योगदान

  1. Abo-Wan की समस्या 6.5 का समाधान: यह सिद्ध किया कि σ₅(Seg(P²×G(2,5))) अतिपृष्ठ का प्रमुख आदर्श एक एकल 6-डिग्री बहुपद द्वारा उत्पन्न होता है
  2. Abo-Wan के अनुमान की पुष्टि: यह सिद्ध किया कि अनंत परिवार σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2))) में प्रत्येक सदस्य ज्ञात सारणिक समीकरण द्वारा न्यूनतम रूप से परिभाषित है
  3. कई अतिपृष्ठों की डिग्री की गणना: Bertini एल्गोरिदम का उपयोग करके कई अतिपृष्ठों की सटीक डिग्री निर्धारित की
  4. गैर-संख्यात्मक प्रमाण प्रदान किए: यद्यपि संख्यात्मक साक्ष्य द्वारा निर्देशित, सभी परिणामों के लिए कठोर बीजगणितीय प्रमाण प्रदान किए
  5. अंतःविषय दृष्टिकोण की शक्ति का प्रदर्शन: संख्यात्मक बीजगणितीय ज्यामिति और प्रतिनिधित्व-सैद्धांतिक उपकरणों को सफलतापूर्वक जोड़ा

विधि विवरण

कार्य परिभाषा

यह अध्ययन करना कि Segre-Grassmann विविधता Seg(Pᵐ×G(k,n)) के s-secant विविधता σₛ(Seg(Pᵐ×G(k,n))) कब अतिपृष्ठ हैं, इसके परिभाषित समीकरण खोजना और अपरिवर्तनीयता सिद्ध करना।

मूल विधि आर्किटेक्चर

1. संख्यात्मक बीजगणितीय ज्यामिति विधि

अतिपृष्ठ की डिग्री की गणना के लिए Bertini सॉफ्टवेयर में लागू किए गए एल्गोरिदम का उपयोग:

अतिपृष्ठ डिग्री गणना एल्गोरिदम:

  • अपरिवर्तनीय अतिपृष्ठ H⊂Pⁿ के लिए, deg H = |H∩L|, जहाँ L एक सामान्य रेखा है
  • साक्षी बिंदु समुच्चय उत्पन्न करने के लिए यादृच्छिक एकरूपता लूप (random monodromy loops) का उपयोग
  • ट्रेस परीक्षण लागू करना पूर्णता सत्यापित करने के लिए: निर्देशांक ∑w∈W' pw(t) का प्रत्येक निर्देशांक t का एक रैखिक कार्य है

2. प्रतिनिधित्व-सैद्धांतिक विधि

अपरिवर्तनीय बहुपद निर्माण के लिए Young सममितकरणकारी का उपयोग:

Young सममितकरणकारी एल्गोरिदम:

  • विभाजन (2,2,2) और (3,3,3,3,3,3) से शुरू करना
  • Young तालिकाओं की भरावट खोजना ताकि संबंधित Young सममितकरणकारी गैर-शून्य प्रतिबिंब उत्पन्न करें
  • मैट्रिक्स सारणिकों के गुणनफल के माध्यम से बहुपद का निर्माण
  • चर प्रतिस्थापन के लिए संकुचन संचालन का उपयोग

3. बाहरी समतलीकरण निर्माण

अनंत परिवार के मामले के लिए, Ottaviani प्रकार के बाहरी समतलीकरण का उपयोग:

  • टेंसर T∈V⊗∧²W के लिए रैखिक मानचित्र φₜ: V⊗W* → V*⊗W का निर्माण
  • यह मानचित्र W में विषम-सममित है, V में भी विषम-सममित है
  • det φₜ संबंधित secant विविधता पर लुप्त होता है

तकनीकी नवाचार बिंदु

  1. संख्यात्मक और प्रतीकात्मक विधि का संयोजन: पहले संख्यात्मक विधि का उपयोग करके डिग्री निर्धारित करना, फिर बीजगणितीय विधि से सटीक समीकरण का निर्माण
  2. ⊠गुणनफल का उपयोग: सामान्य Kronecker गुणनफल ⊗ के विपरीत, ⊠गुणनफल का उपयोग det(P⊗Q) = det(P)ⁿdet(Q)ᵐ की सीमा से बचता है
  3. अपरिवर्तनीयता का आगमनात्मक प्रमाण: प्रमुख उप-मैट्रिक्स अपघटन और आगमन विधि के माध्यम से बड़े आकार के मामलों में सारणिक की अपरिवर्तनीयता सिद्ध करना

प्रायोगिक सेटअप

संगणना वातावरण

  • AMD Opteron 6376 प्रोसेसर (2.3 GHz कोर) का उपयोग
  • एकल-कोर और बहु-कोर समानांतर संगणना

विशिष्ट मामले

निम्नलिखित विशिष्ट अतिपृष्ठों का अध्ययन:

  1. σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹
  2. σ₅(Seg(P²×G(1,6))) ⊂ P⁶²
  3. σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴
  4. σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴

सत्यापन विधि

  • छोटे आकार के मामलों के लिए: Macaulay2 में सीधे गणना करना और factor आदेश का उपयोग
  • मध्यम आकार के मामलों के लिए: चर को यादृच्छिक रेखा में विशेषीकृत करना और गुणनखंडन की जाँच करना
  • बड़े आकार के मामलों के लिए: आगमनात्मक प्रमाण का उपयोग

प्रायोगिक परिणाम

मुख्य संगणना परिणाम

संगणना 3.1 के संख्यात्मक परिणाम:

  1. σ₅(Seg(P²×G(2,5))) ⊂ P⁵⁹ की डिग्री 6 है
  2. σ₅(Seg(P²×G(1,6))) ⊂ P⁶² की डिग्री 21 है
  3. σ₈(Seg(P²×G(1,10))) ⊂ P¹⁶⁴ की डिग्री 33 है
  4. σ₁₁(Seg(P²×G(1,14))) ⊂ P³¹⁴ की डिग्री 45 है

संगणना दक्षता

  • पहला मामला: 6 यादृच्छिक एकरूपता लूप, 50 सेकंड संगणना समय
  • अगले तीन मामले: क्रमशः 13, 12, 13 लूप की आवश्यकता, संगणना समय 2.5 मिनट, 32 मिनट, 5.5 घंटे

सैद्धांतिक परिणाम

प्रमेय 4.1: σ₅(P²×G(2,5)) अतिपृष्ठ का प्रमुख आदर्श विशिष्ट Young सममितकरणकारी द्वारा निर्मित एक एकल 6-डिग्री बहुपद द्वारा उत्पन्न होता है, जिसमें 10080 एकपदी हैं।

प्रमेय 5.3: ℓ≥1 के लिए, अतिपृष्ठ σ₃ℓ₊₂(Seg(P²×G(1,4ℓ+2))) का प्रमुख आदर्श 3(4ℓ+3)×3(4ℓ+3) मैट्रिक्स φₜ के सारणिक द्वारा उत्पन्न होता है।

प्रमेय 6.1: सामान्य मैट्रिक्स टेंसर गुणनफल सारणिक की अपरिवर्तनीयता के बारे में:

  • s=1,2 के लिए: det(P⊠Q)=0
  • s=3 के लिए: det(P⊠Q) तीन-डिग्री बहुपद के घन में गुणनखंडित होता है
  • s=4 के लिए: det(P⊠Q) छः-डिग्री बहुपद के वर्ग में गुणनखंडित होता है
  • s≥5 के लिए: det(P⊠Q) अपरिवर्तनीय है

संबंधित कार्य

  1. शास्त्रीय पृष्ठभूमि: Alexander-Hirschowitz प्रमेय Veronese एम्बेडिंग के मामले को हल करता है
  2. Segre एम्बेडिंग: संबंधित समस्याएँ कार्टेशियन गुणनफल के मामले में अध्ययन की गई हैं, लेकिन पूरी तरह से हल नहीं हुई हैं
  3. विषम-सममित संस्करण: विषम-सममित मामले में संबंधित अनुसंधान, कुछ मामले पहले से ही हल हो चुके हैं
  4. समीकरण खोज: सममित टेंसर के लिए Ottaviani की विधि ने गैर-सममित टेंसर के लिए नए निर्माणों को प्रेरित किया

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. Abo-Wan की समस्या 6.5 को सफलतापूर्वक हल किया
  2. अनंत परिवार अतिपृष्ठों के बारे में अनुमान की पुष्टि की
  3. संख्यात्मक बीजगणितीय ज्यामिति और प्रतिनिधित्व सिद्धांत के संयोजन की प्रभावशीलता सिद्ध की

सीमाएँ

  1. σ₅(Seg(P²×G(2,5))) के समीकरण के लिए, Ottaviani डिग्री 15 समीकरण जैसे सारणिक अभिव्यक्ति नहीं मिली
  2. विषम-सममित टेंसर का अनुसंधान पूरी तरह से सममित और गैर-सममित मामलों जितना पर्याप्त नहीं है

भविष्य की दिशाएँ

  1. अधिक अतिपृष्ठों के लिए सारणिक अभिव्यक्तियाँ खोजना
  2. Segre-Grassmann विविधता के द्वैत से संभावित संबंध का अध्ययन
  3. विधि को सममित वर्गों की अन्य समस्याओं पर लागू करना

गहन मूल्यांकन

लाभ

  1. विधि नवाचार: संख्यात्मक गणना और प्रतीकात्मक गणना को सफलतापूर्वक जोड़ना, पहले संख्यात्मक विधि से निर्देशन, फिर कठोर प्रमाण
  2. सैद्धांतिक गहराई: प्रतिनिधित्व सिद्धांत, Young सममितकरणकारी, अपरिवर्तनीयता सिद्धांत जैसे गहरे गणितीय उपकरण शामिल
  3. संगणना व्यावहारिकता: ठोस निष्पादन योग्य एल्गोरिदम और सॉफ्टवेयर कार्यान्वयन प्रदान करता है
  4. पूर्णता: न केवल संख्यात्मक साक्ष्य देता है, बल्कि पूर्ण बीजगणितीय प्रमाण प्रदान करता है

कमियाँ

  1. संगणना जटिलता: बड़े आकार की समस्याओं के लिए, संगणना समय तेजी से बढ़ता है
  2. विशेष मामले: कुछ छोटे आकार के मामलों को विशेष उपचार की आवश्यकता होती है, एकीकृतता की कमी
  3. ज्यामितीय अंतर्ज्ञान: इन अतिपृष्ठों के ज्यामितीय अर्थ की सहज व्याख्या की कमी

प्रभाव

  1. शैक्षणिक मूल्य: इस क्षेत्र की महत्वपूर्ण खुली समस्याओं को हल करता है
  2. पद्धति योगदान: अंतःविषय दृष्टिकोण की शक्ति प्रदर्शित करता है, अन्य समस्याओं के समाधान को प्रेरित कर सकता है
  3. संगणना उपकरण: प्रदान किए गए एल्गोरिदम और कार्यान्वयन संबंधित अनुसंधान के लिए व्यावहारिक मूल्य रखते हैं

लागू परिदृश्य

  1. बीजगणितीय ज्यामिति में secant विविधता अनुसंधान
  2. टेंसर अपघटन और रैंक समस्याएँ
  3. ज्यामितीय जटिलता सिद्धांत
  4. संख्यात्मक और प्रतीकात्मक गणना को जोड़ने की आवश्यकता वाली बीजगणितीय समस्याएँ

संदर्भ

पेपर 46 संबंधित संदर्भों का हवाला देता है, मुख्य रूप से:

  • Veronese एम्बेडिंग पर Alexander-Hirschowitz का शास्त्रीय कार्य
  • विषम-सममित रूपों की Waring समस्या पर Abo और Wan का अनुसंधान
  • अपरिवर्तनीयता और अतिसारणिक पर Ottaviani का कार्य
  • संख्यात्मक बीजगणितीय ज्यामिति के संबंधित एल्गोरिदम और सॉफ्टवेयर