相关论文: Appendix to ``Deligne's integrality theorem in une…

We study the \Q_p-unipotent Albanese map for curves over local fields with residue characteristic different from p and show that it has finite image. As a corollary, we deduce a simple `pi_1'-proof of Siegel's theorem for rank 1 elliptic…

We give an exposition of Deligne's theory of local $\epsilon_0$-factors over fields and discrete valuation rings under the assumption that the theory over the complex numbers is known. We then employ standard techniques from algebraic…

For a reduced projective scheme over the ring of integers of a number field, the set of places over which the fibres of the scheme are not reduced is a finite set. We give an explicit upper bound for the product of the norms of places in…

We consider Siegel upper half space of rank two ${\cal H}^2$ and different subgroups $H\subseteq {\bf Sp(4,Z)}$ of finite index. The purpose of this paper is to prove that the field of rational functions of ${\cal H}^2/H$ has general type…

We show that bounding ramification at infinity bounds fierce ramification. This answers positively a question of Deligne posed to the first named author.

We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of…

We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.

This is a small note on Manin's 1966 article on rational surfaces over perfect fields, the conjecture he formulates there, and later developments. This text is by no means exhaustive and reflects the author's understanding and interest.…

In this paper, we propose a definition of Neron models of arbitrary Deligne 1-motives over Dedekind schemes, extending Neron models of semi-abelian varieties. The key property of our Neron models is that they satisfy a generalization of…

If $X$ is an abelian variety over a field and $L$ is an invertible sheaf, we know that the degree of the 0-cycle $L^g$ is divisible by $g!$. As a 0-cycle, it is not, even over a field of cohomological dimension 1. But we show that over a…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We prove a number of results on the \'etale cohomology of rigid analytic varieties over $p$-adic non-archimedean local fields. Among other things, we establish bounds for Frobenius eigenvalues, show a strong version of Grothendieck's local…

We establish several compatibility results between residue maps in \'etale and Galois cohomology that arise naturally in the analysis of smooth affine algebraic curves having good reduction over discretely valued fields. These results are…

In calculus, an indefinite integral of a function $f$ is a differentiable function $F$ whose derivative is equal to $f$. In present paper, we generalize this notion of the indefinite integral from the ring of real functions to any ring. The…

We introduce a notion of inertial equivalence for integral $\ell$-adic representation of the Galois group of a global field. We show that the collection of continuous, semisimple, pure $\ell$-adic representations of the absolute Galois…

Roth's theorem is extended to finitely generated field extensions of $\Bbb Q$, using Moriwaki's framework for heights.

This note reviews the authors' approach to Fujino's conjecture, i.e. the injectivity theorem for lc pairs on compact K\"ahler manifolds, via the use of adjoint ideal sheaves coupled with the associated residue computations in their previous…

We establish nontrivial bounds for general bilinear forms with a given periodic function, which are thought of as an analogue of van der Corput differencing for exponential sums. The proof employs Poisson summation, Cauchy-Schwarz, and the…

The Deligne-Langlands correspondence parametrizes irreducible representations of the affine Hecke algebra $\mathcal{H}^{\text{aff}}$ by certain perverse sheaves. We show that this can be lifted to an equivalence of triangulated categories.…

We prove that Fargues-Scholze's semisimplified local Langlands correspondence (for quasisplit groups) with $\overline{\mathbb{F}}_\ell$-coefficients is compatible with Deligne and Kazhdan's philosophy of close fields. From this, we deduce…