Na zajedničkom sastanku Seminara za matematičku logiku i računarstvo te Seminara za algebru, u četvrtak 16. siječnja 2025. u 17:15 sati, u predavaonici A001, PMF-MO, 

Ivan Tomašić (Queen Mary University of London) održat će povodom Svjetskog dana logike prigodno predavanje 

 

Galoisova teorija diferencijalnih shema (Galois theory of differential schemes)

 

Sažetak: Picard-Vessiot teorija se od 1883. razvija kao Galoisova teorija proširenja diferencijalnih polja vezanih uz linearne diferencijalne jednadžbe. Motivirani Janelidzeovom kategoričkom Galoisovom teorijom i radom na prekategoričkoj teoriji descenta u algebarskoj geometriji, poopćujemo diferencijalnu Galoisovu teoriju na preslikavanja općenitih diferencijalnih shema. Ovo je zajednički projekt s Behrang Noohijem.
 

Abstract: Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of precategorical descent applied to algebraic-geometric situations, we develop a Galois theory that applies to morphisms of differential schemes, and vastly generalises the linear Picard-Vessiot theory, as well as the strongly normal theory of Kolchin. This is joint work with Behrang Noohi.