Related papers: Tate's question, Standard conjecture D, semisimpli…

For $N\geq 3$, we show Tate's conjecture for the elliptic modular surface $E(N)$ of level $N$ over $\mathbb{F}_p$ for a prime $p$ satisfying $p\equiv 1\mod N$ outside of a set of primes of density zero. We also prove a strong form of Tate's…

Given a set of inequalities determined by homogeneous forms, the following intertwined results are established: (1) the volume of the real semi-algebraic domain determined by these inequalities is explicitly determined; it is shown to be…

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of…

We prove that the Tate conjecture is invariant under Homological Projective Duality (=HPD). As an application, we prove the Tate conjecture in the new cases of linear sections of determinantal varieties, and also in the cases of complete…

We prove that the Tate, Beilinson and Parshin conjectures are invariant under Homological Projective Duality (=HPD). As an application, we obtain a proof of these celebrated conjectures (as well as of the strong form of the Tate conjecture)…

Let $X$ be a normal projective variety admitting a polarized endomorphism $f$, i.e., $f^*H\sim qH$ for some ample divisor $H$ and integer $q>1$. It was conjectured by Broustet and Gongyo that $X$ is of Calabi-Yau type, i.e., $(X,\Delta)$ is…

Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of…

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…

We show that the Friedlander-Mazur conjecture holds for a complex smooth projective variety X of dimension three implies the standard conjectures hold for X. This together with a result of Friedlander yields the equivalence of the two…

Let $X$ be a normal projective variety and $f:X\to X$ a non-isomorphic polarized endomorphism. We give two characterizations for $X$ to be a toric variety. First we show that if $X$ is $\mathbb{Q}$-factorial and $G$-almost homogeneous for…

In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.

We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.

We introduce a variety $Y_{n,k}$, which we call the \textit{affine $\Delta$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the…

Let $f\colon X\rightarrow X$ be a surjective endomorphism of a normal projective variety defined over a number field. The dynamics of $f$ may be studied through the dynamics of the linear action $f^*\colon Pic(X)_\mathbb{R}\rightarrow…

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…

Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $p\geq 0$, let $f:Y\rightarrow X$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants…

Let $\overline{\rho}: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the…

We give a geometric criterion to check the validity of the integral Tate conjecture for one-cycles on a smooth projective variety that is separably rationally connected in codimension one, and to check that the Brauer-Manin obstruction is…

Let f: X \to Z be a surjective morphism of smooth complex projective varieties with connected fibers. Suppose that L is a pseudo-effective divisor on X that is f-numerically trivial. We show that there is a divisor D on Z such that L is…

The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of…