تخمين سميل

تُعرف حدسية سميل ، نسبةً إلى ستيفن سميل ، بأنها تنص على أن زمرة التشاكل التفاضلي للكرة ثلاثية الأبعاد لها نفس نوع التماثل لزمرة القياس المتعامد O(4) . وقد أثبتها ألين هاتشر عام 1983. [ 1 ]

عبارات مكافئة

توجد عدة صيغ مكافئة لفرضية سميل. إحداها أن مكون العقدة غير المكتملة في فضاء التضمينات الملساء للدائرة في الفضاء ثلاثي الأبعاد له نوع التماثل للدوائر المستديرة، أي O(3) . ومن المثير للاهتمام أن هذه الصيغة لا تكافئ فرضية سميل المعممة في الأبعاد الأعلى.

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

وثمة عبارة مكافئة أخرى مفادها أن فضاء مقاييس ريمان ذات الانحناء الثابت على الكرة ثلاثية الأبعاد قابل للانكماش.

أبعاد أعلى

الادعاء (الخاطئ) بأن الإدراجيا(ن+1)الفرق(Sن){\displaystyle O(n+1)\to {\text{Diff}}(S^{n})}يمثل تكافؤًا ضعيفًا للجميعن{\displaystyle n}يُقصد بها أحيانًا الإشارة إلى حدسية سميل المعممة .ن=1{\displaystyle n=1}هذا أمر كلاسيكي، لأنن=2{\displaystyle n=2}وقد أثبت سميل ذلك بنفسه. [ 2 ]

لن5{\displaystyle n\geq 5}الفرضية خاطئة بسبب فشلالفرق(Sن)/يا(ن+1){\displaystyle {\text{Diff}}(S^{n})/O(n+1)}أن يكون قابلاً للتعاقد. [ 3 ]

في أواخر عام 2018، نشر تادايوكي واتانابي بحثًا أوليًا يُثبت فشل حدسية سميل في الحالة المتبقية ذات الأبعاد الأربعة [ 4 معتمدًا على دراسة حول تكامل كونتسيفيتش ، وهو تعميم لتكامل غاوس الرابط . وحتى عام 2021، لم يُنشر هذا البرهان في أي مجلة رياضية.

انظر أيضاً

مراجع

  1. هاتشر، ألين إي. (مايو 1983). "برهان على حدسية سميل، Diff(S 3 ) ≃ O(4)". حوليات الرياضيات . 117 (3): 553. doi : 10.2307/2007035 . JSTOR 2007035 . 
  2. سميل، ستيفن (أغسطس 1959). "التشاكلات التفاضلية للكرة ثنائية الأبعاد". وقائع الجمعية الرياضية الأمريكية . 10 (4): 621-626 . doi : 10.2307/2033664 . JSTOR 2033664 . 
  3. هاتشر، ألين (2012). "نظرة على مدى 50 عامًا لمجموعات التماثل التفاضلي" (PDF) .
  4. واتانابي، تادايوكي (19-08-2019). "بعض العناصر غير التافهة الغريبة لمجموعات التماثل العقلاني لـ Diff(S 4 )". arXiv : 1812.02448 [ math.GT ].