# Schedule for: 18w5182 - Workshop on Geometric Quantization

Beginning on Sunday, April 15 and ending Friday April 20, 2018

All times in Banff, Alberta time, MDT (UTC-6).

Sunday, April 15 | |
---|---|

16:00 - 17:30 | Check-in begins at 16:00 on Sunday and is open 24 hours (Front Desk - Professional Development Centre) |

17:30 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

20:00 - 22:00 | Informal gathering (Corbett Hall Lounge (CH 2110)) |

Monday, April 16 | |
---|---|

07:00 - 08:45 |
Breakfast ↓ Breakfast is served daily between 7 and 9am in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

08:45 - 09:00 |
Introduction and Welcome by BIRS Staff ↓ A brief introduction to BIRS with important logistical information, technology instruction, and opportunity for participants to ask questions. (TCPL 201) |

09:00 - 10:00 | Sergei Gukov: Geometric quantization and the equivariant Verlinde formula (TCPL 201) |

10:00 - 10:30 | Coffee Break (TCPL Foyer) |

10:30 - 11:30 | Michèle Vergne: Semi-classical limits of geometric quantization and the graded equivariant Todd class (TCPL 201) |

11:30 - 13:00 |
Lunch ↓ Lunch is served daily between 11:30am and 1:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

13:00 - 13:50 |
Guided Tour of The Banff Centre ↓ Meet in the Corbett Hall Lounge for a guided tour of The Banff Centre campus. (Corbett Hall Lounge (CH 2110)) |

13:50 - 14:00 |
Group Photo ↓ Meet in foyer of TCPL to participate in the BIRS group photo. The photograph will be taken outdoors, so dress appropriately for the weather. Please don't be late, or you might not be in the official group photo! (TCPL 201) |

14:00 - 14:45 |
Yiannis Loizides: Quantization of Hamiltonian loop group spaces ↓ I will describe a map from `D-cycles' for the twisted K-homology of a compact,
connected, simply connected Lie group to the Verlinde ring. The induced map on
K-homology is inverse to the Freed-Hopkins-Teleman isomorphism. An application is
to show that two options for `quantizing' a Hamiltonian loop group space are
compatible with each other. This talk is partly based on joint work with Eckhard
Meinrenken and Yanli Song. (TCPL 201) |

14:45 - 15:30 | Konrad Waldorf: Fusion in loop spaces (TCPL 201) |

15:30 - 16:00 | Coffee Break (TCPL Foyer) |

16:00 - 16:45 |
Chris Kottke: A new theory of higher gerbes ↓ Complex line bundles are classified naturally up to isomorphism by degree
two integer cohomology $H^2$, and it is of interest to find geometric objects
which are similarly associated to higher degree cohomology. Gerbes (of
which there are various versions, due respectively to Giraud, Brylinski,
Hitchin and Chattergee, and Murray) provide a such theory associated to
$H^3$. Various notions of"higher gerbes" have also been defined, though these
tend to run into technicalities and complicted bookkeeping associated with
higher categories.
We propose a new geometric version of higher gerbes in the form of "multi
simplicial line bundles", a pleasantly concrete theory which avoids many of
the higher categorical difficulties, yet still captures key examples
including the string (aka loop spin) obstruction associated to $\frac{1}{2}\ p_1$ in
$H^4$. In fact, every integral cohomology class is represented by one of
these objects in the guise of a line bundle on the iterated free loop space
equipped with a "fusion product" (as defined by Stolz and Teichner and
further developed by Waldorf) for each loop factor. This is joint work in
progress with Richard Melrose. (TCPL 201) |

16:45 - 17:30 |
Yael Karshon: Geometric quantization with metaplectic-c structures ↓ In the classical geometric quantization procedure with the
"half-form correction", one cannot quantize a complex projective space
of even complex dimension (there is no "half form bundle"), and one
cannot equivariantly quantize any symplectic toric manifold (there
is no "equivariant half form bundle"). I will describe a geometric
quantization procedure that uses metaplectic-c structures to incorporate
the "half form correction" into the prequantization stage and that
does apply to these examples. This follows work of Harald Hess from
the late 1970s, with recent contributions of Jennifer Vaughan. (TCPL 201) |

17:30 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

Tuesday, April 17 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 10:00 | Daniel Freed: Eta-invariants on pin manifolds and time-reversal symmetry (TCPL 201) |

10:00 - 10:30 | Coffee Break (TCPL Foyer) |

10:30 - 11:30 |
Nigel Higson: Discrete series representations, the Dirac operator and C*-algebra K-theory ↓ This is an expository talk about C*-algebra K-theory for reductive groups. I’ll try
to explain what it is, what it actually says about representation theory, and what
else it suggests about representation theory, at least to a willing mind. The story
begins with Harish-Chandra’s parametrization of the discrete series representations,
and the realization of discrete series representations using the Dirac operator.
I’ll discuss these things, and then touch on other parts of Harish-Chandra’s theory
of tempered representations that are prominent from the K-theoretic point of view. (TCPL 201) |

11:30 - 13:30 | Lunch (Vistas Dining Room) |

13:30 - 14:15 |
Yanli Song: Fourier transform, orbital integral and character of representations ↓ In 1980s, Connes and Moscovici studied index theory of G-invariant
elliptic pseudo-differential operators acting on non-compact homogeneous spaces.
They proved a $L^2$ -index formula using the heat kernel method, which is related to
the discrete series representation of Lie groups. In this talk, I will discuss the
orbital integral of heat kernel and its relation with Plancherel formula. This is a
generalization of the analytic index studied by Connes-Moscovici to the limit of
discrete series case. In a recent work by Hochs-Wang, they obained a fixed point
theorem for the topogical side of the index. This is a joint work with Xiang Tang. (TCPL 201) |

14:15 - 15:00 |
Hang Wang: K-theory, fixed point theorem and representation of semisimple Lie groups ↓ K-theory of reduced group $C^*$-algebras and their trace maps can be used to study
tempered representations of a semisimple Lie group from the point of view of index
theory. For a semisimple Lie group, every K-theory generator can be viewed as the
equivariant index of some Dirac operator, but also interpreted as a (family of)
representation(s) parametrised by A in the Levi component of a cuspidal parabolic
subgroup. In particular, if the group has discrete series representations, the
corresponding K-theory classes can be realised as equivariant geometric
quantisations of the associated coadjoint orbits. Applying orbital traces to the
K-theory group, we obtain a fixed point formula which, when applied to this
realisation of discrete series, recovers Harish-Chandra's character formula for the
discrete series on the representation theory side. This is a noncompact analogue of
Atiyah-Segal-Singer fixed point theorem in relation to the Weyl character formula.
This is joint work with Peter Hochs. (TCPL 201) |

15:00 - 15:30 | Coffee Break (TCPL Foyer) |

15:30 - 16:15 |
Martin Puchol: G-invariant holomorphic Morse inequalities ↓ Consider an action of a connected compact Lie group on a compact complex
manifold $M$, and two equivariant vector bundles $L$ and $E$ on $M$,
with $L$ of rank 1. The purpose of this talk is to establish holomorphic
Morse inequalities, analogous to Demailly's one, for the invariant part
of the Dolbeault cohomology of tensor powers of $L$, twisted by $E$. To
do so, we define a moment map $\mu$ by the Kostant formula and then the
reduction of $M$ under a natural hypothesis on $\mu^{-1}(0)$. Our
inequalities are given in term of the curvature of the bundle induced by
$L$ on this reduction, in the spirit of "quantization commutes with
reduction" (TCPL 201) |

16:15 - 17:00 | Stephan Stolz: From factorization algebras to functorial field theories (TCPL 201) |

17:30 - 19:30 | Dinner (Vistas Dining Room) |

Wednesday, April 18 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 09:45 |
Peter Hochs: K-types of tempered representations ↓ Let $G$ be a real semisimple Lie group, and $K < G$ a maximal compact subgroup. A tempered representation $\pi$ of G is an irreducible representation that occurs in the Plancherel decomposition of $L^2(G)$. The restriction $\pi|_K$ of $\pi$ to $K$ contains a substantial amount of information about $\pi$. (This is roughly analogous to the fact that an irreducible representation of $K$ is determined by its restriction to a maximal torus.) By realising this restriction as the geometric quantisation of a suitable space, which is a coadjoint orbit under a regularity assumption on $\pi$, we can apply a suitable version of the quantisation commutes with reduction principle to obtain geometric expressions for the multiplicities of the irreducible representations of $K$ in $\pi|_K$ (the $K$-types of $\pi$). This was done for the discrete series by Paradan in 2003. In recent joint work with Song and Yu, we extended this to arbitrary tempered representation. The resulting multiplicity formula was obtained in a different way for tempered representations with regular parameters by Duflo and Vergne in 2011. In independent work in progress with Higson and Song, we give a new proof of Blattner's formula for multiplicities of $K$-types of discrete series representations using geometric quantisation. This formula was first proved by Hecht and Schmid in 1975, and later by Duflo, Heckman
and Vergne in 1984. (TCPL 201) |

09:45 - 10:30 |
Nikhil Savale: A Gutzwiller type trace formula for the magnetic Dirac operator ↓ For manifolds including metric-contact manifolds with non-resonant Reeb
flow, we prove a Gutzwiller type trace formula for the associated magnetic
Dirac operator involving contributions from Reeb orbits on the base. As an
application, we prove a semiclassical limit formula for the eta invariant. (TCPL 201) |

10:30 - 11:00 | Coffee Break (TCPL Foyer) |

11:00 - 11:45 |
Xiang Tang: Hochschild Homology of Proper Lie Groupoids ↓ For a compact Lie group action on a smooth manifold, we will introduce a
complex of basic relative forms on the inertia space, which was originally
constructed by Brylinski. We will explain how basic relative forms can be used to
study the Hochschild homology of the convolution algebra. This is work in progress
with Markus Pflaum and Hessel Posthuma. (TCPL 201) |

11:45 - 13:30 | Lunch (Vistas Dining Room) |

13:30 - 17:30 | Free Afternoon (Banff National Park) |

17:30 - 19:30 | Dinner (Vistas Dining Room) |

Thursday, April 19 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 10:00 |
Jean-Michel Bismut: Hypoelliptic Laplacian and the trace formula ↓ The hypoelliptic Laplacian gives a natural interpolation between the Laplacian
and the geodesic flow. This interpolation preserves important spectral
quantities.
I will explain its construction in the context of compact Lie groups: in this
case, the hypoelliptic Laplacian is the analytic counterpart to localization in
equivariant cohomology on the coadjoint orbits of loop groups. The construction
for noncompact reductive groups ultimately produces a geometric formula for
the semisimple orbital integrals, which are the key ingredient in Selberg trace
formula. In both cases, the construction of the hypoelliptic Laplacian involves
the Dirac operator of Kostant. (TCPL 201) |

10:00 - 10:30 | Coffee Break (TCPL Foyer) |

10:30 - 11:30 | Richard Melrose: Generalized products and Quantization (TCPL 201) |

11:30 - 13:30 | Lunch (Vistas Dining Room) |

13:30 - 14:15 |
Frédéric Rochon: Torsion on hyperbolic manifolds of finite volume ↓ Abstract: Given a finite dimensional irreducible complex representation of
$G=SO_o(d,1)$, one can associate a canonical flat vector bundle $E$ together with a
canonical bundle metric $h$ to any finite volume hyperbolic manifold $X$ of dimension $d$.
For $d$ odd and provided $X$ satisfies some mild hypotheses, we will explain how, by
looking at a family of compact manifolds degenerating to $X$ in a suitable sense, one
can obtain a formula relating the analytic torsion of $(X,E,h)$ with the Reidemeister
torsion of an associated manifold with boundary. As an application, we will
indicate how, in the arithmetic setting, this formula can be used to derive
exponential growth of torsion in cohomology for various sequences of congruence
subgroups. This is a joint work with Werner Mueller. (TCPL 201) |

14:15 - 15:00 |
Laurent Charles: Toeplitz operators and entanglement entropy ↓ The first part of my talk will be an introduction to Berezin-Toeplitz quantization on Kähler manifolds. Then I will consider a particular class of Berezin-Toeplitz operators whose symbols are characteristic functions. I will discuss their spectral distribution and present a two-terms Weyl law. As an application, I will explain the area law for the entanglement entropy in Quantum Hall effect.
Joint work with B. Estienne. (TCPL 201) |

15:00 - 15:30 | Coffee Break (TCPL Foyer) |

15:30 - 16:15 |
Rudy Rodsphon: Diff-equivariant index theory ↓ Abstract: In the early eighties, Connes developed his Noncommutative Geometry
program, mostly to extend index theory to situations where usual tools of
differential topology are not available. A typical situation is foliations whose
holonomy does not necessarily preserve any transverse measure, or equivalently the
orbit space of the action of the full group of diffeomorphisms of a manifold. In the
end of the nineties, Connes and Moscovici worked out an equivariant index problem in
these contexts, and left a conjecture about the calculation of this index in terms
of characteristic classes. The aim of this talk will be to survey the history of
this problem, and explain partly our recent solution to Connes-Moscovici's
conjecture, focusing on the part concerning `quantization'. No prior knowledge of
Noncommutative Geometry will be assumed, and part of this is joint work with Denis
Perrot. (TCPL 201) |

16:15 - 17:00 |
George Marinescu: Berezin-Toeplitz quantization for eigenstates of the Bochner-Laplacian on symplectic manifolds ↓ We study the Berezin-Toeplitz quantization using as quantum
space the space of eigenstates of the renormalized Bochner Laplacian on a
symplectic manifold, corresponding to eigenvalues localized near the
origin. We show that this quantization has the
correct semiclassical behavior and construct the corresponding star-product.
This is joint work with L. Ioos, W. Lu and X. Ma. (TCPL 201) |

17:30 - 19:30 | Dinner (Vistas Dining Room) |

Friday, April 20 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 10:00 | Thomas Schick: Index theory and secondary spectral invariants to understand moduli spaces of Riemannian metrics (a survey) (TCPL 201) |

10:00 - 10:30 | Coffee Break (TCPL Foyer) |

10:30 - 11:30 | Mathai Varghese: Equivariant index theory in the noncompact context, and the relation to quantisation, reduction and PSC metrics (a survey) (TCPL 201) |

11:30 - 12:00 |
Checkout by Noon ↓ 5-day workshop participants are welcome to use BIRS facilities (BIRS Coffee Lounge, TCPL and Reading Room) until 3 pm on Friday, although participants are still required to checkout of the guest rooms by 12 noon. (Front Desk - Professional Development Centre) |

12:00 - 13:30 | Lunch from 11:30 to 13:30 (Vistas Dining Room) |