Category Theory Seminar: Emily Riehl (JHU)
Krieger 413Topic: Formalizing ∞-Category Theory in Lean
Topic: Formalizing ∞-Category Theory in Lean
Title: The Saint Venant inequality and quantitative resolvent estimates for the Dirichlet Laplacian.Abstract: Among all cylindrical beams of a given material, those with circular cross sections are the most resistant […]
Title: Reconstructing schemes from their étale topoi.Abstract: In Grothendieck’s 1983 letter to Faltings that initiated the study of anabelian geometry, he conjectured that a large class of schemes can be reconstructed from […]
Title: Towards Bezrukavnikov's geometrization of affine Hecke algebras in mixed-characteristics Abstract: Let G be a connected reductive group over a p-adic field. Kazhdan and Lusztig established an isomorphism between the extended […]
Title and abstract TBA
Title: Transfer operators for the relative trace formula. (Cont.) Abstract: Last time I presented an explicit formula for transfer operators that relate test measures and characters between the double quotients […]
Title: Restriction estimates for spectral projectionsAbstract: Restriction estimates for spectral projections have been widely studied since the work of Burq, Gérard, and Tzvetkov as a method for investigating eigenfunction concentration. […]
Title:Abstract:
Title: Beyond Endoscopy via Poisson Summation for $GL(2,K)$ Abstract: Langlands proposed a strategy called Beyond Endoscopy to prove the principle of functoriality, which is one of the central questions of […]
Title and abstract TBA
Title: From Manin–Mumford to Dynamical Rigidity.Abstract: In the early 1980s, Raynaud proved a theorem (the Manin–Mumford Conjecture) about the geometry of torsion points in abelian varieties, using number-theoretic methods. Around […]