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

The Reduction Map Theorem in H. Tsuji's work on numerical trivial fibrations is corrected and proven. To this purpose various definitions of Tsuji's new intersection numbers for pseudo-effective line bundles equipped with a positive…

The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$…

We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank.

This article expands our work in [Ca16]. By its reliance on Turing computability, the classical theory of effectivity, along with effective reducibility and Weihrauch reducibility, is only applicable to objects that are either countable or…

We give an elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves by using Kato's element.

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…

We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…

Extending the former work for the good reduction case, we provide a numerical criterion to verify a large portion of the "Iwasawa main conjecture without $p$-adic $L$-functions" for elliptic curves with additive reduction at an odd prime…

Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and consequences. Motivated by a question of Dobrinen, we initiate…

We construct Belyi maps having specified behavior at finitely many points. Specifically, for any curve C defined over Q-bar, and any disjoint finite subsets S, T in C(Q-bar), we construct a finite morphism f: C -> P^1 such that f ramifies…

Using the theory of minimal models of quasi-projective surfaces we give a new proof of the theorem of Lin-Zaidenberg which says that every topologically contractible algebraic curve in the complex affine plane has equation $X^n=Y^m$ in some…

We prove a reduction theorem for capacity of positive maps of finite dimensional C*-algebras, thus reducing the computation of capacity to the case when the image of a nonscalar projection is never a projection.

Enrico Bombieri showed conditionally (1994) that the ABC conjecture implies Roth's theorem, and Van Frankenhuysen (1999) later provided a complete proof. Building on Bombieri's and Van der Poorten's explicit formula for continued-fraction…

Let $E/\mathbb{Q}$ be an elliptic curve and $p > 2$ be a prime of good ordinary reduction for $E$. Assume that the residue representation associated with $(E, p)$ is irreducible. In this paper, we prove more cases on several Iwasawa main…

We reveal a new and refined application of (a weaker statement than) the Iwasawa main conjecture for elliptic curves to the structure of Selmer groups of elliptic curves of arbitrary rank. For a large class of elliptic curves, we obtain the…

Implementations of known reductions of the Strong Real Jacobian Conjecture (SRJC), to the case of an identity map plus cubic homogeneous or cubic linear terms, and to the case of gradient maps, are shown to preserve significant algebraic…

Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6.…

In this paper (as in [Ken15]), we consider an effective version of the characterization of separable metric spaces as zero-dimensional iff every nonempty closed subset is a retract of the space (actually, it is a relative result for closed…

Let X be a smooth projective curve of genus g \textgreater{}1 defined over an algebraically closed field k of characteristic p \textgreater{}0. For p sufficiently large (explicitly given in terms of r,g) we construct an atlas for the locus…

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and…