English
Related papers

Related papers: Model theory of valued fields with an endomorphism

200 papers

We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of…

Algebraic Geometry · Mathematics 2022-07-13 Philipp Licht

We obtain several finiteness results for the unramified cohomology of function fields of algebraic varieties defined over fields of type (F'_m), a class that includes algebraically closed fields, finite fields, local fields, and some higher…

Number Theory · Mathematics 2016-02-16 Igor A. Rapinchuk

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…

Logic · Mathematics 2026-02-25 Philip Dittmann

The notion of integrability will often extend from systems with scalar-valued fields to systems with algebra-valued fields. In such extensions the properties of, and structures on, the algebra play a central role in ensuring integrability…

Mathematical Physics · Physics 2020-12-15 Ian A. B. Strachan , Dafeng Zuo

We discuss the role of additive polynomials and $p$-polynomials in the theory of valued fields of positive characteristic and in their model theory. We outline the basic properties of rings of additive polynomials and discuss properties of…

Commutative Algebra · Mathematics 2010-03-31 Franz-Viktor Kuhlmann

Let $\mathbb{F}_q[T]$ be the polynomial ring over a finite field $\mathbb{F}_q$. We study the endomorphism rings of Drinfeld $\mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings…

Number Theory · Mathematics 2019-08-07 Sumita Garai , Mihran Papikian

We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…

Logic · Mathematics 2026-04-13 Lothar Sebastian Krapp , Floris Vermeulen

Model of noncommutative gravity is constructed by means of Fedosov deformation quantization of endomorphism bundle. The fields describing noncommutativity -- symplectic form and symplectic connection -- are dynamical, and the resulting…

High Energy Physics - Theory · Physics 2017-03-14 Michal Dobrski

Adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative $p$-coordinate functions, and the division predicate for a valuation, some theories of pseudo-algebraically closed…

Logic · Mathematics 2022-07-29 Jizhan Hong

We use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products…

Number Theory · Mathematics 2022-07-25 Bryce Kerr , Jorge Mello , Igor Shparlinski

We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the…

Algebraic Geometry · Mathematics 2013-04-30 Qihong Xie

In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…

Commutative Algebra · Mathematics 2018-03-28 Anna Blaszczok , Pablo Cubides Kovacsics , Franz-Viktor Kuhlmann

We characterize those valued fields for which the image of the valuation ring under every polynomial in several variables contains an element of maximal value, or zero.

Commutative Algebra · Mathematics 2013-04-02 Salih Azgin , Franz-Viktor Kuhlmann , Florian Pop

We review the main features of the relativistic Snyder model and its generalizations. We discuss the quantum field theory on this background using the standard formalism of noncommutaive QFT and discuss the possibility of obtaining a finite…

High Energy Physics - Theory · Physics 2019-11-15 S. Mignemi

Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our…

Group Theory · Mathematics 2010-12-30 Sebastian Herpel , Gerhard Roehrle

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

Commutative Algebra · Mathematics 2017-07-26 Edisson Gallego , Danny A. J. Gomez-Ramirez , Juan D. Velez

This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the…

Number Theory · Mathematics 2015-09-01 Jason P. Bell , Khoa D. Nguyen

Let $K$ be a number field and $v$ a non archimedean valuation on $K$. We say that an endomorphism $\Phi\colon \mathbb{P}_1\to \mathbb{P}_1$ has good reduction at $v$ if there exists a model $\Psi$ for $\Phi$ such that $\deg\Psi_v$, the…

Number Theory · Mathematics 2015-05-21 J. K. Canci

We transpose the theory of rank metric and Gabidulin codes to the case of fields of characteristic zero. The Frobenius automorphism is then replaced by any element of the Galois group. We derive some conditions on the automorphism to be…

Information Theory · Computer Science 2013-05-20 Gwezheneg Robert , Pierre Loidreau , Daniel Augot

Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…

Logic · Mathematics 2012-04-16 Joseph Flenner