{"id":"e481cd01-36d0-41aa-bcd2-ce0a547565f8","arxiv_id":"1908.08798","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new family of Teichmüller spaces parameterized by subsets of the unit circle is defined, shown to be complex Banach manifolds, with quotient spaces carrying compatible complex structures.","lead":"The authors define a new family of Teichmüller spaces, one for each subset of the unit circle, that sits between the universal space and its little subspace. These spaces describe circle homeomorphisms that are symmetric everywhere except at selected boundary points, and they come with a full complex manifold structure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unpublished [19] supplies the essential right-translation lemmas in Theorem 6.1; without them, the Banach manifold atlas on T^X_# and the quotient structure in Theorem 7.2 are unsupported.","rationale":"The reader's weakest_assumption is exactly the point I would stress. Section 6's proof of split submersion is the unique place where the new Banach manifold structure is introduced, and it explicitly relies on two results from an unpublished preprint about a different, stronger-decay space. This is not a cosmetic citation: the explicit Ahlfors-type section is only constructed at the barycentric representative, and the translation by nu that makes it pass through an arbitrary point of the fiber is precisely [19, Lemma 6.1 and Proposition 6.2]. I checked the other main links. Theorem 4.1 maps M^X_# into B^X_# via the Astala-Zinsmeister estimate; Theorem 5.1 gives the four equivalences using [8], and the local-uniform-to-relative-vanishing step can be justified by compactness; Corollary 5.5 follows; the equivalence relation in Theorem 7.2 is transitive because composition of symmetric maps on compatible intervals is symmetric. Thus the load-bearing risk is the external dependency on [19], not an internal inconsistency. The verdict should remain conditional pending a written proof or publication of [19].","tokens_in":17455,"tokens_out":25366,"duration_ms":256852,"concrete_test":"Obtain or have the authors supply [19] and check whether Lemma 6.1 and Proposition 6.2 are stated for M^X_#(D) or only for the stronger space M^X_*(D). Then independently verify the two properties: (a) for nu in M^X_# with [nu] = 0, r_nu(mu) = mu * nu^{-1} belongs to M^X_# for every mu in M^X_# and is biholomorphic; (b) for equivalent mu1, mu2 in M^X_#, the Beltrami coefficient nu = mu2^{-1} * mu1 belongs to M^X_#. A direct proof can use that f_nu is the identity on S to show pullback and pushforward preserve relative vanishing near X. If both hold, Theorem 6.1 is complete; if not, the manifold structure and Corollary 6.2/Theorem 7.2 remain conditional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that T^X_# is a complex Banach manifold depends on Theorem 6.1, which asserts that Phi : M^X_#(D) -> B^X_#(D*) is a holomorphic split submersion. The proof constructs a local holomorphic section only at a barycentric representative mu = s([mu]) and then moves it to an arbitrary equivalent point by a right translation r_nu(sigma) = sigma * nu^{-1}. This requires two facts about the 'less restrictive' space M^X_#: (i) for every nu in M^X_# with [nu] = 0, the right translation r_nu is a biholomorphic automorphism of M^X_#; and (ii) any two equivalent mu1, mu2 in M^X_# differ by such an r_nu with nu in M^X_#. The manuscript cites these as [19, Lemma 6.1] and [19, Proposition 6.2] from the authors' unpublished preprint. The introduction states that [19] concerns the related space T^X_* with a stronger decay condition, so the transfer to M^X_# is not automatic. If either fact fails, the local sections cannot be patched across fibers, and the atlas on T^X_# is not established; Corollary 6.2 and Theorem 7.2 then lack their foundation. I found no internal error in the rest of the argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a family of Teichmüller spaces T^X_♯, parameterized by subsets X of the unit circle, that interpolate between the universal Teichmüller space T and its little subspace T0. The space T^X_♯ is defined through Beltrami coefficients that vanish at the boundary relative to X, and, for finite X, is interpreted as the space of piecewise symmetric homeomorphisms. The main results are: an intrinsic characterization of piecewise symmetric homeomorphisms (Theorem 3.4); a Bers-image identity β(T^X_♯)=β(T)∩B^X_♯(D*) (Corollary 5.5); a claim that the Bers Schwarzian derivative map restricts to a holomorphic split submersion onto its image, making T^X_♯ a complex Banach manifold (Theorem 6.1, Corollary 6.2); a quotient Bers embedding for T/∼_X (Theorem 7.2); rigidity theorems for groups normalized by elements of QS^X_♯ (Theorems 8.2 and 8.3); and an exhaustion result for increasing sequences of subsets (Theorem 9.2, Proposition 9.3).","tokens_in":17730,"tokens_out":11084,"duration_ms":112275,"significance":"If the main results hold, this is a useful and natural family of intermediate Teichmüller spaces, with the quotient T/∼_X providing a new analog of the asymptotic Teichmüller space. The paper is carefully organized and follows standard techniques from Earle–Marković–Šarić and Gardiner–Sullivan. It gives a clean intrinsic characterization in Theorem 3.4 and a clean Bers-image identity in Corollary 5.5, and the rigidity section adds interesting applications. However, the central complex-manifold theorem depends on two lemmas quoted from the authors' unpublished preprint [19], and Section 9 contains a gap that appears to contradict Theorem 9.2. These issues are load-bearing and need to be addressed before the paper can be accepted.","major_comments":[{"comment":"The proof of Theorem 6.1, specifically the step moving a local holomorphic section from the barycentric representative μ=s([μ]) to an arbitrary equivalent point, relies on [19, Lemma 6.1] and [19, Proposition 6.2]. These two facts assert that right translations r_ν are biholomorphic automorphisms of M^X_♯ for ν∈M^X_♯ with [ν]=[0], and that any two equivalent elements of M^X_♯ are connected by such a translation. These facts are exactly what allows local sections to be patched across fibres, so without them the split-submersion property, the complex Banach manifold atlas on T^X_♯ in Corollary 6.2, and the quotient manifold structure in Theorem 7.2 are unsupported. Since [19] is an unpublished preprint treating the related but stronger-decay space T^X_*, the transfer to M^X_♯ is not automatic and should either be proved in this paper or the theorem should be made explicitly conditional on the acceptance of [19].","section":"Section 6, Theorem 6.1"},{"comment":"The proof of Proposition 9.3(2) shows only that for every ε>0 the truncated coefficient μ_K=μ·1_K satisfies ‖μ−μ_K‖<ε and μ_K∈M^{X_n}_♯ for some n. That places μ in the closure of ∪_n M^{X_n}_♯, not in the union ∪_n M^{X_n}_♯. The conclusion M^X_♯ ⊂ ∪_n M^{X_n}_♯, and hence T^X_♯ = ∪_n T^{X_n}_♯, does not follow. Moreover, the asserted equality is incompatible with Theorem 9.2, which applies to the same sequence X_n→X and concludes that ∪_n T^{X_n}_♯ is strictly contained in T^X_♯. The proposition should be corrected, presumably to a density or closure statement, and the surrounding discussion of exhaustion should be adjusted accordingly.","section":"Section 9, Proposition 9.3(2)"}],"minor_comments":[{"comment":"The notation 'open subset V of D with I⊂V' is ambiguous when D is the open unit disk, since a boundary interval I is not contained in D. Please specify that V is an open subset of the plane, or of the closed disk, containing the relevant boundary interval.","section":"Section 3, Proposition 3.2 and Remark 3.3"},{"comment":"The sentence 'The inclusion ⊃ is easy to see' is confusing; please state explicitly which inclusion is meant, for example L^X_♯(D) ⊃ ∑_i L^{ξ_i}_♯(D) or its reverse.","section":"Section 3, Proposition 3.1"},{"comment":"The proof would be clearer if it explicitly described the homotopy: since s is a section of π, the contraction of M^X_♯ pulls back to a contraction of T^X_♯.","section":"Section 5, Corollary 5.4"},{"comment":"References [17] and [19] are listed as 'to appear' and 'preprint'; please provide arXiv identifiers or publication status so that the cited lemmas can be checked by readers.","section":"References"},{"comment":"The estimate Area(γ_ζ(K)) ≲ 1−d(0,γ_ζ(K)) is used without comment; a brief justification would help, since K is an arbitrary compact set rather than a hyperbolic ball.","section":"Section 4, proof of Theorem 4.1"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the reliance on unpublished preprint [19] for the core manifold result; if the authors can supply self-contained proofs, the paper is likely publishable. The Section 9 problem is an internal inconsistency that will require changing a stated result, so it is not merely cosmetic."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper gives a genuinely new family of Teichmüller spaces T^X_♯, indexed by subsets X of the circle, sitting between the universal Teichmüller space T and its little subspace T0. The constructions are real and the proof style is careful.\n\nThe new material that earns its keep: Theorem 3.4 characterizes piecewise symmetric homeomorphisms intrinsically, purely by local symmetry on S\\X, no quasiconformal extension mentioned. Theorem 5.1 packages the equivalences among vanishing Schwarzian differences, vanishing barycentric differences, and membership in the right T^Y_♯; this is the workhorse. Theorem 4.1, showing Φ sends M^X_♯ into B^X_♯, is a concrete adaptation of the Astala–Zinsmeister estimate, with the area argument written out. Section 7’s quotient Bers embedding for a non-group equivalence relation is a nice piece of work; Theorem 7.2 is not just a paraphrase of the asymptotic Teichmüller space case. Section 8 adds rigidity theorems, and Section 9 shows via Baire category that increasing unions of the T^{X_n}_♯ do not fill T even for dense X. All of that is solid.\n\nThe soft spot is exactly the one flagged in the stress-test. Theorem 6.1 is the theorem that makes T^X_♯ a complex Banach manifold, and its proof relies on two facts about right translations on M^X_♯, taken from the authors’ unpublished preprint [19]. The manuscript states them as [19, Lemma 6.1] and [19, Proposition 6.2] without proof. The transfer is not automatic because [19] works with a stronger decay condition (T^X_*), not the 'less restrictive' space T^X_♯. If those lemmas fail, the local holomorphic sections cannot be patched across fibers, and Corollary 6.2 and Theorem 7.2 lose their foundation. This is a genuine self-containedness gap, not a circularity: the construction of T^X_♯ does not depend on the theorems being proved. The rest of the argument does not appear to have any internal errors.\n\nThe paper is for people working in quasiconformal Teichmüller theory, especially on the little and asymptotic subspaces. It deserves a serious refereeing. My recommendation: accept for review; before final acceptance, require the authors to either include proofs of [19, Lemma 6.1] and [19, Proposition 6.2] in the paper or make the preprint available so the referee can check the transfer. This is fixable in revision, not a desk-reject situation.","headline":"A sound new family of Teichmüller spaces, but the complex manifold structure rests on two lemmas from an unpublished preprint that need to be included or made available.","tokens_in":18299,"tokens_out":4638,"would_cite":true,"duration_ms":38261,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30F60","30C62","32G15","37E10","58D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every subset of the unit circle, the paper constructs a complex Teichmüller space interpolating between the universal Teichmüller space and its little subspace.","keywords":["Teichmüller space","universal Teichmüller space","piecewise symmetric homeomorphism","symmetric homeomorphism","Bers embedding","barycentric extension","asymptotic Teichmüller space","quasiconformal mapping"],"falsifier":"Take two equivalent Beltrami coefficients $\\mu,\\nu\\in M^X_\\sharp(D)$ and compute the complex dilatation $\\lambda=\\mu \\ast \\nu^{-1}$ of $f_\\mu\\circ f_\\nu^{-1}$; if $\\lambda$ fails to lie in $M^{f_\\nu(X)}_\\sharp(D)$, the right-translation lemma underlying Theorem 6.1 is false, and the Banach manifold atlas on $T^X_\\sharp$ collapses. A concrete finite-$X$ case is available because Proposition 3.1 decomposes $L^X_\\sharp(D)$ into sectors, making the translation formula computable.","tokens_in":17237,"feed_emoji":"🧩","tokens_out":11356,"duration_ms":99827,"temperature":0.7,"pith_summary":"The paper introduces a family of Teichmüller spaces $T^X_\\sharp$ parameterized by subsets $X$ of the unit circle, sitting between the universal Teichmüller space $T$ and its little subspace $T_0$. For a finite set $X$, $T^X_\\sharp$ consists of quasisymmetric circle homeomorphisms that are symmetric on every complementary interval, hence 'piecewise symmetric.' The paper proves that each $T^X_\\sharp$ is a complex Banach manifold: its Bers embedding is the bounded domain $\\beta(T)\\cap B^X_\\sharp(D^*)$, where $B^X_\\sharp(D^*)$ consists of Schwarzian derivatives vanishing at the boundary relative to $X$. It also proves that the quotient $T/\\sim_X$ is a complex manifold modeled on the quotient Banach space $B^X_\\sharp(D^*)\\setminus B(D^*)$, providing an intermediate analog of the asymptotic Teichmüller space between $T_0$ and $T$.","feed_headline":"New Teichmüller spaces interpolate between T and its little subspace","feed_subtitle":"For each subset of the circle, a complex manifold sits between the universal space and its little subspace.","key_machinery":"The machinery has three parts. First, $L^X_\\sharp(D)$ is the closed subspace of $L^\\infty(D)$ consisting of Beltrami coefficients that vanish at the boundary relative to $X$: for every $\\varepsilon>0$ there is a compact set $K\\subset D\\cup X$ with $\\|\\mu|_{D\\setminus K}\\|_\\infty<\\varepsilon$. Its image under the Bers Schwarzian derivative map $\\Phi$ is $B^X_\\sharp(D^*)$, the analogous relative-vanishing subspace of holomorphic quadratic differentials on the exterior disk $D^*$. Second, the Douady–Earle barycentric extension supplies a conformally natural section of the Teichmüller projection, and the paper proves that this section carries $T^X_\\sharp$ into $M^X_\\sharp(D)$, the same behavior that is known for $T_0$. Third, a local holomorphic section of $\\Phi$ is built from Ahlfors' quasiconformal reflection estimates, and right-translation automorphisms of the Beltrami space move that section to any point; the resulting split submersion structure is what makes the Bers embedding a homeomorphism onto a bounded domain and gives the complex atlas on $T^X_\\sharp$.","core_discovery":"The central claim is that prescribing where the boundary is allowed to be wild produces a genuine complex-analytic scale of Teichmüller spaces. For every subset $X$ of the circle, the space $T^X_\\sharp = \\mathrm{M\\ddot{ob}}(S)\\setminus QS^X_\\sharp$, consisting of quasisymmetric boundary maps extendable by Beltrami coefficients that vanish at the boundary relative to $X$, is a complex Banach manifold under the Bers embedding, with image exactly $\\beta(T)\\cap B^X_\\sharp(D^*)$. The quotient Bers embedding is well defined and is a homeomorphism onto its image in $B^X_\\sharp(D^*)\\setminus B(D^*)$, giving $T/\\sim_X$ a complex Banach manifold structure. For finite $X$, the elements admit an intrinsic description as piecewise symmetric homeomorphisms, and as $X$ grows the spaces form a strictly increasing family that never exhausts $T$, even when the union of an increasing sequence of subsets is dense.","pith_inferences":["One extension the authors do not spell out is that the assignment $X\\mapsto T^X_\\sharp$ is a strictly monotone filtration of $T$ by boundary regularity, so the quotients $T^X_\\sharp\\setminus T$ form a family of intermediate asymptotic Teichmüller spaces that could index how much boundary regularity a marked conformal structure preserves.","Theorem 3.4 suggests that, for finite $X$, piecewise symmetry is a purely local condition on the circle; a natural testable extension is whether the same intrinsic characterization remains true for arbitrary $X$ without the finiteness assumption, using the relative vanishing condition as the definition of symmetry away from $X$.","The strictness results in Section 9 indicate that the topology of $X$ alone does not control $T^X_\\sharp$; comparing $T^X_\\sharp$ with $T^{\\overline{X}}_\\sharp$ for a dense set $X$ would clarify whether the construction depends only on the closure of $X$ or on finer data about how points accumulate."],"forward_implications":["For a finite set $X$, the elements of $T^X_\\sharp$ are exactly the normalized quasisymmetric homeomorphisms that are symmetric on every closed interval of $S\\setminus X$, giving a purely boundary description without quasiconformal extensions.","The Bers embedding identifies $T^X_\\sharp$ with the bounded domain $\\beta(T)\\cap B^X_\\sharp(D^*)$, so $T^X_\\sharp$ is a complex Banach manifold and the Teichmüller projection is a holomorphic split submersion.","The quotient $T/\\sim_X$ carries a complex Banach manifold structure modeled on $B^X_\\sharp(D^*)\\setminus B(D^*)$, extending the asymptotic Teichmüller space construction to the intermediate scale.","Every $T^X_\\sharp$ is contractible, matching the contractibility of the universal Teichmüller space.","For any strictly increasing sequence $X_1\\subsetneq X_2\\subsetneq\\cdots$, the union $\\bigcup_n T^{X_n}_\\sharp$ is not closed in $T^X_\\sharp$ for $X=\\bigcup_n X_n$; in particular the universal Teichmüller space is not exhausted by piecewise symmetric spaces from a countable increasing family."],"supporting_citations":[{"why":"supplies the quasiconformal reflection estimates used to build local holomorphic sections of the Schwarzian map in Theorem 6.1.","marker":"[1]"},{"why":"provides the integral representation of the Schwarzian derivative that converts relative boundary vanishing of Beltrami coefficients into relative boundary vanishing of Schwarzians in Theorem 4.1.","marker":"[3]"},{"why":"establishes the Beurling–Ahlfors correspondence between quasisymmetric circle homeomorphisms and quasiconformal disk extensions, the basis for defining $T$ and $QS$.","marker":"[4]"},{"why":"constructs the conformally natural barycentric extension whose section properties are proved in Theorem 5.1.","marker":"[6]"},{"why":"proves the barycentric section maps the symmetric subspace into vanishing Beltrami coefficients and gives the quotient Bers embedding, the model for the present proofs.","marker":"[8]"},{"why":"provides the local dilatation criterion identifying symmetric behavior on intervals with asymptotically conformal local extensions, used in Proposition 3.2 and Theorem 3.4.","marker":"[9]"},{"why":"develops the little Teichmüller space and asymptotic Teichmüller space with their Bers embeddings, the framework being generalized here.","marker":"[11]"},{"why":"gives the local asymptotic conformality of the barycentric extension used in the converse direction of Theorem 3.4.","marker":"[13]"},{"why":"the authors' preprint supplies the right-translation automorphism lemmas that Theorem 6.1 needs to turn a local section into a split submersion.","marker":"[19]"}],"fun_headline_variants":["New Teichmüller spaces between universal and little spaces","Circle subsets yield Teichmüller spaces interpolating T and T0","Piecewise symmetric homeomorphisms give new Teichmüller spaces","New family of Teichmüller spaces from piecewise symmetric maps","Interpolating Teichmüller spaces defined by circle subsets"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole manifold structure rests on two unpublished technical lemmas about when composing quasiconformal maps preserves the condition that the distortion dies out near $X$; if either lemma has a counterexample, the complex atlas on $T^X_\\sharp$ and the quotient structure built from it are unsupported.","fun_headline_variants_meta":{"raw":{"variants":["New Teichmüller spaces between universal and little spaces","Circle subsets yield Teichmüller spaces interpolating T and T0","Piecewise symmetric homeomorphisms give new Teichmüller spaces","New family of Teichmüller spaces from piecewise symmetric maps","Interpolating Teichmüller spaces defined by circle subsets"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000907,"raw_usage":{"total_tokens":3879,"prompt_tokens":905,"completion_tokens":2974,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":2885}},"tokens_in":521,"tokens_out":2974,"duration_ms":19698,"temperature":1.0,"reasoning_tokens":2885,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:47:44.679214+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take two equivalent Beltrami coefficients $\\mu,\\nu\\in M^X_\\sharp(D)$ and compute the complex dilatation $\\lambda=\\mu \\ast \\nu^{-1}$ of $f_\\mu\\circ f_\\nu^{-1}$; if $\\lambda$ fails to lie in $M^{f_\\nu(X)}_\\sharp(D)$, the right-translation lemma underlying Theorem 6.1 is false, and the Banach manifold atlas on $T^X_\\sharp$ collapses. A concrete finite-$X$ case is available because Proposition 3.1 decomposes $L^X_\\sharp(D)$ into sectors, making the translation formula computable.","supporting_citations":[{"cited_title":"Ahlfors, Quasiconformal reflections, Acta Math","cited_arxiv_id":null,"evidence_quote":"supplies the quasiconformal reflection estimates used to build local holomorphic sections of the Schwarzian map in Theorem 6.1."},{"cited_title":"Astala and M","cited_arxiv_id":null,"evidence_quote":"provides the integral representation of the Schwarzian derivative that converts relative boundary vanishing of Beltrami coefficients into relative boundary vanishing of Schwarzians in Theorem 4.1."},{"cited_title":"Beurling and L","cited_arxiv_id":null,"evidence_quote":"establishes the Beurling–Ahlfors correspondence between quasisymmetric circle homeomorphisms and quasiconformal disk extensions, the basis for defining $T$ and $QS$."},{"cited_title":"Douady and C","cited_arxiv_id":null,"evidence_quote":"constructs the conformally natural barycentric extension whose section properties are proved in Theorem 5.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"proves the barycentric section maps the symmetric subspace into vanishing Beltrami coefficients and gives the quotient Bers embedding, the model for the present proofs."},{"cited_title":"Fehlmann, ¨Uber extremale quasikonforme Abbildungen, Comment","cited_arxiv_id":null,"evidence_quote":"provides the local dilatation criterion identifying symmetric behavior on intervals with asymptotically conformal local extensions, used in Proposition 3.2 and Theorem 3.4."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"develops the little Teichmüller space and asymptotic Teichmüller space with their Bers embeddings, the framework being generalized here."},{"cited_title":"Hu and O","cited_arxiv_id":null,"evidence_quote":"gives the local asymptotic conformality of the barycentric extension used in the converse direction of Theorem 3.4."},{"cited_title":"Wei and K","cited_arxiv_id":null,"evidence_quote":"the authors' preprint supplies the right-translation automorphism lemmas that Theorem 6.1 needs to turn a local section into a split submersion."}],"review_version":1}