Related papers: On the sums of two cubes

Let $f(x, y) \in \mathbb{Z}[x, y]$ be a cubic form with non-zero discriminant, and for each integer $m \in \mathbb{Z}$, let, $N_{f}(m)=\#\left\{(x, y) \in \mathbb{Z}^{2}: f(x, y)=m\right\} $. In 1983, Silverman proved that…

Let $S$ be a semigroup. We determine the complex-valued solutions $f,g,h$ of the functional equation \begin{equation*}f(xy)=f(x)g(y)+g(x)f(y)+h(x)h(y), x,y\in S,\end{equation*} in terms of multiplicative functions, solutions of the special…

Our main result is that we describe the solutions $g,f:S\rightarrow\mathbb{C}$ of the functional equation \[g(x\sigma(y))=g(x)g(y)-f(x)f(y)+\alpha f(x\sigma(y)),\quad x,y\in S,\] where $S$ is a semigroup, $\alpha \in \mathbb{C}$ is a fixed…

Let $( \bar g, \bar k)$ be a solution to the maximal constraint equations of general relativity on the unit ball $B_1$ of $\mathbb{R}^3$. We prove that if $(\bar g,\bar k)$ is sufficiently close to the initial data for Minkowski space, then…

Let $f = x_1^{a_1} + x_2^{a_2} + x_3^{a_3} + 1 \in \mathbb{C}[x_1,x_2,x_3]$ and let $g = y_1^{b_1} + y_2^{b_2} + y_3^{b_3} + 1 \in \mathbb{C}[y_1,y_2,y_3]$ where $a_1,a_2,a_3,b_1,b_2,b_3 \geq 2$. We prove that the surfaces $V(f) \subset…

Let $p \geq 5$ be a prime and for $a, b \in \mathbb{F}_{p}$, let $E_{a,b}$ denote the elliptic curve over $\mathbb{F}_{p}$ with equation $y^2=x^3+a\,x + b$. As usual define the trace of Frobenius $a_{p,\,a,\,b}$ by \begin{equation*}…

A complete characterization of two functions $f(x,y)$ and $g(x,y)$ in the $(f,g)$-inversion is presented. As an application to the theory of hypergeometric series, a general bibasic summation formula determined by $f(x,y)$ and $g(x,y)$ as…

We consider the equation $$ ab + cd = \lambda, \qquad a\in A, b \in B, c\in C, d \in D, $$ over a finite field $F_q$ of $q$ elements, with variables from arbitrary sets $ A, B, C, D \subseteq F_q$. The question of solvability of such and…

Given a semigroup $S$ equipped with an involutive automorphism $\sigma$, we determine the complex-valued solutions $f,g,h$ of the functional equation \begin{equation*}f(x\sigma(y))=f(x)g(y)+g(x)f(y)+h(x)h(y),\,\,x,y\in S,\end{equation*} in…

We revisit the group structure on elliptic curves and give a simple and elementary proof of the associativity of the addition. We do this by providing an explicit formula for the sum of three points, only using the explicit definition of…

An effective upper bound is established for the least non-trivial integer solution to the system of cubic forms \[ \begin{cases} F = c_{1}x_1^3 + c_{2}x_2^3 + \cdots + c_{n}x_n^3 = 0, \\ G = d_{1}x_1^3 + d_{2}x_2^3 + \cdots + d_{n}x_n^3 =…

Harvey Friedman asked in 1986 whether the function f(x,y) = x^2 + y^3 on the real plane R^2 satisfies any identities; examples of identities are commutativity and associativity. To solve this problem of Friedman, we must either find a…

In this article we further develop methods for representing integers as a sum of three cubes. In particular, a barrier to solving the case $k=3$, which was outlined in a previous paper of the second author, is overcome. A very recent…

Let $\mathbb{F}_q$ be a finite field of $q=p^k$ elements. For any $z\in \mathbb{F}_q$, let $A_n(z)$ and $B_n(z)$ denote the number of solutions of the equations $x_1^3+x_2^3+\cdots+x_n^3=z$ and $x_1^3+x_2^3+\cdots+x_n^3+zx_{n+1}^3=0$…

We recall that a smooth ample surface $\mathcal{S}$ in a general $(1,2,2)$-polarized abelian threefold, which is the pullback of the Theta divisor of a smooth plane quartic curve $\mathcal{D}$, is a surface isogenous to the product…

We consider cubic forms $\phi_{a,b}(x,y,z) = ax^3 + by^3 - z^3$ with coefficients $a,b \in \mathbb{Z}$. We give an asymptotic formula for how many of these forms are locally soluble everywhere, i.e. we give an asymptotic formula for the…

We prove that the automorphism group of an affine, cubic surface with equation $xyz=g(x,y)$ contains ${\mathbb Z}$ as a finite index subgroup. These equations were first studied by Mordell. v.2: small changes, references updated.

In this article, we solve the relative isoperimetric problem in $[0,1]^3$ for orthogonal polyhedra. Up to isometries of the cube or sets of measure $0$, the minimizers are of the form $[0,\epsilon]^3$, $[0,\epsilon]^2 \times [0,1]$, or…

Let $S$ be a semigroup. Our main results is that we describe the complex-valued solutions of the following functional equations \[g(x\sigma (y)) = g(x)g(y)+f(x)f(y),\ x,y\in S,\] \[f(x\sigma (y)) = f(x)g(y)+f(y)g(x),\ x,y\in S,\] and…

We give a new approach to the elliptic curve discrete logarithm problem over cubic extension fields $\mathbb{F}_{q^3}$. It is based on a transfer: First an $\mathbb{F}_q$-rational $(\ell,\ell,\ell)$-isogeny from the Weil restriction of the…