The Frobenius action on local cohomology modules in mixed characteristic

The Big Picture: Trying to Solve a Mathematical Puzzle

Imagine mathematics as a giant, complex jigsaw puzzle. For decades, mathematicians have been trying to solve a specific piece of this puzzle called the Direct Summand Conjecture.

The Conjecture (The Goal):
Imagine you have a very sturdy, perfect box (a "regular local ring"). Someone gives you a slightly larger, more complex box that contains your perfect box inside it (a "module-finite extension"). The conjecture asks: Can you always pull your perfect box out of the larger one without breaking it? In math terms, is your original box a "direct summand" of the new one?

In "pure" worlds (where everything is either all even numbers or all odd numbers, mathematically speaking), we know the answer is Yes. But in the "mixed" world (where things get messy, like having both even and odd properties mixed together), this has been a massive headache for mathematicians.

The Characters and the Setting

To solve this, the author uses a few key tools and characters:

The Mixed Characteristic Ring ( $R$ ): Think of this as a house built on shaky ground where the rules of arithmetic change depending on which floor you are on. It's a "local" house, meaning we are only looking at one specific neighborhood.
The Big Brother ( $R^+$ ): This is the "absolute integral closure." Imagine taking your house and building a massive, infinite extension onto it that includes every possible mathematical root and fraction you could ever imagine. It's the ultimate, all-encompassing version of your house.
The Frobenius Map (The Magic Shrink-Ray): This is the star of the show. In certain mathematical worlds, there is a special operation (like squaring numbers or taking roots) that acts like a magic shrink-ray. It takes a complex structure, squishes it down, and reveals a hidden, simpler pattern underneath. In "pure" worlds, this ray works perfectly. In "mixed" worlds, it's tricky, but the author finds a way to make it work.
Local Cohomology (The Dust Bunnies): Imagine your house has corners where dust collects. In math, these "dust bunnies" represent hidden problems or obstructions. If the dust is zero, the house is clean (mathematically "Cohen-Macaulay"). If the dust is everywhere, the house is messy. The goal is to prove that in the Big Brother house ( $R^+$ ), the dust is actually "almost zero."

The Main Idea: Measuring the "Dust"

The author introduces a new way to measure how much "dust" (mathematical obstruction) is in these infinite houses. He calls this Normalized Length.

The Analogy: Imagine you have a pile of sand (the dust). In a normal world, you count the grains. But here, the pile is infinite, so you can't count. Instead, you use a special sieve (the Frobenius map) that shrinks the sand.
The Trick: The author proves that if you run this sand through the magic shrink-ray, the amount of sand changes in a very predictable way. Specifically, if the sand pile is "too big" to be zero, the shrink-ray reveals a specific ratio.
The Result: By using this shrink-ray repeatedly, the author shows that the "dust" in the Big Brother house ( $R^+$ ) is so small that it effectively vanishes. It's not just "small"; it's "almost zero."

The "Almost" Concept

The paper relies heavily on the idea of "Almost Zero."

Real Zero: The dust is completely gone.
Almost Zero: The dust is still there, but it's so tiny that you can't see it, and you can't use it to break your house. It's like a speck of dust on a giant mountain; for all practical purposes, the mountain is dust-free.

The author proves that for the Big Brother house ( $R^+$ ), the dust is "almost zero." This is a huge deal because, as a previous mathematician (Heitmann) showed, if the dust is "almost zero," then the Direct Summand Conjecture is true!

The Step-by-Step Journey

Building the Infinite House: The author constructs a giant, infinite ring ( $R_\infty$ ) by stacking layers of rings on top of each other, getting closer and closer to the "Big Brother" ( $R^+$ ).
The Shrink-Ray Test: He applies the Frobenius map (the shrink-ray) to the "dust" (local cohomology) in these layers.
The Measurement: He uses his "Normalized Length" ruler to measure the dust. He proves a formula: If you shrink the dust, its measured length drops by a specific factor.
The Conclusion: Because the dust keeps shrinking and the measurements keep getting smaller and smaller, the only logical conclusion is that the dust is "almost zero."

Why This Matters

This paper is a bridge. It takes a powerful idea from "pure" math (where the magic shrink-ray works perfectly) and adapts it to the "mixed" world (where things are messy).

For the Direct Summand Conjecture: It provides a new, powerful method to prove that you can always pull your perfect box out of the larger one, even in the messy mixed world.
For "Splinters": The paper also touches on "splinters" (rings that are direct summands of everything). It shows that if a ring has a certain property, it might not be a splinter, helping mathematicians understand the boundaries of these structures.

The Takeaway

Think of this paper as a master locksmith. For years, the door to the "Direct Summand Conjecture" in the mixed world was locked, and everyone had the wrong key. Shimomoto didn't just find a new key; he invented a new kind of lockpick (the Frobenius action on normalized length) that can open the door by showing that the "dust" blocking the mechanism is actually negligible.

It's a story about taking a messy, complicated situation, applying a clever mathematical trick, and realizing that the chaos is actually much more orderly than we thought.

1. Problem Statement and Context

The paper addresses the Direct Summand Conjecture (DSC) in the context of mixed characteristic (specifically, rings containing a field of characteristic 0 but having a residue field of characteristic $p > 0$ ).

The Conjecture: Let $R$ be a regular local ring and $R \to S$ a module-finite extension. The conjecture states that $R$ is a direct summand of $S$ as an $R$ -module.
Current Status: The DSC is proven for equicharacteristic rings. In mixed characteristic, it was proven for dimension 3 by R. Heitmann (2002) using the existence of "big Cohen-Macaulay algebras."
The Gap: A major open problem is whether the absolute integral closure $R^+$ (the integral closure of $R$ in the algebraic closure of its fraction field) is "almost Cohen-Macaulay" in mixed characteristic for dimensions $>3$ . Specifically, do the local cohomology modules $H^i_{\mathfrak{m}}(R^+)$ vanish "almost" for $i < \dim R$ ?
Objective: Shimomoto aims to investigate the behavior of local cohomology modules under the Frobenius map in mixed characteristic, utilizing normalized length (a concept introduced by G. Faltings) to establish vanishing results that imply the DSC.

2. Methodology and Framework

The paper employs a combination of Almost Ring Theory, Local Cohomology, and Frobenius actions adapted to mixed characteristic.

A. The Ring Setup ( $R_\infty$ )

The author constructs a specific ring $R_\infty$ as a flat colimit of a tower of regular local rings:
$R = R_0 \hookrightarrow R_1 \hookrightarrow \dots \hookrightarrow R_e \hookrightarrow \dots$
where $R_e = V[p^{1/p^e}][[x_2^{1/p^e}, \dots, x_d^{1/p^e}]]$ .

$R_\infty = \bigcup R_e$ .
Key Properties: $R_\infty$ is a henselian quasilocal ring, faithfully flat over $R$ , and crucially, the Frobenius endomorphism on $R_\infty/pR_\infty$ is surjective.

B. Normalized Length ( $\lambda_\infty$ )

Shimomoto utilizes Faltings' notion of normalized length for $m$ -torsion $R_\infty$ -modules.

For a finitely presented module $M$ , $\lambda_\infty(M)$ is defined via the limit of lengths of approximations over $R_n$ , normalized by the rank of the extension ( $p^{dn}$ ).
Key Property: $\lambda_\infty$ is additive on short exact sequences.
Definition of $v$ -almost zero: A module $M$ is $v$ -almost zero if for any element $m \in M$ and $\epsilon > 0$ , there exists $b \in R_\infty$ such that $b \cdot m = 0$ and the valuation $v(b) < \epsilon$ .
Connection: Proposition 2.15 establishes that if $\lambda_\infty(M) = 0$ , then $M$ is $v$ -almost zero.

C. The Frobenius Pull-Back Formula

A central technical tool is the behavior of normalized length under the Frobenius map.

Let $M[F]$ denote the module $M$ with the $R_\infty$ -action twisted by the Frobenius ( $a \cdot m = a^p m$ ).
Theorem 2.12: For an $m$ -torsion $R_\infty/pR_\infty$ -module $M$ ,
$\lambda_\infty(M[F]) = \frac{1}{p^d} \lambda_\infty(M)$
This formula is the mixed-characteristic analogue of the behavior of Frobenius in positive characteristic, allowing the author to "shrink" the length of cohomology modules by a factor of $p^d$ .

D. Semi-Perfect Algebras

The paper introduces semi-perfect algebras $S_\infty$ over an extension $S$ . These are integrally closed domains where the Frobenius map on $S_\infty/pS_\infty$ is surjective. This structure allows the definition of a ring isomorphism $S_\infty/p^{1/p}S_\infty \cong S_\infty/pS_\infty$ , which induces isomorphisms on local cohomology modules.

3. Key Results

Theorem 3.4 (Almost Vanishing of Local Cohomology)

Let $R \to S$ be a module-finite extension. If $S_\infty$ is a semi-perfect algebra over $S$ and:

$\lambda_\infty(H^{k-1}_{\mathfrak{m}}(S_\infty)) = 0$
$H^k_{\mathfrak{m}}(S_\infty)$ has "almost finite length" (bounded normalized length with arbitrarily small valuation annihilators).
Then, $H^k_{\mathfrak{m}}(S_\infty)$ is $v$ -almost zero.

Mechanism: The proof uses the exact sequence relating $S_\infty/p^{1/p}S_\infty$ and $S_\infty/pS_\infty$ . By applying the Frobenius pull-back formula, the author shows that the normalized length of the cohomology module must be zero, implying it is $v$ -almost zero.

Theorem 3.6 (Non-Injectivity of the Cohomology Map)

Let $R_n \to S_n$ be a module-finite extension with $p^{1/p} \in S_n$ . Let $\Phi: H^k_{\mathfrak{m}}(S_n) \otimes_{R_n} R_\infty \to H^k_{\mathfrak{m}}(S^+)$ be the natural map.
If $H^{k-1}_{\mathfrak{m}}(S_n) = 0$ and $\ell(H^k_{\mathfrak{m}}(S_n)) < \infty$ , then:
$\lambda_\infty(\text{Im}(\Phi)) \leq \frac{1}{p^{d(n+1)-1}} \ell(H^k_{\mathfrak{m}}(S_n))$
Crucial Consequence: If $H^k_{\mathfrak{m}}(S_n) \neq 0$ , the map $\Phi$ is not injective.

Corollary 3.7 (Weak Heitmann Theorem)

For a module-finite extension of normal domains $R_n \to S_n$ with $d > 2$ , the map $H^2_{\mathfrak{m}}(S_n) \otimes R_\infty \to H^2_{\mathfrak{m}}(S^+)$ is not injective if the source is non-zero. This recovers a weak form of Heitmann's result for dimension 3.

Corollary 3.8 (Implication for Splinters)

If $H^k_{\mathfrak{m}}(S) \neq 0$ , there exists a flat module-finite extension $S \to T$ such that $T$ is not a splinter (i.e., $S$ is not a direct summand of $T$ ). This provides a method to construct non-splinters in mixed characteristic.

4. Significance and Impact

Bridging Characteristic 0 and $p$ : The paper successfully adapts the powerful machinery of the Frobenius map (typically used in characteristic $p$ ) to mixed characteristic by utilizing the surjectivity of Frobenius on $R_\infty/pR_\infty$ .
Advancing the DSC: While it does not prove the DSC in all dimensions, it provides a rigorous framework showing that if local cohomology modules of $R^+$ are "almost zero" (which is suggested by the vanishing of normalized length), the DSC follows.
New Tools for Mixed Characteristic: The introduction of normalized length $\lambda_\infty$ and the specific Frobenius pull-back formula ( $\lambda_\infty(M[F]) = p^{-d}\lambda_\infty(M)$ ) offers a new quantitative method to study torsion modules in mixed characteristic.
Counter-examples and Splinters: The paper connects the vanishing of cohomology to the theory of splinters (rings where every finite extension splits). It demonstrates that non-vanishing cohomology leads to the existence of non-splinters, refining the understanding of the structural properties of rings in mixed characteristic.
Foundation for Future Work: The results lay the groundwork for proving the DSC in higher dimensions by reducing the problem to the "almost vanishing" of local cohomology, a strategy that was later fully realized by Yves André and Peter Scholze (using perfectoid spaces), though Shimomoto's work represents a significant step in the "almost ring theory" approach prior to those breakthroughs.

In summary, Shimomoto's paper provides a sophisticated technical analysis of local cohomology in mixed characteristic, using normalized length and Frobenius actions to establish conditions under which the Direct Summand Conjecture holds, specifically linking the non-injectivity of cohomology maps to the failure of the splinter property.