Enlarged Mixed Shimura Varieties, Bi-Algebraic System and Some Ax Type Transcendental Results

Abstract

We develop a theory of enlarged mixed Shimura varieties, putting the universal vectorial bi-extension defined by Coleman into this framework to study some functional transcendental results of Ax type. We study their bi-algebraic systems, formulate the Ax-Schanuel conjecture and explain its relation with the logarithmic Ax theorem and the Ax-Lindemann theorem which we shall prove. All these bi-algebraic and transcendental results extend their counterparts for mixed Shimura varieties. In the end we briefly discuss about the André-Oort and Zilber-Pink type problems for enlarged mixed Shimura varieties.