<p>We introduce the module of derivations <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta _{h,M}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Θ</mi> <mrow> <mi>h</mi> <mo>,</mo> <mi>M</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> attached to a given analytic map <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="143" /> </InlineMediaObject> <EquationSource Format="TEX">\(h:({\mathbb {C}}^n,0)\rightarrow ({\mathbb {C}}^p,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>:</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>p</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and a submodule <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\subseteq {\mathcal {O}}_n^p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>⊆</mo> <msubsup> <mi mathvariant="script">O</mi> <mi>n</mi> <mi>p</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and analyse several exact sequences related to <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta _{h,M}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Θ</mi> <mrow> <mi>h</mi> <mo>,</mo> <mi>M</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. Moreover, we obtain formulas for several numerical invariants associated to the pair (<i>h</i>,&#xa0;<i>M</i>) and a given analytic map germ <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="144" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:({\mathbb {C}}^n,0)\rightarrow ({\mathbb {C}}^q,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>q</mi> </msup> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In particular, if <i>X</i> is an analytic subvariety of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, we derive expressions for analytic invariants defined in terms of the module <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2427_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta _X\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Θ</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation> of logarithmic vector fields of <i>X</i>.</p>

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

Modules of Derivations, Logarithmic Ideals and Singularities of Maps on Analytic Varieties

  • Carles Bivià-Ausina,
  • Konstantinos Kourliouros,
  • Maria Aparecida Soares Ruas

摘要

We introduce the module of derivations \(\Theta _{h,M}\) Θ h , M attached to a given analytic map \(h:({\mathbb {C}}^n,0)\rightarrow ({\mathbb {C}}^p,0)\) h : ( C n , 0 ) ( C p , 0 ) and a submodule \(M\subseteq {\mathcal {O}}_n^p\) M O n p and analyse several exact sequences related to \(\Theta _{h,M}\) Θ h , M . Moreover, we obtain formulas for several numerical invariants associated to the pair (hM) and a given analytic map germ \(f:({\mathbb {C}}^n,0)\rightarrow ({\mathbb {C}}^q,0)\) f : ( C n , 0 ) ( C q , 0 ) . In particular, if X is an analytic subvariety of \({\mathbb {C}}^n\) C n , we derive expressions for analytic invariants defined in terms of the module \(\Theta _X\) Θ X of logarithmic vector fields of X.