A Basis Theorem for the 2-Morphisms of the Heisenberg Category

Value of the Information & Strength of the Argument

The video provides a clear overview of the Heisenberg category and its categorification, with a focus on the diagrammatic calculus. The argumentation is structured, moving from the algebraic definition to the categorical framework and then to the specific problem of finding a basis. The speaker effectively motivates the study by linking it to geometric representation theory. However, the presentation is at a high level and skips many technical details, which may limit its value for non-specialists. The discussion of the quantum Heisenberg category is brief and somewhat disconnected from the main problem.

Scientific Rigor, Source Quality, Title Accuracy

The speaker references key works by Nakajima, Grojnowski, Licata, and Savage, but does not provide specific citations or URLs. The title accurately reflects the content, and the presentation is scientifically rigorous within the context of a proposal defense. However, the informal nature and lack of detailed proofs reduce the overall rigor. The video does not include a bibliography or links to papers, so the sources are not verifiable from the video alone.

The title accurately reflects the content: the talk focuses on developing a basis theorem for 2-morphisms in the Heisenberg category.

6/10

The presentation is a master's thesis proposal defense, showing a clear understanding of the Heisenberg category and its categorification. The mathematical content is rigorous, but the video is informal and lacks detailed proofs or references. The speaker acknowledges skipping some parts and the presentation is aimed at a specialized audience.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 00:00Informal discussion with examiner and friends before the defense.
• 05:00Introduction to the Heisenberg algebra and its action on Hilbert schemes.
• 10:00Definition of the Heisenberg algebra and its relations.
• 15:00Introduction of the diagrammatic category and its generators.
• 20:00Definition of the Heisenberg category as the Karoubi envelope.
• 25:00Statement of the problem: finding a basis for 2-morphisms.
• 30:00Discussion of the quantum Heisenberg category and its relation.
• 35:00Conclusion and Q&A session.

• Nakajima, Hilbert schemes and the Heisenberg algebra — Mentioned as establishing the action of the Heisenberg algebra on cohomology of Hilbert schemes.
• Grojnowski, Hilbert schemes and the Heisenberg algebra — Mentioned as independently establishing the same action.
• Licata and Savage, Categorification of the Heisenberg algebra — Mentioned as the source of the categorification and the Heisenberg category.
• Brundan, Savage, Webster, Quantum Heisenberg category — Mentioned as introducing the quantum Heisenberg category.