Related papers: Some remarks on the companions conjecture for norm…
Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's…
Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…
In this article we study the cohomological and homological (due to Jannsen) Hodge conjecture for singular varieties. The motivation for studying singular varieties comes from the fact that any smooth projective variety X is birational to a…
We describe the set of points of the trianguline variety over a given local Galois representation. Global analogues describing companion points in eigenvariety by [Bre14] and [HN17], can be thought of as a rational analogue to the weight…
In 1978 Durfee conjectured various inequalities between the signature and the geometric genus of a normal surface singularity. Since then a few counter examples have been found and positive results established in some special cases. We…
Deligne conjectured that a single l-adic lisse sheaf on a normal variety over a finite field can be embedded into a compatible system of l'-adic lisse sheaves with various l'. Drinfeld used Lafforgue's result as an input and proved this…
Let $X$ be a smooth projective variety defined on a finite field $\mathbb{F}_q$. On $X$ there is a special morphism $Fr_X$, which raises coordinates to exponent $q$: $t\mapsto t^q$. The two main results in this paper are: Result 1: If…
We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the…
We relate the Brauer group of a smooth variety over a p-adic field to the geometry of the special fibre of a regular model, using the purity theorem in \'etale cohomology. As an illustration, we describe how the Brauer group of a smooth del…
We associate to any complete spherical variety $X$ a certain nonnegative rational number $\wp(X)$, which we conjecture to satisfy the inequality $\wp(X) \le \operatorname{dim} X - \operatorname{rank} X$ with equality holding if and only if…
Up to a translation in the language of arithmetic $\D$-modules, we prove a conjecture of Berthelot on the preservation of the overconvergence under the direct image by a smooth proper morphism of varieties over a perfect field of…
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection…
Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell \neq p$,…
Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…
We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…
Given a morphism between complex projective varieties, we make several conjectures on the relations between the set of pseudo-effective (co)homology classes which are annihilated by pushforward and the set of classes of varieties contracted…
In 2009, de Fernex and Hacon proposed a generalization of the notion of the singularities to normal varieties that are not Q-Gorenstein. Based on their work, we generalize Kleiman's transversality theorem to subvarieties with log terminal…
We define Strebel differentials for stable complex curves, prove the existence and uniqueness theorem that generalizes Strebel's theorem for smooth curves, prove that Strebel differentials form a continuous family over the moduli space of…
We study a natural birational invariant for varieties over finite fields and show that its vanishing on projective space is equivalent to the Tate conjecture, the Beilinson conjecture, and the Grothendieck--Serre semi-simplicity conjecture…
We formulate a conjecture characterizing smooth projective varieties in positive characteristic whose Frobenius morphism can be lifted modulo $p^2$ - we expect that such varieties, after a finite \'etale cover, admit a toric fibration over…