The area of geometry and algebraic geometry concerned with counting geometric figures that satisfy specified incidence or intersection conditions, typically producing finite numbers (with multiplicities) of solutions parameterised by moduli spaces and intersection-theoretic data.

Principle

Counts arise from intersection theory: under general position hypotheses, the number of solutions equals an intersection number on an appropriate moduli space; multiplicities and degenerations are handled by refined intersection-theoretic and deformation arguments.

Demonstration

Classical example: the number of lines in projective 3-space meeting four general given lines is two; modern demonstration uses Grassmannians and Schubert calculus to compute intersection numbers representing the incidence conditions.

Misapplication

Counting naive geometric configurations without accounting for multiplicities, special position, or moduli (e.g., degenerate intersections or families) leads to incorrect enumerative answers; ignoring base-field dependence can also mislead.

Consequence

Accurate enumerative counts produce invariants such as Gromov–Witten numbers, inform quantum cohomology, and supply explicit enumerative predictions that connect geometry, topology and physics in problems of curve counting and intersection theory.

Reversal

Qualitative geometry studies existence, structure, and deformation behaviour without committing to explicit cardinalities; it emphasises properties and families rather than discrete counts.

Boundary

Valid when configurations are sufficiently general or countable via compactified moduli spaces; excluded are poorly posed constraints that yield infinite families, arithmetic subtleties over nonclosed fields, or counts that cannot be regularised without further structure.

Semantic Tension

Tension with combinatorial counting: enumerative geometry imports algebraic and deformation-theoretic subtleties (multiplicities, virtual classes) that have no analogue in naive combinatorial enumeration, producing counts that are geometric rather than purely combinatorial.

Synthesis

Enumerative geometry turns geometric existence problems into precise numerical invariants: by passing to moduli spaces and intersection theory and accounting for multiplicities and degenerations, it produces robust counts that capture geometric constraints across classical and modern settings.