The classification of real quadratic fields which satisfy Hammarhjelm's condition

तकनीकी सारांश: हमरहजेलम की स्थिति (Hammarhjelm's condition) को संतुष्ट करने वाले वास्तविक द्विघाती क्षेत्रों का वर्गीकरण

समस्या विवरण
यह शोध पत्र उन वास्तविक द्विघाती क्षेत्रों $K = \mathbb{Q}(\sqrt{D})$ (जहाँ $D > 1$ एक वर्गमुक्त पूर्णांक है) के वर्गीकरण को संबोधित करता है जो "हमरहजेलम की स्थिति" को संतुष्ट करते हैं। एक क्षेत्र इस स्थिति को तब संतुष्ट करता है जब दो मानदंड पूरे होते हैं:

1. पूर्णांकों के वलय $\mathcal{O}_K$ में अद्वितीय गुणनखंडन होता है (अर्थात, क्लास नंबर $h_K = 1$)।
2. मिंकोव्स्की जालक (Minkowski lattice) $f(\mathcal{O}_K) \subset \mathbb{R}^2$, जो एम्बेडिंग $\alpha \mapsto (\alpha, \sigma(\alpha))$ द्वारा परिभाषित है, खुले आयत $(1, \lambda) \times (-1, 1)$ के भीतर कोई बिंदु नहीं रखता है, जहाँ $\lambda > 1$ क्षेत्र $K$ का मौलिक इकाई (fundamental unit) है।

ये क्षेत्र हाल ही में बीजगणितीय कट-एंड-प्रोजेक्ट सेट्स (cut-and-project sets) में दृश्य बिंदुओं (visible points) के अध्ययन में उभरे हैं। इस कार्य से पूर्व, ज्ञात उदाहरण $D \in \{2, 5, 13, 29, 53\}$ तक सीमित थे। उद्देश्य ऐसे क्षेत्रों की पूर्ण सूची निर्धारित करना है।

कार्यप्रणाली
प्रमाण मौलिक इकाई के डिस्क्रिमिनेन्ट (discriminant) के सापेक्ष आकार और 'जीनस थ्योरी' (genus theory) तथा क्लास नंबर एक वाले क्षेत्रों के मौजूदा वर्गीकरणों का उपयोग करते हुए, हमरहजेलम की स्थिति और मौलिक इकाई के आकार के बीच एक संबंध स्थापित करके आगे बढ़ता है।

1. मौलिक इकाई का परिसीमा निर्धारण (Bounding the Fundamental Unit):
   लेखक सर्वप्रथम यह प्रदर्शित करता है कि हमरहजेलम की स्थिति यह अनिवार्य करती है कि मौलिक इकाई $\lambda$, डिस्क्रिमिनेन्ट $\Delta_K$ के सापेक्ष छोटी हो।

• यदि $D \equiv 2, 3 \pmod 4$, तो $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$।
• यदि $D \equiv 1 \pmod 4$, तो $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$।
  यह परिसीमा इस तथ्य से व्युत्पन्न की गई है कि यदि $\lambda$ इससे बड़ा होता, तो $\mathcal{O}_K$ में विशिष्ट तत्व उस वर्जित आयत के भीतर आ जाते।

2. जीनस थ्योरी और नैरो क्लास ग्रुप्स (Narrow Class Groups):
   यह शोध पत्र क्लास नंबर एक वाले डिस्क्रिमिनेन्ट्स को प्रतिबंधित करने के लिए जीनस थ्योरी का उपयोग करता है। $h_K=1$ के लिए, यह $r(K) \le 2$ को दर्शाता है, जहाँ $r(K)$ $\Delta_K$ के विभिन्न अभाज्य गुणनखंडों की संख्या है।

• $r(K)=2$ वाला मामला जहाँ $D \equiv 1 \pmod 4$ (जहाँ $\Delta_K = pq$), नैरो क्लास ग्रुप के 4-रैंक (via Rédei matrices) का उपयोग करके विश्लेषित किया गया है। यह दिखाया गया है कि यदि $p, q \equiv 1 \pmod 4$ और $q = p+4$, तो 4-रैंक 1 है, जिसका अर्थ है $h_K > 1$।

3. डिस्क्रिमिनेन्ट प्रकार द्वारा वर्गीकरण:
   प्रमाण $D$ के modulo 4 के अनुरूपता के आधार पर विभाजित है:

• $D \equiv 2, 3 \pmod 4$: लेखक यह दर्शाता है कि $D > 2$ के लिए ऐसे कोई क्षेत्र इस स्थिति को संतुष्ट नहीं करते हैं। $D=2$ के लिए, स्थिति सत्य है। $D \equiv 3 \pmod 4$ के मामले में, ऋणात्मक मान वाली इकाइयों की अनुपस्थिति और $\lambda$ की परिसीमा, किसी भी अभाज्य $D$ के लिए विरोधाभास उत्पन्न करती है।
• $D \equiv 1 \pmod 4$:
  • अभाज्य डिस्क्रिमिनेन्ट ($D=p$): $\lambda$ पर $\lambda$ की परिसीमा यह मजबूर करती है कि मौलिक इकाई का मान (norm) $-1$हो, जिससे$D$का रूप$D = (2m+1)^2 + 4$ निर्धारित होता है। यह पहचानता है कि ये क्षेत्र योकोई के परिवार (Yokoi's family) के एक उपसमुच्चय हैं।
  • **संयुक्त डिस्क्रिमिनेन्ट ($D=pq$):** विश्लेषण उन मामलों को खारिज करता है जहाँ$p, q \equiv 1 \pmod 4$(4-रैंक तर्क के कारण) और वे मामले जहाँ$p, q \equiv 3 \pmod 4$(जो "नैरो रिचॉड-डेगर्ट" परिवार के अंतर्गत आते हैं, जिन्हें$D > 5$ के लिए 'कंडीशन H' विफल करते हुए दिखाया गया है)।

4. बिरो के वर्गीकरण का अनुप्रयोग (Application of Biró's Classification):
   योकोई के परिवार ($D = m^2 + 4$) के रूप में पहचाने गए क्षेत्रों के लिए, यह शोध पत्र क्लास नंबर एक वाले इस परिवार के बिरो (2003) के वर्गीकरण पर निर्भर करता है। बिरो ने निर्धारित किया कि इस रूप के एकमात्र वर्गमुक्त डिस्क्रिमिनेन्ट्स जिनका क्लास नंबर एक है, वे $D \in \{5, 13, 29, 53, 173, 293\}$ हैं।

मुख्य योगदान और परिणाम
मुख्य परिणाम प्रमेय 1.1 है, जो कहता है कि ठीक सात वास्तविक द्विघाती क्षेत्र हमरहजेलम की स्थिति को संतुष्ट करते हैं। ये निम्नलिखित डिस्क्रिमिनेन्ट्स के अनुरूप हैं:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

यह शोध पत्र प्रमाण देता है कि:

• पूर्व-ज्ञात उदाहरण ($D=2, 5, 13, 29, 53$) पूर्ण सूची का हिस्सा हैं।
• दो अतिरिक्त क्षेत्र, $D=173$ और $D=293$, इस स्थिति को संतुष्ट करते हैं।
• अन्य कोई वास्तविक द्विघाती क्षेत्र इस स्थिति को संतुष्ट नहीं करता है।

प्रमाण यह स्थापित करता है कि हमरहजेलम की स्थिति यह निहित करती है कि मौलिक इकाई डिस्क्रिमिनेन्ट के सापेक्ष छोटी है, जो खोज क्षेत्र को विशिष्ट क्षेत्रों के परिवारों (योकोई के परिवार और नैरो रिचॉड-डेगर्ट विस्तार) तक सीमित कर देती है जहाँ क्लास नंबर एक वाले क्षेत्रों को पहले से वर्गीकृत किया गया है।

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