الرياضيات المكثفة

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

وقد تم تقديم نفس المفهوم بشكل أساسي من قبل بارويك وهاين تحت اسم المجموعة البيكنوتيكية .

بحسب بعض الآراء، تهدف هذه النظرية إلى توحيد فروع رياضية مختلفة، بما في ذلك الطوبولوجيا والهندسة المعقدة والهندسة الجبرية . وعلى وجه الخصوص، وصف كيران كيدلايا الرياضيات المكثفة بأنها "تقنية لإجراء الجبر التبادلي على الحلقات الطوبولوجية". ^{[ 1 ]}

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

يتبين أن إطار الرياضيات المكثفة عام بما يكفي بحيث أنه من خلال النظر في "الفضاءات" المختلفة ذات الحزم التي يتم تقييمها في الجبر المكثف، يمكن للمرء أن يتوقع أن يكون قادراً على دمج الهندسة الجبرية ، والهندسة التحليلية p -adic، والهندسة التحليلية المعقدة . ^{[ 2 ]}

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

إلى أي فضاء ريولوجي${\displaystyle X}$يمكن ربط مجموعة مكثفة، يُشار إليها عادةً بـ${\displaystyle {\underline {X}}}$، والتي لأي مجموعة منتهية${\displaystyle S}$يربط مجموعة الخرائط المتصلة${\displaystyle S\to X}$. لو${\displaystyle X}$إذا كانت مجموعة أو حلقة طوبولوجية، ${\displaystyle {\underline {X}}}$هي مجموعة أو حلقة مكثفة.

في عام ٢٠١٣، قدّم بهارجاف بهات وبيتر شولز مفهومًا عامًا للموقع البرو- إيتالي المرتبط بمخطط عشوائي . وفي عام ٢٠١٨، توصّل داستن كلاوسن وشولز إلى استنتاج مفاده أن الموقع البرو-إيتالي لنقطة واحدة، المتماثل مع موقع المجموعات البرو-انتهائية المذكور أعلاه، يمتلك بالفعل بنية غنية بما يكفي لتحقيق فئات واسعة من الفضاءات الطوبولوجية كحزم عليه. وقد أدت التطورات اللاحقة إلى نظرية المجموعات المكثفة والمجموعات الأبيلية الصلبة ، والتي من خلالها يُمكن دمج الهندسة غير الأرخميدية في النظرية. ^{[ ٥ ]}

في عام ٢٠٢٠، أنجز شولتز برهانًا لنتائجهم، مما مكّن من دمج التحليل الوظيفي والهندسة المعقدة في إطار الرياضيات المكثفة، باستخدام مفهوم فضاءات المتجهات السائلة . وقد تبيّن أن البرهان دقيق للغاية، وللتخلص من أي شكوك حول صحة النتيجة، طلب من رياضيين آخرين تقديم برهان رسمي ومُدقّق . ^{[ ٦ ] [ ٧ ]} على مدار ستة أشهر، تحققت مجموعة بقيادة يوهان كوميلين من الجزء المركزي من البرهان باستخدام برنامج Lean المساعد للبرهان . ^{[ ٨ ] [ ٧ ]} وبحلول ١٤ يوليو ٢٠٢٢، اكتمل البرهان. ^{[ ٩ ]}

بالمصادفة، قدم بارويك وهاين في عام 2019 نظرية مماثلة للأجسام البيكنوتية . ترتبط هذه النظرية ارتباطًا وثيقًا بنظرية المجموعات المكثفة، مع وجود اختلافات رئيسية ذات طبيعة نظرية المجموعات: تعتمد نظرية البيكنوت على اختيار عوالم غروتينديك ، بينما يمكن تطوير الرياضيات المكثفة بشكل صارم ضمن ZFC . ^{[ 10 ]}

• الفضاء المعمم
• مجموعة بيكنوتيك

• https://mathoverflow.net/questions/441838/condensed-vs-pyknotic-vs-consequential
• https://mathoverflow.net/questions/tagged/condensed-mathematics
• https://math.stackexchange.com/questions/4044728/examples-of-the-difference-between-topological-spaces-and-condensed-sets
• https://www.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/
• فرانزيسكا بونلين، وبنيامين بروسكه، وسفين-أكي فيجنر. الرياضيات المكثفة من خلال الفضاءات المدمجة. arXiv: 2512.14612.

• شولز، بيتر (2019). "محاضرات في الرياضيات المكثفة" (PDF) .
• شولز، بيتر (2020). "محاضرات في الهندسة التحليلية" (PDF) .
• كلاوسن، داستن؛ شولز، بيتر (2022). "الرياضيات المكثفة والهندسة المعقدة" (PDF) .
• بستراغوفسكي، بيوتر تاديوش (9 نوفمبر 2020). "دورة متقدمة في الرياضيات المكثفة" . www.math.ku.dk. تاريخ الاسترجاع: 21 يونيو 2021 .
• "ملاحظات حول الرياضيات المكثفة" (ملف PDF) . برنامج البحث الصيفي لطلاب الرياضيات بجامعة شيكاغو 2023 .
• "ملاحظات حول الرياضيات المختصرة" . ملاحظات حول الرياضيات المختصرة - كيران س. كيدلايا .