Theorems of Bertini and Chevalley

Technische Samenvatting: Stellingen van Bertini en Chevalley

Probleemstelling
Het artikel behandelt twee fundamentele resultaten in de algebraïsche meetkunde: de irreducibiliteitsstelling van Bertini en de structuurstelling van Chevalley voor algebraïsche groepen.

1. Irreducibiliteitsstelling van Bertini: Het probleem is om voorwaarden vast te stellen waaronder het inverse beeld van een algemene hypervlak onder een dominante morfisme geometrisch irreducibel blijft. Specifiek moet voor een geometrisch irreducibele variëteit $X$ over een oneindig lichaam $k$ en een dominante morfisme $\pi: X \dashrightarrow \mathbb{P}^n$ ($n \geq 2$) worden bewezen dat $\pi^{-1}(H)$ geometrisch irreducibel is voor een algemeen hypervlak $H$.
2. Stelling van Chevalley: Het probleem is om de structuur van een samenhangende, gladde algebraïsche groep $G$ over een perfect lichaam $k$ te karakteriseren. De stelling stelt dat $G$ past in een exacte rij $1 \to L \to G \to A \to 0$, waarbij $L$ een affiene algebraïsche groep is en $A$ een eigentijdse algebraïsche groep (een Abelse variëteit).

Methodologie
De auteur, János Kollár, beoogt bewijzen te geven die minimaal afhankelijk zijn van geavanceerde machinerie, met name door het gebruik van resultaten te beperken tot die gevonden in het leerboek van Shafarevich [Sha74], het bestaan van Jacobianen voor gladde projectieve krommen, en de stellingen van Weil over rationale afbeeldingen naar algebraïsche groepen.

• Voor de Stelling van Chevalley:

  • Rationale Acties en Weil-divisoren: In plaats van een reguliere (overal gedefinieerde) actie van $G$ op een projectieve variëteit te vereisen, maakt het bewijs gebruik van een rationale actie op een normale projectieve variëteit $X$. Dit vereist het werken met Weil-divisoren in plaats van alleen Cartier-divisoren.
  • Morfismen naar Jacobianen: Voor een Weil-divisor $D$ op $X$ construeert de auteur een morfisme $\alpha_{X,D}: G \to \prod \text{Jac}(C_i)$, waarbij $C_i$ gladde krommen in $X$ zijn. Deze afbeelding stuurt $g \in G$ naar de lineaire equivalentieklasse van de restrictie van de getranslateerde divisor $D_g$ tot de krommen.
  • Kernanalyse: Het bewijs identificeert een ondergroep $H \subset G$ (de identiteitscomponent van de kern van $\alpha_{X,D}$) en toont aan dat $H$ affien is. Dit wordt bereikt door een lineaire representatie van $H$ te construeren op een zorgvuldig gekozen lineair deelstelsel van divisoren.
  • Omgaan met Singulariteiten: Een belangrijke technische stap bestaat erin een divisor $D$ te kiezen met een geïsoleerd singulier punt. De stabilisator van een dergelijke divisor wordt getoond als eindig, wat garandeert dat de representatie getrouw is en de kern affien is. Het bewijs navigeert door subtiele kwesties betreffende de birationale transform van lineaire systemen (Waarschuwing 7.4.1) door te beperken tot geometrisch irreducibele parameterverzamelingen.

• Voor de Irreducibiliteitsstelling van Bertini:

  • Reductie tot Poten: Het bewijs reduceert het algemene geval tot de studie van potten van divisoren.
  • Analyse van het Basisgebied: Het maakt gebruik van de eigenschappen van het basisgebied van een pot. Als het basisgebied glad is en codimensie 2 heeft, en leden glad zijn in een punt, dan zijn algemene leden geometrisch irreducibel.
  • Frobenius en Gladheid: In gevallen waarin de morfisme niet generiek glad is, maakt het bewijs gebruik van de Frobenius-morfisme om te reduceren tot een generiek gladde situatie.
  • Inductie: Het resultaat wordt via inductie uitgebreid naar volledige doorsneden, waarbij gebruik wordt gemaakt van een sterkere versie van de stelling (Corollarium 24) die lineaire systemen behandelt die niet "volledig algemeen" zijn, maar wel specifieke codimensievoorwaarden op singuliere loci voldoen.

Belangrijkste Bijdragen en Resultaten

1. Verkorte Bewijzen: Het artikel biedt een bewijs van de irreducibiliteitsstelling van Bertini dat wordt beweerd korter te zijn dan bestaande bewijzen in de literatuur, en steunt op elementaire algebraïsche meetkundige hulpmiddelen (specifiek uit [Sha74]) en het lemma van Severi-Weil.
2. Stelling van Chevalley via Weil-divisoren: Het bewijs van de stelling van Chevalley wordt herschreven om expliciet gebruik te maken van Weil-divisoren en rationale acties. Deze aanpak voorkomt de noodzaak van complexere compactificatiestellingen (zoals die van Nagata of de regularisatie van Weil) die anders zouden kunnen worden vereist om projectiviteit of regulariteit van de actie te garanderen.
3. Lemma van Severi-Weil: Het artikel herhaalt en maakt gebruik van het lemma van Severi-Weil, dat stelt dat lineaire equivalentie van divisoren op een variëteit kan worden gecontroleerd op een eindige verzameling gladde krommen. Dit is centraal voor het construeren van het morfisme van de algebraïsche groep naar het product van Jacobianen.
4. Technische Lemmata:
   • Lemma 11: Stelt vast dat elke rationale homomorfisme van algebraïsche groepen een reguliere homomorfisme is.
   • Lemma 12: Toont aan hoe rationale acties op lineaire systemen reguliere lineaire representaties induceren.
   • Corollarium 19: Verduidelijkt dat voor geometrisch irreducibele opspannende verzamelingen, de birationale transform van het lineaire systeem zich verwachten laat (d.w.z. de transform van het systeem wordt opgespannen door de transformaties van algemene leden).

Betekenis en Aanspraken
Het artikel beweert dat de primaire betekenis van dit werk methodologisch is: het demonstreert dat men "geen angst moet hebben om met Weil-divisoren te werken". De auteur betoogt dat Weil-divisoren een "optimale raamwerk" bieden voor bepaalde vragen, met name in de context van de stelling van Chevalley, waar ze een directer bewijs mogelijk maken met rationale acties zonder de volledige kracht van moderne compactificatiestellingen te vereisen.

De auteur stelt expliciet dat de bewijzen zijn ontworpen om zelfstandig te zijn wat betreft het gebruik van geavanceerde machinerie, en zich uitsluitend baseren op het bestaan van Jacobianen en basisresultaten uit Shafarevich. Het artikel claimt niet nieuwe stellingen te ontdekken, maar eerder om de bewijzen van deze bekende resultaten te herzien en te stroomlijnen, en biedt een perspectief dat de bruikbaarheid van Weil-divisoren en rationale afbeeldingen in de studie van algebraïsche groepen en irreducibiliteit benadrukt.