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

The Collatz conjecture, which posits that any positive integer will eventually reach 1 through a specific iterative process, is a classic unsolved problem in mathematics. This research focuses on designing an efficient algorithm to compute…

If in a given rank $r$, there is an irreducible complex local system with torsion determinant and quasi-unipotent monodromies at infinity on a smooth quasi-projective variety, then for every prime number $\ell$, there is an absolutely…

We show how the Abel-Jacobi map provides all the principal properties of an ample family of integrable mechanical systems associated to hyperelliptic curves. We prove that derivative of the Abel-Jacobi map is just the St\"{a}ckel matrix,…

This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…

This manuscript presents a detailed and original account of the theory of opers defined on pointed stable curves in arbitrary characteristic and their moduli. In particular, it includes the development of the study of dormant opers, which…

Let $E/\mathbb{Q}$ be an elliptic curve, let $p>2$ be a prime of good reduction for $E$, and assume that $E$ admits a rational $p$-isogeny with kernel $\mathbb{F}_p(\phi)$. In this paper we prove the cyclotomic Iwasawa main conjecture for…

The arithmetic of elliptic curves, namely polynomial addition and scalar multiplication, can be described in terms of global sections of line bundles on $E\times E$ and $E$, respectively, with respect to a given projective embedding of $E$…

We show that any map from an infinite loop space to a $p$-complete nilpotent finite dimensional space factors canonically through a union of $p$-adic tori. This is proven via bootstrapping from the case of $B\mathbb{Z}/p\mathbb{Z}$, which…

A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is…

In this note we introduce a Waldschmidt decomposition of divisors which might be viewed as a generalization of Zariski decomposition based on the effectivity rather than the nefness of divisors. As an immediate application we prove a…

We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been…

We show, using basic Morita equivalences between block algebras of finite groups, that the Conjecture of H. Sasaki from [9] is true for a new class of blocks called nilpotent covered blocks. When this Conjecture is true we define some…

Let $S$ be a complex projective surface. Lefschetz originally proved Lefschetz $(1, 1)$--Theorem by studying a Lefschetz pencil of hyperplane sections of $S$ and the Abel--Jacobi mapping. In this paper, we attack Lefschetz $(1, 1)$--Theorem…

We prove that if $X$ is a topological space that admits Debreu's classical utility theorem (eg.\ $X$ is separable and connected, second countable, etc.), then order relations on $X$ satisfying milder completeness conditions can be…

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the…

Nous montrons qu'un raffinement du th\'eor\`eme de Siegel sur les points entiers de courbes alg\'ebriques impliquerait la conjecture abc de Masser-Oesterl\'e. Nous formulons une hypoth\`ese "Siegel uniforme" qui est une majoration de la…

This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important…

The author proves that the generalized Suita conjecture holds for any complex torus, which means that $ \alpha\pi K \geq c^2(\alpha\in\mathbb R)$, $c$ being the modified logarithmic capacity and $K$ being the Bergman kernel on the diagonal.…

Roquette proved Amitsur's conjecture for Severi-Brauer varieties associated with cyclic algebras using algebraic methods. We present a geometric proof of Roquette's result, providing simple and explicit birational isomorphisms.

Following the prequel work \cite{VO3}, we prove a generalization of "Mazur's conjecture" for $L$-functions of elliptic curves in abelian extensions of imaginary quadratic fields, including the assertion that the Mordell-Weil rank of an…