{"id":"be4be158-cbe8-4066-b19d-01c9c11dbe0d","arxiv_id":"2506.08166","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A unitary scattering matrix for harmonic one-forms on Riemann surfaces is constructed from Schiffer operators, and its associated polarizations unify the classical and universal Teichmüller period maps.","lead":"This mathematics paper builds a scattering theory for harmonic one-forms on Riemann surfaces, showing that the scattering matrix built from Schiffer integral operators is unitary. It also defines a generalized period map that unifies the classical period matrix of compact surfaces with the infinite-dimensional period map of universal Teichmüller space.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Both headline results (unitarity of the scattering matrix and \\|Υ\\|<1) are imported from companion Part I [21] rather than proved here; an error in any cited [21] identity would invalidate Theorem 3.24 and Theorem 4.3.","rationale":"I read Part II as a computational application of Part I: the paper states its assumptions and dependencies honestly, and the finite derivations it does contain are coherent. The reader's weakest-assumption diagnosis is exactly right: the decisive identities for unitarity (adjoint relations and kernel/image/cohomology characterizations for Schiffer operators) are cited, not proved. That is the single most load-bearing point because Theorem 3.24's block matrix is only shown to satisfy the scattering equation; its unitarity is asserted by reference to [21, Theorems 3.21, 3.23, 3.24]. Theorem 4.3's strict contraction bound similarly depends on Θ being an isomorphism, with surjectivity taken from [21, Corollary 4.18]. If any one of those external results is false, the paper's main conclusions do not follow. I did not find evidence that they are false, and the internal algebra in the proofs I could check is consistent apart from a harmless index typo. The appropriate remedy is not to reject or reclassify, but to regard the paper as conditional on Part I, which is exactly the reader's verdict. A concrete model computation on a torus would settle whether the cited identities hold and would convert the conditional verdict into an unconditional one.","tokens_in":33787,"tokens_out":23948,"duration_ms":280116,"concrete_test":"Recompute, on the smallest nontrivial model, all cited Part I identities used in Theorem 3.24 and Theorem 4.3: take R a rectangular torus C/Λ, Γ one separating circle bounding a disk (so Σ2 is a one-holed torus), write T11,T21,T12,T22,S1,S2,R1,R2 explicitly via elliptic functions, and check (i) S2R2+S1R1=I on A(R); (ii) the two identities of [21, Thm 3.23]; (iii) the two lines of [21, Thm 3.24]; (iv) the resulting 3x3 block matrix M satisfies M M*=I and the identity \\|Υv\\|²=\\|v\\|²-\\|Θv\\|² for v=(γ,τ). If any of (i)-(iv) fails, Theorem 3.24 and Theorem 4.3 fail.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.24's proof establishes only the block-matrix equation; the sentence 'This matrix is unitary. Unitarity follows from [21, Theorems 3.21, 3.23, 3.24]' is the entire unitarity argument. Likewise, Theorem 4.3's uniform constant c>0 is obtained from the assertion that Θ is an isomorphism, whose surjectivity is [21, Corollary 4.18] and whose left-inverse computation uses [21, Theorems 4.1/4.7 and Proposition 4.10]. The uniqueness in Corollary 3.21 and the bridgeworthy-form characterizations use [21, Proposition 3.37]. None of these items is re-derived in this paper. Thus the central claim 'scattering is information-preserving and the generalized period map has norm <1' is exactly a conjunction of Part I identities. I found no internal contradiction in the finite computations displayed here; the 'T2,2α1' in the proof of Theorem 3.24 is a typo for T2,2α2. But the load-bearing part of the argument is external: a single sign error or missing term in one of the cited adjoint/cohomology identities would propagate directly into the first and second rows of the scattering matrix and into the norm computation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This is the second part of a two-paper project on conformally invariant scattering of L2 harmonic one-forms on a compact Riemann surface R cut into two pieces Σ1 and Σ2 by a complex of quasicircles. The paper defines an overfare process for one-forms with cohomological data specified by a catalyzing form, introduces compatible triples, and derives an explicit block-matrix scattering matrix whose entries are Schiffer operators. It then states and proves that this matrix is unitary, and applies the machinery to construct a generalized period map whose graph gives a positive polarization in an infinite Siegel disk, with operator norm strictly less than one. The paper also derives a generalized Grunsky inequality and a well-posedness criterion for a holomorphic boundary value problem. The proofs of the main structural identities are explicitly delegated to the companion paper [21].","tokens_in":33957,"tokens_out":14702,"duration_ms":151934,"significance":"If the results are correct, the paper provides a genuinely unifying framework: it treats the classical polarization of a compact Riemann surface and the infinite-dimensional period map of universal Teichmüller space as special cases of a single construction based on boundary values of harmonic one-forms. The explicit form of the scattering matrix in terms of Schiffer operators is a clean and publishable contribution, and the conformal invariance of the construction is a definite strength. The paper contains no fitted parameters or ad hoc numerical inputs; the structure is entirely operator-theoretic. The main caveat is the extremely heavy reliance on the companion paper [21] for all workhorse identities: unitarity, surjectivity of Θ, the Schiffer-operator adjoint relations, and the kernel/image characterizations are all imported. This is appropriate for a declared Part II, but it means the present paper cannot be verified independently of [21].","major_comments":[{"comment":"The unitarity of the scattering matrix is a headline claim, but its proof is entirely external: the sentence 'This matrix is unitary. Unitarity follows from [21, Theorems 3.21, 3.23, 3.24]' is the whole argument. The displayed verification in the proof only checks the third row and one of the first two rows, and the second-row computation contains a variable typo: 'T2,2α1' should read 'T2,2α2', since it is obtained by applying T2,2 to the first equation of (3.11). Because a single sign error in one of the cited identities of [21] would propagate directly into the second row and into the norm computation in Theorem 4.3, the paper should either expand the nine block identities and show how each follows from the cited results, or include an appendix with the verification. As written, a reader of this paper alone cannot check the central unitary claim.","section":"Section 3.5, Theorem 3.24"},{"comment":"The displayed equality 'γ = PΣ1(δ−R1S1τ) = PΣ1δ' is not valid in general. Since PΣ1 is the identity on A(Σ1), applying it to both sides of δ−R1S1τ = (I−T1,1)γ gives PΣ1(δ−R1S1τ) = δ−R1S1τ, and this is not γ unless T1,1γ = 0. The subsequent estimate ∥γ∥ ≲ ∥δ∥ therefore does not follow from the preceding line. The continuous-dependence claim of Theorem 4.7 may be salvageable by proving separately that I−T1,1 has a bounded inverse on A(Σ1), but the proof as written contains a genuine false equality and needs repair.","section":"Section 4.5, Theorem 4.7 proof, Eq. (4.18)"}],"minor_comments":[{"comment":"In part (1), the sentence 'there are γ2, ρ2 ∈ A(Σ1)' is inconsistent with the formula α1 = T2,1γ2 + R1S2τ2, since T2,1 acts on A(Σ2); it should read γ2, ρ2 ∈ A(Σ2).","section":"Lemma 3.19(1)"},{"comment":"In part (2), the clause 'µ1, τ1 ∈ [R1A(R)]⊥' appears to be a typo for 'µ1, ν1 ∈ [R1A(R)]⊥'; also equation (3.8) writes 'S1ν1 + S1τ1 = ζ', but the lemma's data contain ξ, η and no ζ, so this should presumably be '= ξ'.","section":"Lemma 3.19(2)"},{"comment":"Besides the T2,2α1 typo, the second-row computation elides the cancellation of the term −γ2 with the identity for T2,2T2,2γ2; please display the intermediate step so the reader can verify the use of [21, Theorem 3.23].","section":"Proof of Theorem 3.24"},{"comment":"The sentence 'We will sue the abbreviated notation' contains the typo 'sue'; it should be 'use'.","section":"Section 2.8"},{"comment":"The statement 'there is a c < 1' after invoking the isomorphism Θ is slightly imprecise: an isomorphism gives a lower bound c0 > 0, and one then chooses c = min(c0, 1/2) to ensure c < 1; please phrase it this way.","section":"Theorem 4.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is a companion to [21], and all of the heavy lifting is cited rather than proved. This is acceptable for an announced Part II, but the editor may wish to confirm that [21] has been fully accepted and that the two papers will appear close together in time. The false equality in Theorem 4.7 is a genuine local error, and the unitarity proof is so compressed that the typo in the second row prevents independent verification; these issues justify a major revision even though the central construction appears sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know before you read it. The headline results are new: an explicit three-by-three scattering matrix in Schiffer operators that is unitary (Theorems 3.24–3.25), and a generalized period map whose graph gives a positive polarization with operator norm strictly inside the Siegel disk (Theorems 4.2–4.3). The catch is that both claims are proved by direct appeal to the authors' companion Part I [21]; the paper says so, and the referee cannot check them from this text alone.\n\nWhat is good. The paper is a clean, honest continuation of a program. The decomposition lemmas (3.18–3.20) are intricate but well-organized, and the compatibility-with-catalyzing-form setup justifies the scattering interpretation. Where the paper does compute, it checks out; I found only a minor typo in the proof of Theorem 3.24 (\"T2,2α1\" for \"T2,2α2\"). The generalized period map does unify the classical period matrix and the KYNS period map at the level of linear algebra, and the Grunsky inequalities come out as a special case. The literature is credited properly, including Shirazi and Radnell–Schippers–Staubach.\n\nSoft spots, in proportion. The main one is dependence on Part I. If any of the cited theorems (3.21, 3.23, 3.24, 4.1, 4.7, 4.12, 4.16) has a sign error or a missing condition, both headline results fail. That is not a flaw in this paper per se, but it makes the review inherently conditional. The abstract's \"unifies\" language is stronger than what is proved: holomorphicity of the period map is explicitly deferred, so the unification is structural rather than analytic. The assumption that Σ2 is connected is load-bearing and is stated clearly. Nothing else internal looks wrong.\n\nWho this is for: specialists in Teichmüller theory, conformal mapping, and boundary value problems. The paper deserves serious refereeing. Send it to review, but choose a referee who can also read Part I. If Part I holds up, this is a substantial contribution.","headline":"Solid second part of a program whose headline results are genuinely new but imported from Part I; review conditionally with access to the companion.","tokens_in":34626,"tokens_out":3305,"would_cite":true,"duration_ms":37523,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14F40","30F15","30F30","35P99","51M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that the scattering of $L^2$ harmonic one-forms across a complex of quasicircles on a compact Riemann surface is governed by an explicit unitary matrix of Schiffer operators, and that the induced generalized period…","keywords":["scattering theory","harmonic one-forms","Riemann surfaces","quasicircles","Schiffer operators","period mappings","Grunsky inequalities","polarizations"],"falsifier":"On a genus-one surface, cut a torus into a punctured torus and a disk by one quasicircle, take explicit basis forms, and compute the $3\\times 3$ block matrix numerically from the Schiffer kernels; if the computed matrix deviates from unitarity beyond quadrature error, Theorem 3.24 is false. Alternatively, compute the norm of $\\Upsilon$ for a two-cap surface and check whether it reaches $1$, which would contradict Theorem 4.3's uniform gap below one.","tokens_in":33451,"feed_emoji":"🔀","tokens_out":9328,"duration_ms":97081,"temperature":0.7,"pith_summary":"This paper sets out to prove that harmonic one-forms on a Riemann surface scatter across a separating network of quasicircles without loss of information: the matrix relating the holomorphic and anti-holomorphic parts of the forms, together with the cohomological data, is unitary and is given explicitly by integral operators called Schiffer operators. If correct, the same machinery gives a generalized period map for bordered surfaces that is an isomorphism with norm strictly less than one, so its graph is a positive polarization in an infinite Siegel disk. That unifies the classical period matrix of compact algebraic curves with the infinite-dimensional period map of the universal Teichmüller space, and recovers Grunsky-type inequalities with cohomological corrections. The argument depends on adjoint, cohomology, and kernel/image identities for Schiffer operators proved in the companion Part I, and assumes the target piece $\\Sigma_2$ is connected.","feed_headline":"Scattering of harmonic one-forms is unitary","feed_subtitle":"Schiffer operators make the scattering matrix explicit and unify period maps with Teichmüller space.","key_machinery":"The workhorse is the family of Schiffer comparison operators, $T_{\\Sigma_j,\\Sigma_k}\\colon A(\\Sigma_j)\\to A(\\Sigma_k)$, $\\alpha\\mapsto \\iint_{\\Sigma_j} L_R(\\cdot,w)\\wedge \\alpha(w)$, and $S_{\\Sigma_k}\\colon A(\\Sigma_k)\\to A(R)$, $\\alpha\\mapsto \\iint_{\\Sigma_k} K_R(\\cdot,w)\\wedge \\alpha(w)$, where $L_R$ and $K_R$ are the Schiffer and Bergman kernels obtained from Green's function of the compact surface $R$. These operators supply every block of the scattering matrix. The overfare operator $O_{\\Sigma_1,\\Sigma_2}$ transfers harmonic functions—and, through exact forms, one-forms—across the quasicircles by matching conformally nontangential boundary values; compatible triples fix the cohomological ambiguity with a catalyzing form $\\zeta$ by requiring $\\alpha_k-\\zeta|_{\\Sigma_k}$ to be exact and $S_1\\alpha_1+S_2\\alpha_2=\\zeta$. The proofs decompose harmonic forms along holomorphic/anti-holomorphic parts and cohomology classes using the Part I identities, then use the isomorphism $\\Theta(\\gamma,\\tau)=-T_{1,2}\\gamma+R_2\\tau$ and its inverse, the augmented overfare, to establish unitarity and to define $\\Upsilon=P_{\\mathrm{cap}}O_{\\mathrm{aug}}\\Theta$ with $\\|\\Upsilon\\|<1$.","core_discovery":"The central claim is a block-matrix equation for compatible triples. If $R$ is a compact surface of genus $g\\neq 0$ cut into $\\Sigma_1$ and $\\Sigma_2$ by quasicircles, with $\\Sigma_2$ connected, and $(\\alpha_1+\\beta_1,\\alpha_2+\\beta_2,\\xi+\\eta)$ is a compatible triple—meaning the two forms share boundary values across the cuts and are related by the catalyzing form $\\zeta=\\xi+\\eta$ through exact overfare, with $S_1\\alpha_1+S_2\\alpha_2=\\zeta$—then the anti-holomorphic parts $\\beta_1,\\beta_2$ and the holomorphic part $\\xi$ of the catalyzing form are obtained by applying the $3\\times 3$ block matrix with entries $-T_{1,1},-T_{2,1},R_1$; $-T_{1,2},-T_{2,2},R_2$; $S_1,S_2,0$ to $(\\alpha_1,\\alpha_2,\\eta)$. The paper proves this matrix is unitary. In genus zero the same relation holds for the upper-left $2\\times 2$ block. From this follows the generalized period map $\\Upsilon\\colon A(\\Sigma_1)\\oplus A(R)\\to A(\\Sigma_1)\\oplus A(R)$, $\\Upsilon(\\gamma,\\tau)=(-T_{1,1}\\gamma+R_1\\tau,S_1\\gamma)$, which is an isomorphism onto the semi-exact holomorphic one-forms on $\\Sigma_2$ with $\\|\\Upsilon\\|<1$, and whose graph is the positive polarization $W=O_{\\mathrm{aug}}A^{se}(\\Sigma_2)$.","pith_inferences":["A natural next step, not taken in the paper, is to use the unitarity and conformal invariance to build a unitary action of the mapping class group on the boundary-value Hilbert space; the scattering matrix would then be a representation of the modular group.","The norm gap $1-\\|\\Upsilon\\|$ is a plausible quantitative invariant of how far a bordered surface is from being compact; one could test numerically on explicit quasicircle families whether the gap is controlled by the quasicircle constant or by the maximal dilatation.","The paper leaves holomorphicity of the generalized period map as future work; a concrete check would be to verify in the genus-one, one-border example that $\\Upsilon$ depends holomorphically on the sewing parameters, which would place the construction inside Teichmüller theory.","The condition $[\\delta-R_1S_1\\tau]\\in\\operatorname{Im}(I-T_{1,1})$ for solvability suggests that an index-theoretic count of obstructions could be associated to the holomorphic boundary value problem; computing that index for each genus and border count would extend the paper's results."],"forward_implications":["A compatible triple of harmonic one-forms is exchanged losslessly: the unitary scattering relation means no $L^2$ information is created or destroyed when forms are overferred across the quasicircle interface.","The generalized period map $\\Upsilon$ is an isomorphism onto the semi-exact holomorphic one-forms of the bordered surface and satisfies $\\|\\Upsilon\\|<1$, so the positive polarization it defines is the graph of a contraction in an infinite Siegel disk.","Classical period matrices of compact surfaces and the infinite-dimensional period maps of the disk and universal Teichmüller space become special cases of a single construction; the same theorem yields Grunsky-type inequalities, including the genus-$g$, $n$-border version, with cohomological corrections.","Well-posedness of the holomorphic boundary value problem for semi-exact one-forms is characterized by membership of the data in $\\operatorname{Im}(I-T_{1,1})$ when $\\Sigma_2$ is connected, giving a concrete solvability criterion that accounts for cohomology."],"supporting_citations":[{"why":"Part I; supplies the adjoint identities for Schiffer operators, cohomology interrelations, and kernel/image characterizations used to prove unitarity of the scattering matrix and surjectivity of $\\Theta$.","marker":"[21]"},{"why":"Establishes the well-posed $H^{-1/2}$ Dirichlet problem for $L^2$ harmonic one-forms and partial overfare of one-forms across borders, on which the compatible-triple definition rests.","marker":"[20]"},{"why":"Establishes overfare of harmonic functions and the equality of conformally nontangential boundary values from either side of a quasicircle, giving the analytic basis for overfare of forms.","marker":"[19]"},{"why":"Gives the Dirichlet-space and overfare framework for domains bounded by quasicircles, including the genus-zero Grunsky operator picture that this paper generalizes.","marker":"[13]"},{"why":"Provides the genus-$g$, $n$-border Grunsky operator whose boundedness is recovered as a special case of $\\|\\Upsilon\\|<1$.","marker":"[24]"},{"why":"Establishes the genus-zero period-map model that the new generalized period map unifies with the classical compact-surface period matrix.","marker":"[12]"},{"why":"Identifies the disk period map with the Grunsky matrix and proves holomorphicity, providing the infinite-dimensional target into which the paper's polarization embeds.","marker":"[25]"}],"fun_headline_variants":["Unitary scattering matrix for harmonic one-forms via Schiffer operators","Schiffer operators lead to unitary scattering and period maps","Generalized period maps unify polarizations from scattering","Scattering theory for one-forms yields unitary matrix and period maps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the companion Part I's identities for the Schiffer operators—their adjoints, their action on cohomology, and which subspaces they map into and onto—are all correct, together with the standing assumption that one of the two pieces, $\\Sigma_2$, is connected; if any of these fails, the scattering matrix need not be unitary and the generalized period map need not be an isomorphism.","fun_headline_variants_meta":{"raw":{"variants":["Unitary scattering matrix for harmonic one-forms via Schiffer operators","Schiffer operators lead to unitary scattering and period maps","Generalized period maps unify polarizations from scattering","Scattering theory for one-forms yields unitary matrix and period maps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000634,"raw_usage":{"total_tokens":2946,"prompt_tokens":988,"completion_tokens":1958,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":604,"completion_tokens_details":{"reasoning_tokens":1889}},"tokens_in":604,"tokens_out":1958,"duration_ms":17265,"temperature":1.0,"reasoning_tokens":1889,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:19:13.461785+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a genus-one surface, cut a torus into a punctured torus and a disk by one quasicircle, take explicit basis forms, and compute the $3\\times 3$ block matrix numerically from the Schiffer kernels; if the computed matrix deviates from unitarity beyond quadrature error, Theorem 3.24 is false. Alternatively, compute the norm of $\\Upsilon$ for a two-cap surface and check whether it reaches $1$, which would contradict Theorem 4.3's uniform gap below one.","supporting_citations":[{"cited_title":"Scattering theory on Riemann surfaces I: Schiffer operators, cohomol- ogy, and index theorems","cited_arxiv_id":null,"evidence_quote":"Part I; supplies the adjoint identities for Schiffer operators, cohomology interrelations, and kernel/image characterizations used to prove unitarity of the scattering matrix and surjectivity of $\\Theta$."},{"cited_title":"Dirichlet spaces of domains bounded by quasicircles, Commun","cited_arxiv_id":null,"evidence_quote":"Gives the Dirichlet-space and overfare framework for domains bounded by quasicircles, including the genus-zero Grunsky operator picture that this paper generalizes."},{"cited_title":"Faber and Grunsky Operators Corresponding to Bordered Riemann Surfaces, Conform","cited_arxiv_id":null,"evidence_quote":"Provides the genus-$g$, $n$-border Grunsky operator whose boundedness is recovered as a special case of $\\|\\Upsilon\\|<1$."},{"cited_title":"A Model of the Teichmüller space of genus-zero bordered surfaces by period maps","cited_arxiv_id":null,"evidence_quote":"Establishes the genus-zero period-map model that the new generalized period map unifies with the classical compact-surface period matrix."},{"cited_title":"Weil-Petersson Metric on the Universal Teichmüller Space, Memoirs of the American Mathematical Society.183(2006) no","cited_arxiv_id":null,"evidence_quote":"Identifies the disk period map with the Grunsky matrix and proves holomorphicity, providing the infinite-dimensional target into which the paper's polarization embeds."}],"review_version":1}