Since 2002 Perimeter Institute has been recording seminars, conference talks, and public outreach events using video cameras installed in our lecture theatres. Perimeter now has 7 formal presentation spaces for its many scientific conferences, seminars, workshops and educational outreach activities, all with advanced audio-visual technical capabilities. Recordings of events in these areas are all available On-Demand from this Video Library and on Perimeter Institute Recorded Seminar Archive (PIRSA). PIRSA is a permanent, free, searchable, and citable archive of recorded seminars from relevant bodies in physics. This resource has been partially modelled after Cornell University's arXiv.org.
In many situations, geometric objects on a space have some kind of singular support, which refines the usual support. For instance, for smooth X, the singular support of a D-module (or a perverse sheaf) on X is as a conical subset of the cotangent bundle; similarly, for quasi-smooth X, the singular support of a coherent sheaf on X is a conical subset of the cohomologically shifted cotangent bundle. I would like to describe a higher categorical version of this notion.
The Todd class enters algebraic geometry in two places, in the Hirzebruch-Riemann-Roch formula and in the correction of the HKR isomorphism needed to make the Hochschild cohomology isomorphic to polyvector field cohomology (Kontsevich’s claim, proved by Calaque and van den Bergh). In the case of orbifolds the Riemann-Roch formula is known, but not the analogue of Kontsevich’s result. However, we can try to use the former as a guide towards a conjectural formulation for the latter.
I will discuss the comparison of shifted Poisson and symplectic geometry and applications to the shifted quantization of moduli spaces.
Let (X,w) be a -1-shifted symplectic derived scheme or stack over C in the sense of Pantev-Toen-Vaquie-Vezzosi with an "orientation" (square root of det L_X). We explain how to construct a perverse sheaf P on the classical truncation X=t_0(X), over a base ring A. The hypercohomology H*(P) is regarded as a categorification of X.
Now suppose i : L --> X is a Lagrangian in (X,w) in the sense of PTVV, with a "relative orientation". We outline a programme (work in progress) to construct a natural morphism
\mu : A_L[vdim L] --> i^!(P)
After the pioneering work of J. Lurie in [DAG-IX], the possibility of a derived version of analytic geometry drew the attention of several mathematicians. The goal of this talk is to provide an overview of the state of art of derived analytic geometry, addressing both the complex and the non-archimedean setting.
A crucial ingredient in the theory of shifted Poisson structures on general derived Artin stacks is the method of formal localization.
Formal localization is interesting in its own right as a new, very power ful tool that will prove useful in order to globalize tricky constructions and results, whose extension from the local case presents obstructions that only vanish formally locally.