A polyhedral, piecewise-linear weighted complex (often a fan or a polyhedral complex) obtained as the image of an algebraic variety under a coordinatewise non-Archimedean valuation or as the combinatorial locus where initial forms of defining polynomials have common roots; it is the tropicalization capturing combinatorial and valuation-theoretic shadows of algebraic geometry.

Principle

Tropicalization replaces algebraic operations by min-plus (or max-plus) arithmetic and records the leading valuation behaviour of coordinates; tropical varieties satisfy balancing conditions on weighted polyhedra and reflect initial degenerations of the original variety.

Demonstration

The tropicalization of a plane line is three rays meeting at a vertex forming a tripod; tropicalizing a plane cubic produces a metric graph dual to a subdivision of the Newton polygon whose genus equals the genus of a generic smooth lift, and multiplicities encode intersection numbers.

Misapplication

Treating any polyhedral complex as a tropical variety without checking balancing and weight conditions, or assuming tropicalization uniquely determines a single algebraic lift (many algebraic varieties tropicalize to the same tropical variety and lifting is obstructed).

Consequence

Correctly deployed, tropical varieties provide combinatorial invariants that compute intersection numbers, guide degeneration arguments, allow computation of Gromov-Witten and enumerative invariants in combinatorial terms, and reduce complex geometric problems to polyhedral combinatorics.

Reversal

The reverse perspective is the classical algebraic variety over a valued field: tropicalization forgets nonlinear algebraic data, so going back from tropical to algebraic is not canonical and requires solving lifting problems and analyzing obstructions.

Boundary

Defined primarily for varieties over valued fields (non-Archimedean or with Puiseux series); not every balanced polyhedral complex arises from an algebraic variety, and tropical varieties exclude purely topological polyhedral sets lacking the required weights, balancing, or origin in valuation theory.

Semantic Tension

Tension arises between tropical varieties and amoebas (log-absolute-value images over C) or between purely combinatorial polyhedral complexes and valuation-theoretic tropicalizations; both reflect limits of algebraic geometry but differ in analytic versus non-Archimedean origins.

Synthesis

A tropical variety is the weighted polyhedral combinatorial skeleton obtained by recording valuations of coordinates or leading terms of polynomials, satisfying balancing conditions that encode algebraic intersection theory and serving as a tractable combinatorial proxy for degenerations and enumerative invariants of algebraic varieties.