Pith. sign in

REVIEW 4 minor 13 references

Irreducible non-cyclic braid-group maps from n≥5 strands force m=n and agree with an automorphism modulo the center; holomorphic maps of unordered configuration spaces are therefore affine-equivalent only to constants or the identity.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-11 02:04 UTC pith:IIW3KXCK

load-bearing objection Clean resolution of the Chen–Kordek–Margalit conjecture on irreducible braid homomorphisms (and Farb’s holomorphic consequence for n eq4), via a long but standard MCG argument that holds up under scrutiny.

arxiv 2607.05826 v1 pith:IIW3KXCK submitted 2026-07-07 math.GT math.AGmath.GR

Rigidity of maps between configuration spaces

Rodrigo De Pool , Peter Huxford , Daniel Minahan , Jeroen Schillewaert This is my paper
classification math.GT math.AGmath.GR MSC 57K2020F3632G1557M07
keywords braid groupsconfiguration spacesholomorphic mapsrigidityirreducible homomorphismscentral equivalencemapping class groupshyperelliptic loci
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a rigidity theorem for homomorphisms between braid groups: when the domain has at least five strands, any homomorphism whose image is irreducible and not cyclic must land in a group of the same number of strands and, up to the center, must be an automorphism. The same conclusion holds for holomorphic maps between unordered configuration spaces of points in the plane: they are affine-equivalent only to a constant or to the identity. The result settles a conjecture of Chen–Kordek–Margalit and, for n eq4, a conjecture of Farb; it also answers part of a problem on the K3 list. The proof proceeds by first showing that every such homomorphism can be adjusted by a central element so that it becomes “externally central,” then classifying those maps by analyzing how generators act on certain maximal curves and the types of the punctures they enclose. The bound n≥5 is sharp because Ferrari’s classical map from four-point to three-point configurations gives a counter-example.

Core claim

If n≥5, m≥3 and Φ:B_n o B_m is an irreducible homomorphism with non-cyclic image, then m=n and Φ is centrally equivalent to the identity (i.e., agrees with an automorphism of B_n modulo the infinite cyclic center). The same numerical and uniqueness statement holds for holomorphic maps UConf_n(C) o UConf_m(C) up to affine equivalence.

What carries the argument

The reduction of an arbitrary irreducible non-cyclic homomorphism to an externally central one (Lemma 10.5), which rests on the filling property of the set of Φ-maximal curves and the existence of a single centralizer element that simultaneously corrects the exterior parts of all standard generators; once the map is externally central the puncture-type analysis forces m=n and recovers the identity.

Load-bearing premise

The claim that every irreducible non-cyclic homomorphism can be adjusted by a single central element so that all exterior parts become powers of the boundary twist; if that common correction fails for some exotic configuration of maximal curves the reduction to the classified case collapses.

What would settle it

An explicit irreducible non-cyclic homomorphism B_n o B_m with n≥5, m eq n, or with m=n but not centrally equivalent to the identity, would falsify Theorem B; equivalently, a non-constant holomorphic map UConf_n(C) o UConf_m(C) that is not affine-equivalent to the identity would falsify the holomorphic consequence.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • Every holomorphic map UConf_n(C) o UConf_m(C) for n≥5, m≥3 is affine-equivalent to a constant or the identity.
  • Holomorphic maps between hyperelliptic loci H_g,1 o H_h,1 with g≥2 that are non-constant on coarse spaces must satisfy g=h and agree with the identity.
  • The classification of all braid-group homomorphisms (the remaining open part of the K3 problem) is reduced to the reducible case.
  • Any continuous map of configuration spaces whose induced braid homomorphism is irreducible must be homotopic to a holomorphic (hence rigid) map.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same puncture-type and maximal-curve machinery may classify reducible homomorphisms once a canonical reducing multicurve is fixed, giving a complete answer to the K3 problem for n≥5.
  • The argument supplies a model for analogous rigidity statements for mapping-class-group homomorphisms between surfaces of higher genus with marked points.
  • Because the bound n=4 is forced by Ferrari’s map, any future classification for four strands must treat that map as an exceptional building block rather than an anomaly.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper proves Theorem B: for n≥5 and m≥3, any irreducible homomorphism Φ:B_n o B_m with non-cyclic image satisfies m=n and is centrally equivalent to the identity (i.e., agrees with an automorphism of B_m modulo the center). The argument proceeds by showing that such Φ is externally periodic (Lemma 4.8), then minimally typed (Lemma 6.1), that the set Δ(Φ) of curves interior to two distinct Φ-maximal curves is empty (Proposition 7.14), and finally that Φ is centrally equivalent to an externally central homomorphism (Lemma 10.5) which is then classified (Theorem 9.11). As a consequence (via Chen–Salter), every non-constant holomorphic map UConf_n(C) o UConf_m(C) is affine-equivalent to the identity (Theorem A), resolving Farb’s conjecture for n eq4; further consequences include rigidity of maps between hyperelliptic loci (Theorem C).

Significance. The result settles a conjecture of Chen–Kordek–Margalit and a problem on the K3 list for irreducible homomorphisms, and yields the corresponding holomorphic rigidity statement for configuration spaces. The proof is a self-contained, carefully layered application of classical mapping-class-group tools (Nielsen–Thurston, Dyer–Grossman, González-Meneses–Wiest centralizers, Birman–Hilden) together with new combinatorial invariants (Φ-maximal curves, puncture types, exterior parts). The reduction to the externally-central case via a common centralizer element is technically substantial and appears complete; the paper therefore constitutes a genuine advance in the classification of braid-group homomorphisms and of holomorphic maps between configuration spaces.

minor comments (4)
  1. [Section 2] The indexing convention for the extended generating set SG_n (s_k = s_i for i ≡ k mod n) is introduced early and used heavily; a brief reminder when it first appears in later sections (e.g., Section 5) would help the reader.
  2. [Section 5] Lemma 5.4 notes that the reverse relation Φ(s_{i+1}s_i)(E^{s_{i+1}}_Φ)=E^{s_i}_Φ does not a priori hold; a short remark on why the asymmetry does not affect later arguments would improve clarity.
  3. [Sections 6–7] Figures 10–18 illustrating types and Δ(Φ) are helpful; ensuring that the captions explicitly name the generators whose maximal curves appear would make them self-contained.
  4. [Section 11] In the proof of Theorem 11.7 the appeal to the triviality of the abelianization of Mod_{g,1} for g≥3 is standard but could be given a precise reference for the reader’s convenience.

Circularity Check

0 steps flagged

Self-contained group-theoretic derivation of braid homomorphism rigidity; only non-load-bearing self-citations for ancillary lemmas and holomorphic consequences

full rationale

The core claim (Theorem B) is proved from first principles in Sections 2–10 via Nielsen–Thurston classification, commuting graphs of the extended generating set, Φ-maximal curves, puncture types, exterior parts, and a reduction (Lemma 10.5) to the externally-central case, followed by classification (Theorem 9.11). All steps quote classical facts (Dyer–Grossman, González-Meneses–Wiest, Birman–Hilden, Formanek) or prior non-overlapping partial classifications (Lin, Bell–Margalit, Castel, Chen–Kordek–Margalit) used as black boxes. No equation reduces to a definition of the target, no parameters are fitted, and no uniqueness is imported solely from the authors’ prior work. Minor self-citations ([HS25] for exact sequences of stabilizers and small-n maps; [DS24]/[DeP25] for holomorphic monodromy irreducibility) appear only in ancillary lemmas or Section 11 consequences and are not required for the load-bearing chain of Theorem B. The derivation is therefore independent and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 3 invented entities

Pure mathematical proof. No free parameters or empirical fits. All background results are standard theorems of braid-group and mapping-class-group theory; the few technical notions introduced (Φ-maximal curves, puncture types, exterior parts) are definitional tools internal to the argument and carry no independent ontological claim.

axioms (5)
  • standard math Nielsen–Thurston classification for braid groups (periodic / aperiodic reducible / pseudo-Anosov)
    Invoked throughout Sections 3–10 to control the dynamics of images of generators and central roots.
  • standard math Dyer–Grossman description of Aut(B_n) ≅ Inn(B_n) times Z/2Z
    Used to identify central equivalence classes with automorphisms modulo center.
  • standard math González-Meneses–Wiest structure of centralizers of braids
    Controls when images of generators can be pseudo-Anosov or periodic (Lemmas 4.5–4.6).
  • domain assumption Chen–Salter theorem that Theorem B implies the holomorphic rigidity statement
    Cited as [CS26, Theorem 1.5]; the paper reduces the holomorphic claim to the group-theoretic one via this black box.
  • domain assumption Irreducibility of the monodromy of a non-isotrivial holomorphic map (De Pool–Souto / Daskalopoulos–Wentworth)
    Used in Section 11 to pass from holomorphic maps to irreducible braid homomorphisms.
invented entities (3)
  • Φ-maximal curves E_Φ and E^{s_i}_Φ no independent evidence
    purpose: Outermost curves in the union of canonical reduction systems of the images of the extended generators; used to define types of punctures and to detect reducibility.
    Purely definitional combinatorial device; no claim of independent existence outside the proof.
  • Type T_Φ(p) of a puncture no independent evidence
    purpose: Records which maximal curves enclose a given puncture; classifies possible actions of the generators.
    Definitional invariant introduced in Section 6; no external falsifiable prediction.
  • Exterior part Ext_M(f) and canonical exterior part Ext(f) no independent evidence
    purpose: Projects a braid fixing a multicurve onto the braid group of the exterior surface; used to define externally periodic and externally central maps.
    Standard cutting construction specialized to the homomorphism; no new physical or geometric object.

pith-pipeline@v1.1.0-grok45 · 60362 in / 3290 out tokens · 42621 ms · 2026-07-11T02:04:08.188287+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Rigidity of maps between configuration spaces." pith.science (2026). https://pith.science/paper/IIW3KXCK

@misc{pith2026260705826,
  author       = {Pith},
  title        = {Pith review of: Rigidity of maps between configuration spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IIW3KXCK}},
  note         = {Machine review of arXiv:2607.05826}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Let $n\geq5$ and $m\geq3$. Let $\Phi\colon\mathrm{B}_n\to\mathrm{B}_m$ be a homomorphism of braid groups. We prove that if the image of $\Phi$ is irreducible and not cyclic, then $m=n$ and $\Phi$ agrees with an automorphism modulo the center $Z(\mathrm{B}_m)$. This resolves in the affirmative a conjecture of Chen, Kordek, and Margalit. It also provides a partial resolution to a problem on the K3 problem list. As a consequence, we prove that every holomorphic map $\mathrm{UConf}_n(\mathbb{C})\to\mathrm{UConf}_m(\mathbb{C})$ for $n\geq5$ and $m\geq3$ is affine equivalent to either a constant map or the identity map. This resolves a conjecture of Farb for $n\neq4$.

Figures

Figures reproduced from arXiv: 2607.05826 by Daniel Minahan, Jeroen Schillewaert, Peter Huxford, Rodrigo de Pool.

Figure 1
Figure 1. Figure 1: The half-twist s1 acting on a curve γ [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The element a1 ∈ B5 acting on a curve γ call a1 the standard central root of order n. Likewise, we have a2 = s 2 1 s2 · · · sn−1. This is realized in Mod(Dn) by a rotation that fixes one puncture and rotates the other n − 1 punctures (see [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The element a2 ∈ B5 acting on a curve γ [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The canoni￾cal reduction system of s1s4 ∈ B5. This is also a reducing system for s1 and s4 [PITH_FULL_IMAGE:figures/full_fig_p011_4.png] view at source ↗
Figure 6
Figure 6. Figure 6: Cutting γ yields a disconnected surface: the disjoint union of a once punctured annulus and a twice punctured disk Restrictions of curves to cut-open surfaces. Let M ⊂ Dm be a multicurve and let γ ⊂ Dm be a curve disjoint from M. We can canonically identify γ with a curve in Dm ↘ M by choosing disjoint representatives of M and γ. We often make this identification implicitly without comment. Partial orders … view at source ↗
Figure 7
Figure 7. Figure 7: The curve γ ′ is interior to γ that there is no γ ∈ N with γ ′ < γ. We say that a curve γ ′ is interior to a multicurve M if γ ′ ≤ γ for some γ ∈ M. See [PITH_FULL_IMAGE:figures/full_fig_p015_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The curves γ ′ and γ are both exterior to each other Similarly, we say that a multicurve M is exterior to a nonempty set of curves N if every γ ∈ M is exterior to N . Note that a curve γ is both interior and exterior to itself. We say that a multicurve M is non-nested if M = M◦ . We also say that two sets of curves N and N ′ are mutually exterior if every γ ∈ N is exterior to N ′ and vice versa. Inessentia… view at source ↗
Figure 9
Figure 9. Figure 9: p is interior to the multicurve {γ1, γ2}, while q is not and fourth authors [HS25, Lemma 3.1]) show that if the internal connected components of Dm ↘ M are the disks Dm1 , . . . , Dmk , then there is an exact sequence 1 → Bm1 × · · · × Bmk → StabBm(M) ExtM −−−→ Bm−m1−···−mk+k . This sequence in fact splits (non-canonically) over its image. Let ExtM : StabBm(M) → Bm−m1−···−mk+k denote the rightmost map in t… view at source ↗
Figure 10
Figure 10. Figure 10: If γ1 ∈ Es1 Φ and γ2 ∈ Es2 Φ , then TΦ(p) = {1, 2} Our goal in Section 6 is to prove Theorem 6.8, which classifies the possible types of punctures and describes how Φ(si) acts on punctures of different types. We also prove Theorem 6.9, which resolves Theorem B in the case that n ≥ 5 and 3 ≤ m ≤ n. A homomorphism Φ : Bn → Bm is minimally typed if for every puncture p ∈ Dm, there is some si ∈ SGn such that … view at source ↗
Figure 11
Figure 11. Figure 11: γi ∈ Esi Φ and TΦ(p) = {2} We now introduce some notation. Let Ni(p) = {δ ∈ CRS (Φ(si)) : p ∈ Int(δ)}. Let Ni(p) ◦ denote the set of maximal curves in Ni(p), where we think of Ni(p) as a partially ordered set with the ordering ≤ from Section 4. Note that if Ni(p) is nonempty then Ni(p) has a unique maximal element. Let N (p) := Sn i=1 Ni(p). Lemma 6.4. Let n ≥ 5 and m ≥ 3. Let Φ : Bn → Bm be an externally… view at source ↗
Figure 12
Figure 12. Figure 12: for an example of a curve δ ∈ ∆(Φ). γ1 δ γ2 [PITH_FULL_IMAGE:figures/full_fig_p029_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: If δ ∈ ∆(Φ)1,2 and ϵn ∈ CRS (Φ(sn)) and ϵ3 ∈ CRS (Φ(s3)) then µδ ∈ W(Φ)1,2. We have γ1 ∈ Es1 Φ and γ2 ∈ Es2 Φ [PITH_FULL_IMAGE:figures/full_fig_p031_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: We have ϵ1 ∈ CRS (Φ(s1)) and ϵ5 ∈ CRS (Φ(s5)) and γ3 ∈ Es3 Φ . The punctures interior to ϵ5 are of type {4, 3} and the punctures interior to ϵ1 are of type {2, 3} Note that since ϵi−2 intersects E si−1 Φ we must have ϵi−2 exterior to CRS (Φ(si+1)), since ϵi−2 and E si−1 Φ are disjoint from CRS (Φ(si+1)) by Lemma 3.3, and E si−1 Φ is exterior to CRS (Φ(si+1)) by definition. Similarly, we have ϵi+2 exterior… view at source ↗
Figure 15
Figure 15. Figure 15: for an example. γ p γ ′ [PITH_FULL_IMAGE:figures/full_fig_p043_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: the arc a + j−1 and the curve cj lies entirely outside of cj . Let a ′ j and a ′′ j respectively be disjoint subarcs of cj such that a ′ j and a ′ j−1 have the same endpoints, and similarly for a ′′ j and a ′′ j−1 . Since cj and cj−1 were chosen to intersect minimally, we see that a ′ j−1 and a ′ j cannot bound a bigon, and similarly for a ′′ j−1 and a ′′ j . Let δ ′ denote the isotopy class of embedded c… view at source ↗
Figure 17
Figure 17. Figure 17: Case 2: q is bounded cj aj−1 a ′ j−1 a ′′ q j−1 cj−2 [PITH_FULL_IMAGE:figures/full_fig_p046_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Case 3: q is also bounded construction. Setting i = j − 2 and using n ≥ 5, we have we have{i, i + 1} ∩ {j, j + 1} = ∅, so the lemma holds. □ 9. Externally central homomorphisms Recall that a homomorphism Φ : Bn → Bm is externally central if Ext(Φ(si)) ∈ ExtCRS(Φ(si))◦ (Z(Bm)) for some (and hence all) si ∈ SGn. Our goal in Section 9 is to prove Theorem 9.11, which classifies externally central, irreducible… view at source ↗

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 3 internal anchors

  1. [1]

    Holomorphic maps be- tween moduli spaces

    [AAS18] Stergios Antonakoudis, Javier Aramayona, and Juan Souto. “Holomorphic maps be- tween moduli spaces”.Ann. Inst. Fourier (Grenoble)68.1 (2018), pp. 217–228.url: http://aif.cedram.org/item?id=AIF_2018__68_1_217_0. [AS12] Javier Aramayona and Juan Souto. “Homomorphisms between mapping class groups”. Geom. Topol.16.4 (2012), pp. 2285–2341.doi:10.2140/g...

    work page doi:10.2140/gt.2012.16.2285 2018

  2. [2]

    Braid groups and the co-Hopfian property

    Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2026, pp. xi+430.doi:10.1090/surv/295. [BM06] Robert W. Bell and Dan Margalit. “Braid groups and the co-Hopfian property”.J. Algebra303.1 (2006), pp. 275–294.doi:10.1016/j.jalgebra.2005.10.038. [BS24] Frederik Benirschke and Carlos A. Serv´ an. “Isometric embeddings of Tei...

    work page doi:10.1090/surv/295 2026

  3. [3]

    On isotopies of homeomorphisms of Riemann surfaces

    Princeton Univ. Press, Princeton, NJ, 1971, pp. 81–115. [BH73] Joan S. Birman and Hugh M. Hilden. “On isotopies of homeomorphisms of Riemann surfaces”.Ann. of Math. (2)97 (1973), pp. 424–439.doi:10.2307/1970830. [BLM83] Joan S. Birman, Alex Lubotzky, and John McCarthy. “Abelian and solvable subgroups of the mapping class groups”.Duke Math. J.50.4 (1983), ...

    work page doi:10.2307/1970830 1971

  4. [4]

    IRMA Lect. Math. Theor. Phys. Eur. Math. Soc., Z¨ urich, 2007, pp. 33–109.doi:10.4171/029-1/2. 62 REFERENCES [DS24] Rodrigo De Pool and Juan Souto.Holomorphic maps between moduli spaces II

    work page doi:10.4171/029-1/2 2007

  5. [5]

    Holomorphic maps between moduli spaces II

    arXiv:2412.01257v1 [math.GT]. [DeP25] Rodrigo De Pool. “Homomorphisms between pure mapping class groups”.Adv. Math. 480.part C (2025), Paper No. 110509, 42.doi:10.1016/j.aim.2025.110509. [DG81] Joan L. Dyer and Edna K. Grossman. “The automorphism groups of the braid groups”. Amer. J. Math.103.6 (1981), pp. 1151–1169.doi:10.2307/2374228. [FN62] Edward Fade...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2025.110509 2025

  6. [6]

    by Authors of the volume

    Ed. by Authors of the volume. Surveys in Differential Geometry. In memory of S.S. Chern. International Press, 2024, pp. 31–49. [FM12] Benson Farb and Dan Margalit.A primer on mapping class groups. Vol

    work page 2024

  7. [7]

    Braid group representations of low degree

    Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 2012, pp. xiv+472. [For96] Edward Formanek. “Braid group representations of low degree”.Proc. London Math. Soc. (3)73.2 (1996), pp. 279–322.doi:10.1112/plms/s3-73.2.279. [GW04] Juan Gonz´ alez-Meneses and Bert Wiest. “On the structure of the centralizer of a braid”. Ann. Sci. ´Ecole...

    work page doi:10.1112/plms/s3-73.2.279 2012

  8. [8]

    Generators for the mapping class group

    Troisi` eme ´ edition, corrig´ ee, S´ eminaire de G´ eom´ etrie Alg´ ebrique, 1960/61. Institut des Hautes ´Etudes Scientifiques, Paris, 1963, i+163 pp. (not consecutively paged) (loose errata). [Hum79] Stephen P. Humphries. “Generators for the mapping class group”.Topology of low- dimensional manifolds (Proc. Second Sussex Conf., Chelwood Gate, 1977). Vol

    work page 1960

  9. [9]

    Braid groups, elliptic curves, and resolving the quartic

    Lecture Notes in Math. Springer, Berlin, 1979, pp. 44–47. [HS25] Peter Huxford and Jeroen Schillewaert. “Braid groups, elliptic curves, and resolving the quartic”.Mathematische Annalen391.3 (2025), pp. 4409–4440.doi:10.1007/s00208- 024-03029-x. [IS88] Yˆ oichi Imayoshi and Hiroshige Shiga. “A finiteness theorem for holomorphic families of Riemann surfaces...

    work page doi:10.1007/s00208- 1979

  10. [10]

    A cofinite universal space for proper actions for mapping class groups

    Math. Sci. Res. Inst. Publ. Springer, New York, 1988, pp. 207–219.doi:10. 1007/978-1-4613-9611-6_15. [JW10] Lizhen Ji and Scott A. Wolpert. “A cofinite universal space for proper actions for mapping class groups”.In the tradition of Ahlfors-Bers. V. Vol

    work page 1988

  11. [11]

    Homomorphisms of commutator subgroups of braid groups

    Contemp. Math. Amer. Math. Soc., Providence, RI, 2010, pp. 151–163.doi:10.1090/conm/510/10023. [KM22] Kevin Kordek and Dan Margalit. “Homomorphisms of commutator subgroups of braid groups”.Bull. Lond. Math. Soc.54.1 (2022), pp. 95–111.doi:10.1112/blms.12560. [Lin04a] Vladimir Lin.Configuration spaces ofCandCP 1: some analytic properties

    work page doi:10.1090/conm/510/10023 2010

  12. [12]

    Configuration spaces of C and CP^1: some analytic properties

    arXiv: math/0403120v3 [math.AG]. [Lin04b] Vladimir Ya. Lin.Braids and Permutations

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Braids and Permutations

    arXiv:math/0404528 [math.GR]. [MH75] C. Maclachlan and W. J. Harvey. “On mapping-class groups and Teichm¨ uller spaces”. Proc. London Math. Soc. (3)30.part, part 4 (1975), pp. 496–512.doi:10.1112/plms/ s3-30.4.496. [Mar22] Dan Margalit.Maps of braid groups. Braids in Symplectic and Algebraic Geometry. 2022.url:https : / / app . icerm . brown . edu / asset...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/plms/ 1975