<p>This paper aims to study isometries of the 1-Wasserstein space <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {W}_1(\textbf{G})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">W</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> over Carnot groups endowed with horizontally strictly convex norms. Well-known examples of horizontally strictly convex norms on Carnot groups are the Heisenberg group <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {H}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> endowed with the Heisenberg-Korányi norm, or with the Naor-Lee norm; and <i>H</i>-type Iwasawa groups endowed with a Korányi-type norm. We prove that on a general Carnot group there always exists a horizontally strictly convex norm. The main result of the paper says that if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((\textbf{G},N_{\textbf{G}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">G</mi> <mo>,</mo> <msub> <mi>N</mi> <mi mathvariant="bold">G</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a Carnot group where <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(N_{\textbf{G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>N</mi> <mi mathvariant="bold">G</mi> </msub> </math></EquationSource> </InlineEquation> is a horizontally strictly convex norm on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textbf{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">G</mi> </math></EquationSource> </InlineEquation>, then the Wasserstein space <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {W}_1(\textbf{G})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">W</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is isometrically rigid. That is, for every isometry <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Phi :\mathcal {W}_1(\textbf{G})\rightarrow \mathcal {W}_1(\textbf{G})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>:</mo> <msub> <mi mathvariant="script">W</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msub> <mi mathvariant="script">W</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> there exists an isometry <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\psi :\textbf{G}\rightarrow \textbf{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ψ</mi> <mo>:</mo> <mi mathvariant="bold">G</mi> <mo stretchy="false">→</mo> <mi mathvariant="bold">G</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Phi =\psi _{\#}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>=</mo> <msub> <mi>ψ</mi> <mo>#</mo> </msub> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Isometric Rigidity of the Wasserstein Space \(\mathcal {W}_1(\textbf{G})\) Over Carnot Groups

  • Zoltán M. Balogh,
  • Tamás Titkos,
  • Dániel Virosztek

摘要

This paper aims to study isometries of the 1-Wasserstein space \(\mathcal {W}_1(\textbf{G})\) W 1 ( G ) over Carnot groups endowed with horizontally strictly convex norms. Well-known examples of horizontally strictly convex norms on Carnot groups are the Heisenberg group \(\mathbb {H}^n\) H n endowed with the Heisenberg-Korányi norm, or with the Naor-Lee norm; and H-type Iwasawa groups endowed with a Korányi-type norm. We prove that on a general Carnot group there always exists a horizontally strictly convex norm. The main result of the paper says that if \((\textbf{G},N_{\textbf{G}})\) ( G , N G ) is a Carnot group where \(N_{\textbf{G}}\) N G is a horizontally strictly convex norm on \(\textbf{G}\) G , then the Wasserstein space \(\mathcal {W}_1(\textbf{G})\) W 1 ( G ) is isometrically rigid. That is, for every isometry \(\Phi :\mathcal {W}_1(\textbf{G})\rightarrow \mathcal {W}_1(\textbf{G})\) Φ : W 1 ( G ) W 1 ( G ) there exists an isometry \(\psi :\textbf{G}\rightarrow \textbf{G}\) ψ : G G such that \(\Phi =\psi _{\#}\) Φ = ψ # .