Related papers: Construction of Arithmetic Teichmuller Spaces IV: …

This note outlines a constructive proof of a proposition in Mochizuki's paper "Arithmetic elliptic curves in general position," making a direct use of computable non-critical Belyi maps to effectively reduce the full $abc$-conjecture to a…

This is a continuation of my work on Arithmetic Teichmuller Spaces (arXiv:2106.11452, arXiv:2210.11635, arXiv:2303.01662, arXiv:2305.10398). This paper establishes a number of important results including (1) a proof Mochizuki's Corollary…

This paper deals with consequences of the existence of Arithmetic Teichmuller spaces established in arXiv:2106.11452 and arXiv:2210.11635. Theorem~9.2.1 provides a proof of a local version of Mochizuki's Corollary~3.12. Local means for a…

Ellenberg proved that the abc conjecture would follow if this conjecture were known for sums $a+b=c$ such that $D\mid abc$ for some integer~$D$. Mochizuki proved a theorem with an opposite restriction, that the full abc conjecture would…

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…

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…

We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some…

We define certain arithmetic derivatives on $\mathbb{Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$, and satisfy a suitable non-degeneracy condition. Using Geometry of Numbers, we unconditionally show their…

We revisit a subexponential bound for the $abc$ conjecture due to the first author, and we establish a variation of it using linear forms in logarithms. As an application, we prove an unconditional subexponential bound towards the $4$-terms…

This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct…

Gray-Vanhecke conjectured that the volumes of small geodesic balls could determine if the manifold is a space form, and provided a proof for the compact 4-dimensional manifold, and some cases. In this paper, similar results for the…

We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.

We prove the Invariant Subspace Conjecture for separable Hilbert spaces.

In this paper we give an elementary proof of the Zariski-Lipman conjecture for log canonical spaces.

We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer \'etale and pro-Kummer \'etale topology for such spaces. We also establish the primitive comparison theorem in this…

This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…

Beginning from the resolution of the Dirichlet L function, using the inner product formula between two infinite-dimensional vectors in the complex space, the author proved the baffling problem--Hecke conjecture.

This note imparts heuristic arguments and theorectical evidences that contradict the abc conjecture over the rational numbers. In addition, the rudimentary datails for transforming this problem into the doimain of equidistribution theory…

Using the Maskit coordinates for Teichmuller space, we prove the existence of new families of one dimensional subspaces on which the Caratheodory and Kobayashi metrics agree.

In this paper we prove the Zariski-Lipman conjecture for log canonical spaces.