Derived Differential Geometry

Introduction

Derived differential geometry is an innovative branch of mathematics that extends classical differential geometry by incorporating techniques from homotopy theory and category theory. While traditional differential geometry focuses on smooth manifolds and their properties, derived differential geometry provides a more flexible framework that can handle objects with singularities or ill-behaved intersections.

In classical differential geometry, manifolds are spaces that locally resemble Euclidean space and are equipped with smooth structures. Derived differential geometry enhances this perspective by considering higher categorical structures, where we include not just points and functions but also higher morphisms between them. This extension offers powerful tools to address problems in conventional differential geometry that prove intractable with traditional methods.

The roots of derived differential geometry can be traced to the development of derived algebraic geometry, which addressed limitations in traditional algebraic geometry when dealing with intersection theory and moduli spaces. The transition to differential geometry was natural, as many similar challenges appeared in that field. Notable contributions came from mathematicians including Jacob Lurie, Bertrand Ton, and Gabriele Vezzosi, who created rigorous frameworks using higher category theory.

Foundational Concepts

Derived differential geometry builds on several fundamental concepts that distinguish it from classical differential geometry:

Differential Graded Algebras

Central to derived differential geometry is the use of differential graded algebras (DGA). A DGA is a graded algebra equipped with a differential that satisfies the Leibniz rule. These structures serve as local models for derived spaces, replacing the commutative algebras of smooth functions used in classical differential geometry.

While classical smooth manifolds correspond to commutative DGAs, derived manifolds correspond to more general DGAs that may not be strictly commutative but satisfy commutativity up to homotopy. This flexibility allows for the encoding of higher homotopical information essential in derived geometry.

Differential Graded Manifolds

Differential graded (DG) manifolds generalize smooth manifolds through graded coordinates. A DG manifold is a supermanifold equipped with a homological vector field Q satisfying Q = 0. These structures appear naturally in studying moduli spaces, deformations, and mathematical physics.

Derived Schemes and Stacks

Derived schemes and stacks are fundamental objects in derived algebraic geometry, with analogues in derived differential geometry. A derived stack is a generalized geometric space encoding not just points but also relationships and higher relationships between them.

Derived schemes and stacks satisfy certain descent conditions and provide a more refined approach to moduli problems. They incorporate deformation theory into their structure, enabling more flexible geometric constructions.

Higher Category Theory

Derived geometry relies heavily on higher category theory, particularly (,n)-categories that generalize ordinary categories by allowing higher morphisms between morphisms, and so on. In derived differential geometry, geometric spaces are objects in an (,1)-category, where morphisms are given by derived mapping spaces.

Applications

Derived differential geometry has found numerous applications across various areas of mathematics:

Moduli Spaces

Perhaps the most significant application is in the study of moduli spacesspaces that parametrize geometric objects. Classical moduli spaces often have complicated structures, including singularities and non-transversal intersections. Derived differential geometry provides systematic ways to "smooth out" these pathologies.

Derived enhancements of moduli spaces allow mathematicians to work in settings where intersection theory behaves more predictably. This has been particularly useful in enumerative geometry, where counting geometric objects involves delicate intersection calculations.

Intersection Theory

In classical differential geometry, the intersection of two submanifolds may behave poorly when they do not meet transversely. Derived differential geometry addresses this by considering derived fiber products, which encode higher homotopical information of non-transverse intersections.

This approach has led to more general intersection theories that work in contexts where classical intersection theory fails. Virtual fundamental classes constructed using derived techniques have been instrumental in Gromov-Witten theory and Donaldson-Thomas theory.

Deformation Theory

Deformation problems in geometry are naturally studied through derived differential geometry. Understanding how a geometric structure deforms corresponds to studying the infinitesimal neighborhood of the corresponding point in a moduli space.

The derived approach provides a unified framework incorporating all orders of deformations simultaneously. This has proven valuable in studying deformations of complex structures, symplectic structures, and other geometric structures.

Quantization

Derived differential geometry has important applications to geometric quantization. Derived symplectic geometry has provided new insights into the Batalin-Vilkovisky formalism and other approaches to quantization of field theories.

Examples

To illustrate these abstract concepts, consider some important examples in derived differential geometry:

Derived Intersection of Two Curves

Consider two curves in a plane that intersect tangentially at a point rather than transversely. In classical geometry, their intersection is just a point, failing to capture the special nature of this intersection.

In derived differential geometry, the derived intersection remembers more information. If f(x,y)=0 and g(x,y)=0 define our two curves, the derived intersection includes solutions to these equations plus information about how these solutions relate to the Jacobian matrices of f and g. This additional structure captures the tangency in a homotopical sense.

Derived Critical Loci

Given a smooth function f on a manifold, the critical locus (where the differential df vanishes) is a classical object in Morse theory. However, this locus can be highly singular.

Quotient Spaces

Constructing quotient spaces by group actions is a classical problem. When the action is not free (has fixed points), the quotient space may have singularities. Derived differential geometry provides techniques for constructing derived quotients that preserve more information about the original space and group action.

Relationship to Other Fields

Derived differential geometry sits at the nexus of several mathematical disciplines and has deep connections with various fields:

Algebraic Geometry

Derived differential geometry has a close relationship with derived algebraic geometry, with many concepts having analogues in both settings. The techniques developed in algebraic geometry for handling singularities, intersections, and moduli spaces inform the differential-geometric counterpart.

Homotopy Theory

Homotopy theory provides the technical foundation for derived differential geometry. Concepts like model categories, -categories, and simplicial sets are essential tools for defining and working with derived geometric objects.

Theoretical Physics

Derived differential geometry has found applications in theoretical physics, particularly in string theory and quantum field theory. Concepts like derived symplectic geometry provide rigorous mathematical foundations for certain physical theories.

Category Theory

Category theory serves as both the language and conceptual framework for derived differential geometry. Higher category theory provides the means to express relations of relations and similar complex structures that arise in derived geometry.

Future Directions

The field of derived differential geometry continues to evolve rapidly, with several promising directions for future research:

Computational Aspects

As the theory matures, developing computational techniques for derived differential geometry becomes increasingly important. While the theoretical framework has advanced, concrete calculations in derived settings remain challenging. Future work will focus on making derived techniques more accessible for specific computations.

Applications to Physics

The relationship between derived differential geometry and theoretical physics is likely to deepen. Applications to conformal field theory, topological quantum field theory, and other areas of quantum physics remain active research areas.

New Geometric Invariants

Derived techniques have already led to new invariants in algebraic geometry and related fields. As derived differential geometry develops further, we can expect the discovery of new invariants for differential-geometric objects that capture information invisible to classical approaches.

Unification of Geometric Theories

Perhaps the most ambitious goal is the unification of various geometric theories under a single framework. By providing a common language that subsumes classical differential geometry, algebraic geometry, and other disciplines, derived geometry may reshape our understanding of geometric structures.