🔢 mathematics

Emerton--Gee stacks, Serre weights, and Breuil--Mézard conjectures for $\mathrm{GSp}_4$

यह शोध पत्र रैंक 4 के सिम्प्लेक्टिक $(\varphi,\Gamma)$ -मॉड्यूल का एक मोडुलि स्टैक (moduli stack) निर्मित करता है और स्थानीय मॉडलों (local models) के माध्यम से इसके ज्यामिति का विश्लेषण करके ब्रेउइल-मेज़र्ड अनुमान (Breuil–Mézard conjecture) का $\mathrm{GSp}_4$ -अनुरूप, सेरे के अनुमान (Serre's conjecture) का भार भाग, और जेनेरिसिटी (genericity) की स्थितियों के तहत टैमली पोटेंशियलली क्रिस्टलाइन (tamely potentially crystalline) निरूपणों के लिए एक मोडुलैरिटी लिफ्टिंग परिणाम सिद्ध करता है।

मूल लेखक: Heejong Lee

प्रकाशित 2026-07-30

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

CC BY 4.0

मूल लेखक: Heejong Lee

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

कल्पना कीजिए कि ब्रह्मांड संख्याओं और आकृतियों से बुना हुआ एक विशाल, अदृश्य टेपेस्ट्री (tapestry) है। गणित की दुनिया में, एक प्रसिद्ध पहेली है जिसे "मॉड्यूलरिटी अनुमान" (Modularity Conjecture) कहा जाता है। यह सुझाव देता है कि संख्याओं का उपयोग करके बनाया गया हर अजीब, ऊबड़-खाबड़ पैटर्न (विशेष रूप से, गैलवा प्रतिनिधित्व (Galois representations), जो उन गुप्त कोडों की तरह हैं जो बताते हैं कि संख्याएँ कैसे मुड़ती और घूमती हैं) वास्तव में एक चिकनी, लयबद्ध लहर (एक मॉड्यूलर फॉर्म) द्वारा डाली गई एक छाया है। लंबे समय तक, गणितज्ञ केवल तब इन छायाओं को स्पष्ट रूप से देख पाते थे जब पैटर्न सरल होते थे, जैसे कि एक सपाट कागज पर चित्र बनाना। लेकिन क्या होता है जब कागज मुड़ जाता है, या जब चित्र अविश्वसनीय रूप से जटिल हो जाता है?

इसे हल करने के लिए, गणितज्ञ एक शक्तिशाली उपकरण का उपयोग करते हैं जिसे "लैंगलैंड्स प्रोग्राम" (Langlands Program) कहा जाता है। इसे एक सार्वभौमिक अनुवादक के रूप में सोचें जो दो अलग-अलग भाषाओं को बोलने की कोशिश करता है: सममिति (symmetry) की भाषा (समूह जैसे $GSp_4$ , जो यह वर्णन करते हैं कि चार-आयामी वस्तुओं को उनका आकार बनाए रखते हुए कैसे खींचा और मोड़ा जा सकता है) और संख्या सिद्धांत (number theory) की भाषा। इस अनुवाद का एक महत्वपूर्ण हिस्सा पैटर्न के "भार" (weight) को समझना है। रोजमर्रा की भाषा में, "भार" का अर्थ भारी होना नहीं है; यह पैटर्न के रंग या बनावट की तरह है। यदि आप भार जानते हैं, तो आप ठीक से जान सकते हैं कि किस चिकनी लहर ने वह छाया बनाई है। सरल आकृतियों के लिए, हमारे पास एक सटीक शब्दकोश है। लेकिन जटिल, चार-आयामी आकृतियों के लिए, शब्दकोश के कई पन्ने गायब थे। यह शोध पत्र विशेष रूप से $GSp_4$ नामक सममिति के एक समूह के लिए उन गायब पन्नों को लिखने का काम करता है, जो एक विशिष्ट प्रकार के चार-आयामी नृत्य को नियंत्रित करता है।

शोध पत्र: एक चार-आयामी नृत्य मंच का मानचित्र

इस शोध पत्र में, हीजों ली (Heejong Lee) एक ऐसे गणितीय परिदृश्य का एक विशाल, डिजिटल मानचित्र बनाते हैं जिसका पहले पूरी तरह से अन्वेषण नहीं किया गया था। एक विशाल, बहु-स्तरीय नृत्य मंच की कल्पना करें जहाँ नर्तक (संख्याओं के प्रतिनिधित्व) चार आयामों में चलते हैं। कुछ नर्तक सुचारू रूप से और पूर्वानुमानित तरीके से चलते हैं (क्रिस्टलाइन), जबकि अन्य थोड़े अराजक होते हैं। गणितज्ञ जानना चाहते हैं: "यदि मैं एक नर्तक को एक विशिष्ट, अस्त-व्यस्त तरीके से चलते हुए देखता हूँ, तो क्या मैं सटीक रूप से भविष्यवाणी कर सकता हूँ कि उनका चिकना, आदर्श संस्करण कैसा दिखता है?"

ऐसा करने के लिए, ली एक नए प्रकार के "एमर्टन-गी स्टैक" (Emerton–Gee stack) का निर्माण करते हैं। यदि एक 'स्टैक' डेटा का ढेर है, तो यह एक जादुई, अनंत पुस्तकालय है जहाँ प्रत्येक पुस्तक इस बात का प्रतिनिधित्व करती है कि ये चार-आयामी संख्याएँ कैसे व्यवहार कर सकती हैं। लेखक सिद्ध करते हैं कि यह पुस्तकालय सुव्यवस्थित है (यह एक "नोथेरियन फॉर्मल अलब्रािक स्टैक" है) और इस पुस्तकालय की प्रत्येक पुस्तक को एक विशिष्ट "सेरे वेट" (Serre weight - पैटर्न के रंग/बनावट) तक वापस ट्रैक किया जा सकता है। यह ऐसा है जैसे यह सिद्ध करना कि पुस्तकालय में प्रत्येक संभावित नृत्य की मुद्रा का एक अद्वितीय आईडी कार्ड है।

स्थानीय मॉडल (The Local Models): ब्लूप्रिंट
असली जादू तब होता है जब ली "स्थानीय मॉडलों" को देखते हैं। कल्पना कीजिए कि आप एक जटिल इमारत को समझने की कोशिश कर रहे हैं, लेकिन आप केवल बाहर से देख सकते हैं। ली एक पारदर्शी, ज्यामितीय ब्लूप्रिंट (एक "स्थानीय मॉडल") बनाते हैं जो आपको इन गणितीय इमारतों की आंतरिक संरचना देखने की अनुमति देता है। वह "टोरस फिक्स्ड पॉइंट्स" (torus fixed points) पर ध्यान केंद्रित करते हैं, जो इमारत के उन कोनों की तरह हैं जहाँ संरचना सबसे अधिक कठोर होती है।

वह एक आश्चर्यजनक तथ्य सिद्ध करते हैं: इन कोनों पर, इमारत "यूनिब्रान्च" (unibranch) है। सरल शब्दों में, इसका अर्थ है कि यदि आप एक कोने पर खड़े होकर फर्श को देखते हैं, तो आपको रास्ता विभाजित होने वाला कोई मोड़ नहीं दिखेगा। केवल एक ही पथ है। यह सुनने में उबाऊ लग सकता है, लेकिन इन समीकरणों की दुनिया में, यह एक बहुत बड़ी बात है। यह सिद्ध करता है कि "डिफॉर्मेशन रिंग्स" (संख्याओं को खींचने और बदलने के गणितीय उपकरण) "डोमेन" (domains) हैं। एक डोमेन को एक ठोस, अखंड टुकड़े के रूप में सोचें। यदि भूमि खंडित (डोमेन नहीं) है, तो आप उस पर एक स्थिर घर नहीं बना सकते। ली दिखाते हैं कि कुछ "जेनेरिक" (generic) स्थितियों के तहत (मूल रूप से, जब संख्याएँ बहुत अजीब या विशेष नहीं होती हैं), भूमि ठोस और अखंड है।

बड़ी जीत: तीन नए पुल
इस ठोस आधार के साथ, ली गणित के विभिन्न द्वीपों को जोड़ने के लिए तीन प्रमुख पुल बनाते हैं:

ब्रेउइल-मेज़र्ड अनुमान (The Breuil–Mézard Conjecture): यह एक नियम है जो भविष्यवाणी करता है कि कोई जटिल गणितीय वस्तु अपने "मोड p" (शेषफल) संस्करण के आधार पर कितनी जटिल है। ली सिद्ध करते हैं कि यह नियम इन चार-आयामी आकृतियों के लिए काम करता है। यह यह कहने जैसा है कि, "यदि आप एक मूर्ति के कच्चे रेखाचित्र को जानते हैं, तो अब आप सटीक रूप से भविष्यवाणी कर सकते हैं कि अंतिम उत्कृष्ट कृति को तराशने के लिए कितने संगमरमर की आवश्यकता थी।"
सेरे के अनुमान का भार वाला भाग (The Weight Part of Serre's Conjecture): यह वही "शब्दकोश" है जिसका उल्लेख पहले किया गया था। ली सिद्ध करते हैं कि इन चार-आयामी आकृतियों के लिए, "भार" (रंग/बनावट) पूरी तरह से इस बात से निर्धारित होता है कि वह आकृति एक विशिष्ट बिंदु (इनर्टिया ग्रुप) पर कैसे व्यवहार करती है। वह पुष्टि करते हैं कि शब्दकोश के प्रविष्टियाँ पैटर्न के साथ पूरी तरह मेल खाती हैं, बशर्ते कि संख्याएँ बहुत अधिक अस्त-व्यस्त न हों।
मॉड्यूलरिटी लिफ्टिंग (Modularity Lifting): यह अंतिम लक्ष्य है। यदि आपको एक ऐसा पैटर्न मिलता है जो ऐसा लगता है कि एक चिकनी लहर की छाया है, तो ली का कार्य सिद्ध करता है कि यदि वह कुछ विशिष्ट परीक्षणों को पास करता है, तो वह वास्तव में एक छाया है। यह कीचड़ में एक पदचिह्न खोजने और बिना किसी संदेह के यह सिद्ध करने जैसा है कि वह एक विशिष्ट प्रसिद्ध खोजकर्ता का है।

कैच (The "Generic" Condition)
यह ध्यान रखना महत्वपूर्ण है कि ये परिणाम एक शर्त के साथ आते हैं। ली कहते हैं कि ये प्रमाण तब काम करते हैं जब संख्याएँ "पर्याप्त रूप से जेनेरिक" (sufficiently generic) होती हैं। हमारी उपमा में, इसका अर्थ है कि नर्तक एक मानक, अच्छी तरह से अभ्यास किए गए रूटीन को कर रहे हैं। यदि नर्तक कुछ बेहद अजीब या टूटे हुए तरीके से व्यवहार कर रहे हैं (गैर-जेनेरिक), तो मानचित्र काम नहीं करेगा। यह शोध पत्र हर संभव अजीब मामले को हल करने का दावा नहीं करता है, लेकिन यह अधिकांश "सामान्य" मामलों के लिए समाधान प्रदान करता है, जो कि एक बहुत बड़ा कदम है।

यह क्यों महत्वपूर्ण है
यह केवल सुंदर आकृतियाँ बनाने के बारे में नहीं है। इन चार-आयामी गणितीय संरचनाओं के बारे में यह सिद्ध करके कि वे ठोस (domains) हैं और हम उनके भार की भविष्यवाणी कर सकते हैं, ली गणितज्ञों को और भी बड़ी समस्याओं को हल करने के लिए उपकरण प्रदान करते हैं। यह एक वास्तुकार को एक ऐसा ब्लूप्रिंट देने जैसा है जो यह सिद्ध करता है कि एक गगनचुंबी इमारत ढहेगी नहीं, ताकि वे अंततः अगली मंजिल बनाना शुरू कर सकें। यह कार्य संख्याओं, आकृतियों और सममिति के गहरे सिद्धांतों को जोड़ता है, जो हमें गणितीय ब्रह्मांड की मौलिक लय को समझने के करीब लाता है।

तकनीकी सारांश: एमर्टन-गी स्टैक्स (Emerton–Gee Stacks), सेरे वेट्स (Serre Weights), और $GSp_4$ के लिए ब्रेउइल-मेज़र्ड अनुमान (Breuil–Mézard Conjectures)

1. समस्या का विवरण और संदर्भ
यह शोध पत्र सामान्य रैखिक समूह $GL_n$ से सिम्प्लेक्टिक सिमिलिट्यूड समूह $GSp_4$ तक मॉड $p$ लैंगलैंड्स प्रोग्राम और सेरे के अनुमान (Serre's conjecture) के वेट भाग के विस्तार को संबोधित करता है। जबकि $GL_n$ के लिए एमर्टन-गी स्टैक्स (मॉडुली स्टैक ऑफ $p$ -एडिक लैंगलैंड्स पैरामीटर्स) और पोटेंशियल क्रिस्टलाइन डीफॉर्मेशन रिंग्स के लिए लोकल मॉडल्स का सिद्धांत (विशेष रूप से ली, ली हंग, लेविन और मोरा द्वारा) स्थापित किया जा चुका है, $GSp_4$ का मामला महत्वपूर्ण संरचनात्मक चुनौतियाँ प्रस्तुत करता है। विशेष रूप से, $GSp_4$ के क्लाइनगन पैराबोलिक (Klingen parabolic) सबग्रुप में एक गैर-एबेलियन यूनिपोटेंट रेडिकल (non-abelian unipotent radical) होता है, जो एक्सटेंशन के परिवारों के निर्माण और डीफॉर्मेशन रिंग्स के विश्लेषण को जटिल बनाता है। प्राथमिक उद्देश्य $GSp_4$ के लिए एमर्टन-गी स्टैक का निर्माण करना, इसके पोटेंशियल क्रिस्टलाइन सबस्टैक्स के लिए लोकल मॉडल्स का सिद्धांत विकसित करना, और इन ज्यामितीय उपकरणों को $GSp_4$ के लिए मान वाले ग्लोबल गैलवाइज़ रिप्रेजेंटेशन्स के लिए ब्रेउइल-मेज़र्ड अनुमान और सेरे के अनुमान के वेट भाग को सिद्ध करने में लागू करना है।

2. कार्यप्रणाली
लेखक $p$ -एडिक हॉज थ्योरी (Hodge theory), बीजगणिक ज्यामिति (algebraic geometry), और ग्लोबल पैचिंग तर्क (global patching arguments) के संयोजन का उपयोग करता है:

सिम्प्लेक्टिक एमर्टन–गी स्टैक्स का निर्माण: शोध पत्र रैंक 4 सिम्प्लेक्टिक प्रोजेक्टिव एटेले $(\phi, \Gamma)$ -मॉड्यूल्स का एक मॉडुली स्टैक $X_{Sym, K}$ को परिभाषित करता है। यह स्टैक $G_K \to GSp_4(A)$ के निरंतर (continuous) रिप्रेजेंटेशन्स को बीजगणिक रूप से इंटरपोलेट करता है। इसका निर्माण $GL_4 \times GL_1$ के लिए एमर्टन और गी के परिणामों को सिम्प्लेक्टिक सेटिंग में सामान्यीकृत करने पर आधारित है, जिसमें सिम्प्लेक्टिक मॉड्यूल्स और $GSp_4$ -मान वाले रिप्रेजेंटेशन्स के बीच तुल्यता का उपयोग किया गया है।
लोकल मॉडल्स और ज्यामिति: पोटेंशियल क्रिस्टलाइन सबस्टैक्स के अध्ययन के लिए, लेखक $GL_n$ के लिए विकसित लोकल मॉडल्स के सिद्धांत को अनुकूलित करता है। इन मॉडल्स का निर्माण $Res_{K/\mathbb{Q}_p} GSp_4$ से जुड़े पैपास-झू (Pappas–Zhu) लोकल मॉडल्स के भीतर क्लोज्ड सबवेरिटीज के रूप में किया जाता है। एक महत्वपूर्ण चरण इन लोकल मॉडल्स के टोरस-फिक्स्ड पॉइंट्स पर यूनिब्रान्च प्रॉपर्टी (unibranch property) को सिद्ध करना है। इसके लिए मिक्स्ड कैरेक्टेरिस्टिक में नैइव (naive) लोकल मॉडल्स के स्पेशल फाइबर का विश्लेषण करने और विस्तारित एफाइन वेइल ग्रुप (extended affine Weyl group) से जुड़े कॉम्बिनेटरियल डेटा के माध्यम से इर्रेड्यूसिबल कंपोनेंट्स को सेरे वेट्स के साथ मिलाने की आवश्यकता होती है।
इनर्शियल लोकल लैंगलैंड्स कॉरेस्पोंडेंस: शोध पत्र का एक प्रमुख तकनीकी घटक $GSp_4$ के लिए एक इनर्शियल लोकल लैंगलैंड्स कॉरेस्पोंडेंस का निर्माण है। लेखक एक टेम (tame) इनर्शियल $L$ -पैरामीटर $\tau$ को एक टेम टाइप $\sigma(\tau)$ (अर्थात $GSp_4(k)$ का एक इर्रेड्यूसिबल रिप्रेजेंटेशन) से जोड़ता है। इसमें डेलिग्न-लुस्टिग (Deligne–Lusztig) रिप्रेजेंटेशन्स का स्पष्ट विवरण और पैराबोलिक इंडक्शन (सीगल और क्लाइनगन पैराबोलिक्स) तथा थीटा कॉरेस्पोंडेंस के तहत उनके व्यवहार का विश्लेषण शामिल है।
ग्लोबल पैचिंग और लिफ्टिंग: लेखक कमजोर पैचिंग फंक्टर्स (weak patching functors) के निर्माण के लिए एक पैचिंग तर्क (टेलर-विल्स और कैलेगारी-गेरौटी का अनुसरण करते हुए) का उपयोग करता है। एक महत्वपूर्ण घटक $\mathbb{F}$ में निरंतर रिप्रेजेंटेशन्स $G_K \to GSp_4(\mathbb{F})$ के क्रिस्टलाइन लिफ्ट्स के अस्तित्व को सिद्ध करना है। यह रेडक्टिव ग्रुप्स के लिए लिन (Lin) द्वारा विकसित ऑब्स्ट्रक्शन थ्योरी पर निर्भर करता है, जो क्लाइनगन पैराबोलिक से उत्पन्न होने वाली गैर-एबेलियन कोहोमोलॉजी समस्याओं को संभालता है।

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

$X_{Sym, K}$ के ज्यामितीय गुण:
- स्टैक $X_{Sym, K}$ एक नोथेरियन फॉर्मल बीजगणिक स्टैक (Noetherian formal algebraic stack) है।
- Hodge टाइप $\lambda$ और इनर्शियल टाइप $\tau$ वाले पोटेंशियल क्रिस्टलाइन रिप्रेजेंटेशन्स को पैरामीटराइज़ करने वाले क्लोज्ड सबस्टैक्स $X^{\lambda, \tau}_{Sym, K}$ का निर्माण किया गया है और उन्हें $\mathcal{O}$ पर फ्लैट $p$ -एडिक फॉर्मल बीजगणिक स्टैक के रूप में दिखाया गया है।
- अंडरलाइंग रिड्यूस्ड सबस्टैक $X_{Sym, K, red}$ को $4[K:\mathbb{Q}_p]$ आयाम का इक्विडायमेंशनल (equidimensional) दिखाया गया है, जिसके इर्रेड्यूसिबल कंपोनेंट्स को सेरे वेट्स द्वारा स्वाभाविक रूप से लेबल किया गया है।
लोकल मॉडल थ्योरी और यूनिब्रान्च प्रॉपर्टी:
- एक रेगुलर Hodge टाइप $\lambda$ और पर्याप्त जेनेरिक टेम इनर्शियल टाइप $\tau$ के लिए, लोकल मॉडल $M(\lambda, \nabla^a_\tau)$ को किसी भी टोरस-फिक्स्ड पॉइंट पर यूनिब्रान्च सिद्ध किया गया है।
- उपलब्धि (Corollary): यह ज्यामितीय परिणाम यह निहित करता है कि टेम $\rho$ के लिए पोटेंशियल क्रिस्टलाइन डीफॉर्मेशन रिंग $R^{\lambda, \tau}_\rho$ एक डोमेन है (यदि गैर-शून्य हो)। यह पैचिंग तर्क के लिए एक महत्वपूर्ण परिणाम है, जो यह सुनिश्चित करता है कि पैच्ड मॉड्यूल्स का सपोर्ट डीफॉर्मेशन रिंग के संपूर्ण स्पेक्ट्रम पर है।
$GSp_4$ के लिए इनर्शियल लोकल लैंगलैंड्स:
- थ्योरम 2.4.1 स्थापित करता है कि यदि एक स्मूथ रिप्रेजेंटेशन $\pi$ में एक विशिष्ट टेम टाइप $\sigma(\tau)$ शामिल है, तो इनर्शिया पर इसके $L$ -पैरामीटर का रेस्ट्रिक्शन $\tau$ के आइसोमॉर्फिक है। यह परिणाम लोकल डीफॉर्मेशन रिंग्स को ग्लोबल ऑटोमॉर्फिक फॉर्म्स से जोड़ने के लिए आवश्यक है।
अनुमानों के अनुप्रयोग:
- ब्रेउइल–मेज़र्ड अनुमान: जेनेरिसिटी (genericity) की शर्तों के तहत टेमली पोटेंशियल क्रिस्टलाइन डीफॉर्मेशन रिंग्स के लिए ज्यामितिक ब्रेउइल–मेज़र्ड अनुमान को प्रतिपादित और सिद्ध किया गया है। डीफॉर्मेशन रिंग के स्पेशल फाइबर में एक सेरे वेट $\sigma$ की मल्टीसिटी को लोकल मॉडल ज्यामिति के साइकल इंटरसेक्शन नंबर के रूप में व्यक्त किया गया है।
- सेरे के अनुमान का वेट भाग: उन ग्लोबल गैलवाइज़ रिप्रेजेंटेशन्स $r: G_F \to GSp_4(\mathbb{F})$ के लिए जो टेलर-विल्स स्थितियों और $p$ पर टेम जेनेरिसिटी को पूरा करते हैं, मॉड्यूलर सेरे वेट्स $W(r)$ का सेट $W^?(\rho|_{I_F})$ के कॉम्बिनेटोरियली परिभाषित सेट के बराबर सिद्ध किया गया है।
- मॉड्यूलेरिटी लिफ्टिंग: रेगुलर Hodge टाइप और पर्याप्त जेनेरिक इनर्शियल टाइप्स के लिए टेमली पोटेंशियल क्रिस्टलाइन रिप्रेजेंटेशन्स के लिए एक मॉड्यूलेरिटी लिफ्टिंग थ्योरम सिद्ध किया गया है। यदि एक रिप्रेजेंटेशन $r'$ ऑटोमॉर्फिक है और $r$ के मोड्यूलो $p$ अनुरूप (congruent) है, तो $r$ भी ऑटोमॉर्फिक है।

4. महत्व और दावे

यह शोध पत्र $GL_n$ से $GSp_4$ तक एमर्टन-गी स्टैक्स और लोकल मॉडल्स के मूलभूत ढांचे को सामान्यीकृत करने का दावा करता है, जो सिम्प्लेक्टिक समूहों के लिए मॉड $p$ लैंगलैंड्स प्रोग्राम को आगे बढ़ाने के लिए एक आवश्यक कदम है। इसका महत्व निम्नलिखित में निहित है:

गैर-एबेलियन बाधाओं को पार करना: क्लाइनगन पैराबोलिक के गैर-एबेलियन यूनिपोटेंट रेडिकल के निर्माण और क्रिस्टलाइन लिफ्ट्स के अस्तित्व को सिद्ध करने के लिए सफलतापूर्वक नेविगेट करना, जो $GSp_4$ के लिए एक पूर्ववर्ती कठिन समस्या थी।
ज्यामितीय कठोरता: $GSp_4$ के लिए लोकल मॉडल्स की यूनिब्रान्च प्रॉपर्टी को स्थापित करना, जो एक गैर-तुच्छ ज्यामितीय गुण है जिसका उपयोग यह निष्कर्ष निकालने के लिए किया जाता है कि डीफॉर्मेशन रिंग्स डोमेन हैं। यह उन पैचिंग तकनीकों को लागू करने की अनुमति देता है जो पहले केवल $GL_n$ तक सीमित थे।
अनुमानों का सत्यापन: जेनेरिसिटी धारणाओं के तहत $GSp_4$ के लिए ब्रेउइल–मेज़र्ड अनुमान और सेरे के अनुमान के वेट भाग के पहले प्रमाण प्रदान करना, जिससे इन गहरे संख्या-सिद्धांत संबंधी परिणामों का दायरा जनरल लीनियर ग्रुप से आगे बढ़ाया जा सके।

यह कार्य "जेनेरिसिटी" के इनर्शियल टाइप्स और Hodge वेट्स के सापेक्ष, जो कि $p$ के संबंध में है, पर अत्यधिक निर्भर है—एक ऐसी स्थिति जिसे ज्यामितीय और कॉम्बिनेटरियल तर्कों को मान्य करने के लिए स्पष्ट रूप से आवश्यक बताया गया है। परिणाम कुछ ग्लोबल ऑटोमॉर्फिक लिफ्ट्स के अस्तित्व और टेलर-विल्स स्थितियों की वैधता पर सशर्त प्रस्तुत किए गए हैं, जो मॉड्यूलेरिटी लिफ्टिंग के वर्तमान अत्याधुनिक स्तर के अनुरूप है।

इसी तरह के और पेपर