The Complete Intersection Discrepancy of a Curve I: Numerical Invariants

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel probleem in de algebraïsche meetkunde: het kwantificeren van het verschil tussen een willekeurige Cohen-Macaulay kromme $X$ en een volledige doorsnede (complete intersection) kromme $Z$ die $X$ bevat.

• De context: In de singulieriteitstheorie en de studie van krommen zijn klassieke formules (zoals de genus-graad formule voor vlakke krommen en multipliciteitsformules voor singulariteiten) vaak beperkt tot specifieke gevallen, zoals gladde krommen of volledige doorsneden.
• De uitdaging: Wanneer $X$ een kromme is die generiek een volledige doorsnede is (maar niet noodzakelijk overal), en $X$ wordt ingebed in een volledige doorsnede $Z$, ontstaat er een "residuale" kromme $W = Z \setminus X$. Het is computatieel moeilijk om de ideale van $W$ expliciet te vinden om invariante te berekenen.
• Doel: Het definiëren en berekenen van een correctieterm, de volledige doorsnede discrepantie (complete intersection discrepancy), die het verschil tussen $X$ en $Z$ meet, zodat men invariante van $X$ kan afleiden uit die van $Z$ zonder de ideale van $W$ expliciet te hoeven construeren.

2. Methodologie

De auteurs gebruiken een combinatie van technieken uit de commutatieve algebra, de theorie van duale schoven en de linktheorie (linkage theory).

• Volledige doorsnede Discrepantie ($I(X, W)$):
  De kern van de methode is de definitie van de discrepantie als een snijgetal:
  $$I(X, W) := \sum_{x \in X \cap W} \dim_k \mathcal{O}_{X,x} / (I_X + I_W)$$
  waar $I_X$ en $I_W$ de ideaalshoven zijn van respectievelijk $X$ en $W$ in $\mathcal{O}_Z$.
• Grothendieck Dualiteit en Adjunctie:
  Een cruciaal technisch hulpmiddel is een identiteit van het type adjunctie voor duale schoven (dualizing sheaves):
  $$\omega_X = i^*(I_W \omega_Z)$$
  Hierbij is $\omega_X$ en $\omega_Z$ de duale sheaf van respectievelijk $X$ en $Z$, en $i: X \hookrightarrow Z$ de gesloten inbedding. Deze relatie stelt de auteurs in staat om Euler-karakteristieken en graden te relateren.
• Constructie van $Z$:
  In Sectie 6.1 wordt een expliciete constructie gegeven van een volledige doorsnede $Z$ die $X$ bevat, gebruikmakend van priemvermijding (prime avoidance) en lineaire algebra. $Z$ wordt gedefinieerd door $n-1$ generieke lineaire combinaties van de vergelijkingen van $X$.
• Fitting-idealen en Jacobiaanse:
  De analyse maakt gebruik van Jacobiaanse idealen ($Jac(X)$, $Jac(Z)$) en Fitting-idealen van relatieve Kahler-differentiaalen om lokale invariante zoals de delta-invariant ($\delta_x$), de Milnor-getal ($\mu_x$) en de multipliciteit van vertakking ($e(R_X)$) te relateren aan de discrepantie.

3. Belangrijkste Resultaten en Bijdragen

A. De Multipliciteitsformule voor Kromme Singulariteiten (Theorema A)

De auteurs generaliseren een klassieke formule van Lê, Greuel en Teissier. Voor een punt $x$ op een kromme $X$ en een generieke volledige doorsnede $Z$ die $X$ bevat, geldt:
$$e(Jac(X, x)) - \text{cid}(X, x) = 2\delta_x + e(R_X)$$
Waarbij:

• $e(Jac(X, x))$ de Hilbert-Samuel multipliciteit is van het Jacobiaanse ideaal.
• $\text{cid}(X, x)$ de intrinsieke volledige doorsnede discrepantie is (onafhankelijk van de keuze van $Z$ als $Z$ generiek is).
• $\delta_x$ de delta-invariant is.
• $e(R_X)$ de multipliciteit is van het vertakkingsideaal.
• Voor "tame" punten (bijv. in karakteristiek 0) vereenvoudigt dit tot: $e(Jac(X, x)) - \text{cid}(X, x) = \mu_x + m_x - 1$.

Dit resultaat koppelt lokale meetkundige invariante direct aan de discrepantie en biedt een karakterisering van equisingulariteit.

B. De Genus-Graad Formule voor Projectieve Krommen (Theorema B)

De auteurs generaliseren de klassieke genus-graad formule voor vlakke krommen naar Cohen-Macaulay projectieve krommen die generiek een volledige doorsnede zijn.
Voor een dergelijke kromme $X \subset \mathbb{P}^n_k$ gedefinieerd door polynomen van graden $d_1, \dots, d_{n-1}$, geldt voor de arithmetische genus $p_a(X)$:
$$p_a(X) = 1 + \frac{(d_1 + \dots + d_{n-1} - n - 1)\deg(X) - I(X, W)}{2}$$

• Bijdrage: Dit veralgemeent de formule van Clebsch en de adjunctieformule voor volledige doorsneden naar krommen met singulariteiten die niet noodzakelijk glad zijn.
• Praktische toepassing: Als $X$ glad is, kan $I(X, W)$ worden berekend via de dimensie van een quotiënt van de Jacobiaanse van $Z$ in de coördinatenring van $X$, zonder de ideale van $W$ expliciet te hoeven vinden:
  $$I(X, W) = \dim_k S(X)(h) / Jac(Z)$$

C. Almost Complete Intersection (aci) Krommen (Corollary C)

Voor een "almost complete intersection" (aci) kromme (gedefinieerd door $n$ vergelijkingen in $\mathbb{P}^n$), leiden ze een specifieke formule af voor de genus en een ondergrens voor de graad:
$$p_a(X) = 1 + \frac{(d_1 + \dots + d_n - n - 1)\deg(X) - \prod_{i=1}^n d_i}{2}$$
Dit leidt tot de ongelijkheid $\deg(X) \geq \frac{\prod d_i - 2}{\sum d_i - n - 1}$ voor niet-degenererende aci-krommen.

D. Nash Blowup en Gorenstein Schemes (Sectie 4)

Voor Gorenstein krommen interpreteren ze de term $e(Jac(X, x)) - \text{cid}(X, x)$ als de graad van de uitzonderlijke divisor van de Nash-blowup van de kromme. Ze beantwoorden een vraag van Piene door te tonen dat het $\omega$-Jacobian ideaal gelijk is aan het gewone Jacobiaanse ideaal dan en slechts dan als de kromme lokaal een volledige doorsnede is.

E. Appendix van Marc Chardin

Chardin biedt een zuiver algebraïsch bewijs van de genusformule (Theorema B) zonder beperkingen op de karakteristiek van het lichaam $k$, gebruikmakend van Hilbert-reeksen en Koszul-complexen. Hij toont ook aan dat voor generieke links de residual kromme $W$ glad kan zijn.

4. Significance en Toepassingen

1. Berekenbaarheid: De grootste praktische bijdrage is dat de discrepantie $I(X, W)$ direct kan worden berekend uit de vergelijkingen van $X$ en de geconstrueerde $Z$, zonder de complexe berekening van de ideale van de residual kromme $W$ (die vaak een primaire decompositie vereist).
2. Equisingulariteit: De formules bieden een nieuw instrument om families van krommen te bestuderen. De verandering in de term $e(Jac) - \text{cid}$ over een vlakke familie correspondeert met de graad van een relatieve polaire variëteit, wat een karakterisering van equisingulariteit mogelijk maakt.
3. Generalisatie van Klassieke Resultaten: Het werk verenigt en generaliseert resultaten van Teissier, Lê, Greuel, Peskine en Szpiro, en Piene naar een bredere context van Cohen-Macaulay krommen met singulariteiten.
4. Plücker Formules: De resultaten vormen de basis voor verdere generalisaties van Plücker-formules voor krommen van willekeurige codimensie (verwezen in Remark 5.2 en [RT26]).

Conclusie

Dit artikel introduceert een krachtige nieuwe invariant, de volledige doorsnede discrepantie, die fungeert als een brug tussen de lokale meetkunde van singulariteiten en de globale topologische invariante (zoals genus) van krommen. Door gebruik te maken van Grothendieck-dualiteit en expliciete constructies via lineaire algebra, bieden de auteurs een computatievriendelijke en theoretisch diepgaande methode om de meetkunde van krommen die niet noodzakelijk volledige doorsneden zijn, te analyseren.