Pith. sign in

REVIEW 1 major objections 4 minor 55 references

Open embeddings and pseudoflat epimorphisms

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The paper proves that open embeddings of Stein spaces and of C∞-manifolds are exactly the 1-pseudoflat epimorphisms induced on their function algebras.

desk verdict Solid homological characterization of open embeddings; the smooth-case equivalence is conditional on an unproved extension of Ogneva's projectivity theorem. read the letter →

arxiv 1908.02117 v3 pith:7HZRGCQ2 submitted 2019-08-06 math.FA math.CVmath.RA

classification math.FAmath.CVmath.RA MSC 46M1846H2546E2532A3816E30
keywords openembeddingsSteinspacesC∞-manifoldspseudoflatepimorphismshomologicalFréchetalgebrasTorfunctorfunction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper sets out to find a homological condition on the algebra of holomorphic or smooth functions that exactly detects when a map between spaces is an open embedding. For Stein spaces it proves that a holomorphic map $f:Y\to X$ is an open embedding if and only if the induced homomorphism $f^\bullet:\mathcal{O}(X)\to\mathcal{O}(Y)$ is a 1-pseudoflat epimorphism, and for $C^\infty$-manifolds the corresponding statement holds with the additional equivalence to flat and projective epimorphisms. This matters because in the algebraic setting open embeddings of affine schemes are known to be the flat epimorphisms of finite presentation, while the analytic version of flatness fails: the algebra of holomorphic functions on an open subset is usually not flat over the whole algebra. The paper's substitute notion replaces full flatness by the vanishing of only the first Tor and a canonical zeroth-Tor identification, which is strong enough to force local biholomorphy or local diffeomorphy at every point.

What carries the argument

The key object is the $n$-pseudoflat epimorphism: a continuous homomorphism $\phi:A\to B$ of Fréchet algebras such that $\operatorname{Tor}^A_i(B,B)=0$ for $1\le i\le n$ and $\operatorname{Tor}^A_0(B,B)\cong B$ canonically. The paper's main technical tool is the characterization (Theorem 3.24) of 1-pseudoflat epimorphisms in terms of noncommutative differential forms and derivations: $\phi$ is a 1-pseudoflat epimorphism exactly when the induced map $\operatorname{Der}(B,X)\to\operatorname{Der}(A,X)$ is bijective for every Fréchet $B$-bimodule $X$ and an extra Hausdorffness condition $(*)$ holds. This differential-form criterion is what connects the abstract Tor conditions to geometry: applied to point modules $\mathbb{C}_q$, it forces the tangent map of $f$ to be bijective, while epimorphicity plus the character-space bijection for Stein spaces and manifolds forces $f$ to be injective. Together these yield local biholomorphy or local diffeomorphy, and hence openness of the embedding.

What would settle it

Take a smooth compact manifold such as the two-dimensional torus, remove two disjoint closed disks so that the remaining open set is not contained in any coordinate chart, and check whether the smooth functions on it still form a projective Fréchet module over the smooth functions on the torus; if not, the theorem's implication from open embedding to projective epimorphism fails.

Watch

Extended reading notes

Core claim

The central discovery is an exact dictionary between geometry and homological algebra. A morphism $f:Y\to X$ of Stein spaces is an open embedding exactly when $f^\bullet:\mathcal{O}(X)\to\mathcal{O}(Y)$ is a 1-pseudoflat epimorphism, equivalently a weak homological epimorphism, equivalently an epimorphism satisfying the pointwise transversality condition $\mathcal{O}(Y)\perp^1_{\mathcal{O}(X)}\mathbb{C}_q$ for every $q\in Y$. For smooth manifolds the same conclusion holds, and the 1-pseudoflat condition is also equivalent to $f^\bullet$ being a projective epimorphism, a flat epimorphism, a strong homological epimorphism, or a weak homological epimorphism. In the Stein case flatness is genuinely too strong to be the right test, so the 1-pseudoflat epimorphism is the correct analytic replacement.

Load-bearing premise

The smooth case depends on a cited result asserting that for every open subset of a manifold, the smooth function algebra on that subset behaves homologically like a direct factor of the smooth function algebra on the whole manifold; the cited proof covers only open subsets lying inside a coordinate chart, and the paper asserts the general case without giving the argument.

Editorial extensions

If this is right

  • A holomorphic map between Stein spaces is an open embedding exactly when its induced algebra homomorphism is a 1-pseudoflat epimorphism, so the geometry of the map can be read from the vanishing of the first Tor space and a canonical zeroth-Tor identification.
  • For smooth maps between $C^\infty$-manifolds the same 1-pseudoflat test also implies flatness, projectivity, and strong homological-epimorphism properties of the induced homomorphism, giving several independent algebraic certificates for openness.
  • The classical affine-scheme theorem that flat epimorphisms of finite presentation are open embeddings now has analytic and smooth analogues in which finite presentation is not needed and flatness is weakened to 1-pseudoflatness.
  • Every restriction map $\mathcal{O}(X)\to\mathcal{O}(U)$ to a Stein open subset is a weak homological epimorphism, so the localization framework covers all Stein open subsets, not just polydomains in $\mathbb{C}^n$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the Stein restriction maps beyond polydomains are also strong homological epimorphisms, the Stein and smooth theorems would match closely; the open unit ball in $\mathbb{C}^2$ is the concrete test case the paper leaves open.
  • The derivation bijection in Theorem 3.24 suggests interpreting 1-pseudoflatness as a first-order infinitesimal test: applying it at point modules gives the tangent-space isomorphisms that force local diffeomorphy, so replacing point modules by jet modules could yield homological tests for submersions or immersions.
  • Since a quotient map onto a Whitney subspace is 1-pseudoflat without being an open embedding, a $C^\infty$-differentiable-space analogue of Theorem 5.3 will need an additional injectivity or separation condition beyond Tor vanishing.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper studies continuous homomorphisms of Fréchet algebras induced by maps of Stein spaces and of smooth manifolds. It introduces n-pseudoflat epimorphisms, defined by vanishing of the first n Tors and by the canonical isomorphism at Tor_0, and proves that for Stein spaces a holomorphic map is an open embedding exactly when the induced map on holomorphic function algebras is a 1-pseudoflat epimorphism (Theorem 4.2). For smooth manifolds it claims a stronger equivalence: open embeddings are characterized by projective, flat, strong homological, weak homological, and 1-pseudoflat epimorphisms (Theorem 5.3). The paper also corrects a gap in an earlier version of Theorem 3.24 by adding a condition (*) to the differential-form characterization of 1-pseudoflat epimorphisms.

Significance. The main results are natural and significant: they provide analytic and smooth analogues of the algebraic characterization of open embeddings as flat epimorphisms of finite presentation, and they do so in a setting where ordinary flatness is known to fail. The paper is carefully written and gives substantial historical context. A particular strength is that the authors explicitly acknowledge and repair the previous gap in Theorem 3.24. However, the smooth case rests on an external projectivity theorem of Ogneva whose extension to arbitrary open subsets is asserted only in a footnote. Since this extension is used as the entry point of the implication chain (vii)⇒(i) in Theorem 5.3, the full equivalence is not yet established as written. The gap appears fixable, but it must be addressed before the central claim can be accepted.

major comments (1)
  1. [Theorem 5.3, proof of (vii)⇒(i), footnote 1] The proof of (vii)⇒(i) invokes [37, Theorem 2] to conclude that C∞(Y) is projective over C∞(X) for an arbitrary open subset Y of X, with the footnote stating that the proof in [37], given for Y contained in a coordinate neighborhood, 'readily carries over' to the general case. This is a load-bearing step: it is the only argument for projectivity, which then feeds into the equivalences with flat, strong homological, and weak homological epimorphisms. The extension is not automatic. A natural reduction using a locally finite partition of unity would express C∞(Y) as a direct summand of a product of modules C∞(Ui∩Y), but an infinite product of projective Fréchet modules need not be projective in Helemskii's category of Fréchet modules. The authors should either supply a complete proof of the extension or give a precise reference that covers the general case; the current footnote is insufficient.
minor comments (4)
  1. [Lemma 5.1] The proof of Lemma 5.1 is omitted as standard. Although this is a routine hom-tensor adjunction, the lemma is used in the proof of Lemma 5.2, which is itself used in the proof of (vi)⇒(vii) of Theorem 5.3. The authors should either include the short proof or cite a published statement that covers the Fréchet module setting.
  2. [Dedication and text] The dedication contains a typo: 'occas ion' should be 'occasion'.
  3. [Theorem 3.24, footnote about condition (*)] The note explaining that condition (*) was missing in the first version and in the published journal version is helpful and honest, but the statement that the authors do not know whether (*) is essential leaves a small unresolved question; it would be good to add a remark on whether (*) can be verified in the main geometric examples without additional work.
  4. [Remark 4.3] The comparison with flatness results in [1] and [3] is interesting, but the sentence 'the restriction map O(C)→O(D) is a 1-pseudoflat epimorphism by Theorem 4.2' might give the impression of circularity, since Theorem 4.2 is the paper's own result; the immediate reference to [52, Prop. 3.1] already placed in parentheses resolves this, so the wording could be tightened.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the characterizations are derived from external geometric and algebraic theorems; self-citations are ingredient lemmas, not the source of the target equivalence.

full rationale

The paper's central claims, Theorems 4.2 and 5.3, assert equivalences between open embeddings and flatness-type conditions on function algebra homomorphisms. The definitions involved are independent: n-pseudoflat epimorphisms are defined via Tor vanishing and canonical isomorphisms (Definition 3.4), not in terms of open embeddings or of the target theorems. The proof of Theorem 4.2 uses external inputs such as Forster's bijection between points and characters, Grauert-Remmert local algebra results, and Eschmeier-Putinar's transversality result [16, Corollary 4.2.5]; these do not presuppose the conclusion. The smooth case uses the point-character bijection for C-infinity manifolds and Ogneva's projectivity theorem. The only internal issue explicitly flagged in the paper is the footnote to Theorem 5.3 stating that Ogneva's proof for coordinate neighborhoods 'readily carries over' to the general case. This is an unverified external-input risk, not a circular step: the cited theorem is independent prior work, and the claimed extension is not obtained by renaming or fitting. The authors' own earlier results, such as [38] and [40], appear as examples or as technical lemmas (e.g., [40, Prop. 3.2] for admissibility of the three bar-resolution sequences), but the load-bearing implications do not reduce to those self-citations. No fitted parameters, no self-definitional identifications, and no ansatz smuggled in via citation were found. The paper is therefore self-contained in its derivation chain apart from ordinary reliance on external theorems, and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters appear. The central claim rests on standard background from Stein theory, Frechet homological algebra, and a cited projectivity theorem for smooth function algebras. No ad hoc fitted quantities or newly invented physical entities are introduced.

assumptions (5)
  • standard math Cartan Theorems A and B, and the exactness and faithfulness of global sections for coherent sheaves on finite-dimensional Stein spaces
    Used in Lemma 4.1 and in the proof of Theorem 4.2 to pass between sheaf exactness and exactness of Frechet modules of global sections.
  • standard math Forster's bijection Z ≅ Hom(O(Z),C) for Stein spaces, and its smooth analog Z ≅ Hom(C∞(Z),C)
    Used in Theorems 4.2 and 5.3 to derive injectivity of f from epimorphism of f• (Satz 1 of [18]; [36], Theorem 7.2).
  • standard math The transversality result [16, Corollary 4.2.5] computing Tor for restriction maps to Stein open subsets
    Used in the (iv)⇒(i) direction of Theorem 4.2 to show that the restriction map is a weak homological epimorphism.
  • domain assumption Ogneva's theorem that C∞(Y) is projective over C∞(X) for an open subset Y⊂X, with the paper asserting that the proof extends from coordinate neighborhoods to the general case
    Load-bearing for (vii)⇒(i) in Theorem 5.3; the generalization is asserted in a footnote rather than proved.
  • standard math Nuclearity of O(X) and C∞(X), and existence of projective resolutions in the categories of Frechet modules
    Needed for Proposition 3.17 and for the definition of Tor in the Frechet setting, following Helemskii [29].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Open embeddings and pseudoflat epimorphisms." pith.science (2026). https://pith.science/paper/7HZRGCQ2

@misc{pith2026190802117,
  author       = {Pith},
  title        = {Pith review of: Open embeddings and pseudoflat epimorphisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7HZRGCQ2}},
  note         = {Machine review of arXiv:1908.02117}
}
abstract

We characterize open embeddings of Stein spaces and of $C^\infty$-manifolds in terms of certain flatness-type conditions on the respective homomorphisms of function algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 54 canonical work pages

  1. [37]

    Ogneva, O. S. Coincidence of the homological dimensions of the Frechet al gebra of smooth functions on a manifold with the dimension of the manifold , Functional Analysis and Its Applications 20(3), 248–250

  2. [1]

    Flat ring epimorphisms and universal localisations of commutative rings

    Angeleri H¨ ugel, L., Marks, F., ˇSˇtov ´ ıˇ cek, J., Takahashi, R., and Vit´ oria, J.Flat ring epimorphisms and universal localizations of commutative rings . Preprint arXiv:1807.01982 [math.RT]

  3. [2]

    Stein domains in Banach algebraic geometry

    Bambozzi, F., Ben-Bassat, O., and Kremnizer, K. Stein domains in Banach algebraic geometry . J. Funct. Anal. 274 (2018), no. 7, 1865–1927

  4. [3]

    and Positselski, L

    Bazzoni, S. and Positselski, L. Contramodules over pro-perfect topological rings, the cov ering prop- erty in categorical tilting theory, and homological ring ep imorphisms. Preprint arXiv:1807.10671 [math.CT]

  5. [4]

    and Kremnizer, K

    Ben-Bassat, O. and Kremnizer, K. Non-Archimedean analytic geometry as relative algebraic g eome- try. Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), no. 1, 49–126. 20 O. YU. ARISTOV AND A. YU. PIRKOVSKII

  6. [5]

    Bergman, G. M. and Dicks W. Universal derivations and universal ring constructions . Pacific J. Math. 79 (1978), 293–337

  7. [6]

    A duality theorem for an arbitrary operator

    Bishop, E. A duality theorem for an arbitrary operator . Pacific J. Math. 9 (1959), 379–397

  8. [7]

    Elements of mathematics

    Bourbaki, N. Elements of mathematics. Commutative algebra . Hermann, Paris; Addison-Wesley Publishing Co., Reading, Mass., 1972

Show all 55 references
  1. [8]

    Banach modules and functors on categories of Banach spaces

    Cigler, J., Losert, V., and Michor, P. Banach modules and functors on categories of Banach spaces . Lecture Notes in Pure and Applied Mathematics, 46. Marcel Dekker , Inc., New York, 1979

  2. [9]

    and Quillen, D

    Cuntz, J. and Quillen, D. Algebra extensions and nonsingularity . J. Amer. Math. Soc. 8 (1995), no. 2, 251–289

  3. [10]

    Dales, H. G. Banach algebras and automatic continuity . London Mathematical Society Monographs. New Series, 24. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 2000

  4. [11]

    Complex analytic and differential geometry

    Demailly, J.-P. Complex analytic and differential geometry . Book in preparation. https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf

  5. [12]

    Mayer-Vietoris presentations over colimits of rings

    Dicks, W. Mayer-Vietoris presentations over colimits of rings . Proc. London Math. Soc. (3) 34 (1977), no. 3, 557–576

  6. [13]

    Dosiev, A. A. Homological dimensions of the algebra of entire functions o f elements of a nilpotent Lie algebra (Russian). Funktsional. Anal. i Prilozhen. 37 (2003), no. 1, 73–77; translation in Funct. Anal. Appl. 37 (2003), no. 1, 61–64

  7. [14]

    Local left invertibility for operator tuples and noncommut ative localizations

    Dosiev, A. Local left invertibility for operator tuples and noncommut ative localizations. J. K-Theory 4 (2009), no. 1, 163–191

  8. [15]

    Formally-radical functions in elements of a nilpotent Lie a lgebra and noncommutative lo- calizations

    Dosi, A. Formally-radical functions in elements of a nilpotent Lie a lgebra and noncommutative lo- calizations. Algebra Colloq. 17 (2010), Special Issue No. 1, 749–788

  9. [16]

    and Putinar, M

    Eschmeier, J. and Putinar, M. Spectral decompositions and analytic sheaves . London Mathematical Society Monographs. New Series, 10. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1996

  10. [17]

    Complex analytic geometry

    Fischer, G. Complex analytic geometry . Lecture Notes in Mathematics, Vol. 538. Springer-Verlag, Berlin-New York, 1976

  11. [18]

    Zur Theorie der Steinschen Algebren und Moduln , Math

    Forster, O. Zur Theorie der Steinschen Algebren und Moduln , Math. Z. 97 (1967), 376–405

  12. [19]

    Abelian categories

    Freyd, P. Abelian categories. An introduction to the theory of functo rs. Harper & Row, New York, 1964

  13. [20]

    and Lenzing, H

    Geigle, W. and Lenzing, H. Perpendicular categories with applications to representations and sheaves. J. Algebra 144 (1991), no. 2, 273–343

  14. [21]

    Geiler, V. A. Some classes of projective locally convex spaces (Russian). Izv. Vyss. Ucebn. Zaved. Matematika 1978, no. 3 (190), 40–42

  15. [22]

    and Remmert, R

    Grauert, H. and Remmert, R. Analytische Stellenalgebren . Springer-Verlag, Berlin-New York, 1971

  16. [23]

    and Remmert, R

    Grauert, H. and Remmert, R. Theory of Stein spaces , Springer-Verlag, Berlin-New York, 1979

  17. [24]

    Connections, curvature, and cohomology

    Greub, W., Halperin, S., and Vanstone, R. Connections, curvature, and cohomology. Vol. I: De Rham cohomology of manifolds and vector bundles . Pure and Applied Mathematics, Vol. 47. Academic Press, New York-London, 1972

  18. [25]

    and Dieudonne, J

    Grothendieck, A. and Dieudonne, J. A. ´El´ ements de g´ eom´ etrie alg´ ebrique. I.Springer-Verlag, Berlin, 1971

  19. [26]

    ´El´ ements de g´ eom´ etrie alg´ ebrique

    Grothendieck, A. ´El´ ements de g´ eom´ etrie alg´ ebrique. IV.´Etude locale des sch´ emas et des morphismes de sch´ emas IV. Inst. Hautes ´Etudes Sci. Publ. Math., No. 32, 1967

  20. [27]

    Helemskii, A. Ya. The homological dimension of normed modules over Banach alg ebras (Russian). Mat. Sb. (N.S.) 81 (123) (1970), 430–444

  21. [28]

    Helemskii, A. Ya. A certain class of flat Banach modules and its applications (Russian). Vestnik Moskov. Univ. Ser. I Mat. Meh. 27 (1972), no. 1, 29–36

  22. [29]

    Helemskii, A. Ya. The homology of Banach and topological algebras. Mathematics and its Applications (Soviet Series), 41. Kluwer Academic Publishers Group, Dordrecht , 1989

  23. [30]

    Helemskii, A. Ya. Banach and locally convex algebras . Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1993

  24. [31]

    Johnson, B. E. Cohomology in Banach algebras . Mem. Amer. Math. Soc., No. 127. American Math- ematical Society, Providence, R.I., 1972. OPEN EMBEDDINGS AND PSEUDOFLAT EPIMORPHISMS 21

  25. [32]

    and Verdier, J

    Kiehl, R. and Verdier, J. L. Ein einfacher Beweis des Koh¨ arenzsatzes von Grauert, Math. Ann. 195 (1971), 24–50

  26. [33]

    Embeddings of derived categories of bornological modules , arXiv.org:math.F A/0410596

    Meyer, R. Embeddings of derived categories of bornological modules , arXiv.org:math.F A/0410596

  27. [34]

    Navarro Gonzalez, J. A. and Sancho de Salas, J. B. C∞ -differentiable spaces . Lecture Notes in Mathematics, 1824. Springer-Verlag, Berlin, 2003

  28. [35]

    and Ranicki, A

    Neeman, A. and Ranicki, A. Noncommutative localization and chain complexes. I. Algeb raic K- and L-theory, arXiv.org:math.RA/0109118

  29. [36]

    Smooth manifolds and observables

    Nestruev, J. Smooth manifolds and observables . Graduate Texts in Mathematics, 220. Springer- Verlag, New York, 2003

  30. [38]

    Pirkovskii, A. Yu. On certain homological properties of Stein algebras , Functional analysis, 3. J. Math. Sci. (New York) 95 (1999), no. 6, 2690–2702

  31. [39]

    Pirkovskii, A. Yu. Biprojective topological algebras of homological bidimen sion 1, J. Math. Sci. (New York) 111 (2002), No. 2, 3476–3495

  32. [40]

    Pirkovskii, A. Yu. Stably flat completions of universal enveloping algebras , Dissertationes Math. (Rozprawy Math.) 441 (2006), 1–60

  33. [41]

    Pirkovskii, A. Yu. Arens-Michael envelopes, homological epimorphisms, and r elatively quasi-free al- gebras. (Russian). Tr. Mosk. Mat. Obs. 69 (2008), 34–125; translation in Trans. Moscow Math. Soc. 2008, 27–104

  34. [42]

    Pirkovskii, A. Yu. Weak homological dimensions and biflat K¨ othe algebras. (Russian). Mat. Sb. 199 (2008), no. 5, 45–80; translation in Sb. Math. 199 (2008), no. 5–6, 673–705

  35. [43]

    Derived categories for Functional Analysis

    Prosmans, F. Derived categories for Functional Analysis. Publ. Res. Inst. Math. Sci. 36 (2000), no. 1, 19–83

  36. [44]

    Spectral theory and sheaf theory

    Putinar, M. Spectral theory and sheaf theory. I. Dilation theory, Toeplitz operators, and other topics (Timi¸ soara/Herculane, 1982), 283–297, Oper. Theory Adv. Ap pl., 11, Birkh¨ auser, Basel, 1983

  37. [45]

    S´ eminaire de G´ eom´ etrie Analytique de l’´Ecole Normale Sup´ erieur, Paris, 1971–1972

    Quelques probl` emes de modules. S´ eminaire de G´ eom´ etrie Analytique de l’´Ecole Normale Sup´ erieur, Paris, 1971–1972. Dirig´ e par Adrien Douady et Jean-Louis Verdier . Ast´ erisque, No. 16. Soci´ et´ e Math´ ematique de France, Paris, 1974

  38. [46]

    Higher algebraic K-theory

    Quillen, D. Higher algebraic K-theory. I. Algebraic K-theory, I: Higher K-theories (Proc. Conf., Bat- telle Memorial Inst., Seattle, Wash., 1972), pp. 85–147. Lecture N otes in Math., Vol. 341, Springer, Berlin, 1973

  39. [47]

    Rieffel, M. A. Induced Banach representations of Banach algebras and loca lly compact groups , J. Functional Analysis 1 (1967), 443–491

  40. [48]

    Lectures on amenability

    Runde, V. Lectures on amenability . Lecture Notes in Mathematics, 1774. Springer-Verlag, Berlin, 2002

  41. [49]

    Schofield, A. H. Representation of rings over skew fields . London Mathematical Society Lecture Note Series, 92. Cambridge University Press, Cambridge, 1985

  42. [50]

    Rings of quotients, Die Grundlehren der Mathe matischen Wissenschaften, Band 217

    Stenstr¨ om, B. Rings of quotients, Die Grundlehren der Mathe matischen Wissenschaften, Band 217. Springer-Verlag, New York, 1975

  43. [51]

    Taylor, J. L. Homology and cohomology for topological algebras , Adv. Math. 9 (1972), 137–182

  44. [52]

    Taylor, J. L. A general framework for a multi-operator functional calcul us, Adv. Math. 9 (1972), 183–252

  45. [53]

    Taylor, J. L. Functions of several noncommuting variables , Bull. Amer. Math. Soc. 79 (1973), 1–34

  46. [54]

    and Vezzosi, G

    To¨ en, B. and Vezzosi, G. Homotopical algebraic geometry. II. Geometric stacks and a pplications. Mem. Amer. Math. Soc. 193 (2008), no. 902

  47. [55]

    Id´ eaux de fonctions differentiables

    Tougeron, J.-C. Id´ eaux de fonctions differentiables. Springer-Verlag, Berlin-New York, 1972. Oleg Yu. Aristov Email address : aristovoyu@inbox.ru Alexei Yu. Pirkovskii, F aculty of Mathematics, HSE Univers ity, 6 Usacheva, 119048 Moscow, Russia Email address : aupirkovskii@hse.ru

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.