Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties
From MaRDI portal
Publication:1928235
DOI10.1007/s10208-012-9123-yzbMath1258.14070arXiv0905.2212MaRDI QIDQ1928235
Publication date: 2 January 2013
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0905.2212
complexity; algorithm; Čech cohomology; de Rham cohomology; hypercohomology; Castelnuovo-Mumford regularity; Betti numbers; smooth projective variety; parallel polynomial time
68Q25: Analysis of algorithms and problem complexity
68W30: Symbolic computation and algebraic computation
14F40: de Rham cohomology and algebraic geometry
14Q20: Effectivity, complexity and computational aspects of algebraic geometry
Related Items
Effective de Rham cohomology — The general case, Sets of special subvarieties of bounded degree, Computing the homology of real projective sets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A criterion for detecting m-regularity
- On a generalization of Stickelberger's theorem
- Counting irreducible components of complex algebraic varieties
- Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields
- Algebraic geometry and analytic geometry
- Linear free resolutions and minimal multiplicity
- On computing the determinant in small parallel time using a small number of processors
- On the complexity of counting components of algebraic varieties
- On a theorem of Castelnuovo, and the equations defining space curves
- A Castelnuovo bound for smooth surfaces
- A fast parallel algorithm to compute the rank of a matrix over an arbitrary field
- Bounds for the degrees in the Nullstellensatz
- A sharp Castelnuovo bound for smooth surfaces
- Castelnuovo's regularity and multiplicity
- Résolution des systèmes d'équations algébriques
- Equations for the projective closure and effective Nullstellensatz
- Singularities and topology of hypersurfaces
- Théorème de division et stabilité en géométrie analytique locale
- Syzygies of codimension 2 lattice ideals
- An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation
- Some complexity results for polynomial ideals
- Computing global extension modules
- Algorithmic computation of de Rham cohomology of complements of complex affine varieties
- Generic projections, the equations defining projective varieties and Castelnuovo regularity
- Local differential geometry and generic projections of threefolds
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Frobenius amplitude and strong vanishing theorems for vector bundles. With an appendix by Dennis S. Keeler.
- On the complexity of deciding connectedness and computing Betti numbers of a complex algebraic variety
- Computing the first few Betti numbers of semi-algebraic sets in single exponential time
- Equations différentielles à points singuliers réguliers
- Lacunas for hyperbolic differential operators with constant coefficients. II
- On the effective Nullstellensatz
- Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel
- Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems
- Filtrations de Hodge et par l'ordre du pôle pour les hypersurfaces singulières
- Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties
- Sheaf cohomology and free resolutions over exterior algebras
- Sharp Effective Nullstellensatz
- What can be computed in algebraic geometry?
- Lectures on Curves on an Algebraic Surface. (AM-59)
- On the Castelnuovo-Mumford regularity of connected curves
- Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
- On the De Rham cohomology of algebraic varieties