Category Theory Seminar: Daniel Carranza (JHU)
Krieger 413Topic: Formalizing ∞-Category Theory in Lean
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 […]
Title: Minimal Exponent of Local Complete Intersection Subvarieties.Abstract: Classification of singularities is an interesting problem in many areas of algebraic geometry, like the minimal model program. One classical approach is to assign […]
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