Multiplicities of graded families of ideals on Noetherian local rings

This paper generalizes the classical multiplicity of an ideal to graded families of ideals on Noetherian local rings, establishing that many fundamental theorems (such as Rees' theorem and the Minkowski inequality) hold for this new invariant through simple proofs based on intersection products on blow-up schemes, independent of volume theory and Okounkov bodies.

The Gist

Imagine you are a city planner trying to understand how "crowded" a city gets as you look further and further out from the center.

In the world of advanced mathematics (specifically algebra), there is a concept called multiplicity. Think of this as a measure of how "dense" or "heavy" a specific area of a mathematical city is. For a long time, mathematicians could only measure this density for a single, static building (an ideal). They would count the rooms, the walls, and the space to get a number representing its size.

Steven Dale Cutkosky's paper is like a revolutionary new zoning law. He says: "Stop looking at just one building. Let's look at the entire neighborhood that grows over time."

Here is the breakdown of his ideas using simple analogies:

1. The Growing Neighborhood (Graded Families)

Imagine you have a single house (an ideal). You can measure its size. But what if you have a family of houses?

• Year 1: A small shed.
• Year 2: A shed plus a garage.
• Year 3: A shed, a garage, and a two-story house.
• Year $n$: A massive complex.

In math, this is called a graded family of ideals. It's a sequence of shapes that grow according to specific rules. Cutkosky wanted to know: If we look at this whole growing neighborhood, can we still measure its "density" or "multiplicity"?

The Problem: Sometimes, if you just count the rooms year by year, the numbers get messy. They might jump up and down, never settling on a single, clean number. This is like trying to measure the population of a city that is constantly building and demolishing houses at the same time.

The Solution: Cutkosky proves that even if the raw numbers are messy, if you look at the average growth rate over a very long time, a perfect, clean number always emerges. He calls this the multiplicity of the family. It's like realizing that while the daily population fluctuates, the city's long-term growth rate is a steady, predictable number.

2. The "Volume" vs. The "Weight"

Mathematicians had two ways to measure these growing neighborhoods:

• Volume: A rough estimate, like looking at the shadow the neighborhood casts. Sometimes this shadow flickers and doesn't settle.
• Multiplicity: A precise weight, like putting the neighborhood on a scale.

Cutkosky showed that for most "nice" cities (mathematical rings), the Volume and the Weight are the same. But for some weird, broken cities, the Volume might be a flickering shadow, while the Weight (Multiplicity) is a solid, reliable number. He proved that Multiplicity always exists, even when Volume doesn't.

3. The "Blow-Up" Tool (Intersection Products)

How did he prove this? He used a tool called blowing up.

• The Analogy: Imagine you have a crumpled piece of paper (the mathematical city). To see the details clearly, you unfold it and smooth it out on a table. In math, this is called "blowing up." You replace a messy point with a whole new surface (like a sphere) so you can see the geometry clearly.
• Cutkosky realized that the "weight" (multiplicity) of the neighborhood is exactly the same as the intersection of lines and surfaces on this smoothed-out map.
• Instead of using complex, abstract theories (like "Okounkov bodies," which are like high-dimensional geometric shapes that are hard to visualize), he used these simple "unfolding" maps to prove his results. It's like solving a puzzle by laying the pieces flat on a table rather than trying to juggle them in the air.

4. The Minkowski Inequality (The Triangle Rule)

One of the most famous rules in geometry is the Triangle Inequality: The shortest distance between two points is a straight line. If you go from A to B to C, the total distance is always longer than going straight from A to C.

Cutkosky applied this to his growing neighborhoods. He proved a rule called the Minkowski Inequality:

• If you combine two growing neighborhoods (Family A and Family B), the "density" of the combined family is never more than the sum of their individual densities.
• The Big Question: When does the combined density equal the sum? (When does the triangle become a straight line?)
• The Answer: It happens only when the two families are essentially the same shape, just scaled differently. If Family A is a "small version" of Family B, their densities add up perfectly. If they are totally different shapes, the combined density is less than the sum.

5. Why This Matters

Before this paper, mathematicians had to rely on very heavy, complicated machinery (like the theory of volumes and convex geometry) to prove these things, and it only worked for "perfect" cities.

Cutkosky's paper is a universal toolkit.

• He showed that these rules work for any Noetherian local ring (any mathematical city, even the messy, broken ones).
• He provided simple, direct proofs that don't require the heavy machinery of the past.
• He clarified the relationship between "Volume" (the shadow) and "Multiplicity" (the weight), showing that Multiplicity is the more reliable measure.

Summary

Think of Steven Dale Cutkosky as a master architect who looked at a chaotic, growing city and said: "Don't worry about the daily construction noise. If you step back and look at the long-term growth, there is a perfect, predictable pattern."

He gave us a new ruler (Multiplicity) that works on any shape, a new map (Blow-ups) to measure it without getting lost, and a new rule (Minkowski Equality) that tells us exactly when two growing shapes are just scaled versions of each other. He did it all without needing the most complex tools in the mathematician's toolbox, making the deep secrets of these abstract shapes accessible and clear.

Technical Summary

Here is a detailed technical summary of the paper "Multiplicities of Graded Families of Ideals on Noetherian Local Rings" by Steven Dale Cutkosky.

1. Problem Statement

The paper addresses the generalization of the classical multiplicity $e(I)$ of an $\mathfrak{m}_R$-primary ideal $I$ in a $d$-dimensional Noetherian local ring $R$ to the setting of graded families of ideals (also known as graded filtrations).

• Classical Context: For an ideal $I$, the multiplicity is defined as $e(I) = \lim_{n \to \infty} \frac{d! \ell(R/I^n)}{n^d}$.
• The Challenge: For a graded family $\mathcal{I} = \{I_n\}_{n \ge 0}$ (where $I_0=R, I_m I_n \subseteq I_{m+n}$), the limit defining the "volume" $\text{vol}(\mathcal{I}) = \limsup_{n \to \infty} \frac{d! \ell(R/I_n)}{n^d}$ does not always exist as a limit on arbitrary Noetherian local rings. While the existence of this limit is known for specific cases (e.g., analytically unramified rings or domains essentially of finite type over a field), a general theory for arbitrary Noetherian local rings was lacking.
• Goal: Define a robust multiplicity $e(\mathcal{I})$ for graded families that always exists as a limit, generalize classical theorems (Rees's Theorem, Minkowski inequalities/equality), and provide proofs independent of the complex theory of Okounkov bodies and convex geometry, which have been the standard tool for such problems in recent literature.

2. Methodology

Cutkosky employs a geometric approach based on intersection theory on blow-ups, avoiding the use of Okounkov bodies.

• Intersection Products on Blow-ups: The core technique interprets the multiplicity of an ideal (and subsequently a graded family) as an intersection product on a birational model. Specifically, if $\pi: Y \to \text{Spec}(R)$ is the blow-up of an $\mathfrak{m}_R$-primary ideal $I_n$, and $I_n \mathcal{O}_Y = \mathcal{O}_Y(-F_n)$ for an effective Cartier divisor $F_n$, then $e(I_n) = -((-F_n)^d)$.
• Limits of Intersection Products: The author proves that for a graded family $\mathcal{I}$, the limit of the normalized intersection products $\lim_{n \to \infty} -((-F_n/n)^d)$ exists. This relies on the multilinearity of intersection products and the properties of nef (numerically effective) divisors.
• Valuations and Saturation: The paper utilizes the set $V(R)$ of $\mathfrak{m}_R$-valuations (divisorial valuations dominating $R$). It defines the saturation $\tilde{\mathcal{I}}$ of a family $\mathcal{I}$ via these valuations: $\tilde{I}_n = \{f \in R \mid v(f) \ge n v(\mathcal{I}) \text{ for all } v \in V(R)\}$.
• Reduction to Complete Domains: Many results are first established for analytically irreducible local domains (where volume equals multiplicity) and then extended to arbitrary Noetherian local rings using the associativity formula for multiplicity and the structure of the completion $\hat{R}$.

3. Key Contributions and Results

A. Existence of Multiplicity for Graded Families

Theorem 1.3: For any $d$-dimensional Noetherian local ring $R$ and any graded $\mathfrak{m}_R$-family $\mathcal{I} = \{I_n\}$, the multiplicity
$$e(\mathcal{I}) = \lim_{n \to \infty} \frac{e(I_n)}{n^d}$$
always exists as a limit.

• Significance: This resolves the existence question for arbitrary Noetherian local rings without assuming the ring is a domain or analytically unramified. The proof is elementary compared to previous proofs relying on Okounkov bodies.

B. Mixed Multiplicities

Theorem 1.6: For graded families $\mathcal{I}^{(1)}, \dots, \mathcal{I}^{(r)}$, the limit
$$\lim_{m \to \infty} \frac{e(\mathcal{I}^{(1)}_{mn_1} \cdots \mathcal{I}^{(r)}_{mn_r})}{m^d}$$
exists and is a homogeneous polynomial of degree $d$ in $n_1, \dots, n_r$. The coefficients are defined as mixed multiplicities $e(\mathcal{I}^{(1)}[d_1], \dots, \mathcal{I}^{(r)}[d_r])$.

• Method: These are interpreted as intersection products of the normalized divisors associated with the families.

C. Generalization of Rees's Theorem

Theorem 1.12: For graded families $\mathcal{I} \subseteq \mathcal{J}$, $e(\mathcal{I}) = e(\mathcal{J})$ if and only if their saturations are equal ($\tilde{\mathcal{I}} = \tilde{\mathcal{J}}$).

• Context: This generalizes Rees's classical theorem (which states $e(I)=e(J) \iff \bar{I} = \bar{J}$ for ideals in formally equidimensional rings).
• Novelty: The paper provides a proof independent of volume theory, showing that the saturation $\tilde{\mathcal{I}}$ is the unique maximal filtration with the same multiplicity as $\mathcal{I}$.

D. Minkowski Inequalities and Equality

Theorem 1.13 (Inequalities): The paper establishes Minkowski inequalities for graded families, including:
$$e(\mathcal{I}\mathcal{J})^{1/d} \le e(\mathcal{I})^{1/d} + e(\mathcal{J})^{1/d}$$
where $\mathcal{I}\mathcal{J} = \{I_n J_n\}$.

Theorem 1.17 (Equality Condition): For $d \ge 2$, equality holds in the Minkowski inequality if and only if $\tilde{\mathcal{I}} = \tilde{\mathcal{J}}(c)$ for some $c \in \mathbb{R}_{\ge 0}$ (where $\mathcal{J}(c)$ is a "twist" of the filtration).

• Significance: This characterizes the equality case purely in terms of valuations and saturation, extending results previously known only for ideals or specific ring types.

E. Volume vs. Multiplicity

The paper clarifies the relationship between the volume $\text{vol}(\mathcal{I})$ and the multiplicity $e(\mathcal{I})$.

• Proposition 4.1: $\text{vol}(\mathcal{I}) \le e(\mathcal{I})$ always.
• Example 4.2: The paper constructs an example where $\text{vol}(\mathcal{I}) < e(\mathcal{I})$ and the volume does not exist as a limit. This demonstrates that the "Volume = Multiplicity" formula (Theorem 1.2) is specific to rings where $\dim N(\hat{R}) < d$ and does not hold generally.

4. Significance

1. Independence from Okounkov Bodies: The most significant methodological contribution is the derivation of these deep results using intersection theory and blow-ups rather than the theory of Okounkov bodies. This makes the theory more accessible to commutative algebraists and algebraic geometers who may not specialize in convex geometry.
2. Generality: The results hold for arbitrary Noetherian local rings, removing the restrictive assumptions (like being a domain, analytically unramified, or essentially of finite type) required in previous works by Ein-Lazarsfeld-Smith, Lazarsfeld-Mustață, and others.
3. Unification: The paper unifies the theory of multiplicities for ideals and graded families, showing that classical theorems (Rees, Minkowski) have natural and robust generalizations to the graded family setting via the concept of saturation.
4. Counterexamples: By providing examples where volume and multiplicity diverge, the paper delineates the precise boundaries of when the volume limit exists, refining the understanding of asymptotic behavior of ideals in singular or non-equidimensional rings.

In summary, Cutkosky provides a comprehensive, elementary, and geometric framework for the multiplicity of graded families, extending classical ideal theory to a much broader class of rings while simplifying the underlying proofs.