相关论文: Normal triangulations in o-minimal structures

Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…

Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…

We prove that if an $n$-dimensional space $X$ satisfies certain topological conditions then any triangulation of $X$ as well as any its representation as a simplicial set with contractible faces has at least $2^n$ faces of dimension $n$.…

We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_{\alpha}$-saturated. The conditions are in terms of the value group,…

The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the…

We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…

Let X be an infinite, compact, metrizable space of finite covering dimension and h a minimal homeomorphism of X. We prove that the crossed product of C(X) by h absorbs the Jiang-Su algebra tensorially and has finite nuclear dimension. As a…

We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new…

The underlying complex structure of an ALE K\"ahler manifold is exhibited as a resolution of a deformation of an isolated quotient singularity. As a consequence, there exist only finitely many diffeomorphism types of minimal ALE K\"ahler…

We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.

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 prove the Zil'ber Trichotomy Principle for all 1-dimensional structures which are definable in o-minimal ones. In particular, we show that any stable 1-dimensional structure is necessarily locally modular. The main tool is a theory for…

We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.

We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…

We study surface representatives of homology classes of finite complexes which minimize certain complexity measures, including its genus and Euler characteristic. Our main result is that up to surgery at nullhomotopic curves minimizers are…

Kneser-Haken Finiteness asserts that for each compact 3-manifold M there is an integer c(M) such that any collection of k>c(M) closed, essential, 2-sided surfaces in M must contain parallel elements. We show here that if M is closed then…

For compact CR manifolds of hypersurface type which embed in complex projective space, we show that for all k large enough there exist linear systems of ${\mathcal{O}}(k)$ which when restricted to the CR manifold are generic in a suitable…

This paper provides a first example of a model theoretically well behaved structure consisting of a proper o-minimal expansion of the real field and a dense multiplicative subgroup of finite rank. Under certain Schanuel conditions, a…

We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…

We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type…