We discuss several congruences satisfied by the coefficients of meromorphic modular forms, or equivalently, $p$-adic behaviors of meromorphic modular forms under the $U_p$ operator, that are summarized from numerical experiments, connecting meromorphic modular forms to symmetric powers of elliptic curves. We also provide heuristic explanations for these congruences as well as prove some of them using hypergeometric functions and the Borcherds--Shimura lift.
पेपर ID : 2510.23200शीर्षक : दीर्घवृत्तीय वक्र और मेरोमॉर्फिक मॉड्यूलर रूपों के फूरियर गुणांकलेखक : Pengcheng Zhangवर्गीकरण : math.NT (संख्या सिद्धांत)प्रकाशन समय : 27 अक्टूबर 2025पेपर लिंक : https://arxiv.org/abs/2510.23200 यह पेपर मेरोमॉर्फिक मॉड्यूलर रूपों के गुणांकों द्वारा संतुष्ट किए जाने वाले कई सर्वांगसमता संबंधों पर चर्चा करता है, या समकक्ष रूप से, U p U_p U p ऑपरेटर के तहत मेरोमॉर्फिक मॉड्यूलर रूपों के p p p -एडिक गुणों पर। ये सर्वांगसमता संबंध संख्यात्मक प्रयोगों से प्राप्त किए गए हैं, जो मेरोमॉर्फिक मॉड्यूलर रूपों को दीर्घवृत्तीय वक्रों की सममित शक्तियों से जोड़ते हैं। लेख इन सर्वांगसमता संबंधों के लिए अनुमानात्मक व्याख्या भी प्रदान करता है, और अतिज्यामितीय फलनों और Borcherds-Shimura लिफ्टिंग का उपयोग करके इनमें से कुछ परिणामों को प्रमाणित करता है।
यह पेपर मेरोमॉर्फिक मॉड्यूलर रूपों के फूरियर गुणांकों के p p p -एडिक गुणों का अध्ययन करता है, विशेष रूप से गैर-शीर्ष बिंदुओं पर अद्वितीय ध्रुव वाले स्तर 1 मेरोमॉर्फिक मॉड्यूलर रूपों पर ध्यान केंद्रित करता है। विशिष्ट रूप:
A 1 ⋅ g j − c + A 2 ⋅ g ( j − c ) 2 + ⋯ + A r ⋅ g ( j − c ) r A_1 \cdot \frac{g}{j-c} + A_2 \cdot \frac{g}{(j-c)^2} + \cdots + A_r \cdot \frac{g}{(j-c)^r} A 1 ⋅ j − c g + A 2 ⋅ ( j − c ) 2 g + ⋯ + A r ⋅ ( j − c ) r g
जहां c ∈ Q c \in \mathbb{Q} c ∈ Q , g ∈ Z [ [ q ] ] g \in \mathbb{Z}[[q]] g ∈ Z [[ q ]] स्तर 1 का होलोमॉर्फिक मॉड्यूलर रूप है।
मॉड्यूलर रूपों के गुणांकों के अंकगणितीय गुण हमेशा मॉड्यूलर रूप सिद्धांत का मूल विषय रहे हैं, लेकिन अधिकांश कार्य होलोमॉर्फिक या कमजोर होलोमॉर्फिक रूपों तक सीमित हैंयह पेपर पहली बार मेरोमॉर्फिक मॉड्यूलर रूपों के p p p -एडिक गुणों का व्यवस्थित रूप से अध्ययन करता है, जो दीर्घवृत्तीय वक्रों की सममित शक्तियों के साथ गहरे संबंध को प्रकट करता है यह संबंध Atkin-Swinnerton-Dyer (ASD) सर्वांगसमता के माध्यम से구체化होता है, जो मॉड्यूलर रूपों और दीर्घवृत्तीय वक्रों के संबंध को समझने के लिए नया दृष्टिकोण प्रदान करता है चुंबकीय मॉड्यूलर रूपों (magnetic modular forms) का अनुसंधान मुख्य रूप से CM बिंदुओं के मामले में केंद्रित है (Li-Neururer, Paşol-Zudilin)ASD सर्वांगसमता मुख्य रूप से गैर-सर्वांगसम मॉड्यूलर रूपों और कमजोर होलोमॉर्फिक रूपों में अध्ययन की गई है (Atkin-Swinnerton-Dyer, Scholl, Kazalicki-Scholl) सामान्य मेरोमॉर्फिक मॉड्यूलर रूपों के लिए व्यवस्थित p p p -एडिक सिद्धांत ढांचे की कमी है लेखक ने संख्यात्मक प्रयोगों के माध्यम से देखा कि वजन k k k के मेरोमॉर्फिक मॉड्यूलर रूप E k j − c \frac{E_k}{j-c} j − c E k का व्यवहार दीर्घवृत्तीय वक्र C C C (जहां j ( C ) = c j(C)=c j ( C ) = c ) की सममित ( k − 2 ) (k-2) ( k − 2 ) वीं शक्ति Sym k − 2 C \text{Sym}^{k-2}C Sym k − 2 C के समान है। यह अवलोकन इस पेपर के व्यवस्थित अनुसंधान को प्रेरित करता है।
मेरोमॉर्फिक मॉड्यूलर रूपों और दीर्घवृत्तीय वक्रों की सममित शक्तियों के बीच व्यवस्थित संबंध स्थापित किया :वजन k k k के मेरोमॉर्फिक मॉड्यूलर रूप E k j − j ( C ) \frac{E_k}{j-j(C)} j − j ( C ) E k को Sym k − 2 C \text{Sym}^{k-2}C Sym k − 2 C के अनुरूप होना चाहिए, यह प्रस्ताव दिया U p U_p U p ऑपरेटर की कार्रवाई को Frobenius कार्रवाई के अनुरूप कियाकई सर्वांगसमता अनुमानों को प्रस्तावित और आंशिक रूप से प्रमाणित किया :सरल ध्रुव मामला (प्रमेय 5.1): k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } के लिए, a n ⋅ N ( p ) ( F k , C ) ≡ a p ( C ) k − 2 a n ( F k , C ) ( m o d p ) a_{n \cdot N(p)}(F_{k,C}) \equiv a_p(C)^{k-2}a_n(F_{k,C}) \pmod{p} a n ⋅ N ( p ) ( F k , C ) ≡ a p ( C ) k − 2 a n ( F k , C ) ( mod p ) को प्रमाणित कियाCM मामले का अति-सर्वांगसमता (प्रमेय 4.7): a n p l ( G k , D ( k / 2 ) ) ≡ ( ( D p ) p ) k − 2 2 a n p l − 1 ( G k , D ( k / 2 ) ) ( m o d p ( k − 1 ) l ) a_{np^l}(G_{k,D}^{(k/2)}) \equiv \left(\left(\frac{D}{p}\right)p\right)^{\frac{k-2}{2}} a_{np^{l-1}}(G_{k,D}^{(k/2)}) \pmod{p^{(k-1)l}} a n p l ( G k , D ( k /2 ) ) ≡ ( ( p D ) p ) 2 k − 2 a n p l − 1 ( G k , D ( k /2 ) ) ( mod p ( k − 1 ) l ) को प्रमाणित कियाअतिज्यामितीय फलनों के साथ संबंध स्थापित किया (प्रमेय 5.2):
a p ( E 4 j − c ) ≡ ( c ( c − 1728 ) ) p − 1 2 ⋅ 3 F 2 [ 1 2 1 6 5 6 1 1 ; 1728 c ] p − 1 ( m o d p ) a_p\left(\frac{E_4}{j-c}\right) \equiv \left(c(c-1728)\right)^{\frac{p-1}{2}} \cdot {}_3F_2\left[\begin{matrix}\frac{1}{2} & \frac{1}{6} & \frac{5}{6} \\ 1 & 1\end{matrix}; \frac{1728}{c}\right]_{p-1} \pmod{p} a p ( j − c E 4 ) ≡ ( c ( c − 1728 ) ) 2 p − 1 ⋅ 3 F 2 [ 2 1 1 6 1 1 6 5 ; c 1728 ] p − 1 ( mod p ) चुंबकीय गुणों को प्रमाणित किया (प्रमेय 6.1):किसी भी विविक्तकर D < 0 D<0 D < 0 के लिए, निर्मित G ~ k , D \widetilde{G}_{k,D} G k , D k − 2 2 \frac{k-2}{2} 2 k − 2 -चुंबकीय है अर्थात् n k − 2 2 ∣ a n ( G ~ k , D ) n^{\frac{k-2}{2}} | a_n(\widetilde{G}_{k,D}) n 2 k − 2 ∣ a n ( G k , D ) सभी n ∈ Z + n \in \mathbb{Z}^+ n ∈ Z + के लिए सत्य है व्यवस्थित अनुमानात्मक व्याख्या ढांचा प्रदान किया :Brown-Fonseca के कार्य के माध्यम से सहसंबंध व्याख्या Shimura लिफ्टिंग की Hecke समानता के माध्यम से F k , C : = E k j − j ( C ) F_{k,C} := \frac{E_k}{j-j(C)} F k , C := j − j ( C ) E k के रूप के मेरोमॉर्फिक मॉड्यूलर रूपों का अध्ययन करें, जहां:
इनपुट : दीर्घवृत्तीय वक्र C / Q C/\mathbb{Q} C / Q (या संख्या क्षेत्र पर), वजन k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } आउटपुट : फूरियर गुणांक a n ( F k , C ) a_n(F_{k,C}) a n ( F k , C ) द्वारा संतुष्ट p p p -एडिक सर्वांगसमता संबंधबाधाएं : j ( C ) ∉ { 0 , 1728 } j(C) \notin \{0, 1728\} j ( C ) ∈ / { 0 , 1728 } , अभाज्य p p p संतुष्ट करता है v p ( j ( C ) ) = 0 = v p ( j ( C ) − 1728 ) v_p(j(C)) = 0 = v_p(j(C)-1728) v p ( j ( C )) = 0 = v p ( j ( C ) − 1728 ) मुख्य विचार : मॉड्यूलर रूप गुणांकों को अतिज्यामितीय श्रृंखला के काटे गए योग में परिवर्तित करें।
चरण :
Fricke-Klein पहचान का उपयोग करें :
E 4 1 / 4 = 2 F 1 [ 1 12 5 12 1 ; 1728 j ] E_4^{1/4} = {}_2F_1\left[\begin{matrix}\frac{1}{12} & \frac{5}{12} \\ 1\end{matrix}; \frac{1728}{j}\right] E 4 1/4 = 2 F 1 [ 12 1 1 12 5 ; j 1728 ] Clausen सूत्र लागू करें :
2 F 1 [ 1 12 5 12 1 ; t ] 2 = 3 F 2 [ 1 2 1 6 5 6 1 1 ; t ] {}_2F_1\left[\begin{matrix}\frac{1}{12} & \frac{5}{12} \\ 1\end{matrix}; t\right]^2 = {}_3F_2\left[\begin{matrix}\frac{1}{2} & \frac{1}{6} & \frac{5}{6} \\ 1 & 1\end{matrix}; t\right] 2 F 1 [ 12 1 1 12 5 ; t ] 2 = 3 F 2 [ 2 1 1 6 1 1 6 5 ; t ] मुख्य सर्वांगसमता स्थापित करें (लेम्मा 5.5):
P k , p l ( j ) ≡ g 2 − k p l − 1 ( m o d p ) P_{k,p^l}(j) \equiv g_{2-k}^{p^{l-1}} \pmod{p} P k , p l ( j ) ≡ g 2 − k p l − 1 ( mod p )
जहां g 2 − k = E 14 − k / Δ g_{2-k} = E_{14-k}/\Delta g 2 − k = E 14 − k /Δ आगमनात्मक प्रमाण : सभी k ∈ { 6 , 8 , 10 , 14 } k \in \{6,8,10,14\} k ∈ { 6 , 8 , 10 , 14 } के मामलों को k = 4 k=4 k = 4 के मामले में कम करें (लेम्मा 5.8)नवाचार बिंदु :
पहली बार अतिज्यामितीय सर्वांगसमता को मॉड्यूलर रूप के U p U_p U p ऑपरेटर से जोड़ा बहुपद सर्वांगसमता के माध्यम से q q q -विस्तार की सीधी गणना से बचा मुख्य विचार : अर्ध-पूर्णांक वजन पूर्वचित्र के गुणों के माध्यम से पूर्णांक वजन मॉड्यूलर रूपों के गुणों को प्राप्त करें।
सैद्धांतिक ढांचा :
2 s ∈ { 4 , 6 , 8 , 10 , 14 } 2s \in \{4,6,8,10,14\} 2 s ∈ { 4 , 6 , 8 , 10 , 14 } , विविक्तकर d d d और मौलिक विविक्तकर d 0 d_0 d 0 के लिए,
( S d 0 f s + 1 / 2 , ∣ d ∣ ) ( z ) = − ( − 1 ) ⌊ s − 1 2 ⌋ ∣ d ∣ − s / 2 ∣ d 0 ∣ s − 1 2 Tr d , d 0 ( ( ∂ τ s − 1 G 2 s ) ( z , τ ) ) \left(S_{d_0}f_{s+1/2,|d|}\right)(z) = -(-1)^{\lfloor\frac{s-1}{2}\rfloor} |d|^{-s/2} |d_0|^{\frac{s-1}{2}} \text{Tr}_{d,d_0}\left((\partial_\tau^{s-1} G_{2s})(z,\tau)\right) ( S d 0 f s + 1/2 , ∣ d ∣ ) ( z ) = − ( − 1 ) ⌊ 2 s − 1 ⌋ ∣ d ∣ − s /2 ∣ d 0 ∣ 2 s − 1 Tr d , d 0 ( ( ∂ τ s − 1 G 2 s ) ( z , τ ) )
तकनीकी मार्ग :
U p U_p U p कार्रवाई का विश्लेषण (लेम्मा 6.4):अनुक्रम { g i } \{g_i\} { g i } का निर्माण करें ताकि g i + 1 = 1 p 2 s − 1 ( g i ∣ T p , s + 1 / 2 − g i − 1 ) g_{i+1} = \frac{1}{p^{2s-1}}(g_i|T_{p,s+1/2} - g_{i-1}) g i + 1 = p 2 s − 1 1 ( g i ∣ T p , s + 1/2 − g i − 1 ) सिद्ध करें कि g i = f s + 1 / 2 , m p 2 i − 2 g_i = f_{s+1/2,mp^{2i-2}} g i = f s + 1/2 , m p 2 i − 2 Hecke समानता :
S d 0 ( f ∣ T p 2 , s + 1 / 2 ) = S d 0 ( f ) ∣ T p , 2 s S_{d_0}(f|T_{p^2,s+1/2}) = S_{d_0}(f)|T_{p,2s} S d 0 ( f ∣ T p 2 , s + 1/2 ) = S d 0 ( f ) ∣ T p , 2 s अति-सर्वांगसमता संचरण (प्रस्ताव 6.5):
a n p l ( F m ) ≡ p s − 1 ( ( − 1 ) s − 1 m p ) a n p l − 1 ( F m ) ( m o d p ( 2 s − 1 ) l ) a_{np^l}(F_m) \equiv p^{s-1}\left(\frac{(-1)^{s-1}m}{p}\right) a_{np^{l-1}}(F_m) \pmod{p^{(2s-1)l}} a n p l ( F m ) ≡ p s − 1 ( p ( − 1 ) s − 1 m ) a n p l − 1 ( F m ) ( mod p ( 2 s − 1 ) l ) चुंबकीय गुण प्रमाण (प्रस्ताव 6.7):F = A s − 1 S d 0 f s + 1 / 2 , m F = A^{s-1}S_{d_0}f_{s+1/2,m} F = A s − 1 S d 0 f s + 1/2 , m के लिए, सिद्ध करें कि n s − 1 ∣ a n ( F ) n^{s-1} | a_n(F) n s − 1 ∣ a n ( F ) मुख्य बिंदु सबसे बड़े A A A को निर्धारित करना है ताकि A 2 ∣ m A^2|m A 2 ∣ m नवाचार बिंदु :
Li-Neururer और Paşol-Zudilin की विधि को सामान्य विविक्तकर तक विस्तारित किया अभाज्य शक्ति विभाज्यता के क्रम को सटीक रूप से चिह्नित किया a n ( F k , c ) = P k , n ( c ) a_n(F_{k,c}) = P_{k,n}(c) a n ( F k , c ) = P k , n ( c ) को सेट करें, जहां P k , n ∈ Z [ X ] P_{k,n} \in \mathbb{Z}[X] P k , n ∈ Z [ X ] । यह अनुमति देता है:
q q q -श्रृंखला सर्वांगसमता को बहुपद सर्वांगसमता में परिवर्तित करनाविभिन्न दीर्घवृत्तीय वक्रों के मामलों को एकीकृत रूप से संभालना पुनरावृत्ति संबंध के माध्यम से:
a n p l ( F k , c ) ≡ a p ( F k , c ) p l − 1 p − 1 a n ( F k , c ) p l ( m o d p ) a_{np^l}(F_{k,c}) \equiv a_p(F_{k,c})^{\frac{p^l-1}{p-1}} a_n(F_{k,c})^{p^l} \pmod{p} a n p l ( F k , c ) ≡ a p ( F k , c ) p − 1 p l − 1 a n ( F k , c ) p l ( mod p )
गुणांकों के बीच व्यवस्थित संबंध स्थापित करें।
Galois प्रतिनिधित्व के विघटन का उपयोग करें:
Res K / Q ( Sym k − 2 C ) ∼ ⨁ a + b = k − 2 ψ C a ψ C b \text{Res}_{K/\mathbb{Q}}(\text{Sym}^{k-2}C) \sim \bigoplus_{a+b=k-2} \psi_C^a \psi_C^b Res K / Q ( Sym k − 2 C ) ∼ ⨁ a + b = k − 2 ψ C a ψ C b
संबंधित मॉड्यूलर रूप G a , b G_{a,b} G a , b का निर्माण करें, ताकि मॉड्यूलर रूप स्थान भी संबंधित रूप से विघटित हो।
पेपर में अनुमान मुख्य रूप से संख्यात्मक प्रयोग सत्यापन पर आधारित हैं:
गणना उपकरण : मॉड्यूलर रूपों के q q q -विस्तार की गणना के लिए PARI/GP या SageMath का उपयोग करेंसत्यापन सीमा :अभाज्य p p p : आमतौर पर p ≤ 100 p \leq 100 p ≤ 100 तक सत्यापित गुणांक n n n : पहले 1000-10000 गुणांकों को सत्यापित करें शक्ति l l l : l ≤ 3 l \leq 3 l ≤ 3 या l ≤ 5 l \leq 5 l ≤ 5 को सत्यापित करें परीक्षण मामले :विभिन्न विविक्तकर: D ∈ { − 7 , − 8 , − 11 , − 15 , − 19 , … } D \in \{-7, -8, -11, -15, -19, \ldots\} D ∈ { − 7 , − 8 , − 11 , − 15 , − 19 , … } विभिन्न वजन: k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4, 6, 8, 10, 14\} k ∈ { 4 , 6 , 8 , 10 , 14 } विशेष बिंदु: j ( C ) ∈ { 0 , 1728 } j(C) \in \{0, 1728\} j ( C ) ∈ { 0 , 1728 } और सामान्य j j j -अपरिवर्तनीय उदाहरण 4.6 (k = 4 , D = − 7 k=4, D=-7 k = 4 , D = − 7 ):
दीर्घवृत्तीय वक्र C : y 2 + x y = x 3 − x 2 − 2 x − 1 C: y^2 + xy = x^3 - x^2 - 2x - 1 C : y 2 + x y = x 3 − x 2 − 2 x − 1 (LMFDB लेबल 49.a4), j ( C ) = − 3375 j(C) = -3375 j ( C ) = − 3375
निर्मित मॉड्यूलर रूप:
G 4 , − 7 ( 1 ) = E 4 j + 3375 G_{4,-7}^{(1)} = \frac{E_4}{j+3375} G 4 , − 7 ( 1 ) = j + 3375 E 4 G 4 , − 7 ( 2 ) = 19 ⋅ E 4 j + 3375 − 91125 ⋅ E 4 ( j + 3375 ) 2 G_{4,-7}^{(2)} = 19 \cdot \frac{E_4}{j+3375} - 91125 \cdot \frac{E_4}{(j+3375)^2} G 4 , − 7 ( 2 ) = 19 ⋅ j + 3375 E 4 − 91125 ⋅ ( j + 3375 ) 2 E 4
सत्यापित सर्वांगसमता: सभी अभाज्य p p p के लिए जहां ( − 7 p ) = 1 \left(\frac{-7}{p}\right)=1 ( p − 7 ) = 1 और सभी n , l ∈ Z + n,l \in \mathbb{Z}^+ n , l ∈ Z + ,
a n p l ( G 4 , − 7 ( 2 ) ) ≡ p ⋅ a n p l − 1 ( G 4 , − 7 ( 2 ) ) ( m o d p 3 l ) a_{np^l}(G_{4,-7}^{(2)}) \equiv p \cdot a_{np^{l-1}}(G_{4,-7}^{(2)}) \pmod{p^{3l}} a n p l ( G 4 , − 7 ( 2 ) ) ≡ p ⋅ a n p l − 1 ( G 4 , − 7 ( 2 ) ) ( mod p 3 l )
और G 4 , − 7 ( 2 ) G_{4,-7}^{(2)} G 4 , − 7 ( 2 ) 1-चुंबकीय है।
E 4 j \frac{E_4}{j} j E 4 और E 4 j − 1728 \frac{E_4}{j-1728} j − 1728 E 4 दोनों 1-चुंबकीय हैं।
सभी अभाज्य p ≥ 5 p \geq 5 p ≥ 5 और सभी n , l ∈ Z + n,l \in \mathbb{Z}^+ n , l ∈ Z + के लिए:
a n p l ( E 4 j ) ≡ ( − 3 p ) p ⋅ a n p l − 1 ( E 4 j ) ( m o d p 3 l ) a_{np^l}\left(\frac{E_4}{j}\right) \equiv \left(\frac{-3}{p}\right) p \cdot a_{np^{l-1}}\left(\frac{E_4}{j}\right) \pmod{p^{3l}} a n p l ( j E 4 ) ≡ ( p − 3 ) p ⋅ a n p l − 1 ( j E 4 ) ( mod p 3 l ) a n p l ( E 4 j − 1728 ) ≡ ( − 4 p ) p ⋅ a n p l − 1 ( E 4 j − 1728 ) ( m o d p 3 l ) a_{np^l}\left(\frac{E_4}{j-1728}\right) \equiv \left(\frac{-4}{p}\right) p \cdot a_{np^{l-1}}\left(\frac{E_4}{j-1728}\right) \pmod{p^{3l}} a n p l ( j − 1728 E 4 ) ≡ ( p − 4 ) p ⋅ a n p l − 1 ( j − 1728 E 4 ) ( mod p 3 l )
मान लीजिए C / Q C/\mathbb{Q} C / Q एक दीर्घवृत्तीय वक्र है, j ( C ) ∉ { 0 , 1728 } j(C) \notin \{0,1728\} j ( C ) ∈ / { 0 , 1728 } , p ≥ 5 p \geq 5 p ≥ 5 C C C का अच्छा अभाज्य है और v p ( j ( C ) ) = 0 = v p ( j ( C ) − 1728 ) v_p(j(C))=0=v_p(j(C)-1728) v p ( j ( C )) = 0 = v p ( j ( C ) − 1728 ) । तब
a p ( E 4 j − j ( C ) ) ≡ a p ( C ) 2 ( m o d p ) a_p\left(\frac{E_4}{j-j(C)}\right) \equiv a_p(C)^2 \pmod{p} a p ( j − j ( C ) E 4 ) ≡ a p ( C ) 2 ( mod p )
महत्व : a p ( C ) 2 a_p(C)^2 a p ( C ) 2 की उपस्थिति Sym 2 C \text{Sym}^2C Sym 2 C के साथ संबंध का संकेत देती है, क्योंकि Sym 2 C \text{Sym}^2C Sym 2 C पर p p p पर Frobenius का ट्रेस a p ( C ) 2 − p ≡ a p ( C ) 2 ( m o d p ) a_p(C)^2 - p \equiv a_p(C)^2 \pmod{p} a p ( C ) 2 − p ≡ a p ( C ) 2 ( mod p ) है।
मान लीजिए k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } , L L L एक संख्या क्षेत्र है, C / L C/L C / L एक दीर्घवृत्तीय वक्र है, p p p C C C का अच्छा अभाज्य है और p ∤ 6 p \nmid 6 p ∤ 6 , v p ( j ( C ) ) = 0 = v p ( j ( C ) − 1728 ) v_p(j(C))=0=v_p(j(C)-1728) v p ( j ( C )) = 0 = v p ( j ( C ) − 1728 ) । तब सभी n ∈ Z + n \in \mathbb{Z}^+ n ∈ Z + के लिए:
a n ⋅ N ( p ) ( F k , C ) ≡ a p ( C ) k − 2 a n ( F k , C ) ( m o d p ) a_{n \cdot N(p)}(F_{k,C}) \equiv a_p(C)^{k-2} a_n(F_{k,C}) \pmod{p} a n ⋅ N ( p ) ( F k , C ) ≡ a p ( C ) k − 2 a n ( F k , C ) ( mod p )
मान लीजिए k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } , D < 0 D<0 D < 0 एक विविक्तकर है। तब:
G k , D G_{k,D} G k , D के पास परिमेय गुणांकों का q q q -विस्तार हैG ~ k , D \widetilde{G}_{k,D} G k , D को परिभाषित करें (∣ D 0 ∣ |D_0| ∣ D 0 ∣ की उपयुक्त शक्ति से गुणा करके), तब G ~ k , D \widetilde{G}_{k,D} G k , D k − 2 2 \frac{k-2}{2} 2 k − 2 -चुंबकीय हैअभाज्य p ∤ A p \nmid A p ∤ A के लिए (D = A 2 D 0 D=A^2D_0 D = A 2 D 0 ), सभी n , l ∈ Z + n,l \in \mathbb{Z}^+ n , l ∈ Z + :
a n p l ( G ~ k , D ) ≡ ( ( D p ) p ) k − 2 2 a n p l − 1 ( G ~ k , D ) ( m o d p ( k − 1 ) l ) a_{np^l}(\widetilde{G}_{k,D}) \equiv \left(\left(\frac{D}{p}\right)p\right)^{\frac{k-2}{2}} a_{np^{l-1}}(\widetilde{G}_{k,D}) \pmod{p^{(k-1)l}} a n p l ( G k , D ) ≡ ( ( p D ) p ) 2 k − 2 a n p l − 1 ( G k , D ) ( mod p ( k − 1 ) l ) k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } , दीर्घवृत्तीय वक्र C / Q C/\mathbb{Q} C / Q , अच्छा अभाज्य p p p , सभी n ∈ Z + n \in \mathbb{Z}^+ n ∈ Z + के लिए:
a n p ( F k , C ) ≡ a p ( C ) k − 2 a n ( F k , C ) ( m o d p ) a_{np}(F_{k,C}) \equiv a_p(C)^{k-2} a_n(F_{k,C}) \pmod{p} a n p ( F k , C ) ≡ a p ( C ) k − 2 a n ( F k , C ) ( mod p )
नोट : जब p ≥ 5 p \geq 5 p ≥ 5 तब यह प्रमेय 5.1 है।
अति-विलक्षण अभाज्य p p p के लिए (अर्थात् a p ( C ) = 0 a_p(C)=0 a p ( C ) = 0 ), सभी n , l ∈ Z + n,l \in \mathbb{Z}^+ n , l ∈ Z + :
a n p l ( F k , C ) ≡ p k − 2 a n p l − 2 ( F k , C ) ( m o d p ( k − 1 ) l − 1 ) a_{np^l}(F_{k,C}) \equiv p^{k-2} a_{np^{l-2}}(F_{k,C}) \pmod{p^{(k-1)l-1}} a n p l ( F k , C ) ≡ p k − 2 a n p l − 2 ( F k , C ) ( mod p ( k − 1 ) l − 1 )
नियमित अभाज्य p p p के लिए (अर्थात् p ∤ a p ( C ) p \nmid a_p(C) p ∤ a p ( C ) ), सभी n , l ∈ Z + n,l \in \mathbb{Z}^+ n , l ∈ Z + :
a n p l ( F k , C ) ≡ u p ( C ) k − 2 a n p l − 1 ( F k , C ) ( m o d p l ) a_{np^l}(F_{k,C}) \equiv u_p(C)^{k-2} a_{np^{l-1}}(F_{k,C}) \pmod{p^l} a n p l ( F k , C ) ≡ u p ( C ) k − 2 a n p l − 1 ( F k , C ) ( mod p l )
जहां u p ( C ) u_p(C) u p ( C ) X 2 − a p ( C ) X + p X^2 - a_p(C)X + p X 2 − a p ( C ) X + p का p p p -एडिक इकाई मूल है।
यदि C C C के पास CM है, तब मापांक को p ( k − 1 ) l p^{(k-1)l} p ( k − 1 ) l में सुधारा जा सकता है।
1 ≤ r ≤ k − 1 1 \leq r \leq k-1 1 ≤ r ≤ k − 1 के लिए, F k , C ( r ) : = E k ( j − j ( C ) ) r F_{k,C}^{(r)} := \frac{E_k}{(j-j(C))^r} F k , C ( r ) := ( j − j ( C ) ) r E k , मान लीजिए P p ( X ) P_p(X) P p ( X ) Sym k − 2 C \text{Sym}^{k-2}C Sym k − 2 C पर p p p पर Frobenius की विशेषता बहुपद है:
P p ( X ) = ∑ i = 0 k − 1 c p , k − 1 − i ( k ) X i P_p(X) = \sum_{i=0}^{k-1} c_{p,k-1-i}^{(k)} X^i P p ( X ) = ∑ i = 0 k − 1 c p , k − 1 − i ( k ) X i
तब सभी n , l ∈ Z + n,l \in \mathbb{Z}^+ n , l ∈ Z + के लिए:
a n p l ( F k , C ( r ) ) + c p , 1 ( k ) a n p l − 1 ( F k , C ( r ) ) + ⋯ + c p , k − 1 ( k ) a n p l − k + 1 ( F k , C ( r ) ) ≡ 0 ( m o d p ( k − 1 ) l − 1 2 ( k − 3 ) k − r ) a_{np^l}(F_{k,C}^{(r)}) + c_{p,1}^{(k)} a_{np^{l-1}}(F_{k,C}^{(r)}) + \cdots + c_{p,k-1}^{(k)} a_{np^{l-k+1}}(F_{k,C}^{(r)}) \equiv 0 \pmod{p^{(k-1)l - \frac{1}{2}(k-3)k - r}} a n p l ( F k , C ( r ) ) + c p , 1 ( k ) a n p l − 1 ( F k , C ( r ) ) + ⋯ + c p , k − 1 ( k ) a n p l − k + 1 ( F k , C ( r ) ) ≡ 0 ( mod p ( k − 1 ) l − 2 1 ( k − 3 ) k − r )
पेपर में सभी अनुमानों को बड़े पैमाने पर संख्यात्मक रूप से सत्यापित किया गया है:
k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } के सभी मामलों के लिएवर्ग संख्या 1 के विविक्तकर D ∈ { − 3 , − 4 , − 7 , − 8 , − 11 , − 15 , − 19 , − 20 , … } D \in \{-3,-4,-7,-8,-11,-15,-19,-20,\ldots\} D ∈ { − 3 , − 4 , − 7 , − 8 , − 11 , − 15 , − 19 , − 20 , … } के लिए अभाज्य सत्यापन p ≤ 100 p \leq 100 p ≤ 100 तक, गुणांक सत्यापन n ≤ 10000 n \leq 10000 n ≤ 10000 तक सभी परीक्षण मामले अनुमानों के अनुरूप हैं Broadhurst-Zudilin (2019) : पहली बार चुंबकीय मॉड्यूलर रूप की अवधारणा प्रस्तावित की, विद्युत चुंबकत्व में Hall प्रभाव से उत्पन्नLi-Neururer (2019) : 64 E 4 j \frac{64E_4}{j} j 64 E 4 और E 4 j \frac{E_4}{j} j E 4 के चुंबकीय गुणों को प्रमाणित किया, Borcherds-Shimura लिफ्टिंग का उपयोग करकेPaşol-Zudilin (2022) : अधिक CM बिंदुओं के मामलों तक विस्तारित कियाBönisch-Duhr-Maggio (2024) : चुंबकीय मॉड्यूलर रूपों पर व्यापक चर्चाAtkin-Swinnerton-Dyer (1971) : पहली बार गैर-सर्वांगसम मॉड्यूलर रूपों की ASD सर्वांगसमता का अध्ययन कियाScholl (1985) : de Rham सहसंबंध के माध्यम से सैद्धांतिक ढांचा प्रदान कियाKazalicki-Scholl (2016) : कमजोर होलोमॉर्फिक मॉड्यूलर रूपों की ASD सर्वांगसमता का अध्ययन किया, निम्नलिखित को प्रमाणित किया:
a n p ( E 6 4 Δ − 1464 E 4 3 ) − τ ( p ) a n ( E 6 4 Δ − 1464 E 4 3 ) + p 11 a n / p ( E 6 4 Δ − 1464 E 4 3 ) ≡ 0 ( m o d p 11 v p ( n ) ) a_{np}\left(\frac{E_6^4}{\Delta} - 1464E_4^3\right) - \tau(p)a_n\left(\frac{E_6^4}{\Delta} - 1464E_4^3\right) + p^{11}a_{n/p}\left(\frac{E_6^4}{\Delta} - 1464E_4^3\right) \equiv 0 \pmod{p^{11v_p(n)}} a n p ( Δ E 6 4 − 1464 E 4 3 ) − τ ( p ) a n ( Δ E 6 4 − 1464 E 4 3 ) + p 11 a n / p ( Δ E 6 4 − 1464 E 4 3 ) ≡ 0 ( mod p 11 v p ( n ) ) Li-Long (2014) : ASD सर्वांगसमता की समीक्षाBrown-Fonseca (2025) : motif सिद्धांत के माध्यम से मेरोमॉर्फिक मॉड्यूलर रूपों और दीर्घवृत्तीय वक्रों की सममित शक्तियों के बीच संबंध स्थापित कियाGross-Zagier (1986) : शीर्ष रूपों के प्रभाव को संभालने के लिए संबंध की अवधारणा प्रस्तावित कीChisholm et al. (2013) : Ramanujan प्रकार सूत्रों का p p p -एडिक अनुरूपमॉड्यूलर रूप गुणांकों के अनुसंधान में अतिज्यामितीय सर्वांगसमता का अनुप्रयोग व्यवस्थित सैद्धांतिक ढांचा स्थापित किया : मेरोमॉर्फिक मॉड्यूलर रूपों (विशेष रूप से E k ( j − j ( C ) ) r \frac{E_k}{(j-j(C))^r} ( j − j ( C ) ) r E k के रूप के) को दीर्घवृत्तीय वक्र C C C की सममित शक्तियों Sym k − 2 C \text{Sym}^{k-2}C Sym k − 2 C से जोड़ामुख्य मामलों को प्रमाणित किया :सरल ध्रुव मामले की मूल सर्वांगसमता (p ≥ 5 p \geq 5 p ≥ 5 के लिए) CM मामले की अति-सर्वांगसमता और चुंबकीय गुण अतिज्यामितीय फलनों के साथ संबंध पूर्ण अनुमान प्रणाली प्रस्तावित की :अति-विलक्षण और नियमित अभाज्यों के विभिन्न व्यवहार को कवर करता है उच्च क्रम ध्रुवों की ASD सर्वांगसमता CM मामले की सूक्ष्म संरचना पद्धति संबंधी योगदान :अतिज्यामितीय फलन विधि Shimura लिफ्टिंग का व्यवस्थित अनुप्रयोग बहुपद दृष्टिकोण का परिचय मजबूत धारणा शर्तें :मुख्य परिणाम k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } तक सीमित हैं (बिना शीर्ष रूपों के वजन) j ( C ) ∉ { 0 , 1728 } j(C) \notin \{0,1728\} j ( C ) ∈ / { 0 , 1728 } की आवश्यकता है (गैर-CM बिंदु या विशेष CM बिंदु)v p ( j ( C ) ) = 0 = v p ( j ( C ) − 1728 ) v_p(j(C))=0=v_p(j(C)-1728) v p ( j ( C )) = 0 = v p ( j ( C ) − 1728 ) की आवश्यकता है (कुछ "खराब" अभाज्यों को बाहर करता है)अधिकांश परिणाम अनुमान हैं :अनुमान 2.1 केवल p ≥ 5 p \geq 5 p ≥ 5 के लिए प्रमाणित है अनुमान 2.3, 2.4 (अति-विलक्षण और नियमित मामले) अप्रमाणित हैं अनुमान 3.1 (उच्च क्रम ध्रुव ASD सर्वांगसमता) अप्रमाणित है अनुमान 4.2 (CM मामले की नियमित अभाज्य) अप्रमाणित है संख्यात्मक सत्यापन की सीमाएं :सत्यापन सीमा सीमित है (p ≤ 100 p \leq 100 p ≤ 100 , n ≤ 10000 n \leq 10000 n ≤ 10000 ) बड़े अभाज्य या बड़े गुणांकों के प्रतिउदाहरण संभव हो सकते हैं अधूरी सैद्धांतिक व्याख्या :Motif सिद्धांत के साथ संबंध मुख्य रूप से Brown-Fonseca के कार्य पर निर्भर है पूर्ण सहसंबंध व्याख्या की कमी है कुछ घटनाएं (जैसे अनुमान 4.11, 4.13) अभी भी "रहस्यमय" हैं सामान्य वजन तक विस्तार की कठिनाई :शीर्ष रूपों की उपस्थिति में संबंध का उपयोग करके उनके प्रभाव को समाप्त करने की आवश्यकता है विधि अधिक तकनीकी और जटिल हो जाती है अप्रमाणित अनुमानों को प्रमाणित करना :लेखक का उल्लेख है कि Michael Allen, Ling Long, Hasan Saad Scholl और Kazalicki-Scholl की विधि को विस्तारित कर रहे हैं सहसंबंध विधि के माध्यम से ASD सर्वांगसमता को प्रमाणित करना संभव हो सकता है अधिक सामान्य मामलों तक विस्तार :किसी भी वजन के मामले परिमित सूचकांक उपसमूह पर मेरोमॉर्फिक मॉड्यूलर रूप उच्च क्रम ध्रुवों के मामले सैद्धांतिक गहनता :Motif व्याख्या को पूर्ण करना Galois प्रतिनिधित्व के साथ सटीक पत्राचार स्थापित करना अनंत पर "दृश्यमानता" की खोज (विशेष L L L -मान और "अवधि" के संबंध) गणना पहलू :मेरोमॉर्फिक मॉड्यूलर रूप गुणांकों की गणना के लिए अधिक कुशल एल्गोरिदम विकसित करना संख्यात्मक सत्यापन सीमा का विस्तार करना अनुप्रयोग अन्वेषण :भौतिकी में अनुप्रयोग (जैसे Hall प्रभाव संबंधित) क्रिप्टोग्राफी में संभावित अनुप्रयोग अग्रणी अनुसंधान : पहली बार मेरोमॉर्फिक मॉड्यूलर रूपों के p p p -एडिक गुणों का व्यवस्थित अध्ययन, नई अनुसंधान दिशा खोलता हैनए संबंध स्थापित करना : मेरोमॉर्फिक मॉड्यूलर रूप, दीर्घवृत्तीय वक्रों की सममित शक्तियां, अतिज्यामितीय फलन तीनों को जोड़ता हैविधि नवाचार : अतिज्यामितीय फलन, Shimura लिफ्टिंग, बहुपद दृष्टिकोण को चतुराई से संयोजित करता हैएकीकृत ढांचा : U p U_p U p ऑपरेटर और Frobenius कार्रवाई के पत्राचार के माध्यम से एकीकृत दृष्टिकोण प्रदान करता हैसूक्ष्म संरचना : CM मामले की समृद्ध संरचना को प्रकट करता है (विघटन, चुंबकीय गुण, अति-सर्वांगसमता)मात्रात्मक परिणाम : केवल गुणात्मक संबंध नहीं, बल्कि सटीक सर्वांगसमता मापांक भी देता हैपूर्ण प्रमाण : प्रमाणित परिणामों (प्रमेय 5.1, 6.1) के लिए विस्तृत और कठोर प्रमाण प्रदान करता हैस्पष्ट तर्क : प्रमाण विचार स्पष्ट हैं, तकनीकी विवरण पर्याप्त हैंसंख्यात्मक समर्थन : सभी अनुमानों के पास पर्याप्त संख्यात्मक सत्यापन हैस्पष्ट संरचना : सरल से जटिल, विशेष से सामान्य, स्तर स्पष्ट हैपर्याप्त प्रेरणा : उदाहरणों (जैसे E 4 j − c \frac{E_4}{j-c} j − c E 4 ) के माध्यम से अनुसंधान प्रेरणा पूरी तरह प्रदर्शित करता हैसमृद्ध उदाहरण : उदाहरण 4.6, 7.1-7.4 आदि समझने में सहायता करते हैंसैद्धांतिक महत्व : मॉड्यूलर रूपों के अंकगणितीय गुणों की समझ को गहरा करता हैविभिन्न क्षेत्रों को जोड़ना : मॉड्यूलर रूप, दीर्घवृत्तीय वक्र, अतिज्यामितीय फलन, सहसंबंध सिद्धांत को जोड़ता हैभविष्य अनुसंधान को प्रेरित करना : प्रस्तावित अनुमान भविष्य अनुसंधान के लिए स्पष्ट दिशा प्रदान करते हैंकई अनुमान अप्रमाणित : मुख्य अनुमान (2.1 की p = 2 , 3 p=2,3 p = 2 , 3 स्थितियां, 2.3, 2.4, 3.1 आदि) अप्रमाणित हैंसंख्यात्मक सत्यापन पर निर्भरता : कई निष्कर्ष सीमित सीमा के संख्यात्मक प्रयोगों पर आधारित हैंअपर्याप्त सैद्धांतिक व्याख्या : कुछ घटनाएं (अनुमान 4.11, 4.13) गहरी सैद्धांतिक व्याख्या की कमी हैवजन प्रतिबंध : मुख्य परिणाम k ∈ { 4 , 6 , 8 , 10 , 14 } k \in \{4,6,8,10,14\} k ∈ { 4 , 6 , 8 , 10 , 14 } तक सीमित हैंविशेष बिंदु बहिष्कार : j ( C ) ∈ { 0 , 1728 } j(C) \in \{0,1728\} j ( C ) ∈ { 0 , 1728 } को विशेष उपचार की आवश्यकता है (खंड 7.1)अभाज्य प्रतिबंध : कई परिणामों को p ≥ 5 p \geq 5 p ≥ 5 या p ∤ 6 p \nmid 6 p ∤ 6 की आवश्यकता हैअतिज्यामितीय सर्वांगसमता प्रमाण अनुपस्थित : प्रमेय 5.1 का प्रमाण एक अतिज्यामितीय सर्वांगसमता पर निर्भर है (खंड 5.4 अंत), लेकिन लेखक केवल प्रमाण रूपरेखा देता है, "अन्य स्थान पर विस्तार" का वादा करता हैमानकीकरण समस्या : G k , D ( r ) G_{k,D}^{(r)} G k , D ( r ) का मानकीकरण चयन (खंड 4) कुछ मनमानापन हैगणना जटिलता : वास्तविक गणना G k , D ( r ) G_{k,D}^{(r)} G k , D ( r ) काफी कठिन हो सकती हैशीर्ष रूप प्रभाव : सामान्य वजन मामले में संबंध का उपयोग करके शीर्ष रूपों को समाप्त करने की आवश्यकता है, तकनीकी रूप से जटिल (खंड 7.2)उच्च क्रम ध्रुव : r > k − 1 r > k-1 r > k − 1 के मामले व्युत्पन्न ऑपरेटर शामिल करते हैं, अधिक जटिलसामान्य संख्या क्षेत्र : हालांकि संख्या क्षेत्रों तक विस्तार का उल्लेख है, विवरण विस्तारित नहीं हैनई दिशा खोलना : मेरोमॉर्फिक मॉड्यूलर रूपों के अंकगणितीय अनुसंधान के लिए नया प्रतिमान प्रदान करता हैसमझ गहरा करना : मॉड्यूलर रूपों और दीर्घवृत्तीय वक्रों के संबंध की समझ को गहरा करता हैसिद्धांत जोड़ना : मॉड्यूलर रूप, दीर्घवृत्तीय वक्र, अतिज्यामितीय फलन, सहसंबंध सिद्धांत को जैविक रूप से जोड़ता हैगणना उपकरण : मेरोमॉर्फिक मॉड्यूलर रूप गुणांकों की गणना के लिए नई विधि प्रदान करता हैसत्यापन ढांचा : संख्यात्मक प्रयोगों के लिए व्यवस्थित ढांचा प्रदान करता हैभौतिकी अनुप्रयोग : चुंबकीय मॉड्यूलर रूपों और भौतिकी (Hall प्रभाव) के संबंधउच्च पुनरुत्पादनीयता :
मानक गणना उपकरण (PARI/GP, SageMath) का उपयोग करता है स्पष्ट एल्गोरिदम और सूत्र ठोस संख्यात्मक उदाहरण संभावित कठिनाइयां :
उच्च सटीकता गणना को एल्गोरिदम अनुकूलन की आवश्यकता हो सकती है G k , D ( r ) G_{k,D}^{(r)} G k , D ( r ) की गणना धीमी हो सकती हैसैद्धांतिक अनुसंधान :मॉड्यूलर रूपों के अंकगणितीय गुणों का अनुसंधान दीर्घवृत्तीय वक्रों और मॉड्यूलर रूपों के संबंध p p p -एडिक मॉड्यूलर रूप सिद्धांतसंख्यात्मक प्रयोग :नई सर्वांगसमता संबंधों की खोज सैद्धांतिक अनुमानों का सत्यापन नए गणितीय पैटर्न की खोज संबंधित क्षेत्र :अतिज्यामितीय फलनों के अंकगणितीय गुण Galois प्रतिनिधित्व सिद्धांत Motif सिद्धांत संभावित अनुप्रयोग :क्रिप्टोग्राफी (दीर्घवृत्तीय वक्र आधारित) भौतिकी (क्वांटम क्षेत्र सिद्धांत, स्ट्रिंग सिद्धांत) संयोजन विज्ञान (विभाजन फलन) a n ( F k , c ) = P k , n ( c ) a_n(F_{k,c}) = P_{k,n}(c) a n ( F k , c ) = P k , n ( c ) का अवलोकन:
सर्वांगसमता संबंधों को बहुपद वलय में संभाला जा सकता है सीधी q q q -विस्तार गणना से बचा जा सकता है विभिन्न c c c मानों को एकीकृत रूप से संभाला जा सकता है लेम्मा 5.3-5.5 द्वारा स्थापित संबंध:
n k − 1 ( E 14 − k / Δ ) ∣ T n , 2 − k E 14 − k / Δ = P k , n ( j ) \frac{n^{k-1}(E_{14-k}/\Delta)|T_{n,2-k}}{E_{14-k}/\Delta} = P_{k,n}(j) E 14 − k /Δ n k − 1 ( E 14 − k /Δ ) ∣ T n , 2 − k = P k , n ( j )
मॉड्यूलर रूप सिद्धांत और ठोस गणना को जोड़ने का पुल है।
केवल चुंबकीय गुणों को प्रमाणित करने के लिए नहीं (पहले से मौजूद कार्य) अति-सर्वांगसमता को प्रमाणित करने के लिए भी (नया अनुप्रयोग) पुनरावृत्ति अनुक्रम { g i } \{g_i\} { g i } के माध्यम से p p p -एडिक अनुमान को सटीक रूप से नियंत्रित करता है Galois प्रतिनिधित्व के विघटन का उपयोग (सूत्र (7)) संबंधित मॉड्यूलर रूप विघटन { G a , b } \{G_{a,b}\} { G a , b } का निर्माण समृद्ध अंकगणितीय संरचना को प्रकट करता है यह एक उच्च गुणवत्ता का मूल गणितीय अनुसंधान पेपर है, जिसमें निम्नलिखित विशेषताएं हैं:
मुख्य लाभ :
मेरोमॉर्फिक मॉड्यूलर रूपों के p p p -एडिक गुणों का अग्रणी व्यवस्थित अध्ययन दीर्घवृत्तीय वक्रों की सममित शक्तियों के साथ गहरे संबंध स्थापित करता है आंशिक कठोर प्रमाण और व्यापक संख्यात्मक समर्थन प्रदान करता है स्पष्ट लेखन, समृद्ध उदाहरण मुख्य सीमाएं :
मुख्य अनुमान अधिकांशतः अप्रमाणित हैं लागू सीमा सीमित है (विशिष्ट वजन, विशेष बिंदु बहिष्कार) कुछ तकनीकी विवरणों को पूरक की आवश्यकता है अनुसंधान मूल्य :
भविष्य अनुसंधान के लिए स्पष्ट रोडमैप प्रदान करता है कई महत्वपूर्ण गणितीय शाखाओं को जोड़ता है महत्वपूर्ण सैद्धांतिक सफलता की संभावना है सिफारिशें :
अनुमान 2.1 के पूर्ण प्रमाण को प्राथमिकता दें अधिक सामान्य सैद्धांतिक ढांचा विकसित करें Motif सिद्धांत के साथ गहरे संबंध की खोज करें कुल मिलाकर, यह महत्वपूर्ण सैद्धांतिक महत्व और प्रेरणा मूल्य वाला पेपर है, हालांकि कई परिणाम अभी भी अनुमान हैं, लेकिन इसके द्वारा प्रस्तावित ढांचा और विधि संख्या सिद्धांत अनुसंधान के लिए नई दिशा खोलते हैं।