सीगल मॉड्यूलर रूप

गणित में, सीगल मॉड्यूलर रूप एक प्रमुख प्रकार का ऑटोमोर्फिक रूप है। ये पारंपरिक दीर्घवृत्तीय मॉड्यूलर रूप को सामान्यीकृत करते हैं जो दीर्घवृत्तीय वक्र से निकटता से संबंधित हैं। सीगल मॉड्यूलर रूपों के सिद्धांत में निर्मित समष्टि मैनिफोल्ड्स सीगल मॉड्यूलर विविध हैं, जो कि एबेलियन विविधो (कुछ अतिरिक्त स्तर की संरचना के साथ) के लिए मॉड्यूलि स्पेस के लिए मूलभूत मॉडल हैं और अलग-अलग समूहों द्वारा ऊपरी आधे समतल के अतिरिक्त सीगल ऊपरी आधे-स्थान के भागफल के रूप में निर्मित किए जाते हैं।

सीगल मॉड्यूलर रूप सकारात्मक निश्चित काल्पनिक भाग के साथ सममित आव्यूह n × n आव्यूह के समुच्चय पर होलोमोर्फिक फलन हैं; प्रपत्रों को ऑटोमोर्फि नियम को पूरा करना होगा। सीगल मॉड्यूलर रूपों को बहुपरिवर्तनीय मॉड्यूलर रूपों के रूप में माना जा सकता है, अथार्त कई समष्टि वेरिएबल के विशेष कार्यों के रूप में माना जाता है।

विश्लेषणात्मक रूप से द्विघात रूपों का अध्ययन करने के उद्देश्य से सीगल मॉड्यूलर रूपों की जांच सबसे पहले कार्ल लुडविग सीगल (1939) द्वारा की गई थी। ये मुख्य रूप से संख्या सिद्धांत की विभिन्न शाखाओं जैसे अंकगणितीय ज्यामिति और दीर्घवृत्तीय सहसंगति में उत्पन्न होते हैं। सीगल मॉड्यूलर रूपों का उपयोग भौतिकी के कुछ क्षेत्रों जैसे अनुरूप क्षेत्र सिद्धांत और स्ट्रिंग सिद्धांत में ब्लैक होल थर्मोडायनामिक्स में भी किया गया है।

प्रारंभिक
माना $$g, N \in \mathbb{N}$$ और परिभाषित करें


 * $$\mathcal{H}_g=\left\{\tau \in M_{g \times g}(\mathbb{C}) \ \big| \ \tau^{\mathrm{T}}=\tau, \textrm{Im}(\tau) \text{ positive definite} \right\},$$
 * सीगल ऊपरी आधा स्थान। स्तर $$N$$ के सहानुभूति समूह को परिभाषित करें, जिसे $$\Gamma_g(N),$$ द्वारा दर्शाया गया है


 * $$\Gamma_g(N)=\left\{ \gamma \in GL_{2g}(\mathbb{Z}) \ \big| \ \gamma^{\mathrm{T}} \begin{pmatrix} 0 & I_g \\ -I_g & 0 \end{pmatrix} \gamma= \begin{pmatrix} 0 & I_g \\ -I_g & 0 \end{pmatrix}, \ \gamma \equiv I_{2g}\mod N\right\},$$

जहां $$I_g$$, $$g \times g$$ पहचान आव्यूह है। अंत में, चलो


 * $$\rho:\textrm{GL}_g(\mathbb{C}) \rightarrow \textrm{GL}(V)$$ एक तर्कसंगत प्रतिनिधित्व हो, जहां $$V$$ एक परिमित-आयामी समष्टि सदिश स्थल है।

सीगल मॉड्यूलर रूप
दिया गया


 * $$\gamma=\begin{pmatrix} A & B \\ C & D \end{pmatrix}$$ और


 * $$\gamma \in \Gamma_g(N),$$ संकेतन को परिभाषित करें


 * $$(f\big|\gamma)(\tau)=(\rho(C\tau+D))^{-1}f(\gamma\tau).$$

फिर एक होलोमोर्फिक फलन


 * $$f:\mathcal{H}_g \rightarrow V$$
 * डिग्री $$g$$ (कभी-कभी जीनस भी कहा जाता है), भार $$\rho$$, और स्तर $$N$$ का सीगल मॉड्यूलर रूप है यदि
 * डिग्री $$g$$ (कभी-कभी जीनस भी कहा जाता है), भार $$\rho$$, और स्तर $$N$$ का सीगल मॉड्यूलर रूप है यदि

सभी के लिए $$\gamma \in \Gamma_g(N)$$. इस स्थिति में कि $$g=1$$, हमें आगे यह भी आवश्यक है कि $$f$$ 'अनंत पर' होलोमोर्फिक हो और नीचे बताए गए कोएचर सिद्धांत के कारण यह धारणा $$g>1$$ के लिए आवश्यक नहीं है। भार $$\rho$$, डिग्री $$g$$, और स्तर $$N$$ सीगल मॉड्यूलर रूपों के स्थान को निरूपित करें
 * $$(f\big|\gamma)=f$$


 * $$M_{\rho}(\Gamma_g(N)).$$

उदाहरण
सीगल मॉड्यूलर रूप के निर्माण की कुछ विधियों में सम्मिलित हैं:
 * आइसेनस्टीन श्रृंखला
 * जालकों के थीटा कार्य (संभवतः बहु-हार्मोनिक बहुपद के साथ)
 * सैतो-कुरोकावा लिफ्ट डिग्री 2 के लिए
 * इकेदा लिफ्ट
 * मियावाकी लिफ्ट
 * सीगल मॉड्यूलर रूप के उत्पाद।

स्तर 1, अल्प डिग्री
डिग्री 1 के लिए, लेवल 1 सीगल मॉड्यूलर रूप लेवल 1 मॉड्यूलर रूप के समान हैं। ऐसे रूपों का वलय (डिग्री 1) ईसेनस्टीन श्रृंखला E4 और E6. में एक बहुपद वलय C[E4,E6] है।

डिग्री 2 के लिए, (इगुसा 1962, 1967) ने दिखाया कि स्तर 1 सीगल मॉड्यूलर रूपों की वलय (डिग्री 2) ईसेनस्टीन श्रृंखला E4 और E6 और भार 10, 12, और 35 के 3 और रूपों से उत्पन्न होती है। उनके बीच संबंधों का आदर्श भार 35 के वर्ग से उत्पन्न होता है जो अन्य में एक निश्चित बहुपद को घटाता है।

डिग्री 3 के लिए, लेवल 1 सीगल मॉड्यूलर रूप की वलय का वर्णन किया गया है, जिसमें 34 जनरेटर का एक समुच्चय दिया गया है। डिग्री 4 के लिए, अल्प भार के स्तर 1 सीगल मॉड्यूलर रूप पाए गए हैं। वज़न 2, 4, या 6 का कोई उभार रूप नहीं है। भार 8 के उभार रूपों का स्थान 1-आयामी है, जो शोट्की रूप द्वारा फैला हुआ है। भार 10 के पुच्छ रूपों के स्थान का आयाम 1 है, भार 12 के पुच्छ रूपों के स्थान का आयाम 2 है, भार 14 के पुच्छ रूपों के स्थान का आयाम 3 है, और भार 16 के पुच्छ रूपों के स्थान का आयाम 7 है.

डिग्री 5 के लिए, उभार रूपों के स्थान का भार 10 के लिए आयाम 0 है, भार 12 के लिए आयाम 2 है। भार 12 के रूपों के स्थान का आयाम 5 है।

डिग्री 6 के लिए, भार 0, 2, 4, 6, 8 का कोई उभार रूप नहीं है। भार 2 के सीगल मॉड्यूलर रूपों के स्थान का आयाम 0 है, और भार 4 या 6 दोनों का आयाम 1 है।

स्तर 1, अल्प भार
अल्प भार और स्तर 1 के लिए, निम्नलिखित परिणाम दें (किसी भी सकारात्मक डिग्री के लिए):
 * भार 0: रूपों का स्थान 1-आयामी है, 1 द्वारा फैला हुआ है।
 * भार 1: एकमात्र सीगल मॉड्यूलर रूप 0 है।
 * भार 2: एकमात्र सीगल मॉड्यूलर रूप 0 है।
 * भार 3: एकमात्र सीगल मॉड्यूलर रूप 0 है।
 * भार 4: किसी भी डिग्री के लिए, भार 4 के रूपों का स्थान 1-आयामी है, जो E8 के थीटा फलन द्वारा फैला हुआ है जाली (उचित डिग्री की) एकमात्र उभार रूप 0 है
 * भार 5: एकमात्र सीगल मॉड्यूलर रूप 0 है।
 * भार 6: भार 6 के रूपों के स्थान का आयाम 1 है यदि डिग्री अधिकतम 8 है, और आयाम 0 यदि डिग्री कम से कम 9 है। एकमात्र उभार रूप 0 है।
 * भार 7: यदि डिग्री 4 या 7 है तो उभार रूपों का स्थान अदृश्य हो जाता है।
 * भार 8: जीनस 4 में, उभार रूपों का स्थान 1-आयामी है, शोट्की रूप द्वारा फैला हुआ है और रूपों का स्थान 2-आयामी है। यदि जीनस 8 है तो कोई उभार रूप नहीं हैं।
 * यदि वंश भार के दोगुने से अधिक है तो कोई उभार रूप नहीं है।

स्तर 1 सीगल मॉड्यूलर रूप के स्थानों के आयामों की तालिका
निम्न तालिका उपरोक्त परिणामों को और और  की जानकारी के साथ जोड़ती है।

कोएचर सिद्धांत
कोएचर सिद्धांत के रूप में जाना जाने वाला प्रमेय बताता है कि यदि $$f$$ भार $$\rho$$, स्तर 1, और डिग्री $$g>1$$ का सीगल मॉड्यूलर रूप है, तो $$f$$, $$\mathcal{H}_g$$ के उपसमुच्चय पर घिरा है।


 * $$\left\{\tau \in \mathcal{H}_g \ | \textrm{Im}(\tau) > \epsilon I_g \right\},

$$

जहाँ $$\epsilon>0$$ इस प्रमेय का परिणाम यह तथ्य है कि डिग्री $$g>1$$ के सीगल मॉड्यूलर रूपों में फूरियर विस्तार होता है और इस प्रकार अनंत पर होलोमोर्फिक होते हैं।

भौतिकी में अनुप्रयोग
स्ट्रिंग सिद्धांत में सुपरसिमेट्रिक ब्लैक होल की डी1डी5पी प्रणाली में, वह फलन जो स्वाभाविक रूप से ब्लैक होल एन्ट्रापी के माइक्रोस्टेट्स को अधिकृत करता है, एक सीगल मॉड्यूलर रूप है। सामान्य रूप से, सीगल मॉड्यूलर रूपों को ब्लैक होल या अन्य गुरुत्वाकर्षण प्रणालियों का वर्णन करने की क्षमता के रूप में वर्णित किया गया है।

सीगल मॉड्यूलर फॉर्म का उपयोग अनुरूप क्षेत्र सिद्धांत, विशेष रूप से काल्पनिक एडीएस/सीएफटी पत्राचार में बढ़ते केंद्रीय चार्ज के साथ सीएफटी2के वर्गों के लिए कार्य उत्पन्न करने के रूप में भी होता है।