首页/论文/2402.12293

arXiv 2402.122932024-02math.AC

Macaulay2 中的多格次 BGG 对应关系

The multigraded BGG correspondence in Macaulay2

Maya Banks, Michael K. Brown, Tara Gomes, Prashanth Sridhar, Eduardo Torres Davila, Sasha Zotine

备注：: Package available at https://github.com/mkbrown5/MultigradedBGG/tree/main
发表信息：: J. Softw. Alg. Geom. 15 (2025) 57-68
DOI：: 10.2140/jsag.2025.15.57

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文提出了一种在 Macaulay2 中计算多格次 BGG 对应关系的工具，支持微分模块和自由分解的计算。

摘要：

我们介绍了一个用于计算多格次 BGG 对应关系的 Macaulay2 包。该软件基于 Abo-Decker-Eisenbud-Schreyer-Smith-Stillman 开发的 BGG 包，该包关注标准格次 BGG 对应关系。除了实现多格次 BGG 函数子对象外，该包还包含微分模块及其极小自由分解的实现，并包含计算多格次自由分解强线性链的方法。

英文摘要：

We give an overview of a Macaulay2 package for computing with the multigraded BGG correspondence. This software builds on the package BGG due to Abo-Decker-Eisenbud-Schreyer-Smith-Stillman, which concerns the standard graded BGG correspondence. In addition to implementing the multigraded BGG functors, this package includes an implementation of differential modules and their minimal free resolutions, and it contains a method for computing strongly linear strands of multigraded free resolutions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

外代数上的BGG对应和Roemer定理

BGG correspondence and Roemer's theorem on an exterior algebra

设E = K< y_1，...，y_n >是外代数。分次E-模M的“（上同调）区别对”描述了M的极小分次内射分解的增长。Roemer给出了M与其对偶M^* 的区别对之间的对偶定理。本文证明了在Bernstein-Gel'fand-Gel'fand对应下，对于分次复形S=K[x_1，>...，x_n]-模。利用这一思想，我们还给出了Roemer定理的Z^n-分次形式。

2004-02-25math.ACmath.RA

特征二中关于$\mathbb{Z}/2\times \mathbb{Z}/2$扩张的一个等变BGG对应与完美复形

An equivariant BGG correspondence and perfect complexes for extensions by $\mathbb{Z}/2\times \mathbb{Z}/2$

本文将Carlsson的BGG对应推广到特征二下的等变情形，并据此分类了奇阶有限群Q的四维全同调完美上链复形，进而证明有限自由A_4-CW复形在四维全同调下具有刚性。

2024-04-16math.ACmath.ATmath.RA

通过弯曲 BGG 对应对 Koszul 复形上的厚子范畴进行分类

Classifying thick subcategories over a Koszul complex via the curved BGG correspondence

本文利用弯曲 BGG 对应及完美弯曲 dg 模的厚张量子模分类，刻画了正则环中任意元素列表的 Koszul 复形上有界 dg 模导出范畴的厚子范畴，并恢复 Stevenson、Hopkins–Neeman 等结果。

2025-10-21math.ACmath.RT

射影空间上凝聚层的Horrocks对应

The Horrocks correspondence for coherent sheaves on projective spaces

建立了射影空间上的凝聚层的稳定范畴（满足一个温和的限制）与射影空间的齐次坐标代数的对偶外代数Koszul上的自由模的极小复形的同伦范畴之间的等价关系.我们还涉及到这些复杂的泰特决议各自的层。通过这种方式，我们将Coandelmann和Trautmann [Trans. AMS 385（2005）]的结果从向量丛推广到相干层，这些结果用BGG对应解释了Trautmann [Math.Ann.237（1978）]关于Horrocks [Proc. London. Math.Soc.14（1964）]，[Asterisque 71-72（1980）]。我们还给出了分次模和相干层的BGG对应的直接证明，以及描述与相干层相关的Tate分解的线性部分的Eisenbud、Floystad和Schreyer定理的直接证明。此外，我们提供了一个明确的描述商的泰特决议由其线性链对应的模块的整体瓣的各种扭曲的层。

2010-03-23math.ACmath.AGmath.CT

外代数上的层上同调与自由分解

Sheaf Cohomolog and Free Resolutions over Exterior Algebras

本文给出了射影空间上相干层的有界复形与其"Koszul对偶“外代数上的极小双无限自由分解之间的Bernstein-Gel”fand-Gel“fand（BGG）对应的一个显式形式.这导致了一个有效的方法，机器计算的上同调层。在我们推导出的关于BGG对应的事实中，取复层的同调对应于取外代数上的分解的“线性部分”。利用这些结果，我们构造性地证明了射影空间上层的Beilinson单子的存在性。我们的版本的显式允许我们证明两个命题的态射在单子。一路上，我们证明了一些结果的最小自由分解外代数。例如，我们表明，这种决议最终占主导地位的“线性部分”的意义上说，擦除所有条款的程度$>1$在复杂的产生一个新的复杂的，最终是准确的。

2000-05-05math.ACmath.AGmath.RA

某些自由分解的子复形

Subcomplexes of Certain Free Resolutions

本文利用BGG对应解决Koszul和Eagon--Northcott自由分解的子复形问题，在Koszul情形下完整刻画自由模的秩，并在Eagon--Northcott情形下施加数值限制。

2022-12-05math.AC

更多相关论文收起更多论文

一般线性李超代数的行列式增厚合矢与表示

Syzygies of determinantal thickenings and representations of the general linear Lie superalgebra

设S表示m × n矩阵空间上的多项式函数环，并考虑群GL = GL_m × GL_n通过行和列运算对矩阵元的作用.对于S中的GL-不变理想I，我们证明了其极小自由分解的线性链通过BGG对应平移到一般线性李超代数gl（m）上的模|n）。当I是一个最高权向量的GL-轨道生成的理想时，我们给出了这些GL（m）类的一个几何描述|n）-模，并证明了我们的预言对于最小自由分解的第一链是正确的.

2018-08-16math.ACmath.RT

外代数上的 Schreyer 分解

Schreyer Resolutions over the Exterior Algebra

本文改编 Schreyer 算法，利用相对 Gröbner 基计算外代数上的自由分解，并应用于射影空间相干层上同调，同时探讨了并行实现的可能性。

2026-09-30cs.SCmath.ACmath.AG

外代数上的层上同调与自由分解

Sheaf Cohomology and Free Resolutions over Exterior Algebras

本文研究了射影空间上的层与外代数上的分次模之间的Bernstein-Gel'fand-Gel'fand（BGG）对应.给出了射影空间上层的Beilinson单子的一个显式构造。显式性允许我们证明关于单子中态射的两个定理。我们还构造了所有的单子层，可以建立从总和的线丛。一个大的子类，包含许多由别人引入的单子，唯一的特点是简单的数值数据。我们的方法也产生一个有效的方法，机器计算的上同调层。一路上，我们研究最小的自由分解外代数。例如，我们表明，这种决议最终占主导地位的“线性部分”的意义上说，擦除所有条款的程度$>1$在复杂的产生一个新的复杂的，最终是准确的。本文是一个联合，扩展版本的文件以前写的艾森巴德，施赖尔和Fløystad分别。

2001-06-08math.ACmath.AGmath.RA

多参数持续性的对偶性

Dualities in Multiparameter Persistence

Technical University of Munich (TUM)（慕尼黑工业大学）；Munich Data Science Institute (MDSI)（慕尼黑数据科学研究所）；Munich Center for Machine Learning (MCML)（慕尼黑机器学习中心）；Institute of Mathematics, Technical University of Berlin（柏林工业大学数学研究所）；Department of Mathematics, SUNY Albany（纽约州立大学奥尔巴尼分校数学系）

本文研究多参数持续性的对偶性，提出点wise对偶和global对偶两种 functor，证明链复形的对偶关系，并通过长正合列和多格格罗滕迪克局部对偶性给出两种证明，为计算 Vietoris-Rips 双滤波的自由分解提供基础。

2026-03-18math.ACmath.AT