{"id":"e681520e-6e07-4ced-8ead-1e1535afaeec","arxiv_id":"1908.01557","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A k-symmetric shift-invariant subspace corresponds exactly to a filtration of invariant subspaces, yielding new general forms for extended solutions and a method to reverse the known construction of harmonic maps from primitive harmonic maps.","lead":"This mathematics paper classifies shift-invariant subspaces of Hilbert space that respect a discrete symmetry, and shows how they encode harmonic maps into symmetric spaces. It gives new formulas for such 'extended solutions' and shows how to reverse a well-known construction, producing primitive harmonic maps from certain maps into the unitary group.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"Reader's verdict ACCEPT is appropriate. The weakest assumption identified by the reader (full-range / representation of V_{k-1}) is real but not load-bearing: the paper explicitly restricts to W=ΦH+ throughout Section 4, and this hypothesis is automatically satisfied for extended solutions from the Iwasawa decomposition. The full-range property is immediate for W=ΦH+ because multiplication by Φ commutes with the shift, so the singular inner factor obstruction cannot arise in the theorem's scope. I checked the proof of Theorem 4.2 and found the calculations coherent, with no hidden assumptions or circular steps. The only minor caveat is that Proposition 3.1 is stated for arbitrary k-symmetric W, but part (iii) clearly flags the W=ΦH+ hypothesis, so there is no overclaim. Verdict unchanged.","tokens_in":18397,"tokens_out":18328,"duration_ms":153512,"concrete_test":"Run an independent check of Theorem 4.2 in the simplest non-trivial case: set k=2, Ψ=I, and take any holomorphic subbundle α0 of the trivial bundle C^n with Im A⊆α0⊆ker A (for example, for a full holomorphic map into CP^{n-1}, α0=G^{(1)}(ψ)). Form W=α0+λH+ and verify directly from the extended-solution equations (2.4) that S∂_z W⊆W and ∂_{\\bar z}W⊆W hold. This tests the claimed 'if' direction without relying on the filtration machinery.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After a full pass, I find no load-bearing gap in the central claim. The reader's concern targets Proposition 3.1(iii), where V_{k-1}=ΨH+ requires V_{k-1} to be full-range and not invariant under S^{-1}. But that representation is used only under the standing assumption W=ΦH+ with Φ U(n)-valued, which holds for every extended solution by the Iwasawa decomposition (Section 2). For W=ΦH+, full-range is automatic since S^{-n}W=Φλ^{-n}H+ and the span is ΦL^2=L^2; S^{-1}-invariance is impossible for such W. Hence a singular inner factor cannot occur in the intended class, and Theorem 4.2 (which is restricted to extended solutions) is not threatened. I also checked the key equivalence in Theorem 4.2: Im A^ψ_z⊆α0 is exactly λ∂_z V_{k-1}⊆V_0; given that, ∂_z V_j⊆V_{j+1} (j<k-2) forces and is forced by α_j⊆ker A and ∂_z α_j⊆α_{j+1}; and S∂_z V_j⊆V_j follows from α_j⊆ker A. Condition (iii) is exactly ∂_{\\bar z}V_j⊆V_j. The proof is internally consistent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper characterizes k-symmetric shift-invariant subspaces of L^2(S^1, C^n) that arise from extended solutions, and applies this to harmonic maps. Proposition 3.1 and Proposition 3.2 give a filtration description V_0 ⊆ ... ⊆ V_{k-1} with S V_{k-1} ⊆ V_0. The central result, Theorem 4.2, states that every k-symmetric extended solution W has the form W = Ψ(λ^k, ·)(α_0 + λα_1 + ... + λ^{k-2}α_{k-2} + λ^{k-1}H_+) with explicit conditions on smooth subbundles α_j: (i) ∂_z α_j ⊆ α_{j+1}, (ii) α_{k-2} ⊆ ker A^ψ_z and Im A^ψ_z ⊆ α_0, and (iii) D^ψ_ż-closedness. The paper then derives consequences for primitive harmonic maps into k-symmetric spaces (Theorem 5.1), gives a loop-group reinterpretation (Section 6), and reformulates the construction in terms of Dorfmeister–Pedit–Wu holomorphic potentials (Theorem 7.1), with worked examples including Clifford solutions.","tokens_in":18636,"tokens_out":60826,"duration_ms":486128,"significance":"If correct, the paper provides a complete and explicit parameterization of k-symmetric extended solutions, a structural result that goes beyond earlier work in [1]. The conditions in Theorem 4.2 are concrete and checkable, and they make the connection to primitive harmonic maps into k-symmetric spaces and to the DPW potential method precise. The paper also clarifies how to reverse a known construction of harmonic maps into U(n) from primitive harmonic maps, giving new primitive maps from certain unitary-group maps. The proofs are competent and the examples (notably Example 7.3) confirm the formulas in a nontrivial setting. These results will be of interest to researchers in harmonic maps, loop groups, and shift-invariant subspaces.","major_comments":[],"minor_comments":[{"comment":"The step in the proof of Proposition 3.1(iii) where failure of (3.9) is claimed to yield a nonzero g with pointwise orthogonality ⟨h(λ), g(λ)⟩ = 0 a.e. for all h ∈ V_{k-1} is not immediate from the definition of full-range; a sentence explaining this via the structure theorem for shift-invariant subspaces in [11] (or a direct argument) would make the proof easier to verify.","section":"Section 3, Proposition 3.1(iii)"},{"comment":"The subbundles γ_j appearing in the product formula (4.13) are never defined; the authors should state explicitly how γ_j relates to α_j (for example, γ_j = α_j ∩ α_{j-1}^⊥), since the displayed product is otherwise ambiguous.","section":"Section 4, Eq. (4.13)"},{"comment":"The proof of the equivalence in Proposition 4.1 is very compressed: after reducing to conditions on the W_j, the statement that this is 'clearly' equivalent to (ii) hides the verification that each V_j is an extended solution, not merely that ∂_z V_j ⊆ V_{j+1} and ∂_z̄ V_j ⊆ V_j. Adding a few lines would improve readability.","section":"Section 4, proof of Proposition 4.1"},{"comment":"In the proof of Theorem 4.2, the verification of S∂_z V_j ⊆ V_j for 0 ≤ j ≤ k−2 (which follows from α_j ⊆ ker A^ψ_z) is only implicit; stating this explicitly would make the proof self-contained.","section":"Section 4, proof of Theorem 4.2"}],"recommendation":"minor_revision","confidential_remarks":"The paper relies on the authors' earlier preprint [1] for several foundational facts about the Grassmannian model. The editor may wish to confirm that [1] is publicly available or has been accepted for publication. No other concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a solid continuation of the authors' shift-invariant subspace program. Its main new result — a complete parameterization of k-symmetric extended solutions — holds up under scrutiny.\n\nWhat is genuinely new: the filtration description of k-symmetric subspaces (Propositions 3.1, 3.2), the general form in Theorem 4.2 of any k-symmetric extended solution as W = Ψ(λ^k)(α0 + λ α1 + ... + λ^{k-2} α_{k-2} + λ^{k-1} H+) with the three concrete conditions on the α_j, the correspondence with primitive harmonic maps into k-symmetric spaces (Theorem 5.1), and the holomorphic-potential description (Theorem 7.1). The reversal of the standard Guest construction, spelled out in Remark 6.3, is a nice payoff. These are not repackaged older results.\n\nWhat the paper does well: statements are precise, proofs use standard loop-group and DPW technology, and the examples (Clifford solutions, CP^3) verify the formulas. I did not find an internal contradiction or a missing load-bearing step. The paper leans on the authors' own [1] for the shift-invariant subspace framework; that is normal, and [1] is publicly available.\n\nSoft spots, in proportion: some passages are terse — 'a direct calculation shows' in Theorem 4.2, 'clearly reversible' in Proposition 3.3 — but the reader can fill these in without much trouble. The one substantive worry one might raise is the classical invariant-subspace representation V_{k-1} = ΨH+ used in Proposition 3.1(iii), which requires full-range and no S^{-1}-invariance. That concern does not actually land, because the paper only applies this to W = ΦH+ with Φ U(n)-valued (true for every extended solution by Iwasawa), and for such W the required properties are automatic. So no singular inner factor can arise in the intended class. The restriction to extended solutions is explicit and appropriate.\n\nBottom line: the paper is not trying to be a revolution; it is a careful structural result for a well-defined class, and it delivers what it promises. It deserves a serious referee, and I would expect acceptance after the usual minor tinkering with the terse calculations. I would cite it if I were working on loop-group models of harmonic maps.","headline":"A careful, specialized structural result on k-symmetric shift-invariant subspaces; the main theorem is correct and the paper deserves serious peer review.","tokens_in":19180,"tokens_out":2511,"would_cite":true,"duration_ms":25401,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58E20","47B32","30H15","53C43"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every k-symmetric harmonic map is described by nested bundles and one base extended solution.","keywords":["harmonic maps","shift-invariant subspaces","extended solutions","symmetric spaces","primitive harmonic maps","Hardy space","loop groups","holomorphic potentials"],"falsifier":"Take a k-symmetric shift-invariant subspace $W$ whose top filtration space $V_{k-1}$ is not full-range, for instance $W=mH_+$ for a singular inner function $m$ and $k=2$, and check whether the spectral decomposition still produces spaces $V_0,V_1$ with $SV_1\\subseteq V_0$ and $V_1=\\Psi H_+$ for unitary-valued $\\Psi$. The proof of Proposition 3.1 predicts that the full-range contradiction at (3.9) should fail exactly when $W$ is not $\\Phi H_+$; finding such a $W$ that nonetheless admits the filtration would refute the claimed one-to-one correspondence.","tokens_in":18203,"feed_emoji":"🌀","tokens_out":8851,"duration_ms":72800,"temperature":0.7,"pith_summary":"This paper establishes a complete parameterization of k-symmetric shift-invariant subspaces of the Hardy space $L^2(S^1,\\mathbb{C}^n)$ and of the associated extended solutions, which encode harmonic maps from Riemann surfaces into unitary groups and symmetric spaces. The main theorem shows that every such subspace is built from a single extended solution $\\Psi$ and a nested chain of smooth subbundles $\\alpha_0\\subseteq\\cdots\\subseteq\\alpha_{k-2}$ satisfying explicit first-order conditions. This yields a one-to-one correspondence between k-symmetric extended solutions and primitive harmonic maps into k-symmetric flag manifolds, including a reversal of a known construction that produces group-valued harmonic maps from primitive ones. The paper also gives a holomorphic-potential version of the correspondence, so finite-type and finite-uniton properties transfer between the two descriptions.","feed_headline":"Every k-symmetric harmonic map fits one explicit formula","feed_subtitle":"New theorem links these maps to primitive maps into flag manifolds, reversing a known construction.","key_machinery":"The load-bearing object is the filtration $V_0\\subseteq V_1\\subseteq\\cdots\\subseteq V_{k-1}$ of shift-invariant subspaces obtained from the spectral decomposition of $W$ under the unitary rotation $\\hat\\omega f(\\lambda)=f(\\omega\\lambda)$: each eigenspace $W_j$ is $S^j\\{g(\\lambda)=f(\\lambda^k):f\\in V_j\\}$, and shift-invariance forces $SV_{k-1}\\subseteq V_0$. Under the full-range assumption $W=\\Phi H_+$ with $\\Phi$ unitary-valued, the top space $V_{k-1}$ is $\\Psi H_+$ and the intermediate spaces are $\\Psi(\\alpha_j+\\lambda H_+)$; Theorem 4.2 then converts the extended-solution equations into the three concrete conditions on the bundles $\\alpha_j$. The same machinery transfers, via the Iwasawa decomposition of loop groups, to a holomorphic-potential description in which each $V_j$ is written as $\\gamma_j g_{\\bar\\mu_j}H_+$ for a $\\tau$-twisted potential $\\mu$.","core_discovery":"The central discovery is Theorem 4.2: after decomposing a k-symmetric subspace $W=\\Phi H_+$ according to the eigenspaces of the rotation $f(\\lambda)\\mapsto f(\\omega\\lambda)$, the whole subspace is equivalent to data $(\\Psi,\\alpha_0,\\ldots,\\alpha_{k-2})$ in which $\\Psi$ is an extended solution with base map $\\psi=\\Psi(-1,\\cdot)$ and the $\\alpha_j$ are smooth subbundles of $\\mathbb{C}^n$ satisfying (i) $\\partial_z\\alpha_j\\subseteq\\alpha_{j+1}$ for $0\\le j<k-2$, (ii) $\\alpha_{k-2}\\subseteq\\ker A^\\psi_z$ and $\\operatorname{Im} A^\\psi_z\\subseteq\\alpha_0$, and (iii) each $\\alpha_j$ is closed under $D^\\psi_{\\bar z}$. The form is $$W=\\Psi(\\$\\lambda$^k,\\cdot)(\\alpha_0+\\$\\lambda$\\alpha_1+\\cdots+\\$lambda^{{k-2}}$\\alpha_{k-2}+\\$lambda^{{k-1}}$H_+).$$ Conversely, any such data produce a k-symmetric extended solution. The same filtration description gives a bijection between k-symmetric extended solutions and $\\lambda$-cyclic superhorizontal sequences, and Theorem 5.1 interprets the resulting maps at roots of unity as primitive harmonic maps into flag manifolds, with Theorem 7.1 translating the whole picture into holomorphic potentials.","pith_inferences":["The parameterization suggests a construction recipe: choose any extended solution $\\Psi$ and any nested chain of bundles satisfying the three conditions, then solve the first-order flow on the $\\alpha_j$ to generate new k-symmetric harmonic maps.","Because the conditions are purely first-order in the bundles, the classification may extend to k-symmetric extended solutions with weaker regularity than smoothness, provided the full-range hypothesis holds.","The reversal in Theorem 5.1 gives a practical way to detect primitive harmonic maps hidden inside group-valued harmonic maps: evaluate the extended solution at roots of unity and read off the flag-map components from the spectral projections.","The finite-type/finite-uniton equivalence in Corollary 7.2 suggests that classification results for harmonic tori in symmetric spaces, which often split into finite-type and finite-uniton cases, could be reproved from the filtration side."],"forward_implications":["Every k-symmetric extended solution, hence every associated harmonic map into the unitary group with that symmetry, is determined by a single base extended solution and a finite chain of subbundles; no further data are needed.","The known construction that sends primitive harmonic maps into $U(n)$ via the loop-group isomorphism is reversed: starting from a k-symmetric group-valued harmonic map one obtains a primitive harmonic map into a k-symmetric flag manifold.","If the base map $\\psi$ has finite uniton number, so does the k-symmetric map $\\phi=\\Phi(-1,\\cdot)$, and conversely (Proposition 4.9).","In the holomorphic-potential formulation, a k-symmetric extended solution has constant potential or finite type exactly when each member $V_j$ of its filtration does (Corollary 7.2).","For k=2 the conditions reduce to a single subbundle $\\alpha_0$ with $\\operatorname{Im}A^\\psi_z\\subseteq\\alpha_0\\subseteq\\ker A^\\psi_z$ closed under $D^\\psi_{\\bar z}$, giving the symmetric-space case as a special instance."],"supporting_citations":[{"why":"Supplies the invariant-subspace representation $V_{k-1}=\\Psi H_+$ with $\\Psi$ unitary-valued, on which the filtration and Theorem 4.2 rest.","marker":"[11]"},{"why":"Introduces extended solutions and the associated harmonic maps into $U(n)$ that the paper parameterizes.","marker":"[19]"},{"why":"Establishes the Grassmannian model $W=\\Phi H_+$ and the equations $S\\partial_z W\\subseteq W$, $\\partial_{\\bar z}W\\subseteq W$ for extended solutions.","marker":"[17]"},{"why":"Provides the Iwasawa decomposition of loop groups used to pass from a unitary-valued $\\Phi$ to an extended solution and to the holomorphic-potential formulation.","marker":"[16]"},{"why":"Gives the holomorphic-potential method that Theorem 7.1 adapts to the symmetric setting.","marker":"[8]"},{"why":"Records the known construction of group-valued harmonic maps from primitive harmonic maps that Remark 6.3 reverses.","marker":"[10]"},{"why":"Defines primitive harmonic maps into k-symmetric spaces and the extended-framing description used in Section 5.","marker":"[4]"}],"fun_headline_variants":["One formula fits all k-symmetric harmonic maps","Explicit form for every k-symmetric extended solution","k-symmetric maps tied to primitive flag manifold maps","Bijection for k-symmetric subspaces and superhorizontal sequences","Unified explicit formula for symmetric shift-invariant subspaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole filtration description assumes that the k-symmetric subspace has the form $W=\\Phi H_+$ with $\\Phi$ unitary-valued, which excludes subspaces with singular inner factors; if that representation fails, Proposition 3.1 and the main theorem need not hold.","fun_headline_variants_meta":{"raw":{"variants":["One formula fits all k-symmetric harmonic maps","Explicit form for every k-symmetric extended solution","k-symmetric maps tied to primitive flag manifold maps","Bijection for k-symmetric subspaces and superhorizontal sequences","Unified explicit formula for symmetric shift-invariant subspaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000706,"raw_usage":{"total_tokens":3158,"prompt_tokens":894,"completion_tokens":2264,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":2200}},"tokens_in":510,"tokens_out":2264,"duration_ms":14909,"temperature":1.0,"reasoning_tokens":2200,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:10:11.321799+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a k-symmetric shift-invariant subspace $W$ whose top filtration space $V_{k-1}$ is not full-range, for instance $W=mH_+$ for a singular inner function $m$ and $k=2$, and check whether the spectral decomposition still produces spaces $V_0,V_1$ with $SV_1\\subseteq V_0$ and $V_1=\\Psi H_+$ for unitary-valued $\\Psi$. The proof of Proposition 3.1 predicts that the full-range contradiction at (3.9) should fail exactly when $W$ is not $\\Phi H_+$; finding such a $W$ that nonetheless admits the filtration would refute the claimed one-to-one correspondence.","supporting_citations":[{"cited_title":"Helson, Lectures on invariant subspaces","cited_arxiv_id":null,"evidence_quote":"Supplies the invariant-subspace representation $V_{k-1}=\\Psi H_+$ with $\\Psi$ unitary-valued, on which the filtration and Theorem 4.2 rest."},{"cited_title":"Uhlenbeck, Harmonic maps into Lie groups: classical solutions of the ch iral model, J","cited_arxiv_id":null,"evidence_quote":"Introduces extended solutions and the associated harmonic maps into $U(n)$ that the paper parameterizes."},{"cited_title":"Segal, Loop groups and harmonic maps , Advances in homotopy theory (Cortona, 1988), 153–164, London Math","cited_arxiv_id":null,"evidence_quote":"Establishes the Grassmannian model $W=\\Phi H_+$ and the equations $S\\partial_z W\\subseteq W$, $\\partial_{\\bar z}W\\subseteq W$ for extended solutions."},{"cited_title":"Pressley and G","cited_arxiv_id":null,"evidence_quote":"Provides the Iwasawa decomposition of loop groups used to pass from a unitary-valued $\\Phi$ to an extended solution and to the holomorphic-potential formulation."},{"cited_title":"Dorfmeister, F","cited_arxiv_id":null,"evidence_quote":"Gives the holomorphic-potential method that Theorem 7.1 adapts to the symmetric setting."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Records the known construction of group-valued harmonic maps from primitive harmonic maps that Remark 6.3 reverses."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines primitive harmonic maps into k-symmetric spaces and the extended-framing description used in Section 5."}],"review_version":1}