关于移位接触导出 Artin 栈

这是我们之前关于导出接触几何学发展工作 (arXiv:2209.09686) 的续篇，在该工作中我们正式引入了导出栈上的移位接触结构，并证明了关于 $k$-移位接触导出概形 ($k<0$) 的一些结果。在本文中，我们将这些结果从导出概形扩展到导出 Artin 栈。简而言之，我们首先表明对于 $k<0$，每个 $k$-移位接触导出 Artin 栈都容许一个接触 Darboux 图册。其次，我们规范地描述了配备有 $k$-移位接触结构 ($k<0$) 的导出 Artin 栈的辛化。最后，我们利用某些余切栈和移位预量子化结构给出了接触导出栈的几种构造。