Category Theory Seminar: Alvaro Belmonte (JHU)
Krieger 413Title: Formalizing ∞-Category Theory in Lean
Title: Formalizing ∞-Category Theory in Lean
Title: The local theta correspondence and functoriality Abstract: In a letter to Howe, Langlands conjectured that the local theta correspondence is an instance of Langlands functoriality, e.g., it should preserve […]
Tikhonov regularization is a widely used technique in solving inverse problems that can enforce prior properties on the desired solution. In this talk, I will present a Krylov subspace based […]
Title: Towards A-theory of orbifoldsAbstract: Waldhausen's A-theory of spaces — an extension of Quillen's higher algebraic K-theory of rings — is central to the study of moduli spaces of manifolds. In this talk, we will […]
Title: An Euler system of Heegner type Abstract: In this talk, I will present the result of Cornut in his paper "An Euler system of Heegner type" where he constructed […]
Topic: Formalizing ∞-Category Theory in Lean
Title: The Lawson-Osserman conjecture for the minimal surface systemAbstract: In their seminal work on the minimal surface system, Lawson and Osserman conjectured that Lipschitz graphs that are critical points of […]
Title: Relative Satake isomorphism and Euler systems Abstract: Starting from the inversion formula for the relative Satake isomorphism due to Sakellaridis, we observe a simple additional divisibility property. We will […]
Title: Towards the quantum exceptional series Abstract: Many Lie algebras fit into discrete families like GL(n), On, Spn. By work of Brauer, Deligne and others, the corresponding tensor categories fit into […]
Title: Introduction to Springer theory
Title: The Nevo-Thangavelu spherical maximal function on two step nilpotent Lie groups.Consider R^d times R^m with the group structure of a 2-step Carnot Lie group and natural parabolic dilations. The […]