Related papers: Homomorphisms of abelian varieties over finite fie…

We prove Hilbert's irreducibility theorem for abelian varieties over function fields of characteristic zero.

We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping…

Let $K$ be a field finitely generated over the field of rational numbers, $K(c)$ the extension of $K$ obtained by adjoining all roots of unity, $L$ an infinite Galois extension of $K$, $X$ an abelian variety defined over $K$. We prove that…

This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field…

We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…

Let $p$ be a prime and let $\mathbb{Q}_p$ be the field of $p$-adic numbers. It is known that the finite extensions of $\mathbb{Q}_p$ of a given degree are finite up to isomorphism. Given a cubic field extension $L$ of $\mathbb{Q}_p$…

We study Gushel-Mukai (GM) varieties of dimension 4 or 6 in characteristic $p$. Our main result is the Tate conjecture for all such varieties over finitely generated fields of characteristic $p\geq 5$. In the case of GM sixfolds, we follow…

Let $X$ be a complex smooth quasi-projective variety with a fixed epimorphism $\nu\colon\pi_1(X)\twoheadrightarrow H$, where $H$ is a finitely generated abelian group with $\mathrm{rank}H\geq 1$. In this paper, we study the asymptotic…

We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence,…

We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this…

Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic…

We show that the tensor product of modules of tensor fields is a noetherian module as a module over any graded Lie subalgebra of finite codimension in the Lie algebra of polynomial vector fields on $\mathbb{R}^n$. As a corollary, we prove…

We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…

We show that abelian surfaces (and consequently curves of genus 2) over totally real fields are potentially modular. As a consequence, we obtain the expected meromorphic continuation and functional equations of their Hasse--Weil zeta…

We use the theory of trianguline $(\varphi,\Gamma)$-modules over pseudorigid spaces to prove a modularity lifting theorem for certain Galois representations which are trianguline at $p$, including those with characteristic $p$ coefficients.…

We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…

This book contains notes of a seminar on Ofer Gabber's work on the etale cohomology and uniformization of quasi-excellent schemes. His main results include (cf. introduction) constructibility theorems (for abelian or non-abelian…

In this article we study the Honda-Tate theory for log abelian varieties over an fs log point $S=(\mathrm{Spec}(\mathbf{k}),M_S)$ for $\mathbf{k}=\mathbb{F}_q$ a finite field, generalizing the classical Honda-Tate theory for abelian…

We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent…

This paper surveys, and in some cases generalises, many of the recent results on homomorphisms and the higher Ext groups for q-Schur algebras and for the Hecke algebra of type A. We review various results giving isomorphisms between Ext…