लेखक:
(1) कैला त्सचान्ज़.
विशेष वस्तुओं के लिए सीमाओं का अस्तित्व और विशिष्टता। विशेष तत्वों के लिए सीमाओं के अस्तित्व और विशिष्टता पर निम्नलिखित सहायक परिणाम को साबित करने से पहले हमें कुछ परिभाषाएँ स्थापित करने की आवश्यकता है, अर्थात जब S के सामान्य बिंदु पर फाइबर Xη स्वयं एक संशोधित विशेष फाइबर है।
हम मूल्यांकक मानदंड का उपयोग करके पहले मामले में सीमाओं के अस्तित्व और विशिष्टता को साबित करके शुरू करते हैं। मान लें कि V, Xη के अपरिवर्तनीय घटक को दर्शाता है जिसके आंतरिक भाग में P स्थित है। ध्यान दें कि चूँकि P, X के एक स्तर से अधिक या बराबर सह-आयाम की ओर जाता है, तो इसकी सीमा को (Zη, Xη) के विस्तार में सुचारू रूप से समर्थित होने के लिए, इस विस्तार में कम से कम एक Δ-घटक का विस्तार करना आवश्यक होगा। जेनेरिक बिंदु पर फाइबर में V के आंतरिक भाग से (Zη, Xη) के ऐसे विस्तार में इस विस्तारित Δ-घटक के आंतरिक भाग तक एक समतलता मौजूद है यदि और केवल यदि यह Δ-घटक जेनेरिक बिंदु पर फाइबर में V के बराबर है। इसके अलावा, यदि V के बराबर कोई ऐसा Δ-घटक नहीं है, तो x, y या z निर्देशांकों में से कोई भी शून्य की ओर नहीं जा सकता है (क्योंकि परिभाषित समीकरणों के दोनों पक्षों को शून्य की ओर जाना चाहिए)।
डेलिग्ने-मम्फोर्ड संपत्ति। अंत में हम दिखाते हैं कि निर्मित स्थिर वस्तुओं के दोनों स्टैक में परिमित ऑटोमोर्फिज्म हैं।
प्रमाण . यह इस खंड के परिणामों से सीधे अनुसरण करता है।
हमें अल्पर और क्रेश [AK16] से निम्नलिखित परिणाम की भी आवश्यकता होगी।
अब हम निम्नलिखित प्रमेय को सिद्ध करने की स्थिति में हैं:
यह पेपर CC 4.0 लाइसेंस के अंतर्गत arxiv पर उपलब्ध है।