pith. sign in

arxiv: 2605.23072 · v1 · pith:RO4UYTDVnew · submitted 2026-05-21 · 🧮 math.RT

Isotropic Meta Kazhdan-Lusztig Combinatorics II: Isomorphism to the generalised Khovanov arc algebra

Ben Mills This is my paper

Pith reviewed 2026-05-25 04:56 UTC · model grok-4.3

classification 🧮 math.RT
keywords generalised Khovanov arc algebrastype Danti-spherical Hecke categoryisomorphismExt-quiverKazhdan-Lusztig combinatoricsparabolic subgroup
0
0 comments X

The pith

An explicit isomorphism identifies generalised Khovanov arc algebras of type D with basic algebras of the anti-spherical Hecke category for a maximal parabolic in W(D_n).

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

The paper establishes an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category associated to the maximal parabolic subgroup W(A_{n-1}) of W(D_n). This map sends generators to generators. A sympathetic reader would care because the isomorphism supplies the arc algebras with a concrete Ext-quiver and relations presentation, linking combinatorial algebra constructions across different contexts in representation theory.

Core claim

We construct an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category associated to the maximal parabolic subgroup W(A_{n-1}) of W(D_n). This isomorphism maps generators to generators, thereby equipping the arc algebras with an Ext-quiver and relations presentation.

What carries the argument

The generator-preserving explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category.

If this is right

  • The arc algebras acquire an Ext-quiver and relations presentation.
  • The isomorphism allows properties of the Hecke category algebras to transfer directly to the arc algebras.
  • Combinatorics from the anti-spherical Hecke category can be used to study the arc algebras of type D.

Where Pith is reading between the lines

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

  • This may enable explicit calculations of extension groups in arc algebras using known results from Hecke categories.
  • Analogous isomorphisms might hold for other Weyl groups or parabolic subgroups.
  • The result could facilitate comparisons between different categorifications in type D representation theory.

Load-bearing premise

The generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category are defined in compatible ways that permit a direct generator-preserving comparison.

What would settle it

A computation showing that a specific relation satisfied by the generators in one algebra fails to hold under the proposed mapping in the other algebra.

Figures

Figures reproduced from arXiv: 2605.23072 by Ben Mills.

Figure 1
Figure 1. Figure 1: The Dynkin diagrams for the Weyl groups W(Cn) and W(Dn) with the labelling to be used throughout this paper, with the node not belonging to the parabolic of type W(An−1) highlighted in pink. We define a weight to be a horizontal strip with n vertices at half-integer x-coordinates { 1 2 , 3 2 , ..., n− 1 2 }, each labelled by either ∧ or ∨. We let {si | 1 ⩽ i ⩽ n} act by permuting the labels at i − 1 2 and … view at source ↗
Figure 2
Figure 2. Figure 2: We depict the identity weight ∅ along the bottom of the diagram, the weight of µ = (1, 2, 3, 4, 5, 3, 3) along the top of the diagram, and the tile-partition µ which corresponds to the coset labelled by the reduced word s0s2s3s4s5s6s7s1s2s3s4s5s6s0s2s3s4s5s1s2s0. Remark 2.1. We have now labelled a coset, PW, by both a weight diagram and a tile-partition. We now detail the specific bijection between the two… view at source ↗
Figure 3
Figure 3. Figure 3: The construction of the cup diagram λ for λ as in Definition 2.3. See also [BdVF+26, Proposition 7.1]. Definition 2.4. For any λ, µ ∈ Pn, we can form a new diagram µλ by glueing the weight λ on top of µ. We say that µλ is an oriented cup diagram if ◦ The vertices at either end of any undecorated cup have one of the labels pointing into the cup and the other pointing out of the cup. ◦ The vertices at either… view at source ↗
Figure 4
Figure 4. Figure 4: The degree of µλ on the right is two, which is precisely the number of (highlighted) flipped cups from µµ on the left. For the purposes of this paper, for p ⩾ 0, we define the p-Kazhdan–Lusztig polynomials of type (W, P) = (Dn, , An−1) as follows. For λ, µ ∈ Pn we set pnλ,µ = ( q deg(µλ) if µλ is oriented 0 otherwise. We refer to [BdVF+26, Theorem 7.3] and [BDHN25, Theorem A] for a justification of this de… view at source ↗
Figure 5
Figure 5. Figure 5: The flipping of the vertices of the cup p from µ creates the weight λ. Hence we say λ = µ − p, where we have drawn λ using Definition 2.3 2.2. Cup combinatorics. We now set up the meta–Kazhdan–Lusztig combinatorics of these oriented cup diagrams that govern the relations of H(Dn,An−1) . Definition 2.8. Let µ ∈ Pn and let p, q ∈ µ. We say that p covers q and we write q ≺ p if and only if lp < lq and rp > rq… view at source ↗
Figure 6
Figure 6. Figure 6: Examples of commuting pairs p and q such that q ≺ p [PITH_FULL_IMAGE:figures/full_fig_p005_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Examples of non-commuting pairs p and q such that q ≺ p. ∨ ∧ ∨ ∧ ∧ ∧ ∨ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗
Figure 10
Figure 10. Figure 10: Above are the two circle diagrams µα and αλ and below the stacked circle diagram λAµ, where A = αα is a type D Temperely-Lieb diagram symmetric across the horizontal axis. When multiplying elements of Dn, it will be useful to specify coordinates in a stacked circle diagram. To avoid confusion with our notation for the vertices of cups, we will use square brackets [x, y] where x ∈ 1 2 + Z⩾0 gives the horiz… view at source ↗
Figure 11
Figure 11. Figure 11: An example of the surgery process in action, where the sums are taken over weights that result in an orientable circle diagram and the coefficients ζi are determined by the surgery procedure. By Remark 3.11 our choice of the first surgery to be performed at (ls, rs) = ( 5 2 , 7 2 ) was the only possible choice (first performing p-surgery for p = ( 1 2 , 3 2 ) would result in an inadmissible diagram). Rema… view at source ↗
Figure 12
Figure 12. Figure 12: An oriented stacked circle diagram, D, where the tag for each connected component has been highlighted in red. We have that signD[ 19 2 , 0] = 1 with the label at [ 19 2 , 0] and the corresponding tag of the component circled. ◦ A Reconnect is when the surgery keeps the number of connected components fixed. We will give the exact formulae for each of these situations shortly, but first, we need to define … view at source ↗
Figure 13
Figure 13. Figure 13: In the first equality we perform s-surgery for s = ( 5 2 , 15 2 ) and in the second equality we perform p-surgery for p = ( 7 2 , 13 2 ). Note that in the second surgery C0 is oriented clockwise and hence the merged circle, C, is oriented clockwise and we pick up a factor of (−1)2 , where −1 = signD[ 7 2 , 0] = signD′[ 7 2 , 0] 3.1.2. Split. This is when an s-surgery replaces one connected component with … view at source ↗
Figure 14
Figure 14. Figure 14: In the first equality we perform q-surgery for q = ( 9 2 , 11 2 ) and in the second equality we perform t-surgery for t = ( 1 2 , 3 2 ). In the first equality, C is oriented clockwise, and hence both circles are oriented clockwise. We pick up a factor of (−1)5 , from the fact that −1 = signD′[ 11 2 , , 1] and 1 = signD[ 9 2 , 1] = signD′[ 9 2 , 1]. In the t-surgery, C is oriented anti-clockwise, and so we… view at source ↗
Figure 15
Figure 15. Figure 15: For both terms of the sum, r-surgery at r = ( 17 2 , 19 2 ) is zero as both lines involved are non-propagating. Remark 3.17. We note that the presentation algebra differs only slightly from the definition given in [ES16b], specifically by multiplying the left-hand side of (3.3) by −1. There is a natural isomorphism between the algebra as defined in this paper and that of [ES16b], which maps generators to … view at source ↗
Figure 16
Figure 16. Figure 16: λ = (1, 2, 3, 4, 5, 6, 7, 8, 9, 8, 8, 8, 3) is contractible at k = 0, 15, 11. We depict below the contraction of λ at k = 0, 5 and 11 respectively; these are all k for which λ is contractible. The following lemmas follow directly from the definitions. Lemma 4.4. The map Φk is bijective. Lemma 4.5. Let λ, µ ∈ Pk n . We have that µλ is oriented if and only if Φk(µ)Φk(λ) is oriented. If λ = µ − Pj i=1 q i an… view at source ↗
Figure 17
Figure 17. Figure 17: An example of the local idempotent multiplication. Note that the surgery performed can be thought of as simply deleting the highlighted anti-clockwise circles (with their weights) and ‘stretching’ the opposite component across the centre of the diagram. Proof. By assumption, the circle only intersects weights at a given fixed level (either 0 or 1); therefore, any surgery performed at this point will be a … view at source ↗
Figure 18
Figure 18. Figure 18: In the cup diagram, µ, pictured the cups we have the that κ(µ−q, µ) = 3 and κ(µ−p, µ) = 6. Theorem 5.2. Let k be an integral domain containing i ∈ k such that i 2 = −1. We define a map Ψ : H(Dn,An−1) → Dn on generators as follows: if λ = µ − p, we set Ψ(1λ) = λλλ, Ψ(Dλ µ ) = i κ(λ,µ)λλµ, Ψ(D µ λ ) = i κ(λ,µ)µλλ, and extend Ψ linearly. Then Ψ is a Z-graded isomorphism of k-algebras. Remark 5.3. Before proc… view at source ↗
Figure 19
Figure 19. Figure 19: The cup diagrams µµ for µ = (1, 2, . . . , ck ) for c ⩾ k and c even and odd respectively. Note that a decorated strand on the right-hand appears if and only if c − k is odd. – If c < k, then p is covered by c − 1 undecorated cups and there are k − c − 1 (respectively k − c) undecorated strands and 1 (respectively 0) decorated strands to the left of p when c is even (resp. odd) as pictured in [PITH_FULL_… view at source ↗
Figure 20
Figure 20. Figure 20: The cup diagrams µµ for µ = (1, 2, . . . , ck ) for c < k and c even and odd respectively. ◦ If p is doubly covered, then µ = (1, 2, . . . , c) and p. If c is even, then p is undecorated, else p is decorated as shown in [PITH_FULL_IMAGE:figures/full_fig_p018_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: The cup diagrams µµ for µ = (1, 2, . . . , c) for c even and odd respectively. These are the two incontractible cases when p is doubly covered. ◦ Else, if p is not covered or doubly covered by any cups, then µ = (1),(1, 2),(12 ) or (1c ) and hence looks like one of three cup diagrams pictured in [PITH_FULL_IMAGE:figures/full_fig_p018_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: The cup diagrams µµ for µ = (1), µ = (1, 2), µ = (12 ) and µ = (1c ) respectively. Remark 5.5. Note that the strands to the left of p in [PITH_FULL_IMAGE:figures/full_fig_p018_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: The cups diagrams µµ and λλ, when c is odd. (Each diagram has x = c+1 2 cups in total.) ∧ ∧ ∨ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∨ ∧ ∧ ∧ ∧ ∧ ∧ [PITH_FULL_IMAGE:figures/full_fig_p022_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: The cups diagrams µµ and λλ, when c is even. (Both diagrams have c 2 cups in total.) We first perform explicit calculations in the case that c = 2x − 1 is odd. We will then remark on the small changes needed if c is even at the end of this calculation. To do so, we start by calculating the signs in (5.13). In µ, the cup p is doubly covered by a total of x−1 decorated cups, x−2 of which also appear unchang… view at source ↗
Figure 25
Figure 25. Figure 25: The cups diagrams µµ and λλ, when c is odd and c > k. (Each diagram has x ′ = c+1 2 cups.) We will first perform explicit calculations in the case that c > k, k is even and that c = 2x ′ − 1 is odd, and we will remark on the small changes needed in the other cases at the end of the calculation. In µ the cup p is covered by k − 1 cups, k − 2 of which appear unchanged in λ. All of these k − 2 cups are undec… view at source ↗
read the original abstract

We construct an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category associated to the maximal parabolic subgroup $W (A_{n-1})$ of $W (Dn)$. This isomorphism maps generators to generators, thereby equipping the arc algebras with an Ext-quiver and relations presentation.

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

1 major / 0 minor

Summary. The paper constructs an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category associated to the maximal parabolic subgroup W(A_{n-1}) of W(D_n). This isomorphism maps generators to generators, thereby equipping the arc algebras with an Ext-quiver and relations presentation.

Significance. If the isomorphism is verified, the result would connect combinatorial constructions of arc algebras in type D with the categorical framework of anti-spherical Hecke categories, allowing the arc algebras to inherit an explicit Ext-quiver presentation. This could facilitate the transfer of homological information and representation-theoretic results between the two settings.

major comments (1)
  1. [The isomorphism construction (likely the main section detailing the map)] The central claim requires an explicit generator-preserving isomorphism. The paper must verify that the proposed map on generators is a homomorphism, i.e., that every defining relation of the generalised Khovanov arc algebra is sent to a relation in the basic algebra of the anti-spherical Hecke category (or equivalently that the map extends to a well-defined algebra homomorphism). This verification step is load-bearing for the isomorphism claim and should include explicit checks on the generators and relations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for more explicit verification of the homomorphism property. We address the single major comment below and will revise the paper accordingly to strengthen the presentation of the isomorphism.

read point-by-point responses

  1. Referee: The central claim requires an explicit generator-preserving isomorphism. The paper must verify that the proposed map on generators is a homomorphism, i.e., that every defining relation of the generalised Khovanov arc algebra is sent to a relation in the basic algebra of the anti-spherical Hecke category (or equivalently that the map extends to a well-defined algebra homomorphism). This verification step is load-bearing for the isomorphism claim and should include explicit checks on the generators and relations.

    Authors: We agree that an explicit verification that the generator map preserves all relations is essential to establish the homomorphism. The manuscript defines the map on generators corresponding to the arc diagrams and asserts that it induces an isomorphism, but the relation checks are distributed across the construction rather than collected in one place. In the revised version we will add a new subsection (likely in Section 4 or 5) that systematically lists each defining relation of the generalised Khovanov arc algebra of type D and verifies that its image under the proposed map satisfies the corresponding relation in the basic algebra of the anti-spherical Hecke category. These checks will be case-by-case on the local configurations of the diagrams, thereby making the well-definedness of the homomorphism fully explicit. revision: yes

Circularity Check

0 steps flagged

Explicit generator-preserving isomorphism presented as direct construction

full rationale

The paper's central claim is the construction of an explicit isomorphism between the generalised Khovanov arc algebras of type D and the basic algebras of the anti-spherical Hecke category, mapping generators to generators. No equations, fitted parameters, or self-citations are quoted that reduce this isomorphism to a tautological identity, a renamed input, or a load-bearing prior result by the same authors. The derivation is therefore self-contained as an independent construction rather than a circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the result rests on standard background definitions of arc algebras and Hecke categories not detailed here.

pith-pipeline@v0.9.0 · 5576 in / 1087 out tokens · 25513 ms · 2026-05-25T04:56:19.378095+00:00 · methodology

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

37 extracted references · 37 canonical work pages

  1. [1]

    Chris Bowman, Maud De Visscher , Alice Dell'Arciprete, Amit Hazi, Rob Muth, and Catharina Stroppel, Quiver presentations and S chur-- W eyl duality for K hovanov arc algebras , arXiv:2411.15520 https://arxiv.org/abs/2411.15520, 2024

    work page arXiv 2024

  2. [2]

    Chris Bowman, Maud De Visscher , Amit Hazi, and Emily Norton, The anti-spherical H ecke categories for H ermitian symmetric pairs , Adv. Math. 480 (2025), Paper No. 110501, 90. 4953003

    work page 2025

  3. [3]

    Chris Bowman, Maud De Visscher , Amit Hazi, and Catharina Stroppel, Quiver presentations and isomorphisms of H ecke categories and K hovanov arc algebras , arXiv:2309.13695 https://arxiv.org/abs/2309.13695, 2023

    work page arXiv 2023

  4. [4]

    Chris Bowman, Maud de Visscher, Niamh Farrell, Amit Hazi, and Emily Norton, Oriented T emperley- L ieb algebras and combinatorial K azhdan- L usztig theory , Canad. J. Math. 78 (2026), no. 2, 651--693. 5036742

    work page 2026

  5. [5]

    Jonathan Brundan and Catharina Stroppel, Highest weight categories arising from K hovanov's diagram algebra. II . K oszulity , Transform. Groups 15 (2010), no. 1, 1--45. 2600694

    work page 2010

  6. [6]

    , Highest weight categories arising from K hovanov's diagram algebra I : cellularity , Mosc. Math. J. 11 (2011), no. 4, 685--722, 821--822. 2918294

    work page 2011

  7. [7]

    Theory 15 (2011), 170--243

    , Highest weight categories arising from K hovanov's diagram algebra III : category O , Represent. Theory 15 (2011), 170--243. 2781018

    work page 2011

  8. [8]

    , Gradings on walled B rauer algebras and K hovanov's arc algebra , Adv. Math. 231 (2012), no. 2, 709--773. 2955190

    work page 2012

  9. [9]

    Algebra 340 (2011), 151--181

    Anton Cox and Maud De Visscher , Diagrammatic K azhdan- L usztig theory for the (walled) B rauer algebra , J. Algebra 340 (2011), 151--181. 2813567

    work page 2011

  10. [10]

    Enright, M

    T. Enright, M. Hunziker, and A. Pruett, Diagrams of H ermitian type, highest weight modules, and syzygies of determinantal varieties , Symmetry: representation theory and its applications, Progr. Math., vol. 257, Birkh\" a user/Springer, New York, 2014, pp. 121--184. 3363009

    work page 2014

  11. [11]

    Ben Elias and Mikhail Khovanov, Diagrammatics for S oergel categories , Int. J. Math. Math. Sci. (2010), Art. ID 978635, 58. 3095655

    work page 2010

  12. [12]

    Michael Ehrig and Catharina Stroppel, 2-row S pringer fibres and K hovanov diagram algebras for type D , Canad. J. Math. 68 (2016), no. 6, 1285--1333. 3563723

    work page 2016

  13. [13]

    (N.S.) 22 (2016), no

    , Diagrammatic description for the categories of perverse sheaves on isotropic G rassmannians , Selecta Math. (N.S.) 22 (2016), no. 3, 1455--1536. 3518556

    work page 2016

  14. [14]

    , Koszul gradings on B rauer algebras , Int. Math. Res. Not. IMRN (2016), no. 13, 3970--4011. 3544626

    work page 2016

  15. [15]

    , Schur- W eyl duality for the B rauer algebra and the ortho-symplectic L ie superalgebra , Math. Z. 284 (2016), no. 1-2, 595--613. 3545507

    work page 2016

  16. [16]

    , On the category of finite-dimensional representations of OSp (r|2n) : P art I , Representation theory---current trends and perspectives, EMS Ser. Congr. Rep., Eur. Math. Soc., Z\"urich, 2017, pp. 109--170. 3644792

    work page 2017

  17. [17]

    , Nazarov- W enzl algebras, coideal subalgebras and categorified skew H owe duality , Adv. Math. 331 (2018), 58--142. 3804673

    work page 2018

  18. [18]

    Jens Niklas Eberhardt and Catharina Stroppel, Standard extension algebras I : Perverse sheaves and F ukaya calculus , arXiv:2310.09206 https://arxiv.org/abs/2310.09206, 2023

    work page arXiv 2023

  19. [19]

    Michael Ehrig, Daniel Tubbenhauer, and Arik Wilbert, Singular TQFT s, foams and type D arc algebras , Doc. Math. 24 (2019), 1585--1655. 4033832

    work page 2019

  20. [20]

    Ben Elias and Geordie Williamson, The H odge theory of S oergel bimodules , Ann. of Math. (2) 180 (2014), no. 3, 1089--1136. 3245013

    work page 2014

  21. [21]

    Elias and G

    B. Elias and G. Williamson, Soergel calculus, Represent. Theory 20 (2016), 295--374. 3555156

    work page 2016

  22. [22]

    R. M. Green, Generalized T emperley- L ieb algebras and decorated tangles , J. Knot Theory Ramifications 7 (1998), no. 2, 155--171. 1618912

    work page 1998

  23. [23]

    Mikhail Khovanov, A categorification of the J ones polynomial , Duke Math. J. 101 (2000), no. 3, 359--426. 1740682

    work page 2000

  24. [24]

    , A functor-valued invariant of tangles, Algebr. Geom. Topol. 2 (2002), 665--741. 1928174

    work page 2002

  25. [25]

    Nicolas Libedinsky, Light leaves and L usztig's conjecture , Adv. Math. 280 (2015), 772--807. 3350234

    work page 2015

  26. [26]

    Tobias Lejczyk and Catharina Stroppel, A graphical description of (D_n,A_ n-1 ) K azhdan- L usztig polynomials , Glasg. Math. J. 55 (2013), no. 2, 313--340. 3040865

    work page 2013

  27. [27]

    Nicolas Libedinsky and Geordie Williamson, The anti-spherical category, Adv. Math. 405 (2022), Paper No. 108509, 34. 4437613

    work page 2022

  28. [28]

    Ben Mills, Isotropic meta K azhdan-- L usztig combinatorics I : E xt-quiver presentation for the H ecke category , arXiv:2601.15426 https://arxiv.org/abs/2601.15426, 2026

    work page arXiv 2026

  29. [29]

    397, ix+184

    Simon Riche and Geordie Williamson, Tilting modules and the p -canonical basis , Ast\'erisque (2018), no. 397, ix+184. 3805034

    work page 2018

  30. [30]

    Wolfgang Soergel, Kategorie O , perverse G arben und M oduln \"uber den K oinvarianten zur W eylgruppe , J. Amer. Math. Soc. 3 (1990), no. 2, 421--445. 1029692

    work page 1990

  31. [31]

    , Kazhdan- L usztig- P olynome und unzerlegbare B imoduln \"uber P olynomringen , J. Inst. Math. Jussieu 6 (2007), no. 3, 501--525. 2329762

    work page 2007

  32. [32]

    Catharina Stroppel, Category \( O \): quivers and endomorphism rings of projectives , Representation Theory 7 (2003), 322--345

    work page 2003

  33. [33]

    Catharina Stroppel, Parabolic category O , perverse sheaves on G rassmannians, S pringer fibres and K hovanov homology , Compos. Math. 145 (2009), no. 4, 954--992. 2521250

    work page 2009

  34. [34]

    Catharina Stroppel, Categorification: tangle invariants and tqfts, 2022

    work page 2022

  35. [35]

    Jonas Nehme Thorsten Heidersdorf and Catharina Stroppel, Khovanov algebras of type B and tensor powers of the natural OSp -representation , arXiv:2405.11981 https://arxiv.org/abs/2405.11981, 2024

    work page arXiv 2024

  36. [36]

    Geordie Williamson, Singular S oergel bimodules , Int. Math. Res. Not. IMRN (2011), no. 20, 4555--4632. 2844932

    work page 2011

  37. [37]

    , Schubert calculus and torsion explosion, J. Amer. Math. Soc. 30 (2017), no. 4, 1023--1046, With a joint appendix with Alex Kontorovich and Peter J. McNamara. 3671935

    work page 2017