A configuration space model for algebraic function spaces

Oishee Banerjee

REVIEW 4 major objections 5 minor 29 references

A configuration space model for algebraic function spaces

T0 review · 4 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Under acyclicity and point-separation hypotheses, the cohomology of the algebraic map space $\operatorname{Mor}_d(X,Y)$ is computed by a spectral sequence built from configuration spaces of $X$, the Picard variety, and auxiliary schemes…

desk verdict The stable range formula in Theorem 1.0.1 mis-solves Angehrn-Siu, so the theorem as written is false, but the hypercover/∆S spectral sequence idea is new and likely repairable. read the letter →

arxiv 2501.00105 v1 pith:SC2NIOYX submitted 2024-12-30 math.AG math.AT

Oishee Banerjee This is my paper · ORCID

classification math.AGmath.AT MSC 14D2214C3014F0814F2014C17

keywords configurationspacemodelalgebraicmapspacesspectralsequencemixedHodgestructuresGaloisrepresentationshomologicalstabilityhypercoverspoint-separatinglinebundles

topics The Hodge Conjecture

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

The paper proves that, when the degree $d$ is acyclic and separates $r(d)$ points, the cohomology of the moduli space $\operatorname{Mor}_d(X,Y)$ of algebraic maps between smooth projective varieties is governed by a first-quadrant spectral sequence whose $E_1$ page is made from the sign-twisted symmetric invariants of the cohomology of the configuration space $\mathring{X}^p$, the cohomology of the Picard variety $\operatorname{Pic}^d(X)$, and compactly supported cohomology of auxiliary schemes attached to $Y$. This is an algebro-geometric analogue of the classical configuration-space model for continuous function spaces, and it is stronger than the topological analogue in that every term and differential carries Galois representations and mixed Hodge structures. For maps to projective space the sequence collapses at $E_2$ in a stable range, and the length of that range is an explicit intersection-theoretic number computed from $X$ alone. A reader should care because it reduces a rigid and difficult object—the space of algebraic maps—to configuration spaces and intersection theory, where the structure is explicit.

What carries the argument

The load-bearing object is a proper hypercover $\pi_\bullet:X_\bullet(Y)\to Z_d(X,Y)$ of the discriminant locus $Z_d(X,Y)$ of the natural compactification of $\operatorname{Mor}_d(X,Y)$, together with the symmetric simplicial category $\Delta^S$, a variant of the simplex category in which each level carries symmetric-group actions. The hypercover is built by recording, along with a tuple of sections defining a map, the common zero loci of those sections; for $Y=\mathbb{P}^N$ its levels $X_r$ are projectivizations of stratified vector bundles over $X^{r+1}\times \operatorname{Pic}^d(X)$, which makes them stratified fiber bundles satisfying Q-Leray–Hirsch. Cohomological descent identifies the constant sheaf on $Z_d(X,Y)$ with the total complex of the hypercover, and passage through $\Delta^S$ with sign-twisted $S_p$-invariants transforms this into a Koszul-type cochain complex, equation (4.1.5). The key formal identity is Lemma 3.1.5, which identifies the alternating-face complex of a $\Delta^S$-sheaf with the sign-twisted symmetric-invariant complex; this is what turns the hypercover into the configuration-space $E_1$ page.

What would settle it

Compute the $E_1$ page and $H_c^*(\operatorname{Mor}_d(X,Y);\mathbb{Q})$ for an explicit pair satisfying the hypotheses of Theorem 1.0.1—say $X=\mathbb{P}^1$, $Y=\mathbb{P}^2$ with a fixed degree $d$, checked over a finite field by comparing Frobenius traces on both sides. A disagreement at any bidegree with $p\le r(d)+1$ would falsify the configuration-space model.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.0.1. Let $X$ be a smooth projective $n$-fold, $(Y,\Upsilon)$ a polarized smooth projective variety, and $d\in N^1(X)$ acyclic and separating $r(d)$ points. Then there is a first-quadrant spectral sequence of Galois representations and mixed Hodge structures $E_1^{p,q}\Rightarrow H_c^{p+q}(\operatorname{Mor}_d(X,Y);\mathbb{Q})$, and for $p\le r(d)+1$ the page is $$$E_1^{{p,*}}$ = \big((H^*(\mathring{X}^p;\mathbb{Q})\otimes \operatorname{sgn}_{S_p})^{S_p}\big)\otimes H^*(\operatorname{Pic}^d(X);\mathbb{Q})\otimes H_c^*(Y(D_{p-1});\mathbb{Q}),$$ where $\mathring{X}^p$ is $X^p$ with all diagonals removed and $Y(D_{p-1})$ are auxiliary schemes defined in §2.5.4. When $Y=\mathbb{P}^N$, the sequence collapses at $E_2$ for $0\le p\le r(d)+1$ and $\dim\operatorname{Mor}_d(X,Y)-r(d)\le q\le \dim\operatorname{Mor}_d(X,Y)$, yielding homological stability in that range. If $\delta=d-c_1(K_X)$ is ample, the stable bound satisfies $$r(d)=\left\lfloor\min_{[W]\in CH^k(X),\,1\le k\le n}\left(2(\delta^k.[W])^{1/k}-\frac{n}{2}+\frac{n-1}{2}\right)\right\rfloor-1.$$ Thus the cohomology of algebraic map spaces is controlled by the configuration spaces of the domain, the Picard variety, and auxiliary moduli of $Y$, with arithmetic and Hodge structure intact.

Load-bearing premise

The load-bearing premise is that, for every $r\le r(d)$, the auxiliary schemes $X_r(Y)$ are nonempty and have Q-Leray–Hirsch cohomology over each stratum of $X^{r+1}\times\operatorname{Pic}^d(X)$ (so that the $E_1$ page factors as a product), and that $\operatorname{Mor}_d(X,Y)$ itself is nonempty; the paper states that no general sufficient condition for this is known for a reasonably large class of targets.

Editorial extensions

If this is right

For any polarized target satisfying the §2.5.4 assumptions, the Galois representation and mixed Hodge structure on $H_c^*(\operatorname{Mor}_d(X,Y);\mathbb{Q})$ is packaged by the configuration-space $E_1$ page, so those structures on the map space are determined by the corresponding structures on $\mathring{X}^p$, $\operatorname{Pic}^d(X)$, and $Y(D_{p-1})$.
For $Y=\mathbb{P}^N$, the collapse at $E_2$ in the stated range gives explicit stable cohomology of $\operatorname{Mor}_d(X,\mathbb{P}^N)$ from $H^*(X)$, $H^*(\operatorname{Pic}^d(X))$, and projective-space factors, and implies homological stability near the top of the cohomological range.
The stable range $r(d)$ is an intersection-theoretic invariant of $X$: when $\delta=d-c_1(K_X)$ is ample it is given by (1.0.5), so the more positive $\delta$ is, the larger the range in which the configuration-space model computes the full cohomology.
The same hypercover-to-Koszul mechanism, with separation of points replaced by jet-ampleness, also applies to spaces of sections of vector bundles, reproducing the cohomological results of the cited work [DH24] by this method.

Reading between the lines

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

If the model holds, the stable cohomology of $\operatorname{Mor}_d(X,\mathbb{P}^N)$, viewed as a functor of the polarization degree $d$, should exhibit representation stability in the symmetric-group direction; the paper does not explore this consequence.
Because all steps are algebraic, one can test the theorem arithmetically: over a finite field, the trace of Frobenius on $H_c^*(\operatorname{Mor}_d(X,Y))$ should equal the alternating sum of traces on the $E_1$ page in the claimed range, a check accessible for low-dimensional $X$ and $Y$ without computing the whole spectral sequence.
A natural first test beyond projective space is $X=\mathbb{P}^1$ and $Y$ a smooth low-degree hypersurface, where point-counting estimates for mapping spaces are available; the paper itself notes that no general condition guaranteeing the §2.5.4 hypothesis is known, so such a check would decide whether the model has a genuinely wider scope.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Dear colleague,

The headline: the main theorem as stated is false, but the machinery behind it is new and possibly salvageable. The paper's stable range formula (1.0.5) mis-solves the Angehrn-Siu inequality, and that error propagates into statements 1 and 2.

What is genuinely new: Banerjee gives a higher-dimensional algebro-geometric configuration space model for algebraic maps, extending her curve case and Bendersky-Gitler. The construction of a proper hypercover over the discriminant locus, the use of the symmetric simplicial category and ∞-categorical descent, and the resulting spectral sequence with Galois and Hodge structures is a real idea. For Y = P^N the E1 term is explicit and the geometry of the X_r as projectivized stratified vector bundles is concrete. That part deserves attention.

The soft spots are serious. Solving (2.2.1) for r gives r < (1/n)(δ^k·[W])^{1/k} − n/2 + 1/2, not 2(δ^k·[W])^{1/k} − n/2 + (n−1)/2. The missing division by n is not cosmetic. On X = P^2 with d = O(1), the true r(d) is 2 (O(1) separates two points but not three collinear ones), whereas (1.0.5) evaluates to 6. So the advertised equality in Theorem 1.0.1(3) is false. Moreover, Angehrn-Siu is a sufficient criterion, so even a correct bound would be a lower bound on r(d), not an exact equality.

There's also an indexing inconsistency: the theorem states the E1 description for p ≤ r(d)+1, but the proof of (4.1.9) only claims it for p ≤ r(d)−1, and then (4.2.2) switches back to p ≤ r(d)+1. That needs to be sorted out.

Finally, the blanket assumption in §2.5.4 — that every X_r(Y) is nonempty and satisfies Q-Leray-Hirsch on each stratum — is exactly what makes the arbitrary-Y result work, and the paper concedes no general sufficient conditions are known. So the theorem is really about P^N plus whatever sporadic cases satisfy that hypothesis.

Who should read this? People working on stable cohomology of moduli of maps, configuration space models, and the intersection-theoretic approach to point separation. The paper is not ready for publication, but it is not a waste of time: the hypercover/∆S framework is worth a serious look, and a referee could help the author fix the bound and the indexing.

My recommendation: send it to review if the author is willing to address the formula error and the range-of-p issue. A serious referee is warranted because the core construction is novel and the flaws are localized, even though the theorem as written is wrong.

Referee Report

4 major / 5 minor

Summary. The paper proposes a configuration space model for the cohomology of the moduli space Mor_d(X,Y) of algebraic maps between smooth projective varieties. For acyclic d and a polarized target Y, it constructs a proper hypercover of the discriminant locus and, under a Q-Leray-Hirsch assumption, derives a first-quadrant spectral sequence whose E_1-term is expressed in terms of cohomology of configuration spaces of X, the Picard variety, and auxiliary schemes Y(D_p). For Y = P^N it claims the sequence collapses at E_2 in a range, and it gives an explicit intersection-theoretic formula for the stable range r(d) based on the Angehrn-Siu criterion. The paper is a continuation of the author's earlier work on curves and uses the language of derived infinity-categories of constructible sheaves.

Significance. If the theorem were correct, it would be a striking algebro-geometric analogue of Bendersky-Gitler's result, with additional Galois/MHS structure. The hypercover construction is natural and the use of symmetric simplicial descent is elegant. However, the stated formula for r(d) is false, the range in the spectral sequence is inconsistent between theorem and proof, and the general case rests on an unproven Leray-Hirsch condition with no known verifying examples beyond projective space. The paper therefore does not currently establish its main claims.

major comments (4)

[§2.3.1, Eq. (2.3.1) and Theorem 1.0.1(3), Eq. (1.0.5)] The displayed formula for r(d) is obtained by solving the Angehrn-Siu inequality (2.2.1) incorrectly, and it also converts a sufficient condition into an exact equality. From (2.2.1), (δ^k·[W])^{1/k} > (n/2)(n+2r−1), the largest integer r satisfies r < (δ^k·[W])^{1/k}/n − (n−1)/2, not r = floor(2(δ^k·[W])^{1/k} − n/2 + (n−1)/2) − 1. Moreover, Angehrn-Siu only guarantees separation, so the maximum number of separated points can be larger than the bound. A concrete failure is X = P^1, d = O(1): here n = 1, δ = d − K_X = O(3), and (1.0.5) evaluates to 4, while O(1) separates exactly 2 points (H^0(O(1)) has dimension 2, and evaluation at 3 points cannot be surjective). Thus Theorem 1.0.1(3) is false as stated, and statements 1 and 2 inherit an incorrect quantitative range.
[Theorem 1.0.1(1) vs. §4.1.9, Eq. (4.1.9)] The theorem states that the E_1 description (1.0.3) holds for all p ≤ r(d)+1, but the proof in §4.1, equation (4.1.9), says 'for all p ≤ r(d)−1'. Later, (4.2.1) says 'for all p ≤ r(d)' and (4.2.2) uses p ≤ r(d)+1. These three ranges cannot all be correct. If the intended range is r(d)+1, the proof must justify the two additional degrees; if it is r(d)−1, the theorem overreaches. This is a load-bearing point because the range is the main quantitative output of the configuration space model.
[§2.5.4 and Theorem 1.0.1] The theorem's statement for arbitrary Y is conditional on an assumption that is not listed as a hypothesis. Paragraph 2.5.4 assumes that Mor_d(X,Y) is nonempty and that, for all r ≤ r(d), X_r(Y) is nonempty and satisfies Q-Leray-Hirsch on each stratum. Remark 2.5.5 states that no sufficient conditions for such a stratified fibre bundle structure are known for a reasonably large class of Y. Consequently, outside the case Y = P^N (where Lemma 2.4.7 provides the structure), the theorem appears to have no verified instances, and the general statement is not established. The theorem should state this assumption explicitly and either provide examples or restrict to cases where the condition can be verified.
[Lemma 3.1.5, §3.1.4–3.1.5] The proof of Lemma 3.1.5 is not self-contained: the abelian case is quoted from [Ban24, Lemma 2.7] and the infinity-categorical adaptation is only sketched via a spectral sequence in (3.1.4)–(3.1.5). Since this lemma is essential for replacing the simplicial cochain complex by its sign-twisted invariants in (4.1.5), the reader cannot verify a key step without reconstructing the argument from [FL91] and [Lur17]. Please provide a complete proof or a precise reference that states the infinity-categorical version.

minor comments (5)

[§2.4.4, Eqs. (2.4.8)–(2.4.10) and (2.4.18)–(2.4.20)] The projection pr23 is defined twice with different meanings: in (2.4.10) it denotes projection to the first two factors, which should be called pr12. The same mislabeling occurs in (2.4.18)–(2.4.20). This makes the proof of Lemma 2.4.4 unnecessarily hard to follow.
[§3.1.1] The claim that the symmetric group S_{r+1} acts freely on X_r is false when some of the x_i coincide, since such tuples have nontrivial stabilizers. The Delta^S-structure does not require freeness, so the wording should be corrected.
[Abstract and Introduction] The abstract contains grammatical slips: 'admit a configuration space model' should be 'admits a configuration space model', and 'should be a thought of' should be 'should be thought of'.
[Eq. (2.5.1) and surrounding text] The condition 'g(s_0,...,s_N) = 0' is written as if g were a single polynomial, but in the setup g = (g_1,...,g_m) is a set of generators. The equations should state g_i(s_0,...,s_N) = 0 for all i.
[References] The reference [Har77] is dated '977' and should read '1977'. Also, several arXiv references (e.g., [Aum24], [Ban22], [Men21]) would benefit from version numbers and the year of the arXiv posting.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: spectral sequence derived from hypercover descent; cited self-work is independent prior machinery.

full rationale

The derivation of Theorem 1.0.1 is not circular. The E1-page is obtained from the proper hypercover X•(Y) → Z_d(X,Y) via cohomological descent (4.1.2)–(4.1.5), and the identification of (4.1.9) uses the explicit stratified projective-bundle geometry of Lemma 2.4.7 together with the Q-Leray-Hirsch hypothesis stated in §2.5.4; that hypothesis is a genuine extra condition, not the conclusion being tested. The use of the author's earlier [Ban24] supplies the symmetric-simplicial formalism and the abelian case of Lemma 3.1.5, but [Ban24]'s statement does not include the spectral sequence or map-space cohomology proved here, and the ∞-categorical adaptation is argued from [FL91] and [Lur17]. The formula (1.0.5)/(2.3.1) for r(d) is asserted by reading Angehrn-Siu's sufficient numerical criterion as an exact equality; whether or not that is mathematically valid, it is an external criterion invoked as evidence, not a self-referential reduction. Interestingly, §2.5.5 candidly notes the absence of general sufficient conditions for the Leray-Hirsch hypothesis, which limits the theorem's applicability but does not make the argument circular.

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

No numerical parameters are fitted to data; d is chosen by Lemma 2.3.1 and δ is fixed, but these are not fitted values. No new physical entities are introduced; the auxiliary schemes Y(D_p) are defined mathematical constructions rather than ungrounded entities.

assumptions (6)

standard math Angehrn-Siu effective freeness theorem: if (L^k·[W])^{1/k} > n(n+2r-1)/2 for all subvarieties W, then L⊗K_X separates r points.
Invoked in Lemma 2.3.1 and to derive the stable bound in (2.3.1) and Theorem 1.0.1(3).
standard math Kodaira vanishing: H^i(X, K_X⊗L) = 0 for ample L and i > 0.
Used in Lemma 2.3.1 to ensure the chosen class d is acyclic.
domain assumption Point separation for adjoint line bundles is a numerical property of the class.
Needed to pass from a chosen line bundle to the whole numerical class d = c1(K_X)+δ; cited to Angehrn-Siu and related literature.
standard math Cohomological descent for proper hypercovers in the derived infinity-category of constructible sheaves.
Main ingredient in section 4.1, following Gaitsgory-Lurie and Liu-Zheng.
ad hoc to paper Nonemptiness and Q-Leray-Hirsch for each X_r(Y) over the strata (paragraph 2.5.4).
Unproved for arbitrary Y; the E1 description (4.1.9) depends on it. The paper remarks no general criterion is known.
standard math Fiedorowicz-Loday comparison: symmetric simplicial cohomology equals ordinary cohomology over Q (Lemma 3.1.5).
Used to pass from ordinary sheaf cohomology to S_n-invariants in (4.1.5); proof sketch defers to FL91 and Ban24.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A configuration space model for algebraic function spaces." pith.science (2026). https://pith.science/paper/SC2NIOYX

@misc{pith2026250100105,
  author       = {Pith},
  title        = {Pith review of: A configuration space model for algebraic function spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SC2NIOYX}},
  note         = {Machine review of arXiv:2501.00105}
}

read the original abstract

We prove that the space of algebraic maps between two smooth projective varieties, under certain conditions, admit a configuration space model, thereby obtaining an algebro-geometric analogue of Bendersky-Gitler's result on topological function spaces. Our result is a natural higher dimensional counterpart of \cite[Theorem 3]{Ban24}.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 28 canonical work pages

[1]

Ahearn and N

S.T. Ahearn and N. J. Kuhn. Product and other fine structure in polynomialresolutions of mapping spaces. Algebraic and Geometric Topology , 2002

work page 2002
[2]

Anderson

D.W. Anderson. A generalization of the eilenberg-moore spectral sequence. Bull. Amer.Math. Soc. 78, 784-788. , 1972

work page 1972
[3]

G. Arone. A generalization of snaith–type filtration. Trans. A.M.S. 351,1123–1250. , 1999

work page 1999
[4]

Angehrn and Y.-T

U. Angehrn and Y.-T. Siu. Effective freeness and point separation for adjoint bundles. Inventiones mathematicae, Volume 122, Number 1, Page 291 , 1995

work page 1995
[5]

The topology of spaces of holomorphic maps to projective space

Alexis Aumonier. The topology of spaces of holomorphic maps to projective space. arXiv:2402.05500 , 2024

work page Pith review arXiv 2024
[6]

Moduli of curves on toric varieties and their stable cohomology

Oishee Banerjee. Moduli of curves on toric varieties and their stable cohomology. arXiv:2210.05826 , 2022

work page Pith review arXiv 2022
[7]

Filtration of cohomology via symmetric semisimplicial spaces

Oishee Banerjee. Filtration of cohomology via symmetric semisimplicial spaces. Math Z. Volume 308, article number 16, https://doi.org/10.1007/s00209-024-03563-z , 2024

work page doi:10.1007/s00209-024-03563-z 2024
[8]

Bendersky and S

M. Bendersky and S. Gitler. The cohomology of certain function spaces. Transactions of the American Mathematical Society , 1991

work page 1991

Show all 29 references

[9]

Browning and W

T. Browning and W. Sawin. A geometric version of the circle method. Ann. of Mathematics, volume 191-3 , 2020

2020
[10]

Batyrev and Y

V. Batyrev and Y. Tschinkel. Manin’s conjecture for toric varieties. Journal of Algebraic Geometry , 1998

1998
[11]

Cohomological and motivic inclusion–exclusion

Ronno Das and Sean Howe. Cohomological and motivic inclusion–exclusion. Compositio Mathematica 160(9):2228-2283 , 2024

2024
[12]

Crossed simplicial groups and their associated homology

Zbigniew Fiedorowicz and Jean-Louis Loday. Crossed simplicial groups and their associated homology. Transactions of the American Mathematical Society, Volume 326, 57-87 , 1991

1991
[13]

B. L. Feigin and B. L. Tsygan. Additive k-theory. K-Theory, Arithmetic and Geometry, Volume 1289 , 1987

1987
[14]

Groethendieck and J

A. Groethendieck and J. Diudonne. Éléments de géométrie algébrique : Iii. Étude cohomologique des faisceaux cohérents, seconde partie. Publications Mathématiques de l'IHÉS, Volume 17, pp. 5-91. , 1963

1963
[15]

Gaitsgory and J

D. Gaitsgory and J. Lurie. Weil’s conjecture for function fields. https://www.math.ias.edu/ lurie/papers/tamagawa.pdf , 2014-2017

2014
[16]

Weil's conjecture for function fields: Volume 1

Dennis Gaitsgory and Jacob Lurie. Weil's conjecture for function fields: Volume 1. Annals of Mathematical Studies, No. 199 , 2019

2019
[17]

Algebraic Geometry

Robin Hartshorne. Algebraic Geometry . Springer , 977
[18]

Topological methods in algebraic geometry

Friedrich Hirzebruch. Topological methods in algebraic geometry. Classics in Mathematics, Springer , 1978

1978
[19]

Quoc P. Ho. Higher representation stability for ordered configuration spaces and twisted commutative factorization algebras. https://arxiv.org/abs/2004.00252 , 2020

2004 arXiv
[20]

On a diﬀerential-geometric method in the theory of analytic stacks

Kunihiko Kodaira. On a diﬀerential-geometric method in the theory of analytic stacks. Proc. Natl. Acad. Sci. USA 39, 1268 - 1273 , 1953

1953
[21]

Skew simplicial groups

R.L Krasauskas. Skew simplicial groups. Lith Math J 27, 47–54 , 1987

1987
[22]

Higher algebra

Jacob Lurie. Higher algebra. https://people.math.harvard.edu/ lurie/papers/HA.pdf , September, 2017

2017
[23]

Enhanced six operations and base change theorem for higher artin stacks

Yifeng Liu and Weizhe Zheng. Enhanced six operations and base change theorem for higher artin stacks. arXiv:1211.5948v4 , 2024

2024 arXiv
[24]

Algebraic cycles on fiber bundles of L eray- H irsch type

Lingxu Meng. Algebraic cycles on fiber bundles of L eray- H irsch type. https://arxiv.org/pdf/1907.10199 , 2021

1907 arXiv
[25]

Spaces of rational maps and the stone–weierstrass theorem

Jacob Mostovoy. Spaces of rational maps and the stone–weierstrass theorem. Topology, vol. 45, no. 2, pp. 281–293 , 2006

2006
[26]

Imaginary quadratic points on toric varieties via universal torsors

Marta Pieropan. Imaginary quadratic points on toric varieties via universal torsors. Manuscripta Mathematica 150(3-4) , 2016

2016
[27]

Pirashvili and B

T. Pirashvili and B. Richter. Hochschild and cyclic homology via functor homology. K-Theory,25(1):39–49 , 2002

2002
[28]

Stratified vector bundles: Examples and constructions

Ethan Ross. Stratified vector bundles: Examples and constructions. https://arxiv.org/pdf/2303.04200 , 2024

2024 arXiv
[29]

Foundations of algebraic geometry, draft

Ravi Vakil. Foundations of algebraic geometry, draft. 2015

2015

Pith tools

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

[1] [1]

Ahearn and N

S.T. Ahearn and N. J. Kuhn. Product and other fine structure in polynomialresolutions of mapping spaces. Algebraic and Geometric Topology , 2002

work page 2002

[2] [2]

Anderson

D.W. Anderson. A generalization of the eilenberg-moore spectral sequence. Bull. Amer.Math. Soc. 78, 784-788. , 1972

work page 1972

[3] [3]

G. Arone. A generalization of snaith–type filtration. Trans. A.M.S. 351,1123–1250. , 1999

work page 1999

[4] [4]

Angehrn and Y.-T

U. Angehrn and Y.-T. Siu. Effective freeness and point separation for adjoint bundles. Inventiones mathematicae, Volume 122, Number 1, Page 291 , 1995

work page 1995

[5] [5]

The topology of spaces of holomorphic maps to projective space

Alexis Aumonier. The topology of spaces of holomorphic maps to projective space. arXiv:2402.05500 , 2024

work page Pith review arXiv 2024

[6] [6]

Moduli of curves on toric varieties and their stable cohomology

Oishee Banerjee. Moduli of curves on toric varieties and their stable cohomology. arXiv:2210.05826 , 2022

work page Pith review arXiv 2022

[7] [7]

Filtration of cohomology via symmetric semisimplicial spaces

Oishee Banerjee. Filtration of cohomology via symmetric semisimplicial spaces. Math Z. Volume 308, article number 16, https://doi.org/10.1007/s00209-024-03563-z , 2024

work page doi:10.1007/s00209-024-03563-z 2024

[8] [8]

Bendersky and S

M. Bendersky and S. Gitler. The cohomology of certain function spaces. Transactions of the American Mathematical Society , 1991

work page 1991