Kobayashi–Ochiai proved that the set of dominant maps from a fixed variety to a fixed variety of general type is finite. We prove the natural extension of their finiteness theorem to Campana’s orbifold pairs.

In studying the depth filtration on multiple zeta values, difficulties quickly arise due to a disparity between it and the coradical filtration [9]. In particular, there are additional relations in the depth graded algebra coming from period polynomials of cusp forms for $\operatorname {\mathrm {SL}}_2({\mathbb {Z}})$. In contrast, a simple combinatorial filtration, the block filtration [13, 28] is known to agree with the coradical filtration, and so there is no similar defect in the associated graded. However, via an explicit evaluation of $\zeta (2,\ldots ,2,4,2,\ldots ,2)$ as a polynomial in double zeta values, we derive these period polynomial relations as a consequence of an intrinsic symmetry of block graded multiple zeta values in block degree 2. In deriving this evaluation, we find a Galois descent of certain alternating double zeta values to classical double zeta values, which we then apply to give an evaluation of the multiple t values [22] $t(2\ell ,2k)$ in terms of classical double zeta values.

We first provide a detailed proof of Kato’s classification theorem of log p-divisible groups over a Noetherian Henselian local ring. Exploring Kato’s idea further, we then define the notion of a standard extension of a classical finite étale group scheme (resp. classical étale p-divisible group) by a classical finite flat group scheme (resp. classical p-divisible group) in the category of finite Kummer flat group log schemes (resp. log p-divisible groups), with respect to a given chart on the base. These results are then used to prove that log p-divisible groups are formally log smooth. We then study the finite Kummer flat group log schemes $T_n(\mathbf {M}):=H^{-1}(\mathbf {M}\otimes _{{\mathbb Z}}^L{\mathbb Z}/n{\mathbb Z})$ (resp. the log p-divisible group $\mathbf {M}[p^{\infty }]$) of a log 1-motive $\mathbf {M}$ over an fs log scheme and show that they are étale locally standard extensions. Lastly, we give a proof of the Serre–Tate theorem for log abelian varieties with constant degeneration.

For a smooth rigid space X over a perfectoid field extension K of $\mathbb {Q}_p$ , we investigate how the v-Picard group of the associated diamond $X^{\diamondsuit }$ differs from the analytic Picard group of X. To this end, we construct a left-exact ‘Hodge–Tate logarithm’ sequence

$$\begin{align*}0\to \operatorname{Pic}_{\mathrm{an}}(X)\to \operatorname{Pic}_v(X^{\diamondsuit})\to H^0(X,\Omega_X^1)\{-1\}. \end{align*}$$

We deduce some analyticity criteria which have applications to p-adic modular forms. For algebraically closed K, we show that the sequence is also right-exact if X is proper or one-dimensional. In contrast, we show that, for the affine space $\mathbb {A}^n$ , the image of the Hodge–Tate logarithm consists precisely of the closed differentials. It follows that, up to a splitting, v-line bundles may be interpreted as Higgs bundles. For proper X, we use this to construct the p-adic Simpson correspondence of rank one.

Let $\mathcal {P}_s(n)$ denote the nth s-gonal number. We consider the equation

$$ \begin{align*}\mathcal{P}_s(n) = y^m \end{align*} $$

for integers $n,s,y$ and m. All solutions to this equation are known for $m>2$ and $s \in \{3,5,6,8,20 \}$ . We consider the case $s=10$ , that of decagonal numbers. Using a descent argument and the modular method, we prove that the only decagonal number greater than 1 expressible as a perfect mth power with $m>1$ is $\mathcal {P}_{10}(3) = 3^3$ .

We define két abelian schemes, két 1-motives and két log 1-motives and formulate duality theory for these objects. Then we show that tamely ramified strict 1-motives over a discrete valuation field can be extended uniquely to két log 1-motives over the corresponding discrete valuation ring. As an application, we present a proof to a result of Kato stated in [12, §4.3] without proof. To a tamely ramified strict 1-motive over a discrete valuation field, we associate a monodromy pairing and compare it with Raynaud’s geometric monodromy.

Let $K/F$ be an unramified quadratic extension of a non-Archimedean local field. In a previous work [1], we proved a formula for the intersection number on Lubin–Tate spaces. The main result of this article is an algorithm for computation of this formula in certain special cases. As an application, we prove the linear Arithmetic Fundamental Lemma for $ \operatorname {{\mathrm {GL}}}_4$ with the unit element in the spherical Hecke Algebra.

Let $K$ be a (non-archimedean) local field and let $F$ be the function field of a curve over $K$. Let $D$ be a central simple algebra over $F$ of period $n$ and $\unicode[STIX]{x1D706}\in F^{\ast }$. We show that if $n$ is coprime to the characteristic of the residue field of $K$ and $D\cdot (\unicode[STIX]{x1D706})=0$ in $H^{3}(F,\unicode[STIX]{x1D707}_{n}^{\otimes 2})$, then $\unicode[STIX]{x1D706}$ is a reduced norm from $D$. This leads to a Hasse principle for the group $\operatorname{SL}_{1}(D)$, namely, an element $\unicode[STIX]{x1D706}\in F^{\ast }$ is a reduced norm from $D$ if and only if it is a reduced norm locally at all discrete valuations of $F$.

We show that there are no non-trivial stratified bundles over a smooth simply connected quasi-projective variety over an algebraic closure of a finite field if the variety admits a normal projective compactification with boundary locus of codimension greater than or equal to $2$.

We prove the following theorem. Suppose that $F\,=\,\left( {{f}_{1}},\,{{f}_{2}} \right)$ is a 2-dimensional, vector-valued modular form on $\text{S}{{\text{L}}_{2}}\left( \mathbb{Z} \right)$ whose component functions ${{f}_{1}}$, ${{f}_{2}}$ have rational Fourier coefficients with bounded denominators. Then ${{f}_{1}}$ and ${{f}_{2}}$ are classical modular forms on a congruence subgroup of the modular group.

Given $f(x,y)\in \mathbb Z[x,y]$ with no common components with $x^a-y^b$ and $x^ay^b-1$, we prove that for $p$ sufficiently large, with $C(f)$ exceptions, the solutions $(x,y)\in \overline {\mathbb F}_p\times \overline {\mathbb F}_p$ of $f(x,y)=0$ satisfy $ {\rm ord}(x)+{\rm ord}(y)\gt c (\log p/\log \log p)^{1/2},$ where $c$ is a constant and ${\rm ord}(r)$ is the order of $r$ in the multiplicative group $\overline {\mathbb F}_p^*$. Moreover, for most $p\lt N$, $N$ being a large number, we prove that, with $C(f)$ exceptions, ${\rm ord}(x)+{\rm ord}(y)\gt p^{1/4+\epsilon (p)},$ where $\epsilon (p)$ is an arbitrary function tending to $0$ when $p$ goes to $\infty $.

We develop a language that makes the analogy between geometry and arithmetic more transparent. In this language there exists a base field $\mathbb{F}$, ‘the field with one element’; there is a fully faithful functor from commutative rings to $\mathbb{F}$-rings; there is the notion of the $\mathbb{F}$-ring of integers of a real or complex prime of a number field $K$ analogous to the $p$-adic integers, and there is a compactification of $\operatorname{Spec}O_K$; there is a notion of tensor product of $\mathbb{F}$-rings giving the product of $\mathbb{F}$-schemes; in particular there is the arithmetical surface $\operatorname{Spec} O_K\times\operatorname{Spec} O_K$, the product taken over $\mathbb{F}$.

We continue to study l-adic iterated integrals introduced in the first part. We shall show that the l-adic iterated integrals satisfy essentially the same functional equations as the classical complex iterated integrals. Next we are studying l-adic analogs of classical polylogarithms.

We continue to study l-adic iterated integrals introduced in the first part. We shall calculate explicitly l-adic logarithm and l-adic polylogarithms. Next we shall use these results to study Galois representations on the fundamental group of .

We are studying some aspects of the action of Galois groups on the torsor of paths connecting two (possibly tangential) points on a projec-tive line minus a finite number of points. We obtain objects which formally behave like classical iterated integrals and polylogarithms. We formulate an analog of Zagier conjecture for these l-adic analogs of iterated integrals and polylogarithms.