<p>Kronheimer and Mrowka used gauge theory to define a functor <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3064_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(J^\sharp \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mo>♯</mo> </msup> </math></EquationSource> </InlineEquation> from a category of webs in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3064_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> to the category of finite-dimensional vector spaces over the field of two elements. They also suggested a possible combinatorial replacement <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3064_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(J^\flat \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mo>♭</mo> </msup> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3064_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(J^\sharp \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mo>♯</mo> </msup> </math></EquationSource> </InlineEquation>, which Khovanov and Robert proved is well defined on a subcategory of planar webs. We exhibit a counterexample that shows the restriction of the functor <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3064_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(J^\sharp \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mo>♯</mo> </msup> </math></EquationSource> </InlineEquation> to the subcategory of planar webs is not the same as <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3064_Article_IEq6.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(J^\flat \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mo>♭</mo> </msup> </math></EquationSource> </InlineEquation>.</p>

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

The combinatorial and gauge-theoretic foam evaluation functors are not the same

  • David Boozer

摘要

Kronheimer and Mrowka used gauge theory to define a functor \(J^\sharp \) J from a category of webs in \(\mathbb {R}^3\) R 3 to the category of finite-dimensional vector spaces over the field of two elements. They also suggested a possible combinatorial replacement \(J^\flat \) J for \(J^\sharp \) J , which Khovanov and Robert proved is well defined on a subcategory of planar webs. We exhibit a counterexample that shows the restriction of the functor \(J^\sharp \) J to the subcategory of planar webs is not the same as \(J^\flat \) J .