Related papers: A Pila--Wilkie theorem for Hensel minimal curves
In this paper, we establish a min-max theory for constructing minimal disks with free boundary in any closed Riemannian manifold. The main result is an effective version of the partial Morse theory for minimal disks with free boundary…
In this paper, we establish a theorem on extension of Lipschitz maps $f$ definable in Hensel minimal fields $K$. This may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's extension theorem. We proceed…
We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we…
We introduce higher order variants of the Yang-Mills functional that involve $(n-2)$th order derivatives of the curvature. We prove coercivity and smoothness of critical points in Uhlenbeck gauge in dimensions $\mathrm{dim}M\le 2n$. These…
We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…
We introduce canonical principal parameters on any strongly regular minimal surface in the three dimensional sphere and prove that any such a surface is determined up to a motion by its normal curvature function satisfying the Sinh-Poisson…
We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and…
Let $k({\bf x})=k(x_1,\ldots ,x_n)$ be the rational function field, and $k\subsetneqq L\subsetneqq k({\bf x})$ an intermediate field. Then, Hilbert's fourteenth problem asks whether the $k$-algebra $A:=L\cap k[x_1,\ldots ,x_n]$ is finitely…
We establish a Mittag-Leffler-type theorem with approximation and interpolation for meromorphic curves $M\to \mathbb{C}^n$ ($n\geq 3$) directed by Oka cones in $\mathbb{C}^n$ on any open Riemann surface $M$. We derive a result of the same…
We present some old and recent regularity results concerning minimal and almost minimal sets in domains of the Euclidean space. We concentrate on a sliding variant of Almgren's notion of minimality, which is well suited in the context of…
Weihrauch reducibility is a notion of reducibility between computational problems that is useful to calibrate the uniform computational strength of a multivalued function. It complements the analysis of mathematical theorems done in reverse…
In response to a question of B. Poonen, we exhibit for each global field k an algebraic curve over k which violates the Hasse Principle. In fact we can find such examples among Atkin-Lehner twists of certain elliptic modular curves and --…
We survey structure-preserving discretizations of minimal surfaces in Euclidean space. Our focus is on a discretization defined via parallel face offsets of polyhedral surfaces, which naturally leads to a notion of vanishing mean curvature…
We prove a Weyl-type subconvexity bound for the central value of the $L$-function of a Hecke-Maass form or a holomorphic Hecke eigenform twisted by a quadratic Dirichlet character, uniform in the archimedean parameter as well as the…
In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the…
We classify minimal sets of (closed and oriented) hyperbolic surface homeomorphisms by studying the connected components of their complement. This extends the classification given by F. Kwakkel, T.J\"ager and A. Passeggi in the torus. The…
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…
We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and…
We study the existence of rational points on modular curves of $\cal{D}$-elliptic sheaves over local fields and the structure of special fibres of these curves. We discuss some applications which include finding presentations for arithmetic…
We prove the Zil'ber Trichotomy Principle for all 1-dimensional structures which are definable in o-minimal ones. In particular, we show that any stable 1-dimensional structure is necessarily locally modular. The main tool is a theory for…