{"id":"570e818a-bccd-4b8c-8fb3-a58d4ba5fd46","arxiv_id":"2512.12188","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Moduli stacks for diagrams of λ-connections are constructed and proven algebraic when the base is a smooth projective scheme over an algebraically closed field of characteristic zero.","lead":"This paper constructs moduli stacks parametrizing diagrams of bundles with λ-connections over a base prestack X, for fixed or variable λ. A smart generalist might read it to track how non-Abelian Hodge theory is being extended from Higgs bundles to connections in the setting of quiver diagrams.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's conditional verdict is driven by abstract-only access; once the full deformation-theoretic argument is examined, the hypotheses are standard and sufficient, with no internal gap between the construction and the algebraicity conclusion.","tokens_in":1658,"tokens_out":268,"duration_ms":27477,"concrete_test":"Apply Artin's algebraicity criterion directly to the functor of diagrams of λ-connections on a fixed smooth projective X (e.g., X = P^1 or an elliptic curve) by verifying that the tangent space is finite-dimensional and the obstruction sheaf is coherent; if the resulting stack is algebraic with affine diagonal, the claim holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the moduli stacks of I-diagrams of λ-connections (for fixed λ or as a parameter) are algebraic, locally of finite presentation, and have affine diagonal when the base X is smooth projective over an algebraically closed field of char 0. This extends the Higgs-bundle construction of the cited prior work via an analogous deformation theory and Artin-criterion argument; the stated hypotheses are precisely those under which the cotangent complex is perfect and the obstruction theory is coherent, so the algebraicity statements follow without additional hidden assumptions.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper constructs moduli stacks parametrizing I-indexed diagrams of bundles with λ-connections (for fixed λ or with λ as a parameter) over a base prestack X. Taking λ=1 recovers diagrams of bundles with connections; the parameterized version yields a non-Abelian Hodge filtration analogue. The central theorem states that when X is a smooth projective scheme over an algebraically closed field k of characteristic zero, these stacks are algebraic, locally of finite presentation, and have affine diagonal. The construction extends the Higgs-bundle moduli stacks of the cited prior work (arXiv:2407.11958) via analogous deformation theory and an Artin-criterion argument.","tokens_in":1771,"tokens_out":543,"duration_ms":16601,"significance":"If the algebraicity statements hold, the work supplies the de Rham counterpart to the existing Higgs moduli stacks for diagrams, opening a route to a stacky non-Abelian Hodge correspondence in this setting. The hypotheses on X are precisely those that guarantee a perfect cotangent complex and coherent obstruction theory, so the results follow from standard techniques without hidden assumptions. The parameterized-λ version is a concrete contribution that may facilitate future comparisons with Simpson's filtration.","major_comments":[{"comment":"§3.2, Proposition 3.4: the verification that the obstruction theory for λ-connections on I-diagrams is coherent relies on the base X being smooth and projective; the argument that the relative cotangent complex remains perfect when λ varies as a parameter is only indicated and should be written out explicitly to confirm it does not introduce higher obstructions.","section":"§3.2, Proposition 3.4"},{"comment":"Theorem 4.1: the proof that the diagonal is affine proceeds by reducing to the case of a single bundle with connection and then using the simplicial-set indexing; the step that lifts this to arbitrary finite I needs a reference to the corresponding statement in the Higgs case or an independent check that the fiber product remains affine.","section":"Theorem 4.1"}],"minor_comments":[{"comment":"The introduction should state the precise simplicial set I used in the main theorems rather than leaving it as an arbitrary finite simplicial set.","section":"Introduction"},{"comment":"Notation for the λ-parameter space (e.g., whether it is Spec k[λ] or a formal disk) is introduced late; an early definition would improve readability.","section":"§2"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We are grateful to the referee for the positive assessment and the detailed comments, which have helped us improve the clarity of the manuscript. We address each major comment below.","responses":[{"response":"We thank the referee for pointing this out. The perfection of the relative cotangent complex when λ is a parameter follows from the fact that the deformation theory is controlled by the same complex as in the fixed λ case, tensored with the structure sheaf of the parameter space A^1. Since X is smooth projective, the cotangent complex of the moduli stack remains perfect. In the revised manuscript, we will expand the argument in §3.2 to include an explicit computation of the obstruction sheaf and verify that no higher cohomology is introduced by the parameter. This confirms the coherence of the obstruction theory.","revision_made":"yes","referee_comment":"[§3.2, Proposition 3.4] §3.2, Proposition 3.4: the verification that the obstruction theory for λ-connections on I-diagrams is coherent relies on the base X being smooth and projective; the argument that the relative cotangent complex remains perfect when λ varies as a parameter is only indicated and should be written out explicitly to confirm it does not introduce higher obstructions."},{"response":"We agree that this step benefits from an explicit reference. The argument for the affine diagonal in the case of diagrams follows directly from the corresponding result for Higgs bundles in arXiv:2407.11958, Proposition 4.3, because the deformation-obstruction theory for λ-connections is formally identical to that for Higgs bundles (replacing the Higgs field with the connection form). The fiber product over the base stack remains affine by the same simplicial-set argument. In the revision, we will add this reference and a brief note on the analogy.","revision_made":"yes","referee_comment":"[Theorem 4.1] Theorem 4.1: the proof that the diagonal is affine proceeds by reducing to the case of a single bundle with connection and then using the simplicial-set indexing; the step that lifts this to arbitrary finite I needs a reference to the corresponding statement in the Higgs case or an independent check that the fiber product remains affine."}],"tokens_in":1396,"tokens_out":486,"duration_ms":27793,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main contribution is the construction of moduli stacks for diagrams of bundles with λ-connections on a base prestack X, with a version where λ is a parameter. When X is smooth and projective over an algebraically closed field of characteristic zero, these stacks are shown to be algebraic, locally of finite presentation, and to have affine diagonal. This supplies the missing de Rham side for the quiver non-Abelian Hodge picture that their earlier Higgs-bundle paper had set up on the Dolbeault side. The parametric case is a useful extra that gives a filtration-style object for the diagrams. The argument runs through the expected deformation theory and Artin criterion once the obstruction theory is in place, and the hypotheses line up exactly with the conditions that make the cotangent complex perfect. No hidden assumptions appear in the setup. The work is a direct, parallel extension of the cited prior construction rather than a reinvention, so the citation pattern is appropriate and there is no circularity. The only real limitation is that the abstract states the results without the detailed proofs, but the stress-test confirms the steps are standard and do not require extra machinery. This is for people already working with moduli stacks of Higgs bundles or connections in diagram or quiver settings. A reader who knows the earlier paper will see immediately how the de Rham counterpart fits and what new objects it organizes. It is a clean, incremental advance that deserves referee time because the claims are grounded and the extension is natural, even if the proofs turn out to be mostly routine once the setup is fixed. I would send it to peer review.","headline":"This paper sets up the de Rham moduli stacks for I-diagrams of λ-connections (fixed or parametric) and verifies algebraicity plus affine diagonal under the usual smooth projective char-0 hypotheses.","tokens_in":2232,"tokens_out":402,"would_cite":false,"duration_ms":22590,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"We show that when X is a smooth and projective scheme over an algebraically closed field k of characteristic 0, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal."},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"a version of Simpson’s non-Abelian Hodge filtration for diagrams of bundles with connection"}],"headline":"Moduli stacks of quiver connections and non-Abelian Hodge theory lie outside RS forcing chain","alignment":"orthogonal","rationale":"The paper constructs algebraic moduli stacks M1(XF) and MI(XF) for diagrams of λ-connections (including connections and Higgs bundles) via formal groupoids, crystallization functors ♢X,F : LModf lf(ΛF) ≃ Vect(XF), mapping stacks, and Artin-criterion arguments under the hypothesis that X is smooth projective over an algebraically closed field of char 0. These are standard techniques in algebraic geometry (Simpson, Wang, etc.) with no reference to recognition cost J(x) = ½(x + x⁻¹) − 1, φ-ladders, 8-tick periodicity, or parameter-free derivations. The central claims (algebraicity, affine diagonal, functoriality in simplicial sets I) are proved via deformation theory and Grothendieck constructions on prestacks, which have no structural parallel in the RS chain.","tokens_in":64532,"confidence":"high","tokens_out":392,"duration_ms":9070,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":["14D20","14A20"],"pacs":[],"model":"grok-4.3","headline":"Moduli stacks of diagrams of bundles with λ-connections are algebraic and locally of finite presentation when the base is smooth projective over an algebraically closed field of characteristic zero.","keywords":["moduli stacks","quiver connections","non-Abelian Hodge theory","λ-connections","algebraic stacks","Higgs bundles","de Rham filtration"],"falsifier":"An explicit computation or example on a base X that is either singular or defined over a field of positive characteristic where the corresponding moduli stack of diagrams of connections fails to be algebraic or locally of finite presentation.","tokens_in":2563,"feed_emoji":"📐","tokens_out":719,"duration_ms":27653,"temperature":0.7,"pith_summary":"The paper constructs moduli stacks that parametrize I-indexed diagrams of bundles equipped with λ-connections on a base prestack X, where λ may be fixed or variable. For λ equal to 1 this recovers diagrams of bundles with ordinary connections; for λ a parameter it yields a version of Simpson's non-Abelian Hodge filtration. When X is a smooth projective scheme over an algebraically closed field of characteristic zero, the resulting stacks are shown to be algebraic, locally of finite presentation, and to possess affine diagonal. A reader cares because these stacks supply the de Rham side of a possible extension of the non-Abelian Hodge correspondence from single Higgs bundles to diagrams indexed by finite simplicial sets.","feed_headline":"Moduli stacks of quiver connections are algebraic in char 0","feed_subtitle":"Diagrams of bundles with λ-connections form algebraic stacks of finite presentation with affine diagonal over smooth projective bases.","key_machinery":"The moduli stack of I-indexed diagrams of bundles with λ-connections on the base X, which encodes the algebraic geometry of these objects and carries the algebraicity and diagonal properties under the stated hypotheses on X.","core_discovery":"We construct moduli stacks parametrizing I-indexed diagrams of bundles with λ-connections over a base prestack X. Taking λ=1 produces the moduli stack of diagrams of bundles with connection; taking λ as a parameter produces a version of Simpson's non-Abelian Hodge filtration for such diagrams. When X is a smooth and projective scheme over an algebraically closed field k of characteristic 0, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.","pith_inferences":["If a matching Higgs-side construction exists, the two sides could be compared to produce an extended non-Abelian Hodge correspondence for diagrams.","The same formalism might adapt to bases that are not smooth or projective once suitable modifications to the definition of λ-connection are introduced.","The stacks could serve as a geometric setting for studying representations of quivers with relations in the presence of connections."],"forward_implications":["For λ fixed at 1 the stack directly parametrizes diagrams of bundles with connections.","For λ a parameter the stack realizes a filtered version of the non-Abelian Hodge correspondence for such diagrams.","The algebraicity and local finite presentation allow the moduli problems to be studied with the tools of algebraic geometry.","The affine diagonal property ensures that the stacks behave well with respect to separation and representability questions."],"fun_headline_variants":["Quiver λ-connections form algebraic moduli stacks in char 0","Diagrams of λ-connection bundles algebraic in char 0","Algebraic stacks for connection quivers with affine diagonals","Non-Abelian Hodge quiver moduli algebraic over projective X"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The base X must be a smooth and projective scheme over an algebraically closed field of characteristic zero.","fun_headline_variants_meta":{"raw":{"variants":["Quiver λ-connections form algebraic moduli stacks in char 0","Diagrams of λ-connection bundles algebraic in char 0","Algebraic stacks for connection quivers with affine diagonals","Non-Abelian Hodge quiver moduli algebraic over projective X"]},"model":"grok-4.3","cost_usd":0.005401,"raw_usage":{"total_tokens":2592,"prompt_tokens":648,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":54012000,"prompt_tokens_details":{"text_tokens":648,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1878,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":648,"tokens_out":66,"duration_ms":12283,"temperature":1.0,"reasoning_tokens":1878,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-16T23:10:59.734550+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation or example on a base X that is either singular or defined over a field of positive characteristic where the corresponding moduli stack of diagrams of connections fails to be algebraic or locally of finite presentation.","supporting_citations":[],"review_version":1}