Related papers: Some consequences of Schanuel's Conjecture

We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…

We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including…

Let $\mathbb{R}^n$ be the n-dimensional Euclidean space with $O$ as the origin. Let $\wedge$ be a lattice of determinant $1$ such that there is a sphere $|X|<R$ which contains no point of $\wedge$ other than $O$ and has $n$ linearly…

We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond…

Extension conjecture states that if a simple module over an artin algebra has nonzero first self-extension group then it has nonzero i-th self-extension group for infinitely many positive integers i. It is shown by recollement of…

Assuming the existence of Siegel zeros, we prove that there exists an increasing sequence of positive integers for which Chowla's Conjecture on $k$-point correlations of the Liouville function holds. This extends work of Germ\'an and…

For a word $\pi$ and integer $i$, we define $L^i(\pi)$ to be the length of the longest subsequence of the form $i(i+1)\cdots j$, and we let $L(\pi):=\max_i L^i(\pi)$. In this paper we estimate the expected values of $L^1(\pi)$ and $L(\pi)$…

The Main Theorem for abelian fields (often called Main Conjecture despite proofs in most cases) has a long history which has found a solution by means of "elementary arithmetic", as detailed in Washington's book from Thaine's method having…

The exponential local-global principle, or Skolem conjecture, says: Suppose that \(b\) is a positive integer, and that the sequence \((u_{n})_{n = -\infty}^{\infty}\) is such that every term is in \(\mathbb{Z}[1/b]\), the linear recurrence…

Previous research on exceptional units has primarily focused on the ring of rational integers or abstract finite rings, often restricted to linear or quadratic constraints. In this paper, we extend the concept of polynomial-type exceptional…

We classify the coefficients $(a_1,...,a_n) \in \mathbb{F}_q[t]^n$ that can appear in a linear relation $\sum_{i=1}^n a_i \gamma_i =0$ among Galois conjugates $\gamma_i \in \overline{\mathbb{F}_q(t)}$. We call such an $n$-tuple a Smyth…

We study the non-linear realisation of E11 originally proposed by West with particular emphasis on the issue of linearised gauge invariance. Our analysis shows even at low levels that the conjectured equations can only be invariant under…

In this paper we study properties of numbers $K_n^l$ of connected components of bifurcation diagrams for multiboundary singularities $B_n^l$. These numbers generalize classic Bernoulli-Euler numbers. We prove a recurrent relation on the…

Let E be an elliptic curve over Q with complex multiplication by the ring of integers of an imaginary quadratic field K. In 1991, by studying a certain special value of the Katz two-variable p-adic L-function lying outside the range of…

Let $\mathcal{A}$ and $\matchcal{B}$ denote two families of subsets of an $n$-element set. The pair $(\mathcal{A},\mathcal{B})$ is said to be $\ell$-cross-intersecting iff $|A\cap B| = \ell$ for all $A\in\mathcal{A}$ and $B\in\mathcal{B}$.…

Let $(a;q)_n=\prod_{0\le k<n}(1-aq^k)$ for n=0,1,2,.... Define q-Euler numbers $E_n(q)$, q-Sali\'e numbers $S_n(q)$ and q-Carlitz numbers $C_n(q)$ as follows: $$\sum_{n=0}^{\infty}E_n(q)\frac{x^n}{(q,q)_n}…

In this paper we use tools from set theory and the uncountable categoricity of Zilber's pseudo-exponential field to show that Zilber's field is isomorphic to the complex field with (standard) exponentiation and hence Schanuel's conjecture…

In this paper, we study a general Syracuse problem. We give some necessary conditions concerning the existence of eventual non trivial cycles. Some properties based on linear logarithmic forms are established. New general conjectures are…

Let L be a number field and let E be any subgroup of the units O_L^* of L. If rank(E) = 1, Lehmer's conjecture predicts that the height of any non-torsion element of E is bounded below by an absolute positive constant. If rank(E) =…

In 2007, Bogomolov and Tschinkel proved that given two complex elliptic curves $E_1$ and $E_2$ along with even degree-$2$ maps $\pi_j\colon E_j\to \mathbb{P}^1$ having different branch loci, the intersection of the image of the torsion…