Related papers: Some results of geometry over Henselian fields wit…
We show that several spaces of holomorphic functions on a Riemann domain over a Banach space, including the nuclear and Hilbert-Schmidt bounded type, are locally $m$-convex Fr\'echet algebras. We prove that the spectrum of these algebras…
We construct a family of closeness functions on the space of finite volume Lorentzian geometries using the abundance of discrete intervals in the underlying random causal sets. Although strictly weaker than a Lorentzian Gromov-Hausdorff…
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…
We consider two families of random matrix-valued analytic functions: (1) G_1-zG_2 and (2) G_0 + zG_1 +z^2G_2+ ..., where G_i are n x n independent random matrices with independent standard complex Gaussian entries. The set of z where these…
Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…
In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…
Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of…
Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…
There recently has been some interest in the space of functions on an interval satisfying the heat equation for positive time in the interior of this interval. Such functions were characterised as being analytic on a square with the…
We establish a correspondence between information geometry and gauge theory. First, we define an important class of statistical manifolds, that is normalized and satisfies a conservation field equation. Second, we prove that for a…
In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…
We review properties of closed meromorphic $1$-forms and of the foliations defined by them. We present and explain classical results from foliation theory, like index theorems, the existence of separatrices, and resolution of singularities…
In this paper, we want to study the link between the presence of compact objects with some analytic structure and the global geometry of a weakly complete surface. We begin with a brief survey of some now classic results on the local…
The statement of the Riemann hypothesis makes sense for all global fields, not just the rational numbers. For function fields, it has a natural restatement in terms of the associated curve. Weil's work on the Riemann hypothesis for curves…
The polynomial method has been used recently to obtain many striking results in combinatorial geometry. In this paper, we use affine Hilbert functions to obtain an estimation theorem in finite field geometry. The most natural way to state…
In this paper we show Whitney's fibering conjecture in the real and complex, local analytic and global algebraic cases. For a given germ of complex or real analytic set, we show the existence of a stratification satisfying a strong (real…
Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…
Dimensional regularization of Euclidean momentum space integrals is a highly successful technique in renormalization of quantum field theories. While it yields a straightforward algorithmic method, with which to evaluate diagrams beyond…