Deformation theory

Deformation theory
Name	Deformation theory
Field	Mathematics
Introduced	20th century

Deformation theory is a branch of mathematics concerned with the study of how mathematical objects vary in families and how small changes produce nearby objects. It analyzes infinitesimal and formal perturbations of structures such as algebraic varieties, complex manifolds, modules, and representations, often using tools drawn from Alexander Grothendieck, Jean-Pierre Serre, Michael Artin, Kunihiko Kodaira, and David Mumford. The subject connects with techniques developed in the contexts of Alexander Grothendieck's schemes, Jean-Pierre Serre's homological algebra, Michael Atiyah's index theory, Maxim Kontsevich's mirror symmetry, and Pierre Deligne's Hodge theory.

Introduction and Overview

Deformation theory studies families of objects parameterized by base spaces such as Spec Z, Spec k, or formal spectra, examining how an object deforms under base change, and how moduli problems admit versal or universal families. Foundational approaches use functors on the category of local Artinian rings introduced by Michael Artin and refined by M. Schlessinger and Gérard Laumon, connecting to representability results from Grothendieck's Éléments de géométrie algébrique. Important conceptual links tie to tangible examples like deformations of complex structures on surfaces studied by Kunihiko Kodaira, deformations of vector bundles examined by Simon Donaldson, and deformations of singularities treated by Hermann Weyl's ideas in analysis.

Historical Development

Early roots trace to infinitesimal studies by Huygens and variational ideas preceding formalization by Bernhard Riemann and Henri Poincaré. The modern algebraic framework emerged through work by Oscar Zariski on singularities, André Weil on moduli, and foundational scheme theory by Alexander Grothendieck. Key milestones include Kodaira and Donald Spencer's analytic deformation theory, Michael Artin's representability criteria, G. D. Mostow's rigidity theorems influences, and the integration of deformation methods into David Mumford's geometric invariant theory. Later developments tied deformation theory to Maxim Kontsevich's formality theorem, Edward Witten's topological quantum field theory, and the use of derived techniques championed by Jacob Lurie and Bertrand Toën.

Basic Concepts and Definitions

Central notions include families, base change, tangent spaces, versal and universal deformations, hulls, and obstructions. The tangent space to a deformation functor is often identified with Ext groups such as Ext^1 computed in derived categories built using Grothendieck's derived functors, while obstructions live in Ext^2. Fundamental examples involve deformations of complex structures on a compact complex manifold examined via H^1 of the tangent sheaf as in Kodaira's theory, and deformations of coherent sheaves tied to Ext groups studied by Jean-Pierre Serre and Robin Hartshorne. Formal concepts like prorepresentability and Schlessinger's criteria connect to work by Michael Artin and techniques used by Alexander Grothendieck in the construction of moduli spaces.

Formal Deformations and Infinitesimal Theory

Formal deformation theory studies power series and formal families over Spec kt or formal Artin rings, with infinitesimal deformations governed by first-order deformations and obstruction spaces. Schlessinger's criteria provide conditions for prorepresentability of functors, while Artin approximation theorems relate formal solutions to algebraic ones, developed by Michael Artin and influenced by John Nash's arc spaces in singularity theory. The role of differential graded Lie algebras (DGLAs) and L-infinity algebras in capturing deformation problems is highlighted in work by Maxim Kontsevich, Dennis Sullivan, and Murray Gerstenhaber, relating formal deformation parameters to Maurer–Cartan equations and gauge equivalences.

Cohomological Methods and Obstruction Theory

Cohomological approaches identify deformation spaces and obstructions with cohomology groups arising from complexes associated to the object: tangent spaces with H^1, obstructions with H^2, and automorphisms with H^0. This perspective was advanced by Jean-Pierre Serre's local cohomology, Alexander Grothendieck's Ext formalism, and calculations by David Mumford in moduli problems. Derived deformation theory reframes classical obstructions using derived stacks and higher Tor and Ext groups, influenced by Toën, Bertrand Toën, Gabriele Vezzosi, and Jacob Lurie, and connects to homotopical algebra initiated by Daniel Quillen and Daniel Sullivan.

Applications in Algebraic Geometry and Complex Manifolds

Deformation techniques underpin the construction and analysis of moduli spaces for curves, sheaves, and varieties, central to programs by David Mumford, Pierre Deligne, Igor Shafarevich, Joe Harris, and Phillip Griffiths. They are used to study smoothing of singularities in the spirit of Oscar Zariski and John Milnor, classification problems in the Enriques–Kodaira classification influenced by Kunihiko Kodaira and Francesco Severi, and to analyze Hodge structures in work by Phillip Griffiths and Wilfried Schmid. Deformations play a role in enumerative geometry and Gromov–Witten theory connected to Maxim Kontsevich and Edward Witten, and in the study of stable maps central to Kontsevich's formulae and Yuri Manin's work on quantum cohomology.

Deformations in Representation Theory and Physics

In representation theory, deformation methods include formal deformations of algebras and modules studied by Murray Gerstenhaber and applications to Hecke algebras and quantum groups by Vladimir Drinfeld and Michio Jimbo. Deformation quantization of Poisson manifolds, pioneered by Maxim Kontsevich and influenced by Joseph Bernstein and Israel Gelfand, links mathematical physics topics studied by Edward Witten, Michael Atiyah, and Nathan Seiberg. In string theory and mirror symmetry, deformations of complex and symplectic structures are central in works by Cumrun Vafa, Strominger–Yau–Zaslow, and K. Hori, connecting to moduli stabilization studied in contexts involving Edward Witten and Juan Maldacena.

Category:Mathematics