Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
type: Item
instance of: scholarly article
title: Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
zbMATH Open document ID: 1386.14207
author: Momonari Kudo
published in: Japan Journal of Industrial and Applied Mathematics
publication date: 2017-07-19T00:00:00Z
full work available at URL: http://hdl.handle.net/2324/1650651
review text: The article describes an algorithm to compute the dimensions and vectorspace bases of the cohomology groups of a coherent sheaves, based on a method described in [\textit{M. Maruyama}, Gröbner bases and the application. Tokyo: Kyoritsu Publisher (2002; Zbl 1387.13001)] by computing projective resolutions and the Čech cohomology via Gröbner bases for free modules and linear algebra. The algorithm is described, its computational complexity analyzed and experiments performed (the author implemented the algorithm in Magma). Also presented are applications to computing the Frobenius action on varieties defined over perfect finite fields and to computing the ranks of morphisms of the cohomology groups. The experiments indicate that for more than seven variables, under certain conditions, the new algorithm performs better than Magma's built-in function in time and memory. In addition it computes explicit bases, whereas Magma's does not. The author indicates as part of the conclusion: ``[\dots] However, our algorithm works well under the assumption that a free resolution of a module has been computed. Thus it is necessary to improve the computation of a free resolution for a finitely generated module.''
reviewed by: David Sevilla
Mathematics Subject Classification ID: 14Q20
Mathematics Subject Classification ID: 14F99
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 13P25
zbMATH DE Number: 6748525
zbMATH Keywords: computer algebra
zbMATH Keywords: Gröbner bases
zbMATH Keywords: algebraic geometry
zbMATH Keywords: cohomology groups
zbMATH Keywords: coherent sheaves
describes a project that uses: Magma
describes a project that uses: BGG
describes a project that uses: Macaulay2
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2588407686
cites work: The Magma algebra system. I: The user language
cites work: Q4023642
cites work: Q4209232
cites work: Q2763710
cites work: Q4317713
cites work: Sheaf cohomology and free resolutions over exterior algebras
cites work: Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
cites work: Q4143433
cites work: Q4644011
cites work: Q4221106
cites work: Faisceaux algébriques cohérents
cites work: Computing global extension modules
DOI: 10.1007/S13160-017-0238-Z
Recommended article: Q4329406
Recommended article: Q4394965
Recommended article: New constructive methods in classical ideal theory
Recommended article: Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
Recommended article: Q3655323
Recommended article: Gröbner bases for everyone with CoCoA-5 and CoCoALib
Recommended article: Sheaf cohomology and free resolutions over exterior algebras
Recommended article: Q4247794
Recommended article: Gröbner bases and the computation of group cohomology.
Recommended article: Computing representation matrices for the action of Frobenius on cohomology groups
description: scientific article; zbMATH DE number 6748525