Numerical characterizations for integral dependence of graded modules

Technische Samenvatting: Numerieke Karakterisering voor Integraal Afhankelijkheid van Gegradeerde Modulen

Probleemstelling
Het primaire doel van dit werk is het vaststellen van een nieuw numeriek criterium voor het detecteren van de integraal afhankelijkheid van willekeurige gegradueerde modulen gedefinieerd over een standaard gegradueerde Noetheriaanse domein $A$ boven een veld $k$. Hoewel de karakterisering van integraal afhankelijkheid via numerieke invarianten voor idealen werd gepionierd door Rees, en vervolgens werd uitgebreid tot idealen in gegradueerde situaties door de auteurs in eerdere werken [5, 6], behandelt dit artikel het complexere geval van eindig gegenereerde, torsievrije $N$-gegradueerde $A$-modulen $M$ van rang $e$. De auteurs streven er naar specifieke dichtheidsfuncties te construeren en deze te gebruiken om noodzakelijke en voldoende voorwaarden af te leiden voor een gegradueerde submodule $N \subseteq M$ om een reductie van $M$ te zijn.

Methodologie en Opzet
Het artikel opereert binnen het kader van een standaard gegradueerd domein $A = \bigoplus_{m \ge 0} A_m$ van dimensie $d \ge 2$ boven een veld $k$. De module $M$ is een eindig gegenereerde, torsievrije $A$-module van rang $e$. Om de Rees-algebra $A[Mt]$ te definiëren, kiezen de auteurs een gegradueerde inbedding $M \hookrightarrow F$, waarbij $F$ een vrije gegradueerde $A$-module van eindige rang is. De Rees-algebra wordt gedefinieerd als het beeld van de symmetrische algebra-afbeelding: $A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$.

De kernmethodologie omvat de constructie en analyse van drie verschillende dichtheidsfuncties die zijn afgeleid uit het asymptotische gedrag van de lengtes van gegradueerde componenten van $M$, zijn saturatie, en de quotiënt tussen hen. De auteurs maken gebruik van de natuurlijke bigraduering op de Rees-algebra $A[Mt]$, waarbij generatoren bidegraderingen $(d_i, 1)$ hebben en elementen van $A$ bidegradering $(1, 0)$ hebben.

Belangrijke technische hulpmiddelen die worden ingezet, omvatten:

1. Asymptotische Analyse van Lengtes: De auteurs analyseren de lengtefunctie $\ell_k((M_n)_m)$ wanneer $n \to \infty$, gebruikmakend van de structuur van de Rees-algebra als een quotiënt van een bigradueerde polynoomring.
2. Kwasi-polynomen en Kegels: Aansluitend bij resultaten uit [5], partitioneren de auteurs het domein van de lengtefunctie in kegels $C_j$ gegenereerd door de graden van de generatoren van $M$. Binnen deze kegels wordt aangetoond dat de lengtefunctie zich gedraagt als een kwasi-polynoom, dat uiteindelijk stabiliseert tot een polynoom.
3. Saturatie en $\epsilon$-functies: De auteurs definiëren de saturatie van $M_n$ als $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$. Zij introduceren de $\epsilon$-dichtheidsfunctie om het verschil tussen de gesatureerde en adische (originele) modulen te meten.
4. Geometrische Interpretatie: De bewijzen maken gebruik van de volumefunctie van divisors op projectieve variëteiten (specifiek $X = \text{Proj}_V B$ waar $B$ de Rees-algebra is) en asymptotische Riemann-Roch-stellingen om de continuïteit en polynoomkarakter van de dichtheidsfuncties vast te stellen.
5. Diagonale Subalgebra's: Om de criteria voor integraal afhankelijkheid te behandelen, beschouwen de auteurs $(c, 1)$-diagonale subalgebra's $A[Mt]_{\Delta(c,1)}$ en hun uitbreidingen $S[Mt]_{\Delta(c,1)}$ waar $S = A[y]$, en relateren hun multipliciteiten aan de dichtheidsfuncties.

Belangrijkste Bijdragen en Resultaten

1. Constructie van Dichtheidsfuncties:

   • Adische Dichtheidsfunctie ($f_M$): Gedefinieerd als $f_M(x) = \lim_{n \to \infty} \frac{\ell_k((M_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. Stelling 3.2 stelt vast dat $f_M$ een goed gedefinieerde, stuksgewijs polynoomfunctie is, continu overal behalve mogelijk bij $x=d_1$ (de minimale graad van een generator). Deze wordt ondersteund op $[d_1, \infty)$.
   • Gesatureerde Dichtheidsfunctie ($\tilde{f}_M$): Gedefinieerd als $\tilde{f}_M(x) = \lim_{n \to \infty} \frac{\ell_k((\widetilde{M}_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. Stelling 4.3 bewijst dat dit een continue functie is ondersteund op $[-c_0, \infty)$ voor een zekere constante $c_0. Cruciaal is dat voor$x \ge d_M$, $\tilde{f}_M(x)$ samenvalt met $f_M(x)$ en wordt gegeven door een polynoom dat gemengde multipliciteiten van de Rees-algebra omvat.
   • $\epsilon$-Dichtheidsfunctie ($f_\epsilon(M)$): Gedefinieerd als het verschil $f_\epsilon(M)(x) = \tilde{f}_M(x) - f_M(x)$. Stelling 5.2 toont aan dat deze functie compact ondersteund is op $[-c_0, d_M]$ en continu is op $\mathbb{R} \setminus \{d_1\}$. Het integraal van deze functie, $\epsilon(M)$, wordt aangetoond te bestaan als een limiet, en levert een numerieke invariant op die de "defect" meet tussen de module en zijn saturatie.

2. Numerieke Criteria voor Integraal Afhankelijkheid:
   Het artikel culmineert in Stelling 6.6, die een reeks equivalente voorwaarden biedt voor een gegradueerde submodule $N \subseteq M$ (met $\text{rang } N = \text{rang } M = e$) om een reductie van $M$ te zijn. De volgende beweringen zijn equivalent:

   • $N$ is een reductie van $M$.
   • De adische en gesatureerde dichtheidsfuncties coinciden: $f_M \equiv f_N$ en $\tilde{f}_M \equiv \tilde{f}_N$.
   • De $\epsilon$-invarianten zijn gelijk ($\epsilon(M) = \epsilon(N)$) en de multipliciteiten van de $(c, 1)$-diagonale subalgebra's zijn gelijk voor een zekere $c > d_{N,M}$.
   • De gemengde multipliciteiten van de Rees-algebra's $S[Mt]$ en $S[Nt]$ coinciden voor alle $0 \le i \le d$.

Betekenis en Aanspraken
Het artikel claimt de numerieke karakterisering van integraal afhankelijkheid uit te breiden van het domein van gegradueerde idealen (zoals behandeld in [5] en [6]) naar de meer algemene context van gegradueerde modulen. De auteurs merken op dat deze uitbreiding niet triviaal is, omdat, in tegenstelling tot het geval van idealen waar $A^n = A$, de componenten $F^n$ van de vrije module variëren met $n$, en de invarianten van $F^n$ niet constant zijn.

De betekenis van het werk ligt in:

• Generalisatie: Het bieden van een unificerend kader voor het detecteren van integraal afhankelijkheid in modulen met behulp van asymptotische invarianten.
• Nieuwe Invarianten: Het introduceren van de $\epsilon$-dichtheidsfunctie en de bijbehorende invariant $\epsilon(M)$ als een hulpmiddel om het verschil tussen een module en zijn saturatie te meten in een gegradueerde context.
• Rigoureuze Limieten: Het vaststellen van het bestaan van limieten voor deze dichtheidsfuncties en de $\epsilon$-invariant in de gegradueerde opzet, wat eerdere resultaten in lokale situaties [3, 20] aanvult.
• Berekenbare Criteria: Het bieden van concrete, controleerbare numerieke criteria (die multipliciteiten van diagonale subalgebra's en gemengde multipliciteiten omvatten) die noodzakelijk en voldoende zijn voor reductie, wat essentieel is voor algoritmische toepassingen in commutatieve algebra en singulariteitstheorie.

De auteurs handhaven een bescheiden toon, en presenteren de resultaten als een uitbreiding van bestaande theorieën voor idealen naar modulen, waarbij ze vergelijkbare maar aangepaste strategieën gebruiken (zoals lineaire regulariteitsgrenzen voor machten van modulen) om de structurele verschillen tussen idealen en modulen te overwinnen.