Gregory S. Smith - Computing global extension modules

Portal

Donate

FranÃ§ais

Next: Sarah Sumner - Investigating Up: Graduate Student Seminar / Previous: Filip Saidak - On

Gregory S. Smith - Computing global extension modules

GREGORY S. SMITH, Department of Mathematics, University of California at Berkeley, Berkeley, California 94720-3840, USA

Computing global extension modules

Let X be a projective scheme; let ${\cal M}$ and ${\cal N}$ be two coherent ${\cal O}_{X}$ -modules. Given an integer m, we present an algorithm for computing the global extension module $\textrm{Ext}^{m}(X;{\cal M},{\cal N})$ . In particular, this allows one to calculate the sheaf cohomology $H^{m}(X,{\cal N})$ and to construct the sheaf corresponding to an element of the module $\textrm{Ext}^{1}(X;{\cal M},{\cal N})$ . This algorithm can be implemented using only the computation of Gröbner bases and syzygies, and it has been implemented in the computer algebra system Macaulay2.

Canadian Mathematical Society
616 Cooper St.
Ottawa, ON K1R 5J2, Canada
Telephone: +1 (613) 733-2662

Detailed contact information

Privacy information

Copyright & Permissions
The Canadian Mathematical Society grants permission to individual readers of this publication to copy articles for their own personal use. Use for any other purpose is strictly prohibited. To obtain a license for anything other than copying articles for personal use, please contact the Canadian Mathematical Society to request permissions or licensing terms.

Canadian Mathematical Society — 616 Cooper St., Ottawa, ON K1R 5J2, Canada