English
Related papers

Related papers: Homogeneous Universal H-fields

200 papers

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

The class of surreal numbers, denoted by $\textbf{No}$, initially proposed by Conway, is a universal ordered field in the sense that any ordered field can be embedded in it. They include in particular the real numbers and the ordinal…

Logic · Mathematics 2022-11-16 Olivier Bournez , Quentin Guilmant

In [15], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field No of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field to be…

Logic · Mathematics 2015-12-15 Philip Ehrlich , Elliot Kaplan

Conway's field No of surreal numbers comes both with a natural total order and an additional "simplicity relation" which is also a partial order. Considering No as a doubly ordered structure for these two orderings, an isomorphic copy of No…

Logic · Mathematics 2023-05-04 Vincent Bagayoko , Joris van der Hoeven

We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn…

Algebraic Geometry · Mathematics 2010-10-26 Mihnea Popa , Christian Schnell

The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent…

Logic · Mathematics 2017-11-09 Vincenzo Mantova , Mickaël Matusinski

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…

Algebraic Geometry · Mathematics 2022-06-13 Diego Izquierdo , Giancarlo Lucchini Arteche

McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory…

Logic · Mathematics 2007-05-23 Michael F. Singer

Starting from the concept of involution of field equations, a universal method is proposed for constructing consistent interactions between the fields. The method equally well applies to the Lagrangian and non-Lagrangian equations and it is…

High Energy Physics - Theory · Physics 2015-06-11 D. S. Kaparulin , S. L. Lyakhovich , A. A. Sharapov

In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered…

Logic · Mathematics 2021-06-24 Philip Ehrlich , Elliot Kaplan

Given an associative unital algebra $A$ over a perfect field $k$ of odd positive characteristic, we construct a non-commutative generalization of the Cartier isomorphism for $A$. The role of differential forms is played by Hochschild…

Algebraic Geometry · Mathematics 2015-09-29 D. Kaledin

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

Operator Algebras · Mathematics 2014-02-12 Rasmus Bentmann

The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a…

Algebraic Topology · Mathematics 2023-02-28 Aditya De Saha , Alexander Dranishnikov

We show that the natural embedding of the differential field of transseries into Conway's field of surreal numbers with the Berarducci-Mantova derivation is an elementary embedding. We also prove that any Hardy field embeds into the field…

Logic · Mathematics 2016-08-12 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

We show that every homomorphism from the infinite-dimensional unitary or orthogonal group to a separable group is continuous.

Functional Analysis · Mathematics 2011-09-07 Todor Tsankov

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

We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…

Logic · Mathematics 2022-05-27 Wiesław Kubiś , Piotr Nowakowski , Tomasz Rzepecki

Let $R$ be a standard graded algebra over a field $k$ and $I$ be a homogeneous ideal of $R$. We study the question whether there is a constant $c$ such that $\Soc(H^{j}_{\fm}(R/I^t))_{<-ct}=0$ for all $t\geq 1$ and a variation of this…

Commutative Algebra · Mathematics 2021-05-28 Wenliang Zhang

We review and study some of the properties of smooth Gaussian random fields defined on a homogeneous space, under the assumption that the probability distribution is invariant under the isometry group of the space. We first give an…

Probability · Mathematics 2022-04-22 Alexandre Afgoustidis

Non equilibrium effective field theory is presented as an inhomogeneous field theory, using a formulation which is analogous to that of a gauge theory. This formulation underlines the importance of structural aspects of non-equilibrium,…

High Energy Physics - Theory · Physics 2007-05-23 Mark Burgess
‹ Prev 1 2 3 10 Next ›