Computational Algebraic Geometry Workshop

March

Thanks again to all participants for making the workshop such a success.  A report of the Lean group can be found on the Lean community blog.

The aim of the workshop is to bring together researchers working or interested in working with software for algebraic geometry to exchange problems, ideas, and solutions. All participants are welcome regardless their level of experience, whether fresh beginner or leading expert. 

The workshop will feature introductory demos to Lean, Macaulay2, and OSCAR as well as short talks, and plenty of time to learn and collaborate.  Workshop details will follow soon.  All activities will take place in the Department of Mathematical Sciences.  Funding will be available for early career researchers.

Speakers

• Kevin Buzzard (Imperial)

• Oliver Clarke  (Edinburgh)

• Matthias Zach (Kaiserslautern): Intersection Theory on Algebraic Schemes

Participant talks

• Patience Ablett (Warwick) -  Counterexamples to a persistence conjecture in Macaulay2

• Benoit Guerville-Balle - On the fundamental groups of real line arrangements

•  Wayne Ng Kwing King (Zaragoza) - Multiderivations algorithms for free divisors

• Michael Schloesser (Aachen) - Calculating Newton-Okounkov bodies for Grassmannians coming from plabic graphs

• Justus Springer (Tuebingen) - Large classifications of rational polygons

• Andrew Yang (Imperial) - Algebraic geometry library in mathlib

• Jujian Zhang (Imperial) - Towards a Formalisation of Sheaf Cohomology in Lean4

Schedule

The workshop starts Monday morning and ends Friday at noon.  Plenary tutorials will be on Monday and Tuesday mornings,  participant talks will also take place in the mornings, and the rest is dedicated to group projects.  There will be short stand ups at the end of each day where participants can discuss their plans and their progress.  Due to ongoing lectures, the conference will take place in a variety of venues across Durham's Mount Joy Campus (click on each venue for a link to the building on google maps).

Monday

09:00 - 09:30 (D104): Welcome and Introductions

09:30 - 10:45 (D104): Oliver Clarke: Macaulay2

10:45 - 12:00 (D104): Matthias Zach: OSCAR

12:00 - 17:00: group work

17:00 - 18:00 (MCS3070): group stand up 

Tuesday

09:00 - 11:00 (PCL054): Kevin Buzzard: Lean

11:00 - 11:20 (PCL054): participant talks (Yang)

11:20 - 12:00 (PCL054): project presentations

12:00 - 17:00: group work 

17:00 - 18:00 (MCS3070): group stand up 

Wednesday

09:00 - 10:00 (BL201): participant talks (Schloesser, Ablett, Springer)

10:00 - 17:00: group work

17:00 - 18:00 (MCS3070): group stand up 

Thursday

09:00 - 10:00 (MCS2068): participant talks (Guerville-Balle, King, Zhang)

10:00 - 17:00: group work

17:00 - 18:00 (MCS3070): group stand up 

Friday

09:00 - 11:00: group work

11:00 - 12:00 (MCS0001): group presentations

12:00 onwards: walk to the station pub for post-workshop discussions and Durham University room tierlist

Lunch

Cafeterias can be found in the following buildings on campus:

• MCS (baked potatoes, sandwiches, soups, etc)

• Botanic Gardens (MCS but better and more expensive) 

• Palantine Cafe (salads + hot food) 

• TLC (salads + hot food)

• Business School (salad bar + hot food)

Many more options are available off campus.

Funding

This workshop is generously supported by the INI and the EPSRC (EP/V521929/1), as well as the UKRI (MR/Y003888/1).

Registration

Registration is officially closed.  For late registration, please email the organisers.

Organisers

Yue Ren and Victoria Schleis.