{"id":"fef5b044-9e4d-43d1-a200-54a8d78b5179","arxiv_id":"2509.00984","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The Hodge-Grothendieck class of unipotent nearby cycles depends only on the reduced central fiber, not on the chosen defining equation.","lead":"What this note finds: the Hodge-theoretic size (Hodge-Grothendieck class) of nearby-cycle cohomology of a degenerate fiber does not depend on the specific equation defining the degeneration, only on the reduced fiber itself. Why read it: it gives a clean structural answer to 'how much can you know about nearby cycles without the defining function?' and strengthens a classical theorem of Deligne.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.2's opening reduction from D(X) to M(X*) is unproved; it is true, but the proof as written does not justify why ψ_f on objects supported on X0 vanishes or why pΨ classes on all of D(X*) reduce to M(X*).","rationale":"The central claim of Theorem 4.2 appears mathematically correct. The proof relies on standard ingredients: Proposition 2.3 identifies ker(N) with i^*j_{!*}M[-1], and formula (3.3.1) is the primitive decomposition of the weight filtration of nearby cycles for a pure Hodge module. Both are standard in Saito's theory. The missing piece is the reduction from arbitrary M∈D(X) to the pΨ-classes on M(X*). The reader's weakest_assumption identifies exactly this reduction, and I agree that it is load-bearing but not fatal: the vanishing of ψ^u_f on objects supported on the central fiber is true by the Milnor-fiber definition, and the K0-reduction from D(X*) to M(X*) follows from the t-structure and triangulatedness of pΨ^u_f. The manuscript should add a sentence or two justifying this step. There is also a notational ambiguity about K0(X0) when f^{-1}(0) and g^{-1}(0) have the same reduced structure but possibly different scheme structures; this also deserves clarification but does not threaten the mathematics once the categories are identified via the reduced fiber. Given these fixable gaps, the appropriate verdict remains CONDITIONAL, as the reader recommended.","tokens_in":3449,"tokens_out":45846,"duration_ms":592041,"concrete_test":"Prove the omitted reduction directly: (1) Show ψ^u_f(A)=0 for any A supported on X0, using the Milnor-fiber characterization (for t≠0 small, f^{-1}(t)⊂X\\X0, so A restricts to zero on the Milnor fiber). (2) For arbitrary M∈D(X), apply the triangle i_*i^!M → M → j_*j^*M; after applying ψ^u_f, conclude [ψ^u_f(M)] = [pΨ^u_f(j^*M)[1]] = -[pΨ^u_f(j^*M)] in K0(X0). (3) Verify the same reduction for a concrete example, e.g., X=A^1, f=x, g=x^2, M=i_*Q_0: both give class 0, consistent with the reduction. If these checks pass, the first step of the proof is justified.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 4.2 begins: 'It suffices to show [pΨ^u_f(M)] = [pΨ^u_g(M)] for M∈M(X∗).' This reduction is not derived. For arbitrary M∈D(X), one needs the triangle i_*i^!M → M → j_*j^*M → +1. Applying ψ^u_f, the term ψ^u_f(i_*i^!M) must be killed; this holds because any object supported on X0 has zero restriction to the Milnor fiber (the Milnor fiber lies in X\\X0), but this vanishing is never stated. One also needs the K0 isomorphisms K0(D(X*)) ≅ K0(M(X*)) and the triangulatedness of pΨ^u_f to pass from classes on M(X*) to classes on all of D(X*). These are standard, and the reduction is valid, but each is load-bearing: if the vanishing or the K0-reduction failed, the theorem for all M∈D(X) would not follow from the pure-complement argument. The gap is fillable, but the manuscript should state and prove it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This short note studies unipotent nearby cycles in the category of mixed Hodge modules. Its main result, Theorem 4.2, asserts that for two morphisms f,g: X → A^1 with the same reduced zero fibre, the induced maps [ψ^u_f] and [ψ^u_g] on K_0(X_0) coincide, i.e. the Hodge–Grothendieck class of unipotent nearby cycles is intrinsic to the reduced central fibre. The proof combines Saito's primitive-decomposition formula (3.3.1) with Proposition 2.3, which identifies ker(N) with i^* j_{!*} M[-1]. A second result, Theorem 5.2, is a generalized local invariant cycles exact sequence for proper f, deduced from weight arguments. The paper is candid that it makes no claims to originality and relies on external theorems of Saito and Deligne.","tokens_in":3800,"tokens_out":10587,"duration_ms":124693,"significance":"If the gaps noted below are filled, this would be a clean and useful structural fact: the Hodge–Grothendieck class of the unipotent part of nearby cycles is independent of the defining equation, directly addressing Williamson's question in a Hodge-theoretic context. The reliance on established machinery is explicit and the argument is not circular: the target independence claim is not used as an input. The note is concise, honest, and the main idea—that the primitive part is controlled by i^* j_{!*} M—is sound. The main issue is that the proof of Theorem 4.2 as written omits a load-bearing reduction from arbitrary objects of D(X) to pure objects of M(X^*).","major_comments":[{"comment":"The proof opens with 'It suffices to show [pΨ^u_f(M)] = [pΨ^u_g(M)] for M∈M(X^*)' and then 'We may also assume M is pure of weight n'. Neither reduction is justified. For arbitrary M∈D(X), one must use the triangle i_* i^! M → M → j_* j^* M → and prove that ψ^u_f(i_* i^! M)=0; this is true because the Milnor fibre lies in X\\X_0, so any object supported on X_0 has zero nearby cycles. One must then pass from ψ^u_f(j_* j^* M) to pΨ^u_f(j^* M) and use K_0(D(X^*)) ≅ K_0(M(X^*)). The purity reduction needs additivity over the weight filtration of M. These are standard facts, but they are load-bearing for the theorem as stated for all M∈D(X), and they are not mentioned. Please add a short lemma or paragraph supplying these steps.","section":"Section 4, proof of Theorem 4.2"}],"minor_comments":[{"comment":"The statement writes 'ker(N) ≃ i_* j_{!*} M[-1]', but the right-hand side should be an object of M(X_0), so the intended functor is i^*, not i_*. The proof itself uses i^* j_{!*} M. Please correct the display to i^* j_{!*} M[-1].","section":"Proposition 2.3(i)"},{"comment":"The same i_*/i^* ambiguity appears in the maps 'i_* M → i_* j_* j^* M → ψ^u_f(M)' and in the displayed exact sequence 'H^k(X_0; i_* M) → ...'. Since these are cohomology groups on X_0, the functors should be i^*. Please clarify the notation throughout; using a single symbol i* for i_*, i^*, and i^! is confusing.","section":"§5.1 and proof of Theorem 5.2"},{"comment":"The phrase 'induced filtration on i_* j_{!*} M' should presumably be 'on i^* j_{!*} M'. Also, there is a typo 'orginality' in the introduction.","section":"Remark 4.3"},{"comment":"The remark claims that in the topological setting 'the only extra ingredient needed' is the independence of the filtration on i^* j_{!*} M. This is accurate, but the phrase 'the induced filtration' could be expanded: one needs to specify that it is the monodromy filtration induced from nearby cycles, and that [ELM] supplies the independence from f. A one-sentence elaboration would help.","section":"Section 4, Remark 4.3"}],"recommendation":"major_revision","confidential_remarks":"This is a borderline case. The central claim is very likely correct and the missing reduction is fillable by standard arguments, but as written the proof of Theorem 4.2 does not establish the theorem for arbitrary M∈D(X). Because the gap is local and does not affect the underlying strategy, I recommend major_revision rather than rejection. The notation issue with i_*/i^* should be fixed in the same revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what it says: it answers Williamson's question in the Hodge-theoretic setting, and the main statement (Theorem 4.2) is correct. The novelty is modest but real — the specific independence claim for Hodge-Grothendieck classes does not appear verbatim in Saito, Deligne, or [ELM], and the note gives a very short derivation from the primitive decomposition. It also credits its sources honestly, including the topological analogue in [ELM], and even says 'No claims to originality'. I appreciate that.\n\nWhat it does well: the proof of Theorem 4.2 is genuinely two lines once you have (3.3.1) and Prop. 2.3(i). The computation of the class is transparent, and the weight-filtration argument is standard but correctly applied. Theorem 5.2 also looks right and is a reasonable generalization of local invariant cycles. The note is useful for people doing concrete Hodge-module or singularity computations who need to know which invariants depend only on the reduced central fiber.\n\nThe soft spot is exactly where the stress-test note lands. The proof of Theorem 4.2 starts with 'It suffices to show [pΨ^u_f(M)] = [pΨ^u_g(M)] for M ∈ M(X*)'. That reduction is asserted, not derived. To make it rigorous you need three things: (a) ψ^u_f kills objects supported on X_0, which is true because the Milnor fiber lives in X*; (b) the induced map on K_0 from D(X*) to K_0(M(X*)) is an isomorphism, which is standard via the t-structure; and (c) pΨ^u_f is triangulated so its class is well-defined on all of D(X*). The reduction to pure M is also stated without proof, though that too follows from weight decompositions and additivity. None of this threatens the theorem, but as written the proof skips a load-bearing step. A referee should ask the author to spell it out. There's also a minor notational slip in Prop. 2.3(i) — the map i^* is written as i_* somewhere — but that's cosmetic.\n\nBottom line: the central argument holds up. The gaps are fillable and the paper is honest about what is new. It deserves a serious referee, but only for minor revision, not for a desk rejection.\n\nRecommendation: send it to review; once the reduction in Theorem 4.2 is justified, it's publishable as a short remark.","headline":"A short, honest note: the Hodge-Grothendieck class of unipotent nearby cycles really is intrinsic to the reduced central fiber, and the proof is a clean corollary of Saito; the one real gap is an unproved reduction in the proof of Theorem 4.2 that is fillable with standard facts.","tokens_in":4235,"tokens_out":1415,"would_cite":true,"duration_ms":19442,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14C30","14F08","14F45","32S35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Hodge-Grothendieck class of unipotent nearby cycles depends only on the reduced central fibre.","keywords":["nearby cycles","Hodge-Grothendieck class","mixed Hodge modules","monodromy filtration","weight filtration","invariant cycles","unipotent monodromy","Grothendieck group"],"falsifier":"A direct local check: take $X=\\mathbb{A}^1$, $f=t^2$ and $g=t^3$ (both have reduced fibre $\\{0\\}$), and take $M$ to be the skyscraper sheaf at $0$. The theorem and its proof predict $[\\psi_f^u(M)]=[\\psi_g^u(M)]=0$ because $M$ is supported on the central fibre; if an explicit computation of the two nearby-cycle complexes gives a nonzero class, or differs between $f$ and $g$, the key reduction in the proof of Theorem 4.2 fails.","tokens_in":1585,"feed_emoji":"","tokens_out":1644,"duration_ms":131415,"temperature":0.7,"texified_at":"2026-08-05T20:19:44.555029+00:00","pith_summary":"This paper asks how much of nearby cycles is determined by the central fibre alone, without knowing the function that defines it. Its main theorem, Theorem 4.2, establishes that if two morphisms f and g have the same reduced central fibre, then their unipotent nearby cycles functors induce the same map on Grothendieck groups. In other words, the Hodge-Grothendieck class of unipotent nearby cycles is intrinsic to the reduced special fibre and does not depend on the multiplicities or infinitesimal directions in the defining equation. A second theorem, Theorem 5.2, generalizes the classical local invariant cycles statement to arbitrary pure mixed Hodge modules under proper maps. A sympathetic reader should take the main result as a structural separation: the unipotent nearby-cycles class is a function of the reduced fibre, not of the smoothing chosen for it.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5451,"prompt_tokens":841,"completion_tokens":4610,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":841,"completion_tokens_details":{"reasoning_tokens":3778}},"feed_headline":"Nearby cycles depend only on the reduced central fibre","feed_subtitle":"The unipotent nearby cycles Hodge-Grothendieck class is unchanged when the defining equation changes.","key_machinery":"The load-bearing mechanism is the weight/monodromy filtration on $p\\Psi_f^u(M)$, governed by the logarithm of unipotent monodromy $N:\\psi_f^u(M)\\to\\psi_f^u(M)(-1)$. For pure $M$ of weight $n$, the associated graded pieces of $p\\Psi_f^u(M)$ are reconstructed from graded pieces of $\\ker(N)$ by powers of $N$, and $\\ker(N)$ is canonically isomorphic to $i_*j_{!*}M[-1]$. Because the filtration induced on the intermediate extension $i_*j_{!*}M$ is independent of $f$, the Grothendieck class computed from these graded pieces is also independent of $f$.","core_discovery":"The central claim is Theorem 4.2: let $f,g:X\\to \\mathbb{A}^1$ have $f^{-1}(0)_{\\mathrm{red}}=g^{-1}(0)_{\\mathrm{red}}$. Then in the Grothendieck group $K_0(X_0)$, $[\\psi_f^u(M)]=[\\psi_g^u(M)]$ for every $M$ in $D(X)$. The proof restricts to pure objects $M$ supported on the complement $X^*$ of the central fibre, and expresses the class of $p\\Psi_f^u(M)=\\psi_f^u(j_*M)[-1]$ as a sum over graded pieces of the weight filtration of the intermediate extension $i_*j_{!*}M$, with Tate twists. Since the filtration induced on $i_*j_{!*}M$ is independent of the defining function, the class is equation-independent. The paper also proves Theorem 5.2: for proper $f$ and pure $M$, the sequence $H^k(X_0;i^*M) \\to H^k(X_0;\\psi_f^u(M)) \\xrightarrow{N} H^k(X_0;\\psi_f^u(M))(-1)$ is exact for each $k$,","pith_inferences":["Extrapolating from the class-level result, one could define the unipotent nearby-cycles Hodge-Grothendieck class for any reduced closed subscheme without choosing a defining equation, as the common value over all equations with that reduced fibre; the paper does not propose such a definition.","The theorem proves equality of Grothendieck classes, not isomorphism of functors; a natural stricter question left open here is whether ψ^u_f(M) and ψ^u_g(M) are actually isomorphic when the reduced fibres agree.","Because the proof uses only the weight formalism and the canonical N-triangle, the same invariance should hold in any setting with an analogous weight package, such as étale ℓ-adic sheaves with the standard axioms; the paper states only the Hodge-module and topological-sheaf versions.","The argument for Theorem 5.2 is phrased for proper maps and pure objects; a reader might ask whether exactness persists for non-proper f when the pure object is replaced by one with appropriate support conditions."],"forward_implications":["If f and g define the same reduced central fibre, then [ψ^u_f(M)]=[ψ^u_g(M)] in K_0(X_0) for every object M of the derived category.","The proof gives an explicit formula for the unipotent nearby-cycles class in terms of the intermediate extension of M and Tate twists, so the equation enters only through the choice of the reduced fibre.","For proper f and pure M, the generalized local invariant cycles sequence through N is exact in every degree, extending the classical statement beyond constant sheaves.","In the rationally smooth case with M the constant Hodge module, the generalized statement recovers the classical local invariant cycles theorem.","For ordinary constructible sheaves, the same invariance follows without Hodge theory by working with the monodromy filtration and the independence of Verdier specialization."],"supporting_citations":[{"why":"Supplies the weight-filtration formalism for mixed Hodge modules, purity conventions, and the weight-shift isomorphism (3.3.1) used in the proof of Theorem 4.2.","marker":"[S89]"},{"why":"Supplies the canonical distinguished triangle (2.2.1) relating unipotent nearby cycles to i_*j_*M and the log of the monodromy N.","marker":"[S88]"},{"why":"Supplies the monodromy-filtration convention and the classical local invariant cycles theorem that Theorem 5.2 generalizes.","marker":"[D]"},{"why":"Supplies the topological construction of the weight filtration that replaces Hodge theory in Remark 4.3 for the constructible-sheaf version.","marker":"[ELM]"}],"fun_headline_variants":["Nearby cycles class unchanged by equation with same reduced fibre","Reduced fibre fixes nearby cycles Hodge class","Unipotent nearby cycles class depends only on reduced fibre","Nearby cycles class equation-independent for same reduced fibre","Same reduced fibre implies same nearby cycles class"],"cache_read_input_tokens":6016,"weakest_assumption_plain":"The proof begins by declaring that it suffices to verify the equality for pure objects supported on the complement $X\\setminus X_0$; this reduction is stated without proof and carries the whole argument.","fun_headline_variants_meta":{"raw":{"variants":["Nearby cycles class unchanged by equation with same reduced fibre","Reduced fibre fixes nearby cycles Hodge class","Unipotent nearby cycles class depends only on reduced fibre","Nearby cycles class equation-independent for same reduced fibre","Same reduced fibre implies same nearby cycles class"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000929,"raw_usage":{"total_tokens":3752,"prompt_tokens":617,"completion_tokens":3135,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":361,"completion_tokens_details":{"reasoning_tokens":3061}},"tokens_in":361,"tokens_out":3135,"duration_ms":29165,"temperature":1.0,"reasoning_tokens":3061,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T13:01:12.314337+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct local check: take $X=\\mathbb{A}^1$, $f=t^2$ and $g=t^3$ (both have reduced fibre $\\{0\\}$), and take $M$ to be the skyscraper sheaf at $0$. The theorem and its proof predict $[\\psi_f^u(M)]=[\\psi_g^u(M)]=0$ because $M$ is supported on the central fibre; if an explicit computation of the two nearby-cycle complexes gives a nonzero class, or differs between $f$ and $g$, the key reduction in the proof of Theorem 4.2 fails.","supporting_citations":[],"review_version":1}