الزوج الأساسي من الفترات

في الرياضيات ، يُعرف الزوج الأساسي من الدورات بأنه زوج مرتب من الأعداد المركبة يُحدد شبكة في المستوى المركب . هذا النوع من الشبكات هو الأساس الذي تُعرّف به الدوال الإهليلجية والأشكال النمطية .

متوازي الأضلاع الأساسي المحدد بواسطة زوج من المتجهات في المستوى المركب.

تعريف

الزوج الأساسي من الدورات هو زوج من الأعداد المركبةω1،ω2ج{\displaystyle \omega _{1},\omega _{2}\in \mathbb {C} }بحيث تكون نسبتهمω2/ω1{\displaystyle \أوميغا _{2}/\أوميغا _{1}}ليس حقيقياً. إذا تم اعتباره كمتجهات فيR2{\displaystyle \mathbb {R} ^{2}}المتغيران مستقلان خطيًا . الشبكة المتولدة بواسطةω1{\displaystyle \omega _{1}}وω2{\displaystyle \omega _{2}}يكون

Λ={مω1+نω2|م،نZ}.{\displaystyle \Lambda =\left\{m\omega _{1}+n\omega _{2}\mid m,n\in \mathbb {Z} \right\}.}

يُشار إلى هذه الشبكة أحيانًا باسمΛ(ω1،ω2){\displaystyle \Lambda (\omega _{1},\omega _{2})}لتوضيح أن الأمر يعتمد علىω1{\displaystyle \omega _{1}}وω2.{\displaystyle \omega _{2}.}ويُشار إليه أحيانًا بـΩ({\displaystyle \Omega {\vphantom {(}}}أوΩ(ω1،ω2)،{\displaystyle \Omega (\omega _{1},\omega _{2}),}أو ببساطة عن طريق(ω1،ω2).{\displaystyle (\أوميغا _{1},\أوميغا _{2}).}المولدانω1{\displaystyle \omega _{1}}وω2{\displaystyle \omega _{2}}تُسمى هذه الأشكال أساس الشبكة . متوازي الأضلاع ذو الرؤوس(0،ω1،ω1+ω2،ω2){\displaystyle (0,\omega _{1},\omega _{1}+\omega _{2},\omega _{2})}يُطلق عليه اسم متوازي الأضلاع الأساسي .

بينما يقوم الزوج الأساسي بتوليد شبكة، فإن الشبكة ليس لها أي زوج أساسي فريد؛ في الواقع، يتوافق عدد لا نهائي من الأزواج الأساسية مع نفس الشبكة.

الخصائص الجبرية

يمكن الاطلاع على عدد من العقارات المدرجة أدناه.

التكافؤ

شبكة تمتد بواسطة الفترات ω 1 و ω 2 ، مما يُظهر زوجًا مكافئًا من الفترات α 1 و α 2 .

زوجان من الأعداد المركبة(ω1،ω2){\displaystyle (\أوميغا _{1},\أوميغا _{2})}و (α1،α2){\displaystyle (\alpha _{1},\alpha _{2})}تُسمى متكافئة إذا ولّدت نفس الشبكة: أي، إذاΛ(ω1،ω2)=Λ(α1،α2).{\displaystyle \Lambda (\omega _{1},\omega _{2})=\Lambda (\alpha _{1},\alpha _{2}).}

لا توجد نقاط داخلية

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

التناظر المعياري

زوجان(ω1،ω2){\displaystyle (\أوميغا _{1},\أوميغا _{2})}و(α1،α2){\displaystyle (\alpha _{1},\alpha _{2})}تكون متكافئة إذا وفقط إذا وُجدت مصفوفة 2 × 2(أبجد){\textstyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}}مع إدخالات عددية صحيحةأ،{\displaystyle a,}ب،{\displaystyle b,}ج،{\displaystyle c,}ود{\displaystyle d}ومحددأد-بج=±1{\displaystyle ad-bc=\pm 1}بحيث

(α1α2)=(أبجد)(ω1ω2)،{\displaystyle {\begin{pmatrix}\alpha _{1}\\\alpha _{2}\end{pmatrix}}={\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}\omega _{1}\\\omega _{2}\end{pmatrix}},}

أي، بحيث

α1=أω1+بω2،α2=جω1+دω2.{\displaystyle {\begin{aligned}\alpha _{1}=a\omega _{1}+b\omega _{2},\\[5mu]\alpha _{2}=c\omega _{1}+d\omega _{2}.\end{aligned}}}

تنتمي هذه المصفوفة إلى المجموعة المعياريةSل(2،Z).{\displaystyle \mathrm {SL} (2,\mathbb {Z} ).} يمكن اعتبار هذا التكافؤ بين الشبكات أساسًا للعديد من خصائص الدوال الإهليلجية (وخاصة دالة وييرشتراس الإهليلجية ) والأشكال النمطية.

الخصائص الطوبولوجية

المجموعة الأبيليةZ2{\displaystyle \mathbb {Z} ^{2}}يرسم المستوى المركب إلى متوازي الأضلاع الأساسي. أي أن كل نقطةzج{\displaystyle z\in \mathbb {C} }يمكن كتابتها على النحو التاليz=ص+مω1+نω2{\displaystyle z=p+m\omega _{1}+n\omega _{2}}للأعداد الصحيحةم،ن{\displaystyle m,n}بنقطةص{\displaystyle p}في متوازي الأضلاع الأساسي.

بما أن هذا التحويل يُحدد الأضلاع المتقابلة لمتوازي الأضلاع على أنها متماثلة، فإن متوازي الأضلاع الأساسي له بنية طوبولوجية تشبه الطارة . وبصورة مكافئة، يُقال إن مشعب القسمةج/Λ{\displaystyle \mathbb {C} /\Lambda }هو شكل حلقي.

المنطقة الأساسية

يمثل اللون الرمادي المجال الأساسي المتعارف عليه.

يُعرِّفτ=ω2/ω1{\displaystyle \tau =\omega _{2}/\omega _{1}}لتكون نسبة نصف الدورة . عندئذٍ، يمكن دائمًا اختيار أساس الشبكة بحيثτ{\displaystyle \tau }يقع في منطقة خاصة تسمى المجال الأساسي . أو بدلاً من ذلك، يوجد دائمًا عنصر من المجموعة الخطية الخاصة الإسقاطيةدوري السوبر الباكستاني(2،Z){\displaystyle \operatorname {PSL} (2,\mathbb {Z} )}التي تربط أساس الشبكة بأساس آخر بحيثτ{\displaystyle \tau }يقع في المجال الأساسي.

المجال الأساسي معطى بواسطة المجموعةد،{\displaystyle D,}والتي تتكون من مجموعةيو{\displaystyle U}بالإضافة إلى جزء من حدوديو{\displaystyle U}:

يو={zح:|z|>1،|يكرر(z)|<12}.{\displaystyle U=\left\{z\in H:\left|z\right|>1,\,\left|\operatorname {Re} (z)\right|<{\tfrac {1}{2}}\right\}.}

أينح{\displaystyle H}هو النصف العلوي من المستوى .

المجال الأساسيد{\displaystyle D}ثم يتم بناؤه بإضافة الحد الموجود على اليسار بالإضافة إلى نصف القوس الموجود في الأسفل:

د=يو{zح:|z|1،يكرر(z)=-12}{zح:|z|=1،يكرر(z)0}.{\displaystyle D=U\cup \left\{z\in H:\left|z\right|\geq 1,\,\operatorname {Re} (z)=-{\tfrac {1}{2}}\right\}\cup \left\{z\in H:\left|z\right|=1,\,\operatorname {Re} (z)\leq 0\right\}.}

ثلاث حالات ذات صلة:

  • لوτأنا{\displaystyle \tau \neq i}وτهـأناπ/3{\textstyle \tau \neq e^{i\pi /3}}إذن، يوجد قاعدتان شبكيتان فقط لهما نفسτ{\displaystyle \tau }في المنطقة الأساسية:(ω1،ω2){\displaystyle (\أوميغا _{1},\أوميغا _{2})}و(-ω1،-ω2).{\displaystyle (-\أوميغا _{1},-\أوميغا _{2}).}
  • لوτ=أنا{\displaystyle \tau =i}إذن، فإن قواعد الشبكة الأربع لها نفسτ{\displaystyle \tau }: الاثنان المذكوران أعلاه(ω1،ω2){\displaystyle (\أوميغا _{1},\أوميغا _{2})}،(-ω1،-ω2){\displaystyle (-\أوميغا _{1},-\أوميغا _{2})}و(أناω1،أناω2){\displaystyle (i\omega _{1},i\omega _{2})}،(-أناω1،-أناω2).{\displaystyle (-i\omega _{1},-i\omega _{2}).}
  • لوτ=هـأناπ/3{\textstyle \tau =e^{i\pi /3}}ثم هناك ست قواعد شبكية لها نفسτ{\displaystyle \tau }:(ω1،ω2){\displaystyle (\أوميغا _{1},\أوميغا _{2})}،(τω1،τω2){\displaystyle (\tau \omega _{1},\tau \omega _{2})}،(τ2ω1،τ2ω2){\displaystyle (\tau ^{2}\omega _{1},\tau ^{2}\omega _{2})}وسلبياتها.

في إغلاق المجال الأساسي:τ=أنا{\displaystyle \tau =i}وτ=هـأناπ/3.{\textstyle \tau =e^{i\pi /3}.}

انظر أيضاً

مراجع

  • توم م. أبوستول ، الدوال النمطية ومتسلسلات ديريشليه في نظرية الأعداد (1990)، سبرينغر-فيرلاغ، نيويورك. ISBN 0-387-97127-0(انظر الفصلين 1 و 2.)
  • يورغن جوست، أسطح ريمان المدمجة (2002)، سبرينغر-فيرلاغ، نيويورك. ISBN 3-540-43299-X(انظر الفصل 2.)