Related papers: Differentially Henselian Fields

We introduce the notion of differential torsors, which allows the adaptation of constructions from algebraic geometry to differential Galois theory. Using these differential torsors, we set up a general framework for applying patching…

Given a geometric structure on $\mathbb{R}^{n}$ with $n$ even (e.g. Euclidean, symplectic, Minkowski, pseudo-Euclidean), we analyze the set of points inside the domain of definition of an arbitrary given $\mathcal{C}^1$ vector field, where…

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…

Let (K, v) be a henselian valued field of arbitrary rank. In this paper, we give an irreducibility criterion for multivariate polynomials over K using valuation theory.

It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…

We show that every valued differential field has an immediate strict extension that is spherically complete. We also discuss the issue of uniqueness up to isomorphism of such an extension.

We generalize double bracket vector fields, originally defined on semisimple Lie algebras, to Poisson manifolds equipped with a pseudo-Riemannian metric by utilizing a symmetric contravariant 2-tensor field. We extend the normal metric on…

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…

We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues…

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the…

We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite ad\`eles over Q. We show that various…

We construct a class of nonabelian superconformal (1,0) hypermultiplet theories in six dimensions by introducing an abelian auxiliary field. The gauge fields of this class of theories are non-dynamical, and this class of theories can be…

In many relevant cases -- e.g., in hamiltonian dynamics -- a given vector field can be characterized by means of a variational principle based on a one-form. We discuss how a vector field on a manifold can also be characterized in a similar…

We develop a notion of a `canonical $\mathcal{C}$-henselian valuation' for a class $\mathcal{C}$ of field extensions, generalizing the construction of the canonical henselian valuation of a field. We use this to show that the $p$-adic…

The theories of strings and $D$-branes have motivated the development of non Abelian cohomology techniques in differential geometry, on the purpose to find a geometric interpretation of characteristic classes. The spaces studied here, like…

We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

The perennial formalism is applied to the real, massive Klein-Gordon field on a globally-hyperbolic background space-time with compact Cauchy hypersurfaces. The parametrized form of this system is taken over from the accompanying paper. Two…

A simple theory of the covariant derivatives, deformed derivatives and relative covariant derivatives of extensor fields is present using algebraic and analytical tools developed in previous papers. Several important formulas are derived.

Building on the Utiyama principle we formulate an approach to Lagrangian field theory in which exterior covariant differentials of vector-valued forms replace partial derivatives, in the sense that they take up the role played by the latter…