### stanford algebraic geometry seminar 2013-14

Fridays 3:15-4:15 in 383-N (with exceptions)

 October 4 Alexei Oblomkov (U Mass Amherst) Plane curve singularities, knot homology and Hilbert scheme of points on plane October 25 Francois Greer (Stanford) Picard Groups of Moduli Spaces of K3 Surfaces November 1 Bhargav Bhatt (IAS) Lefschetz for local Picard groups November 8 no seminar (WAGS weekend) November 9-10 Western Algebraic Geometry Symposium, at UCSD speakers:  Aaron Bertram, Ana-Maria Castravet, Sabin Cautis, Zhiyuan Li, Aaron Pixton, Alexey Zinger November 15 Mark de Cataldo (Stonybrook University) The projectors of the decomposition theorem are absolute Hodge November 22 Allen Knutson (Cornell) Conormal varieties and the Temperley-Lieb algebra November 29 no seminar (Thanksgiving break) Monday December 2, 2:30 pm, 383-N Yuri Tschinkel (NYU – Courant Institute, and Simons Foundation) Igusa integrals January 31 Nick Katz (Princeton) Equidistribution questions arising from universal extensions Tuesday February 18, 4 pm, 383-N (joint with topology) Akhil Mathew (Harvard) The Galois group of a stable homotopy theory Friday February 28 Bernd Sturmfels (UC Berkeley) The Euclidean Distance Degree of an algebraic variety Friday March 7 (joint with number theory) Kiran Kedlaya (UCSD) Sato-Tate groups of abelian surfaces May 2 June Huh (Michigan) Homology classes in algebraic varieties: nef, effective, and prime May 2 Zhiyuan Li (Stanford) Special cycles on Shimura varieties of orthogonal type May 16 Qile Chen (Columbia) A^1-curves on quasi-projective varieties May 23 Aaron Pixton (Clay Mathematical Institute) Double ramification cycles and tautological relations May 30 John Lesieutre (MIT) Negative answers to some positivity questions

### abstracts for 2013-14 seminars

(The seminar webpage is here.)

Alexei Oblomkov (U Mass Amherst)
October 4, 2013

Plane curve singularities, knot homology and Hilbert scheme of points on plane

I will present a conjectural formula for the Poincare polynomial of the Hilbert scheme of points on a planar curve (joint with Rasmussen and Shende).  The formula is written in terms of the Khovanov-Rozansky invariants of the links of the singularities of the curve.  In the case of toric curve $\{ x^m=y^n\}$ the Poincare polynomial also could be written in terms of equivariant Euler characteristic of some sheaf of some particular equivariant sheaf on $\text{Hilb}^n (\mathbb{C}^2)$ (joint with Yun). If time permits I will also discuss cohomology ring of the compactified Jacobian of the toric curve and the conjectural description of the ring for general curve singularity (joint with Yun).

——————————————

Francois Greer (Stanford)
October 25, 2013

Picard Groups of Moduli Spaces of K3 Surfaces

Polarized K3 surfaces of genus $g$ can be thought of as families of canonical curves.  As such, their moduli space $K_g$ has similar properties to $M_g$.  For instance, both are unirational for low values of g, and both have discrete Picard group.  In this talk, we will use the explicit unirationality of $K_g$ in the range of Mukai models to compute its Picard number, and verify the Noether-Lefschetz conjecture for genus up to 10.  This is joint work with Zhiyuan Li and Zhiyu Tian.

——————————————

Bhargav Bhatt (IAS)
November 1, 2013

Lefschetz for local Picard groups

A classical theorem of Lefschetz asserts that non-trivial line bundles on a smooth projective variety of dimension $\geq 3$ remain non-trivial upon restriction to an ample divisor. In SGA2, Grothendieck recast this result in purely local algebraic terms. Answering a question raised recently by Koll\’ar, we will explain how this local reformulation remains true under milder hypotheses than those imposed in SGA2. Our approach relies on a vanishing theorem in characteristic p, and formal geometry over certain very large (non-noetherian) schemes. This is joint work with Johan de Jong.

——————————————

Mark de Cataldo (Stony Brook University)
November 15, 2013

The projectors of the decomposition theorem are absolute Hodge

I report on joint work with Luca Migliorini at Bologna. If you have a map of complex projective manifolds, then the rational cohomology of the domain splits into a direct sum of pieces in a way dictated by the singularities of the map. By Poincaré duality, the corresponding projections can be viewed as cohomology classes (projectors) on the self-product of the domain. These projectors are Hodge classes, i.e. rational and of type (p,p) for the Hodge decomposition. Take the same situation after application of an automorphism of the ground field of complex numbers. The new projectors are of course Hodge classes. On the other hand, you can also transplant, using the field automorphism, the old projectors into the new situation and it is not clear that the new projectors and the transplants of the old projectors coincide. We prove they do, thus proving that the projectors are absolute Hodge classes, i.e. their being of Hodge type survives the totally discontinuous process of a field automorphism.  We also prove that these projectors are motivated in the sense of Andre.

——————————————

Allen Knutson (Cornell)
November 22, 2013

Conormal varieties and the Temperley-Lieb algebra

Each permutation pi has an associated determinantal variety called its “matrix Schubert variety”. If one degenerates these determinants to monomials, the components of the resulting scheme are naturally indexed by reduced words for pi as a product of simple reflections ([K-Miller 2005]). It is particularly notable that unlike in most limits of this sort, the resulting scheme has no multiplicities on its components.

I’ll describe the “conormal variety” to a variety, which shows up in many contexts (e.g. projective duality), and extend this degeneration idea to the conormal varieties of the matrix Schubert varieties. The limit scheme now includes the conormal variety to the original limit, and to its projective dual, but also some fundamentally new components which appear with multiplicity. Then I’ll state some conjectures, in particular that the components are naturally indexed by words in the generators of the Temperley-Lieb algebra, from which one can also predict the multiplicities.

This work is joint with Paul Zinn-Justin.

——————————————

Yuri Tschinkel (Courant (=NYU) and the Simons Foundation)
Monday, December 2, 2013, 2:30 pm (note unusual date and time)

Igusa integrals

Geometric Igusa integrals appear as important technical tools in the study of rational and integral points on algebraic varieties. I will describe some of these applications (joint work with A. Chambert-Loir).

——————————————

Nick Katz (Princeton)
January 31, 2014

Equidistribution questions arising from universal extensions

——————————————

Akhil Mathew (Harvard)
Tuesday February 18, 4 pm, 383-N (joint with topology)

The Galois group of a stable homotopy theory

To a “stable homotopy theory” (a presentable, symmetric monoidal stable ∞-category), we naturally associate a category of finite ́etale algebra objects and, using Grothendieck’s categorical machine, a profinite group that we call the Galois group. This construction builds on, and generalizes, ideas of many authors, and includes the ́etale fundamental group of algebraic geometry as a special case. We calculate the Galois groups in several examples, both in settings of rational and p-adic homotopy and in “chromatic” stable homotopy theories. For instance, we show that the Galois group of the periodic E∞-algebra of topological modular forms is trivial, and, extending work of Baker and Richter, that the Galois group of K(n)-local stable homotopy theory is an extended version of the Morava stabilizer group.

——————————————

Bernd Sturmfels (Berkeley)
February 28, 2014

The Euclidean Distance Degree of an Algebraic Variety

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. The Euclidean distance degree is the number of critical points of this optimization problem. We focus on varieties encountered in engineering applications, and we discuss exact computational methods. Our running example is the Eckart-Young Theorem which states that the nearest point map for low rank matrices is given by the singular value decomposition. This is joint work with Jan Draisma, Emil Horobet, Giorgio Ottaviani, Rekha Thomas.

——————————————

Kiran Kedlaya (UCSD)
March 7, 2014

Sato-Tate groups of abelian surfaces

There are a number of theorems and conjectures in arithmetic geometry which control the structure of an abelian variety over a number field in terms of its reductions to various finite fields. Here we consider a rather crude question along these lines: how much structure can be read off by computing the zeta functions of these reductions and retaining only the statistical behavior of these zeta functions as one averages over primes? For elliptic curves, this is known (under appropriate conjectures, which are known in many cases) to distinguish whether or not the curve has complex multiplication, and if so whether this happens over the base field or an extension field. We describe the corresponding picture for genus 2 curves: the punchline is that there are 52 different possible cases, corresponding to Galois module structures on real endomorphism algebras. These cases will be illustrated with some pretty pictures! Joint work with Francesc Fite, Victor Rotger, and Andrew Sutherland.

——————————————

June Huh (Michigan)
May 2, 2014

Homology classes in algebraic varieties: nef, effective, and prime

The homology group of an algebraic variety is an abelian group equipped with several additional structures. It contains the set of primes, the homology classes of subvarieties. It contains the semigroup of effective classes, the nonnegative linear combinations of primes. It contains the semigroup of nef classes, the classes which intersect all primes of complementary dimension nonnegatively. We will see how these subsets look like in a particular algebraic variety, the one associated to the polytope `permutahedron’. The semigroups in this case have tractable structures, while the distribution of primes is more mysterious and related to some deep combinatorial conjectures on matroids.

——————————————

Zhiyuan Li (Stanford)
May 9, 2014

Special cycles on Shimura varieties of orthogonal type

Let $Y$ be a connected smooth Shimura variety. There are many special algebraic cycles coming from sub-Shimura variety of the same type in all codimensions, called special cycles on $Y$. A Hodge type question is whether these special cycles exhaust all the low degree cohomology classes of $Y$. In this talk, I will discuss relation between this question and Arthur’s theory and briefly talk about the work of Beregon-Millson-Moeglin in this direction.

——————————————

Qile Chen (Columbia)
May 16, 2014

$\mathbb{A}^1$-curves on quasi-projective varieties

The theory of stable log maps was developed recently for studying the degeneration of Gromov-Witten invariants. In this talk, I will introduce another interesting aspect of stable log maps as a useful tool for investigating ${\mathbb{A}}^1$-curves on quasi-projective varieties, which are the analogue of rational curves on proper varieties. At least two applications of ${\mathbb{A}}^1$-curves will be discussed in this talk. For classical birational geometry, the ${\mathbb{A}}^1$-curves can be used to produce very free rational curves on general Fano complete intersections in projective spaces. On the arithmetic side, ${\mathbb{A}}^1$-connectedness gives a general frame work for the existence of integral points over function field of curves. This is a joint work in progress with Yi Zhu.

——————————————

Aaron Pixton (Clay)
May 23, 2014

Double ramification cycles and tautological relations

Double ramification cycles parametrize curves that admit maps to the projective line with specified ramification over zero and infinity. They can be extended to the moduli space of stable curves by using the virtual class in relative Gromov-Witten theory. I will describe a conjectural formula for these extensions in terms of tautological classes. The formula is motivated by a connection with recent joint work with Pandharipande and Zvonkine on Witten’s r-spin class, and it comes with a family of tautological relations which extend relations studied by Grushevsky and Zakharov.

——————————————

John Lesieutre (MIT)
May 30, 2014

Negative answers to some positivity questions

I will explain how the classically-studied action of Cremona transformations on configurations of points in projective space can be used to construct several counterexamples in birational geometry: nefness is not an open condition in families, Zariski decompositions do not always exist in dimension 3, and a variety can have infinitely many Fourier-Mukai partners. As time permits, I’ll discuss some related examples on Calabi-Yau threefolds.

——————————————

### abstracts for 2012-13 seminars

(The seminar webpage is here.)

Zhiyuan Li (Stanford)
September 24, 2012

Modular forms and special cubic fourfolds

A special cubic fourfold is a smooth cubic hypersurface in $\mathbb{P}^5$ containing a rational normal scroll. Brendan Hassett has shown that the sets of special cubic fourfolds form divisors in the parameterization space $\mathbb{P}^{55}$. A classical geometry question is to know the degrees of these divisors in $\mathbb{P}^{55}$.  We solve this problem by showing that the generating series of the degree of these divisors is a modular form with respect to a level 3 congruence subgroup of $SL_2(\mathbb{Z})$. The modularity comes from the work of Borcherds’ generalized Gross-Kohnen-Zagier theorem. This is joint work with Letao Zhang.

Hsian-Hua Tseng (Ohio State)
October 1, 2012

Toric mirror maps revisited

For a compact semi-Fano toric manifold $X$, the toric mirror theorem of Givental and Lian-Liu-Yau says that a generating function of 1-point genus 0 descendant Gromov-Witten invariants, the $J$-function of $X$, coincides up to a mirror map with a function $I_X$ which is written using the combinatorics of $X$. The procedure of obtaining the mirror map, which involves expanding $I_X$ as a suitable power series, is somewhat mysterious. In this talk we’ll describe some attempts at understanding the mirror maps more geometrically.

Daniel Erman (Michigan)
October 8, 2012

Semiample Bertini Theorems over finite fields

We prove a semiample generalization of Poonen’s Bertini Theorem over a ﬁnite
ﬁeld that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local probabilities taken over the ﬁbers of a corresponding morphism. This joint with Melanie Matchett Wood.

Sam Grushevsky (Stony Brook)
October 15, 2012

The stable cohomology of moduli of abelian varieties and compactifications

The stable (for $g$ much large than the degree) cohomology of the moduli space $A_g$ of principally polarized abelian varieties was computed by Borel, as the group cohomology of the symplectic group. Using topological methods, Charney and Lee computed the cohomology of the Satake-Baily-Borel compactification of $A_g$. In this talk we will discuss the question of computing the stable cohomology of toroidal compactifications, and in particular will discuss the stabilization of suitable cohomology for the perfect cone toroidal compactification, and explicit computation of some of these stable cohomology groups, by algebraic methods. Joint work in progress with Klaus Hulek and Orsola Tommasi (there is also an independent related work in progress by Jeff Giansiracusa and Gregory Sankaran, by topological methods).

Sam Payne (Yale)
Friday, October 26, 2012, 2:30 pm, 383-N

Tropicalization of the moduli space of curves

The analogy between moduli spaces of stable curves and more recently constructed moduli spaces of tropical curves is explained, canonically and functorially, through a generalized tropicalization map for toroidal embeddings of Deligne-Mumford stacks. This is joint work with D. Abramovich and L. Caporaso.

Jordan Ellenberg (Wisconsin)
October 29, 2012

Geometric analytic number theory

Analytic number theory has traditionally focused on questions about distribution of various arithmetic objects (prime numbers, ideal class groups, rational points on varieties) over $Q$. Many of the standard questions in that field can be expressed just as easily over a global field of characteristic $p$, such as $\mathbb{F}_q(t)$. It turns out that analytic number theory in this setting often reveals unexpected connections with algebraic geometry and algebraic topology, with information flowing in both directions. I will survey some recent progress in this area, focusing on the work of myself, Akshay Venkatesh, and Craig Westerland on the Cohen-Lenstra conjectures over function fields and its relation with the stable cohomology of Hurwitz spaces. Time permitting, I will also say something about the Hardy-Littlewood method and its relationship with moduli spaces of rational curves on varieties (work of Pugin and Lee) and speculate a little about the connection between this story and “motivic analytic number theory” (a la Ravi Vakil, Melanie Matchett Wood, Dan Erman, and Daniel Litt, among others) and the theory of $FI$-modules (me, Tom Church, and Benson Farb, among others.) Time will not actually permit all this, so let this abstract serve as a list of things I would be interested in talking with people about during my visit, whether or not they appear during my seminar.

Bhargav Bhatt (Michigan/IAS)
Friday, November 9, 2012, 2:30 pm, 383-N

A basic theorem in Hodge theory is the isomorphism between de Rham and Betti cohomology for complex manifolds; this follows directly from the Poincare lemma. The p-adic analogue of this comparison lies deeper, and was the subject of a series of extremely influential conjectures made by Fontaine in the early 80s (which have since been established by various mathematicians). In my talk, I will first discuss the geometric motivation behind Fontaine’s conjectures, and then explain a simple new proof based on general principles in derived algebraic geometry — specifically, derived de Rham cohomology — and some classical geometry with curve fibrations. This work builds on ideas of Beilinson who proved the de Rham comparison conjecture this way.

John Ottem (Cambridge)
November 12

Ample subschemes and partially positive line bundles

We introduce a notion of ampleness for subschemes of higher codimension and investigate geometric properties satisfied by ample subschemes, e.g. the Lefschetz hyperplane theorems and numerical positivity. Using these results, we also construct a counterexample to a conjecture of Demailly-Peternell-Schneider.

Yunfeng Jiang (Imperial College London)
November 26

On the crepant transformation conjecture

Let $X$ and $X'$ be two smooth Deligne-Mumford stacks. We call dash arrow $X\dasharrow X'$ a crepant transformation if there exists a third smooth Deligne-Mumford stack $Y$ and two morphisms $\phi: Y\to X$, $\phi': Y\to X'$ such that the pullbacks of canonical divisors are equivalent, i.e. $\phi^*K_{X}\cong \phi'^*K_{X'}$. The crepant transformation conjecture says that the Gromov-Witten theory of $X$ and $X'$ is equivalent if $X\dasharrow X'$ is a crepant transformation. This conjecture was well studied in two cases: the first one is the case when $X$ and $X'$ are both smooth varieties; the other is the case that there is a real morphism $X\to |X'|$ to the coarse moduli space of $X'$, resolving the singularities of $X'$. In this talk I will present some recent progress for this conjecture, especially in the case when both $X$ and $X'$ are smooth Deligne-Mumford stacks.

Matt Satriano (University of Michigan)
December 3 (in 380-Y)

Toric Stacks and Applications to Cycle Theory

No prior knowledge of stacks will be assumed for this talk. We will discuss the theory of toric stacks, which like toric varieties, is a class of stacks which is particularly amenable to computation. Using the theory developed, we will show that it is impossible to construct a degree map for 0-cycles on even the nicest of Artin stacks. This is based on joint work with Dan Edidin and Anton Geraschenko.

János Kollár (Princeton)
Thursday January 10, 4:15-5:15, 380-W

MRC Distinguished Lecture 1 of 2: Local topology of analytic spaces

Let $M$ be a subset of ${\mathbb C}^N$ defined as the common zero set of some holomorphic functions. What can one say about the local structure of $M$? Each point $p\in M$ has an open neighborhood that is a cone over an (odd real dimensional) topological space called the link of $p$. If $p$ is a smooth point of complex dimension $n$, the link is a sphere of real dimension $2n-1$.

Our main interest is to understand the most complicated links. The general answer is not known but we show how to construct examples where the fundamental group of a link is nearly arbitrary. Joint work with Misha Kapovich.

János Kollár (Princeton)
Thursday January 24, 3:15-4:15, Gates B12

MRC Distinguished Lecture 2 of 2: How to recognize families of Cartier divisors?

We propose a strengthening of the Grothendieck-Lefschetz hyperplane theorem for the local Picard group, prove some special cases and derive several consequences to the deformation theory of log canonical singularities.

Amnon Yekutieli (Ben-Gurion Univ.)
February 4

Residues and duality for schemes and stacks

Let K be a regular noetherian commutative ring. I will begin by explaining the theory of rigid residue complexes over essentially finite type K-algebras, that was developed by J. Zhang and myself several years ago. Then I will talk about the geometrization of this theory: rigid residue complexes over finite type K-schemes. An important feature is that the rigid residue complex over a scheme X is a quasi-coherent sheaf in the etale topology of X. For any map between K-schemes there is a rigid trace homomorphism (that usually does not commute with the differentials). When the map of schemes is proper, the rigid trace does commute with the differentials (this is the Residue Theorem), and it induces Grothendieck Duality.

Then I will move to finite type Deligne-Mumford K-stacks. Any such stack has a rigid residue complex on it, and for any map between stacks there is a trace homomorphism. These facts are rather easy consequences of the corresponding facts for schemes, together with etale descent. I will finish by presenting two conjectures, that refer to Grothendieck duality for proper maps between DM stacks. A key condition here is that of tame map of stacks.

Xuanyu Pan (Columbia)
February 4

The Geometry of Moduli space of rational Curves on Complete intersections

For a low degree smooth complete intersection X, we consider the general fiber F of the following evaluation map ev of Kontsevich moduli space. $ev: \overline{M}_{0,m}(X,m) \rightarrow X^m.$ I will give general structure theorems of F. It answers questions relating to
(1) Rational connectedness of moduli space
(2) Enumerative geometry
(3) The Search for a new 2-Fano variety
(4) Picard group of moduli space

Brendan Hassett (Rice)
February 22 (4 pm, 383-N)

K3 surfaces, level structure, and rational points

Moduli spaces of elliptic curves with level structure are fundamental for arithmetic and Diophantine problems over number fields in particular. For K3 surfaces, the Brauer group plays the role of the torsion points. Recently, a number of papers have systematically investigated how the Brauer group may be used to formulate criteria for the existence of rational points. However, geometric interpretations for the Brauer elements remain elusive. We present examples of several such interpretations and arithmetic applications, with a view toward putting these in a larger framework.

Chenyang Xu (Beijing)
February 25

Comparison of stabilities

There are different stability notions coming from different ideas of constructing the moduli space. In this talk, I will try to explore the relations among KSBA-stability, K-stabilty and asymptotic GIT stability. Smooth canonical polarized varieties are stable in all these senses, however the limiting behaviors turn out to be different. As a corollary, we answer the longstanding question that asymptotically GIT Chow semistable varieties does not form a proper family. (joint with Xiaowei Wang)

Runpu Zong (Princeton)
Thursday February 28, 3:15-4:15, Gates B12

Weak Approximation for Isotrivial Family

Following the celebrated Graber-Harris-Starr theorem that any geometrically smooth rationally connected variety over function field of curve has a rational point, there is Hassett-Tschinkel’s conjecture that whether rational points have weak approximation property of these families. While wildly open, we prove this conjecture when the general fibers of the family are isomorphic to each other, which is a large class of families that former results never covered.

Igor Dolgachev (University of Michigan)
March 11

Rational self-maps of moduli varieties

I will discuss some known examples of rational self-maps of finite degree greater than one of moduli varieties considered as stacks defining some moduli problem. A classical example of this sort is a covariant of order d on the space homogeneous forms of degree d. Other examples include moduli varieties of algebraic curves of low genus or abelian varieties with some level structure.

Nathan Ilten (Berkeley)
April 1, 2:45-3:45 pm

Equivariant Vector Bundles on T-Varieties

Klyachko has shown that there is an equivalence of categories between equivariant vector bundles on a toric variety X and collections of filtered vector spaces satisfying some compatibility conditions. I will discuss joint work with H. Suess which generalizes this equivalence to the setting of T-equivariant vector bundles on a normal variety X endowed with an effective action of an algebraic torus T. Indeed, T-equivariant vector bundles on X correspond to collections of filtered vector bundles on a suitable quotient of X.

This correspondence can be applied to show that T-equivariant bundles of low rank on projective space split, as well as to easily compute all global vector fields on rational complexity-one T-varieties.

Anand Deopurkar (Columbia)
April 1, 4-5 pm

Compactifying spaces of branched covers

Moduli spaces of geometrically interesting objects are often non-compact. They need to be compactified by adding some degenerate objects. In many cases, this can be done in several ways, leading to a menagerie of birational models, which are related to each other in interesting ways. In this talk, I will explore this idea for the spaces of branched covers of curves, known as the Hurwitz spaces. I will construct a number of compactifications of these spaces by allowing more and more branch points to coincide. I will describe the geometry of the resulting spaces for the case of triple covers.

Greg G. Smith (Queen’s University)
April 8

Nonnegative sections and sums of squares

A polynomial with real coefficients is nonnegative if it takes on only nonnegative values. For example, any sum of squares is obviously nonnegative. For a homogeneous polynomial with respect to the standard grading, Hilbert famously characterized when every nonnegative homogeneous polynomial is a sum of squares. In this talk, we will examine this converse for line bundles on a totally-real projective subvariety. We will uncover some unexpected connections with classical algebraic geometry and, by working with multigraded polynomial rings, provide many new examples in which every nonnegative homogeneous polynomial is a sum of squares.

Donu Arapura (Purdue University)
April 15, 3:30-4:20 pm, 383-N

Splittable objects in derived categories and Kodaira vanishing

I first want to explain some generalizations of the Kodaira vanishing theorems due to Kollár, Saito and others, which involves some fairly serious Hodge theory. Then I would outline some ideas for approaching these using characteristic p techniques, which is more elementary. Some of this is work in progress.

Vivek Shende (MIT)
April 15, 4:30-5:20 pm, 383-N

Higher Discriminants

Given a map $f:X \rightarrow Y$ between smooth varieties, the discriminant is the locus of points $y$ in $Y$ such that the fibre $X_y$ is singular. We suggest the following generalization: the $i$ th discriminant of $f$ is the locus of points $y$ such that for any $(i-1)$ dimensional disc $D$ passing through $y$, the fibre $X_D$ is singular at some point of $X_y$. The sense of this definition is clarified by the following two theorems in the case when $f$ is proper and equidimensional: (1) the support of any summand of the (derived) pushforward of the constant sheaf on $X$ is equal to a component of a higher discriminant, and (2) the pushforward of the constant function on $X$ is equal to an integer linear combination of the Euler obstructions of components of higher discriminants.

Paolo Aluffi (Florida State University)
April 22, 4-5 pm, 381-U

Segre classes of monomial subschemes

Segre classes are fundamental intersection-theoretic invariants: many problems in enumerative geometry may be reduced to computations of Segre classes, and basic invariants such as Milnor numbers and classes may be expressed in terms of Segre classes. We propose a formula computing the Segre class of an arbitrary monomial subscheme, and prove this formula in several representative cases. The formula is reminiscent of intersection computations in terms of mixed volumes of polytopes and convex bodies as in the classical Bernstein’s theorem and more recent work of Kaveh-Khovanskii, Huh, and others.

Zhiyu Tian (Caltech)
April 29, 4-5 pm, 381-U

Weak approximation for cubic hypersurfaces

Given an algebraic variety X over a field F (e.g. number fields, function fields), a natural question is whether the set of rational points X(F) is non-empty. And if it is non-empty, how many rational points are there? In particular, are they Zariski dense? Do they satisfy weak approximation? For cubic hypersurfaces defined over the function field of a complex curve, we know the existence of rational points by Tsen’ s theorem or the Graber-Harris-Starr theorem. In this talk, I will discuss the weak approximation property of such hypersurfaces.

Andrew Morrison (ETH)
May 6, 3:30-4:30pm, 381-U

Behrend’s function is constant on $\text{Hilb}^n({\mathbb{C}}^3)$

We will prove that Behrend’s function is constant on $\text{Hilb}^n({\mathbb{C}}^3)$. A calculation of motivic zeta functions shows the relevant Milnor fibers have zero Euler characteristic. As a corollary we see that $\text{Hilb}^n({\mathbb{C}}^3)$ is generically reduced and all its components have the same dimension mod 2. Time permitting we will also extend these results to moduli schemes of curves and points in threefolds coming from resolutions of ADE singularities.

Arnav Tripathy (Stanford)
May 6, 4:45-5:45 pm, 381-U

Stabilisation of symmetric powers

Starting with a scheme $X$, we may consider the sequence of its symmetric powers $\text{Sym}^n X$. I’ll remind the audience of reasons from topology and arithmetic geometry for why we should expect various sorts of asymptotic behaviour of this sequence. I’ll then discuss a certain natural sort of stabilisation, namely that of the etale homotopy groups of this sequence.

Frank Sottile (TAMU)
May 13, 4-5 pm, 381-U

Galois groups of Schubert problems

Work of Jordan from 1870 showed how Galois theory can be applied to enumerative geometry. Hermite earlier showed that the equivalence of Galois groups with geometric monodromy groups, and in 1979 Harris used this to study Galois groups of many enumerative problems. Vakil gave a geometric-combinatorial criterion that implies a Galois group contains the alternating group. With Brooks and Martin del Campo, we used Vakil’s criterion to show that all Schubert problems involving lines have at least alternating Galois group. White and I have given a new proof of this based on 2-transitivity.

My talk will describe this background and sketch a current project to systematically determine Galois groups of all Schubert problems of moderate size on all small classical flag manifolds, investigating at least several million problems. This will use supercomputers employing several overlapping methods, including combinatorial criteria, symbolic computation, and numerical homotopy continuation, and require the development of new algorithms and software.

### algebraic geometry notes

The algebraic geometry notes used over the last few years are available here.

### previous seminars

The 2013-14 talks in the Stanford algebraic geometry are here. Here are the webpages of previous years.

### algebraic geometry mailing list

We have an algebraic geometry mailing list, where news will be sporadically sent. To subscribe, click here, and fill out the form. To mail to the list, e-mail algebraic_geometry-at-lists.stanford.edu.

Information sent to the list often includes upcoming talks in our algebraic geometry seminar or in related seminars, or upcoming conferences.

### algebraic geometry at stanford

There is a fair bit of algebraic geometry at Stanford, and as some of it is in somewhat unexpected places, this page is intended to point out where it is.

We have an algebraic geometry mailing list, where news will be sporadically sent. To see how to join, click here.

## Seminars

We have an active algebraic geometry seminar at Stanford, which meets weekly. For other related seminars, click here.

We are one of the founders of the Western Algebraic Geometry Symposium, a twice-yearly conference rotating around the western U.S. and Canada. We hosted the first regular WAGS in spring 2003, and hosted the spring 2011 WAGS.

## People in algebraic geometry

Along with Jun Li and Ravi Vakil, we have a number of people.

### Younger researchers

• Anthony Bak (algebraic geometry connected to mathematical physics, and now computational toplogy)
• Zhiyuan Li (many facets, from Hodge theory to classical algebraic geometry)
• Tom Church (a topologist with many interests in algebraic geometry)

I haven’t bothered adding links to their webpages; just go to the department homepage or google to find them. (Some of the other great people who have been here in the last little while: Aleksey Zinger, Dragos Oprea, Alina Marian, Sam Payne, Matt Kahle, Daniel Erman, Christian Liedtke, Dimitri Zvonkine, Melanie Wood, Young-Hoon Kiem. I wrote down a list somewhere and lost it, so I’m sure I’ve forgotten some people — please remind me!)

### Ph.D. students

There are also a good number of smart graduate students around who think about algebraic geometry (often in combination with something else) and are interesting to talk with, including the following.

• Yuncheng Lin
• Daniel Litt
• Arnav Tripathy
• Rebecca Bellovin
• Julio Gutierrez
• Brandon Levin
• Sam Lichtenstein
• Mike Lipnowski
• Simon Rubinstein-Salzedo
• Francois Greer
• Ilya Grigoriev

(We often send students to conferences. Also, here is some idiosyncratic advice for graduate students.)

### Faculty with related interests

Besides Jun Li and Ravi Vakil, there are a large number of people for algebraic geometers to talk with. Some of them may be shocked to find they are on such a list. In alphabetical order (with some algebro-geometric-related interests):

• Greg Brumfiel (topology and real algebraic geometry)
• Dan Bump (arithmetic geometry and automorphic forms)
• Gunnar Carlsson (etale homotopy theory)
• Ralph Cohen (moduli spaces of curves)
• Brian Conrad (number theory and arithmetic geometry)
• Persi Diaconis (combinatorics, toric varieties, and more)
• Yasha Eliashberg (symplectic geometry, e.g. Gromov-Witten theory)
• Soren Galatius (moduli space of curves)
• Eleny Ionel (moduli of curves and Gromov-Witten theory, from the point of view of symplectic geometry)
• Rafe Mazzeo (analysis on singular spaces)
• Maryam Mirzakhani (moduli space of curves, hyperbolic geometry)
• Andras Vasy (analysis on singular spaces)
• Zhiwei Yun (Langlands; algebraic and arithmetic geometry)

### related seminars

 September 24 Zhiyuan Li (Stanford) Modular forms and special cubic fourfolds October 1 (in 380-Y) Hsian-Hua Tseng (Ohio State) Toric mirror maps revisited October 8 Daniel Erman (Michigan) Semiample Bertini Theorems over finite fields October 15 Sam Grushevsky (Stony Brook) The stable cohomology of moduli of abelian varieties and compactifications October 20-21 weekend Matt Baker (Georgia Tech), Johan de Jong (Columbia), Sean Keel (Austin), János Kollár (Princeton), Burt Totaro (Cambridge/UCLA) The Western Algebraic Geometry Symposium (at the University of Utah) Friday October 26, 2:30 pm, 383-N Sam Payne (Yale) Tropicalization of the moduli space of curves October 29 Jordan Ellenberg (Wisconsin) Geometric analytic number theory Friday November 9, 2:30 pm, 383-N Bhargav Bhatt (Michigan/IAS) p-adic derived de Rham cohomology November 12 John Ottem (Cambridge) Ample subschemes and partially positive line bundles November 19 (no seminar, Thanksgiving break) November 26 Yunfeng Jiang (Imperial College London) On the crepant transformation conjecture December 3 (in 380-Y) Matt Satriano (Michigan) Toric Stacks and Applications to Cycle Theory Thursday January 10 Distinguished Lecture 1 of 2, 4:15-5:15, 380-W (fancy tea beforehand) János Kollár (Princeton) Local topology of analytic spaces Thursday January 24 Distinguished Lecture 2 of 2, 3:15-4:15, Gates B12 János Kollár (Princeton) How to recognize families of Cartier divisors? February 4 Amnon Yekutieli (Ben-Gurion Univ.) Residues and duality for schemes and stacks February 11 Xuanyu Pan (Columbia) The Geometry of Moduli space of rational Curves on Complete intersections Friday, February 22 (4-5 pm, 383-N) Brendan Hassett (Rice) K3 surfaces, level structure, and rational points February 25 Chenyang Xu (Beijing) Comparison of stabilities Thursday February 28, 3:15-4:15, Gates B12 Runpu Zong (Princeton) Weak Approximation for isotrivial family March 11 Igor Dolgachev (Michigan) Rational self-maps of moduli varieties April 1, 2:45-3:45 pm Nathan Ilten (Berkeley) Equivariant Vector Bundles on T-Varieties April 1, 4-5 pm Anand Deopurkar (Columbia) Compactifying spaces of branched covers April 8 Greg G. Smith (Queen’s University) Nonnegative sections and sums of squares April 15, 3:30-4:20 pm, 383-N Donu Arapura (Purdue) Splittable objects in derived categories and Kodaira vanishing April 15, 4:30-5:20 pm, 383-N Vivek Shende (MIT) Higher discriminants April 22, 4-5 pm, 381-U Paolo Aluffi (Florida State University) Segre classes of monomial subschemes April 29, 4-5 pm, 381-U Zhiyu Tian (Caltech) Weak approximation for cubic hypersurfaces May 6, 3:30-4:30 pm, 381-U Andrew Morrison (ETH) Behrend’s function is constant on $\textrm{Hilb}^n(\mathbb{C}^3)$ May 6, 4:45-5:45 pm, 381-U Arnav Tripathy (Stanford) Stabilisation of symmetric powers May 13, 4-5 pm, 381-U Frank Sottile (TAMU) Galois groups of Schubert problems