{"id":"96314c50-7624-4f7d-90fb-5485aa9002c2","arxiv_id":"2506.11174","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Manifolds with non-zero degree maps to nilmanifolds have controlled finite group actions, and a new iterated symmetry invariant forces rational cohomology rigidity over two-step nilmanifolds.","lead":"This paper proves that closed manifolds admitting a non-zero degree map to a nilmanifold have Jordan homeomorphism groups and bounded discrete symmetry, and it introduces a new invariant, the iterated discrete degree of symmetry, to obtain rational cohomology rigidity for two-step nilmanifolds. The results extend earlier torus theorems to a much larger class and give a new tool for studying finite group actions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.9/6.10 is applied to maps that are only semilinear, not R[z;α]-module automorphisms; without an added semilinear hypothesis, Corollary 6.11 and hence Theorem 6.2(2) are not proved as written.","rationale":"The reader identified the non-commutative localization step in Theorem 6.2 as the weakest assumption, and the present stress-test agrees that this is the load-bearing region of the rigidity proof. The concern is sharpened rather than replaced: the questionable input is not primarily whether ZΓ has the localizability properties cited from Lam and Bell, but whether the automorphisms constructed from the extended lattice actions satisfy the hypotheses of Theorem 6.9/6.10. As written, Lemmas 6.7-6.8 supply automorphisms of the underlying abelian group H^*(M~,Z), while the theorem's proof needs module automorphisms, or at least a stated semilinearity condition. The Heisenberg example shows the maps are genuinely semilinear rather than R-linear, so this is not a purely cosmetic omission. The gap is potentially repairable: a β-semilinear version of Theorem 6.9, with β^r=α, would likely cover the application and the rest of the proof could stand. Because the issue is a missing hypothesis in a proof step rather than a demonstrated counterexample to the theorem, the appropriate verdict remains conditional: the paper should supply a correct and explicit version of the descent lemma before the rigidity result is accepted. The reader's verdict was already CONDITIONAL, so no adjustment is needed; the concern reinforces the condition.","tokens_in":44785,"tokens_out":30803,"duration_ms":404359,"concrete_test":"Specialize to the Heisenberg 2-step case and re-run the descent argument of Corollary 6.11 with explicit generators: take Γ = ⟨x,y,z | [x,y]=z, z central⟩ and u=(1/p)y in the enlarged lattice. Write down the action of u on a cohomology class ω and on x·ω in H^*(M~,Z); verify that u(x·ω)=Φ(z^{1/p}) x·(u·ω), so u is not R-linear for R=Z[z^{±1}][x^{±1}]. Then check whether the proof of Theorem 6.9 can be modified to use only the semilinearity relation w(rω)=β(r)w(ω) with β^p=α, in particular whether the quotient maps μ_i and the localization length argument remain valid. If the proof cannot be modified, Corollary 6.11 requires an additional hypothesis; if it can, the missing hypothesis should be stated explicitly in Theorem 6.9.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The rigidity conclusion of Theorem 6.2(2) depends entirely on Corollary 6.11, whose proof invokes Theorem 6.10 to descend finite generation from an iterated skew-Laurent ring to Z. The automorphisms w'_{j,i} used there are produced in Lemmas 6.7-6.8 as the action of a lattice element u=(1/p_i)e'_j in an over-lattice Γ'_i on H^*(M~,Z). They satisfy the group-theoretic relation u^{p_i}=e'_j, but they are not automorphisms of the module over the intermediate skew-Laurent ring R[z^{±1};α]. Concretely, in the Heisenberg-type step, u does not centralize the preceding generator x of R: u x u^{-1} = ζ x with ζ in the central fiber, so u·(x·ω) = Φ(ζ) x·(u·ω), which is not x·(u·ω) unless ζ acts trivially. Thus w is only a β-semilinear map with β^p=α. Theorem 6.9, as stated and as proved, requires an R[z;α]-module automorphism: the proof forms R-submodules X'_i from w-images, which is immediate for R-linear or β-semilinear maps but is not justified for arbitrary automorphisms, and no semilinear version is stated. The cited localization properties of ZΓ (prime, Noetherian, right localizable prime ideals) are standard and are probably not the problem; the unverified step is matching the constructed maps to the theorem's hypotheses. Without this, finite generation of H^*(M~,Z) over Z does not follow, and the cohomological rigidity H^*(M,Z) ≅ H^*(N/Γ,Z) lacks support.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies effective finite group actions on closed oriented manifolds that admit a non-zero degree map to a nilmanifold. In the first part, it proves that the homeomorphism group of such a manifold is Jordan, bounds the discrete degree of symmetry disc-sym(M) by the rank of the center of the lattice, proves almost asymmetry when the Euler characteristic is non-zero, and proves the few-stabilizers property; it also derives consequences for the toral rank and stable Carlsson conjectures. In the second part, the paper introduces free iterated actions of finite groups and an iterated discrete degree of symmetry disc-sym2(M), proves a bound and a sharpness statement for nilmanifolds, and obtains a cohomological rigidity theorem for manifolds admitting non-zero degree maps to 2-step nilmanifolds.","tokens_in":45172,"tokens_out":7932,"duration_ms":93317,"significance":"If the main theorems hold, this is a substantial advance: it removes the toral assumption in Mundet i Riera's rigidity results and replaces it with the broader class of nilmanifolds, and it introduces a new iterated invariant that is fine enough to detect rational cohomology of 2-step nilmanifolds. The exporting/importing map framework is clean and likely reusable. The paper also gives concrete applications to the stable Carlsson conjecture and to new examples with disc-sym(M)=rank Z(Gamma) but different integral cohomology. However, the correctness of the main rigidity theorem depends on a non-commutative localization step whose hypotheses do not, as written, match the maps constructed in the proof; this is a serious gap that needs to be addressed before the central claim can be accepted.","major_comments":[{"comment":"The localization argument that carries Theorem 6.2(2) is not justified as written. The automorphisms w'_{j,i} produced in Lemmas 6.7 and 6.8 are induced by elements of over-lattices Gamma'_i, so they satisfy group relations such as (w'_{j,i})^{p_i} = Phi(e'_j), but they are not automorphisms of the module over the intermediate skew-Laurent ring R[z^{±1};alpha]. In the Heisenberg-type step, an element u with u^{p_i}=e'_j satisfies u x u^{-1} = zeta x for a nontrivial central zeta, so u·(x·omega) = Phi(zeta) x·(u·omega), which is not x·(u·omega) when zeta acts nontrivially. Theorem 6.9 as stated assumes only automorphisms w_j with w_j^{r_j}=z, but its proof forms R-submodules X'_i = X'_{i-1}+w(X'_{i-1}) and localizes them, which requires w to be at least semilinear over R; no such hypothesis appears in the statement or proof. Consequently Corollary 6.11's downward induction does not follow as written, and the cohomological rigidity conclusion of Theorem 6.2(2) lacks support. The author should either state and prove a semilinear version of Theorem 6.9 with the correct hypotheses, or modify the construction of w'_{j,i} so that the module-automorphism hypothesis is verified.","section":"Section 6, Theorem 6.9 and Corollary 6.11"}],"minor_comments":[{"comment":"The invariant l(M) is used in the statement of Lemma 5.11 but is never defined anywhere in the paper; as written, the statement is unreadable. If l(M) is meant to denote a length or rank invariant, it should be defined explicitly and its role in the proof explained.","section":"Lemma 5.11"},{"comment":"Theorem 1.10 is repeatedly referred to as 'definition 1.10' (for example in Sections 3.3 and 3.4), which is confusing because 'definition' is also used for genuinely new definitions; all such cross-references should be corrected.","section":"Throughout"},{"comment":"The text says that Lemmas 6.7 and 6.8 produce automorphisms of H^*(M,Z), but the module under discussion is H^*(\\tilde M,Z); the notation should be made consistent.","section":"Part 5 of the proof of Theorem 6.2"},{"comment":"In the first sentence of the proof, the map F:M->S^1 is defined by 'zeta(x)=...', but zeta is not used subsequently; this appears to be a typo and should be corrected.","section":"Lemma 3.3"},{"comment":"The remark refers to 'Figure 4.1' but the displayed figure is unnumbered and appears later in the text; the reference and figure numbering should be fixed.","section":"Remark 5.8"},{"comment":"The computation of H^1(E,Q) is stated as 'one can compute' without a derivation; since this example is used to show that the integral cohomology can differ from that of the target nilmanifold, a brief justification would help the reader.","section":"Section 3.4, Proposition 3.13"}],"recommendation":"major_revision","confidential_remarks":"The paper is substantial and the overall framework is promising, but the main rigidity theorem currently rests on a localization step whose hypotheses do not match the constructed maps. I would not reject the paper: a semilinear version of Theorem 6.9, or a different construction of the w'_{j,i}, is plausibly within reach. The repeated 'definition 1.10' cross-references and the undefined l(M) suggest a hasty revision, and the author should be asked to fix these as part of the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this paper deserves a serious referee, but the rigidity theorem for the iterated invariant has a specific algebraic gap that needs to be fixed. The first half—exporting maps and the extension of Mundet's torus results to all nilmanifolds—is genuinely good and mostly clean. The new disc-sym2 invariant and the free iterated action formalism are real contributions, and the computation for 2-step nilmanifolds is neat.\n\nThe main soft spot is Corollary 6.11, which carries the weight of Theorem 6.2(2). The author invokes Theorem 6.9/6.10 to descend finite generation from an iterated skew-Laurent ring down to Z. The automorphisms w'_{j,i} come from the action of an over-lattice element u with u^{p_i}=e'_j. But as the stress-test note observes, these maps are not R[z;α]-module automorphisms of the relevant module; they do not commute with the preceding generator, only up to a central element. They are semilinear. Theorem 6.9 as stated and proved assumes genuine module automorphisms, and the localization argument in the proof uses w-images to build submodules, which needs the stronger hypothesis. No semilinear version is stated. So Corollary 6.11 is not proved as written. This may be repairable—the cited localization properties of ZΓ are standard and probably fine—but it is load-bearing, not cosmetic.\n\nMinor issue: l(M) in Lemma 5.11 is never defined, which makes that lemma hard to evaluate.\n\nThe rest of the paper earns its keep. The exporting map concept is well motivated, the composition and transfer of Jordan/disc-sym/stabilizer properties are clean, and the reduction for nilmanifolds via local systems is well argued. The examples—the solvmanifold warning and the 5-dimensional construction with equal disc-sym but different rational cohomology—are informative. Reliance on [DS25] is legitimate: that is published independent work.\n\nWho this is for: people working on finite group actions on manifolds, the Jordan property, and non-zero-degree rigidity. Even if the iterated part needs revision, the exporting map formalism will be cited.\n\nRecommendation: send to peer review. The referee should demand a corrected or explicitly semilinear version of Theorem 6.9 and a definition of l(M). The first half and the new invariant merit publication; the rigidity claim needs repair first.","headline":"A substantial paper with a genuinely new invariant and a solid first half, but the main rigidity theorem has an unproved algebraic step that needs repair before it can be trusted.","tokens_in":45709,"tokens_out":2366,"would_cite":true,"duration_ms":28252,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57S17","54H15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Non-zero degree maps to nilmanifolds force Jordan homeomorphism groups and bound all effective finite group actions.","keywords":["Jordan property","finite group actions","nilmanifolds","discrete degree of symmetry","iterated group actions","iterated discrete degree of symmetry","non-zero degree maps","cohomological rigidity"],"falsifier":"One concrete way to falsify Theorem 1.17 is to exhibit a closed oriented connected manifold $M$ with a non-zero degree map to a 2-step nilmanifold $N/\\Gamma$ such that $\\operatorname{disc-sym}_2(M)=(a,b)=\\operatorname{disc-sym}_2(N/\\Gamma)$ while $H^*(M;\\mathbb{Q})\\not\\cong H^*(N/\\Gamma;\\mathbb{Q})$. A second, more targeted refutation would be a finitely generated module over the skew-Laurent ring of Theorem 6.10 carrying automorphisms $w_j$ with $w_j^{r_j}$ equal to right multiplication by $z$, but not finitely generated over the base ring.","tokens_in":44584,"feed_emoji":"🔁","tokens_out":12083,"duration_ms":123862,"temperature":0.7,"pith_summary":"This paper asks how much symmetry a closed manifold can carry when it maps with non-zero degree onto a nilmanifold, a compact quotient $N/\\Gamma$ of a simply connected nilpotent Lie group. The author proves that for any closed oriented connected $M$ with such a map $f\\colon M\\to N/\\Gamma$, the homeomorphism group $\\operatorname{Homeo}(M)$ is Jordan (every finite subgroup has an abelian subgroup of uniformly bounded index), the discrete degree of symmetry $\\operatorname{disc-sym}(M)$ is at most $\\operatorname{rank}\\mathbb{Z}\\Gamma\\le \\dim M$, and equality forces $H^*(M;\\mathbb{Z})$ to be the cohomology of a torus. When the Euler characteristic is non-zero, $M$ is almost asymmetric, and $M$ has few stabilizers. The paper then introduces a finer invariant, the iterated discrete degree of symmetry $\\operatorname{disc-sym}_2(M)$, and proves that for 2-step nilmanifolds $N/\\Gamma$ (principal torus bundles over tori), $\\operatorname{disc-sym}_2(M)\\le \\operatorname{disc-sym}_2(N/\\Gamma)$, with equality forcing rational cohomology to match the target.","feed_headline":"Homeomorphism groups are Jordan for manifolds mapping to nilmanifolds","feed_subtitle":"Nonzero degree to nilmanifolds bounds finite symmetries; new invariant fixes rational cohomology for 2-step targets.","key_machinery":"The first part is carried by the exporting map: $f\\colon M\\to M'$ exports group actions if every finite group acting effectively on $M$ has a subgroup of index bounded by a constant that inherits an action on $M'$ together with an equivariant representative of $f$. Theorem 3.1 proves that every non-zero degree map to a nilmanifold is exporting, and Theorem 2.12 transfers Jordanity, discrete degree of symmetry, the small-stabilizers property, and almost-asymmetry from the target back to $M$. The second part introduces the free iterated action, a tower of regular coverings whose stages are orbit maps of free finite-group actions, and the iterated discrete degree of symmetry $\\operatorname{disc-sym}_2(M)$, which records the largest pair of abelian $p$-group ranks realizable by a two-stage free iterated action. For the rigidity theorem, the proof pulls back the universal cover $N\\to N/\\Gamma$, makes $H^*(\\widetilde M;\\mathbb{Z})$ a module over the group ring $\\mathbb{Z}\\Gamma$, and uses Theorem 6.10, a non-commutative localization result for skew-Laurent rings, to show that module is finitely generated over $\\mathbb{Z}$; the resulting acyclicity yields the cohomology isomorphism.","core_discovery":"The central claims are Theorem 1.10 and Theorem 1.17. Theorem 1.10 states: if $M$ is a closed oriented connected $n$-manifold and $f\\colon M\\to N/\\Gamma$ is a non-zero degree map to a closed nilmanifold, then $\\operatorname{Homeo}(M)$ is Jordan; $\\operatorname{disc-sym}(M)\\le \\operatorname{rank}\\mathbb{Z}\\Gamma\\le n$; if $\\operatorname{disc-sym}(M)=n$ then $H^*(M;\\mathbb{Z})\\cong H^*(T^n;\\mathbb{Z})$, and if additionally $\\pi_1(M)$ is virtually solvable then $M\\cong T^n$; if $\\chi(M)\\neq 0$ then $M$ is almost asymmetric; and $M$ has few stabilizers. Theorem 1.17 states: when the target is a 2-step nilmanifold that is a principal $T^a$-bundle over $T^b$, one has $\\operatorname{disc-sym}_2(M)\\le (a,b)$, and equality $\\operatorname{disc-sym}_2(M)=(a,b)$ implies $H^*(M;\\mathbb{Q})\\cong H^*(N/\\Gamma;\\mathbb{Q})$.","pith_inferences":["One could expect the exporting-map transfer to work for other finite-group invariants that are monotone under bounded-index subgroups, not only the ones the paper needs for Theorem 1.10.","The invariant $\\operatorname{disc-sym}_2$ is defined only for two-stage iterated actions; extending it to $k$-stage towers would give a ladder of finiteness and rigidity statements, with the $k$-step case presumably tied to higher-step nilmanifolds.","The rigidity half is bottlenecked by the localization input of Theorem 6.10; if that algebraic hypothesis fails for some cocycle-twisted lattice group ring, the natural place to look for a counterexample is among manifolds whose fundamental-group map to the target is not surjective, where only rational cohomology is forced.","Because nilmanifolds are iterated principal circle bundles, $\\operatorname{disc-sym}_2$ can be viewed as a discrete analogue of iterated torus actions; testing it on flat manifolds or mapping tori might reveal whether the second component detects holonomy."],"forward_implications":["For every closed oriented connected manifold admitting a non-zero degree map to a nilmanifold, the four questions about Jordanity, discrete degree of symmetry, almost-asymmetry, and few stabilizers are answered affirmatively within this class.","If $\\operatorname{disc-sym}(M)=n$ and $\\pi_1(M)$ is virtually solvable, then $M$ is homeomorphic to the torus $T^n$.","The toral rank conjecture and the stable Carlsson conjecture pass from a nilmanifold target to any manifold with a non-zero degree map to it, and hence hold for such $M$ whenever the target is a 2-step nilmanifold.","For a 2-step nilmanifold target $N/\\Gamma$, equality in the iterated discrete degree of symmetry forces $H^*(M;\\mathbb{Q})\\cong H^*(N/\\Gamma;\\mathbb{Q})$, and with virtual solvability of $\\pi_1(M)$ it forces $M$ to be homeomorphic to $N/\\Gamma$.","The non-commutative localization theorem used in the proof gives a new algebraic route from iterated automorphisms with growing prime-power orders to finite generation of homology over $\\mathbb{Z}$."],"supporting_citations":[{"why":"Supplies the template exporting-map result for maps to tori, from which the nilmanifold exporting theorem is built by induction.","marker":"[MiR24a, Theorem 4.1]"},{"why":"Gives the Jordan, discrete-degree, small-stabilizer, and almost-asymmetry results for aspherical manifolds, applied directly to the nilmanifold target.","marker":"[DS25, Theorem 1.6, Theorem 1.9]"},{"why":"Provides the localization theory for noncommutative Noetherian rings used in Theorem 6.9 to convert finitely generated skew-Laurent modules into finitely generated base-modules.","marker":"[Bel88]"},{"why":"Supplies the theorem that the lattice group ring $\\mathbb{Z}\\Gamma$ is prime Noetherian with right-localizable prime ideals, a hypothesis of the skew-Laurent localization step.","marker":"[Lam91, (A) Connell's Theorem]"},{"why":"Bounds the rank of elementary abelian $p$-group actions on a fixed closed manifold, giving finiteness of disc-sym and the recursive bounds for iterated actions.","marker":"[MS63]"},{"why":"Describes the structure of finite group actions and centralizers on nilmanifolds, including rank computations for $\\mathbb{Z}\\Gamma$ and the invariance of rank after abelian free actions.","marker":"[LR10]"},{"why":"Proves that outer automorphism groups of polycyclic groups are Minkowski, used to bound indices of subgroups acting trivially on local systems.","marker":"[Weh94]"}],"fun_headline_variants":["Homeo groups Jordan for manifolds with nonzero degree to nilmanifolds","Finite symmetries of manifolds over nilmanifolds are tightly bounded","Iterated symmetry degree detects rational cohomology of 2-step nilmanifolds","New invariant bounds finite symmetries and fixes rational cohomology"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is algebraic: certain group rings attached to lattices in nilpotent Lie groups, and the cocycle-twisted skew-Laurent extensions built from them, must be prime Noetherian rings with every prime ideal right-localizable, because that is what allows the proof to conclude the pulled-back universal cover has finitely generated homology.","fun_headline_variants_meta":{"raw":{"variants":["Homeo groups Jordan for manifolds with nonzero degree to nilmanifolds","Finite symmetries of manifolds over nilmanifolds are tightly bounded","Iterated symmetry degree detects rational cohomology of 2-step nilmanifolds","New invariant bounds finite symmetries and fixes rational cohomology"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000555,"raw_usage":{"total_tokens":2648,"prompt_tokens":954,"completion_tokens":1694,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":570,"completion_tokens_details":{"reasoning_tokens":1612}},"tokens_in":570,"tokens_out":1694,"duration_ms":15635,"temperature":1.0,"reasoning_tokens":1612,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:25:06.620234+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete way to falsify Theorem 1.17 is to exhibit a closed oriented connected manifold $M$ with a non-zero degree map to a 2-step nilmanifold $N/\\Gamma$ such that $\\operatorname{disc-sym}_2(M)=(a,b)=\\operatorname{disc-sym}_2(N/\\Gamma)$ while $H^*(M;\\mathbb{Q})\\not\\cong H^*(N/\\Gamma;\\mathbb{Q})$. A second, more targeted refutation would be a finitely generated module over the skew-Laurent ring of Theorem 6.10 carrying automorphisms $w_j$ with $w_j^{r_j}$ equal to right multiplication by $z$, but not finitely generated over the base ring.","supporting_citations":[],"review_version":1}