Regulators of canonical extensions are torsion:the case of two transversally intersecting smooth divisors

Technische Samenvatting: Regulatoren van Canonieke Extensies voor Twee Transversaal Snijdende Gladde Divisoren

Probleemstelling
Deze nota behandelt de torsie-eigenschap van uitgebreide regulator-klassen (Chern–Simons-klassen) geassocieerd met de Deligne canonieke extensie van een vlakke bundel $(E, \nabla)$ op een glad quasi-projectieve variëteit $U = X \setminus D$, waarbij $D$ een normale kruisende divisor is. Specifiek breidt het de belangrijkste resultaten van het eerdere werk van de auteurs [IS] uit, van het geval waar $D$ een enkele gladde irreducibele divisor is naar het geval waar $D = D_1 \cup D_2$ bestaat uit twee gladde irreducibele componenten die transversaal snijden langs een glad centrum $Z = D_1 \cap D_2$.

Het centrale object van studie is de representatie $\rho: \pi_1(U) \to GL_r(\mathbb{C})$ die unipotent is aan de oneindigheid (d.w.z. $\rho(\gamma_1)$ en $\rho(\gamma_2)$ zijn unipotent, waarbij $\gamma_i$ lussen rond $D_i$ zijn). Het doel is om canonieke klassen $\widehat{c}_p(\rho/X) \in H^{2p-1}(X, \mathbb{C}/\mathbb{Z})$ te definiëren en te bewijzen dat deze torsie zijn voor $p \ge 2$.

Methodologie en Obstakels
De auteurs identificeren twee specifieke obstructies die optreden bij de overgang van een enkele divisor naar een normale kruisende divisor met twee componenten (een "hoek"):

1. Het falen van gemeenschappelijke verfijning: In het geval van een enkele divisor rusten constructies voor patching op een gemeenschappelijke verfijning van filtraties op overlappende buurten. Bij een hoek $Z$ bezitten de natuurlijke filtraties, zijnde de kernel- (of monodromie-gewicht) filtraties $W^{(1)}$ en $W^{(2)}$ geassocieerd met de commuterende nilpotente operatoren $N_1 = \log \rho(\gamma_1)$ en $N_2 = \log \rho(\gamma_2)$, over het algemeen geen gemeenschappelijke verfijning.

   • Oplossing: In plaats van te verfijnen, behouden de auteurs het paar filtraties. Zij maken gebruik van het lineaire algebraïsche feit dat elke twee filtraties van een vectorruimte een gelijktijdige splitsing toelaten (een bigradatie $V = \bigoplus V_{a,b}$). Dit leidt tot een bifiltratie-patching formalisme waarbij de hoekbuurt het paar $(W^{(1)}, W^{(2)})$ en een vlakke verbinding op de dubbel geassocieerde-gegradeerde bundel draagt.

2. Het falen van het codimensie-argument: In het geval van een enkele divisor wordt het verdwijnen van hogere Chern-vormen op een deformatie-collar $S \times [0,1]$ afgeleid uit codimensie-argumenten. Voor een twee-parameters deformatie-collar $S \times [0,1]^2$ bij de hoek kan de kromming van een verbinding die vlak is op elke doorsnede termen bevatten van de vorm $dt_1 \wedge dt_2$, wat het verdwijnen van Chern-vormen via codimensie-telling verhindert.

   • Oplossing: De auteurs construeren een specifieke deformatie door middel van conjugatie door één-parameter subgroepen gekoppeld aan de gelijktijdige bigradatie. Deze deformatie behoudt een vast paar vlaggen en is strikt driehoeksmatig met betrekking tot de totale graad-filtratie. Bijgevolg is de kromming (inclusief $dt_i$ termen) strikt driehoeksmatig, waardoor alle invariante polynomen (Chern-vormen) identiek verdwijnen zonder dat een codimensie-argument nodig is.

Kernconstructies

• Bifiltratie-patching collecties (Secties 3–4): De auteurs definiëren een "2-patching collectie" bestaande uit open overdekkingen waarbij hoek-patches een paar filtraties en een vlakke verbinding op de dubbel gegradeerde dragen. Zij construeren een globale "gepatchte verbinding" $\nabla^\#$ die compatibel is met deze collectie. Een kernlemma stelt vast dat de kromming van een dergelijke verbinding de totale graad-filtratie strikt verlaagt, wat garandeert dat alle Chern-vormen verdwijnen.
• Kubische Deformatie in K-theorie (Sectie 6): Om de analytische constructie met algebraïsche K-theorie te vergelijken, introduceren de auteurs een "kubische homotopie pushout" ruimte $BGL(F[t_1, t_2])^+_{def,2}$. Deze ruimte modelleert de deformatie van de representatie $\rho$ over de hoek met behulp van de twee-variabele polynoomring. Zij tonen aan dat de regulator-klassen gedefinieerd via de gepatchte verbinding samenvallen met de klassen die worden teruggetrokken uit deze universele K-theoretische ruimte.
• Hermitische K-theorie en Variaties van Hodge-structuur (Sectie 7): Voor representaties die ten grondslag liggen aan een gepolariseerde complexe variatie van Hodge-structuur (VHS), maken de auteurs gebruik van een zelf-duale splitsing van de gewichtsfiltraties (Propositie 7.3). Dit maakt het mogelijk om de deformatie te beschouwen als een familie in de unitaire groep $O_{p,q}(\mathbb{C}[t_1, t_2])$. Door gebruik te maken van de homotopie-invariantie van Karoubi voor Hermitische K-theorie en de verdwijningsresultaten van Reznikov voor invariante polynomen op $\mathfrak{u}(p,q)$, bewijzen zij het verdwijnen van de uitgebreide volume-regulatoren voor VHS.

Hoofdresultaten

• Stelling 1.1: Voor een vlakke bundel met unipotente monodromie rond twee transversaal snijdende gladde divisoren zijn de uitgebreide regulator-klassen $\widehat{c}_p(\rho/X) \in H^{2p-1}(X, \mathbb{C}/\mathbb{Z})$ goed gedefinieerd, additief, functorieel en rigide onder deformaties die unipotentie behouden. Cruciaal is dat voor $p \ge 2$, deze klassen torsie zijn.
• Deligne Chern-klassen: Indien $X$ projectief is, liften deze klassen de Deligne Chern-klassen $c_p^D(E) \in H^{2p}_D(X, \mathbb{Z}(p))$ op, wat impliceert dat deze Deligne-klassen ook torsie zijn voor $p \ge 2$.
• Vergelijking met de Multi-Rees Constructie (Sectie 9): De auteurs vergelijken hun "geplakte bundel" benadering met de "multi-Rees" constructie gebruikt in hun daaropvolgende werk [IS2] voor willekeurige normale kruisende divisoren. Zij demonstreren dat voor $k=2$ (twee divisoren, de twee constructies algebraïsche en $C^\infty$ incarnaties zijn van dezelfde degeneratie-geometrie. Het primaire verschil ligt in de hoek-data: dit artikel gebruikt het paar filtraties $(W^{(1)}, W^{(2)})$, terwijl [IS2] de totale monodromie-gewicht-filtratie $W(N_1+N_2)$ gebruikt.

Betekenis en Beperkingen
Het artikel beweert de specifieke technische moeilijkheden op te lossen die optreden bij de "hoek" van een normale kruisende divisor met multipliciteit twee. De auteurs geven expliciet aan dat hun methoden specifiek zijn voor multipliciteit twee en falen bij drievoudige punten ($D_1 \cap D_2 \cap D_3$) omdat:

1. Drie filtraties over het algemeen geen gelijktijdige splitsing toelaten.
2. De combinatorische complexiteit van de Jordan-Hölder string-argumentatie voor triples van filtraties een openstaand probleem blijft.

De auteurs merken op dat de volledige normale kruisende casus (een willekeurig aantal componenten) wordt behandeld in een aparte preprint [IS2] met behulp van een andere benadering (iteratieve multi-Rees constructie en sequentiële compatibiliteit van gewichtsfiltraties). Deze nota dient als een gespecialiseerde, gedetailleerde behandeling van het geval met twee divisoren, waarbij de geometrische en algebraïsche mechanismen (bifiltraties en driehoeksmatige deformaties) die het mogelijk maken dat het torsie-resultaat standhoudt in deze specifieke setting, worden verhelderd.