arXiv subjects
Publications and source records attributed to Mario J. Edmundo.
In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii) derived base change formula; (iv) Künneth formula; (v) local and global Verdier duality.
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$, the $k$-torsion subgroups of $G;$ the o-minimal cohomology algebra over ${\mathbb Q}$ of $G.$ As a corollary we obtain a new uniform proof of Pillay's conjecture, an o-minimal analogue of Hilbert's fifth problem, relating definably compact groups to compact real Lie groups, extending the proof already known in o-minimal expansions of ordered fields.
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
In this paper we find general criteria to ensure that, in an arbitrary o-minimal structure, the o-minimal cohomology without supports and with definably compact supports of a definable space with coefficients in a sheaf is invariant in elementary extensions and in o-minimal expansions. We also prove the o-minimal analogue of Wilder's finiteness theorem in this context.
In this paper we prove the Lefschetz coincidence theorem in o-minimal expansions of fields using the o-minimal singular homology and cohomology.
Here we prove a Poincaré-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.
We develop in this paper the theory of covers for Hausdorff properly $\bigvee $-definable manifolds with definable choice in an o-minimal structure $\N$. In particular, we show that given an $\N$-definably connected $\N$-definable group $G$ we have $1\to π_1(G)\to \tilde{G}\stackrel{p}\to G\to 1$ in the category of strictly properly $\bigvee $-definable groups with strictly properly $\bigvee $-definable homomorphisms, where $π_1(G)$ is the o-minimal fundamental group of $G$.
Let N be an o-minimal structure. In this paper we develop group extension and group cohomology theory over N and use it to describe the N-definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal'cev theorem and we describe the N-definable G-modules and the N-definable rings.
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 N-definably compact N-definable abelian groups. We compute the cohomology rings of N-definably compact N-definable groups, and we prove an o-minimal analog of the Poincare duality theorem, the Alexander dualti theorem, the Lefschetz duality theorem and the Lefschetz fixed point theorem.
The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in fact the case by presenting several examples of o-minimal structures and by listing some geometric properties of sets and maps definable in o-minimal structures. We omit here any reference to the pure model theory of o-minimal structures and to the theory of groups and rings definable in o-minimal structures.