English
Related papers

Related papers: Normal triangulations in o-minimal structures

200 papers

We give necessary and sufficient conditions on a non-oscillatory curve in an o-minimal field such that, for any bounded definable function, the germ of the function on an initial segment of the curve can be continuously extended to a closed…

Logic · Mathematics 2011-04-22 Janak Ramakrishnan

Thamrongthanyalak demonstrated a definable version of Michael's selection theorem in d-minimal expansions of the real field. We generalize this result to the case in which the structures are d-minimal expansions of ordered fields $\mathcal…

Logic · Mathematics 2024-04-10 Masato Fujita

The goal of this paper is to generalise Alex Rennet's proof of the non-axiomatizability of the class of pseudo-o-minimal structures. Rennet showed that if L is an expansion of the language of ordered fields and K is the class of…

Logic · Mathematics 2019-02-21 Peter Sinclair

In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap…

Combinatorics · Mathematics 2013-03-18 Jorge Arocha , Javier Bracho , Natalia Garcia-Colin , Isabel Hubard

The intersection matrix of a finite simplicial complex has as each of its entries the rank of the intersection of its respective simplices. We prove that such matrix defines the triangulation of a closed connected surface up to isomorphism.

Combinatorics · Mathematics 2016-11-25 Jorge Arocha , Javier Bracho , Natalia García-Colín , Isabel Hubard

In this paper, we prove that a compact K\"ahler manifold $X$ with semi-positive holomorphic sectional curvature admits a locally trivial fibration $\phi \colon X \to Y$, where the fiber $F$ is a rationally connected projective manifold and…

Differential Geometry · Mathematics 2025-02-04 Shin-ichi Matsumura

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

In this paper we analyze the relationship between o-minimal structures and the notion of \omega -saturated one dimensional t.t.t structures. We prove that if removing any point from such a structure splits it into more than one definably…

Logic · Mathematics 2012-10-23 Daniel Lowengrub

Let ${\mathbb M}$ be an arbitrary o-minimal structure. Let $G$ be a definably compact definably connected abelian definable group of dimension $n$. Here we compute the new the intrinsic o-minimal fundamental group of $G;$ for each $k>0$,…

This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface…

Geometric Topology · Mathematics 2016-07-20 William Jaco , Jesse Johnson , Jonathan Spreer , Stephan Tillmann

We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and…

Logic · Mathematics 2023-09-15 Nadav Meir

A pair $(K,K')$ consisting of a smooth triangulation $K$ of a compact smooth oriented Riemannian manifold $M$ and a sufficiently fine subdivision $K'$ determines a finite-dimensional Cheeger--Simons model $\mathscr{CS}(K,K')$ built from…

Mathematical Physics · Physics 2026-02-10 Jyh-Haur Teh

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

Logic · Mathematics 2014-02-26 G. O. Jones , A. J. Wilkie

This paper is devoted to the construction of a hyperkaehler structure on the complexification of any Hermitian-symmetric affine coadjoint orbit O of a semi-simple L*-group of compact type, which is compatible with the complex symplectic…

Mathematical Physics · Physics 2008-07-15 Alice Barbara Tumpach

Let $\mathcal K=\langle\mathcal R, \delta\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R,…

Logic · Mathematics 2020-10-12 Pantelis E. Eleftheriou , Omar Leon Sanchez , Nathalie Regnault

In this paper, we define the \textit{normal form} and \textit{normal coordinate} of a rational 3-tangle $T$ with respect to $\partial E_1$, where $E_1$ is the fixed two punctured disk in $\Sigma_{0,6}$. Among all normal coordinates of $T$…

Geometric Topology · Mathematics 2025-05-27 Bo-hyun Kwon

We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or…

Logic · Mathematics 2011-11-01 Janak Ramakrishnan , Ya'acov Peterzil , Pantelis Eleftheriou

In this thesis, we use normal surface theory to understand certain properties of minimal triangulations of compact orientable 3-manifolds. We describe the collapsing process of normal 2-spheres and disks. Using some geometrical…

Geometric Topology · Mathematics 2009-09-29 Alexander Barchechat

We give a presentation of various results on zero-groups in o-minimal structures together with some new observations. In particular we prove that if G is a definably connected definably compact group in an o-minimal expansion of a real…

Logic · Mathematics 2007-05-23 Alessandro Berarducci

Let $K_1$ and $K_2$ be two one-dimensional homogeneous self-similar sets. Let $f$ be a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the continuous image of $f$ by $$ f_{U}(K_1,K_2)=\{f(x,y):(x,y)\in…

Dynamical Systems · Mathematics 2019-08-02 Bing Zhao , Xiaomin Ren , Jiali Zhu , Kan Jiang