相关论文: Model theory of special subvarieties and Schanuel-…

We prove the Ax-Schanuel theorem for a general (pure) Shimura variety.

A strongly special subvariety of a Shimura variety $S$ is (essentially) a subvariety associated to a semi-simple sub-Shimura datum. We prove that the set of probability measures canonically associated to to strongly special subvarieties is…

Let X be a Mumford-Tate variety, i.e., a quotient of a Mumford-Tate domain D by a discrete subgroup. Mumford-Tate varieties are generalizations of Shimura varieties. We define the notion of a special subvariety Y in X (of Shimura type), and…

Assuming the K\"unneth type standard conjecture, we propose a way to describe objects of mixed motives explicitly. We study their formal properties, and we associate mixed motives to schemes smooth and separated over a field. This serves as…

In this paper, we prove the bounded case of the Andre-Oort conjecture for special subvarieties in a mixed Shimura variety. This generalizes previous results of L. Clozel, E. Ullmo, and A. Yafaev. The proof is reduced to a special case of…

This is a largely expository article based on our previous work on arithmetic diagonal cycles on unitary Shimura varieties. We define a class of Shimura varieties closely related to unitary groups which represent a moduli problem of abelian…

We survey the theory of local models of Shimura varieties. In particular, we discuss their definition and illustrate it by examples. We give an overview of the results on their geometry and combinatorics obtained in the last 15 years. We…

We state an improved version of the conjecture of Langlands and Rapoport, and we prove the conjecture for a large class of Shimura varieties. In particular, we obtain the first proof of the (original) conjecture for Shimura varieties of…

We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.

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,…

Connected Shimura varieties are the quotients of hermitian symmetric domains by discrete groups defined by congruence conditions. We examine their relation with moduli varieties. (Handbook of Moduli).

We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main…

A systematic way of defining variants of a modeling language is useful for adopting the language to domain or project specific needs. Variants can be obtained by adopting the syntax or semantics of the language. In this paper, we take a…

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient…

We survey recent results on a conjecture of Kudla regarding the modularity of generating series of special cycle classes in toroidal compactifications of orthogonal and unitary Shimura varieties. Along the way, we formulate several…

Much of the work on Shimura varieties over the last thirty years has been devoted to constructing the theory that would follow from a good notion of motives, one incorporating the Hodge, Tate, and standard conjectures. These conjectures are…

This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and…

The theory of support varieties gives a rich supply of examples of thick subcategories of the stable module category of a finite group algebra. We study direct sum decompositions of such categories. We give examples where there are finer…

In this paper we prove the equidistribution of certain families of special subvarieties in Kuga varieties, which is a special case of the general Andre-Oort conjecture formulated for mixed Shimura varieties proposed by R.Pink. Our approach…

We present a general and comprehensive overview of recent developments in the theory of integral models of Shimura varieties of Hodge type. The paper covers the following topics: construction of integral models, their possible moduli…