{"id":"2dfde2a6-8ccf-491f-973b-fe51db3d67c5","arxiv_id":"2607.02165","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":2.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Surveys the proof of the geometric Bombieri-Lang conjecture for varieties with finite morphisms to abelian varieties over function fields of char 0.","lead":"This survey summarizes recent proofs of the geometric Bombieri-Lang conjecture for varieties admitting finite morphisms to abelian varieties over function fields of characteristic zero. Smart generalists might read it to see how Vojta's dictionary is turned into constructions of entire curves from high-height rational points.","discovery_kind":"review","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flags the scope restriction as the operative boundary; because the paper is a survey whose headline result is the conjunction of two external theorems, the load-bearing step lies outside the manuscript itself. No internal gap or hidden assumption is visible in the provided abstract and survey framing that would alter the UNVERDICTED verdict.","tokens_in":1532,"tokens_out":280,"duration_ms":10355,"concrete_test":"Locate the precise statements in the cited Xie-Yuan and Gao papers that are invoked for the finite-morphism case, then check whether their hypotheses match exactly the varieties described in the survey (i.e., finite morphism to an abelian variety over a function field of char 0) and whether the Bombieri-Lang conclusion follows without additional unstated assumptions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that Xie-Yuan and Gao together establish the geometric Bombieri-Lang conjecture precisely for the subclass of varieties admitting finite morphisms to abelian varieties. The survey explicitly restricts to this class and attributes the result to the cited works; no internal derivation or new proof is advanced that could be internally inconsistent. The guiding idea (Vojta dictionary made concrete via entire curves on complex fibers) is presented as motivation rather than a self-contained argument requiring verification here.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript surveys recent progress on the geometric Bombieri--Lang conjecture over function fields of characteristic zero. It presents the combined results of Xie--Yuan and Guoquan Gao as establishing the conjecture for the class of varieties admitting finite morphisms to abelian varieties, and motivates the approach via the concrete realization of Vojta's dictionary through entire curves on complex fibers, drawing on joint work with Xinyi Yuan.","tokens_in":1598,"tokens_out":226,"duration_ms":15458,"significance":"The geometric Bombieri--Lang conjecture is a major open problem in arithmetic geometry. Establishing it for varieties with finite morphisms to abelian varieties constitutes meaningful progress on a substantial subclass, and the survey usefully organizes the cited external results while highlighting the Vojta-dictionary perspective as a guiding principle.","major_comments":[],"minor_comments":[{"comment":"The abstract states the characteristic-zero setting but the title does not; adding this qualifier to the title would improve immediate clarity for readers.","section":"Title and Abstract"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive report, which accurately summarizes the manuscript and recommends acceptance. We are pleased that the survey's organization of the results of Xie--Yuan and Gao, along with the Vojta-dictionary perspective, is viewed as useful.","responses":[],"tokens_in":1033,"tokens_out":70,"duration_ms":8524,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the geometric Bombieri-Lang conjecture over function fields of characteristic zero is now settled for the subclass of varieties that admit finite morphisms to abelian varieties. The survey attributes this to separate papers by Xie-Yuan and by Guoquan Gao, and it spells out the guiding idea that turns Vojta's dictionary into a concrete construction via entire curves on complex fibers.\n\nThe paper does a clean job of laying out that motivation and showing how the cited results fit together. It is useful for seeing the restriction to this class of varieties and why the abelian variety case is more tractable. The writing stays focused on the arithmetic geometry content.\n\nNothing here is a new derivation or proof. The actual arguments sit in the referenced works, so the survey's value depends on those papers holding up. The limitation to varieties with finite maps to abelian varieties is stated plainly, but it leaves the general case open. No internal inconsistencies appear in the survey itself.\n\nThis is for readers already working on rational points and function fields who want a short map of recent progress. Someone outside the area or looking for a self-contained argument will get less from it. The citation pattern is standard for a survey that points to the primary sources.\n\nI would bring this to a reading group on arithmetic geometry if the group wants an overview of the current state. I would not cite the survey in my own work. It deserves peer review because a clear summary of settled cases on a long-standing conjecture can help the field even without new theorems.","headline":"This is a survey that organizes how Xie-Yuan and Gao proved the geometric Bombieri-Lang conjecture for varieties with finite morphisms to abelian varieties, without adding new theorems.","tokens_in":2015,"tokens_out":389,"would_cite":false,"duration_ms":22374,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The geometric Bombieri-Lang conjecture holds for varieties admitting finite morphisms to abelian varieties over function fields of characteristic zero.","keywords":["geometric Bombieri-Lang conjecture","function fields","abelian varieties","Vojta's dictionary","entire curves","rational points","arithmetic geometry"],"falsifier":"A variety that admits a finite morphism to an abelian variety over a function field of characteristic zero yet possesses infinitely many rational points not contained in any proper subvariety would falsify the claim.","tokens_in":2426,"feed_emoji":"","tokens_out":572,"duration_ms":25499,"temperature":0.7,"pith_summary":"This survey shows that the geometric Bombieri-Lang conjecture is established for varieties over function fields in characteristic zero whenever those varieties admit finite morphisms to abelian varieties. The result follows from combining theorems of Xie-Yuan with work of Guoquan Gao. The central technique realizes Vojta's dictionary explicitly by producing entire curves on the complex fibers from rational points of large height. A reader would care because the statement now covers a wide collection of varieties that arise naturally when studying rational points over function fields.","feed_headline":"Bombieri-Lang conjecture holds for varieties with maps to abelian varieties","feed_subtitle":"Xie-Yuan and Gao turn high-height points into entire curves on complex fibers over function fields.","key_machinery":"Vojta's dictionary realized concretely by constructing entire curves on complex fibers from rational points of large height","core_discovery":"The geometric Bombieri--Lang conjecture is proved for varieties admitting finite morphisms to abelian varieties, via work of Xie--Yuan and Guoquan Gao. The guiding idea, developed in joint work with Xinyi Yuan, is that Vojta's dictionary can be made concrete in this setting: from rational points of large height one constructs entire curves on complex fibers.","pith_inferences":["The same dictionary technique might be tested on concrete families such as genus-two curves over rational function fields to exhibit the curve construction explicitly.","Analogous reductions could be explored for the arithmetic Bombieri-Lang conjecture over number fields by seeking similar height-to-curve correspondences.","The survey leaves open whether the method extends to varieties lacking finite morphisms to abelian varieties."],"forward_implications":["The conjecture holds for every variety in this class over function fields of characteristic zero.","Rational points of large height on such varieties correspond to entire curves on the complex fibers.","The arithmetic distribution of points is thereby linked directly to holomorphic curve constructions."],"fun_headline_variants":["Bombieri-Lang conjecture proved for abelian variety morphisms","Xie-Yuan and Gao prove Bombieri-Lang over function fields","Vojta dictionary concretized for geometric Bombieri-Lang","Entire curves from high height points in Bombieri-Lang work"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The varieties under consideration admit finite morphisms to abelian varieties.","fun_headline_variants_meta":{"raw":{"variants":["Bombieri-Lang conjecture proved for abelian variety morphisms","Xie-Yuan and Gao prove Bombieri-Lang over function fields","Vojta dictionary concretized for geometric Bombieri-Lang","Entire curves from high height points in Bombieri-Lang work"]},"model":"grok-4.3","cost_usd":0.009014,"raw_usage":{"total_tokens":3966,"prompt_tokens":506,"num_sources_used":0,"completion_tokens":59,"cost_in_usd_ticks":90137000,"prompt_tokens_details":{"text_tokens":506,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3401,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":506,"tokens_out":59,"duration_ms":23831,"temperature":1.0,"reasoning_tokens":3401,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-03T05:10:16.554338+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A variety that admits a finite morphism to an abelian variety over a function field of characteristic zero yet possesses infinitely many rational points not contained in any proper subvariety would falsify the claim.","supporting_citations":[],"review_version":1}