Category Theory Seminar: Daniel Carranza (JHU)
Krieger 413Formalizing cotensors in Lean.
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 […]
Title: Linear Chern-Hopf-Thurston conjectureAbstract: The Chern-Hopf-Thurston conjecture asserts that for a closed, aspherical manifold X of dimension 2d, the Euler characteristics satisfies $(-1)^dchi(X)geq 0$. In this talk, we present a proof of […]
Title: p-adic L-functions for GSp(4)times GL(2) Abstract: I'll explain a construction of p-adic L-functions for GSp(4)times GL(2) by using Furusawa's integral and the proof of its interpolation formula. I'll describe […]
Title and abstract TBA
Title: The Weil representation.
Topic: Formalizing ∞-Category Theory in Lean