Isomorphism between Jacobi forms of index $D_{2n+1}$ and elliptic modular forms of level $2$

यहाँ शुइची हयाशिदा के शोध पत्र "Isomorphism Between Jacobi Forms of Index $D_{2n+1}$ and Elliptic Modular Forms of Level 2" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र लैटिस इंडेक्स (lattice index) वाले जैकोबी रूपों (Jacobi forms) और एलिप्टिक मॉड्यूलर रूपों (elliptic modular forms) के बीच संरचनात्मक संबंध को संबोधित करता है। जबकि पूर्णांक इंडेक्स $m$ वाले जैकोबी रूपों और स्तर $m$ के एलिप्टिक मॉड्यूलर रूपों के एक उपसमष्टि (subspace) के बीच आइसोमॉर्फिज्म (isomorphism) को आइचलर और ज़ैगियर (1988) द्वारा स्थापित किया गया था, लैटिस इंडेक्स (विशेष रूप से विषम $r$ के लिए रूट लैटिस $D_r$) का मामला काफी हद तक अनिश्चित (conjectural) बना हुआ था।

मुख्य उद्देश्य हैं:

1. भार $k + \frac{r+1}{2}$ और इंडेक्स $D_r$ (जहाँ $r$ एक विषम पूर्णांक है) के जैकोबी रूपों और भार $2k$ तथा स्तर 2 के विशिष्ट एलिप्टिक मॉड्यूलर रूपों के बीच एक आइसोमॉर्फिज्म को कठोरता से स्थापित करना।
2. इंडेक्स $D_r$ के जैकोबी-आइजनस्टीन सीरीज़ (Jacobi–Eisenstein series) के फूरियर गुणांकों (Fourier coefficients) के लिए स्पष्ट सूत्र प्रदान करना।
3. ज़ैगियर-आइजनस्टीन सीरीज़ से भार $3/2$ और स्तर 8 के विशिष्ट होलोमॉर्फिक मॉड्यूलर रूपों का निर्माण करना और उनके हेके आइगेनवैल्यू (Hecke eigenvalues) का विश्लेषण करना।

2. कार्यप्रणाली (Methodology)

लेखक सीगल मॉड्यूलर रूपों (Siegel modular forms), थीटा डिकंपोजिशन (theta decompositions), और शिमुरा कॉरेस्पोंडेंस (Shimura correspondences) के सिद्धांत को संयोजित करते हुए एक बहु-चरणीय दृष्टिकोण अपनाते हैं:

• इकेडा लिफ्टिंग और फूरियर-जैकोबी गुणांक (Ikeda Lifting and Fourier-Jacobi Coefficients): यह शोध पत्र इकेडा लिफ्ट का उपयोग करता है, जो भार $2k$ के एलिप्टिक मॉड्यूलर रूपों को भार $k + \frac{r+1}{2}$ और डिग्री $r+1$ के सीगल मॉड्यूलर रूपों में मैप करता है। लैटिस $D_r$ से जुड़े मैक्सिमल मैट्रिक्स के संगत फूरियर-जैकोबी गुणांक को निकालकर, लेखक एलिप्टिक मॉड्यूलर रूपों से जैकोबी रूपों की ओर एक मानचित्र (map) का निर्माण करते हैं। इस इमेज को "ओल्डफॉर्म्स" (oldforms) के स्थान के रूप में पहचाना जाता है।
• थीटा डिकंपोजिशन (Theta Decomposition): लेखक $D_r^\sharp / D_r$ के डिस्क्रीमिनेन्ट मॉड्यूल से जुड़े थीटा फंक्शन्स का उपयोग करके इंडेक्स $D_r$ के जैकोबी रूपों का विखंडन (decomposition) करते हैं। यह विखंडन जैकोबी रूपों को हाफ-इंटिग्रल वेट (half-integral weight) के वेक्टर-वैल्यूड मॉड्यूलर रूपों में बदलने की अनुमति देता है।
• शिमुरा कॉरेस्पोंडेंस (Shimura Correspondence): यह शोध पत्र हाफ-इंटिग्रल वेट मॉड्यूलर रूपों (जो थीटा डिकंपोजिशन से प्राप्त होते हैं) को स्तर 2 के इंटीग्रल वेट एलिप्टिक मॉड्यूलर रूपों से जोड़ने के लिए शिमुरा कॉरेस्पोंडेंस (विशेष रूप से उएदा और यामाउची द्वारा स्थापित स्तर 8 के कोहेन प्लस स्पेस के संस्करण) का लाभ उठाता है।
• ट्विस्टेड हेके ऑपरेटर्स (Twisted Hecke Operators): लैटिस की विशिष्ट समरूपताओं और $\eta$-प्रकार के मॉड्यूलर रूपों को संभालने के लिए, लेखक यह सिद्ध करने के लिए कि निर्मित मानचित्र हेके मॉड्यूल संरचना को संरक्षित करते हैं, ट्विस्टेड हेके ऑपरेटर्स ($\tilde{T}(p^2)$) और मानक हेके ऑपरेटर्स ($T(p^2)$, $T^J(p)$) को परिभाषित करते हैं और उनका उपयोग करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. आइसोमॉर्फिज्म अनुमान की सिद्धि (Proof of the Isomorphism Conjecture)

यह शोध पत्र कन्जेक्चर 1 (A. मोकानु द्वारा प्रस्तावित) को सिद्ध करता है, जो यह स्थापित करता है कि किसी भी विषम पूर्णांक $r$ और भार $k$ के लिए, जैकोबी फॉर्म $J_{k+\frac{r+1}{2}, D_r}$ एक हेके मॉड्यूल के रूप में विखंडित होता है:
$$J_{k+\frac{r+1}{2}, D_r} \cong M_{2k}^{\text{new}, \epsilon_2}(2) \oplus M_{2k}^{\epsilon_1}(1)$$
जहाँ:

• $\epsilon_2 = -\left(\frac{-8}{r}\right)$ और $\epsilon_1 = -\left(\frac{-4}{r}\right)$ क्रोनेकर सिंबल द्वारा निर्धारित चिह्न (signs) हैं।
• $M_{2k}^{\text{new}, \epsilon_2}(2)$ विशिष्ट एटकिन-लेहनर आइगेनवैल्यू के साथ स्तर 2 के न्यूफॉर्म्स का स्थान है।
• $M_{2k}^{\epsilon_1}(1)$ स्तर 1 से लिफ्ट किए गए "ओल्डफॉर्म्स" के स्थान के अनुरूप है।
• आइसोमॉर्फिज्म विषम और सम दोनों भारों के लिए होल्ड करता है, जो कस्प फॉर्म्स (cusp forms) और पूर्ण स्थान (full space) के बीच अंतर करता है।

B. स्पष्ट फूरियर गुणांक (Explicit Fourier Coefficients)

लेखक जैकोबी-आइजनस्टीन सीरीज़ $E_{k+\frac{r+1}{2}, D_r}$ के फूरियर गुणांकों के लिए एक स्पष्ट सूत्र व्युत्पन्न करते हैं।

• गुणांकों को भार $k+1/2$ और स्तर 4 की कोहेन-आइजनस्टीन सीरीज़ ($H_k$) के फूरियर गुणांकों के रैखिक संयोजन (linear combinations) के रूप में व्यक्त किया गया है।
• यह इन सीरीज़ के लिए एक ठोस गणनात्मक उपकरण प्रदान करता है, जो सामान्य लैटिस इंडेक्स के पिछले परिणामों का सामान्यीकरण करता है।

C. भार $3/2$ मॉड्यूलर फॉर्म और हेके आइगेनवैल्यू (Weight $3/2$ Modular Forms and Hecke Eigenvalues)

एक महत्वपूर्ण परिणाम $k=1$ (जैकोबी रूपों के लिए भार $3/2$) के मामले से संबंधित है। शोध पत्र दिखाता है कि चार अलग-अलग फंक्शन समान हेके आइगेनवैल्यू ($p$ के लिए किसी भी विषम अभाज्य हेतु $1+p$) साझा करते हैं:

1. $\eta^3$ (डेडेकिंड एटा फंक्शन का घन)।
2. $\theta^3$ (मानक थीटा फंक्शन का घन)।
3. $F$ (भार $3/2$ के ज़ैगियर नॉन-होलोमॉर्फिक आइजनस्टीन सीरीज़)।
4. $E_2^*$ (संशोधित भार 2 की नॉन-होलोमॉर्फिक आइजनस्टीन सीरीज़)।

विशेष रूप से, लेखक $\theta^3$ और $F$ से $E_{3/2}^{(8)} \in M_{3/2}^{+, -5}(8)$ (स्तर 8 के कोहेन प्लस स्पेस का एक होलोमॉर्फिक मॉड्यूलर फॉर्म) का निर्माण करते हैं। शोध पत्र सिद्ध करता है:
$$E_{3/2}^{(8)}(\tau) = (\theta^3 | U_1(4))(\tau) = 12(F | U_1(4) - 2F)(\tau)$$
यह तीन वर्गों के योग के रूप में एक पूर्णांक के प्रतिनिधित्व की संख्या ($r_3(N)$) के लिए एक नया संबंध (identity) प्रदान करता है:
$$r_3(N) = 12(H(4N) - 2H(N))$$
जहाँ $H(N)$ हर्टविज़ क्लास नंबर (Hurwitz class number) है।

D. स्पष्ट मानचित्र (Explicit Maps)

शोध पत्र जैकोबी रूपों से एलिप्टिक मॉड्यूलर रूपों के लिए रैखिक मानचित्रों $S_{d_0}$ के लिए स्पष्ट सूत्र (थ्योरम 1.8 और 1.9) प्रदान करता है। ये मानचित्र जैकोबी रूपों के फूरियर गुणांकों के माध्यम से परिभाषित किए जाते हैं और इनमें डिरिचलेट कैरेक्टर्स (Dirichlet characters) और भाजक योग (divisor sums) शामिल हैं, जो हेके ऑपरेटर्स के साथ अनुकूलता सुनिश्चित करते हैं।

4. महत्व (Significance)

• अनुमान का समाधान: यह कार्य विषम लैटिस इंडेक्स $D_r$ के जैकोबी रूपों और एलिप्टिक मॉड्यूलर फॉर्म के बीच आइसोमॉर्फिज्म के संबंध में अनुमान को निर्णायक रूप से हल करता है, जो शास्त्रीय आइचलर-ज़ैगियर सिद्धांत का विस्तार करता है।
• एकीकृत ढांचा (Unified Framework): यह विषम और सम भार वाले जैकोबी रूपों के उपचार को एकीकृत करता है, जिससे लैटिस इंडेक्स के संदर्भ में "ओल्डफॉर्म्स" और "न्यूफॉर्म्स" की भूमिका स्पष्ट होती है।
• अंकगणितीय अनुप्रयोग: $r_3(N)$ को हर्टविज़ क्लास नंबर से जोड़ने वाला व्युत्पन्न संबंध शास्त्रीय अंकगणितीय फलनों पर एक नया दृष्टिकोण प्रदान करता है, जो उन्हें सीधे हाफ-इंटिग्रल वेट और ज़ैगियर के कार्य से जोड़ता है।
• गणना संबंधी उपयोगिता: फूरियर गुणांकों के स्पष्ट सूत्र इन सीरीज़ों की व्यावहारिक गणना की अनुमति देते हैं, जिन्हें सीधे गणना करना कठिन होता है।

संक्षेप में, हयाशिदा का शोध पत्र रूट लैटिस पर जैकोबी रूपों और शास्त्रीय एलिप्टिक मॉड्यूलर रूपों के बीच के अंतर को पाटता है, कठोर प्रमाण, स्पष्ट निर्माण और नए अंकगणितीय संबंध प्रदान करता है।