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

In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…

Let X be a cubic surface over a local number field k. Given an Azumaya algebra on X, we describe the local evaluation map X(k) -> Q/Z in two cases, showing a sharp dependence on the geometry of the reduction of X. We show that a suitably…

Motivated by a demand for explicit genus 1 Belyi maps from theoretical physics, we give an efficient method of explicitly computing genus one Belyi maps by (1) composing covering maps from elliptic curves to the Riemann sphere with simpler…

The dominant rational maps of finite degree from a fixed variety to varieties of general type, up to birational isomorphisms, form a finite set. This has been known as the Iitaka-Severi conjecture, and is nowdays an established result, in…

We find a family of compact $C^k$ hypersurfaces where the local Mizohata-Takeuchi Conjecture fails with a power loss of $R^{\alpha}$ for any $\alpha<\frac{n-1}{n-1+k}$. Moreover, this family is dense in the $C^k$ topology, and so the local…

We generalize the construction of elliptic stable envelopes to actions of connected reductive groups and give a direct inductive proof of their existence and uniqueness in a rather general situation. We show these have powerful enumerative…

We formulate and establish a generalization of Koll\'ar's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Koll\'ar's torsion-freeness, Koll\'ar's vanishing theorem, and a…

Matatyahu Rubin has shown that a sharp version of Vaught's conjecture, $I({\mathcal T},\omega )\in \{ 0,1,{\mathfrak{c}}\}$, holds for each complete theory of linear order ${\mathcal T}$. We show that the same is true for each complete…

Let $P$ be a non-torsion point on an elliptic curve defined over a number field $K$ and consider the sequence $\{B_n\}_{n\in \mathbb{N}}$ of the denominators of $x(nP)$. We prove that every term of the sequence of the $B_n$ has a primitive…

We construct a weakly compact convex subset of $\ell^2$ with nonempty interior that has an isolated maximal element, with respect to the lattice order $\ell _+^2$. Moreover, the maximal point cannot be supported by any strictly positive…

We generalize Abel's classical theorem on linear equivalence of divisors on a Riemann surface. For every closed submanifold $M^d \subset X^n$ in a compact oriented Riemannian $n$--manifold, or more generally for any $d$--cycle $Z$ relative…

We prove an effective equidistribution theorem for semisimple closed orbits on compact adelic quotients. The obtained error depends polynomially on the minimal complexity of intermediate orbits and the complexity of the ambient space. The…

We present certain results on the Iwasawa theory of an abelian variety with potentially good ordinary reduction at all primes above $p$. These are then applied to study Diophantine stability and integally Diophantine extensions. Along the…

We generalise clones, which are sets of functions $f:A^n \rightarrow A$, to sets of mappings $f:A^n \rightarrow A^m$. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have…

In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.

We investigate a stronger formulation of Webb's conjecture on the contractibilty of the orbit space of the p-subgroup complexes in terms of finite topological spaces. The original conjecture, which was first proved by Symonds and, more…

Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…

We establish quantitative strengthenings of Mazur's conjecture regarding the non-torsion property of higher Heegner points on modular and Shimura curves, confirming both a vertical version for sufficiently large powers $n$ and a horizontal…

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…

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…