pith. sign in

arxiv: 2605.21382 · v1 · pith:A55BRRUUnew · submitted 2026-05-20 · 🧮 math.GT · math.QA· math.SG

Flow loops and quantum groups

Sunghyuk Park This is my paper

Pith reviewed 2026-05-21 02:56 UTC · model grok-4.3

classification 🧮 math.GT math.QAmath.SG
keywords fibered knotsMorse flow loopsBPS q-seriesquantum groupscolored Jones polynomialsknot complementsbraid-homogeneous knotsVerma modules
0
0 comments X

The pith

Counting Morse flow loops in fibered knot complements defines a two-variable series that matches the BPS q-series from quantum groups for braid-homogeneous knots.

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

The paper links the dynamics of Morse flows on knot complements to algebraic invariants coming from quantum groups. For any fibered knot it introduces a two-variable series obtained by counting flow loops. This series is conjectured to reproduce the BPS q-series built from Verma modules, which in turn encodes all colored Jones polynomials. The equality is established rigorously when the knot is braid-homogeneous.

Core claim

For fibered knots we define a two-variable series invariant by counting Morse flow loops in the complement; this dynamical series is conjectured to agree with the BPS q-series of the knot complement, and the correspondence is proved for all braid-homogeneous knots.

What carries the argument

Morse flow loops counted in the knot complement, generating the two-variable dynamical series that is compared to the BPS q-series.

If this is right

  • All colored Jones polynomials of braid-homogeneous fibered knots become computable via enumeration of flow loops.
  • The dynamical series supplies a geometric model for the algebraic data carried by Verma modules over quantum groups.
  • The proof technique for braid-homogeneous knots may extend to larger classes once suitable flow-counting rules are refined.
  • Agreement between the two series implies that quantum invariants of these knots admit a direct interpretation in terms of gradient flows on the complement.

Where Pith is reading between the lines

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

  • If the conjecture holds in full generality, flow dynamics would furnish a new computational route to quantum knot invariants beyond the braid-homogeneous case.
  • The correspondence suggests that representation-theoretic data of quantum groups may be recoverable from topological dynamics on three-manifolds.
  • Similar loop-counting constructions could be tested on other classes of fibered manifolds to see whether BPS-type series appear more broadly.

Load-bearing premise

The counting procedure for Morse flow loops in the knot complement produces a well-defined two-variable series that can be directly compared to the BPS q-series constructed from Verma modules over quantum groups.

What would settle it

An explicit computation for any braid-homogeneous fibered knot in which the series obtained from flow-loop counts differs from the known BPS q-series.

Figures

Figures reproduced from arXiv: 2605.21382 by Sunghyuk Park.

Figure 1
Figure 1. Figure 1: Lorenz system is a system of ODEs determining a three-dimensional flow. Every solution to the system eventually gets attracted to the set shown, called the Lorenz attractor. 1. Introduction Dynamics is a subject with a long history, going back at least to Newtonian mechanics. It studies the long-term behavior of systems that evolve over time, such as the famous Lorenz system [Lor63] ( [PITH_FULL_IMAGE:fig… view at source ↗
Figure 2
Figure 2. Figure 2: Left: a strip supporting a flow along the direction of the arrow. Right: ends of strips glued along a branch line. 3. Geometric state sum models on knot holders In this section, we explain how one can compute the flow loop count defined in Section 2 in practice. The key idea is to reduce the dynamics of Morse flow into the symbolic dynamics on the corresponding knot holder, which in turn gives rise to a st… view at source ↗
Figure 3
Figure 3. Figure 3: Lorenz knot holder describes the discrete time evolution in this symbolic dynamical system. In this language, a knot contained in a knot holder corresponds to a periodic sequence of the symbols. Knot holders are central to the study of dynamics of three-dimensional flows, thanks to the following powerful theorem of Birman and Williams: Theorem 3.2 ([BW83a, Theorem 2.1]). Given a flow ϕt on a 3-manifold M h… view at source ↗
Figure 4
Figure 4. Figure 4: A marked surface ⇝ ⇝ [PITH_FULL_IMAGE:figures/full_fig_p012_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Splitting (left) and joining (right) (2) the (red) base points are the local maxima, and (3) the (green) arcs are the descending manifolds of the saddle points. Given a marking on F, any self-diffeomorphism φ : F → F fixing the boundary ∂F pointwise, induces another marking on F; we will simply denote the resulting marked surface by φ(F). By choosing some isotopy of φ, we may assume that φ preserves the se… view at source ↗
Figure 6
Figure 6. Figure 6: A natural choice of marking on a braided Seifert surface; the red base points are the intersection of the braid axis with the braided Seifert surface, and the green arcs are the cocores of the bands. Corollary 3.6. For any mapping torus Mφ of a surface F with boundary, one can choose some metric and a circle-valued Morse function on Mφ in such a way that (1) the boundary of Mφ is a sink of the Morse flow, … view at source ↗
Figure 7
Figure 7. Figure 7: Left: the minimal genus Seifert surface of the trefoil knot with a marking. Middle: monodromy action on the marking. Right: resulting knot holder. the front side of F to the back side of F [BG16]. Middle of [PITH_FULL_IMAGE:figures/full_fig_p014_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Pulling and splitting elastic cords ∼ [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Equivalent knot holders; they have the same periodic orbits. each band. In this setup, to determine the monodromy map φ : F → F, we consider elastic cords in S 3 \ F with boundary on ∂F, given by the positive push-offs of the arcs to the front side of F; for positive crossings, the elastic cord would be above the band, while for negative crossings, the elastic cord would be below the band. There is a natur… view at source ↗
Figure 10
Figure 10. Figure 10: Reading off a knot holder from a homogeneous braid. Left: a homogeneous braid. Middle: how the elastic cords move around. Right: the resulting knot holder. ⇝ ⇝ [PITH_FULL_IMAGE:figures/full_fig_p016_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: Splitting (left) and joining (right), with framing lines (red: elliptic, green: hyperbolic) 3.3. Framing adapted to knot holders. Now that we have seen how to obtain knot holders in practice, we would like to discuss how to compute the GL1-skein-valued flow loop count (Definition 2.5) from the knot holders. As in Corollary 3.6, let H ⊂ S 3 \ K be a knot holder supporting all the hyperbolic flow loops, and… view at source ↗
Figure 12
Figure 12. Figure 12: State sums on two knot holders for the trefoil knot since there is no extra framing factor in this picture. If the pair was starting from the other boundary of the strip labeled b, then there would be an extra factor of q b 2 coming from sliding the pair from left to right. Finally, the linking numbers with γe and γh can be easily determined. Below, we illustrate our state sum model on knot holders throug… view at source ↗
Figure 13
Figure 13. Figure 13: State sums on two knot holders for the figure-eight knot the same manner as in Example 3.7), and the other16 from Example 3.8, as shown in [PITH_FULL_IMAGE:figures/full_fig_p021_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: A disk with n punctures and markings pi pi+1 → σi split ⇝ join ⇝ [PITH_FULL_IMAGE:figures/full_fig_p024_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Action of σi ∈ Bn on the markings, together with the framing lines σi = · · · · · · pi pi+1 ⇝ · · · · · · αi−1 αi αi+1 [PITH_FULL_IMAGE:figures/full_fig_p024_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Knot holder for the Artin generators σi ∈ Bn. When i = 1 (resp., i = n − 1), there are no strands to the left (resp., right) of the crossing, so the strips starting from the arc αi−1 (resp., αi+1) are not present. number points. Counting the flow lines on the knot holders above, we obtain a representation of Bn on a vector space with basis labeled by Sn,m, which we summarize as a proposition: Proposition … view at source ↗
read the original abstract

This paper connects two seemingly different ways of studying knots: quantum group invariants and the dynamics of Morse flows. For fibered knots, we define a two-variable series invariant by counting Morse flow loops in the complement. This dynamical series is conjectured to agree with the BPS $q$-series of the knot complement, which arises from Verma modules for quantum groups and encodes all colored Jones polynomials. We prove this correspondence for all braid-homogeneous knots.

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

Summary. The manuscript connects quantum group invariants with dynamical systems by defining, for fibered knots, a two-variable series obtained by counting Morse flow loops in the knot complement. This dynamical series is conjectured to coincide with the BPS q-series of the knot complement (constructed from Verma modules over quantum groups and encoding the colored Jones polynomials). The authors prove the conjectured equality for the subclass of all braid-homogeneous knots.

Significance. If the correspondence holds in general, the work supplies a dynamical-systems interpretation of BPS invariants and a new route to their computation. The explicit proof for braid-homogeneous knots is a concrete, verifiable achievement that demonstrates the viability of the counting construction and strengthens the link between Morse theory on knot complements and representations of quantum groups.

major comments (1)
  1. [§3] §3 (Definition of the flow-loop series): the manuscript must supply a complete argument that the two-variable generating function is independent of the auxiliary choices of Morse function and Riemannian metric; without an explicit invariance proof or a reference to a standard result that applies verbatim in the knot-complement setting, the claim that the series is a well-defined knot invariant remains incomplete.
minor comments (2)
  1. [Abstract] The abstract and introduction should state more explicitly that the equality is proved only for braid-homogeneous knots while the general fibered case remains a conjecture.
  2. [§2] Notation for the two-variable series (e.g., the precise grading variables and the range of summation) should be introduced once and used consistently throughout the text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive assessment of its significance in linking dynamical systems with quantum group invariants. We address the major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: [§3] §3 (Definition of the flow-loop series): the manuscript must supply a complete argument that the two-variable generating function is independent of the auxiliary choices of Morse function and Riemannian metric; without an explicit invariance proof or a reference to a standard result that applies verbatim in the knot-complement setting, the claim that the series is a well-defined knot invariant remains incomplete.

    Authors: We agree that the current draft does not contain a fully explicit invariance argument for the two-variable generating function under changes of the Morse function and Riemannian metric. In the revised manuscript we will insert a self-contained subsection immediately after the definition in §3. The argument proceeds by considering generic one-parameter families of Morse functions and metrics on the knot complement; critical-point births, deaths, and handle slides are analyzed using the fibered structure to show that flow loops appear or disappear in canceling pairs, leaving the weighted count unchanged. This establishes independence directly in the knot-complement setting without relying on an external reference. We thank the referee for identifying this omission. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the two-variable dynamical series independently by counting Morse flow loops in the knot complement for fibered knots, prior to any comparison with the BPS q-series. The conjecture of agreement with the quantum-group construction and the explicit proof for braid-homogeneous knots rest on this separate counting procedure and standard dynamical-systems techniques; no load-bearing step reduces by definition, fitting, or self-citation chain to the target invariant itself. The construction is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the well-definedness of the flow-loop counting procedure and on standard background facts from Morse theory and quantum group representations; no explicit free parameters or new entities are visible in the abstract.

axioms (2)
  • domain assumption Morse flows on the knot complement admit a well-defined notion of closed loops that can be counted to produce a two-variable series
    Invoked when defining the dynamical series in the abstract.
  • standard math The BPS q-series is constructed from Verma modules for quantum groups and encodes colored Jones polynomials
    Background fact used to identify the target of the conjecture.
invented entities (1)
  • Morse flow loop series no independent evidence
    purpose: New two-variable invariant for fibered knots
    Defined by counting closed orbits of Morse flows in the complement.

pith-pipeline@v0.9.0 · 5583 in / 1421 out tokens · 34852 ms · 2026-05-21T02:56:45.615304+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.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages

  1. [1]

    Jones, Vaughan F. R. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1985 , NUMBER =. doi:10.1090/S0273-0979-1985-15304-2 , URL =

    work page doi:10.1090/s0273-0979-1985-15304-2 1985

  2. [2]

    Reshetikhin, N. Yu. and Turaev, V. G. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1990 , NUMBER =

    work page 1990

  3. [3]

    The Mathematical Heritage of Hermann Weyl , editor =

    Atiyah, Michael , title =. The Mathematical Heritage of Hermann Weyl , editor =. 1988 , note =

    work page 1988

  4. [4]

    Witten, Edward , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1989 , NUMBER =

    work page 1989

  5. [5]

    Quantum Topol

    Witten, Edward , TITLE =. Quantum Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.4171/QT/26 , URL =

    work page doi:10.4171/qt/26 2012

  6. [6]

    2026 , eprint=

    Chern-Simons factorization algebras and knot polynomials , author=. 2026 , eprint=

    work page 2026

  7. [7]

    and Turaev, V

    Reshetikhin, N. and Turaev, V. G. , TITLE =. Invent. Math. , FJOURNAL =. 1991 , NUMBER =. doi:10.1007/BF01239527 , URL =

    work page doi:10.1007/bf01239527 1991

  8. [8]

    Christopher Bishop.Pattern Recognition and Machine Learning

    Lorenz, Edward N. , TITLE =. J. Atmospheric Sci. , FJOURNAL =. 1963 , NUMBER =. doi:10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2 , URL =

    work page doi:10.1175/1520-0469(1963)020 1963

  9. [9]

    2025 , eprint=

    Skein traces from curve counting , author=. 2025 , eprint=

    work page 2025

  10. [10]

    2026 , eprint=

    Open strings on knot complements , author=. 2026 , eprint=

    work page 2026

  11. [11]

    Park, Sunghyuk , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2020 , NUMBER =. doi:10.1142/S0218216520500972 , URL =

    work page doi:10.1142/s0218216520500972 2020

  12. [12]

    2021 , eprint=

    Inverted state sums, inverted Habiro series, and indefinite theta functions , author=. 2021 , eprint=

    work page 2021

  13. [13]

    2022 , PAGES =

    Park, Sunghyuk , TITLE =. 2022 , PAGES =

    work page 2022

  14. [14]

    Ekholm, Tobias and Gruen, Angus and Gukov, Sergei and Kucharski, Piotr and Park, Sunghyuk and Su kowski, Piotr , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00220-022-04469-9 , URL =

    work page doi:10.1007/s00220-022-04469-9 2022

  15. [15]

    2026 , eprint=

    Skeins, q -series, and modularity , author=. 2026 , eprint=

    work page 2026

  16. [16]

    Neitzke, Andrew and Yan, Fei , TITLE =. J. High Energy Phys. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/jhep09(2020)153 , URL =

    work page doi:10.1007/jhep09(2020)153 2020

  17. [17]

    Hutchings, Michael and Lee, Yi-Jen , TITLE =. Geom. Topol. , FJOURNAL =. 1999 , PAGES =. doi:10.2140/gt.1999.3.369 , URL =

    work page doi:10.2140/gt.1999.3.369 1999

  18. [18]

    Forum Math

    Hutchings, Michael , TITLE =. Forum Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1515/form.2002.010 , URL =

    work page doi:10.1515/form.2002.010 2002

  19. [19]

    and Williams, R

    Birman, Joan S. and Williams, R. F. , TITLE =. Topology , FJOURNAL =. 1983 , NUMBER =. doi:10.1016/0040-9383(83)90045-9 , URL =

    work page doi:10.1016/0040-9383(83)90045-9 1983

  20. [20]

    and Williams, R

    Birman, Joan S. and Williams, R. F. , TITLE =. Low-dimensional topology (. 1983 , ISBN =. doi:10.1090/conm/020/718132 , URL =

    work page doi:10.1090/conm/020/718132 1983

  21. [21]

    and Holmes, Philip J

    Ghrist, Robert W. and Holmes, Philip J. and Sullivan, Michael C. , TITLE =. 1997 , PAGES =. doi:10.1007/BFb0093387 , URL =

    work page doi:10.1007/bfb0093387 1997

  22. [22]

    , TITLE =

    Ghrist, Robert W. , TITLE =. Topology , FJOURNAL =. 1997 , NUMBER =. doi:10.1016/0040-9383(96)00006-7 , URL =

    work page doi:10.1016/0040-9383(96)00006-7 1997

  23. [23]

    , TITLE =

    Witten, E. , TITLE =. The. 1995 , ISBN =

    work page 1995

  24. [24]

    Nuclear Phys

    Ooguri, Hirosi and Vafa, Cumrun , TITLE =. Nuclear Phys. B , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0550-3213(00)00118-8 , URL =

    work page doi:10.1016/s0550-3213(00)00118-8 2000

  25. [25]

    2026 , eprint=

    Skeins on Branes , author=. 2026 , eprint=

    work page 2026

  26. [26]

    Quantum Topol

    Gukov, Sergei and Manolescu, Ciprian , TITLE =. Quantum Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/qt/145 , URL =

    work page doi:10.4171/qt/145 2021

  27. [27]

    Ekholm, Tobias , TITLE =. Geom. Topol. , FJOURNAL =. 2007 , PAGES =. doi:10.2140/gt.2007.11.1083 , URL =

    work page doi:10.2140/gt.2007.11.1083 2007

  28. [28]

    Diogo, Lu\'is and Ekholm, Tobias , TITLE =. J. Differential Geom. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/jdg/1740136104 , URL =

    work page doi:10.4310/jdg/1740136104 2025

  29. [29]

    2026 , eprint=

    Quantum Invariants and Fiberedness , author=. 2026 , eprint=

    work page 2026

  30. [30]

    , TITLE =

    Rozansky, L. , TITLE =. Adv. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1006/aima.1997.1661 , URL =

    work page doi:10.1006/aima.1997.1661 1998

  31. [31]

    1999 , eprint=

    A contribution of a U(1)-reducible connection to quantum invariants of links I: R-matrix and Burau representation , author=. 1999 , eprint=

    work page 1999

  32. [32]

    Gukov, Sergei and Putrov, Pavel and Vafa, Cumrun , TITLE =. J. High Energy Phys. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/JHEP07(2017)071 , URL =

    work page doi:10.1007/jhep07(2017)071 2017

  33. [33]

    Gukov, Sergei and Pei, Du and Putrov, Pavel and Vafa, Cumrun , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2020 , NUMBER =. doi:10.1142/S0218216520400039 , URL =

    work page doi:10.1142/s0218216520400039 2020

  34. [34]

    2025 , eprint=

    Towards a symplectic Khovanov homology for links in fibered 3 -manifolds , author=. 2025 , eprint=

    work page 2025

  35. [35]

    Duke Math

    Khovanov, Mikhail , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10131-7 , URL =

    work page doi:10.1215/s0012-7094-00-10131-7 2000

  36. [36]

    and Przytycki, J\'ozef H

    Asaeda, Marta M. and Przytycki, J\'ozef H. and Sikora, Adam S. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.1177 , URL =

    work page doi:10.2140/agt.2004.4.1177 2004

  37. [37]

    Baader, Sebastian and Graf, Christian , TITLE =. Expo. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.exmath.2016.06.006 , URL =

    work page doi:10.1016/j.exmath.2016.06.006 2016

  38. [38]

    Rudolph, Lee , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF02564622 , URL =

    work page doi:10.1007/bf02564622 1983

  39. [39]

    Rudolph, Lee , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF02564467 , URL =

    work page doi:10.1007/bf02564467 1987

  40. [40]

    Proceedings of Symposia in Pure Mathematics , volume=

    Constructions of fibred knots and links , author=. Proceedings of Symposia in Pure Mathematics , volume=. 1978 , organization=

    work page 1978

  41. [41]

    Lawrence, R. J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1990 , NUMBER =

    work page 1990

  42. [42]

    Colored version for Lawrence representations

    Jules Martel , year=. Colored version for Lawrence representations. 2004.00977 , archivePrefix=

    work page arXiv 2004

  43. [43]

    Ito, Tetsuya , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7515 , URL =

    work page doi:10.1090/tran/7515 2019

  44. [44]

    Ito, Tetsuya , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00220-014-2249-9 , URL =

    work page doi:10.1007/s00220-014-2249-9 2015

  45. [45]

    Configuration spaces , SERIES =

    Kohno, Toshitake , TITLE =. Configuration spaces , SERIES =. 2012 , ISBN =. doi:10.1007/978-88-7642-431-1\_16 , URL =

    work page doi:10.1007/978-88-7642-431-1 2012

  46. [46]

    and Givental, A

    Eliashberg, Y. and Givental, A. and Hofer, H. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2000 , PAGES =. doi:10.1007/978-3-0346-0425-3\_4 , URL =

    work page doi:10.1007/978-3-0346-0425-3 2000

  47. [47]

    Foata, Dominique and Zeilberger, Doron , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0002-9947-99-02234-5 , URL =

    work page doi:10.1090/s0002-9947-99-02234-5 1999

  48. [48]

    Knots, braids, and mapping class groups---papers dedicated to

    Lin, Xiao-Song and Wang, Zhenghan , TITLE =. Knots, braids, and mapping class groups---papers dedicated to. 2001 , ISBN =. doi:10.1090/amsip/024/09 , URL =

    work page doi:10.1090/amsip/024/09 2001