Numerical characterizations for integral dependence of graded modules

Technische Zusammenfassung: Numerische Charakterisierungen für integrale Abhängigkeit gradierter Moduln

Problemstellung
Das primäre Ziel dieser Arbeit besteht darin, ein neues numerisches Kriterium zur Erkennung der integralen Abhängigkeit beliebiger gradierter Moduln zu etablieren, die über einem standard-gradierten noetherschen Integritätsbereich $A$ über einem Körper $k$ definiert sind. Während die Charakterisierung der integralen Abhängigkeit mittels numerischer Invarianten von Rees für Ideale eingeführt und anschließend von den Autoren in früheren Arbeiten [5, 6] auf Ideale in graduierten Settings erweitert wurde, behandelt dieser Artikel den komplexeren Fall endlich erzeugter, torsionsfreier $N$-graduierter $A$-Moduln $M$ vom Rang $e$. Die Autoren zielen darauf ab, spezifische Dichtefunktionen zu konstruieren und diese zu nutzen, um notwendige und hinreichende Bedingungen dafür abzuleiten, dass ein graduierter Untermodul $N \subseteq M$ eine Reduktion von $M$ ist.

Methodik und Aufbau
Die Arbeit operiert im Rahmen eines standard-gradierten Integritätsbereichs $A = \bigoplus_{m \ge 0} A_m$ der Dimension $d \ge 2$ über einem Körper $k$. Der Modul $M$ ist ein endlich erzeugter, torsionsfreier $A$-Modul vom Rang $e$. Um die Rees-Algebra $A[Mt]$ zu definieren, wählen die Autoren eine graduierte Einbettung $M \hookrightarrow F$, wobei $F$ ein freier graduierter $A$-Modul endlichen Rangs ist. Die Rees-Algebra wird als Bild des symmetrischen Algebra-Homomorphismus definiert: $A[Mt] = \bigoplus_{n \ge 0} M_n t^n \subseteq \text{Sym}_A(F)$.

Die Kernmethodik umfasst die Konstruktion und Analyse von drei verschiedenen Dichtefunktionen, die aus dem asymptotischen Verhalten der Längen der graduierten Komponenten von $M$, seiner Sättigung und des Quotienten zwischen ihnen abgeleitet werden. Die Autoren nutzen die natürliche Bigradierung auf der Rees-Algebra $A[Mt]$, wobei Erzeuger die Bigrade $(d_i, 1)$ haben und Elemente aus $A$ das Bigrad $(1, 0)$ besitzen.

Zu den wichtigsten eingesetzten technischen Werkzeugen gehören:

1. Asymptotische Analyse der Längen: Die Autoren analysieren die Längenfunktion $\ell_k((M_n)_m)$ für $n \to \infty$ unter Ausnutzung der Struktur der Rees-Algebra als Quotient eines bigraduierten Polynomrings.
2. Quasipolynome und Kegel: Basierend auf Ergebnissen aus [5] partitionieren die Autoren den Definitionsbereich der Längenfunktion in Kegel $C_j$, die von den Graden der Erzeuger von $M$ erzeugt werden. Innerhalb dieser Kegel verhält sich die Längenfunktion als Quasipolynom, das sich schließlich zu einem Polynom stabilisiert.
3. Sättigung und $\epsilon$-Funktionen: Die Autoren definieren die Sättigung von $M_n$ als $\widetilde{M}_n = (M_n :_F \mathfrak{m}^\infty)$. Sie führen die $\epsilon$-Dichtefunktion ein, um die Differenz zwischen den gesättigten und den adischen (ursprünglichen) Moduln zu messen.
4. Geometrische Interpretation: Die Beweise nutzen die Volumenfunktion von Divisoren auf projektiven Varietäten (insbesondere $X = \text{Proj}_V B$, wobei $B$ die Rees-Algebra ist) sowie asymptotische Riemann-Roch-Theoreme, um die Stetigkeit und den polynomialen Charakter der Dichtefunktionen zu etablieren.
5. Diagonale Unteralgebren: Um die Kriterien für integrale Abhängigkeit zu behandeln, betrachten die Autoren $(c, 1)$-diagonale Unteralgebren $A[Mt]_{\Delta(c,1)}$ und ihre Erweiterungen $S[Mt]_{\Delta(c,1)}$, wobei $S = A[y]$ gilt, und setzen ihre Multiplizitäten in Beziehung zu den Dichtefunktionen.

Hauptbeiträge und Ergebnisse

1. Konstruktion von Dichtefunktionen:

   • Adische Dichtefunktion ($f_M$): Definiert als $f_M(x) = \lim_{n \to \infty} \frac{\ell_k((M_n)_{\lfloor xn \rfloor})}{n^{d+e-2}/(d+e-1)!}$. Satz 3.2 stellt fest, dass $f_M$ eine wohldefinierte, stückweise polynomiale Funktion ist, die überall stetig ist, außer möglicherweise bei $x=d_1$ (dem minimalen Grad eines Erzeugers). Ihr Träger liegt in $[d_1, \infty)$.
   • Gesättigte Dichtefunktion ($\tilde{f}_M$): Definiert 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)!}$. Satz 4.3 beweist, dass dies eine stetige Funktion ist, deren Träger in $[-c_0, \infty)$ für eine Konstante $c_0$ liegt. Entscheidend ist, dass für $x \ge d_M$ $\tilde{f}_M(x)$ mit $f_M(x)$ übereinstimmt und durch ein Polynom gegeben ist, das gemischte Multiplizitäten der Rees-Algebra beinhaltet.
   • $\epsilon$-Dichtefunktion ($f_\epsilon(M)$): Definiert als die Differenz $f_\epsilon(M)(x) = \tilde{f}_M(x) - f_M(x)$. Satz 5.2 zeigt, dass diese Funktion kompakt auf $[-c_0, d_M]$ getragen und auf $\mathbb{R} \setminus \{d_1\}$ stetig ist. Das Integral dieser Funktion, $\epsilon(M)$, existiert als Grenzwert und liefert eine numerische Invariante, die den „Defekt" zwischen dem Modul und seiner Sättigung misst.

2. Numerische Kriterien für integrale Abhängigkeit:
   Die Arbeit gipfelt in Satz 6.6, der eine Reihe äquivalenter Bedingungen für einen graduierten Untermodul $N \subseteq M$ (mit $\text{Rang } N = \text{Rang } M = e$) liefert, eine Reduktion von $M$ zu sein. Die folgenden Aussagen sind äquivalent:

   • $N$ ist eine Reduktion von $M$.
   • Die adischen und gesättigten Dichtefunktionen stimmen überein: $f_M \equiv f_N$ und $\tilde{f}_M \equiv \tilde{f}_N$.
   • Die $\epsilon$-Invarianten sind gleich ($\epsilon(M) = \epsilon(N)$) und die Multiplizitäten der $(c, 1)$-diagonalen Unteralgebren sind für ein gewisses $c > d_{N,M}$ gleich.
   • Die gemischten Multiplizitäten der Rees-Algebren $S[Mt]$ und $S[Nt]$ stimmen für alle $0 \le i \le d$ überein.

Bedeutung und Behauptungen
Die Arbeit beansprucht, die numerische Charakterisierung der integralen Abhängigkeit vom Bereich graduierter Ideale (wie in [5] und [6] behandelt) auf den allgemeineren Kontext graduierter Moduln zu erweitern. Die Autoren weisen darauf hin, dass diese Erweiterung nicht-trivial ist, da im Gegensatz zum Ideal-Fall, wo $A^n = A$ gilt, die Komponenten $F^n$ des freien Moduln mit $n$ variieren und die Invarianten von $F^n$ nicht konstant sind.

Die Bedeutung der Arbeit liegt in:

• Verallgemeinerung: Bereitstellung eines einheitlichen Rahmens zur Erkennung integraler Abhängigkeit in Moduln mittels asymptotischer Invarianten.
• Neue Invarianten: Einführung der $\epsilon$-Dichtefunktion und der zugehörigen Invariante $\epsilon(M)$ als Werkzeug zur Messung der Differenz zwischen einem Modul und seiner Sättigung in einem graduierten Kontext.
• Rigorose Grenzwerte: Etablierung der Existenz von Grenzwerten für diese Dichtefunktionen und die $\epsilon$-Invariante im graduierten Setup, was frühere Ergebnisse in lokalen Settings [3, 20] ergänzt.
• Berechenbare Kriterien: Angebot konkreter, überprüfbarer numerischer Kriterien (unter Einbeziehung von Multiplizitäten diagonaler Unteralgebren und gemischter Multiplizitäten), die für Reduktionen notwendig und hinreichend sind und für algorithmische Anwendungen in der kommutativen Algebra und der Singularitätentheorie essenziell sind.

Die Autoren wahren einen bescheidenen Ton und rahmen die Ergebnisse als Erweiterung bestehender Theorien für Ideale auf Moduln, unter Verwendung ähnlicher, aber angepasster Strategien (wie lineare Regularitätsschranken für Potenzen von Moduln), um die strukturellen Unterschiede zwischen Idealen und Moduln zu überwinden.