{"id":"c4b1ed8d-4f87-4eeb-b766-036416cd41f7","arxiv_id":"1908.04458","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An algebraic subvariety of the moduli space M_g is coarsely dense in the Teichmüller or Thurston metric if and only if it equals M_g, and this yields exact dimension criteria for dense projections of strata and orbit closures.","lead":"This paper proves that a proper algebraic subset of the moduli space of genus g Riemann surfaces can never come within a bounded distance of every surface, unless it is the entire space. The result yields sharp dimension criteria for when projections of strata or GL(2,R)-orbit closures are coarsely dense.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the main theorem's analytic and Taylor-series argument holds up under scrutiny.","rationale":"The paper's proof is coherent and the cited external inputs are standard. The only genuinely structural external input is the Hubbard-Koch identification of analytic and algebraic compactifications; if that failed the proof would not go through, but it is a published theorem and is applied correctly. The internal Taylor-series domination is the heart of the proof; I reconstructed the tail estimate and found it correct, with the exponential separation (3) doing exactly the needed work. Corollaries follow from Theorem 1.1 by standard dimension and constructibility arguments. No circularity, missing proof, or internal inconsistency was found. The verdict ACCEPT with HIGH confidence therefore needs no adjustment.","tokens_in":8587,"tokens_out":46187,"duration_ms":490914,"concrete_test":"Re-derive the tail estimate in Section 3.2 using the explicit substitution α = β + e_i + δ, showing |S_i(t(m))| ≤ C |t(m)^β| · |t_i(m)| / ∏_{k<i}|t_k(m)|^{β_k}, and confirm that the ratio tends to 0 via Proposition 2.2 and the bound |t_j| = o(|t_i|^p) for all j>i and all p.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central claim is supported: a coarsely dense subset must contain surfaces with plumbing parameters satisfying |t_j|=o(|t_i|^p) for j>i and all p, while a nonzero analytic equation in those coordinates has a lexicographically minimal monomial that dominates the remaining Taylor series along such a sequence. The reader's flagged assumption, that algebraic subvarieties are locally cut out by analytic equations in plumbing coordinates, is supplied by Hubbard-Koch and is a standard theorem; no reason to doubt its citation. I also checked the internal Taylor estimate: after reindexing each tail S_i by the shift s=(0,...,0,β_i+1,β_{i+1},...,β_n), one obtains |S_i(t(m))| ≤ C |t^s|, and |t^s|/|t^β| = |t_i|/∏_{k<i}|t_k|^{β_k} → 0 by (3). Properness of V guarantees a non-identically-zero local equation, because otherwise V would contain an open neighborhood, hence all of the irreducible variety M_g. No load-bearing flaw was found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that a proper algebraic subvariety of the moduli space M_g of genus g Riemann surfaces cannot be coarsely dense in the Teichmüller metric; coarse density holds exactly for V = M_g. The same characterization is established for the Thurston metric under both natural definitions of coarse density. The proof uses plumbing coordinates near a maximally degenerate point of the Deligne-Mumford compactification, the asymptotic relation between plumbing parameters and hyperbolic lengths of pinched curves, and a Taylor-series domination argument: a nonzero analytic equation in plumbing coordinates has a lexicographically minimal monomial that dominates all other terms along a sequence with wildly separated pinching rates. The theorems are applied to strata of abelian differentials and to projections of GL(2,R)-orbit closures.","tokens_in":8766,"tokens_out":22270,"duration_ms":205816,"significance":"If correct, the main result is a clean and novel statement about the coarse geometry of moduli space: a proper algebraic subvariety is 'sparse' at the coarse scale, despite the non-compactness and wild geometry of M_g. The proof is elegant and self-contained modulo standard cited results (plumbing coordinates, Wolpert's length estimates, Hubbard-Koch analytic-algebraic compatibility, EMM and Filip for affine manifolds). The applications to strata and orbit closures are immediate and likely to be of interest to the Teichmüller dynamics community. The paper is honest about its dependencies; the one soft spot, the analytic description of algebraic subvarieties at the boundary, is supported by a standard reference.","major_comments":[],"minor_comments":[{"comment":"In the estimate for S_i(t), the shift vector in the reindexed coefficient should be (0,\\ldots,0,\\beta_i+1,\\beta_{i+1},\\ldots,\\beta_n); the current display is ambiguous and appears to show a doubled \\beta_{i+1}.","section":"Section 3.2"},{"comment":"The assertion 'coarse density is not affected by taking topological closure' is false for arbitrary subsets; for the constructible set \\pi(M) the desired equivalence can be justified because if its Zariski closure V is coarsely dense, then Theorem 1.1 forces V = M_g, and \\pi(M) contains a Zariski open subset of M_g whose complement has empty interior, making \\pi(M) coarsely dense.","section":"Corollary 1.3"},{"comment":"The displayed inequalities for the second definition of coarse density are garbled; the lower bound should presumably be (1/c)^c e^{-c m^i} (up to a constant), obtained by applying the upper bound in Lemma 4.1 with the roles of X and Y interchanged.","section":"Remark 4.1"},{"comment":"When lifting the sequence X_m to the finite cover U, one should pass to a subsequence contained in a single irreducible component of the preimage of V so that the chosen analytic equation f satisfies f(t(m))=0 for all m.","section":"Section 3.2"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things right away. This is a genuine new result and the main theorem is true: a proper algebraic subvariety of M_g is never coarsely dense in the Teichmuller or Thurston metric. Second, the proof is not a black box; the analytic argument in plumbing coordinates is clean and checkable.\n\nThe central trick is to construct surfaces with short curves whose plumbing parameters decay at exponentially separated rates, then note that any nonzero analytic function on a neighborhood of the maximally degenerate boundary point has a lexicographically minimal monomial in its Taylor series. That monomial dominates all higher-order terms along such a sequence, contradicting f=0. I checked the index shift in the tail estimate and it works. The Thurston metric case is genuinely different because distance does not control length ratios; Lemma 4.1 is a decent substitute, though its proof is the least polished part of the paper. The ortho-geodesic argument is standard and likely correct, but a referee should ask for a few more details in the second case.\n\nThe corollaries for strata and affine invariant manifolds follow quickly from EMM/Filip and Gendron/Chen. No circularity: the theorem is not used as an input. The citations are appropriate and the paper is honest about what is standard.\n\nMinor soft spots, in proportion: the analyticity of algebraic subvarieties in plumbing coordinates is a nontrivial structural fact, but it is correctly attributed to Hubbard-Koch. The paper does not address the broader coarse-geometric question without the algebraic hypothesis; that is a limitation, not a flaw. In Lemma 4.1, the constants are not tracked explicitly, but the argument only needs existence.\n\nThis paper is for people working in Teichmuller dynamics and the coarse geometry of moduli space. It settles a natural question cleanly and provides a reusable technique. I would send it to a serious referee, with a minor request to expand Lemma 4.1 and perhaps add a remark on the role of properness. Definitely worth a close read.","headline":"Clean proof of a folklore-type theorem: proper algebraic subvarieties of M_g are never coarsely dense in either metric; only minor exposition issues in the Thurston lemma.","tokens_in":9272,"tokens_out":2586,"would_cite":true,"duration_ms":28045,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32G15","14H10","30F60"],"pacs":[],"model":"deepseek-v4-flash","headline":"A proper algebraic subvariety of moduli space is never coarsely dense","keywords":["coarse density","moduli space of curves","algebraic subvarieties","Teichmüller metric","Thurston metric","Deligne-Mumford compactification","plumbing coordinates","affine invariant manifolds"],"falsifier":"Find a proper algebraic subvariety $V \\subset M_g$ and a constant $K$ such that every genus-$g$ surface lies within Teichmüller distance $K$ of $V$; the hyperelliptic locus would be a natural candidate. A more local test is to exhibit a proper subvariety containing a sequence of surfaces whose plumbing coordinates satisfy $|t_j(m)| = o(|t_i(m)|^p)$ for all $j>i$ and all positive integers $p$, which the paper's analytic-equation argument says cannot happen.","tokens_in":8386,"feed_emoji":"📐","tokens_out":14043,"duration_ms":127506,"temperature":0.7,"pith_summary":"Coarse density asks whether a subset of moduli space reaches within some fixed distance of every Riemann surface. This paper proves that, among algebraic subvarieties of the moduli space of genus-$g$ Riemann surfaces, the only coarsely dense one is the whole space, for the Teichmüller metric and for the Thurston metric under either of its two natural definitions. The mechanism is a rate-separation argument: coarse density forces a subset to contain surfaces whose $3g-3$ pinching curves shrink at drastically different speeds, whereas a proper subvariety is cut out by an analytic equation that cannot accommodate such separation. The same criterion then shows that projections of strata of abelian differentials and of closures of $\\mathrm{GL}_2(\\mathbb{R})$-orbit closures are coarsely dense only when they are already topologically dense.","feed_headline":"A proper algebraic subvariety of moduli space is never coarsely dense","feed_subtitle":"A proper algebraic subvariety must lie at unbounded distance from most of moduli space.","key_machinery":"The machinery is plumbing coordinates near a boundary point of the Deligne–Mumford compactification (the compactification of $M_g$ by stable nodal Riemann surfaces) at which all $3g-3$ curves are pinched to nodes, together with a Taylor-series domination lemma. In these coordinates a boundary point is described by parameters $t_1,\\ldots,t_{3g-3}$, each $t_i=0$ marking one pinched curve, and a coordinate chart is obtained by gluing punctured disks with the relation $u_i v_i = t_i$. The proof uses Proposition 2.2, which relates the hyperbolic length of the pinched curve $\\alpha_i$ to $|t_i|$ roughly as $2\\pi^2/\\log(1/|t_i|)$, to turn length separation into polynomial-order separation of coordinates. The domination lemma then shows that along any sequence with $|t_j|=o(|t_i|^p)$ for $j>i$ and all $p$, a nonzero analytic function's leading monomial in a lexicographic order eventually outweighs the entire remainder, so the function cannot vanish at every point of the sequence.","core_discovery":"The paper's central claim is that an algebraic subvariety $V \\subset M_g$ is coarsely dense in the Teichmüller metric if and only if $V = M_g$, and the same equivalence holds for the Thurston metric under either of the two definitions of coarse density. To prove it, the authors suppose $V$ is $K$-coarsely dense and fix a pants decomposition (a maximal set of disjoint simple closed curves). They build a test sequence of surfaces in which the $3g-3$ curve lengths are $1/m, 1/m^2, \\ldots, 1/m^{3g-3}$ up to bounded factors. Coarse density supplies surfaces $X_m \\in V$ with comparable lengths, and these converge to a boundary point of the Deligne–Mumford compactification where all $3g-3$ curves are pinched to nodes. In plumbing coordinates, the relation between hyperbolic length and plumbing parameters forces the coordinates to satisfy $|t_j(m)| = o(|t_i(m)|^p)$ whenever $j>i$. A proper algebraic subvariety is locally the zero set of a nonzero analytic function in these coordinates, and its Taylor series has a lexicographically minimal nonzero monomial $c_\\beta t^\\beta$ that dominates every later term along such a sequence; that contradicts $f(t(m))=0$. Therefore the variety cannot be a proper subvariety.","pith_inferences":["The proof never uses algebraicity beyond local analyticity in plumbing coordinates, so a plausible extension is that every proper complex-analytic subvariety of $M_g$, not only algebraic ones, fails to be coarsely dense; this is my inference, not a claim of the paper.","The rate-separation criterion suggests a quantitative strengthening: given an analytic equation, the Cauchy estimates should bound how close the vanishing set can come to a rate-separated sequence, potentially producing explicit lower bounds on the distance from a proper subvariety to generic surfaces—something the paper does not compute.","For Teichmüller dynamics the result sharpens the dichotomy for affine invariant manifolds: an orbit closure whose projection has full dimension must dominate an open set of moduli space, and one whose projection has smaller dimension leaves open coarse-scale holes that persist at every scale."],"forward_implications":["For any proper algebraic subvariety $V$ of $M_g$ there are points of $M_g$ at arbitrarily large Teichmüller distance from $V$; coarse density is strictly stronger than topological density for these sets.","For the Thurston metric, the same conclusion holds under both one-sided definitions of coarse density, so the asymmetric nature of the metric does not change the result.","A stratum $\\mathcal{H}(\\kappa)$ of abelian differentials projects to a coarsely dense subset of $M_g$ exactly when $\\dim \\mathbb{P}\\mathcal{H}(\\kappa) \\geq 3g-3$; under that condition the projection is in fact Zariski open and hence topologically dense.","For any closure $M = \\overline{\\mathrm{GL}_2(\\mathbb{R})(X,\\omega)}$ of a $\\mathrm{GL}_2(\\mathbb{R})$-orbit, $\\pi(M)$ is coarsely dense exactly when $\\dim \\pi(M) \\geq 3g-3$, so coarse density and topological density coincide for these projections."],"supporting_citations":[{"why":"Provides the Deligne–Mumford compactification as the boundary where the pinching sequences converge.","marker":"[DM69]"},{"why":"Establishes compatibility of the algebraic and analytic structures on the compactification, so algebraic subvarieties have analytic defining equations in plumbing coordinates.","marker":"[HK14]"},{"why":"Supplies Proposition 2.2, the length-to-plumbing-parameter estimate that converts rate separation of hyperbolic lengths into rate separation of the $t_i$.","marker":"[Wol10]"},{"why":"Gives the length-comparison lemma used to pass from bounded Teichmüller distance to comparable lengths along the pants decomposition.","marker":"[FM12]"},{"why":"Provides the length-ratio formula defining the Thurston metric, the basis for Theorem 1.4 and Lemma 4.1.","marker":"[Thu98]"},{"why":"Underlies Corollary 1.3 by identifying $\\mathrm{GL}_2(\\mathbb{R})$-orbit closures as affine invariant manifolds.","marker":"[EMM15]"},{"why":"Underlies Corollary 1.3 by showing affine invariant manifolds are quasiprojective, making their projections constructible with coinciding Zariski and topological closures.","marker":"[Fil16]"},{"why":"Supplies the criterion (also attributed in the paper to [Che10]) under which a stratum of abelian differentials dominates a Zariski open subset of $M_g$.","marker":"[Gen18]"}],"fun_headline_variants":["Proper subvarieties never coarsely dense in moduli space","Coarse density implies equality: only M_g qualifies","No proper algebraic subvariety is coarsely dense","Teichmüller coarse density: only the entire moduli space","Subvarieties either equal M_g or miss most of it coarsely"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that a proper algebraic subvariety can be represented near the boundary of moduli space by a nonzero analytic equation in the plumbing coordinates, and that hyperbolic lengths of short curves match those coordinates to the stated exponential precision; if either structural fact failed, the Taylor-series domination step would not go through.","fun_headline_variants_meta":{"raw":{"variants":["Proper subvarieties never coarsely dense in moduli space","Coarse density implies equality: only M_g qualifies","No proper algebraic subvariety is coarsely dense","Teichmüller coarse density: only the entire moduli space","Subvarieties either equal M_g or miss most of it coarsely"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000395,"raw_usage":{"total_tokens":2062,"prompt_tokens":923,"completion_tokens":1139,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":1054}},"tokens_in":539,"tokens_out":1139,"duration_ms":10249,"temperature":1.0,"reasoning_tokens":1054,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:43:09.978465+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a proper algebraic subvariety $V \\subset M_g$ and a constant $K$ such that every genus-$g$ surface lies within Teichmüller distance $K$ of $V$; the hyperelliptic locus would be a natural candidate. A more local test is to exhibit a proper subvariety containing a sequence of surfaces whose plumbing coordinates satisfy $|t_j(m)| = o(|t_i(m)|^p)$ for all $j>i$ and all positive integers $p$, which the paper's analytic-equation argument says cannot happen.","supporting_citations":[],"review_version":1}