Related papers: Geometric Axioms for Differentially Closed Fields …
Many equations of mathematical physics are described by differential polynomials, that is by polynomials in the derivatives of a certain number of functions. However, up to the knowledge of the author, differential algebra in a modern…
We use the method of characteristic sets with respect to two term orderings to prove the existence and obtain a method of computation of a bivariate Kolchin-type dimension polynomial associated with a non-reflexive difference-differential…
The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes…
The aim of this note is to explain in which sense an axiomatic Sobolev space over a general metric measure space (\`a la Gol'dshtein-Troyanov) induces - under suitable locality assumptions - a first-order differential structure.
Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…
We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of these model companions.
In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…
We show that geometric theories with $p$-form gauge fields have a nonassociative symmetry structure, extending an underlying Lie algebra. This nonassociativity is controlled by the same Chevalley-Eilenberg cohomology that classifies free…
A geometric model for nonholonomic Lagrangian field theory is studied. The multisymplectic approach to such a theory as well as the corresponding Cauchy formalism are discussed. It is shown that in both formulations, the relevant equations…
We study mappings that satisfy the inverse Poletsky inequality in a domain of the Euclidean space. Under certain conditions on the definition and mapped domains, it is established that they have a continuous extension to the boundary in…
We develop a real-analytic framework, called perplex analysis, in which the complex, split-complex, and dual numbers arise as members of a single four-parameter family of two-dimensional commutative real algebras. Within this unified…
We study the mixed formulation of the abstract Hodge Laplacian on axisymmetric domains with general data through Fourer-finite-element-methods in weighted functions spaces. Closed Hilbert complexes and commuting projectors are used through…
We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…
We study the model theory of deeply ramified fields of positive characteristic. Generalizing the perfect case treated in work by Jahnke and Kartas on the model theory of perfectoid fields, we obtain Ax-Kochen/Ershov principles for certain…
A dichotomy for expansions of the real field is established: Either the set of integers is definable or every nonempty bounded nowhere dense definable subset of the real numbers has Minkowski dimension zero.
We discuss certain aspects of the combinatorial approach to the differential geometry of non-abelian gerbes, due to W. Messing and the author (arXiv:math.AG/0106083), and give a more direct derivation of the associated cocycle equations.…
Given an ample line bundle $L$ on a geometrically reduced projective scheme defined over an arbitrary non-Archimedean field, we establish a differentiability property for the relative volume of two continuous metrics on the Berkovich…
We discuss in some generality aspects of noncommutative differential geometry associated with reality conditions and with differential calculi. We then describe the differential calculus based on derivations as generalization of vector…
We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical…
This paper introduces a natural extension of Kolchin's differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-linear case the iterative Picard-Vessiot theory recently developed by Matzat…