A Mathematical Introduction to Geometric Quantization

These notes are based on a series of lectures by Kadri İlker Berktav from May 2024 to November 2024, providing a detailed exposition of geometric quantization formalism and its essential components. They are organized into three parts: background in symplectic geometry, basics of geometric quantization formalism, and an application related to Edward Witten’s work in knot theory and topology.