Related papers: Grothendieck--Lefschetz for ample subvarieties

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

We introduce a new method to construct a Grothendieck category from a given colored quiver. This is a variant of the construction used to prove that every partially ordered set arises as the atom spectrum of a Grothendieck category. Using…

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…

We prove Bertini type theorems and give some applications of them. The applications are in the context of Lefschetz theorem for Nori fundamental group for normal varieties as well as for geometric formal orbifolds. In another application,…

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic…

The main result of this note is a hard Lefschetz theorem for the Chow groups of generalized Kummer varieties. The same argument also proves hard Lefschetz for Chow groups of Hilbert schemes of abelian surfaces. As a consequence, we obtain…

We study the Lefschetz standard conjecture on a smooth complex projective variety X. In degree 2, we reduce it to a local statement concerning deformations of vector bundles on X. When X is hyperk\"ahler, we show that the existence of…

We prove the strong Lefschetz property for Artinian Gorenstein algebras generated by the relative invariants of prehomogeneous vector spaces of commutative parabolic type.

Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…

We give a proof that the Riemann hypothesis for hypersurfaces over finite fields implies the result for all smooth proper varieties, by a deformation argument which does not use the theory of Lefschetz pencils or the l-adic Fourier…

We formulate a conjectural hard Lefschetz property for Chow groups, and prove this in some special cases: roughly speaking, for varieties with finite-dimensional motive, and for varieties whose self-product has vanishing middle-dimensional…

Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field $k$. We solve Berthelot's conjectures on the stability of the holonomicity over smooth projective formal $\V$-schemes. Then we build a category…

It is proved that for any Grothendieck site $X$, there exists a coreflection (called $\mathbf{cosheafification}$) from the category of precosheaves on $X$ with values in a category $\mathbf{K}$, to the full subcategory of cosheaves,…

We prove a general vanishing theorem for the cohomology of products of symmetric and skew-symmetric powers of an ample vector bundle on a smooth complex projective variety. Special cases include an extension of classical theorems of…

We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type…

We prove a motivic version of the Lefschetz hyperplane theorem for a smooth ample divisor $\Theta$ on an Abelian variety. We use this to construct a motive $P$ that realizes the primitive cohomology of $\Theta$.

We propose some variants of Lefschetz fixed point theorem for Fourier-Mukai functors on a smooth projective algebraic variety. Independently we also suggest a similar theorem for endo-functors on the category of perfect modules over a…

If X is a complex projective variety with klt singularities, then the mixed Hodge structures on the first two singular cohomology groups are pure. We describe the pieces of the Hodge decomposition in terms of reflexive differential forms.…

We prove the following results: (i) Every absolutely weakly compact set in a Banach lattice is absolutely weakly sequentially compact. (ii) The converse of (i) holds if $E$ is separable or $B_{E^{**}}$ is absolutely weak$^*$ compact. (iii)…

Quantum Lefschetz theorem by Coates and Givental gives a relationship between the genus 0 Gromov-Witten theory of X and the twisted theory by a line bundle L on X. We prove the convergence of the twisted theory under the assumption that the…