<p>In this article we construct three infinite families of endofunctors <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq1.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_d^{(n)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>J</mi> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq2.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_d^{[n]}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>J</mi> <mi>d</mi> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo stretchy="false">]</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_d^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>J</mi> <mi>d</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> on the category of left <i>A</i>-modules, where <i>A</i> is a unital associative algebra over a commutative ring <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbbm {k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation>, equipped with an exterior algebra <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^\bullet _d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mo>∙</mo> </msubsup> </math></EquationSource> </InlineEquation>. We prove that these functors generalize the corresponding classical notions of nonholonomic, semiholonomic, and holonomic jet functors, respectively. Our functors come equipped with natural transformations from the identity functor to the corresponding jet functors, which play the rôles of the classical prolongation maps. This allows us to define the notion of linear differential operators with respect to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq6.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{\bullet }_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mo>∙</mo> </msubsup> </math></EquationSource> </InlineEquation>. We show that if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^1_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mn>1</mn> </msubsup> </math></EquationSource> </InlineEquation> is flat as a right <i>A</i>-module, the semiholonomic jet functor satisfies the semiholonomic jet exact sequence <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq8.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="239" /> </InlineMediaObject> <EquationSource Format="TEX">\(0 \rightarrow \bigotimes ^n_A \Omega ^1_d \rightarrow J^{[n]}_d\rightarrow J^{[n-1]}_d \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo stretchy="false">→</mo> <msubsup> <mo>⨂</mo> <mi>A</mi> <mi>n</mi> </msubsup> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mn>1</mn> </msubsup> <mo stretchy="false">→</mo> <msubsup> <mi>J</mi> <mi>d</mi> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo stretchy="false">]</mo> </mrow> </msubsup> <mo stretchy="false">→</mo> <msubsup> <mi>J</mi> <mi>d</mi> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </msubsup> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Moreover, we construct a functor of symmetric (in a suitable noncommutative sense) forms <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^n_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mi>d</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> associated to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^\bullet _d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mo>∙</mo> </msubsup> </math></EquationSource> </InlineEquation>, and proceed to introduce the corresponding noncommutative analogue of the Spencer <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation>-complex. We give necessary and sufficient conditions under which the holonomic jet functor <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_d^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>J</mi> <mi>d</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> satisfies the (holonomic) jet exact sequence, <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq13.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="195" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\rightarrow S^n_d \rightarrow J_d^n \rightarrow J_d^{n-1} \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo stretchy="false">→</mo> <msubsup> <mi>S</mi> <mi>d</mi> <mi>n</mi> </msubsup> <mo stretchy="false">→</mo> <msubsup> <mi>J</mi> <mi>d</mi> <mi>n</mi> </msubsup> <mo stretchy="false">→</mo> <msubsup> <mi>J</mi> <mi>d</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. In particular, for <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> the sequence is always exact, for <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> it is exact for <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^1_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mn>1</mn> </msubsup> </math></EquationSource> </InlineEquation> flat as a right <i>A</i>-module, and for <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, it is sufficient to have <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^1_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mn>1</mn> </msubsup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq19.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^2_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq20.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^3_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>d</mi> <mn>3</mn> </msubsup> </math></EquationSource> </InlineEquation> flat as right <i>A</i>-modules and the vanishing of the Spencer <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation>-cohomology <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1064_Article_IEq22.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^{\bullet ,2}_{\delta _d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>H</mi> <msub> <mi>δ</mi> <mi>d</mi> </msub> <mrow> <mo>∙</mo> <mo>,</mo> <mn>2</mn> </mrow> </msubsup> </math></EquationSource> </InlineEquation>.</p>

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

Jet functors in noncommutative geometry

  • Keegan J. Flood,
  • Mauro Mantegazza,
  • Henrik Winther

摘要

In this article we construct three infinite families of endofunctors \(J_d^{(n)}\) J d ( n ) , \(J_d^{[n]}\) J d [ n ] , and \(J_d^n\) J d n on the category of left A-modules, where A is a unital associative algebra over a commutative ring \(\mathbbm {k}\) k , equipped with an exterior algebra \(\Omega ^\bullet _d\) Ω d . We prove that these functors generalize the corresponding classical notions of nonholonomic, semiholonomic, and holonomic jet functors, respectively. Our functors come equipped with natural transformations from the identity functor to the corresponding jet functors, which play the rôles of the classical prolongation maps. This allows us to define the notion of linear differential operators with respect to \(\Omega ^{\bullet }_d\) Ω d . We show that if \(\Omega ^1_d\) Ω d 1 is flat as a right A-module, the semiholonomic jet functor satisfies the semiholonomic jet exact sequence \(0 \rightarrow \bigotimes ^n_A \Omega ^1_d \rightarrow J^{[n]}_d\rightarrow J^{[n-1]}_d \rightarrow 0\) 0 A n Ω d 1 J d [ n ] J d [ n - 1 ] 0 . Moreover, we construct a functor of symmetric (in a suitable noncommutative sense) forms \(S^n_d\) S d n associated to \(\Omega ^\bullet _d\) Ω d , and proceed to introduce the corresponding noncommutative analogue of the Spencer \(\delta \) δ -complex. We give necessary and sufficient conditions under which the holonomic jet functor \(J_d^n\) J d n satisfies the (holonomic) jet exact sequence, \(0\rightarrow S^n_d \rightarrow J_d^n \rightarrow J_d^{n-1} \rightarrow 0\) 0 S d n J d n J d n - 1 0 . In particular, for \(n=1\) n = 1 the sequence is always exact, for \(n=2\) n = 2 it is exact for \(\Omega ^1_d\) Ω d 1 flat as a right A-module, and for \(n\ge 3\) n 3 , it is sufficient to have \(\Omega ^1_d\) Ω d 1 , \(\Omega ^2_d\) Ω d 2 , and \(\Omega ^3_d\) Ω d 3 flat as right A-modules and the vanishing of the Spencer \(\delta \) δ -cohomology \(H^{\bullet ,2}_{\delta _d}\) H δ d , 2 .