Related papers: An observation on positive definite forms

We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every…

Let $f$ be a non-CM Hecke eigencusp form of level 1 and fixed weight, and let $\{\lambda_f(n)\}_n$ be its sequence of normalized Fourier coefficients. We show that if $K/ \mathbb{Q}$ is any number field, and $\mathcal{N}_K$ denotes the…

For a positive definite integral ternary quadratic form $f$, let $r(k,f)$ be the number of representations of an integer $k$ by $f$. The famous Minkowski-Siegel formula implies that if the class number of $f$ is one, then $r(k,f)$ can be…

Let $s_1, s_2, \ldots$ be the sequence of positive integers, arranged in increasing order, that are representable by any binary quadratic form of fixed discriminant $D$. We show that \[ \limsup_{n \rightarrow \infty} \frac{s_{n+1}-s_n}{\log…

Let $\omega$ be a sequence of positive integers. Given a positive integer $n$, we define $$ r_n(\omega) = | \{ (a,b)\in \mathbb{N}\times \mathbb{N}\colon a,b \in \omega, a+b = n, 0 <a<b \}|. $$ S. Sidon conjectured that there exists a…

Let $k$ be an even integer and $S_k$ be the space of cusp forms of weight $k$ on $\SL_2(\ZZ)$. Let $S = \oplus_{k\in 2\ZZ} S_k$. For $f, g\in S$, we let $R(f, g) = \{ (a_f(p), a_g(p)) \in \mathbb{P}^1(\CC)\ |\ \text{$p$ is a prime} \}$ be…

We prove the symmetric F-conjecture describing the ample cone of $\overline{M}_{0,g}/S_g$ and $\overline{M}_g$ for $g\leq 35$.

We study symmetric nonnegative forms and their relationship with symmetric sums of squares. For a fixed number of variables $n$ and degree $2d$, symmetric nonnegative forms and symmetric sums of squares form closed, convex cones in the…

There exist homogeneous polynomials $f$ with $\mathbb Q$-coefficients that are sums of squares over $\mathbb R$ but not over $\mathbb Q$. The only systematic construction of such polynomials that is known so far uses as its key ingredient…

The numbers of representations of totally positive integers as sums of three integer squares in $\mathbf{Q}(\sqrt{3})$ and in $\mathbf{Q}(\sqrt{17})$, are studied by using Shimura lifting map of Hilbert modular forms. We show the following…

For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.

We prove that if $d \ge 2$ is an integer, $G$ is a finite abelian group, $Z_0$ is a subset of $G$ not contained in any strict coset in $G$, and $E_1,\dots,E_d$ are dense subsets of $G^n$ such that the sumset $E_1+\dots+E_d$ avoids $Z_0^n$…

In this paper we generalize the result of Fouvry and Iwaniec dealing with prime values of the quadratic form $x^2 + y^2$ with one input restricted to a thin subset of the integers. We prove the same result with an arbitrary primitive…

We prove several results about integers represented by positive definite quadratic forms, using a Fourier analysis approach. In particular, for an integer $\ell\geq 1$, we improve the error term in the partial sums of the number of…

We use a function field version of the circle method to prove that a positive proportion of elements in $\mathbb{F}_q[t]$ are representable as a sum of three cubes of minimal degree from $\mathbb{F}_q[t]$, assuming a suitable form of the…

Let $R$ be a commutative ring, $f \in R[X_1,\ldots,X_k]$ a multivariate polynomial, and $G$ a finite subgroup of the group of units of $R$ satisfying a certain constraint, which always holds if $R$ is a field. Then, we evaluate $\sum…

We examine the representation of numbers as the sum of two squares in $\mathbb{Z}_n$ for a general positive integer $n$. Using this information we make some comments about the density of positive integers which can be represented as the sum…

In this paper we use the theory of modular forms to find formulas for the number of representations of a positive integer by certain class of quadratic forms in eight variables, viz., forms of the form $a_1x_1^2 + a_2 x_2^2 + a_3 x_3^2 +…

From sum-of-squares formulas of sizes $[r, s, n]$ and $[r', s', n']$ we construct a formula of size $[r + r', 2ss', 2nn']$.

Let $\mu_1, \ldots, \mu_s$ be real numbers, with $\mu_1$ irrational. We investigate sums of shifted cubes $F(x_1,\ldots,x_s) = (x_1 - \mu_1)^3 + \ldots + (x_s - \mu_s)^3$. We show that if $\eta$ is real, $\tau >0$ is sufficiently large, and…