{"id":"c7a1fac1-1afc-4fb0-915d-f571d480c1d1","arxiv_id":"2411.15744","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Virtually nilpotent intermediate coverings of compact Kähler surfaces without two ends are holomorphically convex, and Malcev coverings of Kähler manifolds have at most one end.","lead":"This mathematics paper proves that every infinite virtually nilpotent regular covering of a compact Kähler surface is holomorphically convex unless it has two ends. It also shows the Malcev covering of any compact Kähler manifold has at most one end.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central proof depends on the unproved assertion in §3.4 that canonical type-II coordinates pulled back from the higher Albanese covering are pluriharmonic; without it the exhaustion function need not be plurisubharmonic.","rationale":"The paper is well-motivated and the overall strategy is plausible: reduce virtually nilpotent to torsion-free nilpotent, pass to the higher Albanese manifold A_s, lift the map to the associated covering Mρ, and use canonical coordinates of the second kind to build an exhaustion. The abelian case is correctly recalled, and the reduction steps around finite-index subgroups and torsion quotients are standard. The proof of the main theorem, however, is a sketch at exactly the point where nilpotence enters. The reader's weakest assumption—pluriharmonicity of the f_j—is indeed the most load-bearing gap. If it is false, the exhaustion g is not plurisubharmonic, and the rest of the argument cannot start. If it is true, the remaining degeneracy-locus analysis is analogous to the abelian case, though still sketched. I do not see an internal contradiction or a known counterexample; the assertion is plausible because Hain's construction should make the canonical coordinates real or imaginary parts of holomorphic functions on the complex group H. But the paper does not supply the verification, and the notation collision between the lattice and the quotient D makes it harder to check. A concrete computation in a 2-step nilpotent example would settle the point. For these reasons, the CONDITIONAL verdict is appropriate: accept if the pluriharmonicity derivation can be supplied, otherwise the theorem is unverified. No stronger objection is warranted from the text alone.","tokens_in":118,"tokens_out":30109,"duration_ms":409954,"concrete_test":"Verify the §3.4 pluriharmonicity claim for the simplest non-abelian case: let Γ be a surface group of genus g≥2, take its 2-nilpotent quotient Γ_2, and realize it as a quotient of a compact Kähler surface fundamental group. Compute the higher Albanese covering Mρ and the canonical coordinates t_j using the explicit Malcev basis and Hain's left-invariant complex structure. Check directly that d d^c t_j = 0 on Mρ for each type-II generator, e.g., by writing t_j = Re Z_j for a holomorphic function Z_j on the universal cover H ≅ C^N and confirming Z_j descends to Mρ up to imaginary constants. If any t_j fails, g = Σ f_j^2 is not plurisubharmonic and Theorem 3.1 collapses; if all pass, the missing derivation can be supplied and the proof is likely repairable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.1 reduces to constructing a plurisubharmonic exhaustion g = Σ_{j∈J} f_j^2 on Xρ, where f_j = t_j ∘ f and t_j are the canonical coordinates of the second kind for type-II generators. Section 3.4 justifies pluriharmonicity of the f_j in one sentence: 'the f_j above belongs to the real or imaginary part of a holomorphic function ... and is thus pluriharmonic.' This assertion is load-bearing: if some t_j is not pluriharmonic on Mρ, then g is not plurisubharmonic, and the subsequent Levi-form analysis (Proposition 2.1, Narasimhan, Napier–Ramachandran) cannot be invoked. The justification is not a formal consequence of Hain's construction for arbitrary Malcev coordinates. One must check that the canonical basis of the torsion-free nilpotent quotient D (the paper also uses D for the lattice Γ_s, a notation collision) is adapted to the left-invariant complex structure on the higher Albanese covering, so that each t_j is the real part of a holomorphic function on the universal cover and descends to Mρ. The exhaustiveness step also says the type-I coordinates are bounded 'from the definition of Mρ = G/Θ,' but those coordinates are not well-defined functions on G/Θ; the product decomposition M1 × R^k is needed instead. These are the exact steps that convert the abelian proof into the nilpotent one, and they are omitted.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims two results. Theorem 3.1 states that every infinite virtually nilpotent regular covering of a compact Kähler surface, provided it does not have two ends, is holomorphically convex. The proof reduces to the torsion-free nilpotent case, factors the homomorphism through Hain's s-th higher Albanese manifold A_s, and studies the induced proper map f : X_ρ → M_ρ between coverings. Using Malcev coordinates of the second kind, it defines functions f_j = t_j ∘ f for the type-II generators and sets g = Σ f_j^2. The paper asserts that the f_j are pluriharmonic, that g is exhaustive, and that the remaining degeneracy-locus argument is identical to the abelian case. Theorem 4.2 states that the Malcev covering of any compact Kähler manifold has at most one end; its proof uses the stability of higher Albanese images and Stein-factorization arguments.","tokens_in":8818,"tokens_out":11406,"duration_ms":101502,"significance":"The intended results are natural and, if the proof is completed, would be a meaningful step beyond the known abelian and reductive cases. The use of type-I/type-II generators to isolate the directions in which the nilpotent covering grows is a promising strategy, and the paper correctly identifies that the main novelty lies in intermediate nilpotent coverings rather than in the known Malcev-covering result (Remark 4.3). The paper is transparent about prior work and includes a useful reinterpretation of Napier–Ramachandran via the BNS invariant. However, as written, the proof of Theorem 3.1 is not complete: the pluriharmonicity assertion, the exhaustiveness argument, and the degeneracy-locus analysis are all load-bearing and require additional justification.","major_comments":[{"comment":"The claim that each f_j = t_j ∘ f is pluriharmonic is not established. The text says that 'the f_j above belongs to the real or imaginary part of a holomorphic function ... and is thus pluriharmonic.' This is the only justification, but it is not a formal consequence of Malcev's coordinates of the second kind alone. One must check that the canonical type-II coordinates are compatible with the left-invariant complex structure on the universal covering of the higher Albanese manifold, in the sense that each t_j is locally the real or imaginary part of a holomorphic function on G and that this property descends to the quotient M_ρ = G/Θ. If this compatibility fails for some nilpotent quotient, g is not known to be plurisubharmonic and the Levi-form argument cannot be applied. Please supply a proof or a precise reference for this compatibility.","section":"§3.4"},{"comment":"The exhaustiveness argument contains a gap. The statement that 'the value of t_j with j ∈ K ... is also bounded from the definition of M_ρ = G/Θ' is not justified, because type-I generators are defined by the condition d_j^l ∈ Θ for some l, so the coordinate t_j is not a single-valued function on G/Θ; it is only defined modulo a period. Boundedness in the type-II coordinates therefore does not, by itself, put a point of M_ρ in a compact subset. The argument should use the product decomposition M_ρ ≅ M_1 × R^k stated in §3.3: a bounded set in the type-II coordinates together with the compactness of M_1 yields compactness in M_ρ, and then properness of f gives the required relative compactness of sublevel sets in X_ρ.","section":"§3.4"},{"comment":"The final sentence, 'The rest is the same as the argument in Proposition 2.1,' omits the degeneracy-locus dichotomy that is essential for holomorphic convexity. In the abelian proof, one studies the set where ∂f_1 ∧ ∂f_2 vanishes, and splits into the cases where this set is proper or equal to all of X_ρ. In the nilpotent situation, with an arbitrary number |J| ≥ 2 of type-II coordinates, the paper must define the appropriate degeneracy locus (for example, the set where the (1,0)-forms ∂f_j, j ∈ J, have rank at most one) and verify that the two cases go through: in the proper case, that the hypotheses of Narasimhan's theorem are satisfied, including the Steinness of the noncompact irreducible components of the locus; in the everywhere-degenerate case, that the common kernel of the ∂f_j defines a holomorphic foliation whose leaves lie in the Levi-flat level sets and that the Napier–Ramachandran theorem applies. This is not a formal restatement of the abelian case because the f_j need not be independent coordinates and the structure of the degeneracy locus is more complicated.","section":"§3.4"}],"minor_comments":[{"comment":"The proof of Theorem 3.1 contains the typo 'Asssume' in its first line.","section":"§3.4"},{"comment":"The symbol Γ_s is used for two different objects: the s-th term of the lower central series and the maximal torsion-free nilpotent quotient (Γ/Γ_{s+1})/Tor; Section 4, where Γ'_s is defined by the condition g^n ∈ Γ_s, needs the original lower central series meaning, which is confusing.","section":"§3.1 and §4"},{"comment":"The symbol M is used for both a generic nilmanifold G/D and the higher Albanese manifold A_s; separate symbols would prevent the notational collision noted in the previous comment.","section":"§3.3 and §3.4"},{"comment":"There are several typographical errors: 'modula' in §3.1, 'Malcve' and 'Theroem' in Section 4, and 'Subjectivity' in the proof of Theorem 4.2.","section":"Throughout"},{"comment":"The BNS invariant Σ(Γ) is used without a definition in the statement; the footnote defines S(Γ,N) but not Σ(Γ), so the reader who is not an expert in BNS theory must search elsewhere.","section":"Theorem 2.4"}],"recommendation":"major_revision","confidential_remarks":"The gaps in §3.4 are the kind that can likely be repaired with existing tools: the pluriharmonicity of coordinate functions on higher Albanese coverings is a known type of statement, and the exhaustiveness can be handled via the product structure. But as it stands, the main theorem is not proven, and the author should be asked for a complete argument rather than a one-sentence appeal. I do not see grounds for outright rejection, because the strategy is coherent and the result is plausible; major revision is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline: Theorem A is a genuine extension of the abelian intermediate-covering theorem to virtually nilpotent quotients over compact Kähler surfaces, and it is the right step after the reductive case. The bad news is that the proof of Theorem 3.1, as written, leaves out the part that is actually nilpotent. The sentence \"the rest is the same\" hides the degeneracy-locus analysis, and the one-sentence justification of pluriharmonicity of the f_j in §3.4 is not a formal consequence of Hain's construction. You need to check that the canonical coordinates of the second kind for the torsion-free nilpotent group are adapted to the left-invariant complex structure on the higher Albanese covering, so that each t_j is the real part of a holomorphic function. If that fails, g is not plurisubharmonic and the Levi-form argument collapses. The exhaustiveness step also has a gap: the type-I coordinates are not functions on G/Θ; you need the product decomposition M1 × R^k to get boundedness.\n\nThat said, the paper is not sloppy in a diagnostic sense. It is transparent about what is new (Remark 4.3 explicitly says Theorem A is the only new content), Theorem B is a clean application of stabilization of higher Albanese images and the one-end results for Stein manifolds. The author clearly knows the literature; the citation pattern is normal, and the self-citation to Liu23 is natural.\n\nThe soft spots are exactly the steps that convert the abelian proof into the nilpotent proof. They may well be fillable. The structural outline is standard, and the theorem is plausible. But as the text stands, a referee cannot certify the central argument from what is written. I would send it to peer review, but the referee report should ask for a full derivation of the pluriharmonicity claim and the exhaustiveness argument, plus a written-out version of the degeneracy-locus dichotomy for the nilpotent case.\n\nFor my own work, I would not cite it as a proven theorem until those paragraphs exist. It is a good candidate for a reading group, though, because the gap discussion is instructive.\n\nRecommendation: engage, but require the missing steps.","headline":"Theorem A is new and the right step, but the proof of Theorem 3.1 skips the genuinely nilpotent part; send it to a referee and ask for the missing paragraphs.","tokens_in":9395,"tokens_out":7157,"would_cite":false,"duration_ms":64212,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32Q15","32Q28"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that any infinite virtually nilpotent regular covering of a compact Kähler surface, unless it has two ends, is holomorphically convex.","keywords":["holomorphic convexity","nilpotent covering","Kähler surfaces","higher Albanese manifolds","canonical coordinates","Malcev covering","ends of spaces","plurisubharmonic exhaustion"],"falsifier":"Check the simplest non-abelian nilpotent quotient, the Heisenberg nilmanifold, and compute whether the pullback of the canonical coordinate of a type II generator to the associated covering is the real or imaginary part of a holomorphic function; if any such coordinate is only real-analytic and not pluriharmonic, the exhaustion function would fail to be plurisubharmonic and the theorem's proof would collapse.","tokens_in":8306,"feed_emoji":"📐","tokens_out":7339,"duration_ms":61475,"temperature":0.7,"pith_summary":"This paper establishes that a nilpotent regular covering of a compact Kähler surface is holomorphically convex whenever it is not two-ended. It also proves that the Malcev covering of any compact Kähler manifold has at most one end. These results matter because they extend a Shafarevich-type question about universal coverings to intermediate coverings with nilpotent Galois groups, showing that the only exceptional behavior in this class comes from the two-ended case.","feed_headline":"No two ends: nilpotent coverings are holomorphically convex","feed_subtitle":"A new exhaustion-function argument shows virtual nilpotent Kähler-surface coverings are convex unless two-ended.","key_machinery":"The key object is the system of coordinates of the second kind on a simply connected nilpotent Lie group $G$, where each element is uniquely $x_1(t_1)\\cdots x_r(t_r)$ and the subgroups $G_i$ are normal with $G_i/G_{i+1}\\cong\\mathbb{R}$. In the nilmanifold covering $M_\\rho=G/\\Theta$, a canonical generator is type I if some power lies in $\\Theta$, otherwise type II; the number of type II generators determines the number of ends. These coordinates, composed with the proper map $f:X_\\rho\\to M_\\rho$, are pluriharmonic and form the exhaustion function $g=\\sum_{j\\in J} f_j^2$. The higher Albanese manifold supplies the holomorphic functions whose real or imaginary parts these coordinates are claimed to be.","core_discovery":"The central claim is that the abelian exhaustion argument survives passage to nilpotent quotients. Given a homomorphism onto an infinite torsion-free nilpotent group, the associated covering $X_\\rho$ maps properly to a covering $M_\\rho$ of a nilmanifold, and the canonical coordinates of the nilpotent group's second kind pull back to pluriharmonic functions $f_j$ on $X_\\rho$. The function $g=\\sum_j f_j^2$ is then an exhaustive plurisubharmonic exhaustion. If its Levi form is generically nondegenerate, Narasimhan's theorem gives holomorphic convexity; if the Levi form degenerates everywhere, a structure theorem of Napier and Ramachandran produces a proper holomorphic map to a Riemann surface. Both cases are exactly the ones that worked in the abelian setting, and the condition \"not two ends\" ensures that at least two independent type II coordinates exist.","pith_inferences":["If the one-sentence pluriharmonicity step is correct, the same exhaustion construction is a natural template for higher-dimensional nilpotent coverings wherever the Levi-form degeneracy can be controlled.","The type I / type II generator split connects the ends of a nilpotent covering to abelianized directions that act freely, suggesting a direct bridge between the number of ends and the BNS-invariant.","A concrete test on the simplest non-abelian nilmanifold, the Heisenberg nilmanifold, of whether canonical coordinates pull back to pluriharmonic functions would either vindicate or isolate the proof's load-bearing step."],"forward_implications":["Every infinite virtually nilpotent covering without two ends of a compact Kähler surface is holomorphically convex, so such coverings admit a plurisubharmonic exhaustion and have the associated convexity properties.","Two-endedness is isolated as the only exceptional case for holomorphic convexity in this class, with a BNS-invariant criterion covering many two-ended $\\mathbb{Z}$-coverings.","The Malcev covering of any compact Kähler manifold has at most one end, so Malcev coverings never fall into the two-ended exceptional case.","Combining the two theorems shows that the Malcev covering of any compact Kähler surface is holomorphically convex.","The proof gives a concrete group-theoretic condition for holomorphic convexity: the existence of at least two type II canonical generators in the associated nilmanifold covering."],"supporting_citations":[{"why":"Constructs the higher Albanese manifolds whose universal cover is a complex vector space, replacing the classical Albanese in the nilpotent argument.","marker":"[Hai87]"},{"why":"Provides the canonical coordinates of the second kind and the lattice criterion used to build the exhaustion function.","marker":"[Mal49]"},{"why":"Supplies the abelian-case proof and Narasimhan's theorem that the nilpotent proof adapts.","marker":"[KR98]"},{"why":"Gives the structure theorem converting an everywhere-degenerate Levi form into a proper holomorphic map to a Riemann surface.","marker":"[NR95]"},{"why":"Explains Leroy's holomorphic convexity of Malcev coverings, the model for Theorem B.","marker":"[Cla08]"},{"why":"Defines higher Albanese manifolds and the stability of their image used in the one-end proof.","marker":"[Ler98]"},{"why":"Computes the BNS-invariant of Kähler groups, used in the two-ended criterion.","marker":"[Del10]"},{"why":"Introduces the torsion-free nilpotent completion and the theorem identifying Malcev coverings of Riemann surfaces.","marker":"[Cam95]"}],"fun_headline_variants":["Nilpotent coverings convex unless they have two ends","Nilpotent Kaehler coverings convex if not two-ended","Exhaustion argument shows nilpotent coverings convex","Two ends determine convexity of nilpotent coverings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every canonical coordinate of a type II generator, pulled back to the covering, is pluriharmonic; the proof supplies this in a single sentence and the entire subharmonicity of the exhaustion depends on it.","fun_headline_variants_meta":{"raw":{"variants":["Nilpotent coverings convex unless they have two ends","Nilpotent Kaehler coverings convex if not two-ended","Exhaustion argument shows nilpotent coverings convex","Two ends determine convexity of nilpotent coverings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000516,"raw_usage":{"total_tokens":2415,"prompt_tokens":768,"completion_tokens":1647,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":384,"completion_tokens_details":{"reasoning_tokens":1590}},"tokens_in":384,"tokens_out":1647,"duration_ms":12094,"temperature":1.0,"reasoning_tokens":1590,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:56:56.715283+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the simplest non-abelian nilpotent quotient, the Heisenberg nilmanifold, and compute whether the pullback of the canonical coordinate of a type II generator to the associated covering is the real or imaginary part of a holomorphic function; if any such coordinate is only real-analytic and not pluriharmonic, the exhaustion function would fail to be plurisubharmonic and the theorem's proof would collapse.","supporting_citations":[],"review_version":1}