Grothendieck's standard conjecture of Lefschetz type has two main forms: the weak form $C$ and the strong form $B$. The weak form is known for varieties over finite fields as a consequence of the proof of the Weil conjectures. This suggests that the strong form of the conjecture in the same setting may be the most accessible of the standard conjectures. Here, as an advertisement for the conjecture, we explain some of its remarkable consequences.
We give a short proof of a Grothendieck-Lefschetz Theorem for equivariant Picard groups of nonsingular varieties with the action of an affine algebraic group.
We propose a strengthening of the Grothendieck--Lefschetz hyperplane theorem for the local Picard group, prove some special cases and derive several consequences to the deformation theory of log canonical singularities. Version 2: Main conjecture changed, following recent results of Bhatt and de Jong. Small changes to the proofs.
We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$ provided that $\dim{X}\geq 4$. This is a generalization of the Grothendieck-Lefschetz Theorem, for divisor class groups of singular varieties.
We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small cohomological dimension. A weaker statement is also proved in a more general context and in all characteristics. Several applications are included.
We compute the divisor class group of the general hypersurface Y of a complex projective normal variety X of dimension at least four containing a fixed base locus Z. We deduce that completions of normal local complete intersection domains of finite type over the complex numbers of dimension $\ge 4$ are completions of UFDs of finite type over the complex numbers.
Using the Grothendieck-Lefschetz theory (see \cite{[SGA2]}) we prove a criterion to deduce that certain subvarieties of $\mathbb P^n$ of dimension $\geq 2$ are not set-theoretic complete intersections (see Theorem 1 of the Introduction). As applications we give a number of relevant examples. In the last part of the paper we prove that the arithmetic rank of a rational normal $d$-dimensional scroll $S_{n_1,...,n_d}$ in $\mathbb P^N$ is $N-2$, by producing an explicit set of $N-2$ homogeneous equations which define these scrolls set-theoretically (see Theorem 2 of the Introduction).
According to the Grothendieck-Lefschetz theorem from SGA 2, there are no nontrivial line bundles on the punctured spectrum $U_R$ of a local ring $R$ that is a complete intersection of dimension $\ge 4$. Dao conjectured a generalization for vector bundles $\mathscr{V}$ of arbitrary rank on $U_R$: such a $\mathscr{V}$ is free if and only if $\mathrm{depth}_R(\mathrm{End}_R(Γ(U_R, \mathscr{V}))) \ge 4$. We use deformation theoretic techniques to settle Dao's conjecture. We also present examples showing that its assumptions are sharp and draw consequences for splitting of vector bundles on complet…
We prove a trace formula in stable motivic homotopy theory over a general base scheme, equating the trace of an endomorphism of a smooth proper scheme with the "Euler characteristic integral" of a certain cohomotopy class over its scheme of fixed points. When the base is a field and the fixed points are étale, we compute this integral in terms of Morel's identification of the ring of endomorphisms of the motivic sphere spectrum with the Grothendieck-Witt ring. In particular, we show that the Euler characteristic of an étale algebra corresponds to the class of its trace form in the Grothendieck…
Let $X$ be a smooth projective variety over a field of characteristic $0$ and $L$ an ample divisor. In this paper we study the Weak Lefschetz conjecture for Chow groups using the technique employed by Grothendieck in his study of the problem for Picard groups, and using Bloch's formula to interpret Chow groups in terms of Milnor $K$- theory we prove the infinitesimal part of the conjecture.
Let $k$ be an algebraically closed field of characteristic $p>0$, $W$ the ring of Witt vectors over $k$ and ${R}$ the integral closure of $W$ in the algebraic closure ${\bar{K}}$ of $K:=Frac(W)$; let moreover $X$ be a smooth, connected and projective scheme over $W$ and $H$ a relatively very ample line bundle over $X$. We prove that when $dim(X/{W})\geq 2$ there exists an integer $d_0$, depending only on $X$, such that for any $d\geq d_0$, any $Y\in |H^{\otimes d}|$ connected and smooth over ${W}$ and any $y\in Y({W})$ the natural ${R}$-morphism of fundamental group schemes $π_1(Y_R,y_R)\to π_…
The subject of the present paper is Grothendieck's Lefschetz standard conjecture $B(X)$. Our main result is that, if $X$ is a projective smooth variety of dimension $n$ and the conjecture $B({\cal Y})$ holds for the generic fibre ${\cal Y}$ (of dimension $n-1$ over the field $k(t)$) of a suitable Lefschetz fibration of $X$, then the operator $Λ_X-p^{n+1}_X$ is algebraic. If in addition $p^{n+1}_X$ is algebraic, then $B(X)$ is settled. Along the way we establish the algebraicity of the K\" unneth projectors $π^i_X$ for $i\neq n-1, n, n+1$ under the above hypotheses.
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ähler, we show that the existence of nontrivial deformations of stable hyperholomorphic bundles implies the Lefschetz standard conjecture in codimension 2.
We propose two conjectures of Hard Lefschetz type on Chow groups and prove them for some special cases. For abelian varieties, we shall show they are equivalent to well-known conjectures of Beauville and Murre.
We prove a strengthening of the Grothendieck-Lefschetz hyperplane theorem for local Picard groups conjectured by Kollár. Our approach, which relies on acyclicity results for absolute integral closures, also leads to a restriction theorem for higher rank bundles on projective varieties in positive characteristic.
We investigate the Lefschetz standard conjecture for degree $2$ cohomology of hyper-Kähler manifolds admitting a covering by Lagrangian subvarieties. In the case of a Lagrangian fibration, we show that the Lefschetz standard conjecture is implied by the SYZ conjecture characterizing classes of divisors associated with Lagrangian fibration. In dimension $4$, we consider the more general case of a Lagrangian covered fourfold $X$, and prove the Lefschetz standard conjecture in degree $2$, assuming $ρ(X)=1$ and $X$ is general in moduli. Finally we discuss various links between Lefschetz cycles and…
Friedlander and Mazur proposed a conjecture of hard Lefschetz type on Lawson homology. We shall relate this conjecture to Suslin conjecture on Lawson homology. For abelian varieties, this conjecture is shown to be equivalent to a vanishing conjecture of Beauville type on Lawson homology. For symmetric products of curves, we show that this conjecture amounts to the vanishing conjecture of Beauville type for the Jacobians of the corresponding curves. As a consequence, Suslin conjecture holds for all symmetric products of curves with genus at most 2.
In this article we prove that the log Hodge de Rham spectral sequences of certain proper log smooth schemes of Cartier type in characteristic $p>0$ degenerate at $E_1$. We also prove that the log Kodaira vanishings for them hold when they are projective. We formulate the log weak Lefschetz conjecture for log crystalline cohomologies and prove that it is true in certain cases.
We show that Grothendieck's standard conjectures are implied by either of two other motivic conjectures: (a) by that of the existence of the motivic t-structure, and (b) by (a weak form of) Suslin's Lawson homology conjecture.
Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic conjectures, we prove a Hodge index theorem. We answer a question of Friedlander and Lawson by assuming the Grothendieck standard conjecture B and prove that the topological filtration from morphic cohomology is equal to the Grothendieck arithmetic filtration for some cases.
We prove here some supplementary statements that appeared without proof in I. Panin, A. Stavrova, N. Vavilov, On Grothendieck--Serre's conjecture concerning principal $G$-bundles over reductive group schemes:I, arXiv:0905.1418
For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz locus}. Any irreducible component of this locus is locally a Hodge locus. So, we see that the study of this locus is very closely related to the variational Hodge conjecture. In this article we show that the Hodge locus corresponding to the cohomology class of a complete intersection subscheme in $\mathbb{P}^{2n+1}$ of codimension $n+1$ and degree less than $d$ satis…
A conjecture of Kato says that the monodromy operator on the cohomology of a semi-stable degeneration of projective varieties is represented by an algebraic cycle on the special fiber of a normal crossing model of the fiber product degeneration. We prove this conjecture in the simple case of a semi-stable degeneration arising from a Lefschetz fibration.
In three preprints [Pan2],[Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here G is a reductive group scheme). The present preprint contains main geometric presentation theorems which are necessary for that. The preprint [Pan2] contains reduction of the Grothendieck-Serre's conjecture to the case of a simple simply-connected group scheme. The preprint [Pan3] contains a proof of Grothendieck-Serre's conjecture for regular semi-local domains R containing a finite field. One of the main…
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in [P1],[P2],[P3]. If the semi-local regular ring contains an infinite field, then the conjecture is proved in [FP]. Thus the conjecture is true for regular local rings containing a field. A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an arbitrary field is given in [Pan3]. That proof is heavily based on …
We construct two Lefschetz decompositions of the derived category of coherent sheaves on the Grassmannian of $k$-dimensional subspaces in a vector space of dimension $n$. Both of them admit a Lefschetz basis consisting of equivariant vector bundles. We prove fullness of the first decomposition and conjecture it for the second one. In the case when $n$ and $k$ are coprime these decompositions coincide and are minimal. In general, we conjecture minimality of the second decomposition.
We study an analogue of the Noether-Lefschetz theorem in the context of Beilinson's Hodge conjecture. We estimate the dimension of the Noether-Lefschetz locus by the infinitesimal methods in Hodge theory.
In three preprints [Pan1], [Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here $G$ is a reductive group scheme). The preprint [Pan1] contains main geometric presentation theorems which are necessary for that. The present preprint contains reduction of the Grothendieck--Serre's conjecture to the case of semi-simple simply-connected group schemes (see Theorem 1.0.1). The preprint [Pan3] contains a proof of that conjecture for regular semi-local domains R containing a finite field. The…
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. The mixed characteristic case of the conjecture is widely open. We consider the following setup. Let $A$ be a mixed characteristic DVR, $G$ a reductive group scheme over $A$, $X$ an irreducible smooth projective $A$-scheme, $\mathcal G$ a principal $G$-bundle over $X$. Suppose $\mathcal G$ is generically trivial. We prove that in this case $\mathcal G$ is Zariski locally trivial. This result confirms the conjecture.
We prove Bloch's conjecture for correspondences on powers of complex abelian varieties, that are "generically defined". As an application we establish vanishing results for (skew-)symmetric cycles on powers of abelian varieties and we address a question of Voisin concerning (skew-)symmetric cycles on powers of K3 surfaces in the case of Kummer surfaces. We also prove Bloch's conjecture in the following situation. Let $γ$ be a correspondence between two abelian varieties $A$ and $B$ that can be written as a linear combination of products of symmetric divisors. Assume that $A$ is isogenous to th…
Deligne's conjecture is the Lefschetz trace formula for correspondences defined over a finite field. In this paper, we prove an analogous statement of Deligne's conjecture with respect to $p^n$-torsion étale cohomology under certain conditions, where $p$ is the characteristic of the base field.
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in [P1],[P2],[P3]. If the semi-local regular ring contains an infinite field, then the conjecture is proved in [FP]. Thus the conjecture is true for regular local rings containing a field. The present paper is the one [Pan1] in that new series. Theorem 1.1 is one of the main result of the paper. It is also one of the key steps in the proof of the Grothendieck--S…
Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an infinite field this result is proved in [FP]. Thus the conjecture is true for regular local rings containing a field.
Motivated by the Bloch-Beilinson conjectures, we formulate a certain covariant weak Lefschetz property for Chow groups. We prove this property in some special cases, using Kimura's nilpotence theorem.
We prove the arithmetic Hodge index and hard Lefschetz conjectures for the Grassmannian $G=G(2,N)$ parametrizing lines in projective space, for the natural arithmetic Lefschetz operator defined via the Plücker embedding of $G$ in projective space. The analysis of the Hodge index inequalities involves estimates on certain Racah polynomials.
We consider p-divisible groups (also called Barsotti-Tate groups) in characteristic p, their deformations, and we draw some conclusions. For such a group we can define its Newton polygon (abbreviated NP). This is invariant under isogeny. For an abelian variety (in characteristic p) the Newton polygon of its p-divisible group is ``symmetric''. In 1963 Manin conjectured that conversely any symmetric Newton polygon is ``algebroid''; i.e., it is the Newton polygon of an abelian variety. This conjecture was shown to be true and was proved with the help of the ``Honda-Serre-Tate theory''. We give an…
For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is local. Their result, in turn, is a special case of a conjecture of Grothendieck-Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when $R$ is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when $G$ is semis…
Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick, every rational (k,k)-cohomology class is algebraic, i.e., the Hodge conjecture holds on them.
Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.
Grothendieck--Serre for constant reductive group schemes
Institute for Advanced Study in Mathematics of Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）；Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系）
Let R be a semi-local Dedekind domain and let K be the field of fractions of R. Let G be a reductive semisimple simply connected R-group scheme such that every semisimple normal R-subgroup scheme of G contains a split R-torus G_m. We prove that the kernel of the map H^1_et(R,G)-> H^1_et(K,G) induced by the inclusion of R into K, is trivial. This result partially extends a theorem of Nisnevich.
We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal type are dual to the classes of special cycles, i.e. sub-arithmetic manifolds of the same type. For compact manifolds this was proved in \cite{BMM11}, here we extend the results of \cite{BMM11} to non-compact manifolds. This allows us to apply our results to the moduli spaces of quasi-polarized K3 surfaces.
Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. In other words, if K is the fraction field of R, then the map of pointed sets H^1_{et}(R,G) \to H^1_{et}(K,G), induced by the inclusion of R into K, has a trivial kernel. Certain arguments used in the present preprint do not work if the ring R contains a characteristic zero field. In that case and, more generally, in the case when the regular local ring R contains an infinite field this result is…
In this short note, we will give the key point of the section conjecture of Grothendieck, that is reformulated by monodromy actions. Here, we will also give the result of the section conjecture for algebraic schemes over a number field.
We prove that Grothendieck's Hodge standard conjecture holds for abelian varieties in arbitrary characteristic if the Hodge conjecture holds for complex abelian varieties of CM-type. For abelian varieties with no exotic algebraic classes, we prove the Hodge standard conjecture unconditionally.
Using Margulis's results on lattices in semisimple Lie groups, we prove the Grothendieck-Katz $p$-Curvature Conjecture for certain locally symmetric varieties, including the moduli space of abelian varieties ${\cal A}_g$ when $g > 1.$
