Homology manifolds via six functor formalisms

Marco Volpe; Markus Land

arxiv: 2607.00236 · v1 · pith:BP2XS7LEnew · submitted 2026-06-30 · 🧮 math.AT · math.CT· math.GT

Homology manifolds via six functor formalisms

Markus Land , Marco Volpe This is my paper

Pith reviewed 2026-07-02 00:19 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.GT

keywords homology manifoldssix functor formalismcohomologically smoothPoincaré dualitySpivak tangent fibrationhomotopy manifoldsconical singularitiesANR spaces

0 comments

The pith

The six functor formalism of spectral sheaves shows hypercomplete ANR homology manifolds are cohomologically smooth and that compact ones are Poincaré duality complexes with Spivak tangent fibration equal to the dualizing sheaf.

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

This paper applies the six functor formalism for spectral sheaves on locally compact Hausdorff spaces to homology manifolds. It adapts Scholze's characterization of cohomologically smooth objects to prove that any hypercomplete locally compact ANR homology manifold is cohomologically smooth. Compact ANR homology manifolds are shown to be Poincaré duality complexes whose Spivak tangent fibration identifies with the dualizing sheaf of the space. The work also introduces homotopy manifolds, establishes an unstable version of Wilder's orientability conjecture for them, and proves that homotopy manifolds with conical singularities are topological manifolds. A sympathetic reader would care because these identifications connect sheaf-theoretic tools directly to classical geometric properties such as duality and manifold recognition.

Core claim

Using the six functor formalism of spectral sheaves on locally compact Hausdorff spaces, the authors characterize cohomologically smooth objects by adapting an argument of Scholze. They deduce that any hypercomplete locally compact ANR homology manifold is cohomologically smooth. Compact ANR homology manifolds X are Poincaré duality complexes whose Spivak tangent fibration identifies with the dualizing sheaf of X. They prove a generalization of Wilder's monotone mapping theorem about cell-like maps. Hypercomplete ANR homology manifolds are homotopy manifolds, and homotopy manifolds with conical singularities are topological manifolds.

What carries the argument

The six functor formalism of spectral sheaves on locally compact Hausdorff spaces, which carries the adaptation of Scholze's cohomological smoothness argument and enables identification of dualizing sheaves with Spivak fibrations.

If this is right

Compact ANR homology manifolds X are Poincaré duality complexes whose Spivak tangent fibration identifies with the dualizing sheaf of X.
For a compact d-dimensional ANR homology manifold the Spivak tangent fibration canonically destabilizes to a pointed S^d-fibration.
Hypercomplete ANR homology manifolds are homotopy manifolds satisfying an unstable analog of Wilder's orientability conjecture.
Homotopy manifolds with conical singularities are topological manifolds.
Cell-like maps between such spaces satisfy a generalization of Wilder's monotone mapping theorem.

Where Pith is reading between the lines

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

The comparisons between sheaf and singular cohomology obtained along the way could be used to translate classical manifold results into sheaf language.
The relation between shape and weak homotopy type explored in the paper may extend the recognition of manifolds beyond the ANR case.
The Künneth formula results for six functor formalisms might apply to other categories of spaces with similar duality properties.

Load-bearing premise

The six functor formalism of spectral sheaves on locally compact Hausdorff spaces permits a direct adaptation of Scholze's argument to characterize cohomologically smooth objects in this setting.

What would settle it

A hypercomplete locally compact ANR homology manifold that is not cohomologically smooth under the six functor formalism would disprove the main characterization.

read the original abstract

We study homology manifolds through the eyes of the six functor formalism of spectral sheaves on locally compact Hausdorff spaces. As main results, we characterize cohomologically smooth objects by adapting an argument of Scholze, deduce that any hypercomplete locally compact ANR homology manifold is cohomologically smooth, show that compact ANR homology manifolds $X$ are Poincar\'e duality complexes whose Spivak tangent fibration identifies with the dualizing sheaf of $X$, and prove a generalization of Wilder's monotone mapping theorem about cell-like maps. Moreover, we introduce the notion of homotopy manifolds for which we prove an unstable analog of Wilder's orientability conjecture and show that hypercomplete ANR homology manifolds are homotopy manifolds. As a consequence, we show that for a compact $d$-dimensional ANR homology manifold, the Spivak tangent fibration of its associated Poincar\'e duality complex canonically destabilizes to a pointed $S^d$-fibration. Finally, we introduce homotopy manifolds with conical singularities, a generalization of Cohen's triangulated homotopy manifolds, and show that such objects are in fact topological manifolds, generalizing a result of Siebenmann. Along the way, we obtain comparisons between sheaf and singular cohomology and between the shape and the weak homotopy type of a topological space, explore the relation between various notions of cohomological dimension and hypercompleteness, and study six functor formalisms satisfying the K\"unneth formula.

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

The paper gives a six-functor treatment of homology manifolds that produces characterizations of cohomological smoothness and identifies the Spivak fibration with the dualizing sheaf, along with new notions like homotopy manifolds and a result on conical singularities.

read the letter

The main takeaway is that this work adapts Scholze's characterization of cohomologically smooth objects to spectral sheaves on locally compact Hausdorff spaces and uses it to show that hypercomplete locally compact ANR homology manifolds are cohomologically smooth. It also shows that compact ANR homology manifolds are Poincaré duality complexes with the Spivak tangent fibration matching the dualizing sheaf. They introduce homotopy manifolds, prove an unstable orientability result for them, and show that hypercomplete ANR homology manifolds qualify as such. A consequence is that the Spivak fibration for a compact d-dimensional ANR homology manifold destabilizes to a pointed S^d-fibration. They further define homotopy manifolds with conical singularities and prove these are topological manifolds, extending Siebenmann's result, while also generalizing Wilder's monotone mapping theorem.

What stands out as new is the homotopy manifold notion itself, the unstable orientability statement, the destabilization claim, and the conical singularities theorem. The paper also obtains comparisons between sheaf and singular cohomology, shape versus weak homotopy type, and relations among cohomological dimension notions and hypercompleteness, plus some remarks on Künneth-satisfying six-functor formalisms.

The adaptation of Scholze's argument to this setting looks like the load-bearing step, and the abstract indicates it goes through for the relevant objects. The classical inputs (Wilder, Siebenmann) are cited explicitly, so the novelty sits in the categorical reformulation and the new definitions. Without the full proofs it is impossible to check the details of how the six-functor axioms interact with hypercompleteness or the identification of the Spivak fibration, but nothing in the stated claims suggests circularity or invented entities beyond the explicitly introduced homotopy manifolds.

This is aimed at algebraic topologists who already work with six functors or want to see them applied to questions about manifolds and duality. A reader interested in categorical approaches to geometric topology would get concrete new statements to test. The paper deserves a serious referee because the claims are precise, the prior results are standard, and the new notions are falsifiable in the usual sense of the field.

Referee Report

0 major / 0 minor

Summary. The paper develops the six-functor formalism for spectral sheaves on locally compact Hausdorff spaces and applies it to homology manifolds. It adapts Scholze's characterization of cohomologically smooth objects, deduces that hypercomplete locally compact ANR homology manifolds are cohomologically smooth, shows that compact ANR homology manifolds are Poincaré duality complexes with the Spivak tangent fibration identified with the dualizing sheaf, generalizes Wilder's monotone mapping theorem on cell-like maps, introduces the notion of homotopy manifolds (proving an unstable analog of Wilder's orientability conjecture and that hypercomplete ANR homology manifolds are homotopy manifolds), shows that the Spivak fibration of a compact d-dimensional ANR homology manifold destabilizes to a pointed S^d-fibration, and proves that homotopy manifolds with conical singularities are topological manifolds (generalizing Siebenmann). Comparisons between sheaf and singular cohomology, shape versus weak homotopy type, cohomological dimension and hypercompleteness, and Künneth-satisfying formalisms are obtained along the way.

Significance. If the central adaptation of Scholze's argument holds in this setting and the identifications are verified, the work would supply a new categorical framework for classical results on homology manifolds and Poincaré duality spaces, while introducing homotopy manifolds as a potentially useful intermediate notion. The generalization of Siebenmann's theorem on conical singularities and the destabilization result for the Spivak fibration would be of interest to geometric topologists working with six-functor methods.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive summary of the manuscript, and recommendation of minor revision. We appreciate the recognition of the framework's potential utility for geometric topologists.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper adapts an external argument from Scholze to characterize cohomologically smooth objects in the six-functor formalism for spectral sheaves, then deduces properties of ANR homology manifolds and proves generalizations of Wilder's and Siebenmann's classical theorems. New notions (homotopy manifolds, homotopy manifolds with conical singularities) are introduced and shown to satisfy stated properties via direct arguments and comparisons (sheaf vs. singular cohomology, shape vs. weak homotopy type). No step reduces a claimed result to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain; the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on the standard existence and properties of six functor formalisms in the category of spectral sheaves and on classical definitions of ANR spaces and homology manifolds; it introduces the new concept of homotopy manifolds but provides no independent evidence for it beyond the proofs in the paper.

axioms (2)

standard math The six functor formalism exists and satisfies the expected adjunctions and base-change properties for spectral sheaves on locally compact Hausdorff spaces.
Invoked as the foundational framework for all main results.
domain assumption Hypercompleteness is a well-defined and usable property in the relevant ∞-category of sheaves.
Used explicitly in the statements about ANR homology manifolds being cohomologically smooth and homotopy manifolds.

invented entities (1)

homotopy manifold no independent evidence
purpose: To formulate and prove an unstable analog of Wilder's orientability conjecture and to relate it to hypercomplete ANR homology manifolds.
New notion introduced in the paper; no independent evidence outside the constructions given.

pith-pipeline@v0.9.1-grok · 5783 in / 1563 out tokens · 32680 ms · 2026-07-02T00:19:18.134176+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 8 canonical work pages · 1 internal anchor

[1]

[AGV72] M

[AFT17] David Ayala, John Francis, and Hiro Lee Tanaka,Local structures on stratified spaces, Advances in Mathematics307(2017), 903–1028. [AGV72] M. Artin, A. Grothendieck, and J.-L. Verdier (eds.),Th´ eorie des topos et cohomologie ´ etale des sch´ emas. S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois-Marie, 1963-64 (SGA 4), Lecture Notes in Mathematic...

work page arXiv 2017
[2]

topology of homology manifolds

[Bar17] C. Barwick,Spectral Mackey functors and equivariant algebraicK-theory (I), Adv. Math.304 (2017), 646–727. [BFMW96] J. Bryant, S. Ferry, W. Mio, and S. Weinberger,Topology of homology manifolds, Ann. of Math. (2)143(1996), no. 3, 435–467. MR 1394965 [BFMW24] ,Erratum: “topology of homology manifolds”, Ann. of Math. (2)200(2024), no. 2, 799–801. [BH...

2017
[3]

Borsuk,Sur un espace compact localement contractile qui n’est pas un r´ etracte absolu de voisi- nage, Fund

[Bor48] K. Borsuk,Sur un espace compact localement contractile qui n’est pas un r´ etracte absolu de voisi- nage, Fund. Math.35(1948), 175–180. [Bre69] G. E. Bredon,Wilder manifolds are locally orientable, Proc. Nat. Acad. Sci. U.S.A.63(1969), 1079–1081. [Bre97] ,Sheaf theory, second ed., Graduate Texts in Mathematics, vol. 170, Springer-Verlag, New York,

1948
[4]

2292, Springer, Cham, [2021]©2021, pp

[Cis21] ,Cohomological methods in intersection theory, Homotopy theory and arithmetic geometry—motivic and Diophantine aspects, Lecture Notes in Math., vol. 2292, Springer, Cham, [2021]©2021, pp. 49–105. [Cla21] D. Clausen,Lecture notes on algebraic de Rham cohomology, lecture 3, available athttps:// sites.google.com/view/algebraicderham/home,

2021
[5]

Cnossen, T

[CLL25] B. Cnossen, T. Lenz, and S. Linskens,Universality of span 2-categories and the construction of 6-functor formalisms, arXiv preprint arXiv:2505.19192 (2025). [Cno23] B. Cnossen,Twisted ambidexterity in equivariant homotopy theory, arXiv:2303.00736 (2023). [Coh70] M. M. Cohen,Homeomorphisms between homotopy manifolds and their resolutions, Invent. M...

work page arXiv 2025
[6]

LAND AND M

44 M. LAND AND M. VOLPE [Gri54] H. B. Griffiths,A contribution to the theory of manifolds, Michigan Math. J.2(1954), 61–89. MR 63669 [Hei23] H. Heine,An equivalence between enriched∞-categories and∞-categories with weak action, Adv. Math.417(2023), Paper No. 108941,

1954
[7]

Haugseng, F

[HHLN23] R. Haugseng, F. Hebestreit, S. Linskens, and J. Nuiten,Two-variable fibrations, factorisation systems and∞-categories of spans, Forum Math. Sigma11(2023), Paper No. e111,

2023
[8]

Hebestreit, M

[HLWW24] F. Hebestreit, M. Land, M. Weiss, and C. Winges,Homology manifolds and euclidean bundles, arXiv preprint arXiv:2406.14677 (2024). [HM24] C. Heyer and L. Mann,6-Functor Formalisms and Smooth Representations, arXiv preprint arXiv:2410.13038 (2024). [Hol67] P. Holm,Microbundles andS-duality, Acta Math.118(1967), 271–296. MR 231379 [HPT23] P. J. Hain...

work page arXiv 2024
[9]

[Kle01] J. R. Klein,The dualizing spectrum of a topological group, Math. Ann.319(2001), no. 3, 421–456. [KN24] A. Krause and T. Nikolaus,Sheaves on manifolds, available athttps://www.uni-muenster.de/ IVV5WS/WebHop/user/nikolaus/Papers/sheaves-on-manifolds.pdf,

2001
[10]

[KS77] R. C. Kirby and L. C. Siebenmann,Foundational essays on topological manifolds, smoothings, and triangulations, Annals of Mathematics Studies, vol. No. 88, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1977, With notes by John Milnor and Michael Atiyah. MR 645390 [KV25] C. Kremer and M. Volpe,Approximate fibrations in ...

work page arXiv 1977
[11]

Lu and W

[LZ22] Q. Lu and W. Zheng,Categorical traces and a relative Lefschetz-Verdier formula, Forum Math. Sigma10(2022), Paper No. e10,

2022
[12]

[Mil59] John Milnor,On spaces having the homotopy type of aCW-complex, Trans

[Mae24] Takumi Maegawa,On the bauer–furuta construction, arXiv preprint arXiv:2412.16759 (2024). [Mil59] John Milnor,On spaces having the homotopy type of aCW-complex, Trans. Amer. Math. Soc.90 (1959), 272–280. [MW22] L. Martini and S. Wolf,Presentability and topoi in internal higher category theory, arXiv:2209.05103v2 (2022). [MW25] Louis Martini and Seb...

work page arXiv 2024
[13]

The entropy formula for the Ricci flow and its geometric applications

[Per02] G. Perelman,The entropy formula for the Ricci flow and its geometric applications, arXiv preprint math/0211159 (2002). [Pet22] D. Petersen,A remark on singular cohomology and sheaf cohomology, Math. Scand.128(2022), no. 2, 229–238. [Qui83] F. Quinn,Resolutions of homology manifolds, and the topological characterization of manifolds, Invent. Math.7...

work page internal anchor Pith review Pith/arXiv arXiv 2002
[14]

J.34(1987), no

MR 848688 [Qui87] ,An obstruction to the resolution of homology manifolds, Michigan Math. J.34(1987), no. 2, 285–291. MR 894878 [Ran92] A. A. Ranicki,AlgebraicL-theory and topological manifolds, Cambridge Tracts in Mathematics, vol. 102, Cambridge University Press, Cambridge,

1987
[15]

Scholze,Six-Functor Formalisms, arXiv:2510.2626v2 (2025)

MR 1211640 [Sch25] P. Scholze,Six-Functor Formalisms, arXiv:2510.2626v2 (2025). [Sel16] Y. Sella,Comparison of sheaf cohomology and singular cohomology, arXiv:1602.06674 (2016). [Sie70] L. C. Siebenmann,Are nontriangulable manifolds triangulable?, Topology of Manifolds (Proc. Inst., Univ. of Georgia, Athens, Ga., 1969), Markham Publishing Co., Chicago, IL...

work page arXiv 2025
[16]

Volpe,The six operations in topology, Journal of Topology18(2025), no

[Vol25a] M. Volpe,The six operations in topology, Journal of Topology18(2025), no. 4, e70050. [Vol25b] ,Verdier duality on conically smooth stratified spaces, Algebraic & Geometric Topology25 (2025), no. 2, 919–950. [Wal70] C. T. C. Wall,Surgery on compact manifolds, London Mathematical Society Monographs, vol. No. 1, Academic Press, London-New York,

2025
[17]

MR 431216 [Wal06] J. J. Walsh,Dimension, cohomological dimension, and cell-like mappings, Shape Theory and Geo- metric Topology: Proceedings of a Conference Held at the Inter-University Centre of Postgraduate Studies, Dubrovnik, Yugoslavia, January 19–30, 1981, Springer, 2006, pp. 105–118. [Wil49] R. L. Wilder,Topology of Manifolds, American Mathematical ...

1981
[18]

Willard,General topology, Dover Publications, Inc., Mineola, NY, 2004, Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]

MR 29491 [Wil04] S. Willard,General topology, Dover Publications, Inc., Mineola, NY, 2004, Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]. [Zav23] B. Zavyalov,Poincar´ e Duality in abstract 6-functor formalisms, arXiv:2301.03821v2 (2023). JGU Mainz, Institute of Mathematics, Mainz, Germany Email address:mland@uni-mainz.de Universit¨...

work page arXiv 2004

[1] [1]

[AGV72] M

[AFT17] David Ayala, John Francis, and Hiro Lee Tanaka,Local structures on stratified spaces, Advances in Mathematics307(2017), 903–1028. [AGV72] M. Artin, A. Grothendieck, and J.-L. Verdier (eds.),Th´ eorie des topos et cohomologie ´ etale des sch´ emas. S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois-Marie, 1963-64 (SGA 4), Lecture Notes in Mathematic...

work page arXiv 2017

[2] [2]

topology of homology manifolds

[Bar17] C. Barwick,Spectral Mackey functors and equivariant algebraicK-theory (I), Adv. Math.304 (2017), 646–727. [BFMW96] J. Bryant, S. Ferry, W. Mio, and S. Weinberger,Topology of homology manifolds, Ann. of Math. (2)143(1996), no. 3, 435–467. MR 1394965 [BFMW24] ,Erratum: “topology of homology manifolds”, Ann. of Math. (2)200(2024), no. 2, 799–801. [BH...

2017

[3] [3]

Borsuk,Sur un espace compact localement contractile qui n’est pas un r´ etracte absolu de voisi- nage, Fund

[Bor48] K. Borsuk,Sur un espace compact localement contractile qui n’est pas un r´ etracte absolu de voisi- nage, Fund. Math.35(1948), 175–180. [Bre69] G. E. Bredon,Wilder manifolds are locally orientable, Proc. Nat. Acad. Sci. U.S.A.63(1969), 1079–1081. [Bre97] ,Sheaf theory, second ed., Graduate Texts in Mathematics, vol. 170, Springer-Verlag, New York,

1948

[4] [4]

2292, Springer, Cham, [2021]©2021, pp

[Cis21] ,Cohomological methods in intersection theory, Homotopy theory and arithmetic geometry—motivic and Diophantine aspects, Lecture Notes in Math., vol. 2292, Springer, Cham, [2021]©2021, pp. 49–105. [Cla21] D. Clausen,Lecture notes on algebraic de Rham cohomology, lecture 3, available athttps:// sites.google.com/view/algebraicderham/home,

2021

[5] [5]

Cnossen, T

[CLL25] B. Cnossen, T. Lenz, and S. Linskens,Universality of span 2-categories and the construction of 6-functor formalisms, arXiv preprint arXiv:2505.19192 (2025). [Cno23] B. Cnossen,Twisted ambidexterity in equivariant homotopy theory, arXiv:2303.00736 (2023). [Coh70] M. M. Cohen,Homeomorphisms between homotopy manifolds and their resolutions, Invent. M...

work page arXiv 2025

[6] [6]

LAND AND M

44 M. LAND AND M. VOLPE [Gri54] H. B. Griffiths,A contribution to the theory of manifolds, Michigan Math. J.2(1954), 61–89. MR 63669 [Hei23] H. Heine,An equivalence between enriched∞-categories and∞-categories with weak action, Adv. Math.417(2023), Paper No. 108941,

1954

[7] [7]

Haugseng, F

[HHLN23] R. Haugseng, F. Hebestreit, S. Linskens, and J. Nuiten,Two-variable fibrations, factorisation systems and∞-categories of spans, Forum Math. Sigma11(2023), Paper No. e111,

2023

[8] [8]

Hebestreit, M

[HLWW24] F. Hebestreit, M. Land, M. Weiss, and C. Winges,Homology manifolds and euclidean bundles, arXiv preprint arXiv:2406.14677 (2024). [HM24] C. Heyer and L. Mann,6-Functor Formalisms and Smooth Representations, arXiv preprint arXiv:2410.13038 (2024). [Hol67] P. Holm,Microbundles andS-duality, Acta Math.118(1967), 271–296. MR 231379 [HPT23] P. J. Hain...

work page arXiv 2024

[9] [9]

[Kle01] J. R. Klein,The dualizing spectrum of a topological group, Math. Ann.319(2001), no. 3, 421–456. [KN24] A. Krause and T. Nikolaus,Sheaves on manifolds, available athttps://www.uni-muenster.de/ IVV5WS/WebHop/user/nikolaus/Papers/sheaves-on-manifolds.pdf,

2001

[10] [10]

[KS77] R. C. Kirby and L. C. Siebenmann,Foundational essays on topological manifolds, smoothings, and triangulations, Annals of Mathematics Studies, vol. No. 88, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1977, With notes by John Milnor and Michael Atiyah. MR 645390 [KV25] C. Kremer and M. Volpe,Approximate fibrations in ...

work page arXiv 1977

[11] [11]

Lu and W

[LZ22] Q. Lu and W. Zheng,Categorical traces and a relative Lefschetz-Verdier formula, Forum Math. Sigma10(2022), Paper No. e10,

2022

[12] [12]

[Mil59] John Milnor,On spaces having the homotopy type of aCW-complex, Trans

[Mae24] Takumi Maegawa,On the bauer–furuta construction, arXiv preprint arXiv:2412.16759 (2024). [Mil59] John Milnor,On spaces having the homotopy type of aCW-complex, Trans. Amer. Math. Soc.90 (1959), 272–280. [MW22] L. Martini and S. Wolf,Presentability and topoi in internal higher category theory, arXiv:2209.05103v2 (2022). [MW25] Louis Martini and Seb...

work page arXiv 2024

[13] [13]

The entropy formula for the Ricci flow and its geometric applications

[Per02] G. Perelman,The entropy formula for the Ricci flow and its geometric applications, arXiv preprint math/0211159 (2002). [Pet22] D. Petersen,A remark on singular cohomology and sheaf cohomology, Math. Scand.128(2022), no. 2, 229–238. [Qui83] F. Quinn,Resolutions of homology manifolds, and the topological characterization of manifolds, Invent. Math.7...

work page internal anchor Pith review Pith/arXiv arXiv 2002

[14] [14]

J.34(1987), no

MR 848688 [Qui87] ,An obstruction to the resolution of homology manifolds, Michigan Math. J.34(1987), no. 2, 285–291. MR 894878 [Ran92] A. A. Ranicki,AlgebraicL-theory and topological manifolds, Cambridge Tracts in Mathematics, vol. 102, Cambridge University Press, Cambridge,

1987

[15] [15]

Scholze,Six-Functor Formalisms, arXiv:2510.2626v2 (2025)

MR 1211640 [Sch25] P. Scholze,Six-Functor Formalisms, arXiv:2510.2626v2 (2025). [Sel16] Y. Sella,Comparison of sheaf cohomology and singular cohomology, arXiv:1602.06674 (2016). [Sie70] L. C. Siebenmann,Are nontriangulable manifolds triangulable?, Topology of Manifolds (Proc. Inst., Univ. of Georgia, Athens, Ga., 1969), Markham Publishing Co., Chicago, IL...

work page arXiv 2025

[16] [16]

Volpe,The six operations in topology, Journal of Topology18(2025), no

[Vol25a] M. Volpe,The six operations in topology, Journal of Topology18(2025), no. 4, e70050. [Vol25b] ,Verdier duality on conically smooth stratified spaces, Algebraic & Geometric Topology25 (2025), no. 2, 919–950. [Wal70] C. T. C. Wall,Surgery on compact manifolds, London Mathematical Society Monographs, vol. No. 1, Academic Press, London-New York,

2025

[17] [17]

MR 431216 [Wal06] J. J. Walsh,Dimension, cohomological dimension, and cell-like mappings, Shape Theory and Geo- metric Topology: Proceedings of a Conference Held at the Inter-University Centre of Postgraduate Studies, Dubrovnik, Yugoslavia, January 19–30, 1981, Springer, 2006, pp. 105–118. [Wil49] R. L. Wilder,Topology of Manifolds, American Mathematical ...

1981

[18] [18]

Willard,General topology, Dover Publications, Inc., Mineola, NY, 2004, Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]

MR 29491 [Wil04] S. Willard,General topology, Dover Publications, Inc., Mineola, NY, 2004, Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]. [Zav23] B. Zavyalov,Poincar´ e Duality in abstract 6-functor formalisms, arXiv:2301.03821v2 (2023). JGU Mainz, Institute of Mathematics, Mainz, Germany Email address:mland@uni-mainz.de Universit¨...

work page arXiv 2004