Related papers: Hensel minimality: Geometric criteria for $\ell$-h…
In this paper together with the preceding Part I \cite{CHR}, we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to \cite{CHR} the treatment of the mixed…
We present a framework for tame geometry on Henselian valued fields which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and…
Recently, a new axiomatic framework for tameness in henselian valued fields was developed by Cluckers, Halupczok, Rideau-Kikuchi and Vermeulen and termed Hensel minimality. In this article we develop Diophantine applications of Hensel…
We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…
We develop a framework of motivic integration in the style of Hrushovski--Kazhdan in arbitrary Hensel minimal fields of equicharacteristic zero. Hence our work generalizes that of Hrushovski--Kazhdan and Yin, but applies more broadly to…
We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is $0$-hmix-minimality (which, in…
We argue that the minimal length discretization generalizing the Heisenberg uncertainty principle, in which the gravitational impacts on the non--commutation relations are thoughtfully taken into account, radically modifies the spacetime…
In non-minimal Higgs mechanisms, one often needs to minimize highly symmetric Higgs potentials. Here we propose a geometric way of doing it, which, surprisingly, is often much more efficient than the usual method. By construction, it gives…
The purpose of this paper is to study certain notions of metric positivity for the lowest nonzero piece in the Hodge filtration of a Hodge module. We show that the Hodge metric satisfies the minimal extension property. In particular, this…
We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell…
Lower bounds on Hilbert-Samuel multiplicity are known for several types of commutative noetherian local rings, and rings with multiplicities which achieve these lower bounds are said to have minimal multiplicity. The first part of this…
Smoothness is crucial for attaining fast rates in first-order optimization. However, many optimization problems in modern machine learning involve non-smooth objectives. Recent studies relax the smoothness assumption by allowing the…
Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…
We investigate the minimal surface problem in the three dimensional Heisenberg group, H, equipped with its standard Carnot-Caratheodory metric. Using a particular surface measure, we characterize minimal surfaces in terms of a sub-elliptic…
In this paper, we ask the following question: what is the minimal value of the difference $e_{HK}(I) - e_{HK}(I')$ for ideals $I' \supseteq I$ with $l_A(I'/I) =1$? In order to answer to this question, we define the notion of minimal…
This paper studies the hierarchy of local minimums of a polynomial in the space. For this purpose, we first compute H-minimums, for which the first and second order optimality conditions are satisfied. To compute each H-minimum, we…
In this article we introduce a definition of topological minimal sets, which is a generalization of that of Mumford-Shah-minimal sets. We prove some general properties as well as two existence theorems for topological minimal sets. As an…
We show that absolutely minimizing functions relative to a convex Hamiltonian $H:\mathbb{R}^n \to \mathbb{R}$ are uniquely determined by their boundary values under minimal assumptions on $H.$ Along the way, we extend the known equivalences…
Let $M$ be a compact complex manifold admitting a K\"ahler structure. A conformally K\"ahler, Einstein-Maxwell metric (cKEM metric for short) is a Hermitian metric $\tilde{g}$ on $M$ with constant scalar curvature such that there is a…
This paper is the first step in a systematic project to study examples of K\"ahler manifolds with positive holomorphic sectional curvature ($H > 0$). Previously Hitchin proved that any compact K\"ahler surface with $H>0$ must be rational…