<p>We give a complete and self-contained exposition of the <i>J</i>-tame inflation lemma: Given any tame almost complex structure <i>J</i> on a symplectic 4-manifold <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((M,\omega )\)</EquationSource> </InlineEquation>, and given any compact, embedded, <i>J</i>-holomorphic submanifold <i>Z</i>, it is always possible to construct a deformation of symplectic forms <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega _t\)</EquationSource> </InlineEquation> in classes <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="131" /> </InlineMediaObject> <EquationSource Format="TEX">\([\omega _t]=[\omega ]+t \mathrm{{PD}}{Z}\)</EquationSource> </InlineEquation>, for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\le t\)</EquationSource> </InlineEquation> less than an upper bound <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;T\)</EquationSource> </InlineEquation> that only depends on the self-intersection <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z\cdot Z\)</EquationSource> </InlineEquation>. The original proofs of this fact make the unwarranted assumption that one can find a family of normal planes along <i>Z</i> that is both <i>J</i> invariant and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> </InlineEquation>-orthogonal to <i>TZ</i>—which amounts, in effect, to assuming the compatibility of <i>J</i> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> </InlineEquation> along <i>Z</i>. We explain how the original constructions can be adapted to avoid this assumption when <i>Z</i> has nonpositive self-intersection, and we discuss the difficulties with this line of argument in general to establish the full inflation when <i>Z</i> has positive self-intersection. We overcome this problem by proving a ‘preparation lemma’, which states that prior to inflation, one can isotope <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3241_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> </InlineEquation> within its cohomology class to a new form that still tames <i>J</i> and which is compatible with <i>J</i> along the submanifold <i>Z</i>. This preparation lemma can be regarded as an infinitesimal version of the “tamed-to-compatible” conjecture of S. K. Donaldson along an almost-complex submanifold <i>Z</i>.</p>

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

J-tamed inflation via tame to compatible deformations

  • Pranav Chakravarthy,
  • Jordan Payette,
  • Martin Pinsonnault

摘要

We give a complete and self-contained exposition of the J-tame inflation lemma: Given any tame almost complex structure J on a symplectic 4-manifold \((M,\omega )\) , and given any compact, embedded, J-holomorphic submanifold Z, it is always possible to construct a deformation of symplectic forms \(\omega _t\) in classes \([\omega _t]=[\omega ]+t \mathrm{{PD}}{Z}\) , for \(0\le t\) less than an upper bound \(0<T\) that only depends on the self-intersection \(Z\cdot Z\) . The original proofs of this fact make the unwarranted assumption that one can find a family of normal planes along Z that is both J invariant and \(\omega \) -orthogonal to TZ—which amounts, in effect, to assuming the compatibility of J and \(\omega \) along Z. We explain how the original constructions can be adapted to avoid this assumption when Z has nonpositive self-intersection, and we discuss the difficulties with this line of argument in general to establish the full inflation when Z has positive self-intersection. We overcome this problem by proving a ‘preparation lemma’, which states that prior to inflation, one can isotope \(\omega \) within its cohomology class to a new form that still tames J and which is compatible with J along the submanifold Z. This preparation lemma can be regarded as an infinitesimal version of the “tamed-to-compatible” conjecture of S. K. Donaldson along an almost-complex submanifold Z.