pith. sign in

arxiv: 2212.14151 · v4 · submitted 2022-12-29 · 🧮 math.CO · math.GR

Noncrossing partitions of an annulus

Laura G. Brestensky , Nathan Reading This is my paper

Pith reviewed 2026-05-24 09:59 UTC · model grok-4.3

classification 🧮 math.CO math.GR
keywords noncrossing partitionsannulusaffine Coxeter groupsabsolute orderlattice completionplanar diagramstype Atype C
0
0 comments X

The pith

Noncrossing partitions of an annulus model the noncrossing partition poset for affine Coxeter groups of types A and C.

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

The paper constructs a new model for noncrossing partitions in Coxeter groups of classical affine type using planar diagrams on an annulus. For type Ã, this consists of noncrossing partitions of an annulus. For type C̃, it uses symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. The model completes the poset [1,c]_T to a lattice by factoring translations in a manner suggested by the diagram combinatorics, which leads to different choices than previous constructions. This matters for providing a geometric interpretation of algebraic posets in infinite Coxeter groups.

Core claim

The noncrossing partition poset associated to a Coxeter group W and Coxeter element c is the interval [1,c]_T in the absolute order on W. We construct a new model of noncrossing partitions for W of classical affine type, using planar diagrams (affine types à and C̃ in this paper). The model in type à consists of noncrossing partitions of an annulus. In type C̃, the model consists of symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. We complete [1,c]_T to a lattice by factoring the translations in [1,c]_T, but the combinatorics of the planar diagrams leads us to make different choices about how to factor.

What carries the argument

Planar diagrams representing noncrossing partitions on an annulus that realize the elements of the interval [1,c]_T and determine the factorization for the lattice completion.

If this is right

  • The planar diagrams provide a faithful combinatorial model for the poset in affine types A and C.
  • Factoring translations according to the diagrams produces a lattice with the same order relations as the original poset.
  • This construction will be extended to affine types D and B in a sequel paper.
  • The model differs from prior work by using diagram combinatorics to guide the factorization of translations.

Where Pith is reading between the lines

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

  • The annular diagrams may allow for new ways to visualize and compute with these posets beyond algebraic definitions.
  • If the model is bijective, it could enable counting the number of noncrossing partitions in these affine types through diagram enumeration.
  • The use of orbifold points suggests potential links to other geometric models in Coxeter group theory.

Load-bearing premise

The chosen planar diagrams on the annulus faithfully realize the interval [1,c]_T in the absolute order, and the diagram-motivated factorization of translations produces a lattice whose order relations match those of the original poset.

What would settle it

An explicit element in the interval [1,c]_T that cannot be represented as a noncrossing partition diagram on the annulus, or a pair of elements whose order in the diagram lattice differs from their order in the absolute order on the group.

Figures

Figures reproduced from arXiv: 2212.14151 by Laura G. Brestensky, Nathan Reading.

Figure 1
Figure 1. Figure 1: Some noncrossing partitions of an annulus 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 5 3 4 6 1 2 5 3 4 6 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Some symmetric noncrossing partitions of an annulus and corresponding noncrossing partitions of the two-orbifold disk axis. The intersections of this axis with the cylinder are indicated in the pictures by small dotted circles. (Section 4.1 contains a formula for the symmetry in polar coordinates.) Passing to the quotient modulo the symmetry, symmetric noncrossing partitions of an annulus become noncrossin… view at source ↗
Figure 3
Figure 3. Figure 3: Inner points and outer points for c = s6s5s2s1s3s4s7 Lemma 3.6. Let c be a Coxeter element of Sen, represented as a partition of {1, . . . , n} into inner points and outer points. If a1, . . . , ak are the outer points in increasing order and b1, . . . , bn−k are the inner points in decreasing order, then c = (· · · a1 a2 · · · ak a1 + n · · ·)(· · · b1 b2 · · · bn−k b1 − n · · ·). Proof. Since every orien… view at source ↗
Figure 4
Figure 4. Figure 4: Projecting an orbit to the Coxeter plane in V ∗ Theorem 3.11. Let c be a Coxeter element of Sen, represented as a partition of {1, . . . , n} into inner points and outer points, and consider the projection of the orbit {ej : j ∈ Z} to the Coxeter plane in V ∗ . 1. The projection takes {ej : j ∈ Z} into two parallel lines, each defined by a constant ωc(δ, ·)-coordinate. 2. One of the two lines has negative … view at source ↗
Figure 5
Figure 5. Figure 5: Q1 ⋖ Q2 ⋖ Q3 ⋖ Q4, with simple connectors 1 2 3 4 5 6 7 1 2 3 4 5 6 7 1 2 3 4 5 6 7 1 2 3 4 5 6 7 Q1 Q2 Q3 Q4 [PITH_FULL_IMAGE:figures/full_fig_p020_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Q1 ⋖ Q2 ⋖ Q3 ⋖ Q4, with cutting curves Proposition 3.20. If P, Q ∈ NCgA c , then P ⋖Q if and only if there exists a cutting curve λ for Q such that P = Q − λ. Example 3.21. Continuing Example 3.14, [PITH_FULL_IMAGE:figures/full_fig_p020_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Joins in NCgA c may need dangling annular blocks in NCgA,◦ c because is has no annular block. Also, P < P ∪ κ because κ ̸∈ curve(P), and P ∪ κ < Q because P ∪ κ has no annular block. This contradiction to the supposition that P ⋖ Q in NCgA,◦ c shows that P ⋖ Q in NCgA c . The second assertion of the proposition is immediate from the fact that Q is in NCgA,◦ c . □ The poset NCgA,◦ c (noncrossing partitions … view at source ↗
Figure 8
Figure 8. Figure 8: Kreweras complements of the noncrossing partitions from [PITH_FULL_IMAGE:figures/full_fig_p027_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The symmetric annulus with numbered points corre￾sponding to c = s6s4s3s0s1s2s5. the group Ses 2n of type Cen−1 we omit multiples of n entirely, so neither n nor 2n appears among the inner and outer elements.) Applying Lemma 3.6, we can write c in cycle notation, but it is more convenient to write our choice of inner and outer elements differently first. Rather than list￾ing the elements of {1, . . . , 2n}… view at source ↗
Figure 10
Figure 10. Figure 10: The symmetric annulus and the two-orbifold disk Combining Theorems 4.3 and 4.5, we recover the theorem of [15] that the interval [1, c] C T is a lattice for any choice of c. 4.2. Noncrossing partitions of a disk with two orbifold points. We now use the results of Section 4.1 to give a model for [1, c] C T in the orbifold obtained as the quotient of the annulus modulo ϕ. The map ϕ on the annulus fixes exac… view at source ↗
Figure 11
Figure 11. Figure 11: Another symmetric noncrossing partition of an annu￾lus and its corresponding noncrossing partition of the two-orbifold disk • an arc (ordinary or orbifold) or boundary segment in C; or • a disk block, meaning a closed disk in C whose boundary is a union of ordinary arcs and/or boundary segments of C. The first two types of blocks are degenerate disk blocks. An embedded block can contain one or both orbifo… view at source ↗
Figure 12
Figure 12. Figure 12: Kreweras complements of the noncrossing partitions from [PITH_FULL_IMAGE:figures/full_fig_p036_12.png] view at source ↗
read the original abstract

The noncrossing partition poset associated to a Coxeter group $W$ and Coxeter element $c$ is the interval $[1,c]_T$ in the absolute order on $W$. We construct a new model of noncrossing partititions for $W$ of classical affine type, using planar diagrams (affine types $\tilde A$ and $\tilde C$ in this paper and affine types $\tilde D$ and $\tilde B$ in the sequel). The model in type $\tilde A$ consists of noncrossing partitions of an annulus. In type $\tilde C$, the model consists of symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. Following the lead of McCammond and Sulway, we complete $[1,c]_T$ to a lattice by factoring the translations in $[1,c]_T$, but the combinatorics of the planar diagrams leads us to make different choices about how to factor.

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 / 3 minor

Summary. The manuscript constructs combinatorial models for the noncrossing partition poset [1,c]_T in the absolute order on Coxeter groups of classical affine type. For type à it uses noncrossing partitions of an annulus; for type C̃ it uses symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. Following McCammond-Sulway, the authors complete the poset to a lattice by factoring translations, but adopt diagram-driven choices for the factorization that differ from prior work.

Significance. If the models are shown to be order-isomorphic to [1,c]_T and the resulting lattices match the absolute-order completion, the work supplies explicit planar realizations for affine noncrossing partitions. This extends finite-type diagram models and may enable new enumerative or structural results; the explicit, diagram-motivated factorization is a concrete contribution that can be checked combinatorially.

minor comments (3)
  1. §2: the definition of 'noncrossing' for annulus diagrams should include an explicit statement that the absolute order is preserved by construction, with a reference to the bijection or embedding used.
  2. Figure 4 (type C̃ orbifold example): the caption does not indicate which factorizations of translations are being illustrated; adding labels for the factors would improve readability.
  3. The comparison with McCammond-Sulway factorizations in §5 would benefit from a short table listing the differing choices for a representative translation element.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recommending minor revision. The report is largely descriptive and does not enumerate specific major comments requiring point-by-point rebuttal. We note that our constructions are shown to be order-isomorphic to the relevant intervals in the absolute order, and the diagram-driven factorizations are explicitly verified combinatorially in the text.

Circularity Check

0 steps flagged

No significant circularity; construction is a direct combinatorial model of the standard poset

full rationale

The paper defines the noncrossing partition poset as the interval [1,c]_T in the absolute order (standard definition) and constructs planar diagram models on the annulus (or orbifold disk) asserted to realize that interval, with factorization choices for translations to complete to a lattice. No quoted equations, parameters, or self-citations reduce the claimed realization or lattice order to a quantity already defined by the authors' prior work; the model is presented as an independent combinatorial replacement whose order relations are verified to match the external poset. The derivation chain is therefore self-contained against the given definition of [1,c]_T.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The work rests on the standard definition of the absolute order and the interval [1,c]_T in any Coxeter group; the new contribution is the explicit planar realization and the choice of factorization.

axioms (1)
  • standard math The absolute order on a Coxeter group W is a partial order whose covering relations are given by reflection length.
    Invoked when defining the noncrossing partition poset as the interval [1,c]_T.
invented entities (2)
  • Noncrossing partitions of an annulus no independent evidence
    purpose: Combinatorial model realizing [1,c]_T for affine type Ã
    New object introduced by the paper; no independent existence proof supplied beyond the construction itself.
  • Noncrossing partitions of a disk with two orbifold points no independent evidence
    purpose: Alternative model for affine type C̃
    New object introduced by the paper; no independent existence proof supplied beyond the construction itself.

pith-pipeline@v0.9.0 · 5687 in / 1343 out tokens · 21495 ms · 2026-05-24T09:59:16.478552+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

  1. Noncrossing partitions of a marked surface

    math.CO 2022-12 unverdicted novelty 7.0

    Defines noncrossing partitions of marked surfaces without punctures, proves the poset is a graded lattice with topological rank function, and shows lower intervals factor as products of smaller such lattices; analogou...

  2. Symmetric noncrossing partitions of an annulus with double points

    math.CO 2023-12 unverdicted novelty 5.0

    Models the interval [1,c]_T in the absolute order for affine Coxeter groups of types tilde D and tilde B by symmetric noncrossing partitions of an annulus with one or two double points, also covering a larger lattice ...

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 2 Pith papers · 2 internal anchors

  1. [1]

    Alexandersson, S

    P. Alexandersson, S. Linusson, S. Potka, and J. Uhlin, Refined Catalan and Narayana cyclic sieving. Comb. Theory 1 (2021), Paper No. 7, 53 pages

    work page 2021

  2. [2]

    Allcock, Braid pictures for Artin groups

    D. Allcock, Braid pictures for Artin groups. Trans. Amer. Math. Soc. 354 (2002), no. 9, 3455–3474

    work page 2002

  3. [3]

    C. A. Athanasiadis and V. Reiner, Noncrossing partitions for the group Dn. SIAM J. Discrete Math 18 (2004), no. 2, 397–417

    work page 2004

  4. [4]

    Bessis, The dual braid monoid

    D. Bessis, The dual braid monoid. Ann. Sci. ´Ecole Norm. Sup. (4) 36 (2003) no. 5, 647–683

    work page 2003

  5. [5]

    Biane, Some properties of crossings and partitions

    P. Biane, Some properties of crossings and partitions. Discrete Math. 175 (1997) no. 1-3, 41–53

    work page 1997

  6. [6]

    Bj¨ orner and F

    A. Bj¨ orner and F. Brenti,Combinatorics of Coxeter groups. Graduate Texts in Mathematics, 231, Springer, New York, 2005

    work page 2005

  7. [7]

    Brady and J

    N. Brady and J. McCammond, Factoring Euclidean isometries. Internat. J. Algebra Comput. 25 (2015) no. 1-2, 325—347

    work page 2015

  8. [8]

    Brady and C

    T. Brady and C. Watt, K(π, 1)’s for Artin groups of finite type. Geom. Dedicata 94 (2002), 225–250

    work page 2002

  9. [9]

    Brady and C

    T. Brady and C. Watt, A partial order on the orthogonal group. Comm. Algebra 30(8) (2002), 749–3754

    work page 2002

  10. [10]

    Brady and C

    T. Brady and C. Watt, Non-crossing partition lattices in finite real reflection groups. Trans. Amer. Math. Soc. 360 (2008), no. 4, 1983–2005

    work page 2008

  11. [11]

    Brestensky

    L. Brestensky. Planar Models for Noncrossing Partitions in Affine Type. Ph.D. Thesis, North Carolina State University, June 2022

    work page 2022

  12. [12]

    Brestensky and N

    L. Brestensky and N. Reading, Noncrossing partitions of an annulus (Extended abstract). Presented at FPSAC 2023, Davis, CA. S´ em. Lothar. Combin.89B (2023), Art. 18, 12 pp

    work page 2023

  13. [13]

    Coxeter, Regular Polytopes, Methuen & Co., Ltd., London, 1948

    H. Coxeter, Regular Polytopes, Methuen & Co., Ltd., London, 1948

    work page 1948

  14. [14]

    Digne, Pr´ esentations duales des groupes de tresses de type affine eA

    F. Digne, Pr´ esentations duales des groupes de tresses de type affine eA. Comment. Math. Helv. 81 (2006), no. 1, 23—47

    work page 2006

  15. [15]

    Digne, A Garside presentation for Artin-Tits groups of type eCn

    F. Digne, A Garside presentation for Artin-Tits groups of type eCn. Ann. Inst. Fourier (Greno- ble) 62 (2012), no. 2, 641–666

    work page 2012

  16. [16]

    Fomin, M

    S. Fomin, M. Shapiro, and D. Thurston, Cluster algebras and triangulated surfaces. I. Cluster complexes. Acta Math. 201 (2008), no. 1, 83–146

    work page 2008

  17. [17]

    Fomin and D

    S. Fomin and D. Thurston, Cluster algebras and triangulated surfaces. Part II: Lambda lengths. Mem. Amer. Math. Soc. 255 (2018), no. 1223

    work page 2018

  18. [18]

    Humphreys, Reflection Groups and Coxeter Groups

    J. Humphreys, Reflection Groups and Coxeter Groups. Cambridge Studies in Advanced Mathematics, 29, Cambridge Univ. Press, 1990

    work page 1990

  19. [19]

    Igusa and R

    K. Igusa and R. Schiffler, Exceptional sequences and clusters. J. Algebra 323 (2010), no. 8, 2183–2202

    work page 2010

  20. [20]

    Kreweras, Sur les partitions non crois´ ees d’un cycle

    G. Kreweras, Sur les partitions non crois´ ees d’un cycle. Discrete Math. 1 (1972) no. 4, 333–350

    work page 1972

  21. [21]

    Maresca, Combinatorics of Exceptional Sequences of type eAn

    R. Maresca, Combinatorics of Exceptional Sequences of type eAn. Preprint, 2022 (arXiv:2204.00959)

    work page arXiv 2022

  22. [22]

    McCammond, Dual euclidean Artin groups and the failure of the lattice property

    J. McCammond, Dual euclidean Artin groups and the failure of the lattice property. J. Alge- bra 437 (2015), 308–343

    work page 2015

  23. [23]

    McCammond and R

    J. McCammond and R. Sulway, Artin groups of Euclidean type. Invent. Math. 210 (2017) no. 1, 231–282

    work page 2017

  24. [24]

    J. A. Mingo and A. Nica, Annular noncrossing permutations and partitions, and second-order asymptotics for random matrices. Int. Math. Res. Not. 2004, no. 28, 1413–1460

    work page 2004

  25. [25]

    N. Reading. Noncrossing partitions, clusters and the Coxeter plane. S´ em. Lothar. Combin. 63 (2010) Art. B63b, 32 pages

    work page 2010

  26. [26]

    N. Reading. Noncrossing partitions of a marked surface. Preprint, 2022 (arXiv:2212.13799), to appear in SIAM J. Discrete Math

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  27. [27]

    Reading, Symmetric noncrossing partitions of an annulus with double points

    N. Reading, Symmetric noncrossing partitions of an annulus with double points. Preprint, 2023 (arXiv:2312.17331) 46 LAURA G. BRESTENSKY AND NATHAN READING

    work page internal anchor Pith review arXiv 2023

  28. [28]

    Reading and D

    N. Reading and D. Speyer, Sortable elements in infinite Coxeter groups. Trans. Amer. Math. Soc. 363 (2011) no. 2, 699–761

    work page 2011

  29. [29]

    Reading and S

    N. Reading and S. Stella, The action of a Coxeter element on an affine root system. Proc. Amer. Math. Soc. 148 no. 7 (2020), 2783–2798

    work page 2020

  30. [30]

    Reiner, Non-crossing partitions for classical reflection groups

    V. Reiner, Non-crossing partitions for classical reflection groups. Discrete Math. 177 (1997) no. 1-3, 195–222

    work page 1997

  31. [31]

    Steinberg, Finite reflection groups

    R. Steinberg, Finite reflection groups. Trans. Amer. Math. Soc. 91 (1959) 493–504

    work page 1959