Related papers: Monotone $T$-convex $T$-differential fields

The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.

We compare the $T$-polynomial convexity of Guedj with holomorphic convexity away from the support of $T$. In particular we show an Oka--Weil theorem for $T$-polynomial convexity, as well as present a situation when the notions of…

We prove the (generalized) principal pivot transform is matrix monotone, in the sense of the L\"owner ordering, under minimal hypotheses. This improves on the recent results of J. E. Pascoe and R. Tully-Doyle, Monotonicity of the principal…

Recently, the authors studied the connection between each maximal monotone operator T and a family H(T) of convex functions. Each member of this family characterizes the operator and satisfies two particular inequalities. The aim of this…

For every simplicial complex X, we construct a locally CAT(0) cubical complex T_X, a cellular isometric involution i on T_X and a map t_X from T_X to X with the following properties: t_Xi = t_X; t_X is a homology isomorphism; the induced…

We show that functions definable in power bounded $T$-convex fields have the (multidimensional) Jacobian property. Building on work of I. Halupczok, this implies that a certain notion of non-archimedean stratifications is available in such…

We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

Let $(R,\mathfrak{m}_R,k)$ be a one-dimensional complete local reduced $k$-algebra over a field of characteristic zero. R. Berger conjectured that $R$ is regular if and only if the universally finite module of differentials $\Omega_R$ is…

We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending…

A Hamiltonian field theory for the macroscopic Maxwell equations with fully general polarization and magnetization is stated in the language of differential forms. The precise procedure for translating the vector calculus formulation into…

In the single-field case, Horndeski provides the most general scalar-tensor theory with second-order field equations. By contrast, systematic multi-field extensions remain incomplete: while the general field equations for the bi-Horndeski…

This paper concerns our earlier conjecture about the equivalence of a derived completion construction applied to the representation spectrum of the absolute Galois group of a geometric field is equivalent to the algebraic K-theory of the…

In a previous paper we developed the notions of th-independence and \th-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We proved that rosy theories include simple and o-minimal theories…

We analyse a new notion of total anisotropic higher-order variation which, differently from the Total Generalized Variation by Bredies et al., quantifies for possibly non-symmetric tensor fields their variations at arbitrary order weighted…

We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows. We identify the induced structure on the residue field and show that once…

We introduce a notion of valued module which is suitable to study valued fields of positive characteristic. Then we built-up a robust theory of henselianity in the language of valued modules and prove Ax-Kochen Ershov type results.

Over a real field which is an extension of transcendence degree 1 of a hereditarily pythagorean base field, every quadratic form which is torsion decomposes into an orthogonal sum of 2-dimensional torsion forms. This is obtained from a more…

Let X be a smooth manifold of dimension 1+n endowed with a lorentzian metric g, and let T be the electromagnetic energy tensor associated to a 2-form F. In this paper we characterize this tensor T as the only 2-covariant natural tensor…

We prove that every perfect torsion theory for a ring $R$ is differential (in the sense of [P. E. Bland, Differential torsion theory, Journal of Pure and Applied Algebra 204 (2006) 1 -- 8]). In this case, we construct the extension of a…