A remark on FI-module homology (Q516607): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Liping Li / rank | |||
Normal rank | |||
Property / review text | |||
Let \(R\) be a commutative ring and \(FI\) be the category of finite sets and injective maps. An \textit{\(FI\)-module} is a (covariant) functor from \(FI\) to the category of \(R\)-modules. \textit{T. Church} et al. [Geom. Topol. 18, No. 5, 2951--2984 (2014; Zbl 1344.20016)] defined, for any \(FI\)-module \(V\), a complex \(\tilde{S}S_\ast V\) of \(FI\)-modules which is a Koszul complex [\textit{M. Kashiwara} and \textit{P. Schapira}, Categories and sheaves. Berlin: Springer (2006; Zbl 1118.18001)]. The same complex was also considered independently by \textit{A. Putman} [Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] who called it the central stability chain complex. The authors present a proof that the homology of the complex \(\tilde{S}S_\ast V\) is the \(FI\)-homology \(H^{FI}_\ast(V)\) of \(V\). This was first stated without proof in [Church et al., loc. cit.] and its different proof was given by \textit{T. Church} and \textit{J. Ellenberg} in [``Homology of \(FI\)-modules'', Preprint, \url{arXiv:1506.01022}]. As an application, the equality between the Castelnuovo-Mumford regularity of a finitely generated torsion \(FI\)-module and its degree is derived as it was conjectured by \textit{L. Li} and \textit{E. Ramos} [``Depth and the local cohomology of \(FI_G\)-modules'', Preprint, \url{arXiv:1602.04405}]. | |||
Property / review text: Let \(R\) be a commutative ring and \(FI\) be the category of finite sets and injective maps. An \textit{\(FI\)-module} is a (covariant) functor from \(FI\) to the category of \(R\)-modules. \textit{T. Church} et al. [Geom. Topol. 18, No. 5, 2951--2984 (2014; Zbl 1344.20016)] defined, for any \(FI\)-module \(V\), a complex \(\tilde{S}S_\ast V\) of \(FI\)-modules which is a Koszul complex [\textit{M. Kashiwara} and \textit{P. Schapira}, Categories and sheaves. Berlin: Springer (2006; Zbl 1118.18001)]. The same complex was also considered independently by \textit{A. Putman} [Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] who called it the central stability chain complex. The authors present a proof that the homology of the complex \(\tilde{S}S_\ast V\) is the \(FI\)-homology \(H^{FI}_\ast(V)\) of \(V\). This was first stated without proof in [Church et al., loc. cit.] and its different proof was given by \textit{T. Church} and \textit{J. Ellenberg} in [``Homology of \(FI\)-modules'', Preprint, \url{arXiv:1506.01022}]. As an application, the equality between the Castelnuovo-Mumford regularity of a finitely generated torsion \(FI\)-module and its degree is derived as it was conjectured by \textit{L. Li} and \textit{E. Ramos} [``Depth and the local cohomology of \(FI_G\)-modules'', Preprint, \url{arXiv:1602.04405}]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Marek Golasiński / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6694760 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Castelnuovo-Mumford regularity | |||
Property / zbMATH Keywords: Castelnuovo-Mumford regularity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
degree of an \(FI\)-module | |||
Property / zbMATH Keywords: degree of an \(FI\)-module / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
FI-homology | |||
Property / zbMATH Keywords: FI-homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
FI-module | |||
Property / zbMATH Keywords: FI-module / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Koszul complex | |||
Property / zbMATH Keywords: Koszul complex / rank | |||
Normal rank |
Revision as of 05:18, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A remark on FI-module homology |
scientific article |
Statements
A remark on FI-module homology (English)
0 references
14 March 2017
0 references
Let \(R\) be a commutative ring and \(FI\) be the category of finite sets and injective maps. An \textit{\(FI\)-module} is a (covariant) functor from \(FI\) to the category of \(R\)-modules. \textit{T. Church} et al. [Geom. Topol. 18, No. 5, 2951--2984 (2014; Zbl 1344.20016)] defined, for any \(FI\)-module \(V\), a complex \(\tilde{S}S_\ast V\) of \(FI\)-modules which is a Koszul complex [\textit{M. Kashiwara} and \textit{P. Schapira}, Categories and sheaves. Berlin: Springer (2006; Zbl 1118.18001)]. The same complex was also considered independently by \textit{A. Putman} [Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] who called it the central stability chain complex. The authors present a proof that the homology of the complex \(\tilde{S}S_\ast V\) is the \(FI\)-homology \(H^{FI}_\ast(V)\) of \(V\). This was first stated without proof in [Church et al., loc. cit.] and its different proof was given by \textit{T. Church} and \textit{J. Ellenberg} in [``Homology of \(FI\)-modules'', Preprint, \url{arXiv:1506.01022}]. As an application, the equality between the Castelnuovo-Mumford regularity of a finitely generated torsion \(FI\)-module and its degree is derived as it was conjectured by \textit{L. Li} and \textit{E. Ramos} [``Depth and the local cohomology of \(FI_G\)-modules'', Preprint, \url{arXiv:1602.04405}].
0 references
Castelnuovo-Mumford regularity
0 references
degree of an \(FI\)-module
0 references
FI-homology
0 references
FI-module
0 references
Koszul complex
0 references