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 University Press Scholarship Online: October 2017

DOI: 10.23943/princeton/9780691161686.001.0001

Show Summary Details
Page of
date: 13 December 2017

The smooth case

The smooth case

Chapter:
(p.177) Chapter Twelve The smooth case
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.0012

This chapter examines the simplifications occurring in the proof of the main theorem in the smooth case. It begins by stating the theorem about the existence of an F-definable homotopy h : I × unit vector X → unit vector X and the properties for h. It then presents the proof, which depends on two lemmas. The first recaps the proof of Theorem 11.1.1, but on a Zariski dense open set V₀ only. The second uses smoothness to enable a stronger form of inflation, serving to move into V₀. The chapter also considers the birational character of the definable homotopy type in Remark 12.2.4 concerning a birational invariant.

Keywords:   main theorem, smooth case, homotopy, Zariski dense open set, smoothness, inflation, definable homotopy type, birational invariant

University Press 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 .