English
Related papers

Related papers: Interpretable fields in real closed valued fields …

200 papers

Let K be an algebraically closed field. For a finitely generated graded K algebra R, let cmdef R := dim R - depth R denote the Cohen-Macaulay-defect of R. Let G be a linear algebraic group over K that is reductive but not linearly…

Commutative Algebra · Mathematics 2014-06-25 Martin Kohls

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

Logic · Mathematics 2020-02-19 Pablo Cubides Kovacsics , Deirdre Haskell

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

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

Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…

Commutative Algebra · Mathematics 2023-01-18 Kaique Matias de Andrade Roberto , Hugo Luiz Mariano , Hugo Rafael de Oliveira Ribeiro

A simple recursive expansion algorithm for the integrals of tree level superstring five point amplitudes in a flat background is given which reduces the expansion to simple symbol(ic) manipulations. This approach can be used for instance to…

High Energy Physics - Theory · Physics 2015-06-15 Rutger H. Boels

We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…

Commutative Algebra · Mathematics 2021-11-23 Franz-Viktor Kuhlmann

We show that noncommutative differential forms on $k[x]$, $k$ a field, are of the form $\Omega^1=k_\lambda[x]$ where $k_\lambda\supset k$ is a field extension. We compute the case $C\supset R$ explicitly, where $\Omega^1$ is 2-dimensional.…

q-alg · Mathematics 2008-02-03 S. Majid

In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…

Logic · Mathematics 2025-02-27 Alf Onshuus

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…

Algebraic Geometry · Mathematics 2018-01-09 Krzysztof Jan Nowak

Let K be a field and F denote the prime field in K. Let \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)…

Number Theory · Mathematics 2007-05-23 Apoloniusz Tyszka

Let K be a field and F denote the prime field in K. Let \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)…

Number Theory · Mathematics 2007-05-23 Apoloniusz Tyszka

We give an example of a dense o-minimal structure in which there is a definable quotient that cannot be eliminated, even after naming parameters. Equivalently, there is an interpretable set which cannot be put in parametrically definable…

Logic · Mathematics 2019-11-25 Will Johnson

We show that all finite dimensional, tame hereditary $k$-algebras are of amenable representation type (in the sense of G. Elek) for all fields $k$. The proof is adapted from our previous result for tame path algebras. Further, it is proven…

Representation Theory · Mathematics 2020-12-16 Sebastian Eckert

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the…

Number Theory · Mathematics 2013-06-13 Kirsten Eisentraeger , Alexandra Shlapentokh

We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an…

Logic · Mathematics 2019-11-26 Will Johnson

An exponential homomorphism for a complete discrete valuation field of characteristic zero which relates differential forms and the Milnor K-groups of the field is studied. An application to explicit formulas is included.

Number Theory · Mathematics 2007-05-23 Masato Kurihara

Over an algebraically closed field we classify all minimal representation-infinite algebras where the lattice of two-sided ideals is not distributive. As a consequence there are only finitely many isomorphism classes of minimal…

Representation Theory · Mathematics 2023-05-22 Klaus Bongartz

We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…

Rings and Algebras · Mathematics 2024-02-19 Adam Chapman , S. Srimathy

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Logic · Mathematics 2011-05-16 Alexandra Shlapentokh , Carlos Videla
‹ Prev 1 3 4 5 6 7 10 Next ›