Scheme Morphisms & Aperiodic Patterns

← Back to Domain-Specific Families

Abstractions that mostly classify morphisms of schemes by finiteness and smoothness conditions — finite, quasi-finite, and formally smooth maps, the Enriques–Kodaira surface classification, and the Rosati involution — loosely joined by two structural planar-pattern outliers, crease patterns and Penrose tilings.

8 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Crease pattern — A planar origami representation that records most or all folds of a finished model in one geometric diagram.
• Enriques–Kodaira classification — A birational classification of compact complex surfaces by Kodaira dimension and minimal-model invariants.
• Finite morphism — A morphism of schemes that is affine and whose induced coordinate-ring algebra is finite as a module, generalizing maps with algebraically finite fibers.
• Formally smooth map — A ring map with the infinitesimal lifting property against nilpotent quotient extensions.
• Morphism of finite type — A scheme morphism that is locally induced by finitely generated algebras, expressing algebraic dependence on finitely many generators without requiring module finiteness.
• Penrose tiling — Cover the plane nonperiodically with a finite set of prototiles and matching rules that forbid translational periodicity yet produce repetitive local patches, inflation symmetry and long-range fivefold order.
• Quasi-finite morphism — A finite-type morphism of schemes whose fibers are zero-dimensional and finite, equivalently one that is locally finite over each image point.
• Rosati involution — The positive involutive anti-automorphism of the rational endomorphism algebra of a polarized abelian variety obtained by taking the dual endomorphism and conjugating through the polarization.