Wei Ho : Integral points on elliptic curves
- Algebraic Geometry ( 349 Views )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)
Bhargav Bhatt : Interpolating p-adic cohomology theories
- Algebraic Geometry ( 318 Views )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.)
Yiannis Sakellaridis : Moment map and orbital integrals
- Algebraic Geometry ( 284 Views )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.
Sarah J Frei : Moduli spaces of sheaves on K3 surfaces and Galois representations
- Algebraic Geometry ( 263 Views )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.
Chenglong Yu : Moduli of symmetric cubic fourfolds and nodal sextic curves
- Algebraic Geometry ( 222 Views )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.
Ravindra Girivaru : Lefschetz type theorems for algebraic cycles and vector bundles.
- Algebraic Geometry ( 214 Views )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.
Greg Pearlstein : Boundary components of Mumford-Tate domains
- Algebraic Geometry ( 212 Views )Mumford-Tate groups arise as the natural symmetry groups of Hodge structures and their variations. I describe recent work with Matt Kerr on computing the Mumford-Tate group of the Kato-Usui boundary components of a degeneration of Hodge structure.
Yifeng Liu : Relative trace formulas and restriction problems for unitary groups
- Algebraic Geometry ( 212 Views )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.
Sebastian Casalaina-Martin : Distinguished models of intermediate Jacobians
- Algebraic Geometry ( 198 Views )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.
Leonardo Mihalcea : Quantum-K theory of the Grassmannians
- Algebraic Geometry ( 185 Views )If X is a Grassmannian (or an arbitrary homogeneous space) the 3-point, genus 0, Gromov-Witten invariants count rational curves of degree d satisfying certain incidence conditions - if this number is expected to be finite. If the number is infinite, Givental and Lee defined the K-theoretic Gromov-Witten invariants, which compute the sheaf Euler characteristic of the space of rational curves in question, embedded in Kontsevich's moduli space of stable maps. The resulting quantum cohomology theory - the quantum K-theory algebra - encodes the associativity relations satisfied by the K-theoretic Gromov-Witten invariants. In joint work with Anders Buch, we shown that the (equivariant) K-theoretic Gromov-Witten invariants for Grassmannians are equal to structure constants of the ordinary (equivariant) K-theory of certain two-step flag manifolds. We therefore extended - and also reproved - the "quantum=classical" phenomenon earlier discovered by Buch-Kresch-Tamvakis in the case of the usual Gromov-Witten invariants. Further, we obtained a Pieri and a Giambelli rule, which yield an effective algorithm to multiply any two classes in the quantum K algebra.
Benjamin Bakker : o-minimal GAGA and applications to Hodge theory
- Algebraic Geometry ( 184 Views )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.
Jimmy Dillies : On some K3 automorphisms
- Algebraic Geometry ( 183 Views )In order to construct a viable model of string theory, one seeks to build Calabi Yau threefolds with prescribed conditions. Borcea and Voisin were able to built a family of Calabi-Yau threefolds using elliptic curves and K3 surfaces admitting non symplectic involutions. We will display how the construction can be generalized by studying higher order non symplectic automorphisms on K3 surfaces
Thomas Haines : A Tannakian approach to Bruhat-Tits buildings and parahoric group schemes
- Algebraic Geometry ( 180 Views )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.
Anders Buch : Quantum cohomology of isotropic Grassmannians
- Algebraic Geometry ( 179 Views )The (small) quantum cohomology ring of a homogeneous space is a deformation of the classical cohomology ring, which uses the three point, genus zero Gromov-Witten invariants as its structure constants. I will present structure theorems for the quantum cohomology of isotropic Grassmannians, including a quantum Pieri rule for multiplication with the special Schubert classes, and a presentation of the quantum ring over the integers with the special Schubert classes as the generators. These results are new even for the ordinary cohomology of isotropic Grassmannians, and are proved directly from the definition of Gromov-Witten invariants by applying classical Schubert calculus to the kernel and span of a curve. This is joint work with A. Kresch and H. Tamvakis.
Ben Howard : Twisted Gross-Zagier theorems and central derivatives in Hida families
- Algebraic Geometry ( 177 Views )Abstract: Given a Hida family of modular forms, a conjecture of Greenberg predicts that L-functions of forms in the family should generically vanish to order 0 or 1 at the center of the functional equation. Similarly the Selmer groups of forms in the family should generically be of rank 0 or 1. In this talk I will prove a generalization of the Gross-Zagier theorem, relating Neron-Tate heights of special points on the modular Jacobian J_1(N) to derivatives of L-functions, and explain how this generalization can be used to verify Greenberg's conjecture for any particular Hida family.
Paul Aspinwall : D-Branes and Triangulated Categories of Matrix Factorizations
- Algebraic Geometry ( 177 Views )Orlov has recently proven a remarkable equivalence between the derived category of coherent sheaves on a Calabi-Yau variety and a particular category of matrix factorizations. I review this work and explain why it's so interesting to string theorists.
Paolo Stellari : Derived Torelli Theorem and Orientation
- Algebraic Geometry ( 167 Views )We will consider the problem of describing the group of autoequivalences of the derived categories of smooth K3 surfaces. After recalling the (Twisted) Derived Torelli Theorem, we will focus on its conjectural refinement, involving the preservation of the orientation of some 4-dimensional space in the total cohomology lattice. The conjecture will be proved in the generic (non-projective) case and we will discuss a few results which will possibly lead to the proof of the conjecture for smooth projective K3 surfaces. This is a joint work with D. Huybrechts and E. Macri'.
Olivier Debarre : Fake projective spaces and fake tori
- Algebraic Geometry ( 167 Views )We discuss compact complex manifolds which ``look like'' complex projective spaces or complex tori. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to Pn is isomorphic to Pn. This holds for all n by Aubin and Yau's proofs of the Calabi conjecture. One may conjecture that it should be sufficient to assume that the integral cohomology rings H*(X,Z) and H*(Pn,Z) are isomorphic.
Catanese observed that complex tori are characterized among compact Kähler manifolds X by the fact that their integral cohomology rings are exterior algebras on H1(X,Z) and asked whether this remains true under the weaker assumption that the rational cohomology ring is an exterior algebra on H1(X,Q). (We call the corresponding compact Kähler manifolds ``rational cohomology tori".) We give a negative answer to Catanese's question by producing explicit examples. We also prove some structure theorems for rational cohomology tori. This is work in collaboration with Z. Jiang, M. Lahoz, and W. F. Sawin.
Prakash Belkale : Topology of hyperplane arrangements and tensor product invariants
- Algebraic Geometry ( 166 Views )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.
Wenjing Liao : Spectral estimation on a continuum
- Algebraic Geometry ( 166 Views )The problem of spectral estimation, namely recovering the frequency contents of a signal arises in various applications, including array imaging and remote sensing. In these fields, the spectrum of natural signals is composed of a few atoms on the continuum of a bounded domain. After the emergence of compressive sensing, spectral estimation was widely explored with an emphasis on sparse measurements. However, with a few exceptions, the spectrum considered in the compressive sensing community is assumed to be located on a DFT grid, which results in a large gridding error.
In this talk, I will present the MUltiple SIgnal Classification (MUSIC) algorithm and some modified greedy algorithms, and show how the problem of gridding error can be resolved by these methods. Our work focuses on a stability analysis as well as numerical studies on the performance of these algorithms. Moreover, the MUSIC algorithm features its super-resolution effect, i.e., the capability of resolving closely spaced frequencies. We will provide some numerical experiments and theoretical justifications to show that the resolution length of MUSIC follows a power law with respect to the minimum separation of frequencies.
Patricia Hersh : Topology and combinatorics of regular CW complexes
- Algebraic Geometry ( 164 Views )Anders Björner characterized which finite, graded partially ordered sets (posets) are closure posets of finite, regular CW complexes, and he also observed that a finite, regular CW complex is homeomorphic to the order complex of its closure poset. One might therefore hope to use combinatorics to determine topological structure of stratified spaces by studying their closure posets; however, it is possible for two different CW complexes with very different topological structure to have the same closure poset if one of them is not regular. I will talk about a new criterion for determining whether a finite CW complex is regular (with respect to a choice of characteristic functions); this will involve a mixture of combinatorics and topology. Along the way, I will review the notions from topology and combinatorics we will need. Finally I will discuss an application: the proof of a conjecture of Fomin and Shapiro, a special case of which says that the Schubert cell decomposition of the totally nonnegative part of the space of upper triangular matrices with 1's on the diagonal is a regular CW complex homeomorphic to a ball.
Melanie Matchett Wood : Motivic Discriminants
- Algebraic Geometry ( 163 Views )We consider the "limiting behavior" of *discriminants* (or their complements), by which we mean informally the closed locus in some parameter space of some type of object where the objects have singularities. We focus on the collection of unordered points on a variety X, and linear systems on X. These are connected --- we use the first to understand the second. We describe their classes in the Grothendieck ring of varieties, as the number of points gets large, or as the line bundle gets very positive. As applications, (i) we show the motivic analogue of Poonen's point-counting result: the motivic probability of a section of L being smooth (as L gets large) is 1 / Z_X( \A^{-\dim X - 1} ) (where Z_X is the motivic zeta function), and (ii) show a priori unexpected structure in configuration spaces of points on a variety, with topological and point-counting consequences. Some low-tech examples: if v is a partition of n \leq 9, and v \neq (1,1,2,2,3), then the v-discriminant in the space of degree n polynomials (those polynomials with those root multiplicities, or worse) can be cut-and-pasted into affine space. (Question: over \C, does the complement have only two nonvanishing cohomology groups? What structure remains when n is larger?) This is joint work with Ravi Vakil.
Parker Lowrey : Virtual Grothendieck-Riemann-Roch via derived schemes
- Algebraic Geometry ( 163 Views )The usefulness of the various Riemann-Roch formulas as computational tools is well documented in literature. Grothendieck-Riemann-Roch is a commutative diagram relating pullback in K-theory to the pullback of associated Chow invariants for locally complete intersection (l.c.i.) morphisms. We extend this notion to quasi-smooth morphisms between derived schemes, this is the "derived" analog of l.c.i. morphisms and it encompasses relative perfect obstruction theories. We will concentrate on the naturality of the construction from the standpoint of pure intersection theory and how it interacts with the virtual Gysin homomorphism defined by Behrend-Fantechi. Time permitting we will discuss the relationship with existing formulas, i.e., Ciocan-Fonanine, Kapranov, Fantechi, and Goettsche.
Chad Schoen : Threefolds with trivial canonical sheaf in positive characteristic
- Algebraic Geometry ( 163 Views )We study smooth, projective varieties with trivial canonical sheaf. Properties of such varieties over the complex numbers will be recalled, especially in dimension 3 in the case that the first cohomology group is zero. We construct examples in positive characteristic which have quite different properties. This leads us to explore the notion of supersingularity and to pose some open questions.
Humberto Diaz : The Rost nilpotence principle
- Algebraic Geometry ( 159 Views )In this talk, I will discuss Chow motives and the Rost nilpotence principle, which played a role in Voevodsky's celebrated proof of the Milnor conjecture. Conjectural in general, this principle is useful in determining when motivic decompositions obey Galois descent. After covering some preliminaries, I will give an overview of a new proof of this principle for surfaces over a perfect field.
Tatsunari Watanabe : Weighted completion and Generic curves in positive characteristics
- Algebraic Geometry ( 151 Views )It follows from results in Teichmüller Theory that generic curves of type (g,n) in characteristic zero have only n rational points that come from the tautological points. Richard Hain gave an algebraic proof of the theorem. Extending his algebraic method to positive characteristics, we prove the analogous result for generic curves in positive characteristics. The primary tool used is the theory of weighted completion, which was developed by Richard Hain and Makoto Matsumoto. It linearises a profinite group such as arithmetic mapping class groups. In our case, the weighted completion connects topology and algebraic geometry in positive characteristics.
Jason Polak : Exposing relative endoscopy
- Algebraic Geometry ( 145 Views )For a reductive algebraic group G with Lie algebra g and involution \theta we define relative orbital integrals with respect to G acting on the -1 eigenspace of \theta on g. We prove some fundamental lemmas relating these orbital integrals to relative orbital integrals on smaller groups, providing the first example of a theory of relative endoscopy in our setting