نظرية ريمان للوجود

في الرياضيات ، وتحديداً التحليل المركب ، تنص نظرية وجود ريمان على أن فئة أسطح ريمان المدمجة تعادل فئة المنحنيات الجبرية الكاملة المعقدة .

في بعض الأحيان، تشير النظرية أيضًا إلى تعميم (نظرية جراورت-ريمرت)، [ 1 ] والتي تنص على أن فئة التغطيات الطوبولوجية المحدودة لمجموعة متنوعة جبرية معقدة تعادل فئة التغطيات الإيتالية المحدودة للمجموعة المتنوعة.

البيان الأصلي

يتركX{\displaystyle X}ليكن سطح ريمان مضغوطًا،ص1،،صs{\displaystyle p_{1},\cdots ,p_{s}}نقاط متميزة فيX{\displaystyle X}وأ1،،أs{\displaystyle a_{1},\cdots ,a_{s}}الأعداد المركبة. ثم توجد دالة ميرومورفيةو{\displaystyle f}علىX{\displaystyle X}بحيثو(صأنا)=أأنا{\displaystyle f(p_{i})=a_{i}}للجميع1أناs{\displaystyle 1\leq i\leq s}[ 2 ]

دليل

في الوقت الحالي، انظر SGA 1، Expose XII، Théorème 5.1، أو SGA 4، Expose XI. 4.3.

عواقب

بحسب التعريف، إذاX{\displaystyle X}هي مجموعة جبرية معقدة، وهي المجموعة الأساسية إيتال لـX{\displaystyle X}عند نقطة هندسيةx{\displaystyle x}هي النهاية الإسقاطية

π1و(X،x)=ليممؤلفX(Y){\displaystyle \pi _{1}^{\textrm {et}}(X,x)=\varprojlim \operatorname {Aut} _{X}(Y)}

على جميع أغطية غالوا المحدودةY{\displaystyle Y}لX{\displaystyle X}بحسب نظرية الوجود، لدينا

مؤلفX(Y)=مؤلفXأن(Yأن){\displaystyle \operatorname {Aut} _{X}(Y)=\operatorname {Aut} _{X^{an}}(Y^{an})}.

لذلك،π1و(X،x){\displaystyle \pi _{1}^{\textrm {et}}(X,x)}هو بالضبط الإكمال النهائي للمجموعة الأساسية الطوبولوجية المعتادةπ1(Xأن،x){\displaystyle \pi _{1}(X^{\textrm {an}},x)}لX{\displaystyle X}فيx{\displaystyle x}[ 3 ]

انظر أيضاً

ملحوظات

  1. ^ SGA 1، فضح الثاني عشر، النظرية 5.1.
  2. النظرية 1.2. في إيشان ليفي، نظرية غالوا وأسطح ريمان.
  3. ميلن ، قسم فرعي بعنوان "أنواع علىج{\displaystyle \mathbb {C} }بعد الملاحظة 3.3. خطأ harvnb: لا يوجد هدف: CITEREFMilne ( مساعدة )

مراجع