Related papers: The theory of maximal Hardy fields

In this article, we prove a generalisation of the Mertens theorem for prime numbers to number fields and algebraic varieties over finite fields, paying attention to the genus of the field (or the Betti numbers of the variety), in order to…

This work is based on an earlier proposal \cite{hs} that the membrane B-F theory consists of matter fields alongwith Chern-Simons fields as well as the auxiliary pairs of scalar and tensor fields. We especially discuss the supersymmetry…

We state and prove an analogue of the Kakeya conjecture for the local field $\mathbb{F}_q(\!(t)\!)$. This extends Arsovski's result on the Kakeya conjecture to local fields of positive characteristic. We also prove the Kakeya maximal…

Given a family of world-sheet superconformal field theories related by marginal deformation, we can formulate superstring field theory based on any of these world-sheet theories. Background independence is the statement that these different…

We prove the following function field analog of the Hardy-Littlewood conjecture (which generalizes the twin prime conjecture) over large finite fields. Let n,r be positive integers and q an odd prime power. For distinct polynomials a_1,…

Let $D$ be a division algebra over a field $F$. In this paper, we prove that there exist $a,b,x,y\in D^*$ such that $F(ab-ba)$ and $F(xyx^{-1}y^{-1})$ are maximal subfields of $D$, which answers questions posted in [5].

Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can…

We give a Belyi-type characterisation of smooth complete intersections of general type over $\mathbb{C}$ which can be defined over $\bar{\mathbb{Q}}$. Our proof uses the higher-dimensional analogue of the Shafarevich boundedness conjecture…

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…

We introduce a unified theory of Cartan subgroups and maximal toroids - defined as connected multiplicative type subgroups that are maximal amongst all such subgroups - which holds for all affine algebraic groups over a field, regardless of…

In this work we report a new result that appears when one investigates the route that starts from a scalar field theory and ends on a supersymmetric quantum mechanics. The subject has been studied before in several distinct ways and here we…

We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…

We prove for a large class of fields $F$ that every proper finite extension of $F_{pyth}$, the pythagorean closure of $F$, is not a pythagorean field. This class of fields contains number fields and fields $F$ that are finitely generated of…

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…

We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.

Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…

We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 to ATR_0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR_0 over RCA_0.

In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.

The paper is devoted to model-theoretic properties of Kac-Moody groups with the focus on elementary equivalence of Kac-Moody groups. We show that elementary equivalence of (untwisted) affine Kac-Moody groups implies coincidence of their…

We study the notion of strongly badly approximable matrices in the field of power series over a field $K$. We prove a transference principle in this setting, and show that such matrices exist when $K$ is infinite.