Mumford-Tate groups together with their associated Mumford-Tate domains, as their definitions, tell rich information about Hodge classes. While Abelian varieties with complex multiplication serve as (relatively simple) examples, the study on Mumford-Tate groups in general cases could be much more complicated. In this expository talk I will briefly summarize the literature in the view of algebraic geometry and representation theory. The relation between Mumford-Tate groups and the Hodge-generic properties of period maps will be emphasized. I will also talk about some recent applications, including part of the latest results on the distribution of Hodge locus worked out by Baldi-Klingler-Ullmo. The talk is supposed to be accessible for graduate students in algebraic geometry or related fields.

A fundamental problem in algebraic geometry is to determine whether a given algebraic variety is birational to projective space. This is most prominently open for cubic fourfolds, i.e. hypersurfaces defined by a cubic polynomial in a five-dimensional projective space. A decade ago, Kuznetsov suggested an approach to this problem using the derived category of coherent sheaves. I will explain recent applications of this perspective to fundamental questions in hyperkahler geometry and Hodge theory, which in turn shed light on the original question about cubic fourfolds.

Moduli spaces of sheaves on K3 surfaces have been well-studied when defined over the complex numbers, because they are one of the known families of hyperkaehler varieties. However, many of their arithmetic properties when defined over an arbitrary field are still unknown. In this talk, I will tell you about a new result in this direction: two such moduli spaces of the same dimension, when defined over a finite field, have the same number of points defined over every finite field extension of the base field, which is surprising when the moduli spaces are not birational. The way to get at this result is to study the cohomology groups of the moduli spaces as Galois representations. Over an arbitrary field, we find that all of the cohomology groups are isomorphic as Galois representations.

Period map is a powerful tool to study geometric objects related to K3 surfaces and cubic 4-folds. In this talk, we focus on moduli of cubic 4-folds and sextic curves with specified symmetries and singularities. We identify the geometric (GIT) compactifications with the Hodge theoretic (Looijenga, mostly Baily-Borel) compactifications of locally symmetric varieties. As a corollary, the algebra of GIT invariants is identified with the algebra of automorphic forms on the corresponding period domains. One of the key inputs is the functorial property of semi-toric compactifications of locally symmetric varieties. Our work generalizes results of Matsumoto-Sasaki-Yoshida, Allcock-Carlson-Toledo, Looijenga-Swierstra and Laza-Pearlstein-Zhang. This is joint work with Zhiwei Zheng.

Many arithmetic properties of hyperbolic curves become apparent from embeddings into abelian varieties, in particular their Jacobians. For special curves, particularly those that arise as unramified double covers of another curve (of genus g), the Jacobian variety itself is decomposable. This leads to Prym varieties. These are principally polarized abelian varieties of dimension g-1. Having an explicit description of these varieties is an essential ingredient in many computational methods. We discuss an explicit construction for g equal to 4. This is joint work with Emre Can Sertoz.

In this talk I will discuss joint work with J. Achter and C. Vial showing that the image of the Abel--Jacobi map on algebraically trivial cycles descends to the field of definition for smooth projective varieties defined over subfields of the complex numbers. The main focus will be on applications to topics such as: descending cohomology geometrically, a conjecture of Orlov regarding the derived category and Hodge theory, and motivated admissible normal functions.

I will describe some aspects of the geometry of K3 surfaces in positive characteristic, including derived-category replacements for the classical Torelli theorem, supersingular analogues of twistor spaces, and some consequences for the arithmetic of certain elliptic curves over function fields. Some of the work described is joint with Daniel Bragg, and some is joint with Martin Olsson.

In this talk, I will discuss the problem of computing the cohomology of the general sheaf in a moduli space of sheaves on a surface. I will concentrate on the case of rational and K3 surfaces. The case of rational surfaces is joint work with Jack Huizenga and the case of K3 surfaces is joint work with Howard Nuer and Kota Yoshioka.

The Weak Lefschetz theorem (or the Lefschetz hyperplane theorem) states that for a smooth, projective variety Y and a smooth hyperplane section X in Y, the restriction map of cohomologies H^i(Y) to H^i(X) is an isomorphism for i less than dim{X}, and an injection when i equal to dim{X}. Analogues of this theorem have been conjectured for algebraic cycles. We will talk about some results in this area. We will also talk about such questions for vector bundles.

In the Langlands program, it is essential to understand spaces of Schwartz measures on quotient stacks like the (twisted) adjoint quotient of a reductive group. The generalization of this problem to spherical varieties calls for an understanding of the double quotient H\G/H, where H is a spherical subgroup of G. This has been studied by Richardson for symmetric spaces. In this talk, I will present a new approach, for spherical varieties "of rank one", based on Friedrich Knop's theory of the moment map and the invariant collective motion.

It has been 30 years since Koll\’ar and Shepherd-Barron published their groundbreaking paper describing a compactification of Gieseker’s moduli space of surfaces of general type. As with all compactifications, the work raised natural questions. What is the structure of these moduli spaces and the boundary in particular? What sorts of singularities might we expect to obtain? What types of surfaces give rise to divisors in the moduli space, and are these divisors smooth? We discuss general results bounding types of Wahl singularities, and use them to address these questions in the context of Horikawa-type surfaces.

Hodge structures on cohomology groups are fundamental invariants of algebraic varieties; they are parametrized by quotients $D/\Gamma$ of period domains by arithmetic groups. Except for a few very special cases, such quotients are never algebraic varieties, and this leads to many difficulties in the general theory. We explain how to partially remedy this situation by equipping $D/\Gamma$ with an o-minimal structure in which any period map is definable. The algebraicity of Hodge loci is an immediate consequence via a theorem of Peterzil--Starchenko. We further prove a general GAGA type theorem in the definable category, and deduce some finer algebraization results. This is joint work with Y. Brunebarbe, B. Klingler, and J.Tsimerman.

Elliptic curves are fundamental and well-studied objects in arithmetic geometry. However, much is still not known about many basic properties, such as the number of rational points on a "random" elliptic curve. We will discuss some conjectures and theorems about this "arithmetic statistics" problem, and then show how they can be applied to answer a related question about the number of integral points on elliptic curves over Q. In particular, we show that the second moment (and the average) for the number of integral points on elliptic curves over Q is bounded (joint work with Levent Alpoge)

Integration of differential forms against cycles on a complex manifold helps relate de Rham cohomology to singular cohomology, which forms the beginning of Hodge theory. The analogous story for p-adic manifolds, which is the subject of p-adic Hodge theory, is richer due to a wider variety of available cohomology theories (de Rham, etale, crystalline, and more) and torsion phenomena. In this talk, I will give a bird's eye view of this picture, guided by the recently discovered notion of prismatic cohomology that provides some cohesion to the story. (Based on joint work with Morrow and Scholze as well as work in progress with Scholze.)

Abstract: In the sixties, Serre constructed a smooth projective variety in characteristic p that cannot be lifted to characteristic 0. If a variety does not lift, a natural question is whether some variety related to it does. We construct a smooth projective variety that cannot be rationally dominated by a smooth projective variety that lifts.