English
Related papers

Related papers: Complex cells in sharply o-minimal structures

200 papers

Let $\mathbb C$ be the set of complex numbers, and let $\mathcal P$ be a collection of complex polynomial maps in several variables. Assuming at least one $P\in\mathcal P$ depends on at least two variables, we classify all possibilities for…

Logic · Mathematics 2023-08-04 Benjamin Castle , Chieu-Minh Tran

We extend the definition of quasi-finite complexes by considering not necessarily countable complexes. We provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications.…

General Topology · Mathematics 2007-05-23 Alex Karasev , Vesko Valov

We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive…

Rings and Algebras · Mathematics 2018-10-30 Septimiu Crivei , Derya Keskin Tütüncü

Let $A\sub \R^{n+r}$ be a set definable in an o-minimal expansion $\S$ of the real field, $A' \sub \R^r$ be its projection, and assume that the non-empty fibers $A_a \sub \R^n$ are compact for all $a \in A'$ and uniformly bounded, {\em…

Algebraic Geometry · Mathematics 2007-05-23 Thierry Zell

We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…

Algebraic Topology · Mathematics 2021-08-27 Reid Barton , Johan Commelin

Let N be an o-minimal expansion of a real closed field. We develop cohomology theory for the category of N-definable manifolds and N-definable maps, and use this to solve the Peterzil-Steinhorn problem on the existence of torsion points on…

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

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

In this paper we show that the equivalences between certain properties of closed subanalytic sets proved by E. Bierstone and P. Milman in \cite{[BM-1]} hold for closed sets definable in quasianalytic o-minimal structures. In particular we…

Algebraic Geometry · Mathematics 2015-11-17 Iwo Biborski

We introduce parabolic degenerations of rational Cherednik algebras of complex reflection groups, and use them to give necessary conditions for finite-dimensionality of an irreducible lowest weight module for the rational Cherednik algebra…

Representation Theory · Mathematics 2015-03-02 Stephen Griffeth , Armin Gusenbauer , Daniel Juteau , Martina Lanini

Flat-injective presentations were introduced by Miller (2020) to provide combinatorial descriptions of $\mathbb Z^n$-graded modules. We consider them in the setting of local graded rings $R$, with grading over an abelian group, and give a…

Commutative Algebra · Mathematics 2025-11-18 Fritz Grimpen , Anastasios Stefanou

Decomposable models and Bayesian networks can be defined as sequences of oligo-dimensional probability measures connected with operators of composition. The preliminary results suggest that the probabilistic models allowing for effective…

Artificial Intelligence · Computer Science 2013-02-08 Radim Jirousek

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

We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in…

Dynamical Systems · Mathematics 2009-04-20 Tobias Kaiser , Jean-Philippe Rolin , Patrick Speissegger

Cell complexes (CCs) are a higher-order network model deeply rooted in algebraic topology that has gained interest in signal processing and network science recently. However, while the processing of signals supported on CCs can be described…

Signal Processing · Electrical Eng. & Systems 2025-06-12 Josef Hoppe , Vincent P. Grande , Michael T. Schaub

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…

Logic · Mathematics 2009-01-16 Jana Maříková

We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…

Logic · Mathematics 2021-01-26 Eliana Barriga

To a pair (X,f), X compact ANR and f a continuous angle valued map defined on X, a fixed field and a nonnegative integer one assigns a finite configuration of complex numbers with multiplicities located in the punctured complex plane and a…

Algebraic Topology · Mathematics 2015-12-29 Dan Burghelea

This expository paper gives an account of the Pila-Wilkie counting theorem and some of its extensions and generalizations. We use semialgebraic cell decomposition to simplify part of the original proof. We also include complete treatments…

Logic · Mathematics 2022-09-12 Neer Bhardwaj , Lou van den Dries

We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound…

Logic · Mathematics 2018-10-22 Tobias Kaiser , Patrick Speissegger

In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.

Geometric Topology · Mathematics 2010-06-25 Masahiro Shiota