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.

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.

In this talk, I will introduce some new relative trace formulas toward the global Gan-Gross-Prasad conjecture for unitary groups, which generalize the trace formulas of Jacquet-Rallis and Flicker. In particular, I will state the corresponding conjecture of relative fundamental lemmas. A relation between the well-studied Jacquet-Rallis case the equal-rank case will also be discussed.

In 1990, Candelas, de la Ossa, Green, and Parkes used the then-new technique of mirror symmetry to predict the number of rational curves of each fixed degree on a quintic threefold. The techniques used in the prediction were subsequently understood in Hodge-theoretic terms: the predictions are encoded in a power-series expansion of a quantity which describes the variation of Hodge structures, and in particular this power-series expansion is calculated from the periods of the holomorphic three-form on the quintic, which satisfy the Picard-- Fuchs differential equation. In 2006, Johannes Walcher made an analogous prediction for the number of holomorphic disks on the complexification of a real quintic threefold whose boundaries lie on the real quintic, in each fixed relative homology class. (The predictions were subsequently verified by Pandharipande, Solomon, and Walcher.) This talk will report on recent joint work of Walcher and the speaker which gives the Hodge- theoretic context for Walcher's predictions. The crucial physical quantity "domain wall tension" is interpreted as a Poincar\'e normal function, that is, a holomorphic section of the bundle of Griffiths intermediate Jacobians. And the periods are generalized to period integrals of the holomorphic three-form over appropriate 3-chains (not necessarily closed), which leads to a generalization of the Picard--Fuchs equations.

Given an elliptic curve over a finite field, one might reasonably ask for the chance that it has a rational point of order $\ell$. More generally, what is the chance that a curve drawn from a family over a finite field has a point of order $\ell$ on its Jacobian? The answer is encoded in an $\ell$-adic representation associated to the family in question. In this talk, I'll answer this question for hyper- or trielliptic curves, and give some results concerning an arbitrary family of curves. ** Keeping in mind what you said about the audience, I'll focus on the geometric and topological ideas.

NOTE SEMINAR TIME: NOON!! Abstract: Let p be a prime number, F a field containing a primitive pth root of unity, and E/F a cyclic extension of degree p, with Galois group G. Let G_E be the absolute Galois group of E. The cohomology groups H^i(E,Fp)=Hî(G_E,Fp) possess a natural structure as FpG-modules and decompose into direct sums of indecomposables. In the 1960s Boreviè and Faddeev gave decompositions of E^*/E^*p -- the case i=1 -- for local fields. We describe the case i=1 for arbitrary fields, and then, using the Bloch-Kato Conjecture, we also determine the case i>1. No small surprise arises from the fact that there exist indecomposable FpG-modules which never appear in these module decompositions. We give several consequences of these results, notably a generalization of the Schreier formula for G_E, connections with Demu¹kin groups, and new families of pro-p-groups that cannot be realized as absolute Galois groups. These results have been obtained in collaboration with D. Benson, J. Labute, N. Lemire, and J. Mináè.

For the general linear group, the Bruhat-Tits building can be realized explicitly in terms of periodic lattice chains in the standard representation. Further, each parahoric group scheme can be described as an automorphism group of a particular chain. I will explain a Tannakian formalism which establishes analogous descriptions for arbitrary connected reductive groups over complete discretely valued fields. This complements previously known results for classical groups, and fits in with Mumford's Geometric Invariant Theory, where spherical buildings are similarly described. This is joint work with Kevin Wilson.

In the first part of this talk, we consider, in the context of an arbitrary hyperplane arrangement, the map between compactly supported cohomology to the usual cohomology of a local system. A formula (i.e., an explicit algebraic de Rham representative) for a generalized version of this map is obtained. These results are applied in the second part to invariant theory: Schechtman and Varchenko connect invariant theoretic objects to the cohomology of local systems on complements of hyperplane arrangements: To determine the image of invariants in cohomology. In suitable cases (e.g., corresponding to positive integral levels), the space of invariants is shown to acquire a mixed Hodge structure over a cyclotomic field. This is joint work with P. Brosnan and S. Mukhopadhyay.

Abstract: Science, and perhaps all learning, is the problem of inferring causal relationships from observations. It turns out that algebraic geometry can provide powerful intuition and methods applicable to causal inference. The relevant theory of graphical causal models is a major entry point to the budding field of algebraic statistics, where algebraic geometry meets statistical modeling, and this talk will give an introduction to it from the perspective of an algebraic geometer. I'll introduce some conceptual tools and methods that are peculiar to algebraic statistics, and work through an example such causal inference computation using the commutative algebra software Macaulay2. At the end I'll review some of my research on hidden Markov models and varieties, and their close connection to matrix product state models of quantum-entangled qubits.

We will give a survey of recent progress on constructing local system over punctured projective lines using techniques from automorphic forms and geometric Langlands. Applications include solutions of particular cases of the inverse Galois problem and existence of motives with exceptional Galois groups.

We encode arbitrary finite impartial combinatorial games in terms of lattice points in rational convex polyhedra. Encodings provided by these lattice games can be made particularly efficient for octal games, which we generalize to squarefree games. These encompass all heap games in a natural setting where the Sprague-Grundy theorem for normal play manifests itself geometrically. We provide polynomial-time algorithms for computing strategies for lattice games provided that they have a certain algebraic structure, called an affine stratification.

The toric fiber product is a general procedure for gluing two ideals, homogeneous with respect to the same grading, to produce a new homogeneous ideal. Toric fiber products generalize familiar constructions in commutative algebra like adding monomial ideals and the Segre product. We will introduce the construction, discuss its geometrical content, and give an overview over the various preserved properties. Toric fiber products have been applied most successfully to families of ideals parametrized by combinatorial objects like graphs. We will show how to use toric fiber product to prove structural theorems about classes of ideals from algebraic statistics.

We use a problem in arithmetic dynamics as motivation to introduce new computational methods in algebraic number theory, as well as new techniques for studying quadratic points on algebraic curves.

Inspired by Kontsevich's homological mirror symmetry conjecture, I will show how to construct new classes of automorphisms of the bounded derived category of coherent sheaves on a smooth quasi-projective Calabi-Yau variety. Examples will be presented. I will also explain the 'local' character of the picture.

In this talk I will describe a proof of a conjecture made by Beilinson et al concerning the motivic complex in the weight three case. Then I will explain a new way to define the analytic continuation of the multiple polylogarithms which provides an appproach to defining the good variations of mixed Hodge-Tate structures associated to the multiple polylogarithms explicitly. As an application I will define the single-valued real analytic version of these multi-valued functions and which should be connected to the special values of multiple Dedekind zeta functions over general number fields.