Related papers: On nonnegative invariant quartics in type A

Using a homological invariant together with an obstruction class in a certain Ext^2-group, we may classify objects in triangulated categories that have projective resolutions of length two. This invariant gives strong classification results…

It is proved that for any non-empty finite subset $Q$ of the square numbers, $ |Q+Q|\geq C'|Q|(\log |Q|)^{1/3+o(1)} $. This result essentially is proved -- with the same tools -- by Mei-Chu Chang. See in J. Funct. Anal. 207 (2004), no 2,…

Given two positive definite forms f, g in R[x_0,...,x_n], we prove that fg^N is a sum of squares of forms for all sufficiently large N >= 0. We generalize this result to projective R-varieties X as follows. Suppose that X is reduced without…

In "Curves on Heisenberg invariant quartic surfaces in projective 3-space", Eklund showed that a general $(\mathbb{Z}/2\mathbb{Z})^{4}$-invariant quartic K3 surface contains at least $320$ conics. In this paper we analyse the field of…

A square matrix is nonderogatory if its Jordan blocks have distinct eigenvalues. We give canonical forms (i) for nonderogatory complex matrices up to unitary similarity and (ii) for pairs of complex matrices up to similarity, in which one…

We use a representability theorem of G. L. Watson to examine sums of squares in Quaternion rings with integer coefficients. This allows us to determine a large family of such rings where every element expressible as the sum of squares can…

Let $\F$ be the finite field of odd prime power order $q$, We find explicit expressions for the number of triples $\{\al-1,\al,\al+1 \}$ of consecutive non-zero squares in $\F$ and similarly for the number of triples of consecutive…

We associate to a real projective variety $X$ two convex cones which are fundamental in real algebraic geometry: the cone $P_X$ of quadratic forms nonnegative on $X$, and the cone $\Sigma_X$ of sums of squares of linear forms. The dual cone…

We present a necessary and sufficient condition for a cubic polynomial to be positive for all positive reals. We identify the set where the cubic polynomial is nonnegative but not all positive for all positive reals, and explicitly give the…

We extend results of Jagy and Kaplansky and the present authors and show that for all $k\geq 3$ there are infinitely many positive integers $n$, which cannot be written as $x^2+y^2+z^k=n$ for positive integers $x,y,z$, where for…

For non-negative integers $a,b,$ and $n$, let $N(a, b; n)$ be the number of representations of $n$ as a sum of squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). Let $N^*(a,b; n)$ be the number of representations of $n$…

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…

The simultaneous invariants of 2, 3, 4 and 5 ternary quadratic forms under the group $\SL(3, {\Bbb C})$ were given by several authors (P. Gordan, C. Ciamberlini, H.W. Turnbull, J.A Todd), utilizing the symbolic method. Using the Jordan…

For any given non-square integer $ D\equiv 0,1 \pmod{4} $, we prove Euclid's type inequalities for the sequence $ \{q_{i}\} $ of all primes satisfying the Kronecker symbol $ (D/q_{i})=-1 $, $ i=1,2,\cdots, $ and give a new criterion on a…

For each odd prime power q, and each integer k, we determine the sum of the k-th powers of all elements x in F_q for which both x and x+1 are squares in F_q^*. We also solve the analogous problem when one or both of x and x+1 is a…

We study a generalization of the classical correspondence between homogeneous quadratic polynomials, quadratic forms, and symmetric/alternating bilinear forms to forms in $n$ variables. The main tool is combinatorial polarization, and the…

We show that every sum of squares in the three-variable Laurent series field $\mathbb{R}((x,y,z))$ is a sum of 4 squares, as was conjectured in a paper of Choi, Dai, Lam and Reznick in the 1980's. We obtain this result by proving that every…

The set of forks is a class of quivers introduced by M. Warkentin, where every connected mutation-infinite quiver is mutation equivalent to infinitely many forks. Let $Q$ be a fork with $n$ vertices, and $\boldsymbol{w}$ be a…

Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…

Quadratic forms over Z that represent all positive integers are called universal. Starting with Ramanujan, 54 universal quaternary quadratic forms without cross product terms were discovered. The form that is the sum of four squares was…