Related papers: Sur la conjecture de Tate pour les diviseurs
As an application of our previous work on CM liftings of K3 surfaces and the Tate conjecture, we prove the Hodge standard conjecture for squares of K3 surfaces. We also deduce the Hodge standard conjecture for all the powers of certain K3…
Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre…
Manin's conjecture predicts the asymptotic behavior of the number of rational points of bounded height on algebraic varieties. For toric varieties, it was proved by Batyrev and Tschinkel via height zeta functions and an application of the…
Questions related to Brauer-Manin obstructions to the Hasse principle and weak approximation for homogeneous spaces of tori over a number field are well-studied, generally using arithmetic duality theorems, starting with works of Sansuc and…
Jean-Pierre Serre has conjectured Conj. 3.2.1, in the context of abelian varieties, that there are infinitely primes of good ordinary reduction for a smooth, projective variety over a number field. We prove this conjecture for K3 surfaces…
We give an algorithm that takes a smooth hypersurface over a number field and computes a $p$-adic approximation of the obstruction map on the Tate classes of a finite reduction. This gives an upper bound on the "middle Picard number" of the…
We prove the statement in the title, solving in this way a conjecture stated by Ginot for manifolds with corners. Along the way, we establish a derived Swiss-cheese additivity theorem and an alternative proof for the hyperdescent of…
This is a survey of the Kawamata-Morrison cone conjecture on the structure of Calabi-Yau varieties and more generally Calabi-Yau pairs. We discuss the proof of the cone conjecture for algebraic surfaces, with plenty of examples. We show…
Let $X$ be a smooth projective curve over a finite field $F_q$. Let $\rho$ be a continuous representation $\pi(X)\to GL_n(F)$, where $F=F_l((t))$ with $F_l$ being another finite field of order prime to $q$. Assume that…
Following the line of attack from La Bret\`eche, Browning and Peyre, we prove Manin's conjecture in its strong form conjectured by Peyre for a family of Ch\^atelet surfaces which are defined as minimal proper smooth models of affine…
We prove effective versions of algebraic and analytic Lang's conjectures for product-quotient surfaces of general type with $P_g=0$ and $c_1^2=c_2$.
We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a…
We study the space of rational curves on del Pezzo surfaces in positive characteristic. For most primes p we prove the irreducibility of the moduli space of rational curves of a given nef class, extending results of Testa in characteristic…
We give yet another proof of the Riemann hypothesis for smooth projective varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case. The latter was established by N. Katz via an elementary argument. A reduction…
We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…
Given a Lie algebra $\mathfrak{g}$ of an algebraic group over a ring $S,$ we show that the first Kac-Weisfeiler conjecture holds for reductions of $\mathfrak{g} \mod p$ for large enough primes $p,$ reproving a recent result of Martin,…
We give a necessary and sufficient condition in terms of a matrix for which all Tate classes are Lefschetz for simple abelian varieties over an algebraic closure of a finite field. As an application, we prove under an assumption that all…
Let $S$ be a smooth cubic surface over a finite field $\mathbb F_q$. It is known that $\#S(\mathbb F_q) = 1 + aq + q^2$ for some $a \in \{-2,-1,0,1,2,3,4,5,7\}$. Serre has asked which values of a can arise for a given $q$. Building on…
In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, stating that a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k [\![ t ]\!]$…
We prove a few new cases of the Sato-Tate conjecture for abelian surfaces, using a new automorphy theorem of Allen et al. Then in the unproven cases, we use partial results to describe nontrivial asymptotics on the trace of Frobenius, and…