相关论文: Pseudo real closed field, pseudo p-adically closed…

Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…

We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…

Given a purely atomic probability measure with support on n points, P, any mean-preserving contraction (mpc) of P, Q, with support on m > n points is a mixture of mpcs of P, each with support on most n points. We illustrate an application…

We will prove that the Pierce-Birkhoff Conjecture holds for non-singular two-dimensional affine real algebraic varieties over real closed fields, i.e., if W is such a variety, then every piecewise polynomial function on W can be written as…

We prove that critical and subcritical N=2 string theory gives a realization of an N=2 superfield extension of the topological conformal algebra. The essential observation is the vanishing of the background charge.

The construction of effective field theories describing M-theory compactified on $S^1/{\bf Z}_2$ is revisited, and new insights into the parameters of the theory are explained. Particularly, the web of constraints which follow from…

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…

Over function fields of p-adic curves, we construct stably rational varieties in the form of homogeneous spaces of SL_n with semisimple simply connected stabilizers and we show that strong approximation away from a non-empty set of places…

Let $F^{2,m}$ denote the Fock-Sobolev space of complex plane. The purpose of this paper is to study the conjecture which was shown to be false for Fock space by Ma-Yan-Zheng-Zhu in 2019. For the certain symbol space, the main result of the…

Let X be a projective curve defined over Q and t a non-constant Q-rational function on X of degree at least 2. For every integer n pick a point P_n on X such that t(P_n)=n. A result of Dvornicich and Zannier implies that, for large N, among…

Let $\A$ be the incidence matrix of lines and points of the classical projective plane $PG(2,q)$ with $q$ odd. With respect to a conic in $PG(2,q)$, the matrix $\A$ is partitioned into 9 submatrices. The rank of each of these submatices…

A once-extended d-dimensional topological field theory Z is a symmetric monoidal functor (taking values in a chosen target symmetric monoidal (infty,2)-category) assigning values to (d-2)-manifolds, (d-1)-manifolds, and d-manifolds. We show…

Many well-known theorems establish sufficient criteria for linearizability of a vector field in terms of the eigenvalues of its linear approximation. By attaching weights to coordinates so that some directions are considered "linear",…

General half-BPS A-type boundary conditions are formulated for N=2 supersymmetric field theories on compact 3-manifolds with boundary. We observe that under suitable conditions manifolds of the real A-type admitting two complex…

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

We investigate the combinatorial complexity of geodesic Voronoi diagrams on polyhedral terrains using a probabilistic analysis. Aronov etal [ABT08] prove that, if one makes certain realistic input assumptions on the terrain, this complexity…

In this short note we confirm the relation between the generalized $abc$-conjecture and the $p$-rationality of number fields. Namely, we prove that given K$/\mathbb{Q}$ a real quadratic extension or an imaginary $S_3$-extension, if the…

We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.

We investigate the class of FHP theories, i.e. theories of structures in which all definable families of sets satisfy the Fractional Helly Property (and its variants) from combinatorics. FHP theories generalize NIP and form a new subclass…

A henselian valued field $K$ is called separably tame if its separable-algebraic closure $K^{\operatorname{sep}}$ is a tame extension, that is, the ramification field of the normal extension $K^{\operatorname{sep}}|K$ is…