Intersection theory for o-minimal manifolds

Annals of Pure and Applied Logic 107 (1-3):87-119 (2001)

We develop an intersection theory for definable Cp-manifolds in an o-minimal expansion of a real closed field and we prove the invariance of the intersection numbers under definable Cp-homotopies . In particular we define the intersection number of two definable submanifolds of complementary dimensions, the Brouwer degree and the winding numbers. We illustrate the theory by deriving in the o-minimal context the Brouwer fixed point theorem, the Jordan-Brouwer separation theorem and the invariance of the Lefschetz numbers under definable Cp-homotopies. A. Pillay has shown that any definable group admits an abstract manifold structure. We apply the intersection theory to definable groups after proving an embedding theorem for abstract definably compact Cp-manifolds. In particular using the Lefschetz fixed point theorem we show that the Lefschetz number of the identity map on a definably compact group, which in the classical case coincides with the Euler characteristic, is zero
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(00)00027-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,951
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

One-Dimensional Groups Over an o-Minimal Structure.Vladimir Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):269-277.
Groups of Dimension Two and Three Over o-Minimal Structures.A. Nesin, A. Pillay & V. Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):279-296.

Add more references

Citations of this work BETA

O -Minimal Λ M -Regular Stratification.Andreas Fischer - 2007 - Annals of Pure and Applied Logic 147 (1):101-112.
O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.

View all 7 citations / Add more citations

Similar books and articles

Transfer Methods for o-Minimal Topology.Alessandro Berarducci & Margarita Otero - 2003 - Journal of Symbolic Logic 68 (3):785-794.
Quasi-o-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
On Dp-Minimal Ordered Structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
The Semantics of Entailment Omega.Yoko Motohama, Robert K. Meyer & Mariangiola Dezani-Ciancaglini - 2002 - Notre Dame Journal of Formal Logic 43 (3):129-145.
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.Mingzhong Cai - 2010 - Notre Dame Journal of Formal Logic 51 (4):443-455.
On Minimal Structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.
A Monotonicity Theorem for Dp-Minimal Densely Ordered Groups.John Goodrick - 2010 - Journal of Symbolic Logic 75 (1):221-238.


Added to PP index

Total views
3 ( #1,111,085 of 2,235,641 )

Recent downloads (6 months)
2 ( #754,746 of 2,235,641 )

How can I increase my downloads?


My notes

Sign in to use this feature