🔢 mathematics

Decidability of singularities in the Ekedahl--Oort stratification

यह शोध पत्र रूट डेटा (root data) पर फ्रोबेनियस क्रियाओं (Frobenius actions) से संबंधित करके, अच्छी रिडक्शन प्राइम्स (good reduction primes) पर एबेलियन प्रकार के शिमुरा वेरिएटीज़ (abelian type Shimura varieties) के एकेडाल-ओोर्ट स्ट्रेटा (Ekedahl–Oort strata) के ज़ारिस्की क्लोजर (Zariski closures) की कोडायमेंशन वन (codimension one) में रेगुलैरिटी को अभिलक्षित करता है, सिंगुलैरिटीज़ का पता लगाने के लिए एक एल्गोरिदम प्रदान करता है, और इन परिणामों को स्प्लिट केस (split case) में $G$ -ज़िप्स (G-zips) और सामान्यीकृत हासे इनवेरिएंट्स (generalized Hasse invariants) से जोड़ता है।

मूल लेखक: Lorenzo La Porta, Jean-Stefan Koskivirta

प्रकाशित 2026-03-19

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

CC BY 4.0

मूल लेखक: Lorenzo La Porta, Jean-Stefan Koskivirta

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक विशाल, जटिल शहर बनाने की कोशिश कर रहे हैं। यह शहर ईंटों और गारे से नहीं, बल्कि गणितीय आकृतियों से बना है जिन्हें "शिमुरा वैराइटीज़" (Shimura varieties) कहा जाता है। ये आकृतियाँ अविश्वसनीय रूप से जटिल हैं, जो संख्याओं और समरूपता (symmetry) के गहरे रहस्यों को दर्शाती हैं।

अब, कल्पना कीजिए कि यह शहर एक बहुत ही विशिष्ट प्रकार की मिट्टी पर बनाया गया है। गणित में, यह मिट्टी एक "प्राइम नंबर फील्ड" (विशेष रूप से, एक प्राइम नंबर $p$ ) है। आपने जिस शोध पत्र (paper) के बारे में पूछा है, वह इस शहर में दिखने वाले गड्ढों और दरारों (singularities) को समझने के लिए एक मार्गदर्शिका है, जब इसे इस विशिष्ट मिट्टी पर बनाया जाता है।

यहाँ उस शोध पत्र की कहानी का विवरण दिया गया है, सरल उपमाओं का उपयोग करते हुए:

1. शहर और उसके मोहल्ले (स्तरीकरण - The Stratification)

यह शहर एक बड़ा सपाट ब्लॉक नहीं है। इसे इमारतों की व्यवस्था के आधार पर विभिन्न मोहल्लों में विभाजित किया गया है। गणित में, इन्हें एकेडाल-ओर्ट (Ekedahl–Oort - EO) स्ट्रेटा कहा जाता है।

शहर को एक विशाल मानचित्र के रूप में सोचें।
कुछ मोहल्ले पूरी तरह से चिकने और सपाट हैं (जैसे एक पार्क)।
अन्य ऊबड़-खाबड़ हैं, जिनमें नुकीले कोने या छेद हैं (जैसे निर्माण स्थल पर बना सिंकहोल)।
लेखक यह जानना चाहते हैं: कौन से मोहल्ले चिकने हैं, और किनमें दरारें हैं?

2. "ज़िप" मैप (G-zips)

इन मोहल्लों को समझने के लिए, लेखक एक विशेष उपकरण का उपयोग करते हैं जिसे "G-ज़िप" कहा जाता है।

उपमा: कल्पना कीजिए कि आपके पास एक जटिल 3D मूर्ति (एक शिमुरा वैराइटी) है। इसे सीधे देखना बहुत कठिन है। इसलिए, आप एक विशिष्ट कोण से इसकी एक फोटो लेते हैं। यह फोटो एक 2D "ज़िप" मैप है।
शोध पत्र दिखाता है कि यदि आप फोटो (ज़िप मैप) में दरारों को समझ लेते हैं, तो आप स्वचालित रूप से मूर्ति (शिमुरा वैराइटी) में दरारों को भी समझ जाते हैं।
लेखकों ने एक कंप्यूटर एल्गोरिदम (निर्देशों का एक सेट) बनाया है जो ज़िप मैप को देख सकता है और तुरंत बता सकता है: "हाँ, यह मोहल्ला चिकना है," या "नहीं, यहाँ एक दरार है।"

3. "छोटे" बनाम "बड़े" पड़ोसी

एल्गोरिदम मानचित्र में विशिष्ट "पड़ोसियों" को देखकर काम करता है।

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

4. समय यात्री (विशेषता शून्य - Characteristic Zero)

यह सबसे आश्चर्यजनक हिस्सा है।

आमतौर पर, ये दरारें केवल तभी होती हैं जब आप शहर को "प्राइम नंबर मिट्टी" (जैसे $p=3, 5, 7$ ) पर बनाते हैं। यदि आप इसे "रियल नंबर मिट्टी" (जैसे मानक कैलकुलस में उपयोग किए जाने वाले कॉम्प्लेक्स नंबर्स) पर बनाते हैं, तो शहर आमतौर पर एकदम सही होता है।
खोज: लेखकों ने पाया कि प्राइम-नंबर शहर में होने वाली दरारें, "रियल नंबर" दुनिया के एक भूतिया संस्करण द्वारा नियंत्रित होती हैं।
उपमा: कल्पना कीजिए कि आप दर्पण में एक प्रतिबिंब देख रहे हैं। आमतौर पर, प्रतिबिंब केवल एक प्रति होता है। लेकिन यहाँ, लेखकों ने पाया कि यदि आप प्रतिबिंब (कॉम्प्लेक्स नंबर संस्करण) को देखते हैं, तो आप सटीक रूप से भविष्यवाणी कर सकते हैं कि वास्तविक वस्तु (प्राइम नंबर संस्करण) में कहाँ दरार होगी।
उन्होंने सिद्ध किया कि यदि "प्रतिबिंब" एक विशिष्ट तरीके से चिकना है, तो "वास्तविक वस्तु" भी चिकनी होगी। यह बहुत बड़ी बात है क्योंकि यह गणितज्ञों को "प्राइम नंबर" की दुनिया की समस्याओं को हल करने के लिए "रियल नंबर" की दुनिया के शक्तिशाली उपकरणों का उपयोग करने की अनुमति देता है।

5. "हासे इनवैरिएंट्स" (चेतावनी की लाइटें - Hasse Invariants)

अंत में, शोध पत्र हासे इनवैरिएंट्स के बारे में बात करता है।

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

सारांश: उन्होंने वास्तव में क्या किया?

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

यह क्यों मायने रखता है?
ये "शहर" गणित की कुछ सबसे महत्वपूर्ण अनसुलझी समस्याओं (जैसे लैंगलैंड्स प्रोग्राम) के लिए खेल के मैदान हैं। इन "दरारों" के स्थान को जानना गणितज्ञों को संख्या सिद्धांत (number theory) और ज्यामिति (geometry) के बीच बेहतर पुल बनाने में मदद करता है, जो क्रिप्टोग्राफी, भौतिकी और ब्रह्मांड की अंतर्निहित संरचना की हमारी समझ में बड़ी सफलता की ओर ले जा सकता है।

यहाँ जीन-स्टेफ़ान कोस्किविरता और लोरेन्ज़ो ला पोर्टा के शोध पत्र "Decidability of Singularities in the Ekedahl–Oort Stratification" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एबेलियन प्रकार के शिमुरा वैरियटीज़ (Shimura varieties) के विशेष फाइबर (modulo $p$ ) पर एकेडल-ओर्ट (Ekedahl–Oort - EO) स्ट्रैटिफिकेशन के ज्यामितीय गुणों को संबोधित करता है। विशेष रूप से, यह उन विलक्षणताओं (singularities) पर ध्यान केंद्रित करता है जो इन स्ट्रेटा (strata) के ज़ारिस्की क्लोजर (Zariski closures) में दिखाई देती हैं।

संदर्भ: EO स्ट्रैटिफिकेशन, अंतर्निहित रिडक्टिव ग्रुप $G$ के वेइल ग्रुप (Weyl group) $W$ के एक उपसमुच्चय $I_W$ द्वारा अनुक्रमित (indexed) स्थानीय रूप से बंद उप-विवरशियों (locally closed subvarieties) में विशेष फाइबर $S$ को विभाजित करता है।
चुनौती: जबकि व्यक्तिगत स्ट्रेटा की स्मूथनेस (smoothness) अक्सर समझी जाती है, उनके ज़ारिस्की क्लोजर (स्ट्रेटा के संघ/unions) की विलक्षणताओं का लक्षण वर्णन करना कठिन है। यह निर्धारित करना कि क्या स्ट्रेटा का एक विशिष्ट संघ (विशेष रूप से, "एलिमेंटरी $w$ -ओपन" उपसमुच्चय $U = X_w \cup X_{w'}$ ) स्मूथ या नॉर्मल है, एक गैर-तुच्छ समस्या है जिसके महत्वपूर्ण अंकगणितीय निहितार्थ हैं (जैसे, गैलुआ प्रतिनिधित्वों के निर्माण के लिए)।
लक्ष्य: इन क्लोजर की स्मूथनेस/नॉर्मलिटी को तय करने के लिए एक एल्गोरिदम प्रदान करना और विशेषता $p$ में इन विलक्षणताओं को विशेषता शून्य (characteristic zero) में परिभाषित वस्तुओं से जोड़ना।

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

लेखक $G$ -zips (फिल्ट्रेशन वाले कुछ टोरर्स को पैरामीट्राइज़ करने वाले स्टैक्स) के सिद्धांत और [KLPR25] के हालिया परिणामों का उपयोग करते हैं। उनकी कार्यप्रणाली तीन मुख्य स्तंभों पर आधारित है:

$G$ -zips की कॉम्बिनेटरिक्स में न्यूनीकरण (Reduction to Combinatorics of $G$ -zips):
- वे शिमुरा वैरियटी $S$ से $G$ -zips के स्टैक $X$ तक एक स्मूथ अधिरोपण मानचित्र $\zeta: S \to X$ (zip period map) का उपयोग करते हैं।
- $S$ में विलक्षणताओं की समस्या को स्टैक $X$ में एलिमेंटरी $w$ -ओपन सबस्टैक्स $U(w, w') = X_w \cup X_{w'}$ की स्मूथनेस निर्धारित करने में बदल दिया जाता है।
- वे [KLPR25] के एक मानदंड पर भरोसा करते हैं जिसमें कहा गया है कि $U(w, w')$ स्मूथ है यदि और केवल यदि यह $w$ -बाउंडेड ( $w$ -bounded) है (अर्थात कैनोनिकल पैराबोलिक्स $P_{w'} \subseteq P_w$ संतुष्ट करते हैं) और इसमें एक सेपरेटिंग कैनोनिकल कवर (separating canonical cover) है।
"स्मॉल एलिमेंट्स" के माध्यम से एल्गोरिद्मिक डिसाइडेबिलिटी (Algorithmic Decidability via "Small" Elements):
- सेपरेटिंग कैनोनिकल कवर के लिए शर्त $\pi_{\mathbb{F}_p}: W \to I_W$ के इमेज पर निर्भर करती है, जो फ्लैग स्ट्रेटा को ज़िप स्ट्रेटा से जोड़ती है।
- $\pi_{\mathbb{F}_p}$ की गणना करना सामान्यतः कठिन है। लेखक स्मॉल एलिमेंट्स ( $W^{sm}$ ) की अवधारणा पेश करते हैं, जिन्हें उन $w \in W$ के रूप में परिभाषित किया गया है जहाँ लंबाई संरक्षित रहती है: $\ell(\pi_{\mathbb{F}_p}(w)) = \ell(w)$ ।
- वे सिद्ध करते हैं कि स्मॉल एलिमेंट्स के लिए, $\pi_{\mathbb{F}_p}$ एक स्पष्ट रूप से गणनीय मानचित्र $\Xi$ के समान है जो समूह संरचना से प्राप्त होता है।
- वे रूट्स (विशेष रूप से "w-sequences" के गुणों) के संदर्भ में स्मॉल एलिमेंट्स का एक कॉम्बिनेटोरियल लक्षण वर्णन प्रदान करते हैं, जिससे सेट $W^{sm}$ और मानचित्र $\pi_{\mathbb{F}_p}|_{W^{sm}}$ एल्गोरिद्मिक रूप से गणनीय हो जाते हैं।
विशेषता शून्य में लिफ्टिंग (Lifting to Characteristic Zero - Split Case):
- उन प्राइम्स के लिए जहाँ $G$ स्प्लिट (split) होता है, लेखक $\mathbb{Z}_p$ पर ज़िप स्टैक का एक मॉडल और $\mathbb{Q}_p$ (और बाद में $\mathbb{C}$ ) पर इसके जेनेरिक फाइबर का निर्माण करते हैं।
- वे जटिल स्टैक के लिए एक समरूप मानचित्र $\pi_{\mathbb{C}}: W \to I_W$ परिभाषित करते हैं।
- गैलुआ कोहोमोलॉजी और रिडक्शन तर्कों का उपयोग करते हुए, वे दिखाते हैं कि स्मॉल एलिमेंट्स का सेट और मानचित्र $\pi$ , फ्रोबेनियस के घातांक (exponent of the Frobenius) (पहचान मानचित्र $m=0$ सहित) से स्वतंत्र है।
- यह विशेषता $p$ में विलक्षणताओं की डिसाइडेबिलिटी को विशेषता शून्य की वस्तु तक स्थानांतरित करने की अनुमति देता है।

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

A. डिसाइडेबिलिटी एल्गोरिदम (Theorem A)

यह शोध पत्र एक ठोस एल्गोरिदम प्रदान करता है जिससे यह निर्धारित किया जा सके कि क्या एक एलिमेंटरी $w$ -ओपन उपसमुच्चय $U(w, w')$ स्मूथ (या नॉर्मल) है।

इनपुट: एक जोड़ा $(w, w')$ जहाँ $w'$ आंशिक क्रम $\preceq_I$ में $w$ का एक निचला पड़ोसी (lower neighbor) है।
चरण:
1. $w$ -बाउंडेडनेस की जाँच करें: सत्यापित करें कि क्या $w'$ का प्रकार $w$ के प्रकार में समाहित है ( $I_{w'} \subseteq I_w$ )।
2. सेपरेटिंग कंडीशन की जाँच करें: स्मॉल लोअर नेबर्स $\Gamma^{sm}_{I_w}(w)$ का सेट कंप्यूट करें। सत्यापित करें कि $w'$ मानचित्र $\pi_{\mathbb{F}_p}$ के इमेज में नहीं है, जिसे $\Gamma^{sm}_{I_w}(w) \setminus \{w'\}$ पर लागू किया गया है।
महत्व: यह एक ज्यामितीय प्रश्न को $G$ के रूट डेटा (root datum) पर एक परिमित, कॉम्बिनेटोरियल गणना में बदल देता है।

B. प्राइम से स्वतंत्रता (Theorem B)

इन स्ट्रेटा की स्मूथनेस केवल रूट डेटा $\Phi$ पर फ्रोबेनियस के प्रभाव पर निर्भर करती है।

यदि दो प्राइम्स $p$ और $\ell$ रूट डेटा पर एक ही ऑटोमोर्फिज्म $\sigma$ प्रेरित करते हैं (उदाहरण के लिए, यदि $G$ दोनों पर स्प्लिट है), तो संबंधित स्ट्रेटा की स्मूथनेस समान होती है।
इसका तात्पर्य है कि विलक्षणताएँ शिमुरा डेटा की कॉम्बिनेटोरियल संरचना के आंतरिक गुण हैं, न कि विशिष्ट प्राइम का परिणाम।

C. यूनिटरी शिमुरा वैरियटीज़ पर अनुप्रयोग (Theorem C)

लेखक अपने एल्गोरिदम को स्प्लिट प्राइम्स पर यूनिटरी शिमुरा वैरियटीज़ (सिग्नेचर $(r, s)$ ) पर लागू करते हैं।

वे 2-डायमेंशनल स्ट्रेटा (लंबाई 2 वाले तत्वों) की स्मूथनेस को पूरी तरह से वर्गीकृत करते हैं।
परिणाम: स्मूथनेस $\gcd(r, s)$ $g cd (r, s)$ और $n$ $n$ के सापेक्ष $s$ $s$ के मॉड्यूलर इनवर्स पर निर्भर करती है।
- यदि $\gcd(r, s) > 3$ , तो स्ट्रेटा विलक्षण (singular) होते हैं।
- यदि $\gcd(r, s) \in \{2, 3\}$ , तो वे स्मूथ होते हैं।
- यदि $\gcd(r, s) = 1$ , तो स्मूथनेस इस पर निर्भर करती है कि मॉड्यूलर इनवर्स $m = \text{inv}_n(s)$ का मान $n/2$ से अधिक है या कम।

D. विशेषता शून्य से संबंध (Theorem D)

स्प्लिट प्राइम्स के लिए, EO स्ट्रैटिफिकेशन (विशेषता $p$ ) में विलक्षणताएँ कॉम्प्लेक्स ज़िप स्टैक $X_{\mathbb{C}}$ की ज्यामिति द्वारा नियंत्रित होती हैं।

$U(w, w')$ विशेषता $p$ में स्मूथ है यदि और केवल यदि संगत सबस्टैक $U_{\mathbb{C}}(w, w')$ कॉम्प्लेक्स सेटिंग में $w$ -बाउंडेड है और एक सेपरेटिंग कैनोनिकल कवर को स्वीकार करता है।
यह सुझाव देता है कि विशेषता $p$ में "खराब" व्यवहार फ्रोबेनियस मानचित्र का आर्टिफैक्ट नहीं है, बल्कि अंतर्निहित समूह संरचना का एक मौलिक गुण है।

E. विशेषता शून्य में जनरलाइज्ड हासे इनवेरिएंट्स (Generalized Hasse Invariants) (Theorem E)

यह शोध पत्र कॉम्प्लेक्स स्टैक $X_{\mathbb{C}}$ पर जनरलाइज्ड हासे इनवेरिएंट्स (लाइन बंडल्स के सेक्शन जो ठीक स्ट्रेटा के पूरक पर शून्य होते हैं) के अस्तित्व की जांच करता है।

विशेषता $p$ के विपरीत, जहाँ हासे इनवेरिएंट्स के लिए अक्सर उच्च वेट (high weights) की आवश्यकता होती है, लेखक दिखाते हैं कि विशेषता शून्य में (विशेष रूप से आइडेंटिटी ज़िप डेटा के लिए), ट्रिवियल लाइन बंडल्स ( $\lambda = 0$ ) हासे इनवेरिएंट्स को स्वीकार कर सकते हैं।
वे अस्तित्व के लिए एक मानदंड प्रदान करते हैं: एक हासे इनवेरिएंट $w$ के लिए तब मौजूद होता है जब एक वेट $\lambda_0$ मौजूद हो कि $\lambda = w\lambda_0 - z\lambda_0$ और सभी "क्रिटिकल" रूट्स $\alpha \in E_w$ के लिए $\langle \lambda_0, \alpha^\vee \rangle < 0$ हो।
उदाहरण: $G=GL_n$ के लिए सिग्नेचर $(n-1, 1)$ के साथ, वेट 0 के हासे इनवेरिएंट्स सभी स्ट्रेटा पर मौजूद हैं।

4. महत्व और प्रभाव (Significance and Impact)

कंप्यूटेशनल अरिथमेटिक ज्योमेट्री: यह शोध पत्र EO स्ट्रेटा क्लोजर की ज्यामिति निर्धारित करने की एक लंबे समय से चली आ रही कठिनाई को हल करता है। एक एल्गोरिदम प्रदान करके, यह किसी भी एबेलियन प्रकार की शिमुरा वैरियटी के लिए विलक्षणताओं की स्पष्ट गणना को सक्षम बनाता है, जिससे mod $p$ ऑटोमॉर्फिक फॉर्म्स और गैलुआ प्रतिनिधित्वों के अध्ययन को सुगम बनाया जा सके।
विशेषताओं को जोड़ना: यह खोज कि विशेषता $p$ में विलक्षणताएँ विशेषता शून्य की वस्तु ( $X_{\mathbb{C}}$ ) द्वारा शासित होती हैं, एक गहरा वैचारिक बदलाव है। यह सुझाव देता है कि EO स्ट्रैटिफिकेशन की "पैथोलॉजी" फ्रोबेनियस मानचित्र का परिणाम नहीं है, बल्कि अंतर्निहित समूह संरचना का एक मौलिक गुण है।
मोडुली स्पेस के लिए नए उपकरण: विशेषता शून्य में हासे इनवेरिएंट्स (और "फील्ड विद वन एलिमेंट" का अनुमान) का परिचय मॉड्युली स्पेस की ज्यामिति पर एक नया दृष्टिकोण प्रदान करता है, जो संभावित रूप से EO स्ट्रैटिफिकेशन को शास्त्रीय कॉम्प्लेक्स ज्योमेट्री और हॉज थ्योरी (Hodge theory) से नए तरीकों से जोड़ता है।
ठोस अनुप्रयोग: यूनिटरी शिमुरा वैरियटीज़ के लिए स्पष्ट वर्गीकरण इन सिद्धांतों के लिए एक परीक्षण स्थल प्रदान करता है और इन विशिष्ट मॉड्युली स्पेस की ज्यामिति के बारे में ठोस परिणाम देता है, जो लैंगलैंड्स प्रोग्राम (Langlands program) के केंद्र में हैं।

संक्षेप में, यह शोध पत्र ईकेडल-ओर्ट स्ट्रेटा की विलक्षणताओं को समझने के लिए एक कठोर, एल्गोरिद्मिक ढांचा स्थापित करता है, यह सिद्ध करता है कि उनकी विलक्षणता विशिष्ट रेडक्शन प्राइम से स्वतंत्र है (कुछ शर्तों के तहत), और उन्हें विशेषता शून्य की ज्यामितीय वस्तु से जोड़ता है, जिससे शिमुरा वैरियटीज़ पर अंकगणितीय और जटिल ज्यामितीय दृष्टिकोणों का एकीकरण होता है।