<div dir="ltr"><div style="font-family:arial,sans-serif;font-size:14px">逧�ｧ�</div><div style="font-family:arial,sans-serif;font-size:14px"><br></div><div style="font-family:arial,sans-serif;font-size:14px">蝨溷ｱ区亊蜊壼�逕溘°繧蛾€∽ｿ｡萓晞�ｼ縺後≠繧翫∪縺励◆縺ｮ縺ｧ霆｢騾√＞縺溘＠縺ｾ縺吶€�</div><div style="font-family:arial,sans-serif;font-size:14px"><br></div><div style="font-family:arial,sans-serif;font-size:14px">蟯ｩ蟆ｾ諷惹ｻ九€€髱貞ｱｱ蟄ｦ髯｢逅�ｷ･</div><div style="font-family:arial,sans-serif;font-size:14px"><br></div><div style="font-family:arial,sans-serif;font-size:14px">============================</div><div style="font-family:arial,sans-serif;font-size:14px">騾｣邯夊ｬ帶ｼ斐�縺顔衍繧峨○</div><div style="font-family:arial,sans-serif;font-size:14px"><br></div><div style="font-family:arial,sans-serif;font-size:14px">逧�ｧ倥€∵ｬ｡縺ｮ騾｣邯夊ｬ帶ｼ斐ｒ莨∫判縺励∪縺励◆縺ｮ縺ｧ縲√♀遏･繧峨○縺励∪縺吶€�<br><br>隰帛ｸｫ�壻ｸｭ蟲ｶ蝠難ｼ井ｺｬ螟ｧ謨ｰ逅��費ｼ�<br>鬘悟錐�唔nstanton moduli spaces and W-algebras<br>譌･譎ゑｼ�<br>縲€2014蟷ｴ9譛�29譌･�域怦��10:30��12:30, 14:30��17:00<br>縲€2014蟷ｴ9譛�30譌･�育↓��10:30��12:30, 14:30��17:00<br>縲€2014蟷ｴ10譛�1譌･�域ｰｴ��10:30��12:30, 14:30��17:00<br>蝣ｴ謇€�壽擲螟ｧ謨ｰ逅�€�123蜿ｷ螳､</div><div style="font-family:arial,sans-serif;font-size:14px"><br>Aim of lectures��<br><br>I would like to explain details of Maulik-Okounkov's paper<br><a href="http://arxiv.org/abs/1211.1287" target="_blank">http://arxiv.org/abs/1211.1287</a>ﾂ�and our paper<br><a href="http://arxiv.org/abs/1406.2381" target="_blank">http://arxiv.org/abs/1406.2381</a>.ﾂ�<br><br>Prerequisite��<br><br>1. Basics on quiver varieties and Hilbert/Gieseker schemes, i.e.,<br>definition (Chapter 2 ofﾂ�<a href="http://arxiv.org/abs/1211.1287" target="_blank">http://arxiv.org/abs/1211.1287</a>) and Heisenberg<br>action on equivariant cohomology groups (<a href="http://arxiv.org/abs/1401.6782" target="_blank">http://arxiv.org/abs/1401.6782</a>)<br><br>2. Equivariant derived category, such as Bernstein-Lunts LNM 1578<br><br>3. Vertex algebras and W-algebras, e.g., Arakawa's paper on<br>representation of W-algebras, Invent. Math. 2007<br><br>4. We omit the physical motivation, i.e., the AGT conjecture. It is not<br>required, but better to know physical motivation, e.g.,<br><a href="http://arxiv.org/abs/1108.5632" target="_blank">http://arxiv.org/abs/1108.5632</a><br><br>Syllabus��<br><br>1. We review Maulik-Okounkov's paper (<a href="http://arxiv.org/abs/1211.1287" target="_blank">http://arxiv.org/abs/1211.1287</a>),<br>especially stable envelop, R-matrices, definition of Yangian,<br>and toroidal gl(1) as an example from quiver varieties for the Jordan<br>quiver. (Here only 1 is required.)<br><br>2. We review the hyperbolic restriction functor and its applications,<br>such as the definition, the use in geometric Satake (see<br>Mirkovic-Vilonen, Ann. of Math. 2007), and its relation to stable<br>envelop (<a href="http://arxiv.org/abs/1207.0529" target="_blank">http://arxiv.org/abs/1207.0529</a>). (Only 1 and 2 are required.)<br><br>3. We then explain our paper (<a href="http://arxiv.org/abs/1406.2381" target="_blank">http://arxiv.org/abs/1406.2381</a>), starting<br>from equivariant sheaves on Uhlenbeck spaces.</div><div style="font-family:arial,sans-serif;font-size:14px"><br></div><div style="font-family:arial,sans-serif;font-size:14px">縺ｪ縺翫€∬ｬ帶ｼ斐�譌･譛ｬ隱槭〒陦後↑繧上ｌ縺ｾ縺吶€�</div><div style="font-family:arial,sans-serif;font-size:14px"><br>荳冶ｩｱ莠ｺ�壼悄螻区亊蜊夲ｼ�IPMU��</div><div style="font-family:arial,sans-serif;font-size:14px"><br></div><div style="font-family:arial,sans-serif;font-size:14px">============================</div></div>