Tropical Toric Scheme Overview

• Tropical toric schemes are constructions that reinterpret classical toric geometry via tropical, valuation, and semiring techniques, emphasizing combinatorial fan structures.
• They integrate frameworks such as valuation-ring toric geometry, semiring schemes, and prime congruence spectra to capture degeneration and tropicalization intrinsically.
• This unified approach advances moduli theory, computational intersection theory, and analytic tropical geometry, bridging algebraic and tropical perspectives.

A tropical toric scheme is not a single uniformly fixed object in the literature, but a family of closely related constructions in which toric geometry is recast through tropical, valuation-theoretic, semiring-theoretic, or congruence-theoretic data. In the sources considered here, the phrase refers variously to toric schemes over valuation rings whose fans encode tropical cones, semiring schemes over idempotent semifields such as $\mathbb{T}$, spectra of prime congruences on tropical monoid algebras, and relative toric bundles or toroidal degenerations controlled by polyhedral subdivisions (Gubler, 2011, Giansiracusa et al., 2013, Jun et al., 2017, Tanaka, 1 Jun 2026, Dodwell, 19 Aug 2025). A common thread is that the combinatorics of lattices, fans, polyhedra, and divisor relations remain central, but the ambient category is enlarged so that tropicalization becomes intrinsic rather than merely a passage to a polyhedral set.

1. Terminological scope and common structure

In the sources under consideration, the expression “tropical toric scheme” is used in several related senses rather than as a universally standardized definition. One paper explicitly notes that the phrase is not formal there, while another introduces a specific tropical toric scheme built from prime congruences and containing the usual tropical toric variety as a subspace; other works use the term for scalar extensions of toric monoid schemes to idempotent semifields, or for toric schemes over valuation rings whose fans encode tropicalizations (Nabijou, 2023, Tanaka, 1 Jun 2026, Jun et al., 2017, Gubler, 2011).

Framework	Basic object	Characteristic feature
Valuation-ring toric geometry	$\mathbb{T}$-toric scheme over $K^\circ$	Fan in $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$ encodes generic and special fibers
Semiring-scheme tropicalization	$X^\Delta_{\mathbb{T}}$	Closed subschemes defined by bend congruences
Tropical ideals on tropical toric varieties	Locally tropical ideals in Cox semirings	Varieties are finite polyhedral complexes
Prime congruence approach	$X_\Sigma^{\mathrm{cong}}$	Enlarges the usual tropical toric variety by scheme-theoretic points
Relative/toroidal approach	Toric variety bundles, torus bundles, tropical expansions	Tropical data governs bundle structure and degeneration

Across these frameworks, several structural features recur. First, the ambient toric combinatorics remains fan-theoretic: monoids $M_\sigma$, lattices $M,N$, and strata indexed by cones or faces. Second, tropicalization is promoted from a set-valued procedure to a construction of schemes, semiring schemes, stacks, or analytically meaningful skeleta. Third, classical toric operations—localization, quotient constructions, orbit–face correspondences, divisor relations, and intersection pairings—persist in altered form.

A frequent source of confusion is the identification of a tropical toric scheme with a tropical toric variety. In the congruence-theoretic setting, the latter appears only as the geometric or maximal-dimensional part of a larger space of prime congruences (Tanaka, 1 Jun 2026). In the semiring-scheme setting, the tropical toric variety is the $\mathbb{T}$-scheme obtained from fan data, not merely its set of $\mathbb{T}$-points (Giansiracusa et al., 2013). In relative settings, “toric scheme” may mean a toric family over a base rather than a single toric variety over a field (Dodwell, 19 Aug 2025).

2. Toric schemes over valuation rings and tropical cones

A foundational meaning of tropical toric scheme is the toric scheme over a rank-$\mathbb{T}$0 valuation ring developed for tropicalization over arbitrary non-archimedean valued fields. Let $\mathbb{T}$1 be a valued field with valuation ring $\mathbb{T}$2, value group $\mathbb{T}$3, character lattice $\mathbb{T}$4, and dual lattice $\mathbb{T}$5. A $\mathbb{T}$6-toric scheme over $\mathbb{T}$7 is an integral, separated, flat $\mathbb{T}$8-scheme $\mathbb{T}$9 whose generic fiber contains the torus $K^\circ$0 as a dense open subset and whose torus action extends from $K^\circ$1 to the split torus $K^\circ$2 (Gubler, 2011).

Affine charts arise from $K^\circ$3-rational polyhedra $K^\circ$4. One defines

$K^\circ$5

and sets $K^\circ$6. If $K^\circ$7, then the generic fiber is the classical affine toric variety $K^\circ$8. The more flexible global language uses $K^\circ$9-admissible cones $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$0, with affine algebra

$N_\mathbb{R}\times \mathbb{R}_{\ge 0}$1

A $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$2-admissible fan $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$3 in $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$4 then glues to a normal toric scheme $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$5 over $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$6, whose generic fiber is the toric variety $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$7 attached to the projected fan $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$8 (Gubler, 2011).

The special fiber is controlled combinatorially. For a pointed polyhedron $N_\mathbb{R}\times \mathbb{R}_{\ge 0}$9, irreducible components of $X^\Delta_{\mathbb{T}}$0 correspond bijectively to vertices of $X^\Delta_{\mathbb{T}}$1, and more generally open faces correspond order-reversingly to torus orbits. Globally, open faces of $X^\Delta_{\mathbb{T}}$2 correspond to torus orbits in $X^\Delta_{\mathbb{T}}$3. This orbit–face correspondence is the valuation-ring analogue of the usual toric dictionary and makes the extra $X^\Delta_{\mathbb{T}}$4-direction interpretable as the degeneration parameter (Gubler, 2011).

This framework is tightly linked to tropicalization. For a closed subscheme $X^\Delta_{\mathbb{T}}$5, the tropicalization

$X^\Delta_{\mathbb{T}}$6

is characterized by nonemptiness of initial degenerations, and the tropical cone

$X^\Delta_{\mathbb{T}}$7

is the closure of the cone generated by $X^\Delta_{\mathbb{T}}$8. If $X^\Delta_{\mathbb{T}}$9, then the closure $X_\Sigma^{\mathrm{cong}}$0 has the expected orbit-intersection behavior; under the discrete or divisible hypotheses on $X_\Sigma^{\mathrm{cong}}$1, properness and proper intersection with torus orbits are characterized exactly by the equality $X_\Sigma^{\mathrm{cong}}$2 (Gubler, 2011). In this sense, the tropical toric scheme is the algebro-geometric realization of the tropical cone.

3. Semiring schemes, bend loci, tropical ideals, and divisor theory

A second major meaning of tropical toric scheme is scheme theory over an idempotent semiring, especially the tropical semifield

$X_\Sigma^{\mathrm{cong}}$3

In this approach, an $X_\Sigma^{\mathrm{cong}}$4-scheme means a monoid scheme, and a fan $X_\Sigma^{\mathrm{cong}}$5 defines a toric $X_\Sigma^{\mathrm{cong}}$6-scheme $X_\Sigma^{\mathrm{cong}}$7. Base change to $X_\Sigma^{\mathrm{cong}}$8 gives the tropical toric scheme

$X_\Sigma^{\mathrm{cong}}$9

whose $M_\sigma$0-points recover the extended tropical toric space of Kajiwara–Payne (Giansiracusa et al., 2013).

Closed subschemes over semirings are defined by congruences rather than ideals. For a tropical polynomial

$M_\sigma$1

in an idempotent semiring module, the bend relations are

$M_\sigma$2

and the bend congruence $M_\sigma$3 defines the bend locus. For a closed subscheme $M_\sigma$4 over a ring $M_\sigma$5 with valuation $M_\sigma$6, scheme-theoretic tropicalization is

$M_\sigma$7

When $M_\sigma$8 is toric and $M_\sigma$9, the $M,N$0-points of this scheme coincide with extended tropicalization in the sense of Kajiwara–Payne (Giansiracusa et al., 2013). For projective subschemes, the Hilbert polynomial is preserved under tropicalization, independently of the valuation, and for projective hypersurfaces the resulting scheme structure determines the facet multiplicities of the tropical hypersurface (Giansiracusa et al., 2013).

This semiring-scheme viewpoint was refined by the theory of tropical ideals. If $M,N$1 is a rational fan and

$M,N$2

is the Cox semiring, a homogeneous ideal $M,N$3 is locally tropical if for every cone $M,N$4, the degree-zero localization $M,N$5 is a tropical ideal. Such an $M,N$6 defines a subscheme of the tropical toric variety by imposing the bend congruence chartwise (Maclagan et al., 2016). The crucial finiteness theorem is that the associated variety $M,N$7 is always the support of a finite $M,N$8-rational polyhedral complex. Tropical ideals also satisfy the ascending chain condition, despite typically not being finitely generated, and a tropical Nullstellensatz holds: in the affine Laurent case, $M,N$9 iff $\mathbb{T}$0; in the Cox setting, $\mathbb{T}$1 iff some power of the irrelevant ideal lies in $\mathbb{T}$2 (Maclagan et al., 2016). This sharply distinguishes scheme-theoretic tropical geometry from purely set-theoretic tropicalization.

A third semiring-based aspect concerns line bundles and divisors. For an irreducible monoid scheme $\mathbb{T}$3 satisfying the stated open-cover condition and an idempotent semifield $\mathbb{T}$4, scalar extension preserves Picard groups: $\mathbb{T}$5 For a toric monoid scheme $\mathbb{T}$6, this implies that the tropical toric scheme $\mathbb{T}$7 has the same Picard group as the associated classical toric variety $\mathbb{T}$8. Moreover, for cancellative semiring schemes, the Cartier divisor class group satisfies

$\mathbb{T}$9

so divisor theory on tropical toric schemes mirrors the classical toric case (Jun et al., 2017). A common misconception is that passing to $\mathbb{T}$0 necessarily destroys line bundle data; in this toric monoid-scheme setting, it does not.

4. Prime congruence spectra and the enlargement of tropical toric varieties

A more recent and explicitly scheme-like meaning of tropical toric scheme is based on spaces of prime congruences. Let $\mathbb{T}$1 be a lattice, viewed as an ordered monoid through a chosen cone, and let $\mathbb{T}$2 be the tropical monoid algebra. For a semiring $\mathbb{T}$3, a congruence $\mathbb{T}$4 is prime if its complement in $\mathbb{T}$5 is multiplicatively closed under the twisted product. The space $\mathbb{T}$6 of prime congruences carries a Zariski-type topology via closed sets $\mathbb{T}$7 defined by containment of congruences (Tanaka, 1 Jun 2026).

For a strongly convex rational polyhedral cone $\mathbb{T}$8, write $\mathbb{T}$9. The affine tropical toric scheme attached to $\mathbb{T}$00 is

$\mathbb{T}$01

the space of prime congruences on $\mathbb{T}$02 lying over the tropical coefficient semifield $\mathbb{T}$03. These affine pieces glue along localizations induced by face inclusions, producing the global tropical toric scheme

$\mathbb{T}$04

for any fan $\mathbb{T}$05 (Tanaka, 1 Jun 2026).

This space has a toric-style stratification. For each face $\mathbb{T}$06, one obtains a stratum

$\mathbb{T}$07

and globally

$\mathbb{T}$08

The usual tropical toric variety $\mathbb{T}$09 embeds naturally into $\mathbb{T}$10; its image consists of geometric congruences, and it is characterized as the subset of points of maximal local dimension. When $\mathbb{T}$11 is complete, this image is exactly the set of closed points of $\mathbb{T}$12 (Tanaka, 1 Jun 2026). In this framework, the standard tropical toric variety is no longer the whole space but the geometric locus inside a larger congruence spectrum.

The resulting space exhibits scheme-theoretic analogues of separatedness and properness. For any point $\mathbb{T}$13, there is at most one geometric point $\mathbb{T}$14 lying in the closure $\mathbb{T}$15; and every point admits such a geometric specialization if and only if the fan $\mathbb{T}$16 is complete (Tanaka, 1 Jun 2026). This is a valuative criterion stated entirely in terms of prime congruences and their closures.

Finite generation behaves unexpectedly. For prime congruences on tropical Laurent polynomial algebras, finite generation is highly restrictive; in particular, if $\mathbb{T}$17 is prime and finitely generated, then $\mathbb{T}$18 is geometric (Tanaka, 1 Jun 2026). This shows that the non-geometric points added by the congruence spectrum are genuinely scheme-theoretic and are typically invisible to finitely generated congruence data.

5. Relative, non-separated, and bundle-theoretic forms

A tropical toric scheme can also arise in relative or non-separated settings where the ambient toric object is a family, a prevariety, or a toroidal degeneration rather than a single toric variety.

For toric prevarieties, one starts with a system of fans $\mathbb{T}$19 rather than a single fan. The associated toric prevariety $\mathbb{T}$20 may be non-separated. Its tropicalization is built chartwise from

$\mathbb{T}$21

and glued to a tropical toric prevariety $\mathbb{T}$22; there is also a non-negative version $\mathbb{T}$23 obtained from $\mathbb{T}$24. For toric prevarieties over a non-archimedean field or its valuation ring, the Berkovich analytification and the Raynaud generic fiber admit tropicalization maps to $\mathbb{T}$25 and $\mathbb{T}$26, respectively, each with a canonical section and a strong deformation retraction onto a skeleton (Küronya et al., 2021). For divisorial schemes, inverse limits over tropicalizations in simplicial toric prevarieties recover the full analytification or Raynaud generic fiber, generalizing Payne’s tropical limit theorem to the non-separated setting (Küronya et al., 2021).

In toroidal geometry, tropical expansions provide another relative model. For a toroidal embedding $\mathbb{T}$27 with tropicalization $\mathbb{T}$28, an open subdivision

$\mathbb{T}$29

that is combinatorially flat and reduced defines a family $\mathbb{T}$30. The central fiber decomposes into components $\mathbb{T}$31, indexed by vertices of the polyhedral subdivision, each mapping to a stratum $\mathbb{T}$32. Over the interior $\mathbb{T}$33, the restricted morphism

$\mathbb{T}$34

is always a toric variety bundle with fiber fan $\mathbb{T}$35, obtained by a mixing construction; globally, $\mathbb{T}$36 is a toric variety bundle if and only if the reduced star complex factorizes as

$\mathbb{T}$37

over $\mathbb{T}$38 (Carocci et al., 2022). Examples in that work show that extending the toric bundle structure beyond the interior generally fails because fibers can become reducible or non-flat (Carocci et al., 2022). This is a precise relative realization of the idea that tropical combinatorics governs toric families.

A closely related, but distinct, relative perspective appears for torus bundles over a base $\mathbb{T}$39. Given line bundles $\mathbb{T}$40 on a smooth connected projective variety $\mathbb{T}$41, the torus bundle

$\mathbb{T}$42

admits toric compactifications $\mathbb{T}$43 obtained by gluing $\mathbb{T}$44 locally. For a curve $\mathbb{T}$45, tropicalization can be defined either by valuation in local trivializations or by closure and intersection with horizontal toric boundary divisors $\mathbb{T}$46. The associated weights are

$\mathbb{T}$47

Classical balancing fails in general because the toric divisor relations are twisted by the Chern classes of the $\mathbb{T}$48. The corrected balancing theorem is

$\mathbb{T}$49

or equivalently

$\mathbb{T}$50

Thus the global tropical data records not only fiberwise toric directions but also the twisting of the torus bundle over the base (Dodwell, 19 Aug 2025). A common misconception is that tropical balancing is always purely local and vertexwise; in non-trivial torus bundles, global divisor relations insert Chern-class correction terms.

6. Analytic, moduli-theoretic, and computational extensions

Tropical toric schemes also appear as analytic skeleta and as moduli spaces built from tropical data. For a fan $\mathbb{T}$51, the tropical toric variety

$\mathbb{T}$52

is a partial compactification of $\mathbb{T}$53. Both the complex analytic toric variety $\mathbb{T}$54 and the non-archimedean analytic toric variety $\mathbb{T}$55 admit continuous, proper, surjective tropicalization maps to $\mathbb{T}$56, and in the non-archimedean case there is a canonical section

$\mathbb{T}$57

identifying $\mathbb{T}$58 with the canonical skeleton (Gil et al., 2021). On this tropical toric variety one can define Lagerberg forms, positive currents, plurisubharmonic and $\mathbb{T}$59-psh functions, Bedford–Taylor products, and Monge–Ampère measures. Invariant complex and non-archimedean pluripotential theory on toric varieties then corresponds canonically to tropical pluripotential theory on $\mathbb{T}$60, and invariant non-archimedean Monge–Ampère equations are solved by passing to the tropical side (Gil et al., 2021). This analytic framework treats the tropical toric variety as a real-analytic enrichment of the toric scheme rather than merely its combinatorial shadow.

A moduli-theoretic manifestation appears in toric configuration spaces. Fixing a lattice $\mathbb{T}$61, torus $\mathbb{T}$62, and tropical torus $\mathbb{T}$63, the configuration space

$\mathbb{T}$64

has tropical counterpart

$\mathbb{T}$65

A tropical scaffold is a complete fan $\mathbb{T}$66 on $\mathbb{T}$67 whose fibers are polyhedral decompositions with the marked points as vertices. Universal weak semistable reduction applied to

$\mathbb{T}$68

produces a configuration fan $\mathbb{T}$69 and a proper toric Deligne–Mumford stack $\mathbb{T}$70 compactifying $\mathbb{T}$71. Its boundary strata parametrize transverse configurations on tropical expansions modulo a rubber torus, and specific choices of $\mathbb{T}$72 recover the permutahedral, square-of-permutahedron, and bipermutahedral varieties (Nabijou, 2023). Although that work does not formalize “tropical toric scheme” as a term, it provides an explicit blueprint for passing from tropical moduli data to toric compactifications and back.

A complementary moduli perspective is realization theory. Fixing a weighted polyhedral complex $\mathbb{T}$73 in $\mathbb{T}$74, the tropical realization functor of subvarieties of a quasiprojective toric variety $\mathbb{T}$75 with tropicalization $\mathbb{T}$76 is represented by an admissible open subset of the analytification of a finite-type scheme (Katz, 2010). The resulting realization space $\mathbb{T}$77 organizes algebraic families with prescribed tropicalization, and realization over a completed non-archimedean field implies algebraic realization over the algebraic closure of the original field (Katz, 2010). This suggests a moduli-theoretic sense in which a toric ambient together with a fixed tropical type constitutes a tropical toric space.

Finally, tropical toric schemes are computationally accessible in intersection theory. The Macaulay2 package TropicalToric.m2 identifies Chow classes of toric varieties with balanced fans or Minkowski weights and computes toric intersection classes from tropicalizations. In the simplicial complete case, tropical multiplicities of a subvariety $\mathbb{T}$78 are related to intersection numbers by

$\mathbb{T}$79

and the package uses this to recover cycle classes, divisor intersections, and classes on wonderful compactifications (Borzì, 2022). This computational layer underscores that tropical toric schemes are not only conceptual bridges but also effective tools for explicit toric geometry.

In aggregate, the literature supports a plural but coherent picture. A tropical toric scheme may be a toric scheme over a valuation ring, a $\mathbb{T}$80-scheme attached to a fan, a congruence spectrum enriching the tropical toric variety, or a relative toric family controlled by tropical subdivisions. What unifies these meanings is that toric combinatorics becomes the organizing principle for a genuinely scheme-theoretic tropical geometry.