Category Theory Seminar: Zeyi Zhao (JHU)
Krieger 413Topic: Formalizing ∞-Category Theory in Lean
Topic: Formalizing ∞-Category Theory in Lean
Title: Asymptotic Enumerativity of Tevelev Degrees.Abstract: A Tevelev degree is a type of Gromov-Witten invariant where the domain curve is fixed in the moduli. After reviewing the basic definitions and previously known […]
Title: On the Gan-Gross-Prasad conjecture for unitary groups Abstract: The Gan-Gross-Prasad conjecture stipulates the existence of relations between the central values of certain L-functions and some automorphic periods on classical […]
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 […]
Formalizing cotensors in Lean.
Title: Optimal observability times for wave and Schrodinger equations on really simple domainsAbstract: Observability for evolution equations asks: if I take a partial measurement in a system, can it “see” […]
Title:Abstract:
Title: Shimura Varieties and Eigensheaves Abstract: The cohomology of Shimura varieties is a fundamental object of study in algebraic number theory by virtue of the fact that it is the […]
Rather than a seminar talk, this week we will meet to brainstorm on the relation between Euler systems and harmonic analysis.
Topic: Formalizing ∞-category theory in Lean
Title: Existence of 5 minimal tori in 3-spheres of positive Ricci curvatureAbstract: In 1989, Brian White conjectured that every Riemannian 3-sphere contains at least five embedded minimal tori. The number […]