English
Related papers

Related papers: Geometric Axioms for Differentially Closed Fields …

200 papers

We describe a novel approach to dimensional reduction in classical field theory. Inspired by ideas from noncommutative geometry, we introduce extended algebras of differential forms over space-time, generalized exterior derivatives and…

Mathematical Physics · Physics 2013-10-18 Ali Chamseddine , Juerg Froehlich , Baptiste Schubnel , Daniel Wyler

Jacobson developed a counterpart of Galois theory for purely inseparable field extensions in positive characteristic. In his theory, a certain type of derivations replace the role of the generators of Galois groups. This article provides a…

Algebraic Geometry · Mathematics 2024-09-06 Kentaro Mitsui , Nobuo Sato

We classify fields having finitely many finite non-commutative (not necessarily central) division algebras over them. In the process, we introduce the notion of anti-closure of a field and also make comments on fields having a linear…

Rings and Algebras · Mathematics 2023-09-18 Snehinh Sen

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

Logic · Mathematics 2023-06-28 Will Johnson , Jinhe Ye

We answer the following long-standing question of Kolchin: given a system of algebraic-differential equations $\Sigma(x_1,\dots,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound, that…

Commutative Algebra · Mathematics 2018-01-23 Omar Leon Sanchez

In this paper, we give a geometrization and a generalization of a lemma of differential Galois theory. This geometrization, in addition of giving a nice insight on this result, offers us the occasion to investigate several points of…

Algebraic Geometry · Mathematics 2010-12-03 Colas Bardavid

We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such…

Commutative Algebra · Mathematics 2019-09-16 Gleb Pogudin

We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal…

Logic · Mathematics 2024-11-08 Omar Leon Sanchez

This paper explores some first-order properties of commuting-liftable pairs in pro-$\ell$ abelian-by-central Galois groups of fields. The main focus of the paper is to prove that minimized inertia and decomposition groups of many valuations…

Number Theory · Mathematics 2015-04-13 Adam Topaz

We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets…

Logic · Mathematics 2018-02-14 Martin Hils , Moshe Kamensky , Silvain Rideau

In this note a proof of a differential analog of Chevalley's theorem \cite{C} on homomorphism extensions is given. An immediate corollary is a condition of finitenes of extensions of differential algebras and several equivalent definitions…

Algebraic Geometry · Mathematics 2014-01-17 Victor G. Kac

In this paper we generalize the Ritt-Kolchin method of characteristic sets and the classical Gr\"obner basis technique to prove the existence and obtain methods of computation of multivariate difference-differential dimension polynomials…

Commutative Algebra · Mathematics 2012-07-20 Alexander Levin

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

We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad…

Logic · Mathematics 2012-01-04 Martin Hils

In this article, we prove several transfer principles for the cohomological dimension of fields. Given a fixed field $K$ with finite cohomological dimension $\delta$, the two main ones allow to: - construct totally ramified extensions of…

Number Theory · Mathematics 2025-09-10 Diego Izquierdo , Giancarlo Lucchini Arteche

The purpose of this short note is to establish the existence of $\partial$-parameterized Picard-Vessiot extensions of systems of linear difference-differential equations over difference-differential fields with algebraically closed…

Commutative Algebra · Mathematics 2011-04-19 Michael Wibmer

A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the…

Rings and Algebras · Mathematics 2018-05-23 Jason Bell , Omar Leon Sanchez , Rahim Moosa

We construct open-closed maps on various versions of Hochschild and cyclic homology of the Fukaya $A_\infty$ algebra of a Lagrangian submanifold modeled on differential forms. The $A_\infty$ algebra may be curved. Properties analogous to…

Symplectic Geometry · Mathematics 2025-09-09 Pavel Giterman , Jake P. Solomon , Sara B. Tukachinsky

Derived brackets as introduced and studied by Kosmann-Schwarzbach and Voronov are a powerful tool for describing and understanding infinitesimal symmetry actions relevant in physics. Roytenberg and Weinstein showed that this continues to…

High Energy Physics - Theory · Physics 2018-03-06 Andreas Deser , Christian Saemann

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

Algebraic Geometry · Mathematics 2019-02-01 Krzysztof Jan Nowak