pith. sign in

arxiv: 2607.00238 · v1 · pith:7QYYY6SKnew · submitted 2026-06-30 · 🧮 math.CO

Duality and a Canonical Sheaf in Periodic Riemann Functions

Nicolas Folinsbee , Joel Friedman This is my paper

Pith reviewed 2026-07-02 18:15 UTC · model grok-4.3

classification 🧮 math.CO
keywords Riemann functionsperfect matchingperiodiccanonical sheafduality pairingBetti numbersEuler characteristicfive-point space
0
0 comments X

The pith

For r-periodic Riemann functions with perfect-matching weights, a canonical module supplies a perfect pairing that realizes the first Betti numbers as a duality theorem.

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

The paper shows that any Riemann function f whose weight W is a perfect matching admits a family of sheaves M_{W,d} on a five-point space such that f(d) equals the zeroth Betti number of M_{W,d} and the first Betti number equals the dual function evaluated at a shifted point. When f and W are additionally r-periodic these sheaves become finite-type modules over a natural sheaf of rings O_r. In that setting a canonical O-module ω_W exists together with a pairing between cohomology of tensor products and Ext groups that lands in a one-dimensional space and is perfect for suitable line bundles or skyscrapers when the shift parameters satisfy L equals K plus one. This converts the Riemann-Roch statement for f into an Euler-characteristic computation and recasts the formula for b¹ as a Serre-type duality.

Core claim

Let f colon Z² to Z be a Riemann function whose weight W is a perfect matching. Then there is a family of sheaves of k-vector spaces M_{W,d} on a five-point topological space that models f in that f(d) equals b⁰(M_{W,d}) and b¹(M_{W,d}) equals f^∧_K(d minus K) for any K. If f and W are r-periodic the sheaves become O_r-modules of finite type, a canonical O-module ω equals ω_W exists, and a pairing H^i(M_{W,0} tensor F) times Ext^{1-i}(F, M_{W^∧_L,K}) to H¹(ω) congruent to k is perfect when L equals K plus 1 and F is a suitable line bundle or skyscraper sheaf, realizing the b¹ formula as a duality theorem akin to Serre duality. The canonical module ω_W is exceptional among tensor products of

What carries the argument

The canonical O-module ω_W, which serves as the target space for a perfect duality pairing between cohomology of M_{W,0} tensor F and Ext groups of the dual module, and which arises as an exceptional element inside the family of tensor products M tensor_O M'.

If this is right

  • The Riemann-Roch formula for f becomes equivalent to an Euler characteristic computation for the sheaf M_{W,d}.
  • The first Betti number b¹(M_{W,d}) is recovered from the dual Riemann function via the duality pairing.
  • When F is a line bundle the b¹ formula appears directly as a duality statement.
  • The canonical module ω_W belongs to the family of all tensor products of two modules of the form M_{W',d}.

Where Pith is reading between the lines

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

  • The diagram-of-vector-spaces description on the fixed five-point space may let similar duality statements be written for other combinatorial functions that admit periodic perfect-matching weights.
  • Because the sheaves are defined without sheaf-theoretic prerequisites, the same diagrams could be used to test the duality numerically for concrete small-period examples.
  • The exceptional character of ω_W inside the tensor-product family suggests that further algebraic relations among the M modules may be visible once the canonical module is identified.

Load-bearing premise

The weight W must be a perfect matching and both f and W must be r-periodic so that the sheaves become finite-type O_r-modules and the canonical module with the stated pairing properties exists.

What would settle it

An explicit r-periodic f and perfect-matching W for which the pairing fails to be perfect, or for which b¹(M_{W,d}) does not equal the dual function value, when F is a line bundle and L equals K plus 1.

Figures

Figures reproduced from arXiv: 2607.00238 by Joel Friedman, Nicolas Folinsbee.

Figure 1
Figure 1. Figure 1: Our Diagrams We easily see that in the above definition, W is r-periodic iff π satisfies π(i+r) = π(i) − r for all i ∈ Z. We also see that if W is a perfect matching, then π(a) + a is bounded above and below (above by C and below by −C for the same C in Definition 2.8). Remark 2.9. Proposition 2.4 of [FF25] characterizes the Riemann functions f : Z 2 → Z such that W = mf is a perfect matching. It also show… view at source ↗
Figure 2
Figure 2. Figure 2: The k-Diagram MW,d. Notice that this description of the values and restrictions of MW,d as a k-diagram is simplest. However, when we work with Or-modules, it will be easier to slightly rename these values and the restriction maps. Compare with [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A morphism of diagrams ϕ: F → G, depicted in thick lines 2.7. Morphisms and Exact Sequences. To explain the duality theorem of [FF25], we need to define morphisms of k-diagrams; we refer the reader to Sec￾tion 5 of [FF25] for more details and examples. Definition 2.17. Let F, G be two k-diagrams. By a morphism ϕ: F → G we mean the data, ϕ, of linear maps from each value of F to the corresponding value on G… view at source ↗
Figure 4
Figure 4. Figure 4: The Diagram of Rings, Or = Or,k: this k-diagram has more structure: its values are rings, and restriction maps are also morphisms of rings. Hence Or = Or,k is much larger and more structured than k (the constant diagram whose values are k); hence for any O-modules F, G, HomO(F, G) is much smaller than Homk(F, G). This smallness is crucial if we want to get a stronger form of Serre duality. Definition 2.18.… view at source ↗
Figure 5
Figure 5. Figure 5: If W is an r-periodic perfect matching, then MW,d has a natural structure as an Or-module: for k ∈ [r] we set 2.10. Our First Duality Theorem. We now wish to describe our first duality theory, that is the subject of Section 5. Fix an r-periodic perfect matching W, and fix a K ∈ Z 2 and set L = K + 1. Section 5 begins by describing a pairing for any Or-module F of the form: H1 (MW,0 ⊗ F) × HomOr (F,MW∗ L ,K… view at source ↗
Figure 6
Figure 6. Figure 6: The Or-Modules, Lr,d. These are invertible Or￾modules: they have the same values as Or, and we have Lr,0 = Or. Since y1 7→ x −1 1 in Or, the fact that Lr,d(ρ1,1) takes 1 to x d1 1 implies that p(y1) ∈ Lr,d(B1) is mapped to x d1 1 p(x −1 1 ) under Lr,d(ρ1,1). Hence writing 1 7→ x d1 1 is more concise than describing the entire map Lr,d(ρ1,1): k[y1] → k[x ± 1 ]. This concise notation is very help￾ful for the… view at source ↗
Figure 7
Figure 7. Figure 7: The k-Diagram MW,d. Definition 3.6. Let S1, S2 be sets, and W : S1 × S2 → Z≥0 ∪ {∞}. The multiset on S1 × S2 with multiplicities W refers to the set (27) Multi(W) = {(s1, s2, i) ∈ S1 × S2 × N | i ≤ W(s1, s2)}, where if W(s1, s2) = ∞, then we view all i as satisfying i ≤ W(s1, s2). We refer to the maps Multi(W) → S1 and Multi(W) → S2 taking (s1, s2, i) to, respectively, s1 and s2, as, respectively, the firs… view at source ↗
Figure 8
Figure 8. Figure 8: W is 2-periodic that satisfies W(2k, −2k) = W(2k + 1, −2k + 1) = 1 for k ∈ Z and otherwise W = 0. We depict W by showing in bold points where W = 1. W can be written as the sum of two 2-periodic functions, Simple2;(0,0) plus Simple2;(1,1), each of which we depict above. This is the unique way of writing W as the sum of two simple 2-periodic functions. Of course, Simple2;(0,0) = Simple2;(2k,−2k) for all k ∈… view at source ↗
Figure 9
Figure 9. Figure 9: Here is an example of W and W′ that are both 2- periodic weights; since W′ is also 1-periodic, we have W ⋆2 W′ is also 1-periodic. W, W′ are both the sum of two simple 2-periodic functions, and W ⋆2 W′ a sum of four. Later we will see that since W′ is not of the form W∗ L for any L ∈ Z 2 , it follows that F = MW,0⊗OrMW′ ,0 cannot serve as a canonical Or-module since for any d (no matter how small), G = F ⊗… view at source ↗
Figure 10
Figure 10. Figure 10: The graph G′ = (V ′ , E′ ): V ′ consists of two copies of Z, one on the left, one on the right, plus W(s1, s2) edges between s1 ∈ Zleft and s2 ∈ Zright. G is obtained from G′ by collasping the left vertices ≤ d1 and the right vertices ≤ d2 into a single vertex, v0. Therefore G generally has self-loops about v0, and G is not generally bipartite. To compute H1 (MW,d) with G′ and G, multiple edges have no ef… view at source ↗
Figure 11
Figure 11. Figure 11: In this section we work with a general diagram of rings, O. We introduce the notation Ri = O(Bi), Sj = O(Aj ), and σij = O(ρij ). A.2.1. Coskyscraper Diagrams. Proposition A.1. Let O be a diagram of rings For i ∈ [3] and M and Ri-module, define the coskyscraper at Bi of value M, denoted CoSky(Bi , M), to be the O￾module depicted below: M 0 0 M ⊗R1 S1 0 CoSky(B1, M) 0 0 M 0 M ⊗R2 S2 CoSky(B2, M) 0 M 0 M ⊗R… view at source ↗
read the original abstract

Let $f\colon{\mathbb Z}^2\to{\mathbb Z}$ be a Riemann function whose weight $W$ is a perfect matching. Then there is a family of sheaves of $k$-vector spaces $\{{{M}}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2}$ on a five-point topological that models $f$ in that $f({\bf d})=b^0({{M}}_{W,{\bf d}})$ and that $$ b^1({{M}}_{W,{\bf d}})= f^\wedge_{\bf K}({\bf d}-{\bf K}) $$ for any ${\bf K}\in{\mathbb Z}^2$. Hence a Riemann-Roch formula for $f$ is equivalent to an Euler characteristic computation of ${{M}}_{W,{\bf d}}$. If $f$ and $W$ are $r$-periodic, then the sheaves ${{M}}_{W,{\bf d}}$ become ${{O}}_r$-modules of finite type for a natural sheaf of rings ${{O}}={{O}}_r$. We show that in this case there is a ``canonical ${{O}}$-module'' $\omega=\omega_W$ and a pairing for $i=0,1$, $$ H^i(M_{W,{\bf 0}}\otimes F) \times {\rm Ext}^{1-i}(F,M_{W^\wedge_{\bf L},{\bf K}})\to H^1(\omega)\cong k $$ that is perfect when ${\bf L}={\bf K}+{\bf 1}$ and ${{F}}$ is a certain type of line bundle or a certain type of skyscraper sheaf. In particular when ${{F}}$ is a line bundle, we realize the above formula for $b^1({{M}}_{W,{\bf d}})$ as a duality theorem akin to Serre duality. We show that canonical ${{O}}$-module $\omega_W$ is a rather exceptional element in a family of tensor products of two modules ${{M}}\otimes_{{O}}{{M}}'$, where ${{M}}$ and ${{M}}'$ vary over ${{O}}_r$-modules of the form ${{M}}_{W',{\bf d}}$. This article doesn't assume any background in sheaf theory; rather we describe all our sheaves as a ``diagrams of vector spaces,'' where each diagram is essentially a sheaf of vector spaces on a fixed topological space of five points.

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

2 major / 2 minor

Summary. The manuscript claims that for a Riemann function f: Z^2 → Z with perfect matching weight W, there exist sheaves M_{W,d} of k-vector spaces on a five-point space such that f(d) = b^0(M_{W,d}) and b^1(M_{W,d}) = f^∧_K(d - K) for any K, making a Riemann-Roch formula for f equivalent to an Euler characteristic computation on M_{W,d}. When f and W are r-periodic, the sheaves become finite-type O_r-modules; the paper constructs a canonical O-module ω_W and a pairing H^i(M_{W,0} ⊗ F) × Ext^{1-i}(F, M_{W^∧_L, K}) → H^1(ω) ≅ k that is perfect for L = K + 1 and F a line bundle or skyscraper sheaf, realizing the b^1 formula as Serre duality. The canonical module is exceptional among tensor products M ⊗_O M' where M, M' range over modules of the indicated form. All objects are defined via diagrams of vector spaces.

Significance. If the constructions hold, the work supplies an elementary, diagram-based realization of duality for periodic Riemann functions that equates Riemann-Roch to Euler characteristics and introduces a canonical sheaf ω_W with Serre-like properties. The approach of modeling everything via diagrams on a fixed five-point space, without assuming sheaf-theoretic background, is a concrete strength that could make the duality accessible in combinatorial settings.

major comments (2)
  1. [Abstract, paragraph 1] Abstract, paragraph 1: the modeling directly equates b^1(M_{W,d}) to the value of the dual function f^∧_K(d - K); this makes the asserted equivalence between a Riemann-Roch formula for f and an Euler characteristic computation of M_{W,d} hold by definition of the modeling rather than by independent verification of the duality map.
  2. [Abstract, paragraph 2] Abstract, paragraph 2: the existence of the canonical O-module ω_W and the claim that the displayed pairing is perfect when L = K + 1 and F is a line bundle or skyscraper are central to realizing b^1 as duality, yet the text supplies neither the explicit diagram definitions of the sheaves M_{W,d} and M_{W^∧_L,K} nor the computation establishing perfection of the pairing.
minor comments (2)
  1. The five-point topological space on which the diagrams are defined is referenced but not described (points, open sets, or specialization order); a short explicit description or diagram would improve readability.
  2. Notation for vectors (bold d, K, L) and the ring O_r is introduced without a preliminary section clarifying the fixed r and the precise definition of periodicity for both f and W.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We respond point-by-point to the major comments below.

read point-by-point responses

  1. Referee: [Abstract, paragraph 1] Abstract, paragraph 1: the modeling directly equates b^1(M_{W,d}) to the value of the dual function f^∧_K(d - K); this makes the asserted equivalence between a Riemann-Roch formula for f and an Euler characteristic computation of M_{W,d} hold by definition of the modeling rather than by independent verification of the duality map.

    Authors: The sheaves are constructed via diagrams precisely so that both f(d) = b^0 and b^1 = f^∧_K(d-K) hold by design; this is the content of the modeling. The claimed equivalence then follows because the Euler characteristic of the diagram can be computed directly from the vector-space data without reference to the original f, thereby recovering a Riemann-Roch formula for f. We will revise the abstract to state this distinction more explicitly. revision: partial

  2. Referee: [Abstract, paragraph 2] Abstract, paragraph 2: the existence of the canonical O-module ω_W and the claim that the displayed pairing is perfect when L = K + 1 and F is a line bundle or skyscraper are central to realizing b^1 as duality, yet the text supplies neither the explicit diagram definitions of the sheaves M_{W,d} and M_{W^∧_L,K} nor the computation establishing perfection of the pairing.

    Authors: The manuscript defines every sheaf explicitly as a diagram of vector spaces on the fixed five-point space (Sections 2–3) and gives the canonical module ω_W and the pairing in Section 5. Perfection is verified by direct computation of the relevant Ext groups on those diagrams (Theorem 5.2). To address the referee’s concern we will insert an additional subsection containing fully worked diagram examples and the explicit matrix computations that establish non-degeneracy. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The abstract presents a construction of sheaves M_{W,d} that model the given Riemann function f by satisfying the stated equalities for b^0 and b^1; this is a modeling step that enables reducing Riemann-Roch to an Euler characteristic computation, which is a standard logical equivalence (chi = b^0 - b^1) rather than a definitional loop. The periodic case then derives the existence of omega_W and the perfect pairing that realizes the b^1 formula as Serre-like duality. No quoted step equates a claimed prediction or first-principles result to its inputs by construction, and no self-citation chain or ansatz smuggling is present in the provided material. The derivation remains self-contained against the external definition of Riemann functions and perfect matchings.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claim rests on the initial definitions of Riemann functions with perfect matching weights and the periodicity condition, plus newly introduced sheaves and the canonical module.

axioms (2)
  • domain assumption f is a Riemann function whose weight W is a perfect matching
    This is the initial setup stated in the abstract for the sheaves to model f with the given b^0 and b^1 properties.
  • domain assumption f and W are r-periodic
    Required for the sheaves to become O_r-modules of finite type and for the canonical module to exist.
invented entities (2)
  • sheaves M_{W,d} no independent evidence
    purpose: To model f such that f(d)=b^0(M_{W,d}) and b^1 equals the dual
    Constructed in the paper to satisfy the modeling equations but no independent evidence outside the construction.
  • canonical O-module ω_W no independent evidence
    purpose: To induce the perfect duality pairing
    Introduced as exceptional among tensor products of M modules; no external verification given.

pith-pipeline@v0.9.1-grok · 5994 in / 1531 out tokens · 40114 ms · 2026-07-02T18:15:29.987754+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

28 extracted references · 3 canonical work pages · 2 internal anchors

  1. [1]

    Omid Amini and Lucia Caporaso, Riemann- R och theory for weighted graphs and tropical curves , Adv. Math. 240 (2013), 1--23. 3046301

    2013

  2. [2]

    Omid Amini and Madhusudan Manjunath, Riemann- R och for sub-lattices of the root lattice A_n , Electron. J. Combin. 17 (2010), no. 1, Research Paper 124, 50. 2729373

    2010

  3. [3]

    Spencer Backman, Riemann- R och theory for graph orientations , Adv. Math. 309 (2017), 655--691. 3607288

    2017

  4. [4]

    Bloom, A counterexample to a theorem of S

    Gary S. Bloom, A counterexample to a theorem of S . P iccard , J. Combinatorial Theory Ser. A 22 (1977), no. 3, 378--379. 439657

    1977

  5. [5]

    Matthew Baker and Serguei Norine, Riemann- R och and A bel- J acobi theory on a finite graph , Adv. Math. 215 (2007), no. 2, 766--788. 2355607

    2007

  6. [6]

    Robert Cori and Yvan Le Borgne, The R iemann- R och theorem for graphs and the rank in complete graphs , 2013, available at https://arxiv.org/abs/1308.5325

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  7. [7]

    Filip Cools, Jan Draisma, Sam Payne, and Elina Robeva, A tropical proof of the B rill- N oether theorem , Adv. Math. 230 (2012), no. 2, 759--776. 2914965

    2012

  8. [8]

    Robert Cori and Yvan Le Borgne, On computation of B aker and N orine's rank on complete graphs , Electron. J. Combin. 23 (2016), no. 1, Paper 1.31, 47. 3484736

    2016

  9. [9]

    Lucia Caporaso, Yoav Len, and Margarida Melo, Algebraic and combinatorial rank of divisors on finite graphs, J. Math. Pures Appl. (9) 104 (2015), no. 2, 227--257. 3365828

    2015

  10. [10]

    Nicolas Folinsbee and Joel Friedman, Sheaves and duality in the two-vertex graph riemann-roch theorem, Available as https://arxiv.org/abs/1712.08695

    work page arXiv

  11. [11]

    Nicolas Folinsbee and Joel Friedman, Generalized R iemann functions, their weights and their evaluation on complete graphs , Electron. J. Combin. 30 (2023), no. 2, Paper No. 2.33, 70. 4596341

    2023

  12. [12]

    , Euler characteristics and duality in R iemann functions and the graph R iemann- R och rank , Enumer. Comb. Appl. 5 (2025), no. 3, Paper No. S2R21, 61. 4949610

    2025

  13. [13]

    Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity

    Joel Friedman, Cohomology of G rothendieck topologies and lower bounds in B oolean complexity , preprint, 70 pages. Available at http://arxiv.org/abs/cs/0512008 and http://www.math.ubc.ca/ jf/pubs/web_stuff/groth1.pdf

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    , Sheaves on graphs, their homological invariants, and a proof of the H anna N eumann conjecture: with an appendix by W arren D icks , Mem. Amer. Math. Soc. 233 (2015), no. 1100, xii+106, With an appendix by Warren Dicks. 3289057

    2015

  15. [15]

    Grothendieck and J

    A. Grothendieck and J. A. Dieudonn\'e, El\'ements de g\'eom\'etrie alg\'ebrique. I , Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 166, Springer-Verlag, Berlin, 1971. 3075000

    1971

  16. [16]

    Andreas Gathmann and Michael Kerber, A R iemann- R och theorem in tropical geometry , Math. Z. 259 (2008), no. 1, 217--230. 2377750

    2008

  17. [17]

    Gelfand and Yuri I

    Sergei I. Gelfand and Yuri I. Manin, Methods of homological algebra, second ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. 1950475 (2003m:18001)

    2003

  18. [18]

    Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics, No. 52. 57 \#3116

    1977

  19. [19]

    Jan Hladk\' y , Daniel Kr\' a l , and Serguei Norine, Rank of divisors on tropical curves, J. Combin. Theory Ser. A 120 (2013), no. 7, 1521--1538. 3092681

    2013

  20. [20]

    P. J. Hilton and U. Stammbach, A course in homological algebra, second ed., Graduate Texts in Mathematics, vol. 4, Springer-Verlag, New York, 1997. 1438546 (97k:18001)

    1997

  21. [21]

    Rodney James and Rick Miranda, A R iemann- R och theorem for edge-weighted graphs , Proc. Amer. Math. Soc. 141 (2013), no. 11, 3793--3802. 3091769

    2013

  22. [22]

    332, Springer-Verlag, Berlin, 2006

    Masaki Kashiwara and Pierre Schapira, Categories and sheaves, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 332, Springer-Verlag, Berlin, 2006. 2182076

    2006

  23. [23]

    Algebraic Combin

    Madhusudan Manjunath and Bernd Sturmfels, Monomials, binomials and R iemann- R och , J. Algebraic Combin. 37 (2013), no. 4, 737--756. 3047017

    2013

  24. [24]

    Fatemeh Mohammadi and Farbod Shokrieh, Divisors on graphs, connected flags, and syzygies, Int. Math. Res. Not. IMRN (2014), no. 24, 6839--6905. 3291642

    2014

  25. [25]

    Rotman, An introduction to homological algebra, second ed., Universitext, Springer, New York, 2009

    Joseph J. Rotman, An introduction to homological algebra, second ed., Universitext, Springer, New York, 2009. 2455920

    2009

  26. [26]

    Seymour, The structure of homometric sets, SIAM J

    Joseph Rosenblatt and Paul D. Seymour, The structure of homometric sets, SIAM J. Algebraic Discrete Methods 3 (1982), no. 3, 343--350. 666859

    1982

  27. [27]

    T ome 1: T h\'eorie des topos , Springer-Verlag, Berlin, 1972, S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bois-Marie 1963--1964 (SGA 4), Dirig\'e par M

    Th\'eorie des topos et cohomologie \'etale des sch\'emas. T ome 1: T h\'eorie des topos , Springer-Verlag, Berlin, 1972, S\'eminaire de G\'eom\'etrie Alg\'ebrique du Bois-Marie 1963--1964 (SGA 4), Dirig\'e par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics, Vol....

    1972

  28. [28]

    Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol

    Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. 1269324 (95f:18001)

    1994