• 1 Introduction
  • 2 Definitions ▶
    • 2.1 Base category
    • 2.2 Small Extensions
    • 2.3 Completed base category
    • 2.4 Trivial Square-Zero Extensions
    • 2.5 Artin Functors
    • 2.6 Schlessinger’s conditions
  • 3 Schlessinger’s theorem
  • 4 Lemmas ▶
    • 4.1 Essential morphisms
    • 4.2 Action of a small extension
    • 4.3 Topology
  • 5 Proof ▶
    • 5.1 Existence of a hull
    • 5.2 Necessity of the conditions
    • 5.3 Pro-representability
  • 6 Remaining sorry’s
  • 7 Bibliography
  • Dependency graph

Schlessinger’s criterion

ybenmeur

  • 1 Introduction
  • 2 Definitions
    • 2.1 Base category
    • 2.2 Small Extensions
    • 2.3 Completed base category
    • 2.4 Trivial Square-Zero Extensions
    • 2.5 Artin Functors
    • 2.6 Schlessinger’s conditions
  • 3 Schlessinger’s theorem
  • 4 Lemmas
    • 4.1 Essential morphisms
    • 4.2 Action of a small extension
    • 4.3 Topology
  • 5 Proof
    • 5.1 Existence of a hull
    • 5.2 Necessity of the conditions
    • 5.3 Pro-representability
  • 6 Remaining sorry’s
  • 7 Bibliography