论文标题
Admcycles-在稳定曲线的模量空间的重言式环中计算的鼠尾草套件
admcycles -- a Sage package for calculations in the tautological ring of the moduli space of stable curves
论文作者
论文摘要
在过去的几十年中,已经对稳定曲线的模量空间的重言式环进行了研究。我们提出了该戒指许多核心特征的SageMath实现。这包括发电机及其产品的列表,交点数量以及重言式关系的验证。实施了功能性诱导的重言式环,即粘合和健忘地图下的推动力和回调。此外,还有许多有趣的循环类别,例如双重分支周期,K-差异层的地层以及过椭圆形或生物循环。在本文中,我们展示了如何应用软件包,包括具体示例计算。
The tautological ring of the moduli space of stable curves has been studied extensively in the last decades. We present a SageMath implementation of many core features of this ring. This includes lists of generators and their products, intersection numbers and verification of tautological relations. Maps between tautological rings induced by functoriality, that is pushforwards and pullbacks under gluing and forgetful maps, are implemented. Furthermore, many interesting cycle classes, such as the double ramification cycles, strata of k-differentials and hyperelliptic or bielliptic cycles are available. In this paper we show how to apply the package, including concrete example computations.