<p>This paper bridges synthetic and classical differential geometry by investigating the metrizability and dynamics of Weil bundles. For a smooth, compact manifold <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> </InlineEquation> and a Weil algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">A</mi> </math></EquationSource> </InlineEquation>, we prove that the manifold <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^\textbf{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi mathvariant="bold">A</mi> </msup> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">A</mi> </math></EquationSource> </InlineEquation>-points admits a canonical, weighted metric <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {d}_w\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">d</mi> <mi>w</mi> </msub> </math></EquationSource> </InlineEquation> that encodes both base-manifold geometry and infinitesimal deformations. Our approach relies on constructions and methods of local and global analysis. Key results include: (1). Metrization: <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {d}_w\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">d</mi> <mi>w</mi> </msub> </math></EquationSource> </InlineEquation> induces a complete metric topology on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^\textbf{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi mathvariant="bold">A</mi> </msup> </math></EquationSource> </InlineEquation>. (2). Path Lifting: Curves lift from <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>M</mi> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^\textbf{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi mathvariant="bold">A</mi> </msup> </math></EquationSource> </InlineEquation> while preserving topological invariants. (3). Dynamics: Fixed-point theorems for diffeomorphisms on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^\textbf{A}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>M</mi> <mi mathvariant="bold">A</mi> </msup> </math></EquationSource> </InlineEquation> connected to stability analysis. (4). Topological Equivalence: <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="139" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^*(M^\textbf{A}) \cong H^*(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>M</mi> <mi mathvariant="bold">A</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mi>H</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13370_2025_1309_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="128" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _*(M^\textbf{A}) \cong \pi _*(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>π</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <msup> <mi>M</mi> <mi mathvariant="bold">A</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <mmultiscripts> <mi>π</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Metrizability and dynamics of Weil bundles

  • Stephane Tchuiaga,
  • Moussa Koivogui,
  • Fidèle Balibuno

摘要

This paper bridges synthetic and classical differential geometry by investigating the metrizability and dynamics of Weil bundles. For a smooth, compact manifold \(M\) M and a Weil algebra \(\textbf{A}\) A , we prove that the manifold \(M^\textbf{A}\) M A of \(\textbf{A}\) A -points admits a canonical, weighted metric \(\mathfrak {d}_w\) d w that encodes both base-manifold geometry and infinitesimal deformations. Our approach relies on constructions and methods of local and global analysis. Key results include: (1). Metrization: \(\mathfrak {d}_w\) d w induces a complete metric topology on \(M^\textbf{A}\) M A . (2). Path Lifting: Curves lift from \(M\) M to \(M^\textbf{A}\) M A while preserving topological invariants. (3). Dynamics: Fixed-point theorems for diffeomorphisms on \(M^\textbf{A}\) M A connected to stability analysis. (4). Topological Equivalence: \(H^*(M^\textbf{A}) \cong H^*(M)\) H ( M A ) H ( M ) and \(\pi _*(M^\textbf{A}) \cong \pi _*(M)\) π ( M A ) π ( M ) .