3:00pm - 5:00pmComputations in algebraic geometry
Chair(s): Diane Maclagan (University of Warwick), Gregory G. Smith (Queen's University)
This minisymposium highlights the use of computation inside algebraic geometry. Computations enter algebraic geometry in several different ways including numerical strategies, symbolic calculations, experimentation, and simply as a fundamental conceptual tool. Our speakers will showcase many of these aspects together with some applications.
(25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise)
The semigroup and cone of effective divisor classes on a hypersurface in a toric variety
Michael Stillman
Cornell University
The computation of the semigroup (or even the cone) of all effective divisor classes on a Calabi–Yau hypersurface of a toric variety is an important open problem, whose solution would have a number of applications in theoretical physics. This is a difficult computation, with no known effective algorithms. We present computational tools and algorithms for investigating this and related problems, and describe some results in this direction.
On subring counting and simultaneous monomialization
Anne Frübhis-Krüger
University of Hanover
The task of determining the order zeta function for certain number rings (which is just a sophisticated form of counting subrings) gives rise to a particular kind of p-adic integrals. The domain of integration of these stubbornly withstands standard techniques, including even an out-of-the-box Hironaka-style resolution of singularities. However, choosing centers of blow-ups using the structural properties of the problem, a simultaneous monomialization of the conditions can be achieved, making the problem again accessible to usual methods. This talk is based on joint work with Josh Maglione, Bernd Schober, and Christopher Voll.
Fröberg-Macaulay conjectures for algebras
Mats Boij
Royal Institute of Technology (KTH)
In a joint work with Aldo Conca, we look at what should correspond to Macaulay’s Theorem and Fröberg’s Conjecture for the Hilbert function of subalgebras of standard graded polynomial rings. Upper bounds correspond to generic forms and lower bounds correspond to strongly stable monomial ideals.
Singular value decomposition for complexes
Frank-Olaf Schreyer
Saarland University
In this talk, the concept of singular value decomposition of complexes will introduced and applied to the computation of syzygies.