Related papers: Definable triangulations with regularity condition…

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat\Phi([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat\Phi([A])$ are called $\mathcal{T}$-regular. We establish several results…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

We construct a continuous Lagrangian, strictly convex and superlinear in the third variable, such that the associated variational problem has a Lipschitz minimizer which is non-differentiable on a dense set. More precisely, the upper and…

We prove the global triangulation conjecture for families of refined p-adic representations under a mild condition. That is, for a refined family, the associated family of (phi, Gamma)-modules admits a global triangulation on a Zariski open…

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

We present criteria for establishing a triangulation of a manifold. Given a manifold M, a simplicial complex A, and a map H from the underlying space of A to M, our criteria are presented in local coordinate charts for M, and ensure that H…

We analyze the properties of weakly compact sets in Lipschitz free spaces. Prior research has established that, for a complete metric space $M$, weakly precompact sets in the Lipschitz free space $\mathcal F(M)$ are tight. In this paper, we…

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Let $\Sigma$ be a finite regular cell complex with $\emptyset \in \Sigma$, and regard it as a partially ordered set (poset) by inclusion. Let $R$ be the incidence algebra of the poset $\Sigma$ over a field $k$. Corresponding to the Verdier…

A converse to Lie's theorem for Leibniz algebras is found and generalized. The result is used to find cases in which the generalized property, called triangulable, is 2-recognizeable; that is, if all 2-generated subalgebras are…

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 give conditions for topological and bi-Lipschitz equivalences within a class of mixed singularities of Pham-Brieskorn type. As a consequence, we construct infinite families that are topologically trivial but have distinct bi-Lipschitz…

Functions, uniformly bounded in $BV$ norm in some bounded open set $U$ in $R^n$, are compact in $L_1(U)$. This result is known when $U$ has Lipschitz boundary [EG Th. 4 p. 176], [G 1.19 Th. p. 17], [Z 5.34 Cor. p. 227]; the proof for…

A triangulation of a polygon has an associated Stanley-Reisner ideal. We obtain a full algebraic and combinatorial understanding of these ideals, and describe their separated models. More generally we do this for stacked simplicial…

Resolutions of certain toroidal orbifolds, like T6/Z2xZ2, are far from unique, due to triangulation dependence of their resolved local singularities. This leads to an explosion of the number of topologically distinct smooth geometries…

This paper aims to show that there exists a triangulation of the Heisenberg group $\mathbb{H}^n$ into singular simplexes with regularity properties on both the low-dimensional and high-dimensional layers. For low dimensions, we request our…

We generalise the notions of semi-regularity, regularity, and bi-regularity to unitary solutions of the braided Pentagon equation in concrete W*-categories with semi-regular/regular/bi-regular braiding, and study their properties. We show,…

A closed subset of $\mathbb{R}^q$, definable in some given o-minimal structure, is Lipschitz normally embedded in $\mathbb{R}^q$ if and only if its one-point compactification is Lipschitz normally embedded in the unit sphere ${\bf S}^q$($ =…

We show that the traditional criterion for a simplex to belong to the Delaunay triangulation of a point set is equivalent to a criterion which is a priori weaker. The argument is quite general; as well as the classical Euclidean case, it…