Homological properties of the relative Frobenius morphism

This paper establishes relationships between the homological properties of the relative Frobenius morphism and the fibers of a map between commutative noetherian local rings containing a field of positive characteristic, with a specific focus on characterizing complete intersection and Gorenstein properties.

The Gist

Imagine you are an architect trying to understand the stability of a complex building. In the world of mathematics, specifically in a field called commutative algebra, these "buildings" are mathematical structures called rings. Some rings are perfectly smooth and regular (like a pristine marble statue), while others have cracks, bumps, and singularities (like a crumpled piece of paper).

For decades, mathematicians have had a special tool to check if a building is "regular": the Frobenius Map. Think of this map as a magical scanner that takes every point in the building and squashes it down (raising numbers to a specific power). A famous theorem by Kunz says: If this scanner makes the building look perfectly flat and smooth, then the building was regular to begin with.

However, real-world math problems often involve maps between two different buildings (let's call them Building R and Building S), not just a single building. The question becomes: How does the "smoothness" of the connection between these two buildings relate to the smoothness of the buildings themselves?

This is what Peter McDonald's paper investigates. Here is the breakdown using everyday analogies:

1. The Setup: The "Relative" Scanner

Usually, we scan a single building. But here, we have a map $\phi$ connecting Building R to Building S.

• The Problem: We want to know if the connection (the map) is "regular" (smooth and well-behaved).
• The Tool: Instead of just scanning Building S, we create a Relative Frobenius. Imagine taking a photo of Building S, but the camera lens is influenced by the "texture" of Building R. This creates a new, hybrid image called the Relative Frobenius.

2. The Twist: Looking at the "Shadows" (Fibers)

Mathematicians realized that to understand the hybrid image, you don't need to look at the whole building. You just need to look at the shadows cast by the building when the light hits it from a specific angle.

• In math terms, these shadows are called fibers (specifically, the "derived fibers").
• Think of the fiber as the "cross-section" of the building at a specific point. If you slice a loaf of bread, the slice is the fiber.
• The paper asks: Does the behavior of the hybrid scanner (Relative Frobenius) match the behavior of the scanner on just the slice (the fiber)?

3. The Main Discovery: The "Growth Rate" Connection

The paper's big breakthrough is about Curvature.

• What is Curvature here? Imagine you are counting the number of bricks needed to build a tower of a certain height.
  • If the number of bricks grows slowly (linearly), the structure is very stable (like a Complete Intersection).
  • If the number of bricks explodes exponentially, the structure is chaotic.
  • "Curvature" is a number that measures how fast this "brick count" (called Betti numbers) grows.
• The Result: McDonald proves that the "growth rate" of the hybrid scanner (Relative Frobenius) is exactly the same as the growth rate of the scanner on the shadow (the fiber).
  • Analogy: If you want to know how fast a complex machine is wearing out, you don't need to disassemble the whole thing. You just need to measure how fast a single, representative gear (the fiber) is wearing out. They wear out at the same speed.

4. Why This Matters: The "Regularity" and "Complete Intersection" Tests

The paper uses this connection to solve two major puzzles:

• Puzzle A: Is the map "Regular"?

  • A map is "regular" if it's flat and the fibers are perfectly smooth.
  • Old way: You had to check the fibers directly, which is hard.
  • New way (McDonald's result): You just check if the Relative Frobenius has a "finite flat dimension" (a technical way of saying it doesn't break the rules of flatness). If the scanner behaves well, the map is regular. This confirms old theories but works even when the buildings aren't perfectly flat to begin with.

• Puzzle B: Is the map a "Complete Intersection"?

  • This is a specific type of "nice" structure where the building is formed by cutting a perfect shape with a few clean slices.
  • The Test: The paper shows that if the "brick growth rate" (curvature) of the Relative Frobenius is low (specifically, $\le 1$), then the map is a Complete Intersection.
  • Analogy: If the complexity of the hybrid scanner grows at a manageable, predictable pace, you know the underlying structure was built with a clean, simple blueprint.

Summary in Plain English

Imagine you are trying to judge the quality of a bridge connecting two cities.

1. Old Method: You had to inspect every single bolt and beam of the bridge and the cities it connects.
2. McDonald's Method: You realize that the "vibration" of the bridge (the Relative Frobenius) is directly linked to the "vibration" of the ground beneath it (the fibers).
3. The Conclusion: If the bridge vibrates in a stable, predictable way, you know the connection is solid and the cities are well-built. If the vibration is chaotic, the connection is flawed.

This paper provides a powerful new "vibration sensor" that allows mathematicians to diagnose the health of complex mathematical structures by looking at their simplest parts, simplifying a very difficult problem into a manageable one.

Technical Summary

Here is a detailed technical summary of the paper "Homological Properties of the Relative Frobenius Morphism" by Peter M. McDonald.

1. Problem Statement and Context

The paper investigates the relationship between the homological properties of the relative Frobenius morphism and the homological properties of the fibers of a map between commutative Noetherian local rings of positive characteristic $p > 0$.

• Background: Kunz's Theorem (1969) establishes that a local ring $R$ is regular if and only if the absolute Frobenius endomorphism $F: R \to R$ is flat. Subsequent work (Rodicio, Blanco-Majadas, Takahashi-Yoshino, Iyengar-Sather-Wagstaff) generalized this to cases where the Frobenius has finite flat dimension or other finite homological dimensions.
• The Gap: While the absolute case is well-understood, the relative setting (a map $\phi: R \to S$) is more complex. A map is "regular" if it is flat and has geometrically regular fibers. Radu and Andr'e proved that $\phi$ is regular if and only if the relative Frobenius $F_{S/R}$ is flat.
• The Objective: McDonald aims to extend these results beyond the assumption that $\phi$ is flat. Specifically, the paper seeks to relate the homological growth (measured by Betti numbers and curvature) of the relative Frobenius $F_{S/R}$ to the homological growth of the Frobenius acting on the derived fibers of $\phi$ (i.e., $S \otimes^L_R k$), under the weaker hypothesis that $\phi$ has finite flat dimension.

2. Methodology

The paper employs a blend of classical commutative algebra, homological algebra, and simplicial ring theory.

• Simplicial Rings and Derived Fibers: Since $\phi$ is not assumed to be flat, the standard fiber $S \otimes_R k$ is insufficient. The author works with the derived fiber $S \otimes^L_R k$, treated as a simplicial $k$-algebra. This allows the Frobenius map to be applied degreewise, preserving the algebraic structure in a way that differential graded (DG) algebras do not (since the $p$-th power map is not degree-preserving in DG settings).
• Dold-Kan Correspondence: The author utilizes the Dold-Kan correspondence to translate problems between the category of simplicial modules and the category of non-negatively graded differential graded (DG) modules. This facilitates the computation of homological invariants like Betti numbers.
• Curvature and Betti Numbers: The central invariant is the curvature of a module $M$, defined as:
  $$\text{curv}_A(M) = \limsup_{n \to \infty} \sqrt[n]{\beta_n^A(M)}$$
  where $\beta_n^A(M)$ are the Betti numbers. Curvature measures the exponential growth rate of the minimal free resolution.
  • $\text{curv} = 0$ corresponds to finite projective dimension (regularity).
  • $\text{curv} \le 1$ corresponds to finite CI-dimension (complete intersection).
• Factorization of Frobenius: A key technical step involves factoring the Frobenius on the derived fiber through the relative Frobenius and field extensions. The author constructs a diagram showing that the Frobenius on $S \otimes^L_R k'$ (where $k'$ is a purely inseparable extension) is a base change of the relative Frobenius.

3. Key Contributions and Results

A. Main Theorem (Theorem 3.1)

The core result establishes a precise inequality relating the curvature of the relative Frobenius to the curvature of the Frobenius on the derived fibers.

Let $\phi: R \to S$ be a map of $F$-finite local rings with finite flat dimension. Let $k'$ be a finite, purely inseparable extension of the residue field $k_R$, and let $\bar{S}' = S \otimes^L_R k'$. Then:
$$\text{curv}_{\bar{S}'}(F_* \bar{S}') \le \text{curv}_A(F_* S) \le \max\{\text{curv}_{\bar{S}'}(F_* \bar{S}'), 1\}$$
where $A = S \otimes_R F_* R$ is the target of the relative Frobenius.

Implication: The exponential growth rate of the Betti numbers of the relative Frobenius is essentially the same as that of the Frobenius on the derived fiber, differing by at most a factor of 1 (which corresponds to the transition from regular to complete intersection behavior).

B. Characterization of Regularity (Corollary 3.3)

The paper recovers and generalizes the Radu-Andr'e theorem.

• Result: $\phi$ is a regular homomorphism if and only if the relative Frobenius $F_{S/R}$ has finite flat dimension.
• Advancement: This holds even if $\phi$ is not assumed to be flat a priori, provided $\phi$ has finite flat dimension.

C. Characterization of Complete Intersection (Corollary 3.8)

The paper extends the characterization of complete intersection rings to the relative setting.

• Result: $\phi$ is complete intersection at the maximal ideal of $S$ if and only if $F_* S$ has finite CI-dimension over $S \otimes_R F_* R$.
• Mechanism: This is derived by showing that if the curvature of the relative Frobenius is $\le 1$, the curvature of the derived fiber is also $\le 1$, which implies the ring is a complete intersection via Avramov's theory of minimal models and deviations.

D. Simplicial Ring Theory Developments

The paper provides foundational lemmas for working with Frobenius in the simplicial setting:

• Proposition 2.11: Establishes that for sufficiently large $e$, the $e$-th Frobenius of the Koszul complex $K_M$ splits off the residue field $k$ as a summand in the homotopy category.
• Lemma 2.12: Proves that $\text{curv}(F_*^e M) = \text{curv}(k)$ for large $e$, linking the curvature of Frobenius twists directly to the residue field.

4. Significance

• Unification of Homological Dimensions: The paper successfully unifies the study of regularity and the complete intersection property under a single framework based on the growth of Betti numbers (curvature) of the relative Frobenius.
• Relaxation of Hypotheses: By moving to the derived setting (simplicial rings), the author removes the restrictive assumption that the map $\phi$ must be flat to apply Frobenius-based criteria. This broadens the applicability of Kunz-type theorems to a wider class of ring homomorphisms.
• Bridge between Absolute and Relative: The results demonstrate that the "singularities" of a relative map $\phi$ are encoded in the homological behavior of the Frobenius on its derived fibers, providing a powerful tool for analyzing singularities in positive characteristic.
• Technical Innovation: The rigorous treatment of the Frobenius endomorphism on simplicial rings (as opposed to DG rings) resolves technical obstructions regarding degree preservation, offering a robust method for future research in homological commutative algebra.

In summary, McDonald's work provides a definitive homological characterization of regular and complete intersection maps in positive characteristic, utilizing the relative Frobenius and simplicial homological algebra to generalize classical theorems of Kunz, Radu, and Andr'e.