Smooth functions in o-minimal structures

Fix an o-minimal expansion of the real exponential field that admits smooth cell decomposition. We study the density of definable smooth functions in the definable continuously differentiable functions with respect to the definable version of the Whitney topology. This implies that abstract definable smooth manifolds are affine. Moreover, abstract definable smooth manifolds are definably C^∞-diffeomorphic if and only if they are definably C¹-diffeomorphic.     

Expansions of ordered fields without definable gaps

In this paper we are concerned with definably, with or without parameters, (Dedekind) complete expansions of ordered fields, i. e. those with no definable gaps. We present several axiomatizations, like being definably connected, in each of the two cases. As a corollary, when parameters are allowed, expansions of ordered fields are o‐minimal if and only if all their definable subsets are finite disjoint unions of definably connected (definable) subsets. We pay attention to how simply (in terms of the quantifier complexity and/or usage of parameters) a definable gap in an expansion is so. Next we prove that over parametrically definably complete expansions of ordered fields, all one‐to‐one definable (with parameters) continuous functions are monotone and open. Moreover, in both parameter and parameter‐free cases again, definably complete expansions of ordered fields satisfy definable versions of the Heine‐Borel and Extreme Value theorems and also Bounded Intersection Property for definable families of closed bounded subsets.     

on the o-minimal LS-category

We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along the way, we show that two definably connected definably compact definable groups G and H are definable homotopy equivalent if and only if L(G) and L(H) are homotopy equivalent, where L is the functor which associates to each definable group its corresponding Lie group via Pillay’s conjecture.     

Linear Groups Definable in o-Minimal Structures

We study subgroups G of GL(n, R) definable in o-minimal expansions M = (R, +, · ,…) of a real closed field R. We prove several results such as: (a) G can be defined using just the field structure on R together with, if necessary, power functions, or an exponential function definable in M. (b) If G has no infinite, normal, definable abelian subgroup, then G is semialgebraic. We also characterize the definably simple groups definable in o-minimal structures as those groups elementarily equivalent to simple Lie groups, and we give a proof of the Kneser–Tits conjecture for real closed fields.     

Decomposition into special submanifolds

We study definably complete locally o-minimal expansions of ordered groups. We propose a notion of special submanifolds with tubular neighborhoods and show that any definable set is decomposed into finitely many special submanifolds with tubular neighborhoods.     

Definability of types and VC density in differential topological fields

Given a model-complete theory of topological fields, we considered its generic differential expansions and under a certain hypothesis of largeness, we axiomatised the class of existentially closed ones. Here we show that a density result for definable types over definably closed subsets in such differential topological fields. Then we show two transfer results, one on the VC-density and the other one, on the combinatorial property NTP2.     

One-Dimensional Center Manifolds are C∞

It is well known that center manifolds of analytic differential equations are not of class C^∞ in general. In this paper it is shown that they are indeed C^∞ if they are one-dimensional.     

Fundamental group in o-minimal structures with definable Skolem functions

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allow us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally definable covering maps; monodromy equivalence for locally constant o-minimal sheaves – from which one obtains, as in algebraic topology, classification results for locally definable covering maps, o-minimal Hurewicz and Seifert–van Kampen theorems.     

Pointwise characterizations of curvature and second fundamental form on Riemannian manifolds

Let M be a complete Riemannian manifold possibly with a boundary?M.For any C~1-vector field Z,by using gradient/functional inequalities of the(reflecting)diffusion process generated by L:=?+Z,pointwise characterizations are presented for the Bakry-Emery curvature of L and the second fundamental form of?M if it exists.These characterizations extend and strengthen the recent results derived by Naber for the uniform norm‖RicZ‖∞on manifolds without boundaries.A key point of the present study is to apply the asymptotic formulas for these two tensors found by the first author,such that the proofs are significantly simplified.     

Dual spaces of C∞ (X)

ForX a locally compact Stonian Space, letC _∞ (X) denote the universally complete Riesz space of all extended-real-valued continuous functionsf onX for which {x∈X| |f (x)|=∞} is nowhere dense. In this paper the dual spaces ofC _∞ (X) (i.e. the spaces of order bounded; of σ-order continuous; of order continuous linear forms onC _∞ (X), and the extended order dual ofC _∞ (X) denote here byC _∞ (X)^ρ (introduced by W.A.J. Luxemburg and J.J. Masterson)) are characterized. It is shown thatC _∞ (X)^ρ can be identified in a canonical way with the inductive limitM _q (X) of the Riesz spaces of all normal Radon measures defined on the dense open subsets ofX. More generally, ifY is a locally compact space thenM _q (Y) is the extended order dual of the inductive limit of the Riesz spaces of all real-valued continuous functions defined on the dense open subsets ofY. IfX is locally compact and hyperstonian, then it is proved thatC _∞ (X) andC _∞ (X)^ρ are isomorphic, and a criterion forC _∞ (X)^ρ to be the universal completion of the space of order continuous linear forms onC _∞ (X) is given.     

Schrödinger operators on manifolds, essential self-adjointness, and absence of eigenvalues

Suppose thatM ⁿ is a complete, noncompact, Riemannian manifold. If Δ denotes the Laplace operator ofM, one has associated Schrödinger operators ? Δ +V. Conditions onV are formulated, which ensures the essential self-adjointness of ? Δ +V. In particular, ifV ∈ Q_α,loc (M ⁿ), the local Stummel class, andV ≥ ? c outside of a compact set, then ? Δ +V is essentially self-adjoint on C ₀ ^∞ (M ⁿ). In addition, essential self-adjointness is proved for potentials which are strongly singular at a point. The absence of eigenvalues of ?Δ +V is also studied. This relies upon Rellich-type identities. The results on strongly singular potentials make use of a generalization of the classical uncertainty principle, inR ⁿ, to Riemannian manifolds with a pole.     

Models with second order properties IV. A general method and eliminating diamonds

We show how to build various models of first-order theories, which also have properties like: tree with only definable branches, atomic Boolean algebras or ordered fields with only definable automorphisms.For this we use a set-theoretic assertion, which may be interesting by itself on the existence of quite generic subsets of suitable partial orders of power λ⁺, which follows from ?_λ and even weaker hypotheses (e.g., λ=?₀, or λ strongly inaccessible). For a related assertion, which is equivalent to the morass see Shelah and Stanley [16].The various specific constructions serve also as examples of how to use this set-theoretic lemma. We apply the method to construct rigid ordered fields, rigid atomic Boolean algebras, trees with only definable branches; all in successors of regular cardinals under appropriate set- theoretic assumptions. So we are able to answer (under suitable set-theoretic assumptions) the following algebraic question.Saltzman's Question. Is there a rigid real closed field, which is not a subfield of the reals?     

One-basedness and groups of the form G/G 00

We initiate a geometric stability study of groups of the form G/G ⁰⁰, where G is a 1-dimensional definably compact, definably connected, definable group in a real closed field M. We consider an enriched structure M?? with a predicate for G ⁰⁰ and check 1-basedness or non-1-basedness for G/G ⁰⁰, where G is an additive truncation of M, a multiplicative truncation of M, SO ₂(M) or one of its truncations; such groups G/G ⁰⁰ are now interpretable in M??. We prove that the only 1-based groups are those where G is a sufficiently ??big?? multiplicative truncation, and we relate the results obtained to valuation theory. In the last section we extend our results to ind-hyperdefinable groups constructed from those above.     

Complex vector measure and integral over manifolds with locally finite variations

It is well known that any compactly supported continuous complex differential n-form can be integrated over real n-dimensional C¹ manifolds in C^m (m ≥ n). For n = 1, the integral along any locally rectifiable curve is defined. Another generalization is the theory of currents (linear functionals on the space of compactly supported C^∞ differential forms). The topic of the article is the integration of measurable complex differential (n, 0)-forms (containing no \(d{\bar z_j}\)) over real n-dimensional C⁰ manifolds in C^m with locally finite n-dimensional variations (a generalization of locally rectifiable curves to dimensions n > 1). The last result is that a real n-dimensional manifold C¹ embedded in C^m has locally finite variations, and the integral of a measurable complex differential (n, 0)-form defined in the article can be calculated by a well-known formula.     

Smooth solutions to a class of mixed type Monge–Ampère equations

We prove the existence of C ^∞ local solutions to a class of mixed type Monge–Ampère equations in the plane. More precisely, the equation changes type to finite order across two smooth curves intersecting transversely at a point. Existence of C ^∞ global solutions to a corresponding class of linear mixed type equations is also established. These results are motivated by and may be applied to the problem of prescribed Gaussian curvature for graphs, the isometric embedding problem for 2-dimensional Riemannian manifolds into Euclidean 3-space, and also transonic fluid flow.     

Some definable properties of sets in non-valuational weakly o-minimal structures

Let \({\mathcal {M}}=(M,<,+,\cdot ,\ldots )\) be a non-valuational weakly o-minimal expansion of a real closed field \((M,<,+,\cdot )\). In this paper, we prove that \({\mathcal {M}}\) has a \(C^r\)-strong cell decomposition property, for each positive integer r, a best analogous result from Tanaka and Kawakami (Far East J Math Sci (FJMS) 25(3):417–431, 2007). We also show that curve selection property holds in non-valuational weakly o-minimal expansions of ordered groups. Finally, we extend the notion of definable compactness suitable for weakly o-minimal structures which was examined for definable sets (Peterzil and Steinhorn in J Lond Math Soc 295:769–786, 1999), and prove that a definable set is definably compact if and only if it is closed and bounded.     

Uniqueness of analytic continuation: Necessary and sufficient conditions

Necessary and sufficient conditions for uniqueness of analytic continuation are investigated for a system of m ? 1 first-order linear homogeneous partial differential equations in one unknown, with complex-valued $\text{b}$^∞ coefficients, in some connected open subset of $\text{R}$^k, k ? 2. The type of system considered is one for which there exists a real k-dimensional, $\text{b}$^∞, connected C-R submanifold M^k of $\text{C}$ⁿ, for k, n ? 2, such that the system may be identified with the induced Cauchy-Riemann operators on M^k. The question of uniqueness of analytic continuation for a system of partial differential equations is thus transformed to the question of uniqueness of analytic continuation for C-R functions on the manifold M^k ? Cⁿ. Under the assumption that the Levi algebra of M^k has constant dimension, it is shown that if the excess dimension of this algebra is maximal at every point, then M^k has the property of uniqueness of analytic continuation for its C-R functions. Conversely, under certain mild conditions, it is shown that if M^k has the property of uniqueness of analytic continuation for all $\text{b}$^∞ C-R functions, and if the Levi algebra has constant dimension on all of M^k, then the excess dimension must be maximal at every point of M^k.     

On positive quaternionic Kähler manifolds with certain symmetry rank

Let M be a positive quaternionic Kähler manifold of real dimension 4m. In this paper we show that if the symmetry rank of M is greater than or equal to [m/2] + 3, then M is isometric to HP ^m or Gr2(C ^m+2). This is sharp and optimal, and will complete the classification result of positive quaternionic Kähler manifolds equipped with symmetry. The main idea is to use the connectedness theorem for quaternionic Kähler manifolds with a group action and the induction arguments on the dimension of the manifold.     

Notes on local o‐minimality

We introduce and study some local versions of o‐minimality, requiring that every definable set decomposes as the union of finitely many isolated points and intervals in a suitable neighbourhood of every point. Motivating examples are the expansions of the ordered reals by sine, cosine and other periodic functions (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

O-minimal Hauptvermutung for polyhedra I

Milnor discovered two compact polyhedra which are homeomorphic but not PL homeomorphic (a counterexample to the Hauptvermutung). He constructed the homeomorphism by a finite procedure repeated infinitely often. Informally, we call a procedure constructive if it consists of an explicit procedure that is repeated only finitely many times. In this sense, Milnor did not give a constructive procedure to define the homeomorphism between the two polyhedra. In the case where the homeomorphism is semialgebraic, the author and Yokoi proved that the polyhedra in R ⁿ are PL homeomorphic. In that article, the required PL homeomorphism was not constructively defined from the given homeomorphism. In the present paper we obtain the PL homeomorphism by a constructive procedure starting from the homeomorphism. We prove in fact that for any ordered field R equipped with any o-minimal structure, two definably homeomorphic compact polyhedra in R ⁿ are PL homeomorphic (the o-minimal Hauptvermutung theorem 1.1). Together with the fact that any compact definable set is definably homeomorphic to a compact polyhedron we can say that o-minimal topology is “tame”.