Blow-Up Constructions and Applications to Segre Classes and Multidegree Formulas

Technische Samenvatting: Blow-up Constructies en Toepassingen op Segre-klassen en Multigraad-formules

Probleemstelling
Het artikel behandelt twee primaire uitdagingen in de snijpunt-theorie (intersection theory) met betrekking tot het gedrag van blow-ups en hun toepassingen op karakteristieke klassen en graad-formules. Ten eerste streeft het naar het vaststellen van een rigoureuze geometrische relatie tussen simultane multigraadige blow-ups en iteratieve blow-up constructies, specifiek met betrekking tot de correspondentie van hun exceptionele divisoren. Ten tweede beoogt het intersection-theoretische formules af te leiden voor de Chern-klassen van exceptionele divisoren die voortvloeien uit rationale afbeeldingen naar multiprojectieve ruimten.

Een specifieke motivatie voor het eerste deel is het bewijs van de productformule voor Segre-klassen. Bestaande bewijzen in de literatuur (bijv. Fulton's Intersection Theory) vertrouwen over het algemeen op de hypothese dat de schema's betrokken puur-dimensionaal zijn om standaard cyclus-theoretische relaties toe te passen. Het artikel beoogt deze restrictie te verwijderen. In gelijke zin, voor het tweede deel, adresseert het artikel de behoefte aan een graad-formule voor willekeurige gesloten subschema's van multiprojectieve ruimten, waarmee het klassieke resultaat van van der Waerden uitbreidt, dat oorspronkelijk geformuleerd was voor integrale variëteiten met behulp van klassieke algebraïsche meetkunde.

Methodologie
De auteur maakt gebruik van de formalismen van Chow-groepen, verfijnde snijpuntproducten en de theorie van blow-ups zoals ontwikkeld door Fulton. De methodologie is verdeeld in twee hoofdsecties:

1. Vergelijking van Blow-up Constructies:
   Het artikel construeert een birationele correspondentie tussen twee modellen:

   • De simultane blow-up van een product van schema's $Y_1 \times \dots \times Y_n \times \mathbb{A}^1_k$ langs een specifieke gesloten inbedding.
   • Een iteratieve blow-up constructie die de product van de exceptionele divisoren $E_1 \times \dots \times E_n$ omvat.
     Door de normale kegels (normal cones) en de projectivisering van deze kegels te analyseren, vestigt de auteur een commutatief diagram met Cartesiaanse vierkanten. Dit maakt het mogelijk om intersection-theoretische informatie tussen de twee modellen over te dragen, specifiek het relateren van de fundamentele cycli van de exceptionele divisoren.

2. Graf-sluiting en Blow-up Isomorfisme:
   Het artikel onderzoekt de relatie tussen de blow-up van een schema $X$ langs een ideaal-schief (ideal sheaf) gegenereerd door globale secties en het schema-theoretische sluitingsproces van de graf van de geassocieerde rationale afbeelding naar een multiprojectieve ruimte.

   • Het identificeert de blow-up met de relatieve Proj van de Rees-algebra.
   • Het demonstreert dat voor integrale schema's de graf-sluiting isomorf is aan de blow-up.
   • Dit kader wordt toegepast op het specifieke geval van $\mathbb{P}^{m+n+1}_k$ en secties die een afbeelding definiëren naar $\mathbb{P}^m_k \times \mathbb{P}^n_k$.
   • Gebruikmakend van de "Miracle Flatness" stelling, analyseert de auteur de vezels van de resulterende morfisme (isomorf met $\mathbb{P}^1$) om een relatie af te leiden tussen de Chern-klassen van de pullback van tautologische lijnbundels en de exceptionele divisor.

Kernbijdragen en Resultaten

1. Birationale Correspondentie van Exceptionele Divisoren:
   Het artikel vestigt het bestaan van morfismen $\phi$ en $\varphi$ die een commutatief diagram creëren tussen het iteratieve blow-up model en het simultane blow-up model. Cruciaal is dat het bewijst dat de pullback van de fundamentele cyclus van de exceptionele divisor in het iteratieve model gelijk is aan de fundamentele cyclus van de exceptionele divisor in het simultane model ($\phi^*[E'] = [E]$).

2. Productformule voor Segre-klassen (Algemeen Geval):
   Gebruikmakend van de birationele correspondentie, biedt het artikel een bewijs voor de productformule voor Segre-klassen:
   $$s(X_1 \times \dots \times X_n, Y_1 \times \dots \times Y_n) = s(X_1, Y_1) \times \dots \times s(X_n, Y_n)$$
   Significantie: In tegenstelling tot eerdere bewijzen, vereist deze afleiding niet dat de schema's $X_i$ of $Y_i$ puur-dimensionaal zijn. Het bewijs reduceert het probleem tot het geval van Cartier-divisoren op een geschikte resolutie via de exceptionele divisor, die fungeert als een geometische brug.

3. Multigraad-formule voor Willekeurige Subschema's:
   Het artikel leidt een formule af die de codimension-$d$ graad van een gesloten subschema $V' \subset \mathbb{P}^{m+n+1}_k$ relateert aan de codimension-$d$ bidegrees van een gesloten subschema $V \subset \mathbb{P}^m_k \times \mathbb{P}^n_k$.

   • Resultaat: De codimension-$d$ graad van $V'$ is gelijk aan de som van de codimension-$d$ bidegrees van $V$.
   • Significantie: Dit resultaat herstelt en breidt de klassieke graad-formule van van der Waerden uit. Hoewel het oorspronkelijke argument van van der Waerden ervan uitging dat de variëteiten integraal waren, is dit bewijs volledig intersection-theoretisch en is het toepasbaar op willekeurige gesloten subschema's. Het artikel merkt op dat voor niet-integrale subschema's de relatie tussen graden en bidegrees subtieler is dan in het integrale geval.

Significantie en Claims
Het artikel claimt dat zijn constructies een "geometrisch mechanisme" bieden voor het overdragen van intersection-theoretische informatie, waardoor een conceptuele en functoriele afleiding van de productformule voor Segre-klassen en de multigraad-formule mogelijk wordt.

• Met betrekking tot Segre-klassen: Het werk demonstreert dat de productformule "fundamenteel een gevolg is van de geometrie van blow-ups", wat de mogelijkheid biedt om de hypothese van pure dimensionaliteit die eerdere bewijzen beperkte, te verwijderen.
• Met betrekking tot Graad-formules: De benadering biedt een moderne herformulering van de formule van van der Waerden, waarbij de geldigheid wordt uitgebreid van integrale variëteiten naar willekeurige gesloten subschema's binnen het kader van Chow-groepen en de intersection-theorie van Fulton.

Het artikel stelt geen experimentele toepassingen of toekomstige implicaties voor buiten deze theoretische extensies binnen de snijpunt-theorie. Het houdt zich strikt aan de conventies en notatie van Fulton's Intersection Theory [Ful98].