Related papers: Bertini type results and their applications
We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local…
Let $X$ be a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field of characteristic 0 in the projective space ${\mathbb{P}}^n$. Bertini's Theorem states that a general hyperplane $H$ intersects…
For a linear system $|C|$ on a smooth projective surface $S$, whose general element is a smooth, irreducible curve, the Severi variety $V_{|C|, \delta}$ is the locally closed subscheme of $|C|$ which parametrizes irreducible curves with…
In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$,…
The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the…
We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Koll\'ar--Nadel type vanishing theorem as an application.
We give an inductive proof that the generalized Severi varieties -- the varieties which parametrize (irreducible) plane curves of given degree and genus, with a fixed tangency profile to a given line at several general fixed points and…
We prove a version of the classical 'generic smoothness' theorem with smooth varieties replaced by non-commutative resolutions of singular varieties. This in particular implies a non-commutative version of the Bertini theorem.
We study intersection theory for differential algebraic varieties. Particularly, we study families of differential hypersurface sections of arbitrary affine differential algebraic varieties over a differential field. We prove the…
We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with…
Looking in positive characteristic for failures of the Bertini-Sard theorem, we determine, up to birational equivalence, the separable proper morphisms of smooth algebraic varieties in characteristic two, whose fibres are non-smooth curves…
We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…
In this paper, we prove a version of the arithmetic Bertini theorem asserting that there exists a strictly small and generically smooth section of a given arithmetically free graded arithmetic linear series.
We investigate a scheme-theoretic variant of Whitney condition a. If X is a projec-tive variety over the field of complex numbers and Y $\subset$ X a subvariety, then X satisfies generically the scheme-theoretic Whitney condition a along Y…
Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…
We show the existence of a hypersurface that contains a given closed subscheme of a projective space over a finite field and intersects a smooth quasi-projective scheme smoothly, under some condition on the dimension. This generalizes a…
Let $X$ be a smooth projective surface and $L\in \mathrm{Pic}(X)$. We prove that if $L$ is $(2k-1)$-spanned, then the set $\tilde{V}_k(L)$ of all nodal and irreducible $D\in |L|$ with exactly $k$ nodes is irreducible. The set…
We study the question of finding smooth hyperplane sections to a pencil of hypersurfaces over finite fields.
We argue that for a smooth surface S, considered as a ramified cover over the projective plane branched over a nodal-cuspidal curve B one could use the structure of the fundamental group of the complement of the branch curve to understand…
We investigate the universal Severi variety of rational curves on K3 surfaces, which parametrises irreducible rational curves in a fixed class on varying K3 surfaces of fixed genus. We investigate the conjecuted irreducibility of this space…