🔢 mathematics

A Trace-Path Integral Formula over Function Fields

यह शोध पत्र यह सिद्ध करके कि $\ell$ -टॉर्शन के जैकोबियन पर एक अंकगणितीय पथ समाकल (arithmetic path integral), एक विशिष्ट चिह्न (sign) तक, एक हीसनबर्ग समूह प्रतिनिधित्व (Heisenberg group representation) पर फ्रोबेनियस क्रिया के ट्रेस (trace) के बराबर है, क्वांटम फील्ड थ्योरी ट्रेस-पाथ इंटीग्रल सूत्रों का एक अंकगणितीय अनुरूप स्थापित करता है।

मूल लेखक: Yan Yau Cheng

प्रकाशित 2026-05-08

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Yan Yau Cheng

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक पहेली सुलझाने की कोशिश कर रहे हैं जहाँ दो बहुत अलग दुनिया—भौतिक विज्ञान (physics) और संख्या सिद्धांत (number theory)—अचानक एक ही भाषा बोलने लगती हैं। यह शोध पत्र, जो यान यू चेंग (Yan Yau Cheng) द्वारा लिखा गया है, एक विशिष्ट "अनुवाद कुंजी" (translation key) खोजने के बारे में है जो भौतिकविदों द्वारा कणों के व्यवहार की गणना करने के लिए उपयोग किए जाने वाले सूत्र को, गणितज्ञों द्वारा परिमित क्षेत्रों (finite fields) पर ज्यामितीय आकृतियों पर बिंदुओं को गिनने के लिए उपयोग किए जाने वाले सूत्र से जोड़ती है।

यहाँ इस शोध पत्र की कहानी है, जिसे सरल अवधारणाओं में विभाजित किया गया है।

1. दो दुनियाएँ: भौतिक विज्ञान बनाम गणित

भौतिक विज्ञान का पक्ष (द "पाथ इंटीग्रल"):
क्वांटम भौतिकी में, कल्पना कीजिए कि एक कण बिंदु A से बिंदु B तक जा रहा है। वह केवल एक सीधी रेखा नहीं लेता; बल्कि, एक तरह से, वह एक ही समय में हर संभव पथ (every possible path) लेता है। भौतिकविद कण के व्यवहार की कुल "प्रायिकता" (probability) की गणना करने के लिए प्रत्येक एक इन अनंत पथों के योगदान को जोड़कर करते हैं। इसे पाथ इंटीग्रल (Path Integral) कहा जाता है।

यदि आप इस पथ को एक वृत्त (जैसे एक लूप) के चारों ओर लपेटते हैं, तो भौतिकी में एक प्रसिद्ध नियम है: सभी पथों का योग (पाथ इंटीग्रगल) एक विशिष्ट 'एक्शन' के ट्रेस (Trace) के ठीक बराबर होता है।

'ट्रेस' एक सारांश स्कोर की तरह है। यदि आपके पास एक मशीन है जो एक सिस्टम को बदल देती है, तो "ट्रेस" एक एकल संख्या है जो बताती है कि वह मशीन पूरे सिस्टम को कितना "फैलाती" (stretch) या "घुमाती" (rotate) है।
उपमा (Analogy): एक घूमते हुए लट्टू (spinning top) की कल्पना करें। पाथ इंटीग्रल एक लट्टू के हर संभव डगमगाहट (wobble) के माध्यम से घूमने को देखने जैसा है। ट्रेस बस वह अंतिम संख्या है जो आप तब प्राप्त करते हैं जब आप पूछते हैं, "लट्टू कुल मिलाकर कितनी बार घूमा?" भौतिकी का नियम कहता है: सभी डगमगाहटों का योग = अंतिम स्पिन संख्या।

गणित का पक्ष (द "अरिथमेटिक वर्ल्ड"):
अब, संख्या सिद्धांत की ओर मुड़ें। एक घूमते हुए लट्टू के बजाय, एक ज्यामितीय आकृति (वक्र/curve) की कल्पना करें जो एक "परिमित क्षेत्र" (finite field) पर स्थित है। एक परिमित क्षेत्र एक ऐसे घड़ी की तरह है जिसमें केवल कुछ ही संख्याएँ होती हैं (जैसे 0 से 6)। इस आकृति पर, विशेष बिंदु होते हैं जिन्हें जैकबियन पॉइंट्स (Jacobian points) कहा जाता है।

इन बिंदुओं को एक ग्रिड पर बिखरे हुए छोटे बिंदुओं के रूप में सोचें।
गणितज्ञ इन बिंदुओं को गिनना चाहता है, लेकिन केवल उन्हें एक-एक करके गिनकर नहीं। वे इसे "पाथ इंटीग्रल" शैली के योग का उपयोग करके करना चाहते हैं।
यहाँ "एक्शन" ऊर्जा नहीं है; यह संख्या सिद्धांत के गहरे नियमों (क्लास फील्ड थ्योरी) से प्राप्त संख्याओं की एक जोड़ी (pairing) है।

2. बड़ी खोज

लेखक पूछते हैं: क्या भौतिकी का नियम इस गणितीय दुनिया में भी लागू होता है?

भौतिकी नियम: पथों का योग = एक्शन का ट्रेस।
गणितीय प्रश्न: यदि हम इन "अरिथमेटिक पथों" (जो हमारी आकृति पर परिमेय बिंदु हैं) को जोड़ते हैं, तो क्या यह फ्रोबिनियस एक्शन (एक विशेष गणितीय ऑपरेशन जो इन बिंदुओं को इधर-उधर घुमाता है) के ट्रेस के बराबर होगा?

उत्तर: हाँ! यह पत्र सिद्ध करता है कि एक विशिष्ट प्रकार के वक्र (curve) के लिए, इन अरिथमेटिक पथों का योग फ्रोबिनियस एक्शन के ट्रेस के ठीक बराबर होता है, बस एक छोटी सी शर्त के साथ: यहाँ एक प्लस या माइनस चिह्न का अंतर हो सकता है।

3. "सीक्रेट सॉस": चिह्न (Sign) का निर्धारण

भौतिकी में, चिह्न को सही पाना अक्सर आसान होता है या इसे परंपरा के रूप में संभाला जाता है। इस गणितीय दुनिया में, चिह्न को सही पाना अविश्वसनीय रूप से कठिन और सूक्ष्म है। यह एक सिक्का उछालने का अनुमान लगाने जैसा है कि वह चित (heads) आएगा या पट (tails), लेकिन सिक्का शुद्ध तर्क (logic) से बना है।

पिछले गणितज्ञों (मिन्ह्योंग किम और अक्षय वेंकटेश) ने यह सूत्र खोजा था लेकिन वे चिह्न नहीं जानते थे। वे "यह ट्रेस के बराबर है, शायद धनात्मक, शायद ऋणात्मक" वाली स्थिति में फंसे हुए थे।

यान यू चेंग का योगदान:
यह पत्र चिह्न के लिए सटीक सूत्र प्रदान करता है। यह कोई अनुमान नहीं है; यह एक सटीक गणना है जिसमें शामिल हैं:

वक्र का आकार (उसका जेनस, $g$ )।
एक विशेष संख्या जिसे "रेगुलराइज्ड डिटरमिनेंट" (regularized determinant) कहा जाता है (एक फैंसी तरीका यह मापने का कि फ्रोबिनियस उन बिंदुओं को कितना इधर-उधर घुमाता है जो हिलते नहीं हैं)।
एक "लेजेंड्रे सिंबल" (Legendre symbol) (एक गणितीय स्विच जो एक संख्या पूर्ण वर्ग है या नहीं, इसके आधार पर +1 और -1 के बीच बदलता है)।

पत्र कहता है: "यहाँ सटीक चिह्न है। यह $(-1)^g$ गुना यह डिटरमिनेंट है।"

4. उन्होंने इसे कैसे सिद्ध किया

लेखक ने केवल चिह्न का अनुमान नहीं लगाया; उन्होंने दोनों पक्षों की गणना अलग-अलग की और दिखाया कि वे पूरी तरह से मेल खाते हैं।

चरण 1: ट्रेस वाला पक्ष। उन्होंने वक्र पर बिंदुओं को एक क्वांटम सिस्टम की तरह माना। उन्होंने "थीटा लाइन बंडल" (एक फैंसी ज्यामितीय संरचना) नामक चीज़ का उपयोग करके एक "हिल्बर्ट स्पेस" (सभी संभावित अवस्थाओं के लिए एक गणितीय कंटेनर) बनाया। फिर उन्होंने गणना की कि फ्रोबिनियस इस कंटेनर की सामग्री को कैसे इधर-उधर घुमाता है।
चरण 2: पाथ इंटीग्रल वाला पक्ष। उन्होंने बिंदुओं को "पथों" के रूप में माना। उन्होंने वक्र के प्रत्येक बिंदु के लिए "एक्शन" (बिंदुओं की जोड़ी) को जोड़ा। यह एक विशाल जटिल संख्याओं का योग बन गया (जैसे तरंगों को जोड़ना)।
चरण 3: मिलान। जब उन्होंने चरण 1 और चरण 2 के परिणाम की तुलना की, तो उन्होंने पाया कि वे समान थे, बशर्ते कि उन्होंने उनके द्वारा निकाले गए विशिष्ट चिह्न सूत्र का उपयोग किया हो।

5. यह क्यों महत्वपूर्ण है (सरल शब्दों में)

यह शोध पत्र एक सेतु (bridge) है। यह दिखाता है कि क्वांटम ब्रह्मांड का वर्णन करने के लिए उपयोग किए जाने वाले गहरे, रहस्यमय सूत्रों का संख्या और परिमित क्षेत्रों की दुनिया में एक सीधा, कठोर प्रतिरूप है।

उपमा: कल्पना कीजिए कि आपके पास एक विदेशी भाषा में केक बनाने की रेसिपी (भौतिकी) है। आपको एक अनुवाद (गणित) मिलता है जो कहता है: "यदि आप इन सामग्रियों को मिलाते हैं, तो आपको यह परिणाम मिलेगा।" लेकिन अनुवाद में एक महत्वपूर्ण शब्द गायब था: "एक चुटकी नमक डालें या न डालें।" यह पत्र उस गायब शब्द को खोजता है। यह हमें ठीक से बताता है कि कब "नमक" (चिह्न) डालना है और कब नहीं।

दावे का सारांश

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

यह पत्र यह दावा नहीं करता है कि इसके इंजीनियरिंग, चिकित्सा या शेयर बाजार की भविष्यवाणी करने में तत्काल उपयोग हैं। यह एक शुद्ध गणितीय खोज है जो संख्या के अंकगणित और 3D आकृतियों के टोपोलॉजी के बीच समानता को मजबूत करती है।

तकनीकी सारांश: फलन क्षेत्रों (Function Fields) पर एक ट्रेस-पाथ इंटीग्रल सूत्र

समस्या विवरण और प्रेरणा
यह शोध पत्र टोपोलॉजिकल क्वांटम फील्ड थ्योरी (TQFT) में पाए जाने वाले ट्रेस-पाथ इंटीग्रल सूत्रों का एक अंकगणितीय (arithmetic) अनुरूप स्थापित करता है। भौतिक परिवेश में, एक हिल्बर्ट स्पेस $\mathcal{H}$ (जो एक फेज़ स्पेस $M$ के ज्यामितीय परिमाणीकरण से उत्पन्न होता है) पर मोनोड्रोमी क्रिया $F$ का ट्रेस, एक फाइब्रेशन $M \times [0,1]/F \to S^1$ के सेक्शनों के स्थान पर एक एक्शन फंक्शनल $A$ के पाथ इंटीग्रल के बराबर होता है।

लेखक इस पत्राचार को एक परिमित क्षेत्र $\mathbb{F}_q$ पर एक स्मूथ प्रोजेक्टिव कर्व $X$ के अंकगणितीय परिवेश में अनुवादित करने का प्रयास करते हैं। शोध पत्र एक डिक्शनरी का निर्माण करता है जहाँ:

फेज़ स्पेस $M$ , कर्व $X$ के जैकोबियन $J$ के $\ell$ -टॉर्शन सबग्रुप $J[\ell]$ के अनुरूप है।
सेक्शनों का स्थान, $J[\ell](\mathbb{F}_q)$ के तर्कसंगत बिंदुओं (rational points) के अनुरूप है।
मोनोड्रोमी क्रिया $F$ , फ्रोबेनियस ऑटोमोर्फिज्म $\text{Fr}_q$ के अनुरूप है।
हिल्बर्ट स्पेस $\mathcal{H}$ , जैकोबियन पर एक थीटा लाइन बंडल के ग्लोबल सेक्शनों के स्थान के अनुरूप है।
एक्शन फंक्शनल $A$ , ज्यामितीय क्लास फील्ड थ्योरी से प्राप्त एक पेयरिंग (pairing) के अनुरूप है।

केंद्रीय समस्या यह सिद्ध करना है कि इस अंकगणितीय हिल्बर्ट स्पेस पर फ्रोबेनियस क्रिया का ट्रेस, लेजेंड्रे सिंबल (Legendre symbols) और रेगुलराइज्ड डिटरमिनेंट (regularized determinants) से जुड़े एक स्पष्ट रूप से निर्धारित चिह्न (sign) तक, एक पेयरिंग $A$ के एक्सपोनेंशियल के डिस्क्रीट सम (discrete sum) के बराबर है (जिसे "अंकगणितीय पाथ इंटीग्रल" कहा जाता है)।

कार्यप्रणाली (Methodology)
प्रमाण प्रस्तावित समानता के दोनों पक्षों का स्वतंत्र रूप से मूल्यांकन करके और फिर उनकी तुलना करके आगे बढ़ता है।

ट्रेस पक्ष (अनुभाग 3):
- $\mathcal{H}$ का निर्माण: हिल्बर्ट स्पेस को $\mathcal{H} = \Gamma(J_Y, \Theta^{\otimes \ell})$ के रूप में परिभाषित किया गया है, जहाँ $J_Y$ विट वेक्टर्स $W(\mathbb{F}_q)$ पर जैकोबियन का लिफ्ट है और $\Theta$ थीटा लाइन बंडल है। इस स्थान को एक विशिष्ट सेंट्रल कैरेक्टर के साथ हाइजनबर्ग ग्रुप $H(J[\ell])$ के अद्वितीय अपरिवर्तनीय प्रतिनिधित्व (irreducible representation) के रूप में पहचाना जाता है, जो स्टोन-वॉन न्यूमैन प्रमेय के अनुरूप है।
- ट्रेस गणना: $\mathcal{H}$ पर फ्रोबेनियस $\text{Fr}_q$ की क्रिया का विश्लेषण सिम्पलेक्टिक हाइजनबर्ग समूहों के सिम्पलेक्टिक रिप्रेजेंटेशन की मशीनरी का उपयोग करके किया जाता है (संदर्भ [GH09])। लेखक सिम्पलेक्टिक वेक्टर स्पेस $J[\ell]$ को $\text{Fr}_q$ -इनवेरिएंट सिम्पलेक्टिक सबस्पेस में विभाजित करते हैं।
- स्पष्ट सूत्र: इन सबस्पेसों पर ट्रेस की गणना करके (उन मामलों को संभालते हुए जहाँ $\text{Fr}_q$ की क्रिया $I$ , $-I$ , या बिना $\pm 1$ आइजनवैल्यू के है), लेखक $\text{tr}(\text{Fr}_q | \mathcal{H})$ के लिए एक स्पष्ट सूत्र व्युत्पन्न करते हैं। इस सूत्र में लेजेंड्रे सिंबल, फिक्स्ड-पॉइंट सबस्पेस का आयाम, और $1 - \text{Fr}_q$ का रेगुलराइज्ड डिटरमिनेंट शामिल है।
पाथ इंटीग्रल पक्ष (अनुभाग 4):
- एक्शन $A$ को परिभाषित करना: अंकगणितीय एक्शन $A: J[\ell](\mathbb{F}_q) \times J[\ell](\mathbb{F}_q) \to \frac{1}{\ell}\mathbb{Z}/\mathbb{Z}$ को ज्यामितीय क्लास फील्ड थ्योरी के रेसिप्रोसिटी मैप के माध्यम से परिभाषित किया गया है। विशेष रूप से, $A(\gamma, \beta)$ , $\beta$ से जुड़े फ्रोबेनियस तत्व पर $\gamma$ से जुड़े टॉसर (torsor) का मूल्यांकन है।
- चेर्न-साइमनस से संबंध: शोध पत्र यह प्रदर्शित करता है कि यह पेयरिंग $A$ , [Chu+19] में परिभाषित अबेलियन अंकगणितीय चेर्न-साइमनस पेयरिंग के फलन क्षेत्र (function field) के अनुरूप है। इसमें पेयरिंग की समरूपता (symmetry) और आर्टिन-वेर्डियर ड्यूअलिटी के साथ इसकी अनुकूलता को दिखाना शामिल है।
- मूल्यांकन: पाथ इंटीग्रल की गणना एक डिस्क्रीट सम $\sum_{\gamma \in J[\ell](\mathbb{F}_q)} e^{2\pi i A(\gamma)}$ के रूप में की जाती है। चूंकि $A$ एक नॉन-डेजेनरेट सिमेट्रिक बाइलिनियर फॉर्म है, इसलिए इस सम का मूल्यांकन एक परिमित क्षेत्र पर गॉसियन इंटीग्रल के रूप में किया जाता है, जो पेयरिंग मैट्रिक्स के डिटरमिनेंट के लेजेंड्रे सिंबल और बिंदुओं की संख्या के वर्गमूल से संबंधित परिणाम देता है।
संश्लेषण (अनुभाग 5):
- स्वतंत्र रूप से प्राप्त दो अभिव्यक्तियों को संयोजित किया जाता है। लेखक दिखाते हैं कि वे बिल्कुल मेल खाते हैं, बशर्ते कि चिह्न को जेनस $g$ , $\text{Fr}_q-1$ के रेगुलराइज्ड डिटरमिनेंट, और पेयरिंग $A$ के डिटरमिनेंट से जुड़े एक विशिष्ट लेजेंड्रे सिंबल पद द्वारा सुधारा जाए।

मुख्य योगदान और परिणाम

थ्योरम A (थ्योरम 5.1): मुख्य परिणाम यह बताता है कि $\mathbb{F}_q$ पर एक कर्व $X$ और एक विषम अभाज्य $\ell$ के लिए जहाँ $q \equiv 1 \pmod \ell$ हो, यदि $\text{Fr}_q$ , $J[\ell]$ पर सेमीसिम्प्ली (semisimply) कार्य करता है, तो:
$\text{tr}(\text{Fr}_q | \mathcal{H}) = \left( \frac{(-1)^g \det'(1 - \text{Fr}_q) \det(A)}{\ell} \right) \sum_{\gamma \in J[\ell](\mathbb{F}_q)} e^{2\pi i A(\gamma)}$
जहाँ $\det'$ रेगुलराइज्ड डिटरमिनेंट (कर्नेल द्वारा भागफल पर डिटरमिनेंट) को दर्शाता है।
स्पष्ट चिह्न निर्धारण: एक प्राथमिक योगदान सूत्र में चिह्न का स्पष्ट निर्धारण है। मिन्ह्योंग किम और अक्षय वेंकटेश के पिछले अप्रकाशित कार्यों ने एक अनिर्धारित चिह्न के तहत और एक प्रतिबंधात्मक धारणा के तहत इस सूत्र को स्थापित किया था कि एक इनवेरिएंट लैग्रेंजियन सबस्पेस मौजूद है। यह शोध पत्र लैग्रेंजियन धारणा को हटाता है और सामान्य सेमीसिंपल मामले के लिए सटीक चिह्न प्रदान करता है।
रेगुलराइज्ड डिटरमिनेंट्स: यह शोध पत्र अंकगणितीय सूत्र में रेगुलराइज्ड डिटरमिनेंट्स की उपस्थिति को रेखांकित करता है, जो भौतिक पाथ इंटीग्रल्स के साथ इसके सामंजस्य को मजबूत करता है जहाँ ये डिटरमिनेंट्स अनंत-आयामी सेटिंग्स में उत्पन्न होते हैं।
कम्प्यूटेशनल उदाहरण: अनुभाग 6 $\mathbb{F}_7$ पर एलिप्टिक कर्व्स के लिए $\ell=3$ के साथ स्पष्ट गणना प्रदान करता है। ये उदाहरण उन मामलों को दर्शाते हैं जहाँ ट्रेस गैर-तुच्छ (non-trivial) है लेकिन पाथ इंटीग्रल तुच्छ है (तर्कसंगत बिंदुओं की कमी के कारण), और इसके विपरीत भी, जो ठोस सेटिंग्स में प्रमेय को सत्यापित करते हैं।

महत्व और दायरा
शोध पत्र का दावा है कि यह टोपोलॉजी और अंकगणित के बीच एनालॉजी (Mazur और Morishita के संदर्भ में) में योगदान देता है, विशेष रूप से TQFT में ट्रेस-पाथ इंटीग्रल फॉर्मूला के एक कठोर अंकगणितीय समकक्ष को प्रदान करके। यह कार्य संख्या क्षेत्रों (number fields) पर पहले अध्ययन किए गए अंकगणितीय पाथ इंटीग्रल के फलन क्षेत्र के अनुरूप है।

लेखक नोट करते हैं कि वर्तमान निर्माण के लिए $\mu_\ell \subset \mathbb{F}_q$ (अर्थात $q \equiv 1 \pmod \ell$ ) की धारणा आवश्यक है, क्योंकि यह सुनिश्चित करती है कि वेइल पेयरिंग (Weil pairing) आधार क्षेत्र में मान लेती है। शोध पत्र सुझाव देता है कि इस स्थिति को हटाने के लिए परिणामों का सामान्यीकरण करना भविष्य के अनुसंधान की दिशा है। इसके अतिरिक्त, लेखक संख्या क्षेत्रों (इवासावा सिद्धांत क्रियाओं को फ्रोबेनियस के एनालॉग के रूप में उपयोग करते हुए) और गैर-अबेलियन अंकगणितीय क्रियाओं तक विस्तार की संभावनाओं को भी रेखांकित करते हैं, लेकिन इन्हें इस कार्य के परिणाम के बजाय खुले प्रश्नों के रूप में प्रस्तुत किया गया है।