BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.18//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: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:20260413T235126
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:20240126T093000
DTEND;TZID=America/New_York:20240126T110000
DTSTAMP:20260413T235126
CREATED:20240118T143433Z
LAST-MODIFIED:20240118T192034Z
UID:10000860-1706261400-1706266800@cmsa.fas.harvard.edu
SUMMARY:Gauging spacetime inversions
DESCRIPTION:Quantum Matter in Mathematics and Physics Seminar \nSpeaker: Daniel Harlow (MIT) \nTitle: Gauging spacetime inversions \nAbstract: Spacetime inversion symmetries such as parity and time reversal play a central role in physics\, but they are usually treated as global symmetries. In quantum gravity there are no global symmetries\, so any spacetime inversion symmetries must be gauge symmetries. In particular this includes CRT symmetry (in even dimensions usually combined with a rotation to become CPT)\, which in quantum field theory is always a symmetry and seems likely to be a symmetry of quantum gravity as well. I’ll discuss what it means to gauge a spacetime inversion symmetry\, and explain some of the more unusual consequences of doing this. In particular I’ll argue that the gauging of CRT is automatically implemented by the sum over topologies in the Euclidean gravity path integral\, that in a closed universe the Hilbert space of quantum gravity must be a real vector space\, and that in Lorentzian signature manifolds which are not time-orientable must be included as valid configurations of the theory.
URL:https://cmsa.fas.harvard.edu/event/qm-2/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Quantum Matter
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-QMMP-01.26.23.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240126T120000
DTEND;TZID=America/New_York:20240126T130000
DTSTAMP:20260413T235126
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
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240126T160000
DTEND;TZID=America/New_York:20240126T180000
DTSTAMP:20260413T235126
CREATED:20240103T210013Z
LAST-MODIFIED:20240222T054337Z
UID:10001109-1706284800-1706292000@cmsa.fas.harvard.edu
SUMMARY:CMSA/MATH Bi-Annual Gathering
DESCRIPTION:On Friday\, Jan. 26\, 2024 the CMSA will host the CMSA/MATH Bi-Annual Gathering for Harvard CMSA and Math affiliates in the CMSA Common Room at 20 Garden Street\, Cambridge MA 02138.
URL:https://cmsa.fas.harvard.edu/event/cmsa-math_2924/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Event
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240130T110000
DTEND;TZID=America/New_York:20240130T120000
DTSTAMP:20260413T235126
CREATED:20240126T184234Z
LAST-MODIFIED:20240813T154857Z
UID:10000822-1706612400-1706616000@cmsa.fas.harvard.edu
SUMMARY:A quasi-local mass in general relativity
DESCRIPTION:General Relativity Seminar \nSpeaker: Aghil Alaee\, Clark University \nTitle: A quasi-local mass in general relativity \nAbstract: In this talk\, we define a new gauge-independent quasi-local mass and energy with respect to the Minkowski spacetime. In contrast to other quasi-local masses\, this new quasi-local mass/energy has a quasi-local proof of positivity. This positivity property is for spacelike surfaces with any topology.  Moreover\, we show that it has desired asymptotic behaviors at null and spatial infinity of asymptotically flat spacetimes. Rigidity is also established in that vanishing energy implies that the 2-surface arises from an embedding into Minkowski space\, and conversely\, the mass vanishes for any such surface. This is joint work with M. Khuri and S.T. Yau. \n 
URL:https://cmsa.fas.harvard.edu/event/general-relativity-seminar-13024/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-01.30.2024.png
END:VEVENT
END:VCALENDAR