
arXiv: 1112.2489
We prove an effective bound for the degrees of generators of the algebraic de Rham cohomology of smooth affine hypersurfaces. In particular, we show that the de Rham cohomology H_dR^p(X) of a smooth hypersurface X of degree d in C^n can be generated by differential forms of degree d^O(pn). This result is relevant for the algorithmic computation of the cohomology, but is also motivated by questions in the theory of ordinary differential equations related to the infinitesimal Hilbert 16th problem.
6 pages, proof of Lemma 1 was unclear, main result now proved without it; bound slightly changed
FOS: Computer and information sciences, Mathematics - Algebraic Geometry, Computer Science - Computational Complexity, 14F40, 14Q20, FOS: Mathematics, Computational Complexity (cs.CC), Algebraic Geometry (math.AG)
FOS: Computer and information sciences, Mathematics - Algebraic Geometry, Computer Science - Computational Complexity, 14F40, 14Q20, FOS: Mathematics, Computational Complexity (cs.CC), Algebraic Geometry (math.AG)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
