Joey van der Leer Duran, University of Toronto
"Hodge decompositions for Lie algebroids on manifolds with boundary"
Ben Passer, Department of Pure Mathematics, University of Waterloo
"Containment of Matrix Convex Sets"
Thomas Lam, University of Michigan
"The mirror theorem for minuscule flag varieties"
Eli Shamovich, Department of Pure Mathematics, University of Waterloo
"Noncommutative kernels, multipliers, and the Fock space"
Andrej Vukovic, Department of Pure Mathematics, University of Waterloo
"Univalence"
In this week's meeting of the homotopy type theory seminar, we begin by reviewing homotopy equivalence and the transport map. We then discuss dependent pair and function types in the context of homotopy theory and introduce function extensionality. Finally, we formalize the univalence axiom with the type-theoretic notion of homotopy equivalence.
MC 5413
Daniel Perales, Department of Pure Mathematics, University of Waterloo
"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"
John Sawatzky, Department of Pure Mathematics, University of Waterloo
"The Banach-Tarski Paradox"
Richard Derryberry, University of Toronto and Perimeter Institute for Theoretical Physics
"Langlands duality and self-duality for Hitchin systems"
Jeremy Levick, Conestoga College
"Factorizable Quantum Channels and Linear Matrix Inequalities"
Sobhan Seyfaddini, CNRS, Jussieu
"The Arnold conjecture and Hamiltonian homeomorphisms"
The Arnold conjecture on fixed points of Hamiltonian diffeomorphisms has been one of the main driving forces in the development of symplectic topology. After presenting the conjecture, we will introduce the notion of Hamiltonian homeomorphisms and will discuss whether the conjecture holds in non-smooth settings. The talk will be accessible to a broad audience.
MC 5501