We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we discuss in a systematic and unified way several examples indicating the main ideas of the proofs and the necessary changes in method for different situations: exponential covers, modular and Shimura curves, Shimura and abelian varieties, and coherent families of smooth covers.
使用 AI 将内容摘要翻译为中文，便于快速阅读
使用 AI 分析这篇文章的核心发现、关键要点和深度见解
由 DeepSeek AI 提供分析 · 首次使用需配置 API Key