舒伯特图书馆 swMATH ID: 27180 软件作者： Hiep Dang（希普·当） 描述： 奇异库schubert.lib:交集理论的程序。我们实现了新的类（种类、层、堆栈、图）和使用它们进行计算的方法。抽象簇由一个非负整数表示，该整数是它的维数，分次环是它的Chow环。抽象层由簇和一个多项式表示，该多项式是它的Chern特征。特别地，我们实现了具体的变种，如射影空间、格拉斯曼和射影丛。该库的一项重要任务是计算Gromov-Writed不变量。特别是，我们实现了等变交理论中计算的新工具。这些工具基于稳定映射模空间的局部化和Bott公式。它们对于计算Gromov-Writed不变量很有用。为了做到这一点，我们必须处理Kontsevich引入的稳定映射的模空间，以及与稳定映射模空间上环面作用的不动点分量相对应的图。作为一个有见地的例子，计算了射影空间中一般完全交集Calabi-Yau上三倍有理曲线的个数，其阶数可达6。这些结果都与镜像对称计算的预测一致。 主页： https://www.singular.uni-kl.de/Manual/latest/sing_2702.htm#SEC2778 依赖项： 单一 相关软件： 舒伯特3；SageMath软件 引用于： 1文件 1位作者引用 1 Dang Tuan Hiep公司 连载1篇 1 Kodai数学杂志 在4个字段中引用 1 交换代数（13-XX） 1 代数几何（14-XX） 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文