<プレプリント>
Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications

作成者
本文言語
出版者
発行日
収録物名
出版タイプ
アクセス権
概要 In algebraic geometry, a number of invariants for classifying algebraic varieties are obtained from the cohomology groups of coherent sheaves. Some typical algorithms to compute the dimensions of the ...cohomology groups have been proposed by Decker and Eisenbud, and their algorithms have been implemented over compute algebra systems such as Macaulay2 and Magma. On the other hand, M. Maruyama showed an alternative method to compute the dimensions in his textbook. However, Maruyama's method was not described in an algorithmic format, and it has not been implemented yet. In this paper, we give an explicit algorithm of his method to compute the dimensions and bases of the cohomology groups of coherent sheaves. We also analyze the complexity of our algorithm, and implemented it over Magma. By our implementation, we examine the computational practicality of our algorithm. Moreover, we give some possible applications of our algorithm in algebraic geometry over fields of positive characteristics.続きを見る

本文ファイル

pdf MI2016-1 pdf 252 KB 543  

詳細

レコードID
査読有無
主題
注記
登録日 2016.03.30
更新日 2018.01.24

この資料を見た人はこんな資料も見ています