Related papers: Lifting problem for universal quadratic forms over…

In this paper, we introduce and study the Dirichlet series enumerating (proper) equivalence classes of full rank subforms/sublattices of a given quadratic form/lattice, focusing on the positive definite binary case. We obtain formulas…

We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that…

We investigate the class number one problem for a parametric family of real quadratic fields of the form $\mathbb{Q}( \sqrt{m^2+4r})$ for certain positive integers $m$ and $r$.

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We…

In this paper the notion of a quadratic (left) Bol algebra is discussed. Several examples of quadratic Bol algebras are given and it is observed that the only two-dimensional quadratic real Bol algebras are quadratic Lie triple systems.…

The classical Pell equation can be extended to the cubic case considering the elements of norm one in $Z[\sqrt[3]{r}]$, which satisfy $x^3 + r y^3 + r^2 z^3 - 3 r x y z = 1$. The solution of the cubic Pell equation is harder than the…

We show that the Hurwitz problem for sums of squares can depend on the base field. More precisely, we construct an explicit formula of type $[12,12,18]$ over every field of characteristic different from $2$ in which $-1$ is a square,…

Given an odd prime $\ell$ and finite set of odd primes $S_+$, we prove the existence of an imaginary quadratic field whose class number is indivisible by $\ell$ and which splits at every prime in $S_+$. Notably, we do not require that $p…

Using equivariant geometry, we find a universal formula that computes the number of times a general cubic surface arises in a family. As applications, we show that the PGL(4) orbit closure of a generic cubic surface has degree 96120, and…

In this survey paper, we discuss the classical Cassels' theorem on existence of small-height zeros of quadratic forms over Q and its many extensions, to different fields and rings, as well as to more general situations, such as existence of…

In our previous works we have classified real non-singular cubic hypersurfaces in the 5-dimensional projective space up to equivalence that includes both real projective transformations and continuous variations of coefficients preserving…

This paper applies the modular approach to obtain effectively computable bounds for Fermat-type equations over number fields, while also discussing the differences and obstructions that arise when considering such equations over totally…

In this paper, we introduce the notion of unit reducibility for number fields, that is, number fields in which all positive unary forms attain their nonzero minimum at a unit. Furthermore, we investigate the link between unit reducibility…

The authors proved that a Weyl module for a simple algebraic group is irreducible over every field if and only if the module is isomorphic to the adjoint representation for $E_{8}$ or its highest weight is minuscule. In this paper, we prove…

In this paper, we describe the higher even $K$-groups of the ring of integers of a number field in terms of class groups of an appropriate extension of the number field in question. This is a natural extension of the previous collective…

We prove that (under the assumption of the generalized Riemann hypothesis) a totally real multiquadratic number field $K$ has a positive density of primes $p \in \mathbb{Z}$ for which the image of the unit group $(\mathcal{O}_K)^{\times})$…

Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether…

In this paper we study quadratic forms which are universal when restricted to almost prime inputs, establishing finiteness theorems akin to the Conway--Schneeberger 15 theorem.

Let $K$ be a number field, $\overline{\mathbb Q}$, or the field of rational functions on a smooth projective curve over a perfect field, and let $V$ be a subspace of $K^N$, $N \geq 2$. Let $Z_K$ be a union of varieties defined over $K$ such…

For a quadratic field K, we investigate continuous mod p representations of the absolute Galois groups of K that are unramified away from p and infinity. We prove that for certain pairs (K,p), there are no such irreducible representations.…