Mathematics – Algebraic Geometry
Scientific paper
2009-05-13
Mathematics
Algebraic Geometry
32 pages - filled a gap in Section 4.2, specific example added, minor improvements
Scientific paper
We describe a parallel polynomial time algorithm for computing the topological Betti numbers of a smooth complex projective variety $X$. It is the first single exponential time algorithm for computing the Betti numbers of a significant class of complex varieties of arbitrary dimension. Our main theoretical result is that the Castelnuovo-Mumford regularity of the sheaf of differential $p$-forms on $X$ is bounded by $p(em+1)D$, where $e$, $m$, and $D$ are the maximal codimension, dimension, and degree, respectively, of all irreducible components of $X$. It follows that, for a union $V$ of generic hyperplane sections in $X$, the algebraic de Rham cohomology of $X\setminus V$ is described by differential forms with poles along $V$ of single exponential order. This yields a similar description of the de Rham cohomology of $X$, which allows its efficient computation. Furthermore, we give a parallel polynomial time algorithm for testing whether a projective variety is smooth.
No associations
LandOfFree
Castelnuovo-Mumford Regularity and Computing the de Rham Cohomology of Smooth Projective Varieties does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Castelnuovo-Mumford Regularity and Computing the de Rham Cohomology of Smooth Projective Varieties, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Castelnuovo-Mumford Regularity and Computing the de Rham Cohomology of Smooth Projective Varieties will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-399615