Related papers: Binomial Squares in Pure Cubic Number Fields

We study real quadratic fields $\mathbb{Q}(\sqrt{D})$ such that, for a given rational integer $m$, all $m$-multiples of totally positive integers are sums of squares. We prove quite sharp necessary and sufficient conditions for this to…

Let (k1,k2,k3,k4) be a quartet of cyclic cubic number fields sharing a common conductor c=pqr divisible by exactly three prime(power)s p,q,r. For those components k of the quartet whose 3-class group Cl(3,k) = Z/3Z x Z/3Z is elementary…

We determine the conditions under which singular values of multiple $\eta$-quotients of square-free level, not necessarily prime to~6, yield class invariants, that is, algebraic numbers in ring class fields of imaginary-quadratic number…

For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…

Let $K=\mathbb{Q}(\alpha)$ be a number field generated by a complex root $\alpha$ of a monic irreducible polynomial $f(x)=x^{12}-m$, with $m\neq 1$ is a square free rational integer. In this paper, we prove that if $m \equiv 2$ or $3$ (mod…

We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves…

In this paper we determine the group of rational automorphisms of binary cubic and quartic forms with integer coefficients and non-zero discriminant in terms of certain quadratic covariants of cubic and quartic forms. This allows one to…

Let $m$ be an integer, $m\neq -8,-3,0,5$ such that $m^2+3m+9$ is square free. Let $\alpha$ be a root of \[ f=x^6-2mx^5-(5m+15)x^4-20x^3+5mx^2+(2m+6)x+1. \] The totally real cyclic fields $K=Q(\alpha)$ are called simplest sextic fields and…

We describe geometrically the classical and quantum inhomogeneous groups $G_0=(SL(2, \BbbC)\triangleright \BbbC^2)$ and $G_1=(SL(2, \BbbC)\triangleright \BbbC^2)\triangleright \BbbC$ by studying explicitly their shape algebras as a spaces…

For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$…

The family of Euclidean triangles having some fixed perimeter and area can be identified with a subset of points on a nonsingular cubic plane curve, i.e., an elliptic curve; furthermore, if the perimeter and the square of the area are…

In arXiv:1008.3825, Totaro gave examples of a K3 surface such that its automorphism group is not commensurable with an arithmetic group, answering a question of Mazur. We give examples of rational surfaces with the same property. Our…

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…

Let K be a finite field. We know that a half of elements of K* is a square. So it is natural to ask how many of them appear as x-coordinate of points on an elliptic curve over K. We consider a specific class of elliptic curves over finite…

In this paper we show that the moduli space of nodal cubic surfaces is isomorphic to a quotient of a 4-dimensional complex ball by an arithmetic subgroup of the unitary group. This complex ball uniformization uses the periods of certain K3…

Let $K=\mathbb Q(\sqrt D)$ be a real quadratic field. We consider the additive semigroup $\mathcal O_K^+(+)$ of totally positive integers in $K$ and determine its generators (indecomposable integers) and relations; they can be nicely…

We classify quadratic spaces over endomorphism fields of K3 surfaces. We consider both totally real and CM cases.

If $K$ is a field with enough roots of unity and $V$ an abelian group, the $K$-algebra $K[V]$ of the group $V$ is split semisimple, so that the canonical morphism $K[V]\to K^{V^\sharp}$, where $V^\sharp$ denotes the dual group of $V$ (which…

We give an elementary proof of the Eilenberg-Mac Lane trace isomorphism between the third 2-abelian cohomology group and quadratic forms. Our approach yields explicit constructions and we characterize when quadratic forms can be expressed…

The problem of computing the integral cohomology ring of the symmetric square of a topological space has been of interest since the 1930s, but limited progress has been made on the general case until recently. In this work we offer a…