A combinatorial-geometric process that assigns to an algebraic variety a piecewise-linear polyhedral complex (its tropical variety) by applying a valuation coordinatewise and replacing algebraic operations by tropical ones (min-plus or max-plus), capturing leading-order valuation behaviour.

Principle

Pass to a valued (often non-Archimedean) field, take coordinatewise valuations of points or coefficients, and record loci where the corresponding tropical polynomial attains its minimum at least twice; algebraic relations become piecewise-linear balance conditions on a polyhedral complex.

Demonstration

The tropicalization of the plane curve defined by f(x,y) = a x^i y^j + ... is the corner locus of the piecewise-linear function given by taking valuations of the monomials. For f = x + y + 1 over a valued field the tropical curve is the three-ray tropical line with three rays meeting at a vertex dual to the Newton triangle.

Misapplication

Treating the tropicalization as a lossless replacement for the variety ignores scheme-theoretic data and multiplicities; using inconsistent conventions (min versus max) or forgetting the underlying valuation can produce incorrect combinatorial pictures.

Consequence

Tropicalization yields a combinatorial invariant that controls degenerations, offers explicit polyhedral models for computations, and often reduces algebraic problems to piecewise-linear ones (e.g., counting solutions, understanding limits, and offering combinatorial obstructions to realizability).

Reversal

The inverse notion is recovering the algebraic variety from its tropicalization (lifting or realization problem): tropical data are piecewise-linear and typically underdetermine scheme-theoretic or complex-analytic structure, so the reversal is non-unique and requires additional lifting data.

Boundary

Depends on the choice of valuation and on working over fields supporting that valuation; tropicalization captures leading valuation data but omits higher-order coefficient information and may not distinguish non-reduced or embedded components without multiplicity decorations.

Semantic Tension

There is tension between seeing tropicalization as a combinatorial shadow (losing algebraic detail) versus as a faithful combinatorial model (recovering enumerative invariants when multiplicities are tracked); also between different tropical conventions and the choice of valuation.

Synthesis

Tropicalization is the systematic passage from algebraic equations to a piecewise-linear 'tropical' polyhedral complex via valuations and min-plus algebra; it produces a tractable combinatorial skeleton encoding leading-order information about degenerations and enumerative behaviour.