Related papers: Ternary quadratic forms representing a given arith…
A Lie algebra is said to be quadratic if it admits a symmetric invariant and non-degenerated bilinear form. Semisimple algebras with the Killing form are examples of these algebras, while orthogonal subspaces provide abelian quadatric…
We present an extension of the Hardy--Littlewood inequality for multilinear forms. More precisely, let $\mathbb{K}$ be the real or complex scalar field and $m,k$ be positive integers with $m\geq k\,$ and $n_{1},\dots ,n_{k}$ be positive…
We show that we can develop from scratch and using only classical language a theory of relative quadratic extensions of a given number field $K$ which is as explicit and easy as for the well-known case that $K$ is the field of rational…
We give an asymptotic for the number of prime solutions to $Q(x_1,\dots, x_8) = N$, subject to a mild non-degeneracy condition on the homogeneous quadratic form $Q$. The argument initially proceeds via the circle method, but this does not…
Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2,…
In this paper, I use Siegel-Weil formula and Kudla matching principle to prove some interesting identities between representation number (of ternary quadratic space) and the degree of Heegner divisors.
In this paper, we study the set of positive integers that characterize the universality of $m$-gonal form.
We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we…
It is shown that for any prime $p$ and any natural numbers $\ell, m,$ and $s$ such that $0<s<p$, the three following congruences \begin{align*}\sum_{i\ge \ell+1}(-1)^{m-i} {m \choose i}{m+s-1+i(p-1) \choose m+s-1+\ell(p-1)} &\equiv 0 \bmod…
In this paper, we prove the abundance conjecture for threefolds over a perfect field $k$ of characteristic $p > 3$ in the case of numerical dimension equals to $2$. More precisely, we prove that if $(X,B)$ be a projective lc threefold pair…
Recently, Marko and Litvinov (ML) conjectured that, for all positive integers $n$ and $p$, the $p$-th power of $n$ admits the representation $n^p = \sum_{\ell =0}^{p-1} (-1)^{l} c_{p,\ell} F_{n}^{p-\ell}$, where $F_{n}^{p-\ell}$ is the…
In this paper, by using the arithmetic theory of ternary quadratic forms, we study some refinements on Lagrange's four-square theorem. For example, given positive integers $a,b$ satisfying some algebraic conditions and a positive integer…
We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from 1888, where he proves that nonnegative ternary quartic…
Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to…
In this paper, we study partitions of totally positive integral elements $\alpha$ in a real quadratic field $K$. We prove that for a fixed integer $m \geq 1$, an element with $m$ partition exists in almost all $K$. We also obtain an upper…
In this paper, we show that for any $m$-gonal form $F_m(\mathbf x)$ with $m \ge 12$ which represents every positive integer up to $m-4$, by putting together only unary $m$-gonal form, we may complete an universal form.
We show that if $\alpha$ is a positive $(2,2)$-form then so is $\alpha^2$. We also prove that this is no longer true for forms of higher degree.
Given a nondegenerate ternary form $f=f(x_1,x_2,x_3)$ of degree 4 over an algebraically closed field of characteristic zero, we use the geometry of K3 surfaces to construct a certain positive-dimensional family of irreducible…
We identify pairs of positive integers $(t, d)$ with the property that the integer sequence with general term $\lfloor{n^t/d\rfloor}$ contains at most finitely many primes.
A rational Diophantine $m$-tuple is a set $\{a_1,\ldots,a_m\}$ of distinct nonzero rational numbers such that $a_i a_j+1$ is a square for all $1\leq i < j\leq m$. Similarly, we may ask when $a_ia_j+1$ is a $k$-th power. Here, we study the…