DOI: https://doi.org/10.1016/j.jfa.2026.111415
تاريخ النشر: 2026-02-25
المؤلف: Mauricio Che وآخرون
الموضوع الرئيسي: التحليل الهندسي وتدفقات الانحناء
نظرة عامة
في هذه الدراسة، نحقق في الصلابة الإيزومترية لفئات معينة من الفضاءات المترية ضمن إطار فضاء $p$-Wasserstein. تشير نتائجنا إلى أن الفضاءات التي تقسم فضاء هيلبرت قابل للفصل لا تظهر صلابة إيزومترية بالنسبة لـ $P_2$. وعلى العكس، نثبت أن الأشعة اللانهائية صلبة إيزومترية لأي $p \geq 1$.
بالإضافة إلى ذلك، نوضح أن بناء نصف أسطوانات لانهائية، المعرفة كفضاءات منتجة من الشكل $X \times [0, \infty)$ فوق فضاءات جيوغرافية غير متفرعة ومضغوطة، تحافظ على الصلابة الإيزومترية لـ $p > 1$. علاوة على ذلك، نوضح أن التعليق الكروي فوق الفضاءات المضغوطة بقطر أقل من $\pi/2$ صلب إيزومترياً بالنسبة لـ $P_p$ لـ $p > 1$. تساهم هذه النتائج في فهم الخصائص الإيزومترية في تكوينات الفضاءات المترية المختلفة.
مقدمة
في هذا القسم، يبحث المؤلفون في العلاقة بين الإيزومترات لفضاء مترى $X$ والإيزومترات لفضاء قياسات الاحتمال بوريل $P_p(X)$، المجهز بمقياس $p$-Wasserstein $W_p$. يتناولون ما إذا كان $P_p(X)$ قد يمتلك إيزومترات غريبة بخلاف تلك الناتجة عن إيزومترات $X$. يقدم البحث نتائج إيجابية وسلبية، موضحاً أمثلة على الفضاءات ذات الإيزومترات الغريبة وتلك التي تظهر صلابة إيزومترية، حيث تتطابق مجموعات الإيزومترات لـ $X$ و $P_p(X)$.
يؤكد المؤلفون أنه لفئة واسعة من فضاءات القياس المترية غير المضغوطة، وبالتحديد في النظرية A، فإن الفضاء $P_2(X)$ يقبل إيزومترات غريبة. يوضحون ذلك من خلال بناء فضاء منتج $X = H \times Y$، حيث $H$ هو فضاء هيلبرت قابل للفصل و$Y$ هو فضاء مترى صحيح، مما يؤدي إلى عمل إيزومتري لمجموعة العمود الفقري لـ $H$. بالإضافة إلى ذلك، يظهرون أن الفضاءات RCD ذات الأبعاد المحدودة والمقوسة غير السلبية التي تحتوي على خط تظهر أيضاً إيزومترات غريبة، كما هو مذكور في النتيجة B. يستكشف البحث أيضاً الصلابة الإيزومترية لفضاءات معينة، وينتهي بالنظرية C، التي تؤكد أن الشعاع $[0, \infty)$ صلب إيزومترياً بالنسبة لـ $P_p$ لأي $p \geq 1$، والنظرية D، التي توسع هذه الصلابة إلى نصف الأسطوانات فوق فضاءات جيوغرافية مضغوطة وغير متفرعة تحت ظروف معينة.
نقاش
في هذا القسم، يناقش المؤلفون الصلابة الإيزومترية لبعض الأشكال الهندسية الريمانية وتأثيرات نظرية النقل الأمثل على هذه الصلابة. يؤكدون أنه إذا كان \( X \) هو شكل ريماني مغلق ومقوس إيجابياً، فإن المنتج \( X \times [0, \infty) \) صلب إيزومترياً بالنسبة لفضاء Wasserstein \( P_2 \) لأي \( q > 1 \). علاوة على ذلك، إذا كان \( X \) هو CROSS (نوع معين من الفضاء)، فإن \( X \times [0, \infty) \) صلب إيزومترياً بالنسبة لـ \( P_p \) لأي \( p > 1 \). كما يظهر المؤلفون أن أخذ التعليق الكروي فوق الفضاءات الجيوغرافية المضغوطة وغير المتفرعة التي تلبي شرطاً تقنياً يحافظ على الصلابة الإيزومترية بالنسبة لـ \( P_p \).
يتناول القسم أيضاً المفاهيم الأساسية لنظرية النقل الأمثل، مع التركيز بشكل خاص على فضاء \( p \)-Wasserstein \( P_p(X) \)، الذي يتكون من قياسات الاحتمال بوريل على فضاء مترى \( (X, d) \) مع لحظات \( p \) محدودة. يعرف المؤلفون مقياس \( p \)-Wasserstein \( W_p \) ويناقشون توصيف خطط النقل الأمثل، مع التأكيد على دور التكرار الدوري. يقدمون مفهوم الصلابة الإيزومترية فيما يتعلق بخريطة الدفع للأيزومترات ويحددون استراتيجية لإثبات النظريات المتعلقة بصلابة الفضاءات المختلفة، بما في ذلك الحفاظ على قياسات ديراك والقياسات الذرية تحت الإيزومترات. ينتهي القسم بمناقشة حول تأثيرات هذه النتائج على الفهم الأوسع للبناءات الهندسية وخصائص صلابتها.
DOI: https://doi.org/10.1016/j.jfa.2026.111415
Publication Date: 2026-02-25
Author(s): Mauricio Che et al.
Primary Topic: Geometric Analysis and Curvature Flows
Overview
In this study, we investigate the isometric rigidity of specific classes of metric spaces within the framework of the $p$-Wasserstein space. Our findings indicate that spaces that split a separable Hilbert space do not exhibit isometric rigidity with respect to $P_2$. Conversely, we establish that infinite rays are isometrically rigid for any $p \geq 1$.
Additionally, we demonstrate that the construction of infinite half-cylinders, defined as product spaces of the form $X \times [0, \infty)$ over compact non-branching geodesic spaces, maintains isometric rigidity for $p > 1$. Furthermore, we show that spherical suspensions over compact spaces with a diameter less than $\pi/2$ are isometrically rigid with respect to $P_p$ for $p > 1$. These results contribute to the understanding of isometric properties in various metric space configurations.
Introduction
In this section, the authors investigate the relationship between the isometries of a metric space $X$ and the isometries of the space of Borel probability measures $P_p(X)$, equipped with the $p$-Wasserstein metric $W_p$. They address whether $P_p(X)$ may possess exotic isometries beyond those induced by isometries of $X$. The paper presents both affirmative and negative findings, illustrating examples of spaces with exotic isometries and those exhibiting isometric rigidity, where the isometry groups of $X$ and $P_p(X)$ coincide.
The authors establish that for a broad class of non-compact metric measure spaces, specifically in Theorem A, the space $P_2(X)$ admits exotic isometries. They demonstrate this through the construction of a product space $X = H \times Y$, where $H$ is a separable Hilbert space and $Y$ is a proper metric space, leading to an isometric action of the orthogonal group of $H$. Additionally, they show that finite-dimensional, non-negatively curved RCD spaces containing a line also exhibit exotic isometries, as stated in Corollary B. The paper further explores the isometric rigidity of specific spaces, concluding with Theorem C, which asserts that the ray $[0, \infty)$ is isometrically rigid with respect to $P_p$ for any $p \geq 1$, and Theorem D, which extends this rigidity to half-cylinders over compact, non-branching geodesic spaces under certain conditions.
Discussion
In this section, the authors discuss the isometric rigidity of certain Riemannian manifolds and the implications of optimal transport theory on this rigidity. They establish that if \( X \) is a closed, positively curved Riemannian manifold, then the product \( X \times [0, \infty) \) is isometrically rigid with respect to the \( P_2 \) Wasserstein space for any \( q > 1 \). Furthermore, if \( X \) is a CROSS (a specific type of space), then \( X \times [0, \infty) \) is isometrically rigid with respect to \( P_p \) for any \( p > 1 \). The authors also demonstrate that taking the spherical suspension over compact, geodesic, non-branching spaces that meet a technical condition preserves isometric rigidity with respect to \( P_p \).
The section further elaborates on the foundational concepts of optimal transport, particularly focusing on the \( p \)-Wasserstein space \( P_p(X) \), which consists of Borel probability measures on a metric space \( (X, d) \) with finite \( p \)-moments. The authors define the \( p \)-Wasserstein metric \( W_p \) and discuss the characterization of optimal transport plans, emphasizing the role of cyclical monotonicity. They introduce the notion of isometric rigidity in relation to the push-forward map of isometries and outline a strategy for proving theorems regarding the rigidity of various spaces, including the preservation of Dirac measures and atomic measures under isometries. The section concludes with a discussion on the implications of these findings for the broader understanding of geometric constructions and their rigidity properties.