Two-Dimensional Jantzen-Like Filtrations

• Two-dimensional Jantzen-like filtrations generalize classical one-dimensional versions by using dual indices to stratify cohomology groups and module structures.
• They employ recursive, spectral, and tilting-theoretic methodologies to derive explicit decompositions, notably in the Griffith region for SL₃ and abelian categories.
• The approach facilitates practical computation of character formulas and reveals extension properties that bridge representation theory and categorical tilting frameworks.

Two-dimensional Jantzen-like filtrations arise in the study of the cohomology of line bundles, highest weight modules, and more generally in the structure theory of abelian categories with tilting objects, particularly in contexts of homological dimension two. These filtrations generalize classical one-dimensional Jantzen filtrations, introducing multi-layered decompositions that elucidate the module structure and spectral behavior in settings such as representation theory for algebraic groups over fields of positive characteristic. Their construction is informed by recursive, spectral, and tilting-theoretic methodologies, connecting the cohomological behavior of objects with deeper structural properties of the underlying categories.

1. Origins and Definition

The concept of a two-dimensional Jantzen-like filtration emerges primarily in two mathematical domains:

• The cohomology of line bundles on flag varieties (notably, $SL_3/B$) in positive characteristic, as investigated by Liu (Liu, 2019).
• Abelian categories of homological dimension two possessing a tilting object, as studied by Lo (Lo, 2013).

In these contexts, "two-dimensional" refers to the indexing of filtration layers by two parameters—either the dimensions of weight spaces or the homological degree—resulting in a stratified decomposition distinct from classical (one-dimensional) Jantzen filtrations.

Formally, such filtrations are constructed as follows:

• In the case of $G=SL_3$ and for a weight $\mu$ in a specific region (the Griffith region), the cohomology groups $H^1(\mu)$ and $H^2(\mu)$ admit an explicit two-step filtration, each layer described by direct sums of Frobenius-twisted modules and further subquotients given by Weyl modules or induced modules.
• In abelian categories $\mathcal{Z}$ of homological dimension 2 with a tilting object $T$, any object $E$ admits a unique three-step filtration by extension-closed subcategories, with each subquotient concentrated in a single cohomological degree under the derived equivalence induced by $T$.

2. Two-Step Filtration in the Griffith Region

For $G=SL_3$, weights $\mu=(m,-n-2)$ lying in the Griffith region $\mathrm{Gr}$, characterized by the existence of integers $a\in\{1,\ldots,p-1\}$, $0\leq r,s\leq p^d-1$ such that $m = a p^d + r$, $n = a p^d + s$, have the property that $H^1(\mu)$ and $H^2(\mu)$ are both nonzero and possess the following two-step filtrations (Liu, 2019):

• For $H^2(\mu)$, there is a short exact sequence:

$$0 \to M \to H^2(\mu) \to L(0,a-1)^{(d)} \otimes V(s,p^d-r-2) \to 0$$

where

$$M \simeq L(0,a)^{(d)} \otimes H^2(\mu') \oplus L(0,a-2)^{(d)} \otimes H^2(\mu'')$$

and $\mu', \mu''$ are recursively defined lower-degree weights.

• For $H^1(\mu)$, there is a dual filtration:

$$0 \to L(0,a-1)^{(d)} \otimes H^0(\tau) \to H^1(\mu) \to Q \to 0$$

where

$$Q \simeq L(0,a)^{(d)} \otimes H^1(\mu') \oplus L(0,a-2)^{(d)} \otimes H^1(\mu'')$$

Explicit character formulas recursively reduce $\mathrm{ch} H^1(\mu)$ and $\mathrm{ch} H^2(\mu)$ in $\mathrm{Gr}$ to computations for strictly lower-degree weights, ensuring a finitely terminating process.

3. p-Filtration and Donkin Filtration for Cohomology

Extending Jantzen’s p-filtration for $H^0(\mu)$, Liu constructs a multi-step filtration for all $H^i(\mu)$, defined as follows:

• Start with the Donkin (D-)filtration of the induced module $Z(\mu)=\mathrm{ind}_{B G_1}^G(\mu)$. The D-filtration is a $G_1$-stable sequence

$$0 = N_0 \subset N_1 \subset \cdots \subset N_e = Z(\mu)$$

with $$N_i/N_{i-1} \cong L(v^{(i)}) \otimes E_\delta(v^{(i)})^{(1)}$$, where each $E_\delta(\nu)$ is either a 1-dimensional module or a non-split extension as specified by the simple roots $\alpha, \beta$.

• Applying the right derived functor $H^i(G/G_1,-)$ term-wise yields a filtration

$$0 = M^0 \subset M^1 \subset \dots \subset M^e = H^i(\mu)$$

with factors

$$M^k / M^{k-1} \cong L(v^{(k)}) \otimes H^i(G/G_1, E_\delta(v^{(k)}))^{(1)}.$$

When $i=0$ this recovers the original Jantzen p-filtration; for $i=1,2$, new multi-step filtrations are obtained, with the structure determined by modules $E_\delta$ and relevant vanishing results ensuring only the $i$th cohomology appears (Liu, 2019).

4. Structure in Abelian Categories with Tilting Objects

For a noetherian abelian category $\mathcal{Z}$ of homological dimension $2$ with a tilting object $T$, a sequence of two Happel–Reiten–Smalø (HRS) tilts relates $\mathcal{Z}$ and the module category over $A = \operatorname{End}(T)^{op}$:

• Heart $\mathcal{Z} \subset D^b(\mathcal{Z})$ and the heart $$\mathcal{H} = \Phi^{-1}(\mathrm{mod}\,A) \subset D^b(\mathcal{Z})$$ are connected by two tilts at explicit torsion pairs.
• This construction yields a filtration for each object $E \in \mathcal{Z}$ by three extension-closed subcategories:

$0 = E_0 \subset E_1 \subset E_2 \subset E_3 = E$

such that each successive quotient $E_{i+1}/E_i$ is in a category $\mathcal{E}_i$ defined from static/costatic conditions under the functor $\Phi = \mathrm{RHom}_{\mathcal{Z}}(T, -)$ (Lo, 2013).

These subquotients correspond to objects with cohomology concentrated in degrees $0,1,2$, providing a precise, functorial, and canonical stratification.

5. Analogy and Terminology: “Two-dimensional Jantzen-like”

The term "two-dimensional Jantzen-like" reflects the analogy with the classical (one-dimensional) Jantzen filtration of Verma modules in Lie theory, where the filtration tracks reducibility as the highest weight moves across singular hyperplanes. In the two-dimensional variant:

• The filtration layers correspond to stratification in a two-dimensional weight or cohomological space.
• Each factor is “pure” for a specific cohomological degree or tilting-theoretic property, akin to weight space decompositions.
• In both the SL₃ and abelian category contexts, the structure and splitting of these filtrations are governed by the intersection of parameter regions (such as the Griffith region) or via spectral sequences and extension-closedness.

A plausible implication is that two-dimensional Jantzen-like filtrations systematize and generalize recursive decompositions across representation-theoretic and categorical contexts.

6. Generalization and Higher Homological Dimension

Lo demonstrates that the “Jantzen-like” filtration pattern extends to any finite homological dimension $n$:

• For $\mathcal{Z}$ of homological dimension $n$, there exists a unique, functorial $n$-step filtration

$$0 = E_0 \subset E_1 \subset \cdots \subset E_{n+1} = E$$

with $E_i/E_{i-1}$ in an explicitly defined extension-closed subcategory $T_i \cap F_{i-1}$, deriving from torsion pairs formed via cohomological vanishing with respect to the derived equivalence given by $T$ (Lo, 2013).

When $n=2$, this yields the three-step (two-dimensional) filtration; for $n=1$, the classical two-step tilting filtration is recovered.

7. Significance and Applications

Two-dimensional Jantzen-like filtrations provide comprehensive recursive formulas for the characters and dimensions of cohomology groups such as $H^1(\mu)$ and $H^2(\mu)$ in positive characteristic, resolving their structure in full generality for $G=SL_3$. For abelian categories with tilting objects, they systematize the passage between derived and abelian hearts, clarifying the internal architecture of modules and sheaves.

These filtrations enable a reinterpretation of the representation theory of algebraic groups and category theory in terms of “pure” layers, suggesting further interrelations with spectral sequence methodology, Frobenius-twisted modules, and the geometry of weight spaces. Their flexibility and generality facilitate structural decompositions in various categorical and representation-theoretic settings (Liu, 2019, Lo, 2013).