pith. sign in

arxiv: 2507.16243 · v2 · submitted 2025-07-22 · 🧮 math.AT · math.CT· math.QA

Genus Zero Kashiwara-Vergne Solutions from Braids

Zsuzsanna Dancso , Iva Halacheva , Guillaume Laplante-Anfossi , Marcy Robertson , Chandan Singh This is my paper

Pith reviewed 2026-05-19 04:08 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.QA
keywords Kashiwara-Vergne solutionsmoperadsparenthesized braidschord diagramsGrothendieck-Teichmüller module groupsDrinfeld associatorsgenus zerotangential automorphisms
0
0 comments X

The pith

Equivalences between braid and chord diagram moperads produce genus zero KV solutions

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

This paper reinterprets the Alekseev-Enriquez-Torossian construction of Kashiwara-Vergne solutions using moperads as monoids in the category of right modules over an operad. It proves that any equivalence between the moperad of parenthesized braids with a frozen strand and the moperad of chord diagrams gives rise to a family of genus zero KV solutions that are operadically generated by a single classical KV solution. The Grothendieck-Teichmüller module groups are shown to act on these solutions, intertwining the actions of the KV symmetry groups. Conversely, any symmetric KV solution induces a module map from the parenthesized braids moperad to tangential automorphisms of free Lie algebras, and this map factors through the chord diagrams moperad if and only if the associated KV associator is a Drinfeld associator.

Core claim

Using the language of moperads, any equivalence between the moperad of parenthesized braids with a frozen strand and the moperad of chord diagrams gives rise to a family of genus zero KV solutions operadically generated by a single classical KV solution. The Grothendieck-Teichmüller module groups act on the latter, intertwining the actions of the KV symmetry groups. In the other direction, any symmetric KV solution gives rise to a module map from parenthesized braids with a frozen strand to tangential automorphisms of free Lie algebras, which factors through the moperad of chord diagrams if and only if the associated KV associator is a Drinfeld associator.

What carries the argument

Equivalences between the moperad of parenthesized braids with a frozen strand and the moperad of chord diagrams, which operadically generate families of genus zero KV solutions from a classical one.

Load-bearing premise

The prior Alekseev-Enriquez-Torossian construction of KV solutions from associators holds, and there exist equivalences between the moperads of parenthesized braids with a frozen strand and chord diagrams.

What would settle it

An explicit equivalence between the two moperads that fails to produce KV solutions satisfying the defining equations, or a symmetric KV solution whose module map factors through chord diagrams even though its associated KV associator is not Drinfeld.

Figures

Figures reproduced from arXiv: 2507.16243 by Chandan Singh, Guillaume Laplante-Anfossi, Iva Halacheva, Marcy Robertson, Zsuzsanna Dancso.

Figure 1
Figure 1. Figure 1: Moperad composition illustrated on rooted trees: here m1 an operation in M(k), m2 an operation in M(m) and p1 an operation in P(m). A map of P-moperads f : M → N is a map of right P-modules which is compatible with the monoid structures, that is, f(M(k) ◦0 M(m)) = f(M(k)) ◦0 f(M(m)). We write MOpP (C) for the category of P-moperads in C. Similarly, given two distinct operads P and Q a map F : M → N between… view at source ↗
Figure 2
Figure 2. Figure 2: A braid in B3, and the generators of B3. The braid on the left is drawn bottom to top, and in terms of generators can be written as β1β2β −1 1 . Definition 1.12. The braid group with a frozen strand, B 1 n , is the fundamental group of the space of unordered configurations of n points in the punctured plane C − {0}. The following presentation of B 1 n is given in [AET10, § 3]. Proposition 1.13. The group B… view at source ↗
Figure 3
Figure 3. Figure 3: A braid with a frozen strand in B 1 3 , and the generators of B 1 3 . The frozen strand (punc￾ture) is drawn leftmost, and shown in red. The generator X1 represents the loop where the first point circles around the puncture in the positive direction, and Xk = βk−1Xk−1β −1 k−1 for k ≥ 2. In terms of the generators, the above braid with a frozen strand can be (non-uniquely) expressed as β2X1X2. See [PITH_FU… view at source ↗
Figure 4
Figure 4. Figure 4: A pure braid generator. Alternatively, the pure braid groups are the fundamental groups of the spaces of ordered configurations of n points in the complex plane at a chosen basepoint p = (z1, . . . , zn), PBn = π1(Confn(C), p). Using this identification, one can show that the long exact sequence in homotopy induced by the locally trivial fiber bundle Confn+1(C) → Confn(C) given by forgetting one point (z1,… view at source ↗
Figure 5
Figure 5. Figure 5: A parenthesized permutation represented by a planar rooted binary tree with labeled leaves. For each n ≥ 1, there is a natural action of the symmetric group Σn on Ω(n) given by the multiplication of permutations under the natural map u : Ω(n) → Σn, which forgets parentheses. For instance, we have (12) · (53)((41)2) = (53)((42)1). The symmetric sequence Ω = {Ω(n)}n≥1 forms an operad in the category of sets … view at source ↗
Figure 6
Figure 6. Figure 6: An example of a parenthesized braid [PITH_FULL_IMAGE:figures/full_fig_p013_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The operadic composition of parenthesized braids. Remark 1.18. A note on conventions: although composition in the groupoid PaB is defined via group multiplication, we follow the convention of writing compositions using function notation, i.e., from right to left. That is, given morphisms f and g in PaB, their composition f ◦ g denotes “first apply g, then apply f” (as in, for instance, Theorem 1.20) even t… view at source ↗
Figure 8
Figure 8. Figure 8: The generating morphisms of the operad PaB. R1,2 indicates, in particular, that R1,2 is a morphism that starts from the parenthesized permutation (12); whereas R2,1 starts from (21), and R2,3 = id(12) ◦2R starts from 1(23). Double indices indicate doubled strands, for example, R1,23 = R ◦2 id(12) [PITH_FULL_IMAGE:figures/full_fig_p014_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Examples of cosimplicial notation. Theorem 1.20 ([Fre17, Theorem 6.2.4]). The parenthesized braids operad PaB is generated by the object (12) ∈ PaB(2) and the morphisms R := R1,2 ∈ PaB(2) and Φ := Φ1,2,3 ∈ PaB(3), up to the following relations: Φ ∅,1,2 = Φ1,∅,2 = Φ1,2,∅ = id1,2 in HomPaB(2) 12, 12 (U) , Φ 1,2,34Φ 12,3,4 = Φ2,3,4Φ 1,23,4Φ 1,2,3 (P) in HomPaB(4) (((12)3)4, 1(2(34))), R 1,3Φ 2,1,3R 1,2 = Φ2,… view at source ↗
Figure 10
Figure 10. Figure 10: The monoid structure of PaB1 . Like the operad PaB, the PaB-moperad PaB1 admits a finite presentation [CG20, Theorem 3.4]. In other words, every morphism in PaB1 can be obtained from a finite number of generating morphisms via operadic, monoidal, and categorical compositions, permutations, and PaB-actions; subject to finitely many relations [PITH_FULL_IMAGE:figures/full_fig_p015_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The generators of PaB1 as a PaB-moperad. Theorem 1.24 ([CG20, Theorem 3.4]). As a PaB-moperad, PaB1 is generated at the object level by (01), and at the level of morphisms by the morphisms E0,1 ∈ HomPaB1(1)((01),(01)) and Ψ0,1,2 ∈ HomPaB1(2)((01)2, 0(12)), which are subject to the following relations: Ψ 0,∅,2 = Ψ0,1,∅ = id01 in HomPaB1(1) 01, 01 (U) , Ψ 0,1,23Ψ 01,2,3 = Φ1,2,3Ψ 0,12,3Ψ 0,1,2 in HomPaB1(3… view at source ↗
Figure 12
Figure 12. Figure 12: The free group generators X1, . . . , Xn in PB1 n [PITH_FULL_IMAGE:figures/full_fig_p016_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: The expression of X3 in PaB1 3 in terms of the generators [PITH_FULL_IMAGE:figures/full_fig_p017_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: The loop homotopy showing that X2X1 = E0,12 . 1.10. A variation on the Grothendieck-Teichmüller groups. In [Enr07], Enriquez constructs cyclotomic ver￾sions of Drinfeld’s theory of associators through quasi-reflection algebras and formality of a morphism B 1 n → (Z/NZ) n ⋊ Σn of the braid group B 1 n . This led to the definition of a variation of the Grothendieck-Teichmüller group GT, denoted GTM, which a… view at source ↗
Figure 15
Figure 15. Figure 15: The value of κ([x1, x2]) ∈ sder2+1, calculated by re-rooting the tree. Lemma 2.18. There are injective Lie algebra homomorphisms ιn : sder1 n ,→ sder+ n ∼= sdern+1, given on a ∈ lien and u = (u1, . . . , un) ∈ sdern by ιn(a, u) := κ(a) + (0, u1, . . . , un). Proof. The map ιn can be written as the sum of κ : lien → sdern+1, and the natural inclusion (·) + : sdern ,→ sder+ n given by (u1, ..., un) + := (0,… view at source ↗
Figure 16
Figure 16. Figure 16: Moperad operations for chord diagrams. The 0-th component of v ◦0 v ′ is (v0 ◦0 0 + v ′ 0 ). We compute v ◦0 v ′ − κ(v0 ◦0 0 + v ′ 0 ) = (v ◦0 0 − κ(v0 ◦0 0)) + ((v ′ 0 , ..., v′ n , 0, ..., 0) − κ(v ′ 0 )) = (v − κ(v)) ◦0 0 + 0 ◦0 (v ′ − κ(v ′ )) = ι(0, u) ◦0 0 + 0 ◦0 ι(0, u′ ) = ι(0, u ◦0 u ′ ). Therefore, we have v ◦0 v ′ = ι(v0 ◦0 0 + v ′ 0 , u ◦0 u ′ ), finishing the proof. □ This structure integrate… view at source ↗
Figure 17
Figure 17. Figure 17: An example for showing the formula (3.6) for j = i. In this example, w = ((12)3), w ′ = ((12)3), and i = 2. Substituting this into (3.10), and observing that (α 0i(i+1)...(i+n−1),1,2,...,i−1,i+1,...,m) commutes with each xj for i ≤ j ≤ i + n − 1, we obtain F0(w◦iw′)(Xi) = f −1 i α 0i(i+1)...(i+n−1),1,2,...,i−1,i+1,...,mg −1 1 e xi g1  α 0i(i+1)...(i+n−1),1,2,...,i−1,i+1,...,m−1 fi = f −1 i g −1 1 e xi g… view at source ↗
Figure 18
Figure 18. Figure 18: Expressing X1, X2 and X3 as elements of AutPaB1 K (3)  0((12)3) [PITH_FULL_IMAGE:figures/full_fig_p038_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Expressing X1, X2 and X3 as elements of AutPaB1 K (3)  0(1(23)) . Case of X1. In AutPaB1 K (3)  0((12)3) , we have the expression (3.13) X1 = Ψ0,12,3Ψ 0,1,2E 0,1 [PITH_FULL_IMAGE:figures/full_fig_p038_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: For the word ω(x01, x02) = x −1 01 x02x01, we demonstrate the braid equivalence between β −1 1 ωβ1 on the left, and x −1 12 ω(x −1 12 x02x12, x01)x12 on the right. We observe that given ω(x01, x02) a word in the free group Fb2 ⊆ Bb1 2 , we have β −1 1 ω(x01, x02)β1 = x −1 12 ω(x −1 12 x02x12, x01)x12 This follows from the braid relations; see [PITH_FULL_IMAGE:figures/full_fig_p043_20.png] view at source ↗
read the original abstract

Using the language of moperads -- monoids in the category of right modules over an operad -- we reinterpret the Alekseev--Enriquez--Torossian construction of Kashiwara--Vergne (KV) solutions from associators. We show that any equivalence between the moperad of parenthesized braids with a frozen strand and the moperad of chord diagrams gives rise to a family of genus zero KV solutions operadically generated by a single classical KV solution. We show that the Grothendieck--Teichm\"uller module groups act on the latter, intertwining the actions of the KV symmetry groups. In the other direction, we show that any symmetric KV solution gives rise to a module map from parenthesized braids with a frozen strand to tangential automorphisms of free Lie algebras. This map factors through the moperad of chord diagrams if and only if the associated KV associator is a Drinfeld associator.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. Using the language of moperads, the paper reinterprets the Alekseev--Enriquez--Torossian construction of Kashiwara--Vergne (KV) solutions from associators. It shows that any equivalence between the moperad of parenthesized braids with a frozen strand and the moperad of chord diagrams gives rise to a family of genus zero KV solutions operadically generated by a single classical KV solution. The Grothendieck--Teichmüller module groups act on the latter, intertwining the actions of the KV symmetry groups. In the converse direction, any symmetric KV solution gives rise to a module map from parenthesized braids with a frozen strand to tangential automorphisms of free Lie algebras; this map factors through the moperad of chord diagrams if and only if the associated KV associator is a Drinfeld associator.

Significance. If the results hold, the manuscript supplies a coherent operadic reinterpretation that clarifies how moperad equivalences generate families of genus-zero KV solutions and how GT-module actions intertwine KV symmetries. The conditional statements on factorization through chord diagrams precisely when the associator is Drinfeld are cleanly stated and build directly on the Alekseev--Enriquez--Torossian framework together with standard operad theory. The work does not claim new equivalences or constructions but organizes existing ones into module maps and operadic generation, which is a useful structural contribution.

minor comments (2)
  1. [Introduction] The introduction would benefit from an explicit diagram or short computation illustrating the composition in the moperad of parenthesized braids with a frozen strand (cf. the definition preceding the main statements).
  2. [§3] A brief remark on how the tangential automorphism moperad is equipped with its module structure over the parenthesized braid moperad would help readers unfamiliar with the precise conventions used in §3.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of our results, and the recommendation for minor revision. We appreciate the recognition that the work provides a coherent operadic reinterpretation building on the Alekseev--Enriquez--Torossian framework. We will prepare a revised version incorporating any minor clarifications or corrections as needed.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper reinterprets the prior Alekseev-Enriquez-Torossian construction of KV solutions via moperads and derives conditional implications from assumed equivalences between parenthesized braids and chord diagrams moperads. These statements rely on external prior results and standard operad theory without any self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claims to the paper's own inputs by construction. The derivation chain consists of logical implications that remain independent once the referenced moperad equivalences and module maps are granted from outside the present work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper depends on established definitions and prior results in operad theory, moperads, KV solutions, and associators without introducing new free parameters or invented entities in the abstract.

axioms (1)
  • standard math Standard definitions and properties of operads, moperads, parenthesized braids, chord diagrams, and Kashiwara-Vergne solutions hold as in prior literature.
    Invoked throughout the reinterpretation and constructions described in the abstract.

pith-pipeline@v0.9.0 · 5717 in / 1464 out tokens · 39931 ms · 2026-05-19T04:08:48.192096+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Drinfeld associators and Kashiwara-Vergne associators in higher genera

    math.QA 2025-11 unverdicted novelty 6.0

    Direct construction of higher-genus KV associators from Gonzalez-Drinfeld associators via generalization of Massuyeau's genus-0 proof, determining framings with genus-1 restrictions.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alekseev, B

    A. Alekseev, B. Enriquez, and C. Torossian, Drinfeld associators, braid groups and explicit solutions of the K ashiwara- V ergne equations , Publ. Math. Inst. Hautes \' E tudes Sci. (2010), no. 112, 143--189. 2737979

    work page 2010

  2. [2]

    Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, and Florian Naef, The G oldman- T uraev L ie bialgebra and the K ashiwara- V ergne problem in higher genera , arXiv preprint arXiv:1804.09566 (2018)

    work page arXiv 2018

  3. [3]

    , The G oldman- T uraev L ie bialgebra in genus zero and the K ashiwara- V ergne problem , Adv. Math. 326 (2018), 1--53. 3758425

    work page 2018

  4. [4]

    11 (2020), no

    , Goldman- T uraev formality implies K ashiwara- V ergne , Quantum Topol. 11 (2020), no. 4, 657--689. 4191651

    work page 2020

  5. [5]

    Alekseev and E

    A. Alekseev and E. Meinrenken, On the K ashiwara- V ergne conjecture , Invent. Math. 164 (2006), no. 3, 615--634. 2221133

    work page 2006

  6. [6]

    Anton Alekseev and Charles Torossian, The K ashiwara- V ergne conjecture and D rinfeld's associators , Ann. of Math. (2) 175 (2012), no. 2, 415--463. 2877064

    work page 2012

  7. [7]

    Math., vol

    Clemens Berger and Ieke Moerdijk, Resolution of coloured operads and rectification of homotopy algebras, Categories in algebra, geometry and mathematical physics, Contemp. Math., vol. 431, Amer. Math. Soc., Providence, RI, 2007, pp. 31--58. 2342815

    work page 2007

  8. [8]

    I , Selecta Math

    Dror Bar-Natan, On associators and the G rothendieck- T eichmuller group. I , Selecta Math. (N.S.) 4 (1998), no. 2, 183--212. 1669949

    work page 1998

  9. [9]

    Dror Bar-Natan and Zsuzsanna Dancso, Finite type invariants of w-knotted objects ii: tangles, foams and the kashowara-vergne problem, Mathematische Annalen 367 (2017), 1517--1586

    work page 2017

  10. [10]

    5, 4711--4748

    David Ben-Zvi, Adrien Brochier, and David Jordan, Quantum character varieties and braided module categories, Selecta Mathematica 24 (2018), no. 5, 4711--4748

    work page 2018

  11. [11]

    Damien Calaque and Martin Gonzalez, A moperadic approach to cyclotomic associators, 2020

    work page 2020

  12. [12]

    Ricardo Campos, Najib Idrissi, and Thomas Willwacher, Configuration Spaces of Surfaces , Ast \'e risque (2024)

    work page 2024

  13. [13]

    211--291, Springer Nature Switzerland, Cham, 2025

    Damien Calaque and Victor Roca i Lucio, Associators from an operadic point of view, pp. 211--291, Springer Nature Switzerland, Cham, 2025

    work page 2025

  14. [14]

    Zsuzsanna Dancso, Iva Halacheva, and Marcy Robertson, A topological characterisation of the K ashiwara- V ergne groups , Trans. Amer. Math. Soc. 376 (2023), no. 5, 3265--3317. 4577332

    work page 2023

  15. [15]

    V. G. Drinfel'd, On quasitriangular quasi- H opf algebras and on a group that is closely connected with Gal ( Q / Q ) , Algebra i Analiz 2 (1990), no. 4, 149--181. 1080203

    work page 1990

  16. [16]

    Michel Duflo, Sur la classification des id\'eaux primitifs dans l'alg\`ebre enveloppante d'une alg\`ebre de L ie semi-simple , Ann. of Math. (2) 105 (1977), no. 1, 107--120. 430005

    work page 1977

  17. [17]

    (N.S.) 13 (2007), no

    Benjamin Enriquez, Quasi-reflection algebras and cyclotomic associators, Selecta Math. (N.S.) 13 (2007), no. 3, 391--463. 2383601

    work page 2007

  18. [18]

    Edward Fadell and Lee Neuwirth, Configuration spaces, Mathematica Scandinavica 10 (1962), 111--118

    work page 1962

  19. [19]

    1967, Springer, Berlin, Heidelberg, 2009

    Benoit Fresse, Modules over Operads and Functors , Lecture Notes in Mathematics , vol. 1967, Springer, Berlin, Heidelberg, 2009

    work page 1967

  20. [20]

    Fresse, Homotopy of operads and G rothendieck- T eichm\" u ller groups

    B. Fresse, Homotopy of operads and G rothendieck- T eichm\" u ller groups. P art 1 , Mathematical Surveys and Monographs, vol. 217, American Mathematical Society, Providence, RI, 2017, The algebraic theory and its topological background. 3643404

    work page 2017

  21. [21]

    Toshitake Kohno, S\'erie de P oincar\'e- K oszul associ\'ee aux groupes de tresses pures , Invent. Math. 82 (1985), no. 1, 57--75. 808109

    work page 1985

  22. [22]

    1, 1--31

    Stefan Kolb, Braided module categories via quantum symmetric pairs, Proceedings of the London Mathematical Society 121 (2020), no. 1, 1--31

    work page 2020

  23. [23]

    1, 35--72

    Maxim Kontsevich, Operads and motives in deformation quantization, Letters in Mathematical Physics 48 (1999), no. 1, 35--72

    work page 1999

  24. [24]

    3, 157--216

    , Deformation quantization of Poisson manifolds , Letters in Mathematical Physics 66 (2003), no. 3, 157--216

    work page 2003

  25. [25]

    Masaki Kashiwara and Mich\`ele Vergne, The C ampbell- H ausdorff formula and invariant hyperfunctions , Invent. Math. 47 (1978), no. 3, 249--272. 492078

    work page 1978

  26. [26]

    2, 117--128

    Pierre Lochak and Leila Schneps, Every acyclotomic element of the profinite G rothendieck- T eichm\"uller group is a twist , Romanian Journal of Pure and Applied Mathematics LX (2015), no. 2, 117--128

    work page 2015

  27. [27]

    Sergei Merkulov, Grothendieck-teichm \"u ller group, operads and graph complexes: a survey , arXiv preprint arXiv:1904.13097 (2019)

    work page arXiv 1904

  28. [28]

    8, 1953--1975

    Dan Petersen, The operad structure of admissible G -covers , Algebra Number Theory 7 (2013), no. 8, 1953--1975. 3134040

    work page 2013

  29. [29]

    Marcy Robertson and Chandan Singh, Genus zero kashiwara-vergne solutions and ribbon braided module categories, In preparation (2025)

    work page 2025

  30. [30]

    Pavol Severa and Thomas Willwacher, The cubical complex of a permutation group representation - or however you want to call it, March 2011

    work page 2011

  31. [31]

    1, 175--206

    Pavol S evera and Thomas Willwacher, Equivalence of formalities of the little discs operad, Duke Mathematical Journal 160 (2011), no. 1, 175--206

    work page 2011

  32. [32]

    ( Sur la conjecture combinatoire de Kashiwara-Vergne .) , Journal of Lie Theory 12 (2002), no

    Charles Torossian, On the combinatorial Kashiwara-Vergne conjecture. ( Sur la conjecture combinatoire de Kashiwara-Vergne .) , Journal of Lie Theory 12 (2002), no. 2, 597--616

    work page 2002

  33. [33]

    1, 59--65

    Mich\`ele Vergne, A homotopy for a complex of free Lie algebras , Turkish Journal of Mathematics 36 (2012), no. 1, 59--65

    work page 2012

  34. [34]

    Kontsevich 's graph complex and the Grothendieck-Teichm \"u ller Lie algebra , Inventiones Mathematicae 200 (2015), no

    Thomas Willwacher, M. Kontsevich 's graph complex and the Grothendieck-Teichm \"u ller Lie algebra , Inventiones Mathematicae 200 (2015), no. 3, 671--760

    work page 2015

  35. [35]

    , The homotopy braces formality morphism, Duke Math. J. 165 (2016), no. 10, 1815--1964. 3522653

    work page 2016

  36. [36]

    170, American Mathematical Society, Providence, RI, 2016

    Donald Yau, Colored operads, Graduate Studies in Mathematics, vol. 170, American Mathematical Society, Providence, RI, 2016. 3444662

    work page 2016