{"id":"7c9b587a-6a2b-4486-9a6c-f5a589f69914","arxiv_id":"1908.07012","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":1.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A pedagogical survey of tropical geometry covering tropical arithmetic, tropical varieties, duality, Bézout's theorem, and tropicalization, with no new research results.","lead":"Tropical geometry redefines arithmetic so that addition becomes taking the maximum and multiplication becomes addition, and polynomial equations define piecewise-linear shapes. This survey chapter introduces those shapes, their properties, and how they connect to classical algebraic geometry, aimed at students new to the field.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 9 omits the closure needed for equality: -val(V(I)) is only dense in the tropical variety, not equal to it, as Example 16 shows.","rationale":"The reader's verdict treated the paper as a non-research survey and marked it UNVERDICTED, with the weakest assumption being reliance on external theorems such as the Fundamental Theorem of Tropical Geometry. My read agrees the mathematical substance is standard and the Duality Theorem citation is broadly reliable. However, the most load-bearing issue is not merely reliance on an external theorem but an internal misstatement: Theorem 9 omits the closure that the surrounding text explicitly requires. The paper's own Example 16 provides the counterexample. This is a real correctness defect in the central claim of Section 4, because it makes a false assertion about the image of algebraic varieties under valuation. It is easily fixable by adding a closure or defining Trop(X) as the closure, so it should not trigger rejection; it warrants conditional acceptance with a required correction. The remaining issues, including the missing right-hand sides in Theorems 3 and 4 and the repeated index in Challenge Problem 2, are typographical and less consequential. I therefore propose CONDITIONAL rather than UNCHANGED, and mark agreement as partial since the reader pointed at the same theorem but for a different reason.","tokens_in":25244,"tokens_out":11896,"duration_ms":122624,"concrete_test":"Use the paper's own Example 16 with k = C{{t}} and I = <x + ty + 2>. Compute -val(V(I)) exactly: a point (A,B) lies in it iff A,B ∈ Q and max{A, B-1, 0} is achieved at least twice. Now take (A,B) = (√2, 1+√2); the max is √2, achieved by the first two terms, so the point is in ∩_{f∈I} T(trop(f)). But √2 is not a rational valuation of a Puiseux series, so it is not in -val(V(I)). This directly contradicts the unclosed equality in Theorem 9. If the theorem is amended to use closure, the test passes and the survey's exposition becomes internally consistent.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 4.2 states the Fundamental Theorem of Tropical Geometry (Theorem 9) as: for k algebraically closed with nontrivial valuation and ideal I in k[x_1^{±1},...,x_n^{±1}], -val(V(I)) = ∩_{f∈I} T(trop(f)). The paragraph immediately before it correctly says these sets are equal only up to Euclidean closure, and Example 16 gives a counterexample to the unclosed statement: for k = C{{t}} and I = <x + ty + 2>, the paper computes -val(V(I)) = T(x ⊕ (-1⊙y) ⊕ 0) ∩ Q^2, a proper dense subset of the tropical line. The tropical line contains points with irrational coordinates, such as (√2, 1+√2) on the ray A = B - 1 ≥ 0, so it cannot equal -val(V(I)), whose coordinates are always rational for Puiseux series. The correct statement, matching Maclagan-Sturmfels Theorem 3.2.3, replaces -val(V(I)) by its Euclidean closure, or else defines Trop(X) as that closure. This is load-bearing because Section 4's central claim that tropicalization maps varieties onto tropical varieties, and later discussion of lifting, rest on this equality. A reader relying on Theorem 9 as written will wrongly believe every point of the tropical variety is the valuation image of an algebraic point.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is an expository survey of tropical geometry aimed at an advanced undergraduate audience. It introduces the max-plus (tropical) semiring and tropical linear algebra, then develops tropical polynomials and tropical varieties. The core of the survey covers duality between tropical plane curves and regular subdivisions of Newton polygons, tropical Bézout theorems, weighted and smooth curves, skeletons and troplanar metric graphs, and the analogous duality and enumeration results for tropical surfaces in three dimensions. The final section connects algebraic geometry and tropical geometry through fields with valuations, defines tropicalization of a variety, and discusses lifting of tropical intersections. The paper does not claim new theorems; its contribution is pedagogical, with worked examples, exercises, challenge problems, and pointers to computational software such as Gfan, Macaulay2, polymake, and TOPCOM.","tokens_in":25437,"tokens_out":7493,"duration_ms":72544,"significance":"If corrected, the paper would be a useful expository chapter: it organizes a large body of standard material into a coherent narrative, gives many concrete examples, and points readers to the primary literature, especially Maclagan-Sturmfels [39]. The exercises and research projects are well calibrated for an undergraduate audience, and the references to computational tools are a genuine strength. The mathematical content is standard and, except for the issues below, accurately attributed. However, the misstatement of the Fundamental Theorem of Tropical Geometry in Section 4 is not merely cosmetic: it concerns the central bridge between algebraic and tropical geometry, and it is contradicted by the paper's own Example 16. The incomplete statements of Theorems 3 and 4 also need correction before the survey can be relied upon.","major_comments":[{"comment":"The Fundamental Theorem of Tropical Geometry as stated in Eq. (34) is false without a Euclidean closure on the left-hand side. The paragraph immediately before Theorem 9 correctly says the two sets agree only up to closure, and Example 16 itself demonstrates the failure: for I=<x+ty+2>, -val(V(I)) equals T(x⊕(-1⊙y)⊕0)∩Q^2, a proper dense subset of the tropical line. As written, Theorem 9 tells the reader that every point of the tropical variety is the valuation image of an algebraic point, which is false. The subsequent definition Trop(X)=-val(V(I)) and the lifting discussion in Section 4.3 depend on this equality. The theorem should be corrected so that Trop(X) denotes the Euclidean closure of -val(V(I)), matching Maclagan-Sturmfels Theorem 3.2.3.","section":"§4.2, Theorem 9 and Example 16"},{"comment":"The statements of tropical Bézout in Eqs. (10) and (12) are incomplete: each displayed conclusion is just the sum of multiplicities with no right-hand side. The theorems should conclude that the sum equals d·e, as the surrounding discussion and Exercise 7 clearly intend. As printed, the displayed statements do not assert the claimed equality.","section":"§2.3, Theorems 3 and 4"},{"comment":"The case analysis in Example 16 has reversed inequalities and a wrong extremum. With the max convention, the correct cases for a point (A,B) in -val(V(I)) are A=B-1≥0, A=0≥B-1, and B-1=0≥A, and the conclusion should be that the maximum of {A,B-1,0} is attained at least twice, not the minimum. As printed, the listed cases do not lie in T(x⊕(-1⊙y)⊕0), so the containment -val(V(I))⊂T(...) is not established by the given argument.","section":"§4.2, Example 16"}],"minor_comments":[{"comment":"In the factorization formula (2), the exponent on the second factor is written as µ1 again; it should be (x⊕α2)^µ2.","section":"§1.2, Challenge Problem 2"},{"comment":"Example 17 uses f both for a polynomial and for a coefficient (dx+ey+f), and the list of valuations repeats val(a) and omits val(f) at the end; this should be cleaned up.","section":"§4.3, Example 17"},{"comment":"The sentence 'The one-dimensional pieces of the surface from from Example 13' has a duplicated 'from', and Eq. (20) in Example 15 contains an extra closing parenthesis.","section":"§3.1, Example 13"},{"comment":"In the sentence defining smooth curves, 'a tropical curve is smooth if its dual subdivision is a unimodular triangulation' only applies to plane curves with the stated valence condition; the text already says this, but a cross-reference to the higher-dimensional definition in Section 3.1 would improve clarity.","section":"§2.2, Definition of smooth"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is an expository chapter based on standard literature. The main mathematical issue is the misstatement of the Fundamental Theorem of Tropical Geometry and the accompanying Example 16; both are local and fixable. I would expect the authors to correct Theorem 9, the two Bézout statements, and the typos before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThis survey chapter is a genuinely useful teaching resource, but it has a load-bearing error in Section 4 that needs correcting. The material on plane curves, Newton subdivisions, duality, and skeletons is well presented; the exercises are thoughtful and the research projects give students an honest picture of open problems. The citations are appropriate, and the author's self-citations point to peer-reviewed results. If you teach or advise someone entering tropical geometry, the first three sections are a solid starting point.\n\nThe problem is Theorem 9. As printed, it claims -val(V(I)) = ∩_{f∈I} T(trop(f)) for algebraically closed k with nontrivial valuation. That equality is false without a Euclidean closure on the left. The paper itself contains the counterexample: with k=C{{t}} and I=<x+ty+2>, Example 16 shows -val(V(I)) = T(x⊕(-1⊙y)⊕0) ∩ Q^2, a proper dense subset of the tropical line. The paragraph before the theorem correctly says the two sets are equal only up to closure, so this looks like a dropped word in the theorem statement. But it is not harmless: the following text defines Trop(X) as -val(V(I)), and the lifting discussion in Section 4.3 rests on that identification. A reader who takes Theorem 9 literally will believe every point of a tropical variety is the valuation image of an algebraic point, which is false.\n\nThere are also smaller slips: Theorems 3 and 4 display the sum of multiplicities without the '= d e' that makes them equations, and Challenge Problem 2 repeats the exponent μ1 instead of μ2 in the factorization. These are easy fixes but worth listing for the author.\n\nNone of this undermines the core value of the survey, and it is not a deeply incoherent paper. The first three sections are mathematically sound and well attributed. But as it stands I would not assign Section 4 without an erratum. If the author patches Theorem 9 and the typos, this becomes a dependable chapter for an advanced undergraduate or beginning graduate course. It deserves a real referee; a competent referee would catch these issues quickly.","headline":"A useful teaching survey whose Section 4 states the Fundamental Theorem of Tropical Geometry without the necessary closure, and that error should be fixed before the chapter is used.","tokens_in":25997,"tokens_out":4286,"would_cite":false,"duration_ms":40849,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14T05","14H50","52B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Tropical varieties are piecewise-linear combinatorial shadows of algebraic varieties, built from max-plus polynomials and linked by valuations.","keywords":["tropical geometry","max-plus semiring","Newton polytope","duality theorem","tropical curves","tropical surfaces","tropicalization","valuation"],"falsifier":"Find a regular unimodular triangulation of the degree-4 triangle whose dual tropical curve has the lollipop graph as its skeleton. The survey, following [2] and [7], asserts that no such curve exists and that only four of the five genus-3 graphs are troplanar; one example would disprove that classification.","tokens_in":24969,"feed_emoji":"📐","tokens_out":7404,"duration_ms":73943,"temperature":0.7,"pith_summary":"This survey chapter sets out the standard picture of tropical geometry: redefine arithmetic so that addition means taking a maximum and multiplication means ordinary addition, and polynomial equations define piecewise-linear objects called tropical varieties. Its central claim is that these objects are not arbitrary polyhedral complexes: a tropical curve is the planar dual of the subdivision of its Newton polygon induced by the polynomial's coefficients, and the same duality organizes tropical surfaces and intersection curves in higher dimensions. The survey then presents tropicalization, the valuation-based bridge that sends algebraic varieties over algebraically closed valued fields to tropical varieties. If the exposition is right, a reader comes away able to convert algebraic curve and surface problems into concrete combinatorial drawings and to know which classical theorems, such as Bezout's theorem, survive in this tropical setting.","feed_headline":"Tropical curves become graphs you can read off a polygon's subdivision","feed_subtitle":"A survey shows how max-plus equations draw piecewise-linear shapes that mirror algebraic curves and surfaces.","key_machinery":"The load-bearing machinery is the pair consisting of the Duality Theorem and tropicalization. The Duality Theorem converts a tropical polynomial's coefficients into a height function on the lattice points of its Newton polytope, producing an induced subdivision whose planar or polyhedral dual is exactly the tropical hypersurface; this one mechanism lets the survey draw tropical curves from triangulations without ever writing a polynomial, count smooth curves, and read off skeleta. Tropicalization is the valuation map $-\\operatorname{val}$ applied coordinate-wise to algebraic varieties over a valued field, together with the coefficient-wise tropicalization of polynomials; the Fundamental Theorem identifies the closure of $-\\operatorname{val}(V(I))$ with the common vanishing locus of all tropicalized polynomials in the ideal. Stable intersection, defined by perturbing one curve and taking a limit, is the auxiliary device that makes tropical intersection theory well behaved in non-transversal cases.","core_discovery":"The paper's core discovery, presented as a survey, is that tropical varieties are exactly the combinatorial objects encoded by Newton polytope subdivisions. A tropical polynomial $p(x_1,\\ldots,x_n)$ is evaluated as $\\max_{(i_1,\\ldots,i_n)}(c_{i_1\\cdots i_n} + i_1x_1 + \\cdots + i_nx_n)$, and its tropical variety is the locus where this maximum is achieved at least twice. The Duality Theorem, cited from [39, Proposition 3.1.6], asserts that for a tropical plane curve this locus is dual to the subdivision of the Newton polygon induced by the coefficients: vertices, edges, rays, and regions of the curve correspond respectively to polygons, interior edges, boundary edges, and lattice points of the subdivision. Weighted edges satisfy a balancing condition, and smoothness of the curve is equivalent to the subdivision being a unimodular triangulation. The same principle extends to tropical surfaces via Newton polytopes and to intersection curves via Cayley polytopes and stable intersections. The Fundamental Theorem of Tropical Geometry, cited from [39, Theorem 3.2.3], states that over an algebraically closed nontrivially valued field the image of an algebraic variety under coordinate-wise valuation equals, up to closure, the intersection of the tropicalizations of its defining polynomials; this is what makes tropical geometry a faithful shadow of algebraic geometry rather than a formal imitation.","pith_inferences":["If the Duality Theorem is as robust as the survey states, then computational questions about algebraic curves could be approached by enumerating regular triangulations of lattice polygons, making tropical geometry a practical front end for problems that are hard in classical coordinates.","The survey works in the max convention while several cited sources use the min convention; the translation between the two is a sign change, and any reader who combines results across conventions must track whether a tropical variety or its negation is being described.","The genus-by-genus growth of troplanar graph counts (2, 4, 13, 37, 151, 672) suggests the class of tropically planar graphs is sparse among all trivalent genus-$g$ graphs, and one could test whether the proportion tends to zero as $g$ grows by extending the survey's enumeration algorithm to higher genus.","The non-uniqueness of tropical decompositions highlighted in Example 8 suggests that any tropical analogue of unique factorization must come with extra structure, and the tropical schemes direction mentioned in the survey is the natural place to look for a canonical decomposition."],"forward_implications":["Every tropical plane curve can be drawn from a regular subdivision of its Newton polygon, and every regular unimodular triangulation of a lattice polygon yields a smooth tropical curve, so curve drawing becomes a purely discrete-geometric activity.","Tropical Bezout's theorem holds: two tropical plane curves of degrees $d$ and $e$ have exactly $d\\cdot e$ intersection points counted with multiplicity, with the stable intersection repairing non-transversal cases.","The classification of tropical plane curve skeleta is finite in each genus: there are exactly 2, 4, 13, and 37 troplanar graphs of genus 2 through 5, with only four of the five genus-3 graphs realized (the lollipop graph is excluded).","Tropicalization gives a lifting theorem: when two tropical varieties intersect in the expected dimension, their intersection points lift to algebraic intersection points with the expected multiplicities, and the classical count of 28 bitangents of a quartic is recoverable from the seven tropical bitangent classes.","Smooth tropical surfaces obey explicit enumerative formulas: a smooth tropical surface of degree $d$ has $d^3$ vertices, $4d^2$ rays, and Euler characteristic $\\frac{(d-1)(d-2)(d-3)}6 + 1$."],"supporting_citations":[{"why":"Supplies the Duality Theorem that tropical hypersurfaces are dual to coefficient-induced subdivisions of Newton polytopes.","marker":"[39, Proposition 3.1.6]"},{"why":"Supplies the Fundamental Theorem of Tropical Geometry identifying the closure of the valuation image with the tropical vanishing locus.","marker":"[39, Theorem 3.2.3]"},{"why":"Supplies the tropical Bezout theorem for plane curves, including the multiplicity formula.","marker":"[49]"},{"why":"Supplies the seven classes of bitangent lines to a smooth tropical quartic and the computation of troplanar graphs of small genus.","marker":"[2]"},{"why":"Supplies the moduli computation of tropical plane curves, the troplanar graph counts, and the metric graph characterization for genus 3.","marker":"[7]"},{"why":"Supplies the lifting theorem for tropical intersections with expected multiplicities.","marker":"[44]"},{"why":"Supplies the result that sprawling graphs cannot be troplanar and that every connected trivalent graph has a nodal tropical realization.","marker":"[9]"}],"fun_headline_variants":["Polygon subdivisions encode tropical curves as graphs","Max-plus equations turn polygons into curve graphs","Tropical curves as graphs from polygon subdivisions","How max-plus curves read off polygon subdivisions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The exposition relies on the Duality Theorem and the Fundamental Theorem of Tropical Geometry as cited from [39]; if either cited theorem has additional hypotheses that fail in the broad settings the survey claims, the survey's blanket statements about tropical curves, surfaces, and tropicalization would overstate what is established.","fun_headline_variants_meta":{"raw":{"variants":["Polygon subdivisions encode tropical curves as graphs","Max-plus equations turn polygons into curve graphs","Tropical curves as graphs from polygon subdivisions","How max-plus curves read off polygon subdivisions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002849,"raw_usage":{"total_tokens":10811,"prompt_tokens":897,"completion_tokens":9914,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":9859}},"tokens_in":513,"tokens_out":9914,"duration_ms":60367,"temperature":1.0,"reasoning_tokens":9859,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:28:27.174648+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a regular unimodular triangulation of the degree-4 triangle whose dual tropical curve has the lollipop graph as its skeleton. The survey, following [2] and [7], asserts that no such curve exists and that only four of the five genus-3 graphs are troplanar; one example would disprove that classification.","supporting_citations":[{"cited_title":"Idempotent mathematics and mathematical physics, 289–317, Contemp","cited_arxiv_id":null,"evidence_quote":"Supplies the tropical Bezout theorem for plane curves, including the multiplicity formula."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the seven classes of bitangent lines to a smooth tropical quartic and the computation of troplanar graphs of small genus."},{"cited_title":"Sturmfels, B.: Moduli of tropical plane curves","cited_arxiv_id":null,"evidence_quote":"Supplies the moduli computation of tropical plane curves, the troplanar graph counts, and the metric graph characterization for genus 3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the lifting theorem for tropical intersections with expected multiplicities."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the result that sprawling graphs cannot be troplanar and that every connected trivalent graph has a nodal tropical realization."}],"review_version":1}