Related papers: When is scalar multiplication decidable?

We show that the problem of determining the feasibility of quadratic systems over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$ requires exponential time. This separates P and NP over these fields/rings in the BCSS model of computation.

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

Many logical properties are known to be undecidable for normal modal logics, with few exceptions such as consistency and coincidence with $\mathsf{K}$. This paper shows that the property of being a union-splitting in…

Given a polynomial P in several variables over an algebraically closed field, we show that except in some special cases that we fully describe, if one coefficient is allowed to vary, then the polynomial is irreducible for all but at most…

Let $K= \mathbb{Q}(\sqrt{d})$ be a real quadratic field with $d$ having three distinct prime factors. We show that the $2$-class group of each layer in the $\mathbb{Z}_2$-extension of $K$ is $\mathbb{Z}/2\mathbb{Z}$ under certain elementary…

Let $K$ be a number field, let $L$ be an algebraic (possibly infinite degree) extension of $K$, and let $O_K$ $\subset$ $O_L$ be their rings of integers. Suppose $A$ is an abelian variety defined over $K$ such that $A(K)$ is infinite and…

We compute the $3$-class groups $A_n$ of the fields $F_n$ in the cyclotomic $\mathbf{Z}_3$-extensions of the real quadratic fields of discriminant $f<100,000$. In all cases the orders of $A_n$ remain bounded as $n$ goes to infinity. This is…

In this paper, we construct certain infinite families of imaginary quadratic fields whose class number is divisible by a given positive integer.

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

We prove that there are at most 13 real quadratic fields that admit a ternary universal quadratic lattice, thus establishing a strong version of Kitaoka's Conjecture for quadratic fields. More generally, we obtain explicit upper bounds on…

An abelian surface A over a field K has potential quaternionic multiplication if the ring End_\bar K (A) of geometric endomorphisms of A is an order in an indefinite rational division quaternion algebra. In this brief note, we study the…

We prove that if a subset of a $d$-dimensional vector space over a finite field with $q$ elements has more than $q^{d-1}$ elements, then it determines all the possible directions. If a set has more than $q^k$ elements, it determines a…

For rational points on algebraic varieties defined over a number field $K$, we study the behavior of the property of weak approximation with Brauer-Manin obstruction under extension of the ground field. We construct K-varieties accompanied…

Solutions of some partial differential equations are obtained as critical points of a real funtional. Then the Banach space where this functional is defined has to be real, otherwise, it is not differentiable. It follows that the equation…

Given a number field, it is an important question in algorithmic number theory to determine all its subfields. If the search is restricted to abelian subfields, one can try to determine them by using class field theory. For this, it is…

Theorem. An irreducible cubic polynomial with rational coefficients has a root in a one step radical extension of Q if and only if the discriminate is a square of a rational number. Theorem. An irreducible polynomial x^4+px^2+qx+s with…

In ordinary quantum field theory, one can define the algebra of observables in a given region in spacetime, but in the presence of gravity, it is expected that this notion ceases to be well-defined. A substitute that appears to make sense…

Let $A$ be a finite-dimensional division algebra containing a base field $k$ in its center $F$. We say that $A$ is defined over a subfield $F_0$ of $F$ if $A = A_0\otimes_{F_0} F$ for some $F_0$-subalgebra $A_0$ of $A$. We show that: (1) In…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…