A configuration space model for algebraic function spaces

Basic Information

• Paper ID: 2501.00105
• Title: A configuration space model for algebraic function spaces
• Author: Oishee Banerjee
• Classification: math.AG (Algebraic Geometry), math.AT (Algebraic Topology)
• Publication Date: December 30, 2024
• Paper Link: https://arxiv.org/abs/2501.00105

Abstract

This paper proves that under certain conditions, the space of algebraic maps between two smooth projective varieties admits a configuration space model, thereby obtaining an algebraic geometry analogue of the Bendersky-Gitler results on topological function spaces. This result is a natural higher-dimensional generalization of the author's previous work Ban24, Theorem 3.

Research Background and Motivation

Problem Setting

The core problem investigated in this paper is establishing connections between algebraic map spaces and configuration spaces. Specifically:

1. Topological Background: The relationship between continuous map spaces and configuration spaces has a rich research history, including foundational work by Anderson, Bendersky-Gitler, Snaith and others, particularly regarding stable splitting phenomena of function spaces under specific connectivity conditions.
2. Algebraic Geometry Challenge: Due to the rigidity of morphisms between algebraic varieties, directly transferring topological results to the algebraic geometry setting is unrealistic.
3. Research Motivation: Despite rigidity issues, the author demonstrates that under strong conditions imposed on the target, the moduli space of algebraic morphisms between two smooth projective varieties can admit a configuration space model in a certain sense.

Significance

The importance of this research is reflected in:

• Establishing deep connections between algebraic geometry and topology
• Providing new geometric perspectives for understanding the cohomological structure of algebraic map spaces
• Generalizing the author's previous results on curves to higher dimensions

Core Contributions

1. Main Theorem Establishment: Proves that under specific conditions, the cohomology of the algebraic map space $\text{Mor}_d(X,Y)$ admits a configuration space model, establishing a spectral sequence: $E_1^{p,q} \Rightarrow H_c^{p+q}(\text{Mor}_d(X,Y);\mathbb{Q})$
2. Stability Results: In the case $Y = \mathbb{P}^N$, proves homological stability, namely that the spectral sequence degenerates in a specific range.
3. Explicit Bound Estimates: Provides an explicit formula for the stability bound $r(d)$: $r(d) = \left\lfloor \min_{[W] \in \text{CH}_k(X), 1 \leq k \leq n} \frac{2(\delta^k \cdot [W])^{1/k} - n^2 + n - 1}{2} \right\rfloor - 1$
4. Hodge Structure Preservation: Proves that the constructed spectral sequence preserves Galois representations and mixed Hodge structures.

Detailed Methodology

Task Definition

Let $X$ and $Y$ be smooth projective varieties over an algebraically closed field of characteristic 0, and $\Upsilon$ a polarization on $Y$. Define:

• $\text{Mor}_d(X,Y)$: the moduli space of morphisms $f: X \to Y$ of degree $d$
• A numerical class $d \in N^1(X)$ separates $r$ points: if and only if $d$ is ample and every line bundle in $\text{Pic}_d(X)$ separates $r$ points

Core Construction

1. Hypercovering Construction

For each $r \geq 0$, define the space: $X_r(Y) := \left\{((L, [s_0 : \ldots : s_N]), (x_0, \ldots, x_r)) : \bigcap_{0 \leq i \leq N} \text{div}(s_i) \ni x_j, \forall j\right\}$

This forms a proper hypercovering of the discriminant locus $Z_d(X,Y)$.

2. Sheaf-Theoretic Methods

Uses the framework of derived $\infty$-categories of constructible sheaves developed by Gaitsgory-Lurie, equipped with Grothendieck's six-functor formalism. The key is utilizing cohomological descent for proper hypercoverings:

$\text{Hom}(\mathbb{Q}_{Z_d(X,Y)}, \mathbb{Q}_{Z_d(X,Y)}) \cong C^*\left(\text{Hom}(\mathbb{Q}_{Z_d(X,Y)}, (\pi_{n*}\mathbb{Q}_{X_n(Y)} \otimes \text{sgn})^{S_{n+1}})\right)$

3. Symmetric Simplicial Category $\Delta^S$

Advantages of using the symmetric simplicial category $\Delta^S$ rather than the standard simplicial category $\Delta$:

• Natural group action structure
• More direct stability results
• Natural connection with configuration spaces

Technical Innovations

1. Geometric Compactification: Constructs a natural compactification of $\text{Mor}_d(X,\mathbb{P}^N)$ through relative projectivization of the Poincaré bundle.
2. Stratified Vector Bundle Structure: Proves that $X_r$ has a stratified vector bundle structure, satisfying the Leray-Hirsch theorem on each locally closed stratum.
3. Koszul-Type Complexes: Naturally produces Koszul-type chain complexes through hypercovering theory, whose cohomology yields the desired configuration space model.

Experimental Setup

Theoretical Verification

As a pure mathematics theoretical work, this paper verifies results through:

1. Special Case Verification: Verifies consistency of results in the case $Y = \mathbb{P}^N$ with known theory
2. Dimension Analysis: Verifies correctness of cohomological dimensions through the Lefschetz hyperplane theorem
3. Comparison with Existing Results: Compares with related work by Aumonier, Mostovoy and others

Key Assumptions

1. Non-emptiness: Assumes $\text{Mor}_d(X,Y)$ is non-empty
2. Leray-Hirsch Property: Assumes the auxiliary scheme $X_r(Y)$ satisfies the Leray-Hirsch theorem in the relevant range
3. Acyclicity: The numerical class $d$ is acyclic

Main Results

Three Parts of Theorem 1.0.1

First Part: Spectral Sequence Existence

There exists a first-quadrant spectral sequence: $E_1^{p,*} = (H^*(X^p; \mathbb{Q}) \otimes \text{sgn}_{S_p})^{S_p} \otimes H^*(\text{Pic}_d(X); \mathbb{Q}) \otimes H_c^*(Y(D_{p-1}); \mathbb{Q})$ converging to $H_c^{p+q}(\text{Mor}_d(X,Y); \mathbb{Q})$.

Second Part: Homological Stability

When $Y = \mathbb{P}^N$, the spectral sequence degenerates in a specific range: $E_2^{p,q} = E_\infty^{p,q}$ for all $0 \leq p \leq r(d)+1$ and appropriate ranges of $q$ values.

Third Part: Stability Bound Estimate

If $\delta := d - c_1(K_X)$ is ample, then: $r(d) = \left\lfloor \min_{[W] \in \text{CH}_k(X), 1 \leq k \leq n} \frac{2(\delta^k \cdot [W])^{1/k} - n^2 + n - 1}{2} \right\rfloor - 1$

Key Observations

1. Poincaré Duality Phenomenon: Koszul-type chain complexes naturally emerge when analyzing Poincaré duality of $\text{Mor}_d(X,Y)$.
2. Role of Intersection Theory: The formula for the stability bound reveals the crucial role of $X$'s intersection theory in determining the stable range.
3. Hodge Structure Preservation: Unlike pulling back configuration space models from continuous map spaces via Segal-type results, this method is entirely based on algebraic geometry, making Hodge structures explicit.

Related Work

Topological Function Space Theory

• Anderson (1972): Generalization of Eilenberg-Moore spectral sequences
• Bendersky-Gitler (1991): Connections between cohomology of continuous map spaces and configuration spaces
• Arone, Ahearn-Kuhn: Polynomial decomposition and stable splitting theory

Function Spaces in Algebraic Geometry

• Mostovoy (2006): Study of holomorphic map spaces between projective spaces
• Aumonier (2024): Comparison of stable cohomology of algebraic and continuous map spaces
• Author's Previous Work: Explicit comparison of algebraic function spaces and configuration spaces for curves

Positivity Theory of Line Bundles

• Angehrn-Siu (1995): Work on Fujita conjecture, providing effective bounds for point separation properties
• Beltrametti, Sommese et al.: Research on related concepts such as $r$-ampleness and $r$-spannedness

Conclusions and Discussion

Main Conclusions

1. Establishes deep connections between algebraic map spaces and configuration spaces
2. Provides effective tools for computing cohomology of algebraic map spaces
3. Reveals the central role of $X$'s intersection theory in stability phenomena

Limitations

1. Target Restrictions: For general $Y$, the auxiliary scheme $Y(D_p)$ may be empty or difficult to analyze
2. Non-emptiness Assumption: Requires assuming $\text{Mor}_d(X,Y)$ is non-empty, which is non-trivial in general
3. Leray-Hirsch Condition: The requirement that $X_r(Y)$ satisfies the Leray-Hirsch property is difficult to verify in general cases

Future Directions

1. Factorization Homology Methods: Explore whether factorization homology methods can prove similar results
2. Higher-Dimensional Generalizations: Generalize the non-commutative Poincaré duality method from the curve case to higher dimensions
3. Concrete Applications: Verify and apply these results in specific geometric situations

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First to establish explicit connections between higher-dimensional algebraic map spaces and configuration spaces
2. Technical Depth: Cleverly combines modern techniques from algebraic geometry, algebraic topology, and sheaf theory
3. Result Completeness: Not only provides existence results but also explicit computational formulas
4. Hodge Theory: Preservation of mixed Hodge structures is an advantage of the purely algebraic geometric approach

Weaknesses

1. Scope of Applicability: Results are limited by strict technical conditions
2. General Verification: Verification of key assumptions for general $Y$ remains difficult
3. Computational Complexity: Practical computation of stability bounds requires detailed intersection-theoretic knowledge

Impact

1. Theoretical Contribution: Provides new topological perspectives for moduli space research in algebraic geometry
2. Methodological Value: Demonstrates applications of $\Delta^S$-objects and hypercovering techniques in algebraic geometry
3. Cross-Disciplinary Connection: Deepens connections between algebraic geometry and algebraic topology

Applicable Scenarios

1. Moduli Space Research: Applicable to studying algebraic map spaces with good geometric properties
2. Stable Cohomology Computation: Provides tools for computing stable cohomology of specific algebraic map spaces
3. Theoretical Development: Provides foundation for further development of algebraic function space theory

References

Key Citations

• BG91 M. Bendersky and S. Gitler. The cohomology of certain function spaces
• AS95 U. Angehrn and Y.-T. Siu. Effective freeness and point separation for adjoint bundles
• GL19 D. Gaitsgory and J. Lurie. Weil's conjecture for function fields: Volume 1
• Ban24 O. Banerjee. Filtration of cohomology via symmetric semisimplicial spaces
• Aum24 A. Aumonier. The topology of spaces of holomorphic maps to projective space

This paper represents significant progress at the intersection of algebraic geometry and algebraic topology, establishing deep connections between seemingly unrelated concepts through sophisticated technical means, thereby opening new pathways for understanding the topological properties of algebraic map spaces.