English
Related papers

Related papers: Regular vectors and bi-Lipschitz trivial stratific…

200 papers

In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere $S^2$ is proved. A classification of these families up to moderate equivalence in neighborhoods of their large…

Dynamical Systems · Mathematics 2026-05-14 Alexey Dorovskiy

The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are…

Algebraic Geometry · Mathematics 2016-07-27 Helge Møller Pedersen , Maria Aparecida Soares Ruas

Let $\overline{B}$ be a smooth projective varieity, and $Z \subset \overline{B}$ a simple normal crossing divisor. Assume that $B = \overline{B} - Z$ admits a variation of pure, polarized Hodge structure. The divisor $Z$ is naturally…

Algebraic Geometry · Mathematics 2025-09-11 Mark Green , Phillip Griffiths , Colleen Robles

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…

Logic · Mathematics 2026-03-24 Krzysztof Jan Nowak

Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal…

Differential Geometry · Mathematics 2014-07-01 Michael Kunzinger , Roland Steinbauer , Milena Stojkovic

We consider bipartite graphs definable in o-minimal structures, in which the edge relation $G$ is a finite union of graphs of certain measure-preserving maps. We establish a fact on the existence of definable matchings with few short…

Logic · Mathematics 2023-05-10 Jana Maříková

In this work a theorical framework to apply the Poincar\'e compactification technique to locally Lipschitz continuous vector fields is developed. It is proved that these vectors fields are compactifiable in the n-dimensional sphere, though…

Dynamical Systems · Mathematics 2020-02-07 José Luis Bravo , Manuel Fernández , Antonio E. Teruel

In this paper we describe the notion of a weak lipschitzianity of a mapping on a $C^{q}$ stratification. We also distinguish a class of regularity conditions that are in some sense invariant under definable, locally Lipschitz and weakly…

Differential Geometry · Mathematics 2011-11-10 Malgorzata Czapla

Kirszbraun's Theorem states that every Lipschitz map $S\to\mathbb R^n$, where $S\subseteq \mathbb R^m$, has an extension to a Lipschitz map $\mathbb R^m \to \mathbb R^n$ with the same Lipschitz constant. Its proof relies on Helly's Theorem:…

Logic · Mathematics 2014-02-26 Matthias Aschenbrenner , Andreas Fischer

The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in…

Logic · Mathematics 2007-05-23 Mario J. Edmundo

A well-known theorem of W. Fischer and H. Grauert states that analytic fiber spaces with all fibers isomorphic to a fixed compact connected complex manifold are locally trivial. Motivated by this result, we show that if $k$ is an…

Algebraic Geometry · Mathematics 2021-08-24 Paweł Poczobut

We introduce the Hausdorff measure for definable sets in an o-minimal structure, and prove the Cauchy-Crofton and co-area formulae for the o-minimal Hausdorff measure. We also prove that every definable set can be partitioned into "basic…

Logic · Mathematics 2021-11-23 Antongiulio Fornasiero , Elisa Vasquez Rifo

We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…

Logic · Mathematics 2018-12-11 Yimu Yin

It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into very homogeneous semialgebraic pieces up to…

Logic · Mathematics 2016-02-25 Artem Chernikov , Sergei Starchenko

These notes constitute a survey on the geometric properties of globally subanalytic sets. We start with their definition and some fundamental results such as Gabrielov's Complement Theorem or existence of cell decompositions. We then give…

Algebraic Geometry · Mathematics 2025-08-01 Guillaume Valette

A well-known open problem asks whether every bi-Lipschitz homeomorphism of $\mathbb{R}^d$ factors as a composition of mappings of small distortion. We show that every bi-Lipschitz embedding of the unit cube $[0,1]^d$ into $\mathbb{R}^d$…

Classical Analysis and ODEs · Mathematics 2024-09-10 Guy C. David , Matthew Romney , Raanan Schul

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

Logic · Mathematics 2010-09-28 Alessandro Berarducci , Antongiulio Fornasiero

The present paper is concerned with Lipschitz properties of convex mappings. One considers the general context of mappings defined on an open convex subset $\Omega$ of a locally convex space $X$ and taking values in a locally convex space…

Functional Analysis · Mathematics 2017-01-12 S. Cobzaş

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Logic · Mathematics 2022-06-08 Masato Fujita

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

Logic · Mathematics 2020-05-04 Alex Savatovsky