On intersection cohomology with torus action of complexity one, II

Dit artikel toont aan dat de componenten in de decompositiestelling voor contracties van torusacties met complexiteit één snijcohomologiecomplexen zijn, wat leidt tot het verdwijnen van oneven dimensies van snijcohomologie voor rationale volledige variëteiten en een methode biedt om de Betti-getallen van affiene trinomiaalhypervlakken te berekenen op basis van hun definitieve vergelijking.

De kern

Stel je voor dat je een enorme, ingewikkelde 3D-structuur hebt, zoals een futuristisch gebouw of een abstract kunstwerk. In de wiskunde noemen we deze structuren variëteiten. Soms zijn deze structuren erg mooi en glad, maar vaak hebben ze rare hoekjes, gaten of puntige pieken (dit noemen we singulariteiten).

De auteurs van dit artikel, Marta Agustín Vicente, Narasimha Chary Bonala en Kevin Langlois, hebben een nieuwe manier bedacht om deze "gebroken" structuren te meten en te begrijpen. Ze gebruiken een meetlat die intersectiecohomologie heet.

Hier is een uitleg in simpele taal, met een paar creatieve vergelijkingen:

1. De "Torus" en de "Complexiteit"

Stel je voor dat je een dansvloer hebt met een groep dansers die rond een middelpunt draaien. In de wiskunde is die groep dansers een torus (een wiskundige term voor een groep van cirkels die samenwerken).

• Complexiteit 0: Als de dansvloer perfect symmetrisch is en elke danser precies op zijn plek zit, noemen we dit een "torische variëteit". Dit is makkelijk te begrijpen; het is als een legpuzzel van blokken.
• Complexiteit 1: Dit is wat dit artikel onderzoekt. Stel je voor dat de dansers nog steeds rond een middelpunt draaien, maar dat er nu ook een extra dimensie is: een kromme lijn (een weg) waar ze langs bewegen. De dansers bewegen niet alleen rond, maar ook langs deze weg. Dit maakt het iets chaotischer, maar nog steeds beheersbaar.

2. Het Probleem: De "Gaten" in de Structuur

Wanneer je zo'n structuur bekijkt, zie je soms dat het niet overal glad is. Het heeft gaten of scherpe randen. De vraag is: Hoe tellen we de "gaten" in zo'n structuur?
In de wiskunde tellen we gaten niet met een hand, maar met getallen die Betti-getallen heten.

• Een bol heeft 1 gat (de holte erin).
• Een donut heeft 1 gat (het gat in het midden).
• Een figuur-acht heeft 2 gaten.

Het probleem is: als de structuur kapot is (singulariteiten), dan werken de oude meetmethoden niet meer goed. Je krijgt dan soms raar gedrag, zoals "oneven" gaten (bijvoorbeeld 1 gat, 3 gaten, 5 gaten) die er niet zouden moeten zijn in een "gezonde" structuur.

3. De Oplossing: De "Contractie" (Het Ineenstorten)

De auteurs gebruiken een slimme truc. Ze zeggen: "Laten we de structuur even 'samendrukken' of 'contracteren'."

• De Analogie: Stel je voor dat je een ingewikkeld knoopspul hebt. Je pakt een draad en trekt eraan. De knopen lossen op en de structuur wordt eenvoudiger.
• In de wiskunde noemen ze dit de contractie. Ze nemen hun complexe structuur en "plakken" bepaalde delen eruit tot ze een eenvoudiger, gladder versie krijgen (noem dit de contraction space).

De grote ontdekking in dit artikel is:

Als je de structuur contracteert, blijken alle "gaten" die overblijven in de oorspronkelijke structuur te komen van heel specifieke, simpele stukken.

Het is alsof je zegt: "De rare gaten in dit gebouw komen niet uit het niets, maar ze zijn precies de afbeelding van de gaten in de muren van de eenvoudige versie."

4. De Belangrijkste Bevindingen

A. Geen "Oneven" Gaten meer
Een van de coolste resultaten is dit: Als je een structuur hebt die "rationeel" is (wat in de wiskunde betekent dat je hem kunt bouwen met simpele bouwstenen, zoals een kubus of een piramide), dan zijn er geen oneven gaten.

• Vergelijking: Stel je voor dat je een gebouw bouwt. Als je het goed doet, heb je alleen even aantal gaten (0, 2, 4...). Als je ineens een "3e gat" hebt, dan weet je dat er iets mis is met je bouwplannen. Dit artikel geeft een formule om dat direct te zien.

B. De Formule voor "Trinomial Hypervlakken"
De auteurs kijken naar een specifieke soort structuur die wordt beschreven door een vergelijking met drie termen (zoals $x^2 + y^3 + z^5 = 0$). Dit noemen ze trinomial hypersurfaces.

• Ze hebben een recept (een formule) geschreven. Als je de getallen uit de vergelijking (de "krachten" van de termen) in dit recept stopt, krijg je direct het antwoord op de vraag: "Hoeveel gaten heeft dit ding?"
• Het is alsof je de ingrediënten van een cake (meel, suiker, eieren) in een machine stopt en die machine spitst direct uit: "Dit is een cake met 2 lagen en 1 vulling."

5. Waarom is dit belangrijk?

Vroeger was het heel moeilijk om de "gaten" te tellen in deze complexe, gebroken structuren. Je moest vaak jaren rekenen.
Met deze nieuwe methode kunnen wiskundigen nu:

1. Snel zien of een structuur "gezond" is (rationeel) door te kijken of er oneven gaten zijn.
2. De exacte vorm van de gaten berekenen puur op basis van de vergelijking die de structuur beschrijft, zonder de hele structuur eerst te hoeven te tekenen.

Samenvatting in één zin

Dit artikel geeft wiskundigen een magische meetlat waarmee ze de "gaten" in complexe, gebroken ruimtes kunnen tellen door ze eerst even "in te drukken" tot een simpele vorm, en vervolgens te kijken hoe die simpele vorm zich verhoudt tot de originele chaos.

Het is een brug tussen de ruwe, chaotische wereld van gebroken vormen en de nette, geordende wereld van simpele meetkunde.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On Intersection Cohomology with Torus Action of Complexity One, II" van Marta Agustín Vicente, Narasimha Chary Bonala en Kevin Langlois, geschreven in het Nederlands.

1. Probleemstelling en Context

Het artikel richt zich op de studie van de intersectiecohomologie van complete complexe algebraïsche variëteiten die een actie van een algebraïsche torus $T = (\mathbb{C}^*)^n$ toelaten. Een centrale invariant in de classificatie van dergelijke torusacties is de complexiteit $c(X)$, gedefinieerd als $c(X) := \dim X - \dim T/T_0$, waarbij $T_0$ de kern van de actie is.

• Complexiteit 0: Dit zijn de bekende torische variëteiten, die volledig beschreven kunnen worden door combinatorische objecten (fans, polytopen). De intersectiecohomologie van deze variëteiten is goed begrepen en gerelateerd aan de $f$-vector van de fan.
• Complexiteit 1: Dit is de volgende stap in de hiërarchie. Deze variëteiten omvatten bijvoorbeeld $\mathbb{C}^*$-oppervlakken. Hoewel er een "woordenboek" bestaat tussen deze variëteiten en objecten tussen meetkunde en combinatoriek (divisoriale fans), ontbrak er tot nu toe een systematische methode om de intersectiecohomologie direct af te leiden uit de definitie van de variëteit, en een volledig inzicht in de structuur van de decompositiestelling voor contractie-afbeeldingen.

Het hoofddoel van dit artikel is het afronden van een programma (geïnitieerd in eerdere werken [4, 5]) om de Betti-cijfers van de intersectiecohomologie te bepalen voor variëteiten met complexiteit 1, en om een expliciete formule te geven die deze cijfers relateert aan de definitie van de variëteit (bijvoorbeeld via gewichtsmatrices).

2. Methodologie

De auteurs combineren technieken uit de theorie van perverse schoven, de decompositiestelling van Beilinson-Bernstein-Deligne-Gabber, en de Altmann-Hausen-theorie voor torusacties van complexiteit 1.

• Contractie-ruimte en Decompositiestelling: Voor een variëteit $X$ met complexiteit 1 wordt een "contractie-ruimte" $\tilde{X}$ geconstrueerd (de normalisatie van de grafiek van de rationale quotiënt). Er bestaat een contractie-afbeelding $\pi: \tilde{X} \to X$. De auteurs gebruiken de decompositiestelling om de pushforward van de intersectiecohomologie-complex $\pi_* IC_{\tilde{X}}$ te analyseren.
• Gewichtenpakketten (Weight Packages): Om de interactiecohomologie van lineaire torusacties (subvariëteiten van projectieve of affiene ruimtes) te berekenen, introduceren de auteurs het concept van een gewichtspakket $\theta = (N, \bar{N}, F, S, \Sigma)$. Dit pakket codeert de actie via een gewichtsmatrix $F$ en een fan $\Sigma$.
• Divisoriale Fans: Ze vertalen de definitie van een variëteit (vaak gegeven door een vergelijking) naar een divisoriaal fan $\mathcal{E}$ over een gladde projectieve kromme. Dit is het analogon van een fan in de torische meetkunde voor complexiteit 1.
• Combinatorische Berekening: Door de structuur van de contractie-ruimte en de exceptionaliteit van de afbeelding $\pi$ te analyseren, reduceren ze het probleem tot het berekenen van $g$- en $h$-polynomen van torische fans en Cayley-cones die geassocieerd zijn met de polyhedrale coëfficiënten van de divisoriale fan.

3. Belangrijkste Bijdragen en Resultaten

Het artikel presenteert vijf hoofdstellingen (A t/m E) die de theorie en berekeningsmethoden formaliseren:

A. Structuur van de Decompositiestelling (Stelling A)

De auteurs bewijzen dat voor een normale variëteit $X$ met complexiteit 1, de pushforward van de intersectiecohomologie van de contractie-ruimte $\tilde{X}$ een zeer specifieke vorm heeft:
$$\pi_* IC_{\tilde{X}} \simeq IC_X \oplus \bigoplus_{O \in \text{Orb}^{\text{even}}(E)} (\iota_O)_* IC_{\bar{O}}^{\oplus s_O}$$
Waarbij $E$ het beeld is van het uitzonderlijke gebied van $\pi$, en de som loopt over even codimensionale torusbanen in $E$.

• Conclusie: De "extra" termen in de decompositiestelling komen uitsluitend van banen met even codimensie. Dit impliceert dat er geen bijdragen zijn van oneven codimensionale banen aan de decompositie.

B. Rationaliteitscriterium (Stelling B)

Als gevolg van Stelling A leveren de auteurs een cohomologisch criterium voor rationaliteit:
Een complete variëteit $X$ met complexiteit 1 is rationeel dan en slechts dan als de oneven dimensies van de intersectiecohomologie verdwijnen:
$$IH^{2j+1}(X; \mathbb{Q}) = 0 \quad \forall j \in \mathbb{Z}.$$
Dit generaliseert bekende resultaten voor torische variëteiten naar complexiteit 1.

C. Formule voor Betti-cijfers via Divisoriale Fans (Stelling C)

De auteurs geven een expliciete formule voor de Poincaré-polynoom $P_X(t)$ van een complete normale $T$-variëteit:
$$P_X(t) = h_{\tilde{\mathcal{E}}}(t) - \sum_{\tau \in HF(\mathcal{E})} g_{n(\tau)}(\tau) t^{c(\tau)} h(\text{Star}(\mathcal{E}, \tau); t^2)$$
Hierbij is $h_{\tilde{\mathcal{E}}}(t)$ de Poincaré-polynoom van de contractie-ruimte (berekend via de divisoriale fan $\tilde{\mathcal{E}}$), en de som loopt over specifieke kegels $\tau$ die corresponderen met de banen in het uitzonderlijke gebied. $g$ en $h$ zijn combinatorische polynomen geassocieerd met torische fans.

D. Relatie tussen Definitie en Structuur (Stelling D)

Voor lineaire torusacties (subvariëteiten van $\mathbb{P}^\ell_{\mathbb{C}}$ of $\mathbb{A}^\ell_{\mathbb{C}}$) tonen de auteurs aan hoe men vanuit de gewichtsmatrix $F$ van de actie en de definiërende vergelijkingen van de variëteit een divisoriaal fan kan construeren.

• Ze introduceren een constructie die een "gewichtspakket" koppelt aan een "polyhedrale divisor".
• Dit stelt hen in staat om de normalisatie van een niet-normale variëteit te beschrijven en de contractie-ruimte te construeren puur op basis van de lineaire algebra van de gewichten en de vergelijkingen.

E. Toepassing op Trinomiale Hypervlakken (Stelling E)

Als concrete toepassing berekenen ze de intersectiecohomologie van affiene trinomiale hypervlakken (variëteiten gedefinieerd door $T_1^{n_1} + T_2^{n_2} + T_3^{n_3} = 0$).

• Ze geven een formule voor de Poincaré-polynoom die direct afgeleid kan worden uit de exponenten in de vergelijking.
• Ze behandelen zowel de contractie-ruimte als de variëteit zelf, waarbij ze de bijdrage van de singulariteiten (via de $g$-polynomen van specifieke kegels) expliciet kwantificeren.

4. Significatie en Impact

• Combinatorische Berekenbaarheid: Het artikel biedt een volledig algoritmisch raamwerk om de intersectiecohomologie van een grote klasse van singuliere variëteiten (complexiteit 1) te berekenen zonder dat men eerst een resolutie van singulariteiten hoeft te construeren. Men kan direct werken met de definitie (gewichtsmatrix en vergelijkingen).
• Verduidelijking van Decompositie: De stelling dat de decompositie alleen bijdragen heeft van even codimensionale banen is een fundamenteel structureel resultaat dat de topologie van deze variëteiten beter begrijpbaar maakt.
• Verbinding van Gebieden: Het werk verbindt de theorie van perverse schoven, de geometrie van torusacties (Altmann-Hausen theorie) en de combinatoriek van fans op een nieuwe manier.
• Toepasbaarheid: De methode is toepasbaar op zowel affiene als projectieve variëteiten, inclusief specifieke interessante voorbeelden zoals trinomialen, wat de theorie testbaar en bruikbaar maakt voor concrete berekeningen in de singuliere theorie.

Kortom, dit artikel voltooit een programma om de topologie van torusvariëteiten met complexiteit 1 volledig te karakteriseren via hun combinatorische data, en levert krachtige gereedschappen voor het berekenen van hun cohomologische invarianten.