<p>We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathcal {O}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We then establish equivalences of 2-categories categorifying the Koszul duality between Gale dual hypertoric categories <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {O}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> These constructions give a prototype for understanding symplectic duality via the fully extended 3d mirror symmetry conjecture.</p>

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

Hypertoric 2-Categories \(\mathcal {O}\) and Symplectic Duality

  • Benjamin Gammage,
  • Justin Hilburn

摘要

We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category \({\mathcal {O}}.\) O . We then establish equivalences of 2-categories categorifying the Koszul duality between Gale dual hypertoric categories \({\mathcal {O}}.\) O . These constructions give a prototype for understanding symplectic duality via the fully extended 3d mirror symmetry conjecture.