Algebra seminar 2021

Previous

Time and place: , NHA B1120
When does the Zariski topology determine a variety? This certainly does not hold for curves, and examples of Wiegand and Krauter show it is neither true for countable surfaces. The cardinality assumption is important: The reconstruction theorem says that two homeomorphic (normal, projective) varieties of dimension at least two over non-countable fields of characteristic zero  K and L (a priori different) are in fact isomorphic (as schemes).
I shall present my version (a slight simplification of the original proof) of the cluster of ideas leading up to the reconstruction theorem (and maybe a miniscule extension to positive characteristic)
Time and place: , NHA B1120
Time and place: , NHA B1120
Planar polypols - “polygons with curved sides” - were proposed by Eugene Wachspress as generalized algebraic finite elements. In order to define barycentric coordinates for polypols, he introduced the adjoint curve of a rational polypol. In recent work by physicists, positive geometries are defined as certain semialgebraic sets together with a meromorphic differential form called the canonical form. We show that a rational regular polypol gives a positive geometry and give an explicit expression for its canonical form in terms of the adjoint and boundary curves of the polypol. In the special case that the polypol is a convex polygon, we show that the adjoint curve is hyperbolic and describe its nested ovals. 
 
This talk is based on joint work with K. Kohn, K. Ranestad, F. Rydell, B. Shapiro, R. Sinn,  M.-S. Sorea, and S. Telen.
Time and place: , NHA B1120

Stable polynomials are a multivariate generalization of real-rooted univariate polynomials. This notion of stability for hypersurfaces can be extended to lower-dimensional varieties, giving rise to positively hyperbolic varieties. I will present results showing that tropicalizations of positively hyperbolic varieties are very special polyhedral complexes with a rich combinatorial structure. This, in particular, generalizes a result of P. Brändén showing that the support of a stable polynomial must be an M-convex set.

Time and place: , NHA B1120

In a famous paper, Geir Ellingsrud and Stein Arild Strømme use the Atiyah-Bott localization theorem in equivariant cohomology to compute the number of complex twisted cubics on a complete intersection. Motivated by results from A1-homotopy theory there is a new way of doing such enumerative counts which works over an arbitrary base field, not only the complex numbers. Recently, Marc Levine proved a version of Atiyah-Bott localization for this new way of counting.

In the talk I will recall the classical Atiyah-Bott localization theorem and explain how one can use it in enumerative geometry. Furthermore, I will explain how this new way of counting works and present some results about twisted cubics on complete intersections counted this way. This is based on joint work with Marc Levine.

Time:

For the second talk, I will talk about how to relate relative Gromov--Witten invariants with relative periods via relative mirror symmetry and, given a degeneration, how relative periods and (absolute) periods are related on the mirror side.  

Time and place: , NHA B1120
For the first talk, I will talk about the story of Gromov--Witten theory on the A-side. Relative Gromov--Witten invariants play a central role in computing Gromov--Witten invariants via the degeneration formula. I will give a summary of some recent progress of basic structures in relative Gromov--Witten theory.
Time and place: , NHA B1120

A cohomology class of a smooth complex variety of dimension n has coniveau ≥c if it vanishes in the complement of a closed subvariety of codimension ≥c, and has strong coniveau ≥c if it comes by proper pushforward from the cohomology of a smooth variety of dimension ≤n−c. We show that these two notions differ in general, both for integral classes on smooth projective varieties and for rational classes on smooth open varieties. This is joint work with Olivier Benoist.

Time and place: , NHA B1120

A graded Artinian Gorenstein ring A is a quotient of a polynomial ring S with the apolar ideal of a homogeneous form. The Betti numbers of the resolution of A as an S-module are invariants to the homogeneous form. In joint work with Michal and Gregorz Kapustka, Hal Schenck, Mike Stillman and Beihui Yuan, we use these Betti numbers to describe a stratification of the space of quartics in four variables.