مجموعة شوتكي

المجال الأساسي لمجموعة شوتكي ذات 3 مولدات

في الرياضيات ، تعتبر مجموعة شوتكي نوعًا خاصًا من مجموعات كلاين ، وقد درسها فريدريك شوتكي لأول مرة ( 1877 ) . 

تعريف

لنفترض وجود نقطة p على كرة ريمان . كل منحنى جوردان لا يمر بالنقطة p يقسم كرة ريمان إلى جزأين، ونسمي الجزء الذي يحتوي على p "الخارج " للمنحنى، والجزء الآخر "الداخل". لنفترض وجود 2g منحنيات جوردان منفصلة A₁ , B₁ , ..., Ag , Bₘ على كرة ريمان، ولكل منها داخل منفصل. إذا كانت هناك تحويلات موبيوس Ti تأخذ الجزء الخارجي من Aᵢ إلى داخل Biᵢ ، فإن المجموعة المولدة بهذه التحويلات هي مجموعة كلاينية . مجموعة شوتكي هي أي مجموعة كلاينية يمكن إنشاؤها بهذه الطريقة.

ملكيات

بحسب عمل ماسكيت (1967) ، فإن مجموعة كلاين المولدة بشكل محدود تكون شوتكي إذا وفقط إذا كانت مولدة بشكل محدود ، وحرة ، ولها مجال انقطاع غير فارغ، وجميع العناصر غير التافهة هي لوكسودرومية .

يُحدد المجال الأساسي لتأثير زمرة شوتكي G على نقاطها المنتظمة Ω( G ) في كرة ريمان بواسطة الجزء الخارجي لمنحنيات جوردان التي تُعرّفها. ويُعطى فضاء القسمة المقابل Ω( G )/ G بربط منحنيات جوردان في أزواج، لذا فهو سطح ريمان مضغوط من الرتبة g . هذا هو حدّ المتشعب ثلاثي الأبعاد المُعطى بأخذ خارج القسمة ( H ∪ Ω( G ))/ G للفضاء الزائدي ثلاثي الأبعاد H بالإضافة إلى المجموعة المنتظمة Ω( G ) بواسطة زمرة شوتكي G ، وهي جسم مقبض من الرتبة g . وعلى العكس، يمكن الحصول على أي سطح ريمان مضغوط من الرتبة g من زمرة شوتكي من الرتبة g .

مجموعات شوتكي الكلاسيكية وغير الكلاسيكية

تُسمى زمرة شوتكي كلاسيكية إذا أمكن اختيار جميع منحنيات جوردان المنفصلة، ​​المناظرة لمجموعة مولدات معينة، على شكل دوائر. قدم ماردن ( 1974 ، 1977 ) برهانًا غير مباشر وغير بنائي على وجود زمر شوتكي غير كلاسيكية، وقدم ياماموتو (1991) مثالًا واضحًا على إحداها. وقد بيّن دويل (1988) أن جميع زمر شوتكي الكلاسيكية المولدة نهائيًا لها مجموعات حدية ذات بُعد هاوسدورف محدود من الأعلى بثابت عام أقل من 2. في المقابل، أثبت هو (2010) وجود حد أدنى عام لبُعد هاوسدورف للمجموعات الحدية لجميع زمر شوتكي غير الكلاسيكية. 

مجموعات حدية من مجموعات شوتكي

مجموعة حدود شوتكي (كلاين) في المستوى

مجموعة النهاية لمجموعة شوتكي، وهي متممة Ω( G )، لها دائمًا قياس ليبيغ يساوي صفرًا، ولكن يمكن أن يكون لها قياس هاوسدورف موجب ذو أبعاد d لـ d < 2. وهي مثالية وغير كثيفة في أي مكان بسعة لوغاريتمية موجبة.

يُستنتج البيان المتعلق بمقاييس لوبيغ بالنسبة لمجموعات شوتكي الكلاسيكية من وجود متسلسلة بوانكاريه.

P(z)=(جأناz+دأنا)-4.{\displaystyle \displaystyle {P(z)=\sum (c_{i}z+d_{i})^{-4}.}}

أثبت بوانكاريه أن المتسلسلة | ci | −4 قابلة للجمع على العناصر غير المحايد للمجموعة. في الواقع، عند أخذ قرص مغلق داخل المجال الأساسي، تكون صوره تحت عناصر المجموعة المختلفة منفصلة ومحتواة في قرص ثابت حول الصفر. لذا فإن مجموع المساحات محدود. وباستخدام صيغة تغيير المتغيرات، تكون المساحة أكبر من ثابت مضروب في | ci | −4 . [ 1 ]

يُشير استدلالٌ مماثل إلى أن مجموعة النهاية لها قياس ليبيغ يساوي صفرًا. [ 2 ] لأنها مُحتواة في مُتمِّم اتحاد صور المنطقة الأساسية بواسطة عناصر المجموعة ذات طول الكلمة المحدود بـ n . هذا اتحادٌ محدودٌ للدوائر، وبالتالي له مساحةٌ محدودة. هذه المساحة محدودةٌ من الأعلى بثابتٍ مضروبٍ في مُساهمة مجموع بوانكاريه للعناصر ذات طول الكلمة n ، لذا فهي تتناقص إلى صفر.

فضاء شوتكي

فضاء شوتكي (من جنس g ≥ 2) هو فضاء زمر شوتكي المميزة من الجنس g ، أو بعبارة أخرى، هو فضاء مجموعات g عنصرًا من PSL 2 ( C ) التي تولد زمرة شوتكي، حتى التكافؤ تحت تحويلات موبيوس ( بيرس 1975 ) . وهو فضاء متعدد الشعب معقد ذو بُعد معقد 3g - 3. ويحتوي على فضاء شوتكي الكلاسيكي كمجموعة جزئية مقابلة لزمر شوتكي الكلاسيكية.

لا يكون فضاء شوتكي من النوع g متصلاً ببساطة بشكل عام، ولكن يمكن تحديد فضاء التغطية الشامل الخاص به مع فضاء تايخمولر لأسطح ريمان المدمجة من النوع g .

انظر أيضاً

ملحوظات

مراجع