Related papers: Pseudo real closed field, pseudo p-adically closed…

Let $p\in\mathbb Z$ be a prime, $\overline{\mathbb Q_p}$ a fixed algebraic closure of the field of $p$-adic numbers and $\overline{\mathbb Z_p}$ the absolute integral closure of the ring of $p$-adic integers. Given a residually algebraic…

We consider M-theory on (T^2\times R^2)/Z_n with M5 branes wrapped on R^2. One can probe this background with M5 branes wrapped on T^2. The theories on the probes provide many new examples of N=2 field theories without Lagrangian…

A polynomial Turing compression (PTC) for a parameterized problem $L$ is a polynomial time Turing machine that has access to an oracle for a problem $L'$ such that a polynomial in the input parameter bounds each query. Meanwhile, a…

We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP2. More generally, in the contractive as well as in the isometric case, we prove that a…

A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…

We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the…

We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated.

We consider closed symplectically aspherical manifolds, i.e. closed symplectic manifolds $(M,\omega)$ satisfying the condition $[\omega]|_{\pi_2M}=0$. Rudyak and Oprea [RO] remarked that such manifolds have nice and controllable homotopy…

In this paper, we study the space of translational limits T(M) of a surface M properly embedded in R^3 with nonzero constant mean curvature and bounded second fundamental form. There is a natural map T which assigns to any surface M' in…

The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…

In this article we consider PMC surfaces in complex space forms, and we study the interaction between the notions of PMC, totally real and biconservative. We first consider PMC surfaces in non-flat complex space forms and we prove that they…

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…

We proved a truncated second main theorem of level one with explicit exceptional sets for analytic maps into $\mathbb P^2$ intersecting the coordinate lines with sufficiently high multiplicities. As applications, we studied some cases of…

We show that the m-fold connected sum $m\#\mathbb{C}\mathbb{P}^{2n}$ admits an almost complex structure if and only if m is odd.

Given a fixed integer n, we consider closed subgroups G of H = GL(n,Z_p) where Z_p denotes the ring of p-adic integers and p is sufficiently large in terms of n. Assuming that the Zariski closure of G has no toric part, we give a condition…

We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP}$ transfer result for valued fields by Jahnke and Simon to…

In this note we reproduce Johnson's analysis of $W_2$-topologies on fields of characteristic 2, which was originally stated for fields of characteristic different than 2. Following his framework, we prove that the canonical topology of an…

We study the feasibility of level expansion and test the quartic vertex of closed string field theory by checking the flatness of the potential in marginal directions. The tests, which work out correctly, require the cancellation of two…

We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic.…

$p$-form electrodynamics in $d\geq 2$ dimensions is shown to emerge as the edge modes of a topological field theory with a precise set of boundary conditions, through the Hamiltonian reduction of its action. Electric and magnetic charges…