English
Related papers

Related papers: Spherically complete models of Hensel minimal valu…

200 papers

Given a perfectoid field, we find an elementary extension and a henselian defectless valuation on it, whose value group is divisible and whose residue field is an elementary extension of the tilt. This specializes to the almost purity…

Commutative Algebra · Mathematics 2025-03-13 Franziska Jahnke , Konstantinos Kartas

Admitting a non-trivial $p$-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, $p$-henselianity is an elementary property in the language of rings. We are interested…

Logic · Mathematics 2014-11-26 Franziska Jahnke , Jochen Koenigsmann

We show that every non-trivial ordered abelian group $G$ is augmentable by infinite elements, i.e., we have $G\preccurlyeq H\oplus G$ for some non-trivial ordered abelian group $H$. As an application, we show that when $k$ is a field of…

Logic · Mathematics 2025-04-08 Blaise Boissonneau , Anna De Mase , Franziska Jahnke , Pierre Touchard

For every genus g, we prove that S^2 x R contains complete, properly embedded, genus-g minimal surfaces whose two ends are asymptotic to helicoids of any prescribed pitch. We also show that as the radius of the S^2 tends to infinity, these…

Differential Geometry · Mathematics 2024-01-26 David Hoffman , Martin Traizet , Brian White

We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann

We prove that all minimal symplectic four-manifolds are essentially irreducible. We also clarify the relationship between holomorphic and symplectic minimality of K\"ahler surfaces. This leads to a new proof of the deformation-invariance of…

Symplectic Geometry · Mathematics 2007-05-23 M. J. D. Hamilton , D. Kotschick

Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…

Logic · Mathematics 2025-02-06 Elliot Kaplan , Nigel Pynn-Coates

The row-strict 0-Hecke action on standard immaculate skew tableaux was studied by the present authors, who showed that it gives rise to a bounded poset, called the \emph{skew immaculate Hecke poset}, and consequently to a cyclic 0-Hecke…

We prove that, for any Hankel operator with a symbol from the Hardy class $H^2$, the maximal and minimal domains coincide. As an application, we prove that the evolution flow of the cubic Szeg\H{o} equation on the unit circle can be…

Analysis of PDEs · Mathematics 2023-05-31 Patrick Gérard , Alexander Pushnitski

We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…

Logic · Mathematics 2021-07-12 Antongiulio Fornasiero

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

Algebraic Geometry · Mathematics 2019-02-01 Krzysztof Jan Nowak

Given $I,B\in\mathbb{N}\cup \{0\}$, we investigate the existence and geometry of complete finitely branched minimal surfaces $M$ in $\mathbb{R}^3$ with Morse index at most $I$ and total branching order at most $B$. Previous works of…

Differential Geometry · Mathematics 2022-11-09 William H. Meeks , Joaquin Perez

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Logic · Mathematics 2020-09-08 Artur Piȩkosz

We give sufficent conditions for a derivation of a $k$-algebra $A$ of finite type to be $\infty$-integrable in the sense of Hasse-Schmidt, when $A$ is a complete intersection, or when $A$ is reduced and $k$ is a regular ring. As a…

Commutative Algebra · Mathematics 2024-10-01 A. Bravo , María de la Paz Tirado Hernández

The ends of a complete embedded minimal surface of {\em finite total curvature} are well understood (every such end is asymptotic to a catenoid or to a plane). We give a similar characterization for a large class of ends of {\em infinite…

Differential Geometry · Mathematics 2009-09-25 John McCuan , David Hoffman

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…

Logic · Mathematics 2023-03-03 Juan Pablo Acosta , Assaf Hasson

We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed…

Commutative Algebra · Mathematics 2022-08-25 Arpan Dutta , Franz-Viktor Kuhlmann

We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows. We identify the induced structure on the residue field and show that once…

Logic · Mathematics 2026-02-27 Sylvy Anscombe , Philip Dittmann , Franziska Jahnke

We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the…

Logic · Mathematics 2020-05-29 Will Johnson

In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify…

Commutative Algebra · Mathematics 2025-03-24 Caio Henrique Silva de Souza , Mark Spivakovsky