November 18 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Krieger 413
November 18 @ 3:00 pm - 4:00 pm Analysis seminar: Yaehyeon Ryu (KIAS) Krieger 306 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. […]