Pith. sign in

REVIEW 1 cited by

Tropicalization of toric prevarieties

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2107.03139 v1 pith:CNB23C7L submitted 2021-07-07 math.AG

classification math.AG
keywords torictropicalizationhomogeneousprevarietiesadmitsalgebraalwaysbasic
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

The homogeneous spectrum of a multigraded finitely generated algebra (in the sense of Brenner-Schr\"oer) always admits an embedding into a toric variety that is not necessarily separated, a so-called toric prevariety. In order to have a convenient framework to study the tropicalization of homogeneous spectra we propose a tropicalization procedure for toric prevarieties and study its basic properties. With these tools at hand, we prove a generalization of Payne's and Foster--Gross--Payne's tropical limit theorem for divisorial schemes.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

    cs.LO 2026-05 unverdicted novelty 6.0 of 10

    Lean4 formalization of multi-graded Brenner-Schröer Proj schemes and ring dilatations.

Pith tools