Parker Lowrey : Virtual Grothendieck-Riemann-Roch via derived schemes
- Algebraic Geometry ( 142 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.
Will Donovan : Noncommutative deformations and the birational geometry of 3-folds
- Algebraic Geometry ( 129 Views )I will speak about recent work with Michael Wemyss (arXiv:1309.0698), applying noncommutative deformation theory to study the birational geometry of 3-folds. I will give a brief introduction to noncommutative deformations, and explain how every flippable or floppable rational curve in a 3-fold has a naturally associated algebra of noncommutative deformations. This construction yields new information about the (commutative) geometry of the 3-fold, and provides a new tool to differentiate between flops. As a further application, we show how the noncommutative deformation algebra controls the homological properties of a floppable curve, relating a Fourier-Mukai flop-flop functor and a spherical twist about the universal family over the noncommutative deformation algebra. I will also explain work in progress applying this approach to other geometric situations, and to higher dimensions.
Paul Johnson : Topology and combinatorics of Hilbert schemes of points on orbifolds
- Algebraic Geometry ( 118 Views )The Hilbert scheme of n points on C^2 is a smooth manifold of dimension 2n. The topology and geometry of Hilbert schemes have important connections to physics, representation theory, and combinatorics. Hilbert schemes of points on C^2/G, for G a finite group, are also smooth, and their topology is encoded in the combinatorics of partitions. When G is a subgroup of SL_2, the topology and combinatorics of the situation are well understood, but much less is known for general G. After outlining the well-understood situation, I will discuss some conjectures in the general case, and a combinatorial proof that their homology stabilizes.
David Geraghty : Modularity lifting beyond the numerical coincidence of Taylor and Wiles
- Algebraic Geometry ( 90 Views )Modularity lifting theorems were introduced by Taylor and Wiles and formed a key part of the proof of Fermat's Last Theorem. Their method has been generalized successfully by a number authors but always with the restriction that the Galois representations in question have regular weight. Moreover, the sought after automorphic representation must come from a group that admits Shimura varieties. I will describe a method to overcome these restrictions, conditional on certain conjectures which themselves can be established in a number of cases. This is joint with Frank Calegari.
Thomas Haines : A Tannakian approach to Bruhat-Tits buildings and parahoric group schemes
- Algebraic Geometry ( 165 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.
Sam Grushevsky : Stable cohomology of compactifications of the moduli spaces of abelian varieties
- Algebraic Geometry ( 123 Views )Cohomology of A_g, the moduli space of principally polarized complex g-dimensional abelian varieties, is the same as the cohomology of Sp(2g,Z). By Borel's result on group homology it turns out that for g>k the cohomology H^k(A_g) is independent of g - it is then called the stable cohomology of A_g. Similarly, the stable cohomology of the moduli space of curves was the subject of Mumford's conjecture, proven by Madsen and Weiss by topological methods. In a joint work with Klaus Hulek and Orsola Tommasi we show that the cohomology of the perfect cone toroidal compactification of A_g stabilizes, and compute some of this stable cohomology using algebro-geometric methods.
Christine Berkesch Zamaere : Torus actions and holonomic D-modules
- Algebraic Geometry ( 88 Views )Just as algebraic varieties with group actions admit quotients, we provide a quotient construction for D-modules with torus actions that is with several important properties in algebraic analysis. As an application, we apply tools from toric geometry to obtain new information about hypergeometric systems of PDEs studied by Gauss, Appell, and Lauricella, among others. In particular, we determine when such "Horn systems" are regular holonomic. This is joint work with Laura Felicia Matusevich and Uli Walther.
Emanuele Macri : MMP for moduli spaces of sheaves on K3 surfaces and Cone Conjectures
- Algebraic Geometry ( 133 Views )We report on joint work with A. Bayer on how one can use wall-crossing techniques to study the birational geometry of a moduli space M of Gieseker-stable sheaves on a K3 surface X. In particular: (--) We will give a "modular interpretation" for all minimal models of M. (--) We will describe the nef cone, the movable cone, and the effective cone of M in terms of the algebraic Mukai lattice of X. (--) We will establish the so called Tyurin/Bogomolov/Hassett-Tschinkel/Huybrechts/Sawon Conjecture on the existence of Lagrangian fibrations on M.
Andrew Critch : Causality and Algebraic Geometry
- Algebraic Geometry ( 143 Views )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.
Farbod Shokrieh : Divisors on graphs, connected flags, and syzygies
- Algebraic Geometry ( 125 Views )Associated to every finite graph G there is a canonical ideal which encodes the linear equivalences of divisors on G. We study this ideal and its associated initial ideal. We give an explicit description of their syzygy modules and the Betti numbers in terms of the "connected flags" of G. This resolves open questions posed by Postnikov-Shapiro, Perkinson-Perlmen-Wilmes, and Manjunath-Sturmfels. This is a joint work with Fatemeh Mohammadi.
Jeremy Rouse : Quadratic forms representing all odd positive integers
- Algebraic Geometry ( 118 Views )We consider the problem of classifying all positive-definite integer-valued quadratic forms that represent all positive odd integers. Kaplansky considered this problem for ternary forms, giving a list of 23 candidates, and proving that 19 of those represent all positive odds. (Jagy later dealt with a 20th candidate.) Assuming that the remaining three forms represent all positive odds, we prove that an arbitrary, positive-definite quadratic form represents all positive odds if and only if it represents the odd numbers from 1 up to 451. This result is analogous to Bhargava and Hanke's celebrated 290-theorem. In addition, we prove that these three remaining ternaries represent all positive odd integers, assuming the Generalized Riemann Hypothesis. This result is made possible by a new analytic method for bounding the cusp constants of integer-valued quaternary quadratic forms $Q$ with fundamental discriminant. This method is based on the analytic properties of Rankin-Selberg $L$-functions, and we use it to prove that if $Q$ is a quaternary form with fundamental discriminant, the largest locally represented integer $n$ for which $Q(\vec{x}) = n$ has no integer solutions is $O(D^{2 + \epsilon})$.
Nicolas Addington : Cubic fourfolds and K3 surfaces
- Algebraic Geometry ( 129 Views )Cubic fourfolds behave in many ways like K3 surfaces. Certain cubics -- conjecturally, the ones which are rational -- have K3s associated to them geometrically. Hassett has studied the cubics with K3s associated to them at the level of Hodge theory, and Kuznetsov has studied the cubics with K3s associated to them at the level of derived categories. These two notions of having an associated K3 should coincide. We prove they coincide generically. That is, Hassett's cubics form a countable union of irreducible Noether-Lefschetz divisors in moduli space, and Kuznetsov's cubics are a dense subset of these, forming a non-empty, Zariski open subset in each divisor.
Yifeng Liu : Relative trace formulas and restriction problems for unitary groups
- Algebraic Geometry ( 193 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.
Melanie Matchett Wood : Motivic Discriminants
- Algebraic Geometry ( 147 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.
Richard Schoen : An optimal eigenvalue problem and minimal surfaces in the ball
- Algebraic Geometry ( 88 Views )We consider the spectrum of the Dirichlet-Neumann map. This is the spectrum of the operator which sends a function on the boundary of a domain to the normal derivative of its harmonic extension. Along with the Dirichlet and Neumann spectrum, this problem has been much studied. We show how the problem of finding domains with fixed boundary area and largest first eigenvalue is connected to the study of minimal surfaces in the ball which meet the boundary orthogonally (free boundary solutions). We describe some conjectures on optimal surfaces and some progress toward their resolution. This is joint work with Ailana Fraser.
Alan Guo : Lattice point methods for combinatorial games
- Algebraic Geometry ( 125 Views )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.
Thomas Kahle : Toric Fiber Products
- Algebraic Geometry ( 117 Views )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.
Sam Payne : Boundary complexes and weight filtrations
- Algebraic Geometry ( 116 Views )The boundary complex of an algebraic variety is the dual complex of the boundary divisor in a compactification of a log resolution. I will present recent work showing that the homotopy type of this complex is independent of the choice of resolution and compactification, and give relations between these complexes and Deligne's weight filtration on singular cohomology.
Franziska Hinkelmann : Analysis of discrete models of biological systems using computer algebra
- Algebraic Geometry ( 115 Views )Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, bounded Petri nets, and agent-based models. Simulation is a common practice for analyzing discrete models, but many systems are far too large to capture all the relevant dynamical features through simulation alone. We convert discrete models into algebraic models and apply tools from computational algebra to analyze their dynamics. The key feature of biological systems that is exploited by our algorithms is their sparsity: while the number of nodes in a biological network may be quite large, each node is affected only by a small number of other nodes. In our experience with models arising in systems biology and random models, this structure leads to fast computations when using algebraic models, and thus efficient analysis. All algorithms and methods are available in our package Analysis of Dynamic Algebraic Models (ADAM), a user friendly web-interface that allows for fast analysis of large models, without requiring understanding of the underlying mathematics or any software installation. ADAM is available as a web tool, so it runs platform independent on all systems.
Patricia Hersh : Topology and combinatorics of regular CW complexes
- Algebraic Geometry ( 144 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.
Dick Hain : What is an algebraic group?
- Algebraic Geometry ( 112 Views )Algebraic groups are important in algebraic and arithmetic geometry. This talk will be a general introduction to them. I will discuss some basic example (elliptic curves, GLn, ...) and then introduce linear algebraic groups and affine algebraic groups. There will be lots of examples, which will help explain why they are important.
Arend Bayer : Stability conditions on the local P2 revisited
- Algebraic Geometry ( 127 Views )We will give a description of the space of Bridgeland stability conditions on the derived category of sheaves on P2 sitting inside a compact Calabi-Yau threefold. We will discuss its fractal-like boundary, its relation with the group of auto-equivalences, with mirror symmetry, and with counting invariants for both P2 and the quotient stack [C3/Z_3]. This is joint work with E. Macri.
Pete Clark : (Postponed to a later date) Algebraic Curves Violating the Hasse Principle
- Algebraic Geometry ( 118 Views )The celebrated "Hasse Principle" holds for plane conics over a number field, but generally not for algebraic curves of positive genus. Isolated examples of curves violating the Hasse Principle go back to Lind, Reichardt and Selmer in the 1940s and 1950s. Many more examples have been found since, and it now seems likely that the Hasse principle should, in some suitable sense, most often be false. However it is challenging to make, let alone prove, a precise statement to this effect. In talk I will discuss certain "anti-Hasse principles", some which are conjectural and others (more modest) which are known to hold. In particular I will address the problem of constructing curves of any given genus g >= 1 over any global field which violate the Hasse