Related papers: Connectedness Bertini Theorem via numerical equiva…

Let $G$ be the Grassmannian $G(d,n)$, let $X$ and $Y$ be complete irreducible varieties, and let $X\rightarrow G$ and $Y\rightarrow G$ be morphisms. Hansen proved that $X \times_G Y$ is connected when $codim f(X) + codim g(Y) < n$. We show…

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…

We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal…

In this paper, we establish a real closed analogue of Bertini's theorem. Let $R$ be a real closed field and $X$ a formally real integral algebraic variety over $R$. We show that if the zero locus of a nonzero global section $s$ of an…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

Given a geometrically irreducible subscheme X in P^n over F_q of dimension at least 2, we prove that the fraction of degree d hypersurfaces H such that the intersection of H and X is geometrically irreducible tends to 1 as d tends to…

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…

We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is…

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 simplest version of Bertini's irreducibility theorem states that the generic fiber of a non-composite polynomial function is an irreducible hypersurface. The main result of this paper is its analog for a free algebra: if $f$ is a…

We introduce a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing over a finite field. Extending a result of Benoist, we prove that for a morphism $\phi \colon X \to \mathbb{P}^n$…

We prove a generalization of the Fulton-Hansen connectedness theorem, where ${\mathbb P}^n$ is replaced by a normal variety on which an algebraic group acts with a dense orbit.

Using results of Hironaka-Matsumura and Faltings, we prove a strong version of the well known Fulton-Hansen connectivity theorem for weighted projective spaces. As a consequence we get the following result. If $Y$ is an irreducible…

Given an irreducible variety $X$ over a finite field, the density of hypersurfaces of varying degree $d$ intersecting $X$ in an irreducible subvariety is $1$, by a result of Charles and Poonen. In this note, we analyse the situation fixing…

Let $S$ be a noetherian normal scheme, and let $X\to S$ be a surjective projective morphism of pure relative dimension $d$. We construct a symmetric multi-additive functor $\mathcal{P}\mathrm{ic}(X)^{d+1} \to \mathcal{P}\mathrm{ic}(S)$, and…

We show that all sufficiently large (2k+3)-connected graphs of bounded tree-width are k-linked. Thomassen has conjectured that all sufficiently large (2k+2)-connected graphs are k-linked.

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…

Let X be a smooth quasiprojective subscheme of P^n of dimension m >= 0 over F_q. Then there exist homogeneous polynomials f over F_q for which the intersection of X and the hypersurface f=0 is smooth. In fact, the set of such f has a…

Via multilinear algebra, we formulate a criterion for connectedness in the parametric geometry of numbers in terms of pencils, which are certain algebraic varieties in the space of matrices. As a consequence, we obtain a connectedness…

In this paper, we prove the functorial Riemann-Roch theorem in positive characteristic for a smooth and projective morphism with any relative dimension. In the case of relative dimension $1$, we have given an analogue with Deligne's…