Effective Bertini theorem
Let \(k\) be an algebraically closed field of arbitrary characteristic, and let \(\mathbb{P}^m\) be the \(m\)-dimensional projective space over \(k\). The classical Bertini theorem states that for a non-singular variety \(X \subset \mathbb{P}^m\), there exists a generic hyperplane \(H\) such that the intersection \(H \cap X\) is smooth. Moreover, the set of all such hyperplanes forms an open dense subset. The main result of this paper is as follows: For an irreducible non-singular projective variety \(V \subset \mathbb{P}^m\) of dimension \(q\) and degree \(\leq d\), a finite family of hyperplanes (depending on \(d, m, q\)) is constructed, at least one of which intersects \(V\) transversally, preserving smoothness and irreducibility (if \(q \geq 2\)).
- Basic algebraic geometry 1. Varieties in projective space. Translated from the Russian by Miles Reid
- Bertini and his two fundamental theorems
- Effective Bertini theorem and formulas for multiplicity and the local Łojasiewicz exponent
- scientific article; zbMATH DE number 3133601 (Why is no real title available?)
- scientific article; zbMATH DE number 51597 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- On Bézout inequalities for non-homogeneous polynomial ideals
This page was built for publication: Effective Bertini theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6975041)
