English
Related papers

Related papers: Uniform existential definitions of valuations in f…

200 papers

We associate to any given finite set of valuations on the polynomial ring in two variables over an algebraically closed field a numerical invariant whose positivity characterizes the case when the intersection of their valuation rings has…

Algebraic Geometry · Mathematics 2015-06-12 Junyi Xie

Let $K$ be the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field $k$. When the characteristic of $k$ is not 2, we prove that every quadratic form of rank $\ge 9$ is isotropic over $K$ using…

Algebraic Geometry · Mathematics 2014-01-28 Yong Hu

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…

Logic · Mathematics 2020-12-01 Pierre Touchard

For an algebraic function field $F/K$ and a discrete valuation $v$ of $K$ with perfect residue field $k$, we bound the number of discrete valuations on $F$ extending $v$ whose residue fields are algebraic function fields of genus zero over…

Number Theory · Mathematics 2023-11-28 Karim Johannes Becher , David Grimm

We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…

Logic · Mathematics 2021-11-02 Juvenal Murwanashyaka

The present paper studies the existence of valuative interpolation on the local ring of an irreducible analytic subvariety at singular points. We firstly develop the concepts and methods of Zhou weights and Tian functions near singular…

Complex Variables · Mathematics 2026-01-06 Shijie Bao , Qi'an Guan , Zhitong Mi , Zheng Yuan

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Logic · Mathematics 2024-04-09 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…

Number Theory · Mathematics 2025-10-10 Magdaléna Tinková , Pavlo Yatsyna

A field is existentially t-henselian if it is has the same existential theory in the first-order language of rings as a field that admits a nontrivial henselian valuation. This property turns out to be equivalent to $\mathbb{Z}$-largeness,…

Logic · Mathematics 2026-04-02 Sylvy Anscombe

We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with…

Commutative Algebra · Mathematics 2021-09-28 Franz-Viktor Kuhlmann , Enric Nart

We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…

Number Theory · Mathematics 2017-05-02 Sophie Marques , Kenneth Ward

Finding all the mutually unbiased bases in various dimensions is a problem of fundamental interest in quantum information theory and pure mathematics. The general problem formulated in finite-dimensional Hilbert spaces is open. In the…

Quantum Physics · Physics 2009-09-25 Julia Evans , Ross Duncan , Alex Lang , Prakash Panangaden

We consider in this paper an area functional defined on submanifolds of fixed degree immersed into a graded manifold equipped with a Riemannian metric. Since the expression of this area depends on the degree, not all variations are…

Differential Geometry · Mathematics 2021-12-21 Giovanna Citti , Gianmarco Giovannardi , Manuel Ritoré

We construct differential algebras in which spaces of (one-dimensional) periodic ultradistributions are embedded. By proving a Schwartz impossibility type result, we show that our embeddings are optimal in the sense of being consistent with…

Functional Analysis · Mathematics 2017-10-12 Andreas Debrouwere

In this essay we explore the notion of essential dimension using the theory of valuations of fields. Given a field extension K/k and a valuation on K that is trivial on k, we prove that the rank of the valuation cannot exceed the…

Algebraic Geometry · Mathematics 2012-02-27 Aurel Meyer

Let k be a subfield of a p-adic field of odd residue characteristic, and let L be the function field of a variety of dimension n >= 1 over k. Then Hilbert's Tenth Problem for L is undecidable. In particular, Hilbert's Tenth Problem for…

Number Theory · Mathematics 2007-05-23 Kirsten Eisentraeger

Let $V$ be a valuation domain of rank one and quotient field $K$. Let $\overline{\hat{K}}$ be a fixed algebraic closure of the $v$-adic completion $\hat K$ of $K$ and let $\overline{\hat{V}}$ be the integral closure of $\hat V$ in…

Commutative Algebra · Mathematics 2021-07-19 Giulio Peruginelli

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

Logic · Mathematics 2018-02-12 Pablo Cubides Kovacsics , Françoise Delon

Categories over a field $k$ can be graded by different groups in a connected way; we consider morphisms between these gradings in order to define the fundamental grading group. We prove that this group is isomorphic to the fundamental group…

Category Theory · Mathematics 2013-03-12 Claude Cibils , Maria Julia Redondo , Andrea Solotar

For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case.…

Number Theory · Mathematics 2026-01-27 Juan Pablo De Rasis , Hunter Handley
‹ Prev 1 3 4 5 6 7 10 Next ›