الفضاء الفائق

الفضاء الفائق هو فضاء الإحداثيات لنظرية تُظهر التناظر الفائق . في مثل هذه الصياغة، بالإضافة إلى أبعاد الفضاء العاديةx،y،z،...{\displaystyle x,\,y,\,z,\ldots }كما توجد أبعاد "مضادة للتبادل" تُسمى إحداثياتها بأعداد غراسمان بدلاً من الأعداد الحقيقية. تتوافق أبعاد الفضاء العادية مع درجات حرية البوزونات ، بينما تتوافق الأبعاد المضادة للتبادل مع درجات حرية الفرميونات .

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

مناقشة غير رسمية

توجد عدة تعريفات متشابهة، ولكنها ليست متطابقة، للفضاء الفائق، وقد استُخدمت، ولا تزال تُستخدم، في الأدبيات الرياضية والفيزيائية. أحد هذه الاستخدامات هو استخدامه كمرادف لفضاء مينكوفسكي الفائق . [ 1 ] في هذه الحالة، يُؤخذ فضاء مينكوفسكي العادي ، ويُمدد بدرجات حرية فرميونية مضادة للتبادل، تُعتبر سبينورات فايل مضادة للتبادل من جبر كليفورد المرتبط بمجموعة لورنتز . وبالمثل، يمكن فهم فضاء مينكوفسكي الفائق على أنه خارج قسمة جبر بوانكاريه الفائق على جبر مجموعة لورنتز. والرمز النموذجي للإحداثيات على هذا الفضاء هو(x،θ،θ¯){\displaystyle (x,\theta ,{\bar {\theta }})}مع وجود خط علوي يكشف أن مساحة سوبر مينكوفسكي هي المساحة المقصودة.

يُستخدم مصطلح "الفضاء الفائق" أيضًا كمرادف شائع للفضاء المتجهي الفائق . ويُعتبر هذا الفضاء المتجهي فضاءً متجهيًا عاديًا ، مُضافًا إليه إحداثيات إضافية مُستمدة من جبر غراسمان ، أي اتجاهات إحداثيات تُمثل أعداد غراسمان. توجد عدة اصطلاحات مُستخدمة لإنشاء الفضاء المتجهي الفائق؛ اثنان منها مُوضحان من قِبل روجرز [ 2 ] وديويت [ 3 ] .

يُستخدم مصطلح "الفضاء الفائق" أيضاً كمرادف لمصطلح "الفضاء الفائق المتشعب " : وهو تعميم فائق التناظر للفضاء المتشعب . تجدر الإشارة إلى أن كلاً من فضاءات مينكوفسكي الفائقة وفضاءات المتجهات الفائقة يمكن اعتبارهما حالتين خاصتين من الفضاءات الفائقة المتشعبة.

أما المعنى الرابع، وغير ذي الصلة تماماً، فقد شهد استخداماً موجزاً في النسبية العامة؛ ويتم مناقشة هذا بمزيد من التفصيل في الأسفل.

أمثلة

ترد أدناه عدة أمثلة. تفترض الأمثلة القليلة الأولى تعريف الفضاء الفائق على أنه فضاء متجهي فائق . ويُرمز إلى ذلك بـRم|ن{\displaystyle \mathbb {R} ^{m|n}}، الZ2{\displaystyle \mathbb {Z} _{2}}- فضاء متجه متدرج معRم{\displaystyle \mathbb {R} ^{m}}باعتبارها الفضاء الجزئي الزوجي وRن{\displaystyle \mathbb {R} ^{n}}باعتبارها فضاءً فرعياً فردياً. وينطبق التعريف نفسه علىجم|ن{\displaystyle \mathbb {C} ^{m|n}}.

تُعتبر الأمثلة رباعية الأبعاد الفضاء الفائق فضاءً فائقًا من نوع مينكوفسكي. ورغم تشابهه مع الفضاء المتجهي، إلا أنه يختلف عنه في عدة جوانب مهمة: أولًا، هو فضاء أفيني ، لا توجد فيه نقطة خاصة تُشير إلى الأصل. ثانيًا، تُعتبر إحداثيات الفرميونات عبارة عن سبينورات فايل مضادة للتبادل من جبر كليفورد ، وليست أعداد غراسمان . ويكمن الاختلاف هنا في أن جبر كليفورد يتمتع ببنية أغنى وأكثر دقة من أعداد غراسمان. لذا، فإن أعداد غراسمان هي عناصر من الجبر الخارجي ، وجبر كليفورد متماثل مع الجبر الخارجي، لكن علاقته بالمجموعة المتعامدة ومجموعة اللف المغزلي ، المستخدمة في بناء تمثيلات اللف المغزلي ، تُضفي عليه دلالة هندسية عميقة. (على سبيل المثال، تُشكل مجموعات اللف المغزلي جزءًا أساسيًا من دراسة الهندسة الريمانية ، [ 4 ] خارج نطاق اهتمامات الفيزياء المعتادة).

أمثلة بسيطة

أصغر فضاء فائق هو نقطة لا تحتوي على اتجاهات بوزونية ولا فرميونية. ومن الأمثلة البسيطة الأخرى المستوى الحقيقي ذو الأبعاد nRن{\displaystyle \mathbb {R} ^{n}}، وهو فضاء متجهي يمتد فين{\displaystyle n}اتجاهات حقيقية، بوزونية، ولا توجد اتجاهات فرميونية. فضاء المتجهاتR0|ن{\displaystyle \mathbb {R} ^{0|n}}، وهون{\displaystyle n}جبر غراسمان الحقيقي ذو الأبعاد n . الفضاءR1|1{\displaystyle \mathbb {R} ^{1|1}}يُعرف فضاء الأعداد المزدوجة ، الذي قدمه ويليام كليفورد في عام 1873، بأنه فضاء الأعداد الزوجية واتجاه فردي واحد.

الفضاء الفائق لميكانيكا الكم المتناظرة الفائقة

ميكانيكا الكم الفائقة التناظر معشمال{\displaystyle N}غالباً ما تتم صياغة مفهوم الشحن الفائق في الفضاء الفائقR1|2شمال{\displaystyle \mathbb {R} ^{1|2N}}، والذي يحتوي على اتجاه حقيقي واحدت{\displaystyle t}مرتبط بالوقت وشمال{\displaystyle N}اتجاهات غراسمان المعقدة التي تمتد بواسطةΘأنا{\displaystyle \Theta _{i}}و Θأنا*{\displaystyle \Theta _{i}^{*}}، أينأنا{\displaystyle i}يتراوح من 1 إلىشمال{\displaystyle N}.

لنأخذ الحالة الخاصة بعين الاعتبارشمال=1{\displaystyle N=1}الفضاء الفائقR1|2{\displaystyle \mathbb {R} ^{1|2}}هو فضاء متجهي ثلاثي الأبعاد. لذلك، يمكن كتابة إحداثية معينة على شكل ثلاثية.(ت،Θ،Θ*){\displaystyle (t,\Theta ,\Theta ^{*})}تشكل الإحداثيات جبرًا فائقًا من نوع لي ، حيث تكون درجة التدرجت{\displaystyle t}هو زوجي وذاك منΘ{\displaystyle \Theta }وΘ*{\displaystyle \Theta ^{*}}فردي. هذا يعني أنه يمكن تعريف قوس بين أي عنصرين من هذا الفضاء المتجهي، وأن هذا القوس يختزل إلى المبدل على إحداثيين زوجيين، وعلى إحداثي زوجي وآخر فردي، بينما يكون مضادًا للمبدل على إحداثيين فرديين. هذا الفضاء الفائق هو جبر لي فائق تبديلي، مما يعني أن جميع الأقواس المذكورة آنفًا تتلاشى.

[ت،ت]=[ت،θ]=[ت،θ*]={θ،θ}={θ،θ*}={θ*،θ*}=0{\displaystyle \left[t,t\right]=\left[t,\theta \right]=\left[t,\theta ^{*}\right]=\left\{\theta ,\theta \right\}=\left\{\theta ,\theta ^{*}\right\}=\left\{\theta ^{*},\theta ^{*}\right\}=0}

أين[أ،ب]{\displaystyle [a,b]}هو مبدلأ{\displaystyle a}وب{\displaystyle b}و{أ،ب}{\displaystyle \{a,b\}}هو مضاد التبديل لـأ{\displaystyle a}وب{\displaystyle b}.

يمكن تعريف دوال من هذا الفضاء المتجهي إلى نفسه، وتُسمى هذه الدوال بالحقول الفائقة . تشير العلاقات الجبرية المذكورة أعلاه إلى أنه إذا قمنا بتوسيع حقلنا الفائق كمتسلسلة قوى فيΘ{\displaystyle \Theta }وΘ*{\displaystyle \Theta ^{*}}إذن، سنجد فقط الحدود من الرتبة الصفرية والأولى، لأنΘ2=(Θ*)2=0{\displaystyle \Theta ^{2}=(\Theta ^{*})^{2}=0}لذلك، يمكن كتابة الحقول الفائقة كدوال اختيارية لـت{\displaystyle t}مضروبًا في الحدين الصفري والأول في إحداثيات غراسمان.

Φ(ت،Θ،Θ*)=ϕ(ت)+ΘΨ(ت)-Θ*Φ*(ت)+ΘΘ*F(ت){\displaystyle \Phi \left(t,\Theta ,\Theta ^{*}\right)=\phi (t)+\Theta \Psi (t)-\Theta ^{*}\Phi ^{*}(t)+\Theta \Theta ^{*}F(t)}

الحقول الفائقة، وهي تمثيلات للتناظر الفائق للفضاء الفائق، تعمم مفهوم الموترات ، وهي تمثيلات لمجموعة الدوران للفضاء البوزوني.

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

{θ،Θ}={θ*،Θ*}=1{\displaystyle \left\{{\frac {\partial }{\partial \theta }}\,,\Theta \right\}=\left\{{\frac {\partial }{\partial \theta ^{*}}}\,,\Theta ^{*}\right\}=1}

يمكن تجميع هذه المشتقات في شواحن فائقة.

سؤال=θ-أناΘ*توسؤال=θ*+أناΘت{\displaystyle Q={\frac {\partial }{\partial \theta }}-i\Theta ^{*}{\frac {\partial }{\partial t}}\quad {\text{and}}\quad Q^{\dagger }={\frac {\partial }{\partial \theta ^{*}}}+i\Theta {\frac {\partial }{\partial t}}}

تحدد مضادات التبادل الخاصة بها أنها مولدات فرميونية لجبر التناظر الفائق

{سؤال،سؤال}=2أنات{\displaystyle \left\{Q,Q^{\dagger }\,\right\}=2i{\frac {\partial }{\partial t}}}

أينأنا{\displaystyle i}يمثل حاصل ضرب المشتق الزمني في عامل هاميلتون في ميكانيكا الكم .سؤال{\displaystyle Q}وتتبادل نظائرها المضادة مع نفسها. يتغير التناظر الفائق بتغير معامل التناظر الفائقϵ{\displaystyle \epsilon }من حقل فائقΦ{\displaystyle \Phi }يُعرَّف بأنه

دلتاϵΦ=(ϵ*سؤال+ϵسؤال)Φ.{\displaystyle \delta _{\epsilon }\Phi =(\epsilon ^{*}Q+\epsilon Q^{\dagger })\Phi .}

يمكننا تقييم هذا التباين باستخدام فعلسؤال{\displaystyle Q}في الملاعب العملاقة

[سؤال،Φ]=(θ-أناθ*ت)Φ=ψ+θ*(F-أناϕ˙)+أناθθ*ψ˙.{\displaystyle \left[Q,\Phi \right]=\left({\frac {\partial }{\partial \theta }}\,-i\theta ^{*}{\frac {\partial }{\partial t}}\right)\Phi =\psi +\theta ^{*}\left(F-i{\dot {\phi }}\right)+i\theta \theta ^{*}{\dot {\psi }}.}

وبالمثل، يمكن تعريف المشتقات المتغيرة على الفضاء الفائق

د=θ-أناθ*تود=θ*-أناθت{\displaystyle D={\frac {\partial }{\partial \theta }}-i\theta ^{*}{\frac {\partial }{\partial t}}\quad {\text{and}}\quad D^{\dagger }={\frac {\partial }{\partial \theta ^{*}}}-i\theta {\frac {\partial }{\partial t}}}

والتي تتبادل عكسيًا مع الشحنات الفائقة وتفي بجبر التناظر الفائق ذي الإشارة الخاطئة

{د،د}=-2أنات{\displaystyle \left\{D,D^{\dagger }\right\}=-2i{\frac {\partial }{\partial t}}}.

حقيقة أن المشتقات المتغيرة تتبادل عكسيًا مع الشحنات الفائقة تعني أن تحويل التناظر الفائق لمشتق متغير لحقل فائق يساوي المشتق المتغير لنفس تحويل التناظر الفائق لنفس الحقل الفائق. وبالتالي، بتعميم المشتق المتغير في الهندسة البوزونية التي تُنشئ موترات من موترات، فإن المشتق المتغير في الفضاء الفائق يُنشئ حقولًا فائقة من حقول فائقة.

امتدادات متناظرة فائقة لفضاء مينكوفسكي

شمال=1{\displaystyle \mathbf {N=1} }مساحة مينكوفسكي الخارقة

لعل أكثر الفضاءات الفائقة الملموسة دراسة في الفيزياء هيد=4،شمال=1{\displaystyle d=4,{\mathcal {N}}=1}مساحة مينكوفسكي الخارقةR4|4{\displaystyle \mathbb {R} ^{4|4}}أو مكتوبة أحيانًاR1،3|4{\displaystyle \mathbb {R} ^{1,3|4}}وهو المجموع المباشر لأربعة أبعاد بوزونية حقيقية وأربعة أبعاد غراسمان حقيقية (المعروفة أيضًا بالأبعاد الفرميونية أو أبعاد الدوران ). [ 5 ]

في نظريات الحقول الكمومية فائقة التناظر، نهتم بالفضاءات الفائقة التي تُقدّم تمثيلات لجبر لي فائق يُسمى جبر التناظر الفائق . الجزء البوزوني من جبر التناظر الفائق هو جبر بوانكاريه ، بينما يُبنى الجزء الفرميوني باستخدام سبينورات ذات مكونات ذات قيم عددية غراسمان.

لهذا السبب، في التطبيقات الفيزيائية، يُؤخذ في الاعتبار تأثير جبر التناظر الفائق على الاتجاهات الفرميونية الأربعة لـR4|4{\displaystyle \mathbb {R} ^{4|4}}بحيث تتحول هذه العناصر كسبينور تحت جبر بوانكاريه الفرعي. في أربعة أبعاد، توجد ثلاثة سبينورات متميزة غير قابلة للاختزال ذات أربعة مكونات. وهي سبينور ماجورانا ، وسبينور فايل الأيسر ، وسبينور فايل الأيمن. تنص نظرية CPT على أنه في نظرية موحدة ثابتة تحت تأثير بوانكاريه، وهي نظرية تكون فيها مصفوفة S مصفوفة موحدة وتؤثر فيها مولدات بوانكاريه نفسها على الحالات الداخلية التقاربية كما تؤثر على الحالات الخارجية التقاربية، يجب أن يحتوي جبر التناظر الفائق على عدد متساوٍ من سبينورات فايل اليسرى واليمنى. ومع ذلك، بما أن لكل سبينور فايل أربعة مكونات، فهذا يعني أنه إذا تم تضمين أي سبينورات فايل، فيجب أن يكون لدينا ثمانية اتجاهات فرميونية. يُقال إن هذه النظرية تتمتع بتناظر فائق ممتد ، وقد حظيت هذه النماذج باهتمام كبير. على سبيل المثال، قام ناثان سيبرغ وإدوارد ويتن بحلّ نظريات القياس الفائقة التناظر ذات الشحنات الفائقة الثمانية والمادة الأساسية ، انظر نظرية قياس سيبرغ-ويتن . مع ذلك، في هذا القسم الفرعي، نتناول الفضاء الفائق ذي المكونات الفرميونية الأربعة، وبالتالي لا تتوافق أي من سبينورات فايل مع نظرية CPT.

ملاحظة : هناك العديد من اصطلاحات الإشارات المستخدمة، وهذا واحد منها فقط.

وبالتالي، تتحول الاتجاهات الفرميونية الأربعة كسبينور ماجوراناθα{\displaystyle \theta _{\alpha }}يمكننا أيضًا تكوين سبينور مترافق

θ¯ =دهـو أناθγ0=-θج{\displaystyle {\bar {\theta }}\ {\stackrel {\mathrm {def} }{=}}\ i\theta ^{\dagger }\gamma ^{0}=-\theta ^{\perp }C}

أينج{\displaystyle C}هي مصفوفة اقتران الشحنة، والتي تُعرَّف بخاصية أنه عند اقترانها بمصفوفة غاما ، تُعكس مصفوفة غاما وتُنقل. المساواة الأولى هي تعريفθ¯{\displaystyle {\bar {\theta }}}أما الثاني فهو نتيجة لحالة ماجورانا سبينورθ*=أناγ0جθ{\displaystyle \theta ^{*}=i\gamma _{0}C\theta }يؤدي السبينور المترافق دورًا مشابهًا لدور θ*{\displaystyle \theta ^{*}}في الفضاء الفائقR1|2{\displaystyle \mathbb {R} ^{1|2}}باستثناء أن شرط ماجورانا، كما هو موضح في المعادلة أعلاه، يفرض أنθ{\displaystyle \theta }وθ*{\displaystyle \theta ^{*}}ليست مستقلة.

على وجه الخصوص، يمكننا بناء الشحنات الفائقة

سؤال=-θ¯+γμθμ{\displaystyle Q=-{\frac {\partial }{\partial {\bar {\theta }}}}+\gamma ^{\mu }\theta \partial _{\mu }}

والتي تحقق جبر التناظر الفائق

{سؤال،سؤال}={سؤال¯،سؤال}ج=2γμμج=-2أناγμPμج{\displaystyle \left\{Q,Q\right\}=\left\{{\overline {Q}},Q\right\}C=2\gamma ^{\mu }\partial _{\mu }C=-2i\gamma ^{\mu }P_{\mu }C}

أينP=أناμ{\displaystyle P=i\partial _{\mu }}هو مؤثر الزخم الرباعي . مرة أخرى، يُعرَّف المشتق المتغير كما هو الحال مع الشحنة الفائقة، ولكن مع إلغاء الحد الثاني، وهو مضاد للتبادل مع الشحنات الفائقة. وبالتالي، فإن المشتق المتغير لمضاعف فائق هو مضاعف فائق آخر.

التناظر الفائق الممتد

من الممكن أن يكونشمال{\displaystyle {\mathcal {N}}}مجموعات من الشواحن الفائقةسؤالأنا{\displaystyle Q^{I}}معأنا=1،،شمال{\displaystyle I=1,\cdots ,{\mathcal {N}}}، على الرغم من أن هذا غير ممكن لجميع قيمشمال{\displaystyle {\mathcal {N}}}.

تُنتج هذه الشحنات الفائقة ترجمات في إجمالي4شمال{\displaystyle 4{\mathcal {N}}}أبعاد الدوران، وبالتالي تشكيل الفضاء الفائقR4|4شمال{\displaystyle \mathbb {R} ^{4|4{\mathcal {N}}}}.

في النسبية العامة

يُستخدم مصطلح "الفضاء الفائق" أيضًا بمعنى مختلف تمامًا وغير ذي صلة، في كتاب " الجاذبية" لميسنر، ثورن، وويلر. هناك، يشير إلى فضاء التكوين في النسبية العامة ، وتحديدًا إلى مفهوم الجاذبية كديناميكا هندسية ، وهو تفسير للنسبية العامة كشكل من أشكال الهندسة الديناميكية. وبعبارة أخرى، تُجسّد هذه الفكرة تحديدًا لـ"الفضاء الفائق" في إحدى الصيغ الرياضية المختلفة المستخدمة في حل معادلات أينشتاين في سياقات متنوعة، نظرية وعملية، مثل المحاكاة العددية. ويشمل ذلك بشكل أساسي صيغة ADM ، بالإضافة إلى الأفكار المتعلقة بمعادلة هاميلتون-جاكوبي-أينشتاين ومعادلة ويلر-ديويت .

انظر أيضاً

ملحوظات

  1. إس جيه جيتس الابن ، إم تي غريزارو ، إم روتشيك ، دبليو سيجل ، الفضاء الفائق أو ألف درس ودرس في التناظر الفائق ، دار بنجامينز كامينغ للنشر (1983) ISBN 0-8053 3161-1.
  2. أليس روجرز ، المتشعبات الفائقة: النظرية والتطبيقات ، دار النشر العالمية (2007) ISBN 978-981-3203-21-1.
  3. برايس ديويت ، المتشعبات الفائقة ، مطبعة جامعة كامبريدج (1984) ISBN 0521 42377 5.
  4. يورغن جوست ، الهندسة الريمانية والتحليل الهندسي ، سبرينغر-فيرلاغ (2002) ISBN 3-540-63654-4.
  5. يوفال نعمان ، إيلينا إيزنبرغ، الأغشية والامتدادات الأخرى (الأغشية p) ، وورلد ساينتيفيك، 1995، ص 5.

مراجع

  • دوبلي ، ستيفن [باللغة الأوكرانية] ؛ سيجل ، وارن؛ باغر، جوناثان، محرران (2005)، الموسوعة الموجزة للتناظر الفائق والبنى غير التبادلية في الرياضيات والفيزياء ، برلين، نيويورك: سبرينغر ، ISBN 978-1-4020-1338-6(الطبعة الثانية)