Related papers: Hensel minimality I

We develop the theory of halving spaces to obtain lower bounds in real enumerative geometry. Halving spaces are topological spaces with an action of a Lie group $\Gamma$ with additional cohomological properties. For $\Gamma=\mathbb{Z}_2$ we…

We prove an extension of a theorem of Barta then we make few geometric applications. We extend Cheng's lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space…

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

In this paper we give pinching theorems for the first nonzero eigenvalue of the Laplacian on the compact hypersurfaces of ambient spaces with bounded sectional curvature. As application we deduce rigidity results for stable constant mean…

Using the recent advances in our understanding of non-perturbative aspects of type II strings we show how non-trivial exact results for $N=2$ quantum field theories can be reduced to T-dualities of string theory. This is done by…

We prove a Diophantine approximation inequality for closed subschemes on surfaces which can be viewed as a joint generalization of recent inequalities of Ru-Vojta and Heier-Levin in this context. As applications, we study various…

The study of substructures in random objects has a long history, beginning with Erd\H{o}s and R\'enyi's work on subgraphs of random graphs. We study the existence of certain substructures in random subsets of vector spaces over finite…

A key idea in convex optimization theory is to use well-structured affine functions to approximate general functions, leading to impactful developments in conjugate functions and convex duality theory. This raises the question: what are the…

We prove that in a Riemannian manifold $M$, each function whose Hessian is proportional the metric tensor yields a weighted monotonicity theorem. Such function appears in the Euclidean space, the round sphere $S^n$ and the hyperbolic space…

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

In this article we establish two new results on quantitative Diophantine approximation for one-parameter families of diagonal ternary indefinite forms. In the first result, we consider quadratic forms taking values at prime points. In the…

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…

We construct harmonic diffeomorphisms from the complex plane $C$ onto any Hadamard surface $M$ whose curvature is bounded above by a negative constant. For that, we prove a Jenkins-Serrin type theorem for minimal graphs in $M\times R$ over…

In the arithmetic of function fields Drinfeld modules play the role that elliptic curves take on in the arithmetic of number fields. As higher dimensional generalizations of Drinfeld modules, and as the appropriate analogues of abelian…

Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…

I analyze $\mathcal{O}$-weakly immediate and $\mathcal{O}$-residual types in an o-minimal expansion of an ordered field $\mathbb{E}$, where $\mathcal{O}$ is a convex valuation ring. The main result is a characterization of those exponential…

In twisted Diophantine approximation, for a fixed $m\times n$ matrix $\boldsymbol\alpha$ one is interested in sets of vectors $\boldsymbol\beta\in\mathbb R^m$ such that the system of affine forms $\mathbb R^n \ni \mathbf q \mapsto…

We study the asymptotic properties of geodesically convex $M$-estimation on non-linear spaces. Namely, we prove that under very minimal assumptions besides geodesic convexity of the cost function, one can obtain consistency and asymptotic…

The goal of this paper is to generalize the main results of [KM] and subsequent papers on metric Diophantine approximation with dependent quantities to the set-up of systems of linear forms. In particular, we establish `joint strong…

This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of…