VIRTUAL ONLY: Sage/Oscar Days for Combinatorial Algebraic Geometry
Institute for Computational and Experimental Research in Mathematics (ICERM)
February 15, 2021 - February 19, 2021
Your device timezone is . Do you want to view schedules in or choose a custom timezone?
Monday, February 15, 2021
-
9:45 - 10:00 am ESTWelcomeVirtual
- Brendan Hassett, ICERM/Brown University
-
10:00 - 10:30 am ESTA brief tour of SageVirtual
- Nicolas Thiéry, Université Paris Sud
Abstract
I will offer a brief tour of Sage, showcasing some features and use cases, hinting at its development model, pointing to some recent trends, and highlighting how it fits within the larger ecosystem of free computational (mathematics) software.
-
10:45 - 11:15 am ESTRings and fields in SageVirtual
- David Roe, Massachusetts Institute of Technology
Abstract
I will give an introduction to basic algebraic structures in Sage, with a focus on the coercion model, finite fields and extensions of rings. I will also give an overview of how you can contribute to Sage.
-
11:15 - 11:30 am ESTCoffee BreakVirtual
-
11:30 am - 12:00 pm ESTCelestial mechanics via tropical geometry (gfan and Macaulay2)Virtual
- Anton Leykin, Georgia Tech
-
12:15 - 12:45 pm ESTFusionRings in Sage 9.2Virtual
- Daniel Bump, Stanford University
Abstract
The FusionRing class implements useful methods for Verlinde Algebras. These are elegant rings similar to WeylCharacterRings (representation rings of Lie groups) except that the fusion categories have only finitely many objects. These rings have applications to conformal field theory, quantum groups, topological quantum computing and knot theory. Most of the methods needed to work with these have been implemented in Sage 9.2. We will review the math and show what the code can do. The FusionRing code is joint work with Guillermo Aboumrad.
-
1:00 - 2:00 pm ESTLunch/Free TimeVirtual
-
2:00 - 3:00 pm ESTGathertown Welcome ReceptionReception - Virtual
-
3:00 - 4:00 pm ESTSage/Oscar Installation HelpTutorial - Virtual
Tuesday, February 16, 2021
-
9:00 - 9:45 am ESTGathertown Morning CoffeeCoffee Break - Virtual
-
10:00 - 10:30 am ESTOSCAR - The ProjectVirtual
- Michael Joswig, TU Berlin & MPI Leipzig
Abstract
The OSCAR project is a collaborative effort to shape a new computer algebra system, written in Julia. OSCAR is built on top of the four "cornerstone systems" ANTIC (for number theory), GAP (for group and representation theory), polymake (for polyhedral and tropical geometry) and Singular (for commutative algebra and algebraic geometry). We present three examples to showcase the current version 0.5.1. This is joint work with The OSCAR Development Team.
-
10:45 - 11:15 am ESTOSCAR - Selected FeaturesVirtual
- Daniel Schultz, Technische Universität Kaiserslautern
Abstract
Introducing OSCAR, a new computer algebra system combining GAP, Polymake, Hecke and Singular.
-
11:15 - 11:30 am ESTCoffee BreakVirtual
-
11:30 am - 12:00 pm ESTComputing the Newton polytope of a large discriminantVirtual
- Lars Kastner, Institute of Mathematics of the Technical University
Abstract
The Newton polytope of the discriminant of a quaternary cubic form has 166'104 vertices. One way to obtain these vertices is to enumerate all D-equivalence classes of regular triangulations of the 3- dilated tetrahedron. The only known way to do this is to enumerate all regular triangulations of the 3-dilated tetrahedron and group them into classes in a second step. This talk will focus on the computations carried out to arrive at this result. It involved the use of polymake and mptopcom on large computing clusters in parallel which in turn brought other obstacles. This software can also be used via polymake.jl in OSCAR. Since computer experiments in algebraic geometry are becoming larger and larger, this talks aims at providing insights on how to set up these experiments such that they give reliable results, and how to avoid the pitfalls we encountered. This is joint work with Robert Loewe.
-
12:15 - 12:45 pm ESTSome hybrid symbolic-numeric methods in algebraic geometryVirtual
- Jonathan Hauenstein, University of Notre Dame
Abstract
On the theoretical side, algebraic geometry combines aspects of algebra and geometry to provide many tools to prove new results. On the computational side, symbolic computations typically based on algebra and numerical computations typically based on geometry can be combined to provide many new computational tools to study a variety of problems in algebraic geometry. This talk will explore some hybrid symbolic-numeric methods and applications in computational algebraic geometry.
-
1:00 - 2:00 pm ESTLunch/Free TimeVirtual
-
2:00 - 3:00 pm ESTProblem SessionVirtual
-
3:00 - 4:00 pm ESTContributing to Sage TutorialTutorial - Virtual
Wednesday, February 17, 2021
-
9:00 - 9:45 am ESTGathertown Morning CoffeeCoffee Break - Virtual
-
10:00 - 10:45 am ESTParallelization of Triangular Decompositions- Design and implementation with the BPAS libraryVirtual
- Marc Moreno, University of Western Ontario
Abstract
We discuss the parallelization of algorithms for solving polynomial systems by way of triangular decomposition. The "Triangularize" algorithm proceeds through incremental intersections of polynomials to produce the different components of the solution set. Independent components imply the opportunity for concurrency. This "component-level" parallelization of triangular decompositions, our focus here, belongs to the class of dynamic irregular parallelism. Potential parallel speed-up depends only on geometrical properties of the solution set (number of components, their dimensions and degrees); these algorithms do not scale with the number of processors. To manage the irregularities of component-level parallelization we combine different concurrency patterns: map, workpile, producer-consumer, pipeline and fork/join. We report on our implementation in the freely available BPAS library. Comprehensive experimentation with thousands of polynomial systems yields examples with up to 10.8-times speed up on a 12-core machine.
-
11:00 - 11:30 am ESTCoffee BreakVirtual
-
11:30 am - 12:00 pm ESTRational integrals and periods with Sagemath and JuliaVirtual
- Pierre Lairez, INRIA
Abstract
Based on symbolic integration and numerical analytic continuation, we can compute to high precision integrals of multivariate rational functions. I will show applications to volume computation and to the study of quartic surfaces. I will emphasize on some software aspects, specific to Sagemath and Julia.
-
12:15 - 12:45 pm ESTGeneralized cohomology quotients of the symmetric functionsVirtual
- Darij Grinberg, Drexel University
-
1:00 - 2:00 pm ESTLunch/Free TimeVirtual
-
2:00 - 2:40 pm ESTLightning TalksVirtual
- Adam Afandi, Colorado State University
- Jose Brox, Centre for Mathematics of the University of Coimbra
- Juliette Bruce, University of California, Berkeley / MSRI
- Laura Brustenga i Moncusi, University of Copenhagen
- Taylor Brysiewicz, Max Planck Institute for Mathematics in the Sciences
- Papri Dey, University of Missouri
- Sean Griffin, Brown University
- Shinyoung KIM, Institute for Basic Science Center for Geometry and Physics
-
2:40 - 2:50 pm ESTCoffee BreakVirtual
-
2:50 - 3:30 pm ESTLightning TalksVirtual
- Lukas Kühne, Max Planck Institute for Mathematics in the Sciences
- Jianping Pan, University of California, Davis
- Marta Panizzut, TU Berlin
- Theodoros Stylianos Papazachariou, University of Essex
- Colleen Robichaux, University of Illinois at Urbana-Champaign
- Mahrud Sayrafi, University of Minnesota
- Weihong Xu, Rutgers
-
3:30 - 4:30 pm ESTCode DemonstrationsTutorial - Virtual
Thursday, February 18, 2021
-
9:00 - 9:45 am ESTGathertown Morning CoffeeCoffee Break - Virtual
-
10:00 - 10:45 am ESTmsolve - A Library for Solving Polynomial SystemsVirtual
- Christian Eder, University of Kaiserslautern
Abstract
We present a new open source C library msolve dedicated to solve multivariate polynomial systems exactly through computer algebra methods. The core algorithmic framework of msolve relies on Gröbner bases and linear algebra based algorithms for polynomial system solving. It relies on Gröbner basis computation w.r.t. the degree reverse lexicographical order, Gröbner conversion to a lexicographical Gröbner basis and real solving of univariate polynomials. We explain in detail how these three main steps of the solving process are implemented exploiting the computational capabilities of the framework. We compare the practical performance of the different parts of msolve with similar functionalities of leading computer algebra systems such as Magma and Maple on a wide range of polynomial systems with a particular focus on those which have finitely many complex solutions, showing that msolve can tackle systems which were out of reach by the software state-of-the-art. This is joint work with Jérémy Berthomieu, Jean-Charles Faugère and Mohab Safey El Din from the PolSys Team at the Sorbonne Université in Paris.
-
11:00 - 11:30 am ESTParallelism in Algebraic Geometry - Examples with Singular and GPI-SpaceVirtual
- Anne Frühbis-Krüger, University of Oldenburg
Abstract
I shall illustrate the use of the Singular - GPI-space interplay in some examples including a smoothness test, GIT-fans and desingularization.
-
11:45 am - 12:45 pm ESTCoffee BreakVirtual
-
12:45 - 1:15 pm EST
-
1:30 - 2:30 pm ESTLunch/Free TimeVirtual
-
2:30 - 3:30 pm ESTProblem SessionVirtual
-
3:30 - 4:30 pm ESTCode DemonstrationsTutorial - Virtual
Friday, February 19, 2021
-
9:00 - 9:45 am ESTGathertown Morning CoffeeCoffee Break - Virtual
-
10:00 - 10:30 am ESTFactorizations into irreducibles and polytopesVirtual
- Tommy Hofmann, TU Kaiserslautern
Abstract
Dedekind domains form a family of commutative rings that plays an important role in algebraic geometry and number theory. While elements of Dedekind domains factor into irreducible elements, such a factorization is in general not unique. We present an algorithm, which for a given element of the ring of integers of a number field, determines all factorizations into irreducible elements. The algorithm makes heavy use of computations with polytopes and is implemented in Oscar. This is joint work with Claus Fieker.
-
10:45 - 11:30 am ESTComputational challenges for tropical del Pezzo surfacesVirtual
- María Angélica Cueto, Ohio State University
Abstract
A smooth degree d del Pezzo surface is obtained by blowing up the projective plane at (9-d) generic points. In this talk, we will discuss how to tropicalize these surfaces for various embeddings as we vary the input points and the computational challenges that arise when doing so.
-
11:15 - 11:30 am ESTCoffee BreakVirtual
-
11:30 am - 12:00 pm ESTPresenting the multipolynomial bases packageVirtual
- Viviane Pons, Université Paris Sud
Abstract
In this talk, we present an external SageMath package to work on multivariate polynomials seen as an algebra over integer vectors (the exponents). This allows for manipulation of divided differences operators and the definition of many bases of multivariate polynomials such as the Schubert polynomials, Grothendieck, and Demazure Characters.
-
12:15 - 12:45 pm EST
-
1:00 - 2:00 pm ESTLunch/Free TimeVirtual
-
2:00 - 3:00 pm ESTGathertown Closing ReceptionReception - Virtual
All event times are listed in ICERM local time in Providence, RI (Eastern Daylight Time / UTC-4).
All event times are listed in .
ICERM local time in Providence, RI is Eastern Daylight Time (UTC-4). Would you like to switch back to ICERM time or choose a different custom timezone?
Schedule Timezone Updated