We classify complex hyperplane arrangements $\mathcal A$ whose intersection posets $L(\mathcal A)$ satisfy $L(\mathcal A)=Ï_i^{-1}\circÏ_i\bigl(L(\mathcal A)\bigr)$ for $i=1,\dots,n$. Here $Ï_i$ denotes the projection from $\mathbb C^n$ onto $\mathbb C^{n-1}$ defined by that forgets the coordinate $x_i$ of $(x_1,\dots,x_n)\in\mathbb C^n$, and $Ï_i\bigl(L(\mathcal A)\bigr)=\{Ï_i(S)\mid S\in L(\mathcal A)\}$. We show that such arrangements $\mathcal A$ arise as pullbacks of the mirror hyperplanes of complex reflection groups of type $A$ or $B$.
यह पेपर L(A)=πi−1∘πi(L(A)) शर्त को संतुष्ट करने वाली जटिल अतिसमतल व्यवस्थाओं A का वर्गीकरण करता है, जहां i=1,…,n। यहां πi को Cn से Cn−1 तक का प्रक्षेपण दर्शाता है, जो निर्देशांक xi को भूलने के रूप में परिभाषित है। लेखक ने सिद्ध किया है कि इस प्रकार की व्यवस्थाएं बिल्कुल A प्रकार या B प्रकार की जटिल प्रतिबिंब समूहों के दर्पण अतिसमतलों के पुलबैक हैं।
समस्या परिभाषा: विशेष स्थिरता गुणों वाली अतिसमतल व्यवस्थाओं का अध्ययन। इन व्यवस्थाओं का प्रतिच्छेदन जाली L(A) निर्देशांक प्रक्षेपण के तहत अपरिवर्तनीय रहता है।
महत्व:
अतिसमतल व्यवस्थाएं बीजगणितीय संयोजन विज्ञान का मूल अध्ययन विषय हैं
जटिल प्रतिबिंब समूह सिद्धांत से घनिष्ठ संबंध
अवकल समीकरण प्रणालियों (विशेषकर Pfaffian प्रणालियों) में महत्वपूर्ण अनुप्रयोग
मौजूदा सीमाएं: पहले स्थिर अतिसमतल व्यवस्थाओं का व्यवस्थित वर्गीकरण नहीं था
अनुसंधान प्रेरणा:
लघुगणकीय विलक्षणताओं वाली Pfaffian प्रणालियों के अध्ययन से उत्पन्न
मध्यवर्ती संवलन संचालन में विलक्षणता स्थान को अपरिवर्तित रखने के विश्लेषण की आवश्यकता
KZ प्रकार की प्रणालियों के रूपांतरण सिद्धांत अनुप्रयोग
परिभाषा 1.3: सदिश v ∈ V को S ∈ L(A) के समांतर कहा जाता है,
यदि और केवल यदि ⟨v,S⟩ = S
व्यवस्था A को v-बंद कहा जाता है, यदि और केवल यदि
प्रत्येक S ∈ L(A)^(2) के लिए, ⟨v,S⟩ ∈ L(A)
व्यवस्था A को स्थिर कहा जाता है, यदि और केवल यदि
n रैखिकतः स्वतंत्र सदिश मौजूद हैं जिनके लिए A बंद है
मान लीजिए ACn में एक स्थिर, अपचयित और अविघटनीय अतिसमतल व्यवस्था है, और #L(2)>1। उपयुक्त निर्देशांक प्रणाली में, धनात्मक पूर्णांक m, अऋणात्मक पूर्णांक r और शून्येतर जटिल संख्याएं α1,…,αr का अस्तित्व है जैसे कि:
संकेतन:
Ω:={e2πk−1/m:k=1,…,m}
Ac:={{xi=ωαj}:ω∈Ω,i=1,…,n,j=1,…,r}
A0:={{xi=0}:1≤i≤n}
वर्गीकरण परिणाम:
n=2 स्थिति: r≥1 और
A={{x1=ωx2}:ω∈Ω′}∪Ac∪A0
जहां 1∈Ω′⊂Ω
n≥3 स्थिति:
A=A′ (जबm=1औरn>3)याA=A′∪Ac∪A0
जहां A′:={{xi=ωxj}:ω∈Ω,1≤i<j≤n}
n=2 के लिए, मूल {y=α1x},{y=α2x+α3} जैसी अतिसमतल संयोजनों का विश्लेषण है:
लेम्मा 3.1: यदि परिमित समुच्चय F⊂C को T1(F)=T2(F)=F संतुष्ट करता है, जहां T1(z)=α1z, T2(z)=α2z+α3, तो आवश्यक रूप से α3=0 और पूर्णांक m≥2 का अस्तित्व है जैसे कि α1m=α2m=1।
यह पेपर अतिसमतल व्यवस्था सिद्धांत के लिए महत्वपूर्ण संरचनात्मक परिणाम प्रदान करता है। इसका वर्गीकरण प्रमेय न केवल सैद्धांतिक मूल्य रखता है, बल्कि संबंधित अवकल समीकरण सिद्धांत के लिए एक मजबूत संयोजन आधार भी प्रदान करता है।