The tangent space to the space of 0-cycles

Technische Samenvatting: De Tangentieruimte van de Ruimte van 0-cycli

Probleemstelling
Het artikel behandelt het fundamentele gat in het begrip van de geometrische structuur van de ruimte van 0-cycli op een algebraïsche variëteit $X$. Hoewel intuïtief wordt begrepen dat rationale equivalentie van 0-cycli overeenkomt met rationale verbondenheid van punten op een "ruimte van 0-cycli", is dit object (specifiek de groepsvorming van de oneindige symmetrische macht, $\text{Sym}^\infty(X/S)^+$) geen variëteit of schema in de klassieke zin. Het bestaat enkel als een sheaf in een geschikte topologie. Bijgevolg kunnen standaard deformatietheorie en de definitie van tangentieruimten, die uitgaan van het feit dat het object een schema of een stack met een goed gedefinieerde lokale structuur is, niet direct worden toegepast. Het artikel streeft ernaar om de tangentieruimte aan dit sheaf-theoretische object in een gegeven punt $P$ rigoureus te construeren, waarmee een technische basis wordt gelegen voor het bestuderen van rationale curven op de ruimte van 0-cycli.

Methodologie
De auteur maakt gebruik van een raamwerk van lokaal geringde sites om de sheaf $\text{Sym}^\infty(X/S)^+$ als een geometrisch object te behandelen. De methodologie verloopt via de volgende stappen:

1. Geometrisch Raamwerk: Het artikel definieert een "geometrisch object" als een verzameling-waardige sheaf op de Nisnevich-site van lokaal Noetherian-schema's over een basis $S$, uitgerust met een atlas. Een atlas is een collectie morfismen van schema's naar de sheaf zodanig dat hun coproduct een effectieve epimorfisme is.
2. Constructie van de Site: Voor een sheaf $X$ met een atlas, construeert de auteur de Nisnevich-étale site $X_{\text{Nis-\'et}}$. De objecten van deze site zijn morfismen van schema's naar $X$ die étale zijn met betrekking tot de atlas.
3. Lokaal Ringstructuur: Door de stalk-functor in een punt $P$ (een morfisme van een veldkolom naar de sheaf) te definiëren, stelt het artikel vast dat indien de categorie van étale omgevingen van $P$ co-gefilterd is, de site een lokaal geringde site wordt. Dit maakt de definitie van de structuur-sheaf $\mathcal{O}_X$, de sheaf van Kähler-differentiaalvormen $\Omega^1_{X/S}$ en de tangent-sheaf $T_{X/S}$ mogelijk.
4. Specifieke Constructie voor 0-Cycli: Het artikel identificeert de ruimte van relatieve 0-cycli met de groepsvorming $\text{Sym}^\infty(X/S)^+$ van de oneindige symmetrische machts-monoïde. Het construeert een specifieke atlas voor deze sheaf, de Chow-atlas, afgeleid van de natuurlijke inductieve structuur van symmetrische machten en de Hilbert-Chow morfismen.
5. Bewijs van Co-gefilterdheid: De kern van de technische inspanning betreft het bewijzen dat voor elk punt $P$ op $\text{Sym}^\infty(X/S)^+$, de categorie van étale omgevingen $N_P$ co-gefilterd is. Dit wordt bereikt door de representeerbaarheid van vezelproducten van étale omgevingen te analyseren en gebruik te maken van de eigenschappen van de Chow-atlas en de onderliggende symmetrische machten.

Belangrijkste Bijdragen en Resultaten

• Definitie van Tangentieruimte: Het artikel slaagt erin de tangentieruimte $T_{\text{Sym}^\infty(X/S)^+}(P)$ in een punt $P$ te definiëren als het tensorproduct van de stalk van de tangent-sheaf met het residuveld $\kappa(P)$. Dit is de eerste rigoureuze constructie van een dergelijke ruimte voor de groepsvorming van de oneindige symmetrische macht.
• Hoofdstelling: Het centrale resultaat is Stelling 6, die stelt dat voor een lokaal Noetherian-schema $X$ over $S$ (waar symmetrische machten bestaan en de structurele morfisme een sectie toelaat), de categorie $N_P$ van étale omgevingen van elk punt $P$ op de ruimte van 0-cycli $\text{Sym}^\infty(X/S)^+$ co-gefilterd is.
• Vergelijking van Benaderingen: Het artikel verheldert de relatie tussen verschillende constructies van relatieve 0-cycli:
  • Rydhs benadering: Gebruikt verdeelde machten $\Gamma_d(X/S)$.
  • Suslin-Voevodsky en Kollár benaderingen: Gebruiken cycli gedefinieerd via "fat points" en pullbacks.
  • De auteur bewijst dat onder milde aannames (zuivere karakteristiek 0 of $X$ vlak over $S$, en $S$ seminormaal), de sheaf $\text{Sym}^\infty(X/S)^+$ isomorf is aan de sheaves van relatieve 0-cycli geconstrueerd door Suslin-Voevodsky en Kollár wanneer deze worden beperkt tot seminormale schema's.
• Rationale Connectiviteit en Rationale Equivalentie: Het artikel legt een nauwe link tussen de geometrie van de ruimte van 0-cycli en de klassieke algebraïsche meetkunde. Het toont aan dat twee punten $P$ en $Q$ op $\text{Sym}^\infty(X/S)^+$ rationaal verbonden zijn (via een keten van rationale curven) dan en slechts dan als de overeenkomstige 0-cycli rationaal equivalent zijn op $X$.
• Potentieel voor Lie-theorie: Aangezien $\text{Sym}^\infty(X/S)^+$ een abelse groepsobject is, impliceert het bestaan van tangentieruimten in alle punten dat er een Lie-theorie voor deze ruimte ontwikkeld kan worden, waarbij alle tangentieruimten isomorf zijn aan de tangentieruimte in het identiteitselement (de nul-cyclus).

Betekenis en Claims
Het artikel beweert de noodzakelijke "technische fundering" te bieden voor een deformatietheorie van rationale curven op de ruimte van 0-cycli. Door het bestaan van tangentieruimten en de lokaal geringde structuur vast te stellen, maakt de auteur de toepassing van technieken mogelijk die vergelijkbaar zijn met die gebruikt door Kollár voor het bewijzen van de rationale verbondenheid van variëteiten (bijv. het analyseren van de positiviteit van de pullback van de tangent-sheaf langs een rationale curve).

De auteur merkt expliciet op dat hoewel de tangent-sheaf geconstrueerd is, het nog niet bekend is of deze lokaal vrij is of dat de pullback naar een rationale curve op de standaard manier uiteenvalt in Serre-twists. Het artikel stelt echter dat de constructie van de tangentieruimte zelf een vereiste is voor dergelijke onderzoeken. Het werk beoogt de studie van 0-cycli te verschuiven van een puur algebraïsche equivalentierelatie naar een geometrische analyse op een specifieke "ruimte" (de Nisnevich-sheaf), wat aansluit bij de filosofie van Green en Griffiths, maar de ontbrekende "ontologie" van de ruimte van 0-cycli levert.

Het artikel claimt niet te bewijzen dat de Bloch-vermoeden waar is of aan te tonen dat de ruimte van 0-cycli rationaal verbonden is voor specifieke variëteiten; het biedt eerder de instrumenten (de tangentieruimte en de lokaal geringde site-structuur) die dergelijke vragen zouden mogelijk maken om ze te formuleren en potentieel aan te pakken met behulp van de deformatietheorie.