Related papers: Effectivity in Mochizuki's work on the $abc$-conje…

We give a proof of Iitaka's Conjecture C_{2,1} using only elementary methods from algebraic geometry. The main point is that, given a non-isotrivial and relatively minimal family f : X \to B, where X is a surface and B is a curve, both…

Kobayashi introduced a uniform notion of compressibility of infinite binary sequences in terms of relative Turing computations with sub-identity use of the oracle. Kobayashi compressibility has remained a relatively obscure notion, with the…

In this paper, we introduce the zero divisor graph of a multiplicative lattice. We provide a counter example to Beck's conjecture for multiplicative lattices. Further, we prove that Beck's conjecture is true for reduced multiplicative…

The main conjectures of Iwasawa theory provide the only general method known at present for studying the mysterious relationship between purely arithmetic problems and the special values of complex L-functions, typified by the conjecture of…

In a recent preprint, H. Tsuji gave a number of interesting assertions on the structure of pseudo-effective line bundles on projective manifolds. In particular, he postulated the existence of an almost-holomorphic "reduction map", whose…

Based on the reduction of degree in polynomial mappings and some known results in algebraic geometry, by introducing the Brouwer degree, a tool from differential topology, algebraic topology and algebraic geometry, we completely prove the…

This paper gives a constructive treatment of McKenzie's theorem on the existence of general equilibria. While the full theorem does not admit a constructive proof, and hence does not admit a computational realisation, we show that if we…

We study the relationship between Iitaka fibrations and the conjecture on the existence of complements, assuming the good minimal model conjecture. In one direction, we show that the conjecture on the existence of complements implies the…

The purpose of this paper is to establish a subadditivity theorem of Okounkov bodies for algebraic fiber spaces. As applications, we obtain a product formula of the restricted canonical volumes for algebraic fiber spaces and a sufficient…

In this paper after proving (in Section 2) the Berkovich analytic space analog of the familiar fact that there exist many non-isomorphic Riemann surfaces of the fixed topological type, I introduce the precise notion of Arithmetic…

Let $S=S_{g,p}$ be a compact, orientable surface of genus $g$ with $p$ punctures and such that $d(S):=3g-3+p>0$. The mapping class group $\textup{Mod}_S$ acts properly discontinuously on the Teichm\"uller space $\mathcal T(S)$ of marked…

We discuss abelian equivariant Iwasawa theory for elliptic curves over $\mathbb{Q}$ at good supersingular primes and non-anomalous good ordinary primes. Using Kobayashi's method, we construct equivariant Coleman maps, which send the…

Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a…

Following Deligne and Ribet (`Values of abelian $L$-functions at negative integers over totally real fields.' Invent. Math. 59 (1980), 227-286) we prove that the `torsion congruences' (as introduced in our paper `Non-abelian pseudomeasures…

Let $A$ be an ordinary elliptic curve over a global function field $K$ of characteristic $p$, assumed semistable at every place, and let $L/K$ be a $\mathbb{Z}_p^d$-extension ramified only at finitely many places where $A$ has ordinary…

We use Iwasawa theory, at a prime $p$ inert in a quadratic imaginary field $K$, to study the arithmetic properties of mock plectic invariants for elliptic curves of rank two. More precisely, under some minor technical assumptions, we prove…

This paper lays the foundation of the Theory of Arithmetic Teichmuller Spaces of Number Fields by explicitly constructing many arithmetically inequivalent avatars of a fixed number field. This paper also constructs a topological space of…

Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued…

In this paper, we prove common fixed point results for a self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize…

The notion of flat $\lambda$-connections as the interpolation of usual flat connections and Higgs fields was suggested by Deligne and further studied by Simpson. Mochizuki established the Kobayashi--Hitchin-type theorem for $\lambda$-flat…