Moduli Spaces, Virtual Invariants and Shifted Symplectic Structures

Enumerative geometry is a core area of algebraic geometry that dates back to Apollonius in the second century BCE. It asks for the number of geometric figures with desired properties and has many applications from classical geometry to modern physics. Typically, an enumerative geometry problem is solved by first constructing the space of all geometric figures of fixed type, called the moduli space, and then finding the subspace of objects satisfying the desired properties. Unfortunately, many moduli spaces from nature are highly singular, and an intersection theory is difficult to make sense of. However, they come with deeper structures, such as perfect obstruction theories, which enable us to define nice subsets, called virtual fundamental classes. Now, enumerative numbers, called virtual invariants, are defined as integrals against the virtual fundamental classes. Derived algebraic geometry is a relatively new area of algebraic geometry that is a natural generalization of Serre’s