Hopfological algebra, revisited

Gustavo Jasso; Juan Omar G\'omez; Marius Nielsen

arxiv: 2606.19485 · v1 · pith:UAIAQKQT · submitted 2026-06-17 · math.RT · math.CT· math.KT

Hopfological algebra, revisited

Juan Omar G\'omez , Gustavo Jasso , Marius Nielsen This is my paper

Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel 2026-06-26 18:36 UTCgrok-4.3pith:UAIAQKQT record.json open to challenge →

classification math.RT math.CTmath.KT

keywords Hopfological algebrainfinity-categoriesmonoidal infinity-categoriesderived categoriesstable infinity-categoriessymmetric monoidal categoriesrepresentation theory

0 comments

The pith

Hopfological algebra can be reformulated using infinity-categories of modules in monoidal infinity-categories, yielding a generalization to arbitrary rigidly-compactly generated symmetric monoidal stable infinity-categories.

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

The paper seeks to provide an infinity-categorical approach to Hopfological algebra. It recasts the previous constructions in terms of infinity-categories of modules in monoidal infinity-categories. This leads to a more general variant of the theory that applies over any rigidly-compactly generated symmetric monoidal stable infinity-category. A sympathetic reader would care because this offers a refined foundation for the theory and extends its reach without sacrificing the core structure.

Core claim

The central discovery is that Hopfological algebra arises naturally from considering modules in monoidal infinity-categories, which both refines the original theory and permits its extension to a much larger class of symmetric monoidal stable infinity-categories that are rigidly-compactly generated.

What carries the argument

The infinity-category of modules over a monoidal infinity-category, which acts as the ambient setting for defining and generalizing the Hopfological structures.

If this is right

Several foundational aspects of Hopfological algebra are refined by the new perspective.
The theory extends to arbitrary rigidly-compactly generated symmetric monoidal stable infinity-categories.
Hopfological derived categories are compared to Q-shaped derived categories.

Where Pith is reading between the lines

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

This perspective may allow Hopfological algebra to interact with tools from stable homotopy theory.
Similar recastings could be attempted for other algebraic constructions that involve derived categories.

Load-bearing premise

The foundational constructions of Hopfological algebra can be faithfully recast as infinity-categories of modules inside monoidal infinity-categories without loss of essential structure.

What would settle it

An explicit check that the generalized construction, when restricted to the original setting, fails to reproduce the expected module categories or derived categories would falsify the central claim.

read the original abstract

We propose an $\infty$-categorical approach to Khovanov--Qi's Hopfological algebra that, in particular, refines several foundational aspects of the theory by recasting the previous constructions in terms of $\infty$-categories of modules in monoidal $\infty$-categories. This perspective leads to a more general variant of Hopfological algebra that takes place over an arbitrary rigidly-compactly generated symmetric monoidal stable $\infty$-category, which we also outline in the article. In the appendix, we compare the construction of Hopfological derived categories to that of Holm--J{\o}rgensen's $Q$-shaped derived categories.

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.

Desk Editor's Note private letter to a colleague

This paper sketches an ∞-categorical recasting of Hopfological algebra that generalizes the Khovanov-Qi setup to rigidly-compactly generated symmetric monoidal stable ∞-categories, but the abstract alone leaves the actual constructions and verifications uncheckable.

read the letter

The core move is to rephrase the original Hopfological constructions as ∞-categories of modules inside monoidal ∞-categories, then extend the whole thing to an arbitrary rigidly-compactly generated symmetric monoidal stable ∞-category. An appendix also lines up the resulting derived categories against Holm-Jørgensen Q-shaped ones.

What is actually new is the claimed generality and the assertion that the recasting refines some foundational points without losing essential structure. If the details work, this supplies a uniform language that might let people import tools from higher category theory into Hopfological settings.

The paper does a reasonable job of stating a clear program and identifying a comparison that was not already in the cited literature. That is useful framing for readers already inside the subfield.

The obvious limitation is that only the abstract is visible here, so there are no derivations, no explicit module constructions, and no checks on whether the generalization preserves the key properties of the original theory. The central assumption—that the Khovanov-Qi material embeds faithfully into the ∞-categorical setting—remains untested in what is provided. Without those steps, it is impossible to judge whether the claims hold or whether new technical obstructions appear.

This is aimed at people already working with ∞-categories in representation theory or homological algebra who want to see how Hopfological algebra might fit inside that language. A reader outside that overlap will probably not get much.

It is worth sending to referees. The proposal is substantive enough that a careful check of the constructions would be a reasonable use of referee time, even if the paper ends up needing substantial revision once the details are examined.

Referee Report

0 major / 1 minor

Summary. The manuscript proposes an ∞-categorical approach to Khovanov--Qi's Hopfological algebra that refines foundational aspects by recasting prior constructions in terms of ∞-categories of modules in monoidal ∞-categories. This yields a generalization of Hopfological algebra to an arbitrary rigidly-compactly generated symmetric monoidal stable ∞-category. An appendix compares the resulting Hopfological derived categories to Holm--Jørgensen's Q-shaped derived categories.

Significance. If the recasting preserves essential structure and the generalization is valid, the work could unify Hopfological algebra with broader ∞-categorical frameworks in stable homotopy theory and representation theory, offering a more flexible setting for derived constructions. The appendix comparison may clarify relations to existing Q-shaped categories.

minor comments (1)

The abstract and outline suggest the central recasting is presented conceptually; explicit verification that the ∞-categorical modules recover the original Hopfological structures (e.g., via universal properties or equivalences) would strengthen the refinement claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary and for recognizing the potential of our ∞-categorical approach to unify Hopfological algebra with broader frameworks in stable homotopy theory and representation theory. No specific major comments were listed in the report, so we have no individual points to address point-by-point at this stage. We remain available to incorporate feedback or clarifications in a revision if the referee provides further details.

Circularity Check

0 steps flagged

No significant circularity; recasting presented as refinement

full rationale

The paper proposes an ∞-categorical reformulation of existing Khovanov-Qi Hopfological algebra as modules in monoidal ∞-categories, yielding a generalization to rigidly-compactly generated symmetric monoidal stable ∞-categories. This is framed as a recasting and outline rather than a derivation chain with predictions or first-principles results. No equations, fitted parameters, or self-citations are described that reduce claims to inputs by construction. The appendix comparison to Q-shaped derived categories is an external reference, not a load-bearing self-referential step. The work is self-contained as a categorical perspective shift.

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 central claim rests on the unverified assumption that prior constructions recast cleanly into ∞-categorical language.

pith-pipeline@v0.9.1-grok · 5626 in / 1120 out tokens · 25807 ms · 2026-06-26T18:36:22.682868+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 5 canonical work pages

[1]

On the Blumberg–Mandell K¨ unneth theorem for TP

Con- temp. Math. Amer. Math. Soc., Providence, RI, 2016, pp. 15–61. [AMN18] B. Antieau, A. Mathew, and T. Nikolaus. “On the Blumberg–Mandell K¨ unneth theorem for TP”.Selecta Math. (N.S.)24.5 (2018), pp. 4555–

2016
[2]

On bialgebras, comodules, descent data and Thom spec- tra in∞-categories

London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1994, pp. xiv+316. [Bea23] J. Beardsley. “On bialgebras, comodules, descent data and Thom spec- tra in∞-categories”.Homology Homotopy Appl.25.2 (2023), pp. 219–

1994
[3]

Models for singularity categories

[Bec14] H. Becker. “Models for singularity categories”.Adv. Math.254 (2014), pp. 187–232. [BGT13] A. J. Blumberg, D. Gepner, and G. Tabuada. “A universal characteriza- tion of higher algebraicK-theory”.Geom. Topol.17.2 (2013), pp. 733–

2014
[4]

The cyclic Deligne conjecture and Calabi-Yau structures

[BGT14] A. J. Blumberg, D. Gepner, and G. c. Tabuada. “Uniqueness of the multiplicative cyclotomic trace”.Adv. Math.260 (2014), pp. 191–232. [BM24] A. J. Blumberg and M. A. Mandell. “The strong K¨ unneth theorem for topological periodic cyclic homology”.Mem. Amer. Math. Soc.301.1508 (2024), pp. v+102. [BR23] C. Brav and N. Rozenblyum. “The cyclic Deligne ...

work page Pith review arXiv 2014
[5]

Symmetric monoidal structure on non- commutative motives

Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2019, pp. xviii+430. [CT12] D.-C. Cisinski and G. Tabuada. “Symmetric monoidal structure on non- commutative motives”.J. K-Theory9.2 (2012), pp. 201–268. [Day70] B. Day. “On closed categories of functors”.Reports of the Midwest Cat- egory Seminar, IV. Lecture Notes in Mathem...

2019
[6]

Cat´ egories tannakiennes

Springer, Berlin, 1970, pp. 1–38. REFERENCES 45 [Del90] P. Deligne. “Cat´ egories tannakiennes”.The Grothendieck Festschrift, Vol. II. Vol

1970
[7]

Hopf algebras and Hopf–Galois extensions in∞-categories

Progr. Math. Birkh¨ auser Boston, Boston, MA, 1990, pp. 111–195. [Erg22] A. Ergus. “Hopf algebras and Hopf–Galois extensions in∞-categories”. PhD thesis. ´Ecole Polytechnique F´ ed´ erale de Lausanne,

1990
[8]

Hopfological algebra for infinite dimensional Hopf al- gebras

Mathematical Surveys and Monographs. American Mathemat- ical Society, Providence, RI, 2015, pp. xvi+343. [Far21] M. A. Farinati. “Hopfological algebra for infinite dimensional Hopf al- gebras”.Algebr. Represent. Theory24.5 (2021), pp. 1325–1357. [Gil11] J. Gillespie. “Model structures on exact categories”.J. Pure Appl. Al- gebra215.12 (2011), pp. 2892–290...

2015
[9]

TheQ-shaped derived category of a ring

London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1988, pp. x+208. [HJ22] H. Holm and P. Jørgensen. “TheQ-shaped derived category of a ring”. J. Lond. Math. Soc. (2)106.4 (2022), pp. 3263–3316. [HJ24a] H. Holm and P. Jørgensen. “A Brief Introduction to the Q-Shaped De- rived Category”.Triangulated Categories in Repres...

1988
[10]

Higher traces, noncommu- tative motives, and the categorified Chern character

Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 1999, pp. xii+209. [HSS17] M. Hoyois, S. Scherotzke, and N. Sibilla. “Higher traces, noncommu- tative motives, and the categorified Chern character”.Adv. Math.309 (2017), pp. 97–154. [Jas24] G. Jasso. “Derived equivalences of upper-triangular ring spectra via lax limits”...

work page arXiv 1999
[11]

On differential graded categories

Graduate Texts in Mathematics. Springer-Verlag, New York, 1995, pp. xii+531. [Kel06] B. Keller. “On differential graded categories”.International Congress of Mathematicians. Vol. II. Eur. Math. Soc., Z¨ urich, 2006, pp. 151–190. [Kel94] B. Keller. “Deriving DG categories”.Ann. Sci. ´Ecole Norm. Sup. (4) 27.1 (1994), pp. 63–102. 46 REFERENCES [Kho16] M. Kh...

1995
[12]

The stable derived category of a Noetherian scheme

[Kra05] H. Krause. “The stable derived category of a Noetherian scheme”.Com- pos. Math.141.5 (2005), pp. 1128–1162. [Kra10] H. Krause. “Localization theory for triangulated categories”.Triangu- lated categories. London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 2010, pp. 161–235. [Lan21] M. Land.Introduction to infinity-categories. Com...

2005
[13]

Rotation invariance in algebraicK-theory

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur15] J. Lurie. “Rotation invariance in algebraicK-theory” (2015). [Lur17a] J. Lurie. “Elliptic cohomology I: Spectral abelian varieties” (2017). [Lur17b] J. Lurie.Higher Algebra. May

2009
[14]

The Galois group of a stable homotopy theory

[Mat16] A. Mathew. “The Galois group of a stable homotopy theory”.Advances in Mathematics291 (2016), pp. 403–541. [Mon93] S. Montgomery.Hopf algebras and their actions on rings. Vol

2016
[15]

The American Mathemat- ical Society, Providence, RI, 1993, pp

CBMS Regional Conference Series in Mathematics. The American Mathemat- ical Society, Providence, RI, 1993, pp. xiv+238. [Nee01] A. Neeman.Triangulated categories. Vol

1993
[16]

Presentably symmetric monoidal∞-categories are represented by symmetric monoidal model categories

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2001, pp. viii+449. [NS17] T. Nikolaus and S. Sagave. “Presentably symmetric monoidal∞-categories are represented by symmetric monoidal model categories”.Algebr. Geom. Topol.17.5 (2017), pp. 3189–3212. [Oha24] M. Ohara. “A model structure on the category of equivariant A-modules ove...

work page arXiv 2001
[17]

Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

arXiv:2012.07159. [Pos11] L. Positselski. “Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence”.Mem. Amer. Math. Soc.212.996 (2011), pp. vi+133. [Qi14] Y. Qi. “Hopfological algebra”.Compos. Math.150.1 (2014), pp. 1–45. [QS17] Y. Qi and J. Sussan. “Categorification at prime roots of unity and hop- fological finiteness”...

work page arXiv 2012
[18]

On somep-differential graded link homologies

Contemp. Math. Amer. Math. Soc., Providence, RI, 2017, pp. 261–286. [QS22] Y. Qi and J. Sussan. “On somep-differential graded link homologies”. Forum Math. Pi10 (2022), Paper No. e26,

2017
[19]

On somep-differential graded link homologies, II

[QS23] Y. Qi and J. Sussan. “On somep-differential graded link homologies, II”.Algebr. Geom. Topol.23.7 (2023), pp. 3357–3394. [Ram23] M. Ramzi. “Separability in homotopical algebra” (Oct. 2023). arXiv: 2305.17236. REFERENCES 47 [Ros05] J. r. Rosick´ y. “Generalized Brown representability in homotopy cate- gories”.Theory Appl. Categ.14 (2005), no. 19, 451...

work page arXiv 2023
[20]

American Mathematical Society, Providence, RI, 2015, pp

University Lecture Se- ries. American Mathematical Society, Providence, RI, 2015, pp. x+114. [Wei94] C. A. Weibel.An introduction to homological algebra. Vol

2015
[21]

Cambridge University Press, Cambridge, 1994, pp

Cam- bridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994, pp. xiv+450. (G´ omez)F akultat f¨ur Mathematik, Universit ¨at Bielefeld, 33501 Bielefeld, Germany Email address:jgomez@math.uni-bielefeld.de (Jasso)Mathematisches Institut, Universit ¨at zu K ¨oln, Weyertal 86-90,, 50931 K ¨oln, Germany Email address:gjasso@math.uni...

1994

[1] [1]

On the Blumberg–Mandell K¨ unneth theorem for TP

Con- temp. Math. Amer. Math. Soc., Providence, RI, 2016, pp. 15–61. [AMN18] B. Antieau, A. Mathew, and T. Nikolaus. “On the Blumberg–Mandell K¨ unneth theorem for TP”.Selecta Math. (N.S.)24.5 (2018), pp. 4555–

2016

[2] [2]

On bialgebras, comodules, descent data and Thom spec- tra in∞-categories

London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1994, pp. xiv+316. [Bea23] J. Beardsley. “On bialgebras, comodules, descent data and Thom spec- tra in∞-categories”.Homology Homotopy Appl.25.2 (2023), pp. 219–

1994

[3] [3]

Models for singularity categories

[Bec14] H. Becker. “Models for singularity categories”.Adv. Math.254 (2014), pp. 187–232. [BGT13] A. J. Blumberg, D. Gepner, and G. Tabuada. “A universal characteriza- tion of higher algebraicK-theory”.Geom. Topol.17.2 (2013), pp. 733–

2014

[4] [4]

The cyclic Deligne conjecture and Calabi-Yau structures

[BGT14] A. J. Blumberg, D. Gepner, and G. c. Tabuada. “Uniqueness of the multiplicative cyclotomic trace”.Adv. Math.260 (2014), pp. 191–232. [BM24] A. J. Blumberg and M. A. Mandell. “The strong K¨ unneth theorem for topological periodic cyclic homology”.Mem. Amer. Math. Soc.301.1508 (2024), pp. v+102. [BR23] C. Brav and N. Rozenblyum. “The cyclic Deligne ...

work page Pith review arXiv 2014

[5] [5]

Symmetric monoidal structure on non- commutative motives

Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2019, pp. xviii+430. [CT12] D.-C. Cisinski and G. Tabuada. “Symmetric monoidal structure on non- commutative motives”.J. K-Theory9.2 (2012), pp. 201–268. [Day70] B. Day. “On closed categories of functors”.Reports of the Midwest Cat- egory Seminar, IV. Lecture Notes in Mathem...

2019

[6] [6]

Cat´ egories tannakiennes

Springer, Berlin, 1970, pp. 1–38. REFERENCES 45 [Del90] P. Deligne. “Cat´ egories tannakiennes”.The Grothendieck Festschrift, Vol. II. Vol

1970

[7] [7]

Hopf algebras and Hopf–Galois extensions in∞-categories

Progr. Math. Birkh¨ auser Boston, Boston, MA, 1990, pp. 111–195. [Erg22] A. Ergus. “Hopf algebras and Hopf–Galois extensions in∞-categories”. PhD thesis. ´Ecole Polytechnique F´ ed´ erale de Lausanne,

1990

[8] [8]

Hopfological algebra for infinite dimensional Hopf al- gebras

Mathematical Surveys and Monographs. American Mathemat- ical Society, Providence, RI, 2015, pp. xvi+343. [Far21] M. A. Farinati. “Hopfological algebra for infinite dimensional Hopf al- gebras”.Algebr. Represent. Theory24.5 (2021), pp. 1325–1357. [Gil11] J. Gillespie. “Model structures on exact categories”.J. Pure Appl. Al- gebra215.12 (2011), pp. 2892–290...

2015

[9] [9]

TheQ-shaped derived category of a ring

London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1988, pp. x+208. [HJ22] H. Holm and P. Jørgensen. “TheQ-shaped derived category of a ring”. J. Lond. Math. Soc. (2)106.4 (2022), pp. 3263–3316. [HJ24a] H. Holm and P. Jørgensen. “A Brief Introduction to the Q-Shaped De- rived Category”.Triangulated Categories in Repres...

1988

[10] [10]

Higher traces, noncommu- tative motives, and the categorified Chern character

Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 1999, pp. xii+209. [HSS17] M. Hoyois, S. Scherotzke, and N. Sibilla. “Higher traces, noncommu- tative motives, and the categorified Chern character”.Adv. Math.309 (2017), pp. 97–154. [Jas24] G. Jasso. “Derived equivalences of upper-triangular ring spectra via lax limits”...

work page arXiv 1999

[11] [11]

On differential graded categories

Graduate Texts in Mathematics. Springer-Verlag, New York, 1995, pp. xii+531. [Kel06] B. Keller. “On differential graded categories”.International Congress of Mathematicians. Vol. II. Eur. Math. Soc., Z¨ urich, 2006, pp. 151–190. [Kel94] B. Keller. “Deriving DG categories”.Ann. Sci. ´Ecole Norm. Sup. (4) 27.1 (1994), pp. 63–102. 46 REFERENCES [Kho16] M. Kh...

1995

[12] [12]

The stable derived category of a Noetherian scheme

[Kra05] H. Krause. “The stable derived category of a Noetherian scheme”.Com- pos. Math.141.5 (2005), pp. 1128–1162. [Kra10] H. Krause. “Localization theory for triangulated categories”.Triangu- lated categories. London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 2010, pp. 161–235. [Lan21] M. Land.Introduction to infinity-categories. Com...

2005

[13] [13]

Rotation invariance in algebraicK-theory

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur15] J. Lurie. “Rotation invariance in algebraicK-theory” (2015). [Lur17a] J. Lurie. “Elliptic cohomology I: Spectral abelian varieties” (2017). [Lur17b] J. Lurie.Higher Algebra. May

2009

[14] [14]

The Galois group of a stable homotopy theory

[Mat16] A. Mathew. “The Galois group of a stable homotopy theory”.Advances in Mathematics291 (2016), pp. 403–541. [Mon93] S. Montgomery.Hopf algebras and their actions on rings. Vol

2016

[15] [15]

The American Mathemat- ical Society, Providence, RI, 1993, pp

CBMS Regional Conference Series in Mathematics. The American Mathemat- ical Society, Providence, RI, 1993, pp. xiv+238. [Nee01] A. Neeman.Triangulated categories. Vol

1993

[16] [16]

Presentably symmetric monoidal∞-categories are represented by symmetric monoidal model categories

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2001, pp. viii+449. [NS17] T. Nikolaus and S. Sagave. “Presentably symmetric monoidal∞-categories are represented by symmetric monoidal model categories”.Algebr. Geom. Topol.17.5 (2017), pp. 3189–3212. [Oha24] M. Ohara. “A model structure on the category of equivariant A-modules ove...

work page arXiv 2001

[17] [17]

Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence

arXiv:2012.07159. [Pos11] L. Positselski. “Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence”.Mem. Amer. Math. Soc.212.996 (2011), pp. vi+133. [Qi14] Y. Qi. “Hopfological algebra”.Compos. Math.150.1 (2014), pp. 1–45. [QS17] Y. Qi and J. Sussan. “Categorification at prime roots of unity and hop- fological finiteness”...

work page arXiv 2012

[18] [18]

On somep-differential graded link homologies

Contemp. Math. Amer. Math. Soc., Providence, RI, 2017, pp. 261–286. [QS22] Y. Qi and J. Sussan. “On somep-differential graded link homologies”. Forum Math. Pi10 (2022), Paper No. e26,

2017

[19] [19]

On somep-differential graded link homologies, II

[QS23] Y. Qi and J. Sussan. “On somep-differential graded link homologies, II”.Algebr. Geom. Topol.23.7 (2023), pp. 3357–3394. [Ram23] M. Ramzi. “Separability in homotopical algebra” (Oct. 2023). arXiv: 2305.17236. REFERENCES 47 [Ros05] J. r. Rosick´ y. “Generalized Brown representability in homotopy cate- gories”.Theory Appl. Categ.14 (2005), no. 19, 451...

work page arXiv 2023

[20] [20]

American Mathematical Society, Providence, RI, 2015, pp

University Lecture Se- ries. American Mathematical Society, Providence, RI, 2015, pp. x+114. [Wei94] C. A. Weibel.An introduction to homological algebra. Vol

2015

[21] [21]

Cambridge University Press, Cambridge, 1994, pp

Cam- bridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994, pp. xiv+450. (G´ omez)F akultat f¨ur Mathematik, Universit ¨at Bielefeld, 33501 Bielefeld, Germany Email address:jgomez@math.uni-bielefeld.de (Jasso)Mathematisches Institut, Universit ¨at zu K ¨oln, Weyertal 86-90,, 50931 K ¨oln, Germany Email address:gjasso@math.uni...

1994