Speaker: Ivan Tomašić (Queen Mary University of London)

Time: 14:00-15:00 p.m., May 22, 2025, GMT+8

Venue: Room 77201, Jingchunyuan 78, BICMR

Abstract: 

Differential and difference algebra were founded by Ritt and his students Kolchin and Cohn in the 1950s as the study of rings and modules endowed with an additional operator: a differential operator/derivation, or a difference operator/endomorphism. 

Using the methods of category theory, we elevate those areas to the level where they easily interact with fundamental areas of mainstream mathematics such as algebraic geometry and logic, and the progress is made by following established templates and higher principles, as opposed to ad-hoc reasoning.

Using the methods of Grothendieck’s topos theory and Lawvere-Tierney’s categorical logic, we make significant advances on homological algebra, algebraic geometry and cohomology theory in the difference context. 

Using the methods of Janelidze\s categorical Galois theory and our newly-developed theory of precategorical descent, we vastly generalise the 140-year old Picard-Vessiot style Galois theory for differential and difference fields to the context of differential and difference schemes, suitable for the treatment of parametic families of differential and difference equations. 

Source: Beijing International Center for Mathematical Research, PKU