English
Related papers

Related papers: Universally and existentially definable subsets of…

200 papers

Let $\ell$ and $p$ be (not necessarily distinct) prime numbers and $F$ be a global function field of characteristic $\ell$ with field of constants $\kappa$. Assume that there exists a prime $P_\infty$ of $F$ which has degree $1$, and let…

Number Theory · Mathematics 2022-07-12 Anwesh Ray

We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory…

Logic · Mathematics 2024-10-31 Carlos Martinez-Ranero , Javier Utreras

We begin to study model-theoretic properties of non-split isotropic reductive group schemes. In this paper we show that the base ring $K$ is e-interpretable in the point group $G(K)$ of every sufficiently isotropic reductive group scheme…

Number Theory · Mathematics 2025-12-15 Egor Voronetsky

The recent negative answer to Hilbert's tenth problem over rings of integers relies on a theorem that for every extension of number fields $L/K$, if there is an abelian variety $A$ over $K$ such that $0 < \operatorname{rank} A(K) =…

Number Theory · Mathematics 2025-10-23 Bjorn Poonen

Let K be a field and \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r) then f(1)=1, if a,b \in A(r) and a+b…

Logic · Mathematics 2007-05-23 Apoloniusz Tyszka

Let $K$ be a number field with ring of integers $\mathbb{Z}_K$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_K$. First, we estimate the maximum number of nonassociated irreducibles…

Number Theory · Mathematics 2016-10-27 Paul Pollack , Lee Troupe

Given two seprable irreducible polynomials $P_1$ and $P_2$ over a filed $\mathbb{K}$. We show that the rings $\mathbb{K}[X]/(P_1^n)$ and $\mathbb{K}[X]/(P_2^n)$ are isomorphic if and only if their residue fields $\mathbb{K}[X]/(P_1)$ and…

Commutative Algebra · Mathematics 2025-12-23 Mohamad Maassarani

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…

Number Theory · Mathematics 2023-11-22 Meng Fai Lim

For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero,…

Commutative Algebra · Mathematics 2024-08-07 Aldo Conca , Anurag K. Singh , Matteo Varbaro

Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…

Logic · Mathematics 2011-12-23 Philipp Hieronymi

We prove that there is a first-order sentence in the language of rings that is true for all finitely generated fields of characteristic 0 and false for all fields of characteristic >0. We also prove that for each n in N, there is a…

Number Theory · Mathematics 2017-04-03 Bjorn Poonen

Let k be a field of arbitrary characteristic and let Q be a quiver of finite representation type. In this paper we prove that if M is an indecomposable kQ-module then the universal deformation ring of M over kQ is isomorphic to k.

Representation Theory · Mathematics 2016-04-05 Roberto C. Soto , Daniel J. Wackwitz

We consider diophantine subsets of function fields of curves and show, roughly speaking, that they are either very small or very large. In particular, this implies that the ring of polynomials $k[t]$ is a not a diophantine subset of the…

Number Theory · Mathematics 2011-11-10 János Kollár

For a totally positive definite quadratic form over the ring of integers of a totally real number field $K$, we show that there are only finitely many totally real field extensions of $K$ of a fixed degree over which the form is universal…

Number Theory · Mathematics 2023-04-06 Vítězslav Kala , Pavlo Yatsyna

An integral quadratic lattice is called indefinite $k$-universal if it represents all integral quadratic lattices of rank $k$ for a given positive integer $k$. For $k\geq 3$, we prove that the indefinite $k$-universal property satisfies the…

Number Theory · Mathematics 2023-06-06 Zilong He , Yong Hu , Fei Xu

This paper studies "pro-excision" for the K-theory of one-dimensional (usually semi-local) rings and its various applications. In particular, we prove Geller's conjecture for equal characteristic rings over a perfect field of finite…

K-Theory and Homology · Mathematics 2013-09-03 Matthew Morrow

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

Number Theory · Mathematics 2023-08-25 Victor Fadinger , Sophie Frisch , Daniel Windisch

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K<sup>m</sup> let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

Logic · Mathematics 2018-10-31 Luck Darnière , Marcus Tressl

Let $k$ be an algebraically closed field of characteristic 2, and let $W$ be the ring of infinite Witt vectors over $k$. Suppose $D$ is a dihedral 2-group. We prove that the universal deformation ring $R(D,V)$ of an endo-trivial $kD$-module…

Representation Theory · Mathematics 2009-01-24 Frauke Bleher

Let $K$ be a 2-dimensional global field of characteristic $\neq 2$, and let $V$ be a divisorial set of places of $K$. We show that for a given $n \geqslant 5$, the set of $K$-isomorphism classes of spinor groups $G = \mathrm{Spin}_n(q)$ of…

Number Theory · Mathematics 2019-03-14 Vladimir I. Chernousov , Andrei S. Rapinchuk , Igor A. Rapinchuk