Jump to ContentJump to Main Navigation
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192)$
Users without a subscription are not able to see the full content.

Ehud Hrushovski and François Loeser

Print publication date: 2016

Print ISBN-13: 9780691161686

Published to Princeton Scholarship Online: October 2017

DOI: 10.23943/princeton/9780691161686.001.0001

Show Summary Details
Page of

PRINTED FROM PRINCETON SCHOLARSHIP ONLINE (www.princeton.universitypressscholarship.com). (c) Copyright Princeton University Press, 2017. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in HSO for personal use (for details see http://www.universitypressscholarship.com/page/privacy-policy).date: 16 December 2017

The main theorem

The main theorem

Chapter:
(p.154) Chapter Eleven The main theorem
Source:
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192)
Author(s):

Ehud Hrushovski

François Loeser

Publisher:
Princeton University Press
DOI:10.23943/princeton/9780691161686.003.0011

This chapter introduces the main theorem, which states: Let V be a quasi-projective variety over a valued field F and let X be a definable subset of V x Γ‎superscript Script Small l subscript infinity over some base set V ⊂ VF ∪ Γ‎, with F = VF(A). Then there exists an A-definable deformation retraction h : I × unit vector X → unit vector X with image an iso-definable subset definably homeomorphic to a definable subset of Γ‎superscript w subscript Infinity, for some finite A-definable set w. The chapter presents several preliminary reductions to essentially reduce to a curve fibration. It then constructs a relative curve homotopy and a liftable base homotopy, along with a purely combinatorial homotopy in the Γ‎-world. It also constructs the homotopy retraction by concatenating the previous three homotopies together with an inflation homotopy. Finally, it describes a uniform version of the main theorem with respect to parameters.

Keywords:   main theorem, valued field, definable subset, deformation retraction, iso-definable subset, curve fibration, homotopy, inflation homotopy

Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.