*This seminar series is designed to support gender minorities in mathematics, such as women, transgender, gender-fluid, and non-binary mathematicians (graduate students, postdocs, and faculty). Participants who identify with gender minorities in mathematics are highly encouraged to attend the lunch and are encouraged to RSVP to be reimbursed for travel.
Details
Where: Stony Brook University (room TBA)
When: Friday, April 12th, 2024
Time: 12:30pm - 4:00pm
Schedule
11:45 am - 1:00 pm Lunch at Simons Center Cafe
1:00 pm - 2:00 pm Talk by Dr. Lisa Marquand
2:00 pm - 2:30 pm Break
2:30 pm - 3:30 pm Talk by Dr. Heather Macbeth
3:30 pm - 4:00 pm Tea
Arrival: if arriving before 11:30 a.m., please meet the organizers in the lobby of the Simons Center. Otherwise, you can come directly to the cafe for lunch.
Directions
From NYC, the best way to travel to Stony Brook is via the LIRR, Port Jefferson branch, getting off at the Stony Brook station. Use the "MTA TrainTime" app to find scheduled trips and buy tickets. Click here for a detailed guide.
To return to NYC via the LIRR, there are trains from Stony Brook at 4:37pm and 6:42pm.
If you are planning to drive, take the Long Island Expressway (LIE, I-495) eastbound to exit 62, and follow Nicolls Road (Route 97) north for 9 miles. The main entrance to the University is on the left. Metered parking near the venue is available. (Lot 7 or 12; map here.)
Titles and Abstracts
Lisa Marquand: Cubic Hypersurfaces, Automorphisms and Rationality.
A central problem in algebraic geometry is that of rationality: given an algebraic variety X, when is it birational to complex projective space? It is natural to first investigate hypersurfaces of fixed degree: i.e defined by the vanishing of a homogeneous polynomial of degree d. This is a trivial question in degrees 1 and 2, but becomes more interesting in degree 3. After surveying the known results for cubic hypersurfaces in dimensions 1, 2 and 3, we will focus on cubic fourfolds with additional automorphisms. We will see that imposing the existence of an involution forces a richer geometric picture, and we will prove that cubic fourfolds with a specific involution are all rational
Heather Macbeth: Making mathematics computer-checkable
Abstract: In the last thirty years, computer proof verification or "formalization" became a mature technology. Particular momentum has been provided by recent advances such as the "Liquid Tensor Experiment" formalizing a recent theorem of Clausen-Scholze and the "PFR project" formalizing a recent theorem of Gowers-Green-Manners-Tao, as well as by promising experiments integrating this technology with machine learning.
I will briefly describe some of these developments, and some aspects of the technology which seem to offer particular promise for the future. I will then describe some challenges, using a recent project on the formalization of the Gagliardo-Nirenberg-Sobolev inequality as a case study. This project is joint work with Floris van Doorn.
Reimbursement
If you are planning to travel from NYC by public transport, you can claim travel reimbursement. Electronic or physical receipts are to be kept (a picture of a physical receipt is insufficient). If you are driving, you must submit your starting address (from here, we can estimate the reimbursement based on the current IRS mileage rate). You can also submit receipts or an EZ Pass log to claim reimbursement for tolls. Reimbursement forms will be provided to you at the beginning of the event. If you have any questions, please feel free to email Dylan at dylan.galt@stonybrook.edu.