We present a largely self-contained exposition of Ehud Hrushovski's proof of the function field Mordell-Lang conjecture beginning from the Zilber Dichotomy for differentially closed fields and separably closed fields. Our account is based on notes from a series of lectures given by Rahim Moosa at a MODNET workshop at Humboldt Universitat in Berlin in September 2007. We treat the characteristic 0 and characteristic p cases uniformly as far as is possible, then specialize to characteristic p in the final stages of the proof. We also take this opportunity to work out the extension of Hrushovski's ``Socle Theorem'' from the finite Morley rank setting to the finite U-rank setting, as is in fact required for Hrushovski's proof of Mordell-Lang to go through in positive characteristic.
Identifer | oai:union.ndltd.org:WATERLOO/oai:uwspace.uwaterloo.ca:10012/5141 |
Date | 29 April 2010 |
Creators | Eagle, Christopher |
Source Sets | University of Waterloo Electronic Theses Repository |
Language | English |
Detected Language | English |
Type | Thesis or Dissertation |
Page generated in 0.0015 seconds