عرض مصدر فضاء دي سيتر المضاد

{{يتيمة|تاريخ=ديسمبر 2021}}
{{بطاقة عامة}}
'''فضاء دي سيتر المضاد''' ([[اللغة الإنجليزية|بالإنجليزية]]: Anti-de Sitter space (ADS))، في [[رياضيات|الرياضيات]] و[[فيزياء|الفيزياء]]، فضاء دي سيتر المضاد هو متماثل الحد الأقصى لمشعب لورينتزيان مع انحناء سلبي ثابت. تم تسمية فضاء دي سيتر المضاد وفضاء دي سيتر [[فيليم دي سيتر|على اسم ويليم دي سيتر]] (1872-1934)، أستاذ علم الفلك في [[جامعة لايدن|جامعة ليدن]] ومدير [[مرصد ليدن|مرصد لايدن]]. حيث عمل ويليم دي سيتر و[[ألبرت أينشتاين]] معًا بشكل وثيق في [[لايدن]] في عشرينيات القرن الماضي على [[زمكان|بنية الزمكان]] في الكون.

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

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

مساحة دي سيتر المضاد تعمم على أي عدد من أبعاد الفضاء. في الأبعاد الأعلى، تشتهر بدورها في [[تماثل مكان دي سيتر المضاد ونظرية الحقل الامتثالي|مراسلات تماثل مكان دي سيتر المضاد ونظرية الحقل الامتثالي]] (دي سيتر المضاد / CFT)، مما يشير إلى أنه من الممكن وصف قوة في ميكانيكا الكم (مثل [[كهرومغناطيسية|الكهرومغناطيسية]]، [[قوة نووية ضعيفة|القوة الضعيفة]] أو [[تآثر قوي|القوة القوية]]) في عدد معين من الأبعاد (على سبيل المثال أربعة) مع [[نظرية الأوتار]] حيث توجد السلاسل في مساحة مضادة للجلسة، مع بُعد إضافي واحد (غير مضغوط).

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

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

[[الانحناء المستمر|الانحناء القياسي الثابت]] يعني انحناء الزمكان الذي يشبه الجاذبية النسبية العامة الذي له انحناء موصوف برقم واحد هو نفسه في كل مكان في الزمكان في غياب المادة أو الطاقة.

الانحناء السلبي يعني الانحناء الزائدي، مثل [[نقطة سرجية|سطح السرج]] أو [[بوق جبريل|سطح غابرييل هورن]]، على غرار جرس [[بوق|البوق.]] يمكن وصفه بأنه «عكس» سطح الكرة التي لها انحناء موجب.

=== الزمكان في النسبية العامة ===
النسبية العامة هي نظرية عن طبيعة الزمان والمكان والجاذبية حيث الجاذبية هي انحناء للمكان والزمان ناتج عن وجود المادة أو الطاقة. [[تكافؤ الكتلة والطاقة|الطاقة والكتلة متساويان]] (كما هو معبر عنه في المعادلة ''E.''&nbsp;=&nbsp;''م'' <sup>2</sup>). يمكن تحويل قيم المكان والزمان إلى وحدات زمنية أو مكانية بضرب أو قسمة القيمة على سرعة الضوء (على سبيل المثال، ثانية مضروبة في المتر في الثانية تساوي مترًا).

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

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

الميزة الرئيسية للنسبية العامة هي أنها تصف الجاذبية ليس كقوة تقليدية مثل الكهرومغناطيسية، ولكن كتغيير في هندسة الزمكان الناتج عن وجود المادة أو الطاقة.

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

نتيجة لذلك، في النسبية العامة، [[قانون الجذب العام لنيوتن|معادلة الجاذبية النيوتونية المألوفة]] <math>\textstyle F = G \frac{m_1 m_2}{r^2}\ </math> (على سبيل المثال، سحب الجاذبية بين جسمين يساوي [[ثابت الجاذبية]] مضروبًا في ناتج كتلتيهما مقسومًا على مربع المسافة بينهما) هو مجرد تقريب لتأثيرات الجاذبية التي تُرى في النسبية العامة. لكن هذا التقريب يصبح غير دقيق في المواقف المادية المتطرفة، مثل السرعات النسبية (الضوء، على وجه الخصوص)، أو الكتل الكبيرة الكثيفة جدًا.

في النسبية العامة، سبب الجاذبية هو انحناء الزمكان («مشوه»). من المفاهيم الخاطئة الشائعة أن تنسب الجاذبية إلى الفضاء المنحني؛ لا المكان ولا الزمان لهما معنى مطلق في النسبية. ومع ذلك، لوصف الجاذبية الضعيفة، كما هو الحال على الأرض، يكفي اعتبار تشويه الوقت في نظام إحداثيات معين. نجد الجاذبية على الأرض ملحوظة للغاية بينما يتطلب تشويه الوقت النسبي أدوات دقيقة للكشف عنها. السبب في أننا لا تصبح على بينة من الآثار النسبية في حياتنا اليومية هو قيمة كبيرة من سرعة الضوء (ج = {{Val|300000}} تقريبًا)، مما يجعلنا ندرك المكان والزمان ككيانات مختلفة.

=== فضاء دي سيتر في النسبية العامة ===
يتضمن الفضاء دي سيتر تباينًا في النسبية العامة حيث يكون الزمكان منحنيًا قليلاً في غياب المادة أو الطاقة. هذا مشابه للعلاقة بين الهندسة الإقليدية والهندسة [[هندسة لاإقليدية|غير الإقليدية]].

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

=== تتميز مساحة دي سيتر المضاد عن مساحة دي سيتر ===
يشبه الفضاء المضاد دي سيتر في النسبية العامة فضاء [[مساحة De Sitter|دي سيتر]]، باستثناء علامة تغير انحناء الزمكان. في الفضاء المضاد لـ دي سيتر، في حالة عدم وجود المادة أو الطاقة، يكون انحناء الأقسام الشبيهة بالفضاء سالبًا، يتوافق مع [[هندسة زائدية|الهندسة الزائدية]]، ويكون موازي تتقاطع الجيوديسيا في نهاية المطاف. يتوافق هذا مع [[ثابت كوني]] سلبي، حيث يحتوي الفضاء الفارغ نفسه على كثافة طاقة سالبة ولكن ضغط إيجابي، على عكس [[نموذج لامبدا-سي دي إم|نموذج نموذج لامبدا-سي دي إم]] (ΛCDM) القياسي لكوننا حيث تشير [[تسارع توسع الكون|ملاحظات المستعرات الأعظمية البعيدة]] إلى ثابت كوني إيجابي يقابل (مقارب) [[مساحة De Sitter|مساحة دي سيتر]].

في فضاء مضاد دي سيتر، كما هو الحال في فضاء دي سيتر، يتوافق انحناء الزمكان المتأصل مع الثابت الكوني.

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

في حين أن الفضاء المضاد دي سيتر لا يتوافق مع الجاذبية في النسبية العامة مع الثابت الكوني المرصود، يُعتقد أن الفضاء المضاد دي سيتر يتوافق مع قوى أخرى في ميكانيكا الكم (مثل الكهرومغناطيسية والقوة النووية الضعيفة والقوة النووية القوية). وهذا ما يسمى [[تماثل مكان دي سيتر المضاد ونظرية الحقل الامتثالي|مراسلة تماثل مكان دي سيتر المضاد ونظرية الحقل الامتثالي]] (دي سيتر المضاد / CFT).

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

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

يلتقط الوصف الرياضي الكامل أيضًا بعض الفروق الدقيقة التي تم إجراؤها في النسبية العامة بين الأبعاد الشبيهة بالفضاء والأبعاد الشبيهة بالوقت.

== التعريف والخصائص ==
بقدر ما يمكن تصور المساحات الكروية والقطعية من خلال [[تضمين رياضي|التضمين متساوي القياس]] في مساحة مسطحة ذات بعد واحد أعلى (مثل [[كرة|الكرة]] [[الغلاف الكاذب|والغلاف الكاذب]] على التوالي)، يمكن تصور الفضاء المضاد دي سيتر على أنه نظير لورنتز للكرة في مساحة واحدة بعد إضافي. البعد الإضافي يشبه الوقت. في هذه المقالة نعتمد الاصطلاح القائل بأن [[موتر متري|المقياس]] في الاتجاه الزمني يكون سالبًا.
[[ملف:HyperboloidOfOneSheet.svg|تصغير|صورة {{بدون لف|(1 + 1)}} أبعاد مضادة للهجوم مدمجة في مساحة مسطحة {{بدون لف|(1 + 2)}} أبعاد. يقع ''المحوران t'' <sub>1</sub> - و ''t'' <sub>2 -</sub> في مستوى التناظر الدوراني، والمحور ''x'' <sub>1</sub> طبيعي لهذا المستوى. يحتوي السطح المضمن على منحنيات مغلقة شبيهة بالوقت تدور حول ''المحور x'' <sub>1</sub>، على الرغم من أنه يمكن التخلص منها عن طريق "فتح" التضمين (بشكل أكثر دقة، عن طريق أخذ الغطاء الشامل).]]
يمكن بعد ذلك تضمين مساحة التوقيع المضاد دي سيتر {{بدون لف|(''p'', ''q'')}} بشكل متساوي القياس في الفضاء <math>\mathbb{R}^{p,q+1}</math> بالإحداثيات {{بدون لف|(''x''<sub>1</sub>, ..., ''x''<sub>''p''</sub>, ''t''<sub>1</sub>, ..., ''t''<sub>''q''+1</sub>)}} [[موتر متري|والقياس المتري]]

: <math>ds^2 = \sum_{i=1}^p dx_i^2 - \sum_{j=1}^{q+1} dt_j^2</math>

مثل [[كرواني|شبه الكرة]]

: <math>\sum_{i=1}^p x_i^2 - \sum_{j=1}^{q+1} t_j^2 = -\alpha^2 ,</math>

أين <math>\alpha</math> هو ثابت غير صفري بأبعاد طول ([[نصف قطر الانحناء]]). هذه كرة (معممة) بمعنى أنها مجموعة من النقاط التي تكون «المسافة» (التي يحددها الشكل التربيعي) عن الأصل ثابتة، ولكنها بصريًا عبارة عن شكل [[سطح زائدي|زائد]]، كما في الصورة الموضحة.

المقياس الموجود في مساحة دي سيتر المضاد هو ذلك المستحث من [[مقياس محيط|مقياس المحيط]]. إنه غير [[انعدام|مُنشأ]]، وفي حالة {{بدون لف|1=''q'' = 1}} له توقيع لورنتزيان.

عندما {{بدون لف|1=''q'' = 0}}، يعطي هذا البناء مساحة زائدية قياسية. يتم تطبيق ما تبقى من المناقشة عندما {{بدون لف|''q'' ≥ 1}} .

=== منحنيات زمنية مغلقة وغطاء شامل ===
عندما {{بدون لف|''q'' ≥ 1}}، فإن التضمين أعلاه قد [[منحنى مغلق زمنيًا|أغلق منحنيات زمنية]]؛ على سبيل المثال، المسار المحدد بواسطة <math>t_1 = \alpha \sin(\tau), t_2 = \alpha \cos(\tau),</math> وجميع الإحداثيات الأخرى صفر، مثل هذا المنحنى. عندما {{بدون لف|''q'' ≥ 2}} هذه المنحنيات ملازمة للهندسة (لا يثير الدهشة، لأن أي الفضاء مع البعد الزمني أكثر من واحد يحتوي على منحنيات زمكانية مغلقة)، ولكن عندما {{بدون لف|1=''q'' = 1}} ويمكن القضاء عليها عن طريق تمرير إلى [[مساحة تغطية عالمية|الفضاء غطاء عالمي]]، على نحو فعال «الفتح» التضمين. يحدث وضع مماثل مع [[الغلاف الكاذب|الغلاف الزائف]]، الذي يلتف حول نفسه على الرغم من أن المستوى الزائدي لا يفعل ذلك؛ نتيجة لذلك، يحتوي على خطوط مستقيمة ذاتية التقاطع (الجيوديسية) بينما لا يحتوي المستوى الزائدي. يعرّف بعض المؤلفين مساحة دي سيتر المضاد على أنها مكافئة لشبه الكرة المضمنة نفسها، بينما يعرّفها آخرون على أنها مكافئة للغلاف العام للتضمين.

=== تناظرات ===
إذا لم يتم أخذ الغطاء الشامل، {{بدون لف|(''p'', ''q'')}} فإن الفضاء المضاد دي سيتر يكون [[مجموعة متعامدة معممة|{{بدون لف|O(''p'', ''q'' + 1)}}]] كمجموعة [[مجموعة تساوي القياس|متساوية]]. إذا تم أخذ الغطاء العام، فإن مجموعة التساوي القياس هي غطاء {{بدون لف|O(''p'', ''q'' + 1)}} . يمكن فهم ذلك بسهولة من خلال تحديد مساحة دي سيتر المضاد على أنها [[مساحة متماثلة]]، باستخدام [[مساحة متجانسة|بناء مساحة الحاصل]]، الموضح أدناه.

=== عدم الاستقرار ===
ينص «تخمين عدم استقرار دي سيتر المضاد» غير المثبت الذي قدمه الفيزيائيان بيوتر بيزون وأندريه روستوروفسكيفي عام 2011 على أن الاضطرابات الصغيرة التعسفية لأشكال معينة في دي سيتر المضاد تؤدي إلى تكوين الثقوب السوداء.<ref>{{استشهاد بدورية محكمة
| مسار = https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.107.031102
| DOI = 10.1103/PhysRevLett.107.031102
| عنوان = Weakly Turbulent Instability of Anti–de Sitter Spacetime
| سنة = 2011
| الأخير = Bizoń
| الأول = Piotr
| مؤلف2-الأخير = Rostworowski
| مؤلف2-الأول = Andrzej
| صحيفة = Physical Review Letters
| المجلد = 107
| العدد = 3
| صفحة = 031102
| PMID = 21838346
| arxiv = 1104.3702
| bibcode = 2011PhRvL.107c1102B
| مسار أرشيف = https://web.archive.org/web/20211211084712/https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.107.031102 | تاريخ أرشيف = 11 ديسمبر 2021 }}</ref> أثبت عالم الرياضيات جورجيوس موسكيديس أنه بالنظر إلى التناظر الكروي، فإن التخمين ينطبق على الحالات المحددة لنظام الغبار الخالي من آينشتاين مع مرآة داخلية (2017) ونظام آينشتاين عديم الكتلة فلاسوف (2018).<ref>{{استشهاد بخبر
| عنوان = Black Holes Help Prove That a Special Kind of Space-Time Is Unstable
| مسار = https://www.quantamagazine.org/black-holes-prove-that-anti-de-sitter-space-time-is-unstable-20200511/
| تاريخ الوصول = 14 May 2020
| عمل = Quanta Magazine
| تاريخ = 2020
| لغة = en
| مسار أرشيف = https://web.archive.org/web/20210918060125/http://www.quantamagazine.org/new-math-proves-that-a-special-kind-of-space-time-is-unstable-20200511 | تاريخ أرشيف = 18 سبتمبر 2021 }}</ref><ref>Moschidis, Georgios. "A proof of the instability of AdS for the Einstein--massless Vlasov system." arXiv preprint arXiv:1812.04268 (2018).</ref>

== تنسيق الرقعات ==
توفر [[تنسيق التصحيح|رقعة الإحداثيات التي]] تغطي جزءًا من [[نصف مساحة (هندسة)|المساحة تنسيقًا نصف مساحة لمساحة]] دي سيتر المضاد. [[موتر متري|الموتر المتري]] لهذا التصحيح هو

<math>ds^2=\frac{1}{y^2}\left(-dt^2+dy^2+\sum_idx_i^2\right),</math>

مع <math>y>0</math> إعطاء نصف مساحة. نرى بسهولة أن هذا المقياس [[مكافئ بشكل مطابق]] لزمكان مينكوفسكي ذي نصف مساحة مسطحة.

الشرائح الزمنية الثابتة من رقعة الإحداثيات هذه عبارة عن [[الفضاء الزائدي|مسافات]] زائدية في مقياس نصف مساحة بوانكاريه. في حدود <math>y\to 0</math>، هذا المقياس نصف الفراغ مكافئ تمامًا لمقياس مينكوفسكي <math display="inline">ds^2 = -dt^2 + \sum_i dx_i^2</math> . وبالتالي، فإن مساحة دي سيتر المضاد تحتوي على مساحة مينكوفسكي مطابقة عند اللانهاية («اللانهاية» حيث يكون إحداثيات y صفر في هذا التصحيح).

في دي سيتر المضاد، يكون الوقت دوريًا، [[غطاء عالمي|والغطاء الشامل]] له وقت غير دوري. تغطي رقعة الإحداثيات أعلاه نصف فترة واحدة من الزمكان.

لأن [[اللانهاية المطابقة|ما لا نهاية امتثالي]] الإعلانات هي [[زمكان]]، بحيث تحديد البيانات الأولية على شبيه بالفضاء فوق السطح لا تحديد تطور مستقبل أكيد ''(أي'' حتمي) ما لم تكن هناك [[مسألة القيمة الحدية|شروط الحدود]] المرتبطة اللانهاية امتثالي.
[[ملف:AdS_A.PNG|تصغير|منطقة "نصف الفضاء" للفضاء المضاد دي سيتر وحدودها.]]
يتم توفير نظام إحداثيات شائع الاستخدام آخر يغطي المساحة بأكملها بواسطة الإحداثيات t، <math>r \geqslant 0</math> [[نظام إحداثي قطبي|والإحداثيات القطبية]] الفائقة α،

<math>ds^2 = - \left( k^2r^2 + 1 \right)dt^2 + \frac{1}{k^2 r^2 + 1}dr^2 + r^2 d\Omega^2</math>

تمثل الصورة المجاورة منطقة «نصف الفضاء» من الفضاء المضاد دي سيتر وحدودها. يتوافق الجزء الداخلي من الأسطوانة مع الزمكان المضاد لـ دي سيتر، بينما يتوافق حده الأسطواني مع حدوده المطابقة. تتوافق المنطقة المظللة باللون الأخضر في الداخل مع منطقة دي سيتر المضاد التي تغطيها إحداثيات نصف مساحة ويحدها اثنان، ''ويعرف أيضًا باسم'' الضوء، والطبقات الجيوديسية الفائقة؛ تتوافق المنطقة المظللة باللون الأخضر على السطح مع منطقة الفضاء المطابق التي تغطيها مساحة مينكوفسكي.

تغطي المنطقة المظللة باللون الأخضر نصف مساحة دي سيتر المضاد ونصف الزمكان المطابق؛ الأطراف اليسرى من الأقراص الخضراء سوف تتلامس بنفس طريقة الأطراف اليمنى.

== كمساحة متجانسة ومتناسقة ==
بنفس الطريقة التي بها [[كرة|2-شكل كروي]].

<math>S^2=\frac{ \mathrm{O}(3) }{ \mathrm{O}(2) }</math>

هو حاصل مجموعتين [[زمرة متعامدة|متعامدين]]، يمكن اعتبار دي سيتر المضاد مع [[تكافؤ (فيزياء)|التكافؤ]] (التناظر الانعكاسي) [[تناظر T|والتناظر الانعكاسي للوقت]] [[مجموعة متعامدة معممة|حاصلًا لمجموعتين متعامدة معممة]]

<math> \mathrm{AdS}_n=\frac{ \mathrm{O}(2,n-1) }{ \mathrm{O}(1,n-1) } </math>

بينما يمكن اعتبار دي سيتر المضاد بدون P أو C حاصل القسمة

<math>\frac{ \mathrm{Spin}^+(2,n-1) }{ \mathrm{Spin}^+(1,n-1) }</math>

من [[مجموعة تدور|مجموعات الدوران]].

تعطي صيغة حاصل القسمة <math>\mathrm{AdS}_n</math> هيكل [[مساحة متجانسة|الفضاء المتجانس]]. [[كذبة الجبر|الجبر]] الكاذب للمجموعة المتعامدة المعممة <math>o(1,n)</math> من خلال المصفوفات

<math>
\mathcal{H}= \begin{pmatrix}
   \begin{matrix}
    0&0\\
    0&0
   \end{matrix}
            & \begin{pmatrix}
		       \cdots 0\cdots\\
			  \leftarrow v^t\rightarrow
             \end{pmatrix}\\
  \begin{pmatrix}	 
    \vdots & \uparrow\\
     0  & v \\
    \vdots & \downarrow
  \end{pmatrix} & B
 \end{pmatrix}
</math>

أين <math>B</math> هي [[مصفوفة متماثلة منحرفة|مصفوفة منحرفة متماثلة]]. مولد مكمل في الكذب الجبر <math>\mathcal{G}=\mathrm{o}(2,n) </math> يكون

<math> 
\mathcal{Q}=
 \begin{pmatrix}
   \begin{matrix}
    0&a\\
    -a&0
   \end{matrix}
            & \begin{pmatrix}		       
			 \leftarrow w^t\rightarrow \\
			   \cdots 0\cdots\\
             \end{pmatrix}\\
  \begin{pmatrix}	 
   \uparrow  & \vdots\\
     w   & 0\\
   \downarrow & \vdots 
  \end{pmatrix} & 0
 \end{pmatrix}.
</math>

هذان الاثنان يفيان <math>\mathcal{G}=\mathcal{H}\oplus\mathcal{Q} </math> . يوضح حساب المصفوفة الصريح ذلك <math>[\mathcal{H},\mathcal{Q}]\subseteq\mathcal{Q}</math> و <math>[\mathcal{Q},\mathcal{Q}]\subseteq\mathcal{H} </math> . وبالتالي، فإن دي سيتر المضاد هو [[مساحة متجانسة مختزلة|مساحة متجانسة اختزالية]]، وفضاء غير ريماني [[مساحة متماثلة|متماثل]].

== نظرة عامة على دي سيتر المضاد وزمكان الفيزياء وخصائصها ==
<math>\mathrm{AdS}_n</math> هو حل ذو أبعاد ''n'' [[عمل أينشتاين-هلبرت|لنظرية الجاذبية بعمل أينشتاين-هلبرت]] مع [[ثابت كوني|الثابت الكوني السالب]] <math>\Lambda</math>، (<math>\Lambda < 0</math>)، أي النظرية الموصوفة بكثافة [[لاغرانجيان|لاغرانج التالية:]]

<math>
\mathcal{L} = \frac{1}{16 \pi G_{(n)}}(R - 2\Lambda) 
</math>

حيث {{تعبير رياضي|''G''<sub>(''n'')</sub>}} هو [[ثابت الجاذبية]] في {{تعبير رياضي|''n''}} الأبعاد. لذلك، فهو حل [[معادلات الحقل لأينشتاين|معادلات مجال أينشتاين]]:

<math>
G_{\mu\nu} + \Lambda g_{\mu\nu} = 0,
</math>

أين <math>G_{\mu\nu}</math> هو [[موتر أينشتاين]] و <math>g_{\mu\nu}</math> هو مقياس الزمكان. تقديم نصف القطر <math>\alpha</math> كما <math display="inline">\Lambda = \frac{-(n - 1)(n - 2)}{2\alpha^2}</math> [[الغمر (رياضيات)|يمكن غمر]] هذا الحل في <math>n + 1</math> الأبعاد والزمكان المسطح مع المقياس <math>diag(-1, -1, +1, \ldots, +1)</math> في الإحداثيات <math>(X_1,X_2,X_3,\ldots,X_{n+1})</math> بالقيد التالي:

<math>
-X_1^2 - X_2^2 + \sum_{i=3}^{n+1}X_i^2 = -\alpha^2.
</math>

=== الإحداثيات العالمية ===
<math>\mathrm{AdS}_n</math> يتم تحديد معلمات في الإحداثيات العالمية بواسطة المعلمات <math>(\tau,\rho,\theta,\varphi_1,\cdots,\varphi_{n-3})</math> كما:

<math>
\begin{cases}
X_1=\alpha\cosh\rho \cos \tau\\
X_2=\alpha\cosh \rho \sin \tau\\
X_i=\alpha \sinh \rho \,\hat{x}_i \qquad \sum_i \hat{x}_i^2=1
\end{cases}
</math>

أين <math>\hat{x}_i</math> حدّد أ <math>S^{n-2}</math> المجال ومن حيث الإحداثيات <math>\varphi_i</math> هم انهم <math>\hat{x}_1 = \sin\theta \sin\varphi_1 \cdots \sin\varphi_{n-3}</math> و <math>\hat{x}_2 = \sin\theta \sin\varphi_1 \cdots \cos\varphi_{n-3}</math> و <math>\hat{x}_3 = \sin\theta \sin\varphi_1 \cdots \cos\varphi_{n-2}</math> وما إلى ذلك وهلم جرا. ال <math>\mathrm{AdS}_n</math> متري في هذه الإحداثيات هو:

<math>
ds^2 = \alpha^2\left(-\cosh^2\rho \, d\tau^2 + \, d\rho^2 + \sinh^2\rho \, d\Omega_{n-2}^2\right)
</math>

حيث <math> \tau \in [0,2\pi] </math> و <math> \rho \in \mathbb{R}^+ </math> . النظر في دورية الوقت <math>\tau</math> ومن أجل تجنب [[منحنى مغلق زمنيًا|المنحنيات المغلقة الزمنية]] (CTC)، يجب على المرء أن يأخذ الغطاء الشامل <math>\tau \in \mathbb{R}</math> . في الحد <math>\rho \to \infty </math> يمكن للمرء أن يقترب من حدود هذا الزمكان تسمى عادة <math>\mathrm{AdS}_n</math> حدود امتثالية.

مع التحولات <math>r\equiv\alpha\sinh \rho</math> و <math>t\equiv\alpha\tau</math> يمكننا الحصول على المعتاد <math>\mathrm{AdS}_n</math> متري في الإحداثيات العالمية:

<math>
ds^2 = -f(r) \, dt^2 + \frac{1}{f(r)} \, dr^2 + r^2 \, d\Omega_{n-2}^2
</math>

<math> f(r)=1+\frac{r^2}{\alpha^2} </math>

=== إحداثيات بوانكاريه ===

==== من خلال المعلمات التالية ====
<math>
\begin{cases}
X_1 = \frac{\alpha^2}{2r}\left(1 + \frac{r^2}{\alpha^4}\left(\alpha^2 + \vec{x}^2 - t^2\right)\right) \\
X_2 = \frac{r}{\alpha}t \\
X_i = \frac{r}{\alpha}x_i \qquad i \in \{3, \ldots, n\}\\
X_{n+1} = \frac{\alpha^2}{2r}\left(1-\frac{r^2}{\alpha^4}\left(\alpha^2 - \vec{x}^2 + t^2\right)\right)
\end{cases},
</math>

ال <math> \mathrm{AdS}_n </math> متري في إحداثيات بوانكاريه هو:

: <math>
ds^2 = - \frac{r^2}{\alpha^2} \, dt^2 + \frac{\alpha^2}{r^2} \, dr^2 + \frac{r^2}{\alpha^2} \, d\vec{x}^2  
</math>
: بحيث <math>0 \leq r</math> . سطح كودمينسيون 2 <math>r = 0</math> هو أفق بوانكاريه و <math>r \to \infty</math> يقترب من حدود <math>\mathrm{AdS}_n</math> وقت فراغ. لذلك على عكس الإحداثيات العالمية، فإن إحداثيات بوانكاريه لا تغطي الجميع <math>\mathrm{AdS}_n</math> [[متعدد شعب|متشعب]]. استخدام <math>u \equiv\frac{r}{\alpha^2}</math> يمكن كتابة هذا المقياس بالطريقة التالية:
: <math>
ds^2 = \alpha^2 \left( \frac{\,du^2}{u^2} + u^2 \, dx_\mu \, dx^\mu \right)
</math>
: أين <math>x^\mu = \left(t, \vec{x}\right)</math> . من خلال التحول <math>z \equiv \frac{1}{u}</math> كما يمكن كتابتها على النحو التالي:
:: <math>
ds^2 = \frac{\alpha^2}{z^2}\left(\,dz^2 + \, dx_\mu \, dx^\mu\right).
</math> هذه الإحداثيات الأخيرة هي الإحداثيات التي تُستخدم عادةً في [[تماثل مكان دي سيتر المضاد ونظرية الحقل الامتثالي|مراسلات دي سيتر المضاد / CFT]]، مع حدود دي سيتر المضاد عند <math>z \to 0 </math>.

=== الخصائص الهندسية ===
قياس دي سيتر المضاد المتري (<math>\mathrm{AdS}_n</math>) بنصف قطر <math>\alpha</math> هي واحدة من أقصى الفواصل المتناظرة ذات الأبعاد ''n.'' لها الخصائص الهندسية التالية:

; [[موتر انحناء ريمان]]
: <math> R_{\mu\nu\alpha\beta} = \frac{-1}{\alpha^2}(g_{\mu\alpha}g_{\nu\beta} - g_{\mu \beta}g_{\nu\alpha}) </math>
; [[تقوس ريتشي]]
: <math> R_{\mu\nu} = \frac{-(n - 1)}{\alpha^2}g_{\mu\nu} </math>
; [[انحناء عددي]]
: <math> R = \frac{-n(n - 1)}{\alpha^2} </math>

== مراجع ==
{{مراجع}}

== فهرس ==

* {{استشهاد بدورية محكمة
| الأخير = Bengtsson
| الأول = Ingemar
| مسار = http://www.fysik.su.se/~ingemar/Kurs.pdf
| عنوان = Anti-de Sitter space
| صحيفة = Lecture Notes (From Archive.org)
| مسار أرشيف = https://web.archive.org/web/20180308101508/http://www.fysik.su.se/~ingemar/Kurs.pdf
| تاريخ أرشيف = 2018-03-08
}}
*
* {{استشهاد|مؤلف-وصلة=George Francis Rayner Ellis|الأخير=Ellis|الأول=G. F. R.|مؤلف2-الأخير=Hawking|مؤلف2-الأول=S. W.|عنوان=The large scale structure of space-time|ناشر=[[مطبعة جامعة كامبريدج]]|سنة=1973|صفحات=131–134}}
* {{استشهاد بكتاب
| مؤلف1 = Frances
| الأول = C.
| مسار الفصل = http://www.math.u-psud.fr/~frances/ads-cft2.pdf
| الفصل = The conformal boundary of anti-de Sitter space-times
| عنوان = AdS/CFT correspondence: Einstein metrics and their conformal boundaries
| صفحات = 205–216
| سلسلة = IRMA Lect. Math. Theor. Phys.
| المجلد = 8
| ناشر = Eur. Math. Soc.
| مكان = Zürich
| سنة = 2005
}}
* {{استشهاد بدورية محكمة
| الأخير = Matsuda
| الأول = H.
| عنوان = A note on an isometric imbedding of upper half-space into the anti-de Sitter space
| صحيفة = Hokkaido Mathematical Journal
| المجلد = 13
| سنة = 1984
| العدد = 2
| صفحات = 123–132
| DOI = 10.14492/hokmj/1381757712
| مسار = http://www.math.sci.hokudai.ac.jp/hmj/page/13-2/pdf/HMJ_13_2_1984_123-132.pdf
|مسار أرشيف= https://web.archive.org/web/20190813154221/http://www.math.sci.hokudai.ac.jp/hmj/page/13-2/pdf/HMJ_13_2_1984_123-132.pdf|تاريخ أرشيف=2019-08-13}} Retrieved 2017-02-04.
* {{استشهاد بكتاب
| مؤلف1 = Wolf
| الأول = Joseph A.
| عنوان = Spaces of Constant Curvature
| مسار = https://archive.org/details/spacesofconstant0000jose
| سنة = 1967
| صفحات = [https://archive.org/details/spacesofconstant0000jose/page/334 334]
}}

== روابط خارجية ==

* [http://www.quantumfieldtheory.info/dS_and_AdS_spaces.pdf دليل مبسط للمساحات المخصصة للجلوس والمقاومة] . مقدمة تربوية لمساحات دي سيتر ودي سيتر المضاد. المقال الرئيسي مبسط، مع عدم وجود الرياضيات تقريبًا. الملحق تقني ومخصص للقراء ذوي الخلفيات الفيزيائية أو الرياضية.
{{روابط شقيقة|commons=Anti-de Sitter spaces}}
{{شريط بوابات|الفضاء|الفيزياء|رحلات فضائية|رياضيات|علم الفلك|علم الكون|علوم|نجوم}}

[[تصنيف:النسبية]]
[[تصنيف:النسبية الخاصة]]
[[تصنيف:النسبية العامة]]
[[تصنيف:تفاضل البيانات]]
[[تصنيف:تفاضل متعدد المتحولات]]
[[تصنيف:تفاضل وتكامل كسري]]
[[تصنيف:حلول دقيقة في النسبية العامة]]
[[تصنيف:هندسة]]
[[تصنيف:هندسة تفاضلية]]
[[تصنيف:هندسة تفاعلات كيميائية]]