Related papers: The modular approach to Diophantine equations over…

Let $u_n$ be a fixed non-degenerate binary recurrence sequence with positive discriminant, $w$ a fixed non-zero integer and $p_1,p_2,\dots,p_s$ fixed, distinct prime numbers. In this paper we consider the Diophantine equation $u_n+u_m=w…

We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather…

In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degree and nontrivial class group. Using the algorithm over…

We study some problems in metric Diophantine approximation over local fields of positive characteristic.

We prove that the isomorphism problem for group algebras reduces to group algebras over finite extensions of the prime field. In particular, the modular isomorphism problem reduces to finite modular group algebras.

We describe a new method to determine faithful representations of small dimension for a finite dimensional nilpotent Lie algebra. We give various applications of this method. In particular we find a new upper bound on the minimal dimension…

This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…

We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of…

We obtain additional Diophantine applications of the methods surrounding Darmon's program for the generalized Fermat equation developed in the first part of this series of papers. As a first application, we use a multi-Frey approach…

In this letter we present some new results on modular theory and its application in quantum field theory. In doing this we develop some new proposals how to generalize concepts of geometrical action. Therefore the spirit of this letter is…

Using the path-integral formalism, we generalize the 't Hooft-Veltman method of unitary regulators to put forward a framework for finite, alternative quantum theories to a given quantum field theory. Feynman-like rules of such a finite,…

We study Diophantine equations of type $f(x)=g(y)$, where $f$ and $g$ are lacunary polynomials. According to a well known finiteness criterion, for a number field $K$ and nonconstant $f, g\in K[x]$, the equation $f(x)=g(y)$ has infinitely…

Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal…

Let $F \in \mathbb Z[x, y]$ be an irreducible binary form of degree $d \geq 7$ and content one. Let $\alpha$ be a root of $F(x, 1)$ and assume that the field extension $\mathbb Q(\alpha)/\mathbb Q$ is Galois. We prove that, for every…

Our paper focuses on investigating the existence and possible forms of solutions to the nonlinear differential equation \beas f^m+\big(Rf^{(k)}\big)^n=Qe^{\alpha},\eeas where where $k$, $m$ and $n$ are three positive integers, $Q$ and $R$…

This paper shows how to build a formal analytical solution for a differential equation of arbitrary order and with variable coefficients. It proofs that the most known approximated solutions for such a problem can be derived from the…

In this paper, we consider the problem of counting Diophantine inequalities with multiple natural constraints. We prove a very general result in this setting using dynamical techniques. More precisely, we consider the joint asymptotic…

We survey classical and recent results on exponents of Diophantine approximation. We give only a few proofs and highlight several open problems.

We develop the metric theory of Diophantine approximation on homogeneous varieties of semisimple algebraic groups and prove results analogous to the classical Khinchin and Jarnik theorems. In full generality our results establish…

In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases}…