PRO (Presenting Results of Others) SeminarIcalAtom
The PRO Seminar is a weekly departmental forum dedicated to exploring mathematical developments, sharing influential articles, and discussing diverse topics of interest. The seminar provides a platform for researchers and students to present the work of others, fostering a collaborative environment for learning and academic growth.
Participation & Scheduling
We use a shared Google Sheet to manage the seminar schedule. You can use this link to see upcoming talks or to sign up to present a topic or paper:
In a seminal series of works, culminating in the monumental “What Determines an Algebraic Variety?” János Kollár, Max Lieblich, Martin Olsson, and Will Sawin prove that a normal projective algebraic variety of dimension at least 2 over an uncountable field of characteristic 0 can be reconstructed, in a precise sense, solely from its underlying topological space. The results of KLOS are specific to char. 0 and to normal varieties. Castle and O’Gorman, using the model theoretic machinery of Zilber’s Restricted Trichotomy, extend these results to all quasi projective varieties (of dimension at least 2) in all characteristics, in the case where the underlying field is algebraically closed and uncountable. In the talk, I will present the results and try to sketch the strategy of proof of the new result.
In their paper, Frączyk and Gelander prove a conjecture by Margulis: for a higher-rank simple Lie group $G$, a discrete subgroup has an infinite injectivity radius if and only if it has infinite covolume.
The novel methods used to resolve this rely on ergodic theory—specifically, analyzing random walks on the space of discrete subgroups, alongside new stiffness and rigidity results for these stationary measures.
In this talk, I will introduce the foundational definitions and present an outline of the main arguments used to prove the conjecture.
Tits’ independence property (P) and geometric density are two properties a group action on a tree can have; Tits showed that the combination of these properties yields interesting simple groups. However, constructing and detecting these properties remained unclear. Burger and Mozes’s introduction of universal groups gave one rich “local-to-global” way to construct groups with (P) by defining their action locally around each vertex. I will present a paper by Colin Reid and Simon Smith which defines local action diagrams, greatly generalizing the Burger-Mozes construction. Local action diagrams turn out to completely classify groups with property (P), as well as to be able to detect geometric density and other global properties of group actions on trees.
Link to the paper: https://link.springer.com/article/10.1007/s00208-026-03412-w