BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240124T140000
DTEND;TZID=America/New_York:20240124T150000
DTSTAMP:20260719T112350
CREATED:20240102T163450Z
LAST-MODIFIED:20240125T165049Z
UID:10000148-1706104800-1706108400@cmsa.fas.harvard.edu
SUMMARY:Approaches to the formalization of differential geometry
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Heather Macbeth\, Fordham University \nTitle: Approaches to the formalization of differential geometry \nAbstract: In the last five years\, there has been early work on the computer formalization of differential geometry. I will survey the projects I am aware of. I will also describe two projects of my own\, as case studies for typical challenges. The first (joint with Floris van Doorn) is an exercise in developing suitable abstractions\, the second (joint with Mario Carneiro) is an exercise in developing suitable automation.
URL:https://cmsa.fas.harvard.edu/event/nt-12424/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-01.24.2024.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240126T120000
DTEND;TZID=America/New_York:20240126T130000
DTSTAMP:20260719T112350
CREATED:20240102T203315Z
LAST-MODIFIED:20240125T174129Z
UID:10000803-1706270400-1706274000@cmsa.fas.harvard.edu
SUMMARY:Anti-Iitaka conjecture in positive characteristic
DESCRIPTION:CMSA Member Seminar \nSpeaker: Iacopo Brivio (Harvard) \nTitle: Anti-Iitaka conjecture in positive characteristic \nAbstract: Given a smooth projective variety\, its Kodaira dimension kappa(K_X) is an important invariant that measures the rate of growth of m-pluricanonical forms as a function of m. It serves as an higher-dimensional generalization of the genus of a Riemann surface. If f : X –> Y is a fibration with general fiber F\, a famous conjecture of Iitaka predicts the inequality kappa(K_X) \geq kappa(K_Y) + kappa(K_F). More recently it was shown by Chang that\, if the stable base locus of -K_X is vertical\, then the inequality kappa(-K_X) \leq kappa(-K_Y) + kappa(-K_F) holds. Both Iitaka’s conjecture and Chang’s theorem are known to fail in positive characteristic. In this talk I will explain how one can recover Chang’s theorem for a class of “tame” fibrations in characteristic p > 0. This is based on joint work with M. Benozzo and C.-K. Chang.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-12624/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Member-Seminar-01.26.24.docx-1.png
END:VEVENT
END:VCALENDAR