नियमित अर्धसरल हेसेनबर्ग विविधताएं जिनकी कोहोमोलॉजी वलय द्वितीय डिग्री में उत्पन्न होते हैं

मौलिक जानकारी

• पेपर ID: 2301.03762
• शीर्षक: Regular semisimple Hessenberg varieties with cohomology rings generated in degree two
• लेखक: Mikiya Masuda, Takashi Sato
• वर्गीकरण: math.AG (बीजगणितीय ज्यामिति), math.AT (बीजगणितीय टोपोलॉजी), math.SG (सहानुभूति ज्यामिति)
• प्रकाशन समय: 25 नवंबर 2023 (arXiv v4 संस्करण)
• पेपर लिंक: https://arxiv.org/abs/2301.03762

सारांश

नियमित अर्धसरल हेसेनबर्ग विविधता $\mathrm{Hess}(S,h)$ ध्वज विविधता की एक चिकनी उप-विविधता है, जो विशिष्ट eigenvalues वाले वर्ग मैट्रिक्स $S$ और हेसेनबर्ग फलन $h$ द्वारा निर्धारित होती है। कोहोमोलॉजी वलय $H^*(\mathrm{Hess}(S,h))$ $S$ की पसंद से स्वतंत्र है, लेकिन कुछ मामलों को छोड़कर अभी तक स्पष्ट रूप से वर्णित नहीं किया गया है। यह पेपर उन हेसेनबर्ग फलनों $h$ को चिन्हित करता है जिनके लिए $H^*(\mathrm{Hess}(S,h))$ एक वलय के रूप में द्वितीय डिग्री में उत्पन्न होता है, और परिणाम दर्शाते हैं कि ऐसे $h$ बिल्कुल तथाकथित (दोहरे) लॉलीपॉप-प्रकार के फलन हैं।

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

1. अनुसंधान समस्या

यह पेपर नियमित अर्धसरल हेसेनबर्ग विविधताओं की कोहोमोलॉजी वलय संरचना का अध्ययन करता है, विशेष रूप से यह चिन्हित करता है कि कौन से हेसेनबर्ग फलन $h$ ऐसे हैं कि कोहोमोलॉजी वलय $H^*(X(h))$ द्वितीय डिग्री में उत्पन्न होता है (अर्थात् सभी जनक द्वितीय कोहोमोलॉजी से आते हैं)।

2. समस्या की महत्ता

• संयोजन गणित के साथ गहरा संबंध: हेसेनबर्ग विविधताएं Tymoczko के बिंदु क्रिया के माध्यम से सममित समूह $S_n$ से संबंधित हैं, Brosnan-Chow और Guay-Paquet द्वारा हल किए गए Shareshian-Wachs अनुमान $H^*(\mathrm{Hess}(S,h))$ को $S_n$-मॉड्यूल के रूप में ग्राफ के रंग बहुपद सममित फलनों से जोड़ते हैं
• Stanley-Stembridge अनुमान: हेसेनबर्ग विविधताओं की ज्यामिति और टोपोलॉजी का अध्ययन ग्राफ सिद्धांत में प्रसिद्ध Stanley-Stembridge अनुमान को सिद्ध करने का मार्ग प्रशस्त करता है
• वलय संरचना की मौलिकता: यह समझना कि कोहोमोलॉजी वलय कब द्वितीय डिग्री में उत्पन्न होता है, इसकी अधिक जटिल बीजगणितीय संरचना का अध्ययन करने की नींव है

3. मौजूदा विधियों की सीमाएं

• सामान्य हेसेनबर्ग फलन $h$ के लिए, कोहोमोलॉजी वलय $H^*(X(h))$ की वलय संरचना अभी तक स्पष्ट रूप से वर्णित नहीं की गई है
• ज्ञात परिणाम केवल विशेष मामलों तक सीमित हैं:
  • $h = (n,...,n)$ जब ध्वज विविधता $\mathrm{Fl}(n)$ के अनुरूप हो
  • $h = (2,3,...,n,n)$ जब क्रमचय पॉलीटोप विविधता (टोरल विविधता) के अनुरूप हो
  • $h = (h(1),n,...,n)$ जब 2 के परिणाम दर्शाते हैं कि वलय केवल तब द्वितीय डिग्री में उत्पन्न होता है जब $h(1)=2$ या $n$ हो

4. अनुसंधान प्रेरणा

ज्ञात विशेष मामलों के पैटर्न के आधार पर, यह प्राकृतिक प्रश्न उठता है: सामान्य हेसेनबर्ग फलन $h$ के लिए, कब $H^*(X(h))$ द्वितीय डिग्री में उत्पन्न होता है? यह पेपर Morse-Bott सिद्धांत, GKM सिद्धांत और फाइबरेशन तकनीकों के समन्वित उपयोग के माध्यम से पूर्ण उत्तर प्रदान करता है।

मूल योगदान

1. पूर्ण चिन्हांकन प्रमेय (मुख्य प्रमेय 1.1): जुड़ी हुई नियमित अर्धसरल हेसेनबर्ग विविधताओं के लिए (अर्थात् $h(j) \geq j+1$ सभी $j \in [n-1]$ के लिए), यह सिद्ध किया गया है कि $H^*(X(h))$ द्वितीय डिग्री में उत्पन्न होता है यदि और केवल यदि $h$ निम्नलिखित "दोहरे लॉलीपॉप" रूप में है:a+1 & (1 \leq j \leq a) \\ j+1 & (a < j < b) \\ n & (b \leq j \leq n) \end{cases}$$ जहां $1 \leq a < b \leq n$
2. पर्याप्तता का ज्यामितीय प्रमाण: यह सिद्ध किया गया है कि जब $h$ दोहरे लॉलीपॉप-प्रकार का हो, तो $X(h)$ एक कॉम्पैक्ट चिकनी टोरल विविधता पर एक फाइबर बंडल है, जिसका फाइबर ध्वज विविधताओं का गुणनफल है, इसलिए कोहोमोलॉजी वलय द्वितीय डिग्री में उत्पन्न होता है
3. आवश्यकता का टोपोलॉजिकल प्रमाण: Morse-Bott फलन और प्रतिबंध मानचित्र की विशेषज्ञता का उपयोग करके, आगमनात्मक तर्क के माध्यम से सभी गैर-दोहरे लॉलीपॉप-प्रकार के मामलों को बाहर रखा गया है
4. तकनीकी योगदान:
   • GKM सिद्धांत का उपयोग करके द्वितीय कोहोमोलॉजी $H^2(X(h))$ के स्पष्ट जनकों को दिया गया है
   • Hilbert श्रृंखला की सूक्ष्म गणना के माध्यम से यह सिद्ध किया गया है कि कुछ मामलों में वलय द्वितीय डिग्री में उत्पन्न नहीं हो सकता
   • हेसेनबर्ग विविधताओं के बीच फाइबरेशन संबंध स्थापित किए गए हैं

विधि विस्तार

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

इनपुट: हेसेनबर्ग फलन $h: [n] \to [n]$, जो एकदिष्ट गैर-घटता है और $h(j) \geq j$ को संतुष्ट करता है

आउटपुट: यह निर्धारित करना कि कोहोमोलॉजी वलय $H^*(X(h))$ एक वलय के रूप में द्वितीय डिग्री में उत्पन्न होता है या नहीं

बाधा शर्तें: मान लीजिए कि $h(j) \geq j+1$ सभी $j \in [n-1]$ के लिए ($X(h)$ के जुड़े होने को सुनिश्चित करने के लिए)

सैद्धांतिक ढांचा

1. GKM सिद्धांत और समतुल्य कोहोमोलॉजी

नियमित अर्धसरल हेसेनबर्ग विविधता $X(h)$ एक GKM विविधता है, बीजगणितीय टोरस $T = (\mathbb{C}^*)^n$ इस पर कार्य करता है, अपरिवर्तनीय बिंदु समुच्चय है: $X(h)^T = \mathrm{Fl}(n)^T \cong S_n$

समतुल्य कोहोमोलॉजी $H^*_T(X(h))$ स्थानीयकरण प्रमेय के माध्यम से अंतर्निहित है: $H^*_T(X(h)) \hookrightarrow \bigoplus_{w \in S_n} \mathbb{Z}[t_1,...,t_n]$

इसका प्रतिबिंब निम्नलिखित शर्तों द्वारा चिन्हित है (ग्राफ कोहोमोलॉजी): $\{f \in \mathrm{Map}(S_n, \mathbb{Z}[t_1,...,t_n]) \mid f(w) - f(w(i,j)) \in (t_{w(i)} - t_{w(j)}), \forall w \in S_n, j < i \leq h(j)\}$

2. द्वितीय कोहोमोलॉजी के स्पष्ट जनक

Ayzenberg-Masuda-Sato 4 के परिणामों के अनुसार, $H^2(X(h))$ निम्नलिखित तत्वों द्वारा उत्पन्न होता है:

• $x_k$ ($k \in [n]$): $x_k(w) = t_{w(k)}$, tautological रेखा बंडल के पहले Chern वर्ग के अनुरूप
• $y_{j,k}$ ($j \in \bot(h), k \in [n]$): $y_{j,k}(w) = \begin{cases} t_k - t_{w(j+1)} & k \in \{w(1),...,w(j)\} \\ 0 & \text{अन्यथा} \end{cases}$ जहां $\bot(h) = \{j \in [n-1] \mid h(j-1) = h(j) = j+1\}$
• $\tau_A$ ($|A| \in L(h)$): $\tau_A(w) = \begin{cases} t_{w(|A|)} - t_{w(|A|+1)} & \{w(1),...,w(|A|)\} = A \\ 0 & \text{अन्यथा} \end{cases}$ जहां $L(h) = \{j \in [n-1] \mid h(j-1) = j, h(j) = j+1\}$

आवश्यकता प्रमाण रणनीति (अनुभाग 3)

मुख्य लेम्मा 3.1 (Morse-Bott फलन)

Moment मानचित्र $f_h: X(h) \to \mathbb{R}$ का निर्माण किया जाता है, जिसके प्रतिबिंब के चरम बिंदु क्रमशः $X(h_1)$ और $X(h_n)$ हैं, जहां $h_j$ $h$ के विन्यास से $j$-वीं पंक्ति और $j$-वें स्तंभ को हटाकर प्राप्त हेसेनबर्ग फलन है।

Morse-Bott सिद्धांत (Tolman-Weitsman 19) का उपयोग करके, यह सिद्ध किया गया है कि प्रतिबंध मानचित्र: $H^*(X(h);\mathbb{Q}) \to H^*(X(h_1);\mathbb{Q}), \quad H^*(X(h);\mathbb{Q}) \to H^*(X(h_n);\mathbb{Q})$ दोनों विशेषज्ञ हैं।

अनुपात 3.2: यदि $h'$ $h$ का एक minor है (बार-बार $h_1$ या $h_n$ लेकर प्राप्त), और $H^*(X(h);\mathbb{Q})$ द्वितीय डिग्री में उत्पन्न होता है, तो $H^*(X(h');\mathbb{Q})$ भी द्वितीय डिग्री में उत्पन्न होता है।

प्रस्ताव 3.3 (संयोजन चिन्हांकन)

$h$ दोहरे लॉलीपॉप-प्रकार का है यदि और केवल यदि $h$ निम्नलिखित प्रकार के minors को शामिल नहीं करता है:

• $(\alpha, \beta,...,\beta)$ या $(\beta-1,...,\beta-1, \beta,...,\beta)$ ($\alpha$ प्रतियां), जहां $3 \leq \alpha < \beta$
• $(2, \gamma-1,...,\gamma-1, \gamma, \gamma)$, जहां $\gamma \geq 5$

पहले दो मामले पहले से 2 द्वारा बाहर रखे गए हैं, मुख्य बात तीसरे मामले को संभालना है।

प्रस्ताव 3.4 का प्रमाण (तकनीकी मूल)

$h = (2, n-1,...,n-1, n, n)$ ($n \geq 5$) के लिए, निम्नलिखित चरणों के माध्यम से यह सिद्ध किया गया है कि $H^*(X(h);\mathbb{Q})$ द्वितीय डिग्री में उत्पन्न नहीं होता है:

चरण 1: परिभाषा 2.1(4) का उपयोग करके Poincaré बहुपद के लिए पुनरावर्ती सूत्र की गणना करें (लेम्मा 3.7): $P_n(q) = (1+q)^2[n-2]_q! + (n-2)(q+q^2)[n-3]_q[n-3]_q! + \cdots$

चरण 2: यह सिद्ध करें कि $P_n(q)$ में $n-3$ डिग्री का गुणांक है (लेम्मा 3.8): $\binom{n}{2} + n(n-3)/2$

चरण 3: $H^2(X(h))$ द्वारा उत्पन्न उप-वलय $R(h)$ की Hilbert श्रृंखला के ऊपरी सीमा की गणना करें:

• सहायक तत्व $\rho_k$ का परिचय दें, जनकों को $x_k, \tau_k, \rho_k$ के रूप में फिर से लिखें
• $R(h)$ को $A(h) \oplus B(h) \oplus C(h) \oplus D(h)$ के प्रत्यक्ष योग में विघटित करें ($A(h)$-मॉड्यूल के रूप में)
• प्रत्येक भाग की Hilbert श्रृंखला की ऊपरी सीमा की अलग से गणना करें (सूत्र 3.23-3.27)

चरण 4: यह सिद्ध करें कि $\mathrm{Hilb}(R(h), \sqrt{q})$ में $n-3$ डिग्री का गुणांक है: $\binom{n}{2}$ जो $P_n(q)$ के संगत गुणांक से सख्ती से कम है, विरोधाभास!

पर्याप्तता प्रमाण रणनीति (अनुभाग 4)

फाइबरेशन निर्माण

दोहरे लॉलीपॉप-प्रकार $h$ के लिए, मानचित्र को परिभाषित करें: $\pi_{[a,b]}: \mathrm{Fl}(n) \to \mathrm{Fl}_{[a,b]}(n)$$\pi_{[a,b]}(V_1 \subset \cdots \subset V_n) = (V_a \subset V_{a+1} \subset \cdots \subset V_b)$

मुख्य अवलोकन: $V_\bullet \in X(h)$ यदि और केवल यदि $\pi_{[a,b]}(V_\bullet)$ को संतुष्ट करता है $SV_k \subset V_{k+1}$ ($a \leq k \leq b-1$)

परिभाषित करें: $Y_{[a,b]} = \{(V_a \subset \cdots \subset V_b) \mid SV_k \subset V_{k+1}, a \leq k \leq b-1\}$

तब $\pi_{[a,b]}$ $X(h)$ तक सीमित एक फाइबरेशन देता है: $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b) \to X(h) \xrightarrow{\pi_{[a,b]}} Y_{[a,b]}$

लेम्मा 4.1 (टोरल विविधता संरचना)

यह सिद्ध किया गया है कि $Y_{[a,b]}$ आयाम $n-1$ की एक कॉम्पैक्ट चिकनी टोरल विविधता है:

• विशेष सदिश $g = (g_1,...,g_n) \in (\mathbb{C}^*)^n$ का चयन करके, $(\mathbb{C}^*)^n$-कक्षा का निर्माण करें
• Vandermonde सारणिक का उपयोग करके यह सिद्ध करें कि यह कक्षा आयाम $n-1$ की है

निष्कर्ष: चूंकि आधार स्थान $Y_{[a,b]}$ (टोरल विविधता) और फाइबर $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b)$ (ध्वज विविधताओं का गुणनफल) की कोहोमोलॉजी वलय दोनों द्वितीय डिग्री में उत्पन्न होती हैं, फाइबरेशन के Serre वर्णक्रम से यह पता चलता है कि $H^*(X(h))$ भी द्वितीय डिग्री में उत्पन्न होता है।

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

यह एक शुद्ध गणित सैद्धांतिक पेपर है, जिसमें संख्यात्मक प्रयोग शामिल नहीं हैं। सभी परिणाम कठोर गणितीय प्रमाण के माध्यम से प्राप्त किए गए हैं।

गणनात्मक सत्यापन

• छोटे $n$ मानों (जैसे $n=3,4,5$) के लिए Poincaré बहुपद की स्पष्ट गणना सत्यापन की गई है
• GKM सिद्धांत के माध्यम से ठोस उदाहरणों की द्वितीय कोहोमोलॉजी जनकों की गणना की गई है (उदाहरण 2.1, उदाहरण 2.2)

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

मुख्य परिणाम

प्रमेय 1.1 (मुख्य प्रमेय): मान लीजिए कि $h(j) \geq j+1$ सभी $j \in [n-1]$ के लिए, तब $H^*(X(h))$ द्वितीय डिग्री में उत्पन्न होता है यदि और केवल यदि $1 \leq a < b \leq n$ मौजूद है जैसे कि: