English
Related papers

Related papers: The model companion of differential fields with fr…

200 papers

Generalising the uniform companion for large fields with a single derivation, we construct a theory $\text{UC}_{\mathcal{D}}$ of fields of characteristic $0$ with free operators -- operators determined by a homomorphism from the field to…

Logic · Mathematics 2024-01-05 Shezad Mohamed

Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free ${\mathbb S}$-algebra ${\mathcal D}$ over a field $A$ of characteristic zero the theory of ${\mathcal D}$-fields has…

Logic · Mathematics 2013-08-29 Rahim Moosa , Thomas Scanlon

We give algebraic conditions about a finite algebra $B$ over a perfect field of positive characteristic, which are equivalent to the companionability of the theory of fields with "$B$-operators" (i.e. the operators coming from homomorphisms…

Logic · Mathematics 2019-05-16 Özlem Beyarslan , Daniel Max Hoffmann , Moshe Kamensky , Piotr Kowalski

We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy…

Logic · Mathematics 2014-07-10 Omar Leon Sanchez

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Logic · Mathematics 2013-01-04 David Pierce

Following the definitions of the algebras of differential operators, $\beta$-differential operators, and the quantum differential operators on a noncommutative (graded) algebra given in \cite{LR}, we describe these operators on the free…

Rings and Algebras · Mathematics 2011-03-08 Uma N. Iyer , Timothy C. McCune

We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $\Gamma$ and…

Logic · Mathematics 2025-06-25 Jan Dobrowolski , Omar Leon Sanchez

Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of…

Logic · Mathematics 2021-01-19 Daniel Max Hoffmann , Omar León Sánchez

We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…

Logic · Mathematics 2021-05-14 Jakub Gogolok

We develop a theory of tensor categories over a field endowed with abstract operators. Our notion of a "field with operators", coming from work of Moosa and Scanlon, includes the familiar cases of differential and difference fields,…

Representation Theory · Mathematics 2012-06-18 Moshe Kamensky

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

Logic · Mathematics 2022-01-26 Pablo Cubides Kovacsics , Françoise Point

We propose and develop a new calculus for local variational differential operators. The main difference of the new formalism with the canonical differential calculus is that the image of higher order operators on local functionals does not…

High Energy Physics - Theory · Physics 2007-05-23 S. S. Shahverdiyev , I. V. Tyutin , B. L. Voronov

In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the…

Logic · Mathematics 2013-09-26 Omar Leon Sanchez

We use a model operator approach and the spectral theorem for self-adjoint operators in a Hilbert space to derive the basic results of abstract left-definite theory in a straightforward manner. The theory is amply illustrated with a variety…

Spectral Theory · Mathematics 2024-08-06 Christoph Fischbacher , Fritz Gesztesy , Paul Hagelstein , Lance Littlejohn

We propose a definition of differential operators of an associative algebra $A$ in the spirit of Hochschild cohomology. Specifically we define $D(A)$ as the zero cohomology of a certain bicomplex formed by Hom-spaces…

Algebraic Geometry · Mathematics 2022-04-26 Slava Pimenov

A systematic exposition is given of the theory of invariant differential operators on a not necessarily reductive homogeneous space. This exposition is modelled on Helgason's treatment of the general reductive case and the special…

Representation Theory · Mathematics 2007-05-23 Tom H. Koornwinder

Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a…

Operator Algebras · Mathematics 2026-02-25 William Boulanger , Jakub Curda , Emma Harvey , Yizhi Li , Jennifer Pi

The presence of a boundary (or defect) in a conformal field theory allows one to generalize the notion of an exactly marginal deformation. Without a boundary, one must find an operator of protected scaling dimension $\Delta$ equal to the…

High Energy Physics - Theory · Physics 2020-02-19 Christopher P. Herzog , Itamar Shamir

The theory of difference-differential fields of characteristic zero has a model-companion denoted by $\it DCFA$. Previously we proved a weak version of Zilber's dichotomy for $\it DCFA$. In this paper we use arc spaces techniques as…

Logic · Mathematics 2020-06-24 Ronald F. Bustamante Medina

We develop an operator-theoretical method for the analysis on well posedness of partial differential equations that can be modeled in the form \begin{equation*} \left\{ \begin{array}{rll} \Delta^{\alpha} u(n) &= Au(n+2) + f(n,u(n)), \quad n…

Analysis of PDEs · Mathematics 2016-06-17 Luciano Abadias , Carlos Lizama , Pedro J. Miana , M. Pilar Velasco
‹ Prev 1 2 3 10 Next ›