Bertini-type theorems for formal functions in Grassmannians (Q365168)

Let \(Y\) be a subvariety of a complex, irreducible projective variety \(X\) and let \(f:X\rightarrow \mathbb{G}(k,n)\) a morphism, where \(\mathbb{G}(k,n)\) is the Grassmannian of \(k\)-planes in \(\mathbb{P}^n\). This work is inspired by a theorem of \textit{O. Debarre} [Am. J. Math. 118, No. 6, 1347--1367 (1996; Zbl 0878.14014)] which assures the connectedness of the inverse image of a Schubert variety under some non-vanishing condition in the Chow ring of \(\mathbb{G}(k,n)\). \(Y\) is G3 in \(X\) if the ring of rational function of \(X\) is isomorphic, by the restriction, to the ring of rational functions of the formal completion of \(Y\) in \(X\). For example, any positive-dimensional variety in the Grassmannian is G3. If \(Y\) is G3 in \(X\) then \(Y\) is universally connected in \(X\), i.e. the preimage of \(Y\) by any surjective morphism onto \(X\) is connected. The author proves that the inverse image of a Schubert variety is G3 in \(X\) under some numerical condition similar to the ones of Debarre's theorem. The result is more precise when \(k=1\).