غطاء متفرع

في الرياضيات ، التغطية المتفرعة هي خريطة تكاد تكون خريطة تغطية ، باستثناء أنها تقع على مجموعة صغيرة.

في علم الطوبولوجيا

في علم الطوبولوجيا، يُطلق على التطبيق اسم " التغطية المتفرعة" إذا كان تطبيق تغطية في كل مكان باستثناء مجموعة غير كثيفة في أي مكان تُعرف باسم مجموعة الفروع. ومن الأمثلة على ذلك التطبيق من إسفين من الدوائر إلى دائرة واحدة، حيث يكون التطبيق تماثلًا شكليًا على كل دائرة.

في الهندسة الجبرية

في الهندسة الجبرية ، يُستخدم مصطلح التغطية المتفرعة لوصف التشكلاتو{\displaystyle f}من مجموعة متنوعة جبريةV{\displaystyle V}إلى واحد آخردبليو{\displaystyle W}حيث يكون البعدان متطابقين ، والألياف النموذجية لـو{\displaystyle f}كونها ذات بُعد صفر.

في هذه الحالة، ستكون هناك مجموعة مفتوحةدبليو{\displaystyle W'}لدبليو{\displaystyle W}(بالنسبة لطوبولوجيا زاريسكي ) التي تكون كثيفة فيدبليو{\displaystyle W}بحيث يكون تقييدو{\displaystyle f}ل دبليو{\displaystyle W'}(منV=و-1(دبليو){\displaystyle V'=f^{-1}(W')}لدبليو{\displaystyle W'}أي أن ( ) غير متفرعة . اعتمادًا على السياق، يمكننا اعتبار هذا تماثلًا موضعيًا للطوبولوجيا القوية ، على الأعداد المركبة ، أو تماثلًا إيتاليًا بشكل عام (في ظل بعض الفرضيات الأقوى قليلًا، حول التسطيح والفصل ). بشكل عام، يشبه هذا التماثل فضاء التغطية بالمعنى الطوبولوجي. على سبيل المثال، إذاV{\displaystyle V}ودبليو{\displaystyle W}كلاهما سطحان ريمان متراصان ، كل ما نحتاجه هو ذلك.و{\displaystyle f}إذا كانت دالة تحليلية وليست ثابتة، فإن مجموعة النقاط تكون منتهية.P{\displaystyle P}لدبليو{\displaystyle W}، وخارج هذا نجد غطاءً صادقاً

Vدبليو{\displaystyle V'\to W'}.

موضع التفرع

مجموعة النقاط الاستثنائية علىدبليو{\displaystyle W}يُطلق عليه اسم موضع التفرع (أي أنه مكمل لأكبر مجموعة مفتوحة ممكنة)دبليو{\displaystyle W'}). بشكل عام، يحدث التكرار الأحادي وفقًا للمجموعة الأساسية لـ دبليو{\displaystyle W'}التأثير على صفائح الغطاء (يمكن جعل هذه الصورة الطوبولوجية دقيقة أيضًا في حالة حقل أساسي عام).

وصلات كومر

يمكن إنشاء الأغطية المتفرعة بسهولة كامتدادات كومر ، أي كامتداد جبري لحقل الدالة . وتُعد المنحنيات الإهليلجية الفائقة أمثلة نموذجية على ذلك.

غطاء غير متفرع

إذن ، الغطاء غير المتفرع هو وجود موضع تفرع فارغ.

أمثلة

منحنى إهليلجي

تُقدّم تحويلات المنحنيات العديد من الأمثلة على التغطيات المتفرعة. على سبيل المثال، ليكن C هو المنحنى الإهليلجي ذو المعادلة

y2-x(x-1)(x-2)=0.{\displaystyle y^{2}-x(x-1)(x-2)=0.}

إسقاط C على المحور x هو غطاء متفرع ذو موضع تفرع معطى بواسطة

x(x-1)(x-2)=0.{\displaystyle x(x-1)(x-2)=0.}

وذلك لأن الألياف هي النقطة المزدوجة بالنسبة لهذه القيم الثلاث لـ xy2=0،{\displaystyle y^{2}=0,}بينما بالنسبة لأي قيمة أخرى لـ x ، يتكون الليف من نقطتين متميزتين (على حقل مغلق جبريًا ).

يُنتج هذا الإسقاط امتدادًا جبريًا من الدرجة الثانية لحقول الدوال : كذلك، إذا أخذنا حقول الكسور للحلقات التبديلية الأساسية، فسنحصل على التشكل

ج(x)ج(x)[y]/(y2-x(x-1)(x-2)){\displaystyle \mathbb {C} (x)\to \mathbb {C} (x)[y]/(y^{2}-x(x-1)(x-2))}

وبالتالي، فإن هذا الإسقاط عبارة عن غطاء متفرع من الدرجة الثانية. ويمكن تجانسه لإنشاء غطاء متفرع من الدرجة الثانية للمنحنى الإهليلجي الإسقاطي المقابل للخط الإسقاطي.

منحنى جبري مستوٍ

يمكن تعميم المثال السابق على أي منحنى جبري مستوٍ على النحو التالي. ليكن C منحنىً مستويًا مُعرَّفًا بالمعادلة f ( x , y ) = 0 ، حيث f دالة متعددة الحدود قابلة للفصل وغير قابلة للاختزال في متغيرين. إذا كانت n هي درجة f في y ، فإن الليف يتكون من n نقطة متميزة، باستثناء عدد محدود من قيم x . وبالتالي، فإن هذا الإسقاط هو غطاء متفرع من الدرجة n .

القيم الاستثنائية لـ x هي جذور معاملyن{\displaystyle y^{n}}في f ، وجذور مميز f بالنسبة إلى y .

فوق جذر r للمميز، توجد على الأقل نقطة متفرعة، وهي إما نقطة حرجة أو نقطة شاذة . إذا كان r أيضًا جذرًا لمعاملyن{\displaystyle y^{n}}في f ، فإن هذه النقطة المتفرعة تكون " عند اللانهاية ".

على جذر s لمعاملyن{\displaystyle y^{n}}في f ، يمتلك المنحنى C فرعًا لانهائيًا، ويحتوي الليف عند s على أقل من n نقطة. مع ذلك، إذا مددنا الإسقاط إلى الإكمالات الإسقاطية لـ C والمحور x ، وإذا لم يكن s جذرًا للمميز، يصبح الإسقاط غطاءً على جوار s .

يمكن أيضًا ملاحظة أن هذا الإسقاط عبارة عن غطاء متفرع من الدرجة n من خلال النظر في حقول الدوال . في الواقع، يتوافق هذا الإسقاط مع امتداد الحقل من الدرجة n

ج(x)ج(x)[y]/و(x،y).{\displaystyle \mathbb {C} (x)\to \mathbb {C} (x)[y]/f(x,y).}

تداعيات متنوعة

يمكننا أيضًا تعميم التغطيات المتفرعة للخط بدرجات تفرع متفاوتة. لنفترض متعددة حدود من الشكل التالي:

و(x،y)=ز(x){\displaystyle f(x,y)=g(x)}

بينما نختار نقاطًا مختلفةx=α{\displaystyle x=\alpha }الألياف التي يُحددها موضع التلاشي لـو(α،y)-ز(α){\displaystyle f(\alpha ,y)-g(\alpha )}تختلف. عند أي نقطة يكون فيها تعدد أحد الحدود الخطية في تحليلو(α،y)-ز(α){\displaystyle f(\alpha ,y)-g(\alpha )}إذا زاد بمقدار واحد، فهناك تبعات.

أمثلة نظرية المخططات

المنحنيات الإهليلجية

تُقدّم التشكلات المنحنية العديد من الأمثلة على التغطيات المتفرعة للمخططات. على سبيل المثال، التشكل من منحنى إهليلجي أفيني إلى خط مستقيم

المواصفات(ج[x،y]/(y2-x(x-1)(x-2))المواصفات(ج[x]){\displaystyle {\text{Spec}}\left({\mathbb {C} [x,y]}/{(y^{2}-x(x-1)(x-2)}\right)\to {\text{Spec}}(\mathbb {C} [x])}

هو غطاء متفرع مع موضع تفرع معطى بواسطة

X=المواصفات(ج[x]/(x(x-1)(x-2))){\displaystyle X={\text{Spec}}\left({\mathbb {C} [x]}/{(x(x-1)(x-2))}\right)}

وذلك لأنه في أي نقطة منX{\displaystyle X}فيأ1{\displaystyle \mathbb {A} ^{1}}الألياف هي المخطط

المواصفات(ج[y]/(y2)){\displaystyle {\text{Spec}}\left({\mathbb {C} [y]}/{(y^{2})}\right)}

كذلك، إذا أخذنا حقول الكسور للحلقات التبديلية الأساسية، فسنحصل على تشاكل الحقول

ج(x)ج(x)[y]/(y2-x(x-1)(x-2))،{\displaystyle \mathbb {C} (x)\to {\mathbb {C} (x)[y]}/{(y^{2}-x(x-1)(x-2))},}

وهو امتداد جبري من الدرجة الثانية؛ ومن ثم حصلنا على غطاء متفرع من الدرجة الثانية لمنحنى إهليلجي إلى الخط الأفيني. ويمكن تجانس هذا لإنشاء تشاكل لمنحنى إهليلجي إسقاطي إلىP1{\displaystyle \mathbb {P} ^{1}}.

منحنى إهليلجي زائد

يوفر المنحنى الزائد الإهليلجي تعميمًا للدرجة المذكورة أعلاه2{\displaystyle 2}غطاء الخط الأفيني، من خلال النظر في المخطط الأفيني المعرف علىج{\displaystyle \mathbb {C} }بواسطة متعددة حدود من الشكل

y2-(x-أأنا){\displaystyle y^{2}-\prod (x-a_{i})}أينأأناأج{\displaystyle a_{i}\neq a_{j}}لأناج{\displaystyle i\neq j}

تغطية الخطوط الأفينية بدرجات أعلى

يمكننا تعميم المثال السابق بأخذ التشكل

المواصفات(ج[x،y](و(y)-ز(x)))المواصفات(ج[x]){\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} [x,y]}{(f(y)-g(x))}}\right)\to {\text{Spec}}(\mathbb {C} [x])}

أينز(x){\displaystyle g(x)}ليس لها جذور متكررة. عندئذٍ، يُعطى موضع التفرع بالصيغة التالية:

X=المواصفات(ج[x](و(x))){\displaystyle X={\text{Spec}}\left({\frac {\mathbb {C} [x]}{(f(x))}}\right)}

حيث تُعطى الألياف بواسطة

المواصفات(ج[y](و(y))){\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} [y]}{(f(y))}}\right)}

ثم نحصل على تشاكل مستحث لحقول الكسور

ج(x)ج(x)[y](و(y)-ز(x)){\displaystyle \mathbb {C} (x)\to {\frac {\mathbb {C} (x)[y]}{(f(y)-g(x))}}}

هناكج(x){\displaystyle \mathbb {C} (x)}تماثل الوحدة النمطية للهدف مع

ج(x)ج(x)yج(x)yدرجة(و(y)){\displaystyle \mathbb {C} (x)\oplus \mathbb {C} (x)\cdot y\oplus \cdots \oplus \mathbb {C} (x)\cdot y^{{\text{deg}}(f(y))}}

وبالتالي فإن الغطاء من الدرجةدرجة(و){\displaystyle {\text{deg}}(f)}.

المنحنيات فوق الإهليلجية

تُعد المنحنيات فوق الإهليلجية تعميمًا للمنحنيات فوق الإهليلجية وتخصيصًا لمجموعة الأمثلة السابقة نظرًا لأنها تُعطى بواسطة مخططات أفينية.X/ج{\displaystyle X/\mathbb {C} }من كثيرات الحدود من الشكل

yك-و(x){\displaystyle y^{k}-f(x)}أينك>2{\displaystyle k>2}وو(x){\displaystyle f(x)}ليس له جذور متكررة.

أغطية متفرعة للفضاء الإسقاطي

هناك فئة أخرى مفيدة من الأمثلة تأتي من الأغطية المتفرعة للفضاء الإسقاطي. بالنظر إلى متعددة حدود متجانسةوج[x0،...،xن]{\displaystyle f\in \mathbb {C} [x_{0},\ldots ,x_{n}]}يمكننا بناء غطاء متفرع منPن{\displaystyle \mathbb {P} ^{n}}مع موضع التفرع

مشروع(ج[x0،...،xن]و(x)){\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x_{0},\ldots ,x_{n}]}{f(x)}}\right)}

من خلال النظر في تشاكل المخططات الإسقاطية

مشروع(ج[x0،...،xن][y]yدرجة(و)-و(x))Pن{\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x_{0},\ldots ,x_{n}][y]}{y^{{\text{deg}}(f)}-f(x)}}\right)\to \mathbb {P} ^{n}}

مرة أخرى، سيكون هذا تغطية لدرجةدرجة(و){\displaystyle {\text{deg}}(f)}.

التطبيقات

أغطية متفرعةجX{\displaystyle C\to X}تأتي مع مجموعة تناظر من التحويلاتجي{\displaystyle G}بما أن مجموعة التناظر تحتوي على مثبتات عند نقاط موضع التفرع، يمكن استخدام الأغطية المتفرعة لإنشاء أمثلة على المدارات، أو حزم ديلين-مامفورد .

انظر أيضاً

مراجع